b a multiple of 10?
False
Let o = 11 - 8. Suppose 11*c = -23 + 133. Suppose -c = -o*d + 8. Is d a multiple of 6?
True
Let r(z) = -z**2 - z + 1. Let u(a) = -a**3 + 11*a**2 + 3*a + 8. Let i(p) = 4*r(p) + u(p). Let f(c) = -c + 13. Let w be f(7). Does 5 divide i(w)?
False
Let q = 2 - 5. Let u be (-2 + 1)*81/q. Suppose 4*l - u = 2*w - 5*w, w - 11 = -2*l. Does 2 divide w?
False
Suppose -3*c + 23 = 4*h - 2*h, -3*c = -h - 20. Let y(v) be the second derivative of v**5/20 - 5*v**4/12 - v**3 + v**2/2 + v. Is 19 a factor of y(c)?
True
Suppose 2*i = -3*b + 13, -2*b + i - 1 = -5. Let z(g) = -6 - g + 8*g - b*g. Is z(8) a multiple of 13?
True
Suppose -51*f + 149760 = -11*f. Is f a multiple of 12?
True
Let j(a) = a**2 + a + 3. Suppose 2*f = -2*n - 2, f = -3*f - 2*n + 2. Suppose -2*i = -i + f. Is j(i) even?
False
Let w = -1282 - -2346. Is w a multiple of 33?
False
Suppose 0 = -4*o - t - 0*t - 3, 4*t = 5*o + 30. Let w be o/5 + (-166)/10. Let k = w + 72. Does 16 divide k?
False
Let b = -86 - -231. Suppose 54 = -b*x + 148*x. Is 18 a factor of x?
True
Suppose 0 = 6*p - 229 - 5. Suppose 108 = -35*f + p*f. Is 9 a factor of f?
True
Let m = -3 + 13. Let x = m + -3. Let g(o) = 3*o - 5. Does 8 divide g(x)?
True
Let q(l) = -52*l - 130. Is q(-7) a multiple of 18?
True
Let l = -968 + 1844. Does 35 divide l?
False
Suppose -x + 5*r - r = -69, -x + 65 = -3*r. Does 3 divide x?
False
Let z(l) = l + 20. Let o = -13 - -32. Is z(o) a multiple of 39?
True
Let i be 1/((-5)/(-2))*5. Let d(g) = g**3 - g**2 + 1. Let o be d(i). Suppose -2*l = -3*c - 91, -o*l = -10*l + 2*c + 233. Does 8 divide l?
False
Let p(s) = -44*s + 30. Is 3 a factor of p(-3)?
True
Let t = 289 + -193. Is 16 a factor of t?
True
Suppose 0 = -3*u - h - h + 964, -2*u - h = -643. Does 46 divide u?
True
Let l(h) = -10*h - 12. Is l(-35) a multiple of 13?
True
Let i(m) be the first derivative of m**2/2 + 4*m + 8. Let u be i(-2). Let b = 31 + u. Does 11 divide b?
True
Suppose 5*j - 4*l + 14 = 36, -3*l = 4*j + 1. Suppose -w - 107 = -4*f, -j*f - f - 3*w = -69. Is f a multiple of 13?
True
Suppose 4 = 3*a + 2*z, z + z + 4 = -a. Suppose a*p - 3*p - s - 201 = 0, -p = 5*s - 177. Does 11 divide p?
False
Let v(o) = -22*o + 3. Let n be v(-3). Suppose 5*p = -2*a + n, 4 + 52 = 4*p + 2*a. Is 12 a factor of p?
False
Let h(n) = n**3 - 15*n**2 + 14*n + 12. Suppose 2*j = -2*y + j + 26, 0 = 3*y + 2*j - 38. Is 4 a factor of h(y)?
True
Let u be (2 + -5 - -1) + -1 + -51. Let n = -42 - u. Does 2 divide n?
True
Let a(h) be the first derivative of -5 + h - 1/2*h**2. Is a(-9) even?
True
Let p(s) = 79*s + 40. Does 15 divide p(5)?
True
Does 23 divide (-1188)/(12/(-4)) + -5?
True
Suppose -12*k - 28 = -14*k. Suppose -11*j = -k*j + 9. Suppose z + j*z - 80 = 0. Does 5 divide z?
True
Suppose -4*r - 10 = 18. Let y = -7 - r. Suppose y = z + z - 54. Is 7 a factor of z?
False
Is 1/(2/5*(-55)/(-12562)) a multiple of 15?
False
Let n(f) = 393*f - 204. Is 57 a factor of n(4)?
True
Suppose 5*a - 4573 - 5132 = -5*q, 15 = 5*q. Is 34 a factor of a?
True
Suppose 10*f + 156 = 13*f. Is 3 a factor of f - 2*(-4 + (-20)/(-8))?
False
Suppose -54*w + 1071 = -47*w. Does 7 divide w?
False
Let w = 9 - 5. Suppose w = 3*y - 17. Does 7 divide y?
True
Suppose -2*y - y = -81. Let o = -38 + y. Let x = o + 26. Is x a multiple of 6?
False
Let b(x) = 2*x**2 - 89*x - 16. Is b(46) a multiple of 2?
True
Suppose p - 2*p - 3*h = -14, 0 = -2*h - 8. Let b be 39/p*(-8)/(-3). Suppose -2*t + 324 = b*t. Is 18 a factor of t?
True
Suppose f + 8 = -3*f. Let h be f + 1 + (2 - 4). Does 10 divide (-170)/(-4) - h/6?
False
Suppose 2*u - 3*v = -0*v + 1, -4*u = v - 23. Suppose 205 = u*a + 35. Does 18 divide a?
False
Suppose 5*y = m - 162, 2*m - 7*m - 118 = 4*y. Let s = 130 + y. Is 17 a factor of s?
False
Suppose 13 + 6 = x + 4*t, -4*t = -x - 21. Let w = -17 - x. Does 4 divide (-3)/(6/w)*1?
True
Let d = 93 - 161. Let o = d - -116. Is 9 a factor of o?
False
Let w = -30 - -37. Suppose -w*x - 310 = -5*x. Let g = -90 - x. Does 13 divide g?
True
Suppose 7*c - 306 = -33. Is c a multiple of 2?
False
Suppose 4*h + 27 = 3*f, f - 2 - 5 = 2*h. Suppose 3*m - q = 55, 8*m - 9*m - q = -f. Is 8 a factor of m?
False
Let z = -15 - -69. Let c(i) = 4*i**2 - z*i - 9 + 57*i - 2 - 3*i**2. Is c(-6) a multiple of 4?
False
Let d(n) = n**2 - 11*n. Let g be d(11). Let s(y) = y**3 + y + 29. Let z be s(g). Let p = z - 7. Does 7 divide p?
False
Suppose -4*g = 3*d - 2734, -3*g + 1 + 11 = 0. Does 4 divide d?
False
Let y(b) = b**2 + 2. Let c be y(0). Suppose 5*v + 3 = 2*w, -3*w + c*v + 4 + 17 = 0. Does 6 divide 37/3 + (-3)/w?
True
Let i be -5 + 16*(-9)/(-18). Suppose 0 = 3*u - 2*r - 15, 2*r = -0*r. Suppose 2*d - 198 = -v - i*v, u*d = -25. Does 13 divide v?
True
Let f(i) = i**2 + 7*i + 6. Let y be f(-9). Let a = 41 - y. Suppose a = d - 3. Does 7 divide d?
False
Let q(c) = c**3 + 3*c**2 + 2*c + 2. Let l(d) = 3*d**3 + 6*d**2 + 4*d + 5. Let v(a) = -2*l(a) + 5*q(a). Is v(3) a multiple of 3?
True
Let z(a) = 97*a + 181. Does 30 divide z(10)?
False
Let k = 194 + -89. Suppose 0 = -2*i - 0*i - 90. Let z = k + i. Does 19 divide z?
False
Suppose 5*t - 2*r - 4203 = 2615, 5*r = -2*t + 2733. Does 19 divide t?
False
Let l = 116 + -154. Suppose -3*f + 239 = -r, -5*f - 3*r + 152 + 251 = 0. Is l/(-5) + 32/f a multiple of 4?
True
Let s(z) = -z + 13. Let a be s(10). Let x be 31 + 1 - 0 - a. Let c = -20 + x. Does 4 divide c?
False
Let l(h) = -h**2 - 3*h + 3. Let v be l(-6). Let b be 32/(-10) - 3/v. Is -3*1/(b/24) a multiple of 24?
True
Suppose -2456 = -4*y - 4*b, -4*b = 3*y - 944 - 896. Does 11 divide y?
True
Suppose -s + w = -4, 2 = -4*w + 6. Suppose 6*g + 483 = 3*o + g, 0 = -5*o + s*g + 795. Does 15 divide o?
False
Is 8 + 5/((-5)/(-1848)) a multiple of 16?
True
Does 7 divide (1 + -1 - -970)/((-64)/(-32))?
False
Suppose 4*n + 2*t = 16, -6*t + t = 4*n - 22. Is 147/n - (-9)/(-3) a multiple of 23?
True
Let m be (0 - (-6)/9)*6. Suppose 3*l + 3*q = 0, 13 + 23 = 5*l - m*q. Let g(j) = j + 5. Is g(l) a multiple of 6?
False
Does 28 divide -5 - ((-5652)/((-24)/(-4)) + -4)?
False
Suppose 6*w + 1644 - 3894 = 0. Is w a multiple of 15?
True
Let w be (-1)/(-8) + 125/(-40). Let g(f) = -f**3 - f**2 - 6*f - 8. Is 2 a factor of g(w)?
True
Suppose 0 = -7*c + 3*c + 80. Let a = 55 - c. Does 5 divide a?
True
Is 14 a factor of 69125/75 - (-21)/9?
True
Let q = -12 + 11. Is 3 a factor of 9 + 3 + -2 + q?
True
Is ((-192)/10)/(-4*6/320) a multiple of 8?
True
Let t(f) be the first derivative of -f**2/2 + 30*f - 4. Let j(s) = s**3 - 8*s**2 + 3*s - 15. Let x be j(8). Is 7 a factor of t(x)?
True
Let d(y) = y**2 - 2*y - 3. Let c be d(3). Let v(a) = a**3 - a**2 + a - 99. Let r be v(c). Let q = -63 - r. Is 9 a factor of q?
True
Let a(x) = -x**2 + 5*x + 3. Let i be a(5). Let w(n) = 2*n + 18. Let q be w(12). Let r = q + i. Does 27 divide r?
False
Let l(g) = -5*g**2 + 20*g - 13. Let r(i) = -4*i**2 + 19*i - 12. Let v(c) = 3*l(c) - 4*r(c). Is v(18) a multiple of 9?
True
Suppose -6*u - 350 + 926 = 0. Is 8 a factor of u?
True
Let l(z) = -z**3 + z**2 + 4. Let h be l(0). Suppose 56 = 3*n - 5*k, -k + 32 = h*n + 3*k. Suppose c - 41 = -n. Is 12 a factor of c?
False
Let h(m) = m**2 - 2*m - 12. Suppose -4*w = -3*p + 34, 2*w = -w + 5*p - 20. Is h(w) a multiple of 27?
True
Let r be ((-369)/12)/(2/8). Let y = r + 186. Let f = -38 + y. Does 5 divide f?
True
Let n(q) be the first derivative of q**4/4 + 5*q**3 + 19*q**2/2 + 14*q - 29. Suppose -4*k - 27 = 25. Does 35 divide n(k)?
True
Let r(j) = -9*j**3 - 8*j**2 - 5*j - 1. Let b(f) = f**3 + f**2 + f. Let i(m) = 4*b(m) + r(m). Is i(-3) a multiple of 25?
False
Let v = 87 + 97. Suppose -4*z + v = -0*z. Is z a multiple of 7?
False
Let o(f) = f**2 - 21*f + 61. Is 17 a factor of o(-14)?
False
Suppose 0 = -17*w - 481 - 301. Let a = w - -58. Is 12 a factor of a?
True
Let f(y) = y + 13. Let x be f(-6). Let t = 7 - x. Suppose -4*b + 58 - 18 = t. Is 3 a factor of b?
False
Let v(o) be the third derivative of o**7/2520 - o**6/180 + o**5/12 + o**4/24 + 4*o**2. Let k(a) be the second derivative of v(a). Is 15 a factor of k(7)?
False
Suppose -8*p = -4*p - 116. Suppose -p = 4*x - 1. Let j(k) = k**2 + 4*k - 10. Does 3 divide j(x)?
False
Suppose 0 = -73*j + 64*j + 13221. Does 17 divide j?
False
Let t = -91 - -128. Let d = t - 23. Is d a multiple of 14?
True
Let u(b) = -85*b - 7. Does