 2*i**2 + i + 2. Let c(d) = -2*d**2 - d - 2. Let k(a) = 4*b(a) + 3*c(a). Let w be 16/6*(-15)/(-20). Is k(w) a multiple of 4?
True
Suppose -5*k + 13 + 2 = 0. Suppose 306 = k*w - 0*w. Does 34 divide w?
True
Suppose -16*l + 10 = -14*l. Suppose 193 = 4*f + l*q, 0*q + q = -5*f + 236. Is f a multiple of 7?
False
Let u(q) be the second derivative of q**5/20 - 3*q**4/4 - q**3 + 5*q**2/2 - 2*q. Does 15 divide u(10)?
True
Let j(h) = 29*h - 216. Is j(36) a multiple of 36?
True
Let x = 17 + -17. Suppose -9*y + 5*y + 268 = x. Suppose 91 = 4*r - 5*w, -3*r + 5*w + y = -0*r. Is r a multiple of 6?
True
Let g(a) = -16*a**2 + 21*a + 44. Let p(k) = 5*k**2 - 7*k - 15. Let w(m) = -3*g(m) - 8*p(m). Does 36 divide w(-4)?
True
Let z be (-3)/5*(-75)/(-5). Let j be (z/(-1))/(-3) - -7. Suppose -j*r = -r - 60. Is r a multiple of 4?
True
Let w = -273 + 368. Is w a multiple of 36?
False
Suppose -5*q + 1310 = -5*m, -3*q - 16*m = -13*m - 762. Does 3 divide q?
True
Let q = -76 + -4. Let y = -13 + -5. Let f = y - q. Is 17 a factor of f?
False
Suppose 4*j + 18 = -5*n + 46, -20 = -5*n. Let x be 16/20*5/j. Does 11 divide (x - -1)/(12/44)?
True
Suppose 5*x - 9*x + 8 = 0. Suppose x*j + 1 = j. Let k(y) = -37*y**3 + 1. Is k(j) a multiple of 12?
False
Suppose 0*c + 6*c - 1140 = 0. Suppose -3*m - 6*i + i = -170, -3*m + 5*i = -c. Is 12 a factor of m?
True
Suppose 288 = 5*z - 2*z. Is z a multiple of 12?
True
Let o = 41 - -3754. Is 69 a factor of o?
True
Let r(m) be the second derivative of -m**3/3 - 5*m**2/2 - 7*m. Does 6 divide r(-8)?
False
Let v = -58 + 19. Let u = 7 - 3. Is (-4)/(-8)*u - v a multiple of 15?
False
Suppose -60 = -39*o + 9*o. Is o a multiple of 2?
True
Suppose -7*k + 5*k = -12. Is ((-14)/k)/(3/(-18)) a multiple of 14?
True
Suppose 0 = 6*u - 11*u + 50. Suppose u*q - 106 = 804. Is 15 a factor of q?
False
Let x(g) = 12*g + 6. Is x(12) a multiple of 10?
True
Let m(o) = 69*o - 288. Is m(16) a multiple of 48?
True
Let f(z) = -z**2 + 6*z + 6. Let g be f(6). Let m be 6/(-4)*2 + g. Suppose 9*y - 4*l - 220 = 4*y, -176 = -4*y + m*l. Is 11 a factor of y?
True
Let u = 2063 + -833. Is 41 a factor of u?
True
Suppose 5*s + 1344 = 9*s. Does 42 divide s?
True
Let l(n) = n + 15. Let j be l(-15). Suppose -4*r - 32 + 172 = j. Does 5 divide r?
True
Let j = -127 - -190. Suppose 6*i - 33 = -3. Suppose j = i*z - 77. Is 16 a factor of z?
False
Let d(a) = a**2 - 2*a. Let w be 9/((-5)/20*6). Is d(w) a multiple of 12?
True
Suppose -3*v = 3*t + 510, -4*t + v + 295 = 980. Let r = -21 - t. Is 15 a factor of r?
True
Let q(v) be the second derivative of v**5/20 - v**4/3 + 3*v**3/2 - 3*v**2 - 8*v. Let g be q(7). Let n = g - 123. Is n a multiple of 13?
False
Let s = 232 - 189. Is s a multiple of 2?
False
Suppose 10 = -5*t + 3*f, -5*f + 37 - 10 = 2*t. Is (-2)/((-2 + t)/11) a multiple of 9?
False
Suppose 454 = 15*m - 851. Does 25 divide m?
False
Let i = -2730 + 4072. Is 61 a factor of i?
True
Let o = -41 - -57. Suppose -x + o + 17 = 0. Is 11 a factor of x?
True
Let g be 10/6*108/3. Let u = -6 + 6. Suppose 4*x - x - g = u. Is x a multiple of 4?
True
Let q(m) = 5*m**2 + m + 1. Let n be (2 - 15/6)*2. Let t be q(n). Suppose 0 = -t*g + d + 83, -4*g - 2*d + 52 = 2*d. Is g a multiple of 8?
True
Is (-34)/4*4*(-5)/10 a multiple of 4?
False
Let f(k) = k**2 + 23*k + 26. Let m be f(-22). Suppose -3*u - 790 = -5*z, -2*u - u + 605 = m*z. Is z a multiple of 31?
True
Let r be 2/3 + (-76)/(-57). Is 12 a factor of (r/3)/(10/1785)?
False
Suppose w + 0*w - 91 = -4*q, 5*q - 95 = -w. Suppose -3*n - w = -8*n. Let p = n - 8. Is p even?
False
Let z = -350 - -441. Does 13 divide z?
True
Suppose 0 = -m + 5. Suppose -3*o + 2*o = -m. Does 2 divide o?
False
Let s(u) = -507*u + 246. Is 19 a factor of s(-3)?
True
Is 18 a factor of 34680/40 + 3 + -1?
False
Let z = -309 - -753. Suppose -7*o = -3*o - z. Suppose 2*u = -4*d - d + o, -5*d = -15. Is u a multiple of 22?
False
Let p(l) = 8 + l**2 + l**2 - 5*l - l**2 - 4. Suppose 5*g - 3*g - 4*n = 30, 0 = -3*n - 12. Is p(g) a multiple of 6?
True
Let n be ((-1)/(-1))/(5 - 6). Let z be n - (-4)/1 - -8. Suppose -v - 1 = -z. Is v a multiple of 5?
True
Let t(o) = -5*o**2 + 4*o - 1. Let m be t(4). Let y be (m/(-20) - -4)*8. Let g = y + -23. Is 35 a factor of g?
True
Let c be -1*(-3)/3*0. Let k(g) = 5*g**2 + 8*g + 90. Let a(l) = -2*l**2 - 3*l - 30. Let h(s) = 8*a(s) + 3*k(s). Is h(c) a multiple of 8?
False
Let v be (3060/(8 + -2))/2. Suppose 2*z = 77 + v. Does 8 divide z?
False
Let x = 729 - 459. Is x a multiple of 21?
False
Let q be 4/10*(439 + 6). Suppose -3*k = -q - 35. Is k a multiple of 7?
False
Suppose -93 - 21 = 3*w. Does 19 divide (w/6)/((-12)/36)?
True
Let o be 3/(-2 - 1)*1. Is 8 a factor of (126/49)/(o/(-7))?
False
Let s(b) = -2*b**2 + 2*b + 81. Let k be s(0). Suppose 20*l - 19*l = k. Does 11 divide l?
False
Suppose 5*m + 5 = 0, 3*y = m + 3666 + 928. Does 15 divide y?
False
Let y = 189 + -101. Let d be 14/(-49) + y/14. Is 5 a factor of (-103)/(-4) - d/8?
True
Let v be (2 - 0) + (3 - 153). Let u = -27 - v. Is 45 a factor of u?
False
Let p = 849 + -663. Does 41 divide p?
False
Let l = 92 + -52. Let m = -22 + l. Let s = m - 2. Is s a multiple of 15?
False
Does 2 divide (-2)/(-7) - ((-10230)/(-21))/(-10)?
False
Let u(b) = 2*b - 10. Let c be u(6). Let i be 0/c - 42/(-7). Suppose 3*j = i + 30. Is j a multiple of 5?
False
Let i(a) = -18*a**3 + 14*a**2 + 2*a. Let m(o) = -19*o**3 + 12*o**2 + 2*o. Let w(s) = 6*i(s) - 7*m(s). Is w(2) a multiple of 28?
True
Suppose g = -0*g. Suppose -4*f - 3 - 5 = g, -f = 2*i - 20. Is 6 a factor of i?
False
Suppose 0 = -4*i - 1107 + 1359. Is 2 a factor of i?
False
Let z = 5 + -3. Let j(a) = 0*a + 5*a**2 - a - a**2 + 2*a**z. Is 19 a factor of j(-3)?
True
Let s be -81 - ((-6)/(-8) - 21/28). Let d = 93 + s. Is d a multiple of 3?
True
Let x be (6/36*-3)/(1/62). Does 3 divide (-46)/(-23) - x/(1 - 0)?
True
Let y(s) = 302*s - 1 - 298*s + 6. Is 2 a factor of y(3)?
False
Let u(h) = -h**2 - 3*h + 2. Let g be u(-4). Let m be (8 + g)*1/(-3). Does 18 divide 65 - ((4 - m) + -4)?
False
Let s = 330 + -333. Let b(m) = 20*m. Let y be b(2). Does 3 divide y/3*s/(-2)?
False
Let h(x) = 19*x - 7. Let k be h(7). Let t be (0 - 1)/(3/(-9)). Suppose o - k = -3*q, t*q + 4*o = 5*q - 84. Is q a multiple of 14?
True
Suppose -5*f + 4 = -3*w + 6, 12 = 2*f + 2*w. Suppose -3*b - 4 = -4*b, -f*j + 4*b = -84. Does 25 divide j?
True
Let l = 299 + -177. Let v = 177 - l. Is v a multiple of 11?
True
Suppose 1408 = -1071*n + 1079*n. Does 11 divide n?
True
Let j(m) = 3*m - 12. Let o be j(5). Suppose -o*l = 2*k + 24 + 28, -64 = 3*k + l. Let p = 25 + k. Does 2 divide p?
False
Let k = -521 - -567. Is k a multiple of 3?
False
Let j(c) = 41*c**2 - 9*c**2 - 7*c - c**2 + 4*c. Let p be j(-4). Suppose -5*o - p = -9*o. Does 28 divide o?
False
Let a = 0 + 3. Suppose a*v - z = 83, -62 = -2*v - 3*z + 2*z. Suppose 2*d - v = 7. Is 18 a factor of d?
True
Suppose -3*y + 40 = -878. Is 16 a factor of y?
False
Let d(q) = 6*q**2 + 57*q - 8. Is 11 a factor of d(6)?
True
Suppose -132*r + 129*r - 15 = 0, -1090 = -j + r. Is j a multiple of 5?
True
Suppose f - 6 = -2*f. Suppose -f*o + 5*o + 72 = 0. Let z = o + 37. Does 13 divide z?
True
Let c(j) = 2*j**3 + 35*j**2 + 18*j + 14. Let t be c(-17). Is 49 a factor of (-14)/t*(-6 - -90)/2?
True
Let v be (-2)/(-3)*(-1 + -98). Let z = v + 90. Is z a multiple of 24?
True
Is 18/30 - ((-21088)/20)/1 a multiple of 53?
False
Let i be 3/((-6)/(-4))*-2. Let x be 1845/36 - 3/i. Suppose -17*s + x = -13*s. Does 9 divide s?
False
Is 15 a factor of 2/(-9) - 1904/(-63)?
True
Suppose 30 = 4*b + 22. Suppose -2*g + 5*h = 5, 26 - 4 = b*g + 4*h. Suppose -3*z + g*r = -0*z - 103, -z + 16 = 2*r. Is 26 a factor of z?
True
Is 4 a factor of ((-12)/3 - -72)*25/5?
True
Suppose 15 = -5*b, -2*i = 2*b - b - 5. Suppose 70 = 3*x - i*n - 0*n, -5*x - n = -109. Does 11 divide x?
True
Let b(u) = u**3 + 3*u**2 - 3*u - 4. Let m be b(-3). Suppose -m*q + 109 = -2*r, 4 = -5*q + 5*r + 104. Is q a multiple of 20?
False
Let i = 329 - 180. Let q = -45 + -7. Let o = q + i. Does 23 divide o?
False
Let i(h) = 3*h**3 + h**2 + 7*h - 43. Is i(9) a multiple of 11?
True
Let u = 29 - 30. Is 6 a factor of u/1 + -3 - (-74)/1?
False
Suppose -428 = -10*z + 2732. Does 35 divide z?
False
Suppose 5*d = -o + 1681, 2999 + 5454 = 5*o + d. Is 19 a factor of o?
