ctor of h?
True
Suppose 2*m = 5*u - 1210 - 910, 0 = 3*u - 3*m - 1263. Suppose 4*j - 468 - 1233 = -5*n, j + 2*n = u. Is 18 a factor of 4/(-10) + j/10?
False
Suppose 1055 = 4*m - 3*r, -4*m - 4*r + 672 = -348. Does 46 divide m?
False
Let j be -27 + (0 + -1 - -2). Let k = 50 + j. Suppose k + 10 = b. Is b a multiple of 14?
False
Let m = -5 - -10. Suppose -m*p - 3*b + 48 = -p, -2*p = b - 26. Let c = 36 - p. Is 7 a factor of c?
True
Suppose 0*i - 4 = 2*i. Let j = 10 - i. Is j a multiple of 6?
True
Let o = -39 + 236. Suppose 5*g - o = 203. Is 21 a factor of g?
False
Suppose -3*g + 9 = -3*f, 2*f + 4 + 6 = 3*g. Suppose 8*s - 4*s + g = 0. Does 15 divide 2/(s - (-48)/45)?
True
Let a(v) = v**3 + 11*v**2 + 11*v - 1. Let m be a(-8). Let j = 152 - m. Let p = j + -29. Is p a multiple of 10?
True
Suppose 5*v + 43 = 6*a - 4*a, 55 = 5*a - 2*v. Does 9 divide a?
True
Let v = 2 - -7. Suppose 2*d - t - 9 = v, 0 = -2*d + 4*t + 24. Does 4 divide d?
True
Suppose -4 = -k + 6*f - 2*f, -4*k - 2*f = -16. Suppose -k*u - 2*x = -34, 0 = -4*u + 6*x - x + 55. Does 10 divide u?
True
Let p = -9 - 17. Let f = p + 0. Let l = -16 - f. Is 5 a factor of l?
True
Let x(g) = g**3 - g**2 + g + 3. Let v be x(5). Suppose 4*f + 8 = v. Is 25 a factor of f?
True
Suppose 3*s = -s. Let x be s/(4 - (-4)/(-2)). Suppose u + 3*u - 36 = x. Is 6 a factor of u?
False
Let c = 128 + -75. Is c a multiple of 10?
False
Let l(z) = z**3 - 7*z**2 - z + 1. Let w be l(7). Let j be 16/w*(-66)/4. Let f = -20 + j. Is f a multiple of 12?
True
Let d(p) = 3*p**2 - p - 1. Let v be d(-1). Suppose -5*y = 2*n - 21, -y - 9 = -v*n - 3. Suppose -j + 6 = s, -s = -n*j + 7 + 7. Does 2 divide j?
False
Suppose -q - 3*u - 17 = 0, -3*q - q - 5*u = 33. Does 4 divide (q/(-3))/((-4)/(-90))?
False
Let y(o) = 8*o. Let q be y(1). Let g be q*-3 + -1 + 1. Let r = 47 + g. Is r a multiple of 17?
False
Let r(h) = -h**3 - 5*h**2 - 5*h + 3. Let g be 1 - (3 - (-2)/1). Does 5 divide r(g)?
False
Let f(o) = -23*o**2 - 13*o - 9. Let m(z) = -11*z**2 - 6*z - 4. Let u = 3 + -1. Let k(c) = u*f(c) - 5*m(c). Is k(-2) a multiple of 12?
False
Let m(n) = n**2 - n + 1. Let r(i) = -5*i**2 + 2*i - 8. Let q(w) = -6*m(w) - r(w). Let t be q(4). Suppose -t*l - l - 79 = -4*o, -3*o = 5*l - 23. Does 8 divide o?
True
Let h = -10 - -24. Suppose -3*f + 0 = w - 2, -2*w = -4*f - h. Is w a multiple of 2?
False
Suppose -5*g + g = -20, -x - 4 = -g. Let j(r) = 17*r**2 + 2*r - 1. Let k be j(x). Let c = -6 + k. Is 12 a factor of c?
True
Suppose -5*g + 268 + 232 = 0. Is 2 a factor of (4/10)/(5/g)?
True
Let d(q) = -21*q**2 + q - 1. Let w be d(1). Let o = w - -7. Is 330/21 - 4/o a multiple of 8?
True
Let g(r) = 3*r**2 - 3*r + 2. Let w(v) = -3*v**2 + 4*v - 3. Let c(t) = 5*g(t) + 4*w(t). Let a = -15 - -17. Is c(a) a multiple of 7?
False
Let j be (3 - 1)/((-3)/9). Let o = j - -10. Does 2 divide o?
True
Let t(c) = -c**2 + c. Let r be t(0). Suppose -z - m + 17 = r, m + 130 - 21 = 5*z. Is 13 a factor of z?
False
Let i(x) = x - 5. Let u be i(-9). Is 7 a factor of (0 - u)/(12/18)?
True
Let d(p) = -3 + p**2 - 1 - 3 + 0. Is d(7) a multiple of 18?
False
Let a(j) = -j. Let r be a(-5). Suppose -269 = -r*i + 201. Suppose -5*k + 4*s = -i, -2*k = -3*k + s + 19. Is 9 a factor of k?
True
Let v(i) = i**3 - 6*i**2 + 4*i + 6. Let g be v(5). Let a be (156/6)/(1 + g). Let o = 19 - a. Does 5 divide o?
False
Let s = 77 - 49. Let x = 1 + s. Is 13 a factor of x?
False
Suppose 0*f = f - 48. Is 18 a factor of f?
False
Does 16 divide (18*(-128)/(-12))/1?
True
Let l = 26 - 23. Does 2 divide l?
False
Let k be (6 + -6)*(-1)/2. Suppose 3*i = -k*i + 60. Is i a multiple of 20?
True
Let s = -12 + 10. Suppose 0*l = 4*l. Does 18 divide 0 - -16 - (s + l)?
True
Suppose 0*o + 100 = 5*o. Is 4 a factor of o?
True
Let c(l) = -2 + l**2 + 0*l**2 - 2*l + 4. Let y(x) = x**3 - 4*x**2 + 5*x - 2. Let q be y(3). Does 5 divide c(q)?
True
Let p(g) = g - 3. Let w be p(3). Suppose -z - 24 + w = -4*y, -3*y - z + 11 = 0. Does 5 divide y?
True
Let w(d) = -9*d - 1. Let g(b) = -b. Let j(n) = -2*g(n) + w(n). Is 17 a factor of j(-5)?
True
Let t(c) = 6*c**2 - 2*c - 3. Let m be t(-2). Let x = m + 17. Is 14 a factor of x?
True
Let h = -9 - -4. Let r = h - -15. Does 5 divide r?
True
Let w be (-48)/(-10)*100/15. Let c be (5 - 2 - 4)*-45. Let a = c - w. Is a a multiple of 6?
False
Suppose -5*z = -2*o - 61, -2*z + 4*o + 56 = 2*z. Does 9 divide z?
False
Let j(p) = -p**2 + 7*p + 2. Let t = 0 + 7. Is j(t) even?
True
Is 4/7 - (2 + (-6980)/35) a multiple of 22?
True
Is 11 a factor of (-1 - -80 - 1)*1?
False
Let d = 3 + -1. Suppose d*i + 0*i = 12. Does 4 divide i?
False
Let m(j) = -4*j**3 + j**2 - 2*j - 3. Is m(-2) a multiple of 14?
False
Suppose 4*v + 12 = 2*s, -4*s - 6 = -6*s - 2*v. Suppose -4*k + 0*k + s = n, -4*k = 5*n - 20. Does 4 divide n?
True
Suppose -o - o + 70 = 0. Let b = -21 + o. Is 14 a factor of b?
True
Let k(h) be the third derivative of -h**6/120 - 11*h**5/60 + h**4/2 + 7*h**3/6 - h**2. Is k(-12) a multiple of 5?
False
Let y(w) = -3*w - 1. Let b be y(-1). Suppose b*o + 4*n = n + 98, 3*o + 5*n - 147 = 0. Is o a multiple of 14?
False
Let d = -13 + 19. Suppose -z = -d*z. Does 16 divide z + -1 + 2*23?
False
Suppose -8 = -3*b - b. Is 10 a factor of 0 + (b - 3) - -21?
True
Let m(r) = -r**2 + 3*r + 6. Let w be m(6). Let f(i) = -i**3 - 10*i**2 + 18*i + 6. Does 26 divide f(w)?
True
Suppose 2*m + 9 = 29. Is 10 a factor of m?
True
Let i = -230 + 107. Let t = 283 + i. Suppose p = 6*p - t. Is p a multiple of 18?
False
Let p(v) = v**3 + 5*v**2 + 4*v + 3. Let x be p(-4). Let g be (-2352)/(-18) - (-1)/x. Let m = g + -89. Is 15 a factor of m?
False
Suppose 1870 - 675 = 5*k. Does 22 divide k?
False
Suppose -s + 3*p - 4*p - 2 = 0, -p - 4 = -s. Let j(b) = -5 - 1 - 2*b + s. Is 4 a factor of j(-8)?
False
Let o(h) = h**2 + 6*h - 4. Let z be o(-7). Suppose a - z = 15. Does 9 divide a?
True
Let k = 106 - 74. Does 12 divide k?
False
Suppose -p + c = -6, -p + 3*c = p - 10. Is 5 a factor of p?
False
Let w be (-2)/(-1) + 0 - -2. Suppose 0 = -2*g - 2*z + 6, 5*g - w*g - 9 = -3*z. Suppose g*n = n - 10. Is n a multiple of 4?
False
Suppose 5*r - 450 = -0*r - 3*v, 4*r - 373 = -5*v. Is 28 a factor of r?
False
Let r be (-4)/(-6)*-6 - 0. Let u = r - -7. Is u even?
False
Suppose 6*t = 360 + 216. Is 30 a factor of t?
False
Let a be ((-219)/12)/(2/8). Suppose 3*r = -y - 131, -4*y - y = 5*r + 235. Let o = r - a. Is o a multiple of 18?
False
Suppose 2*k - 1 - 5 = 0. Suppose -4*t - 125 = -3*z, z = k*t + 2*t + 49. Is z a multiple of 10?
False
Let n(d) = d**2 + 2*d - 8. Let p be n(7). Let q = p - 38. Is q a multiple of 3?
False
Suppose -4*d + 311 + 97 = 0. Is d a multiple of 17?
True
Let d = 7 - -51. Is d a multiple of 13?
False
Suppose 1 = -4*n - 2*t + 25, 0 = -3*t - 6. Does 6 divide n?
False
Suppose 0 = -4*j + 6*j - 84. Is 14 a factor of j?
True
Suppose 2*h + 0*h = 6. Suppose p - 4*p - 2*m = -20, p - h = 3*m. Does 4 divide p?
False
Let m(r) = 51*r**2 - 1. Does 25 divide m(1)?
True
Let z(g) = g + 5. Is z(6) a multiple of 11?
True
Let s = -55 + 100. Suppose b = 3*h - 2*h + s, -b - 5*h + 33 = 0. Is b a multiple of 24?
False
Let q = -44 + 60. Is 4 a factor of q?
True
Suppose -121 = -4*j + 67. Suppose -4*s + 231 = j. Is s a multiple of 12?
False
Let p(b) = 2 - b - 4 - 5. Let n be p(0). Let w(c) = -c + 3. Does 5 divide w(n)?
True
Let b(p) = p**3 - p**2 + 39. Let o be b(0). Suppose -n = -2*n + c + o, -3*n + 117 = 2*c. Does 13 divide n?
True
Suppose -9 = -q - 6. Let l(a) = a - 1. Let z be l(q). Suppose -2*p + 143 = z*p + 3*w, -p - 4*w = -52. Is p a multiple of 13?
False
Let r(x) = x**3 + 18*x**2 + 21*x - 9. Let z(g) = -2*g**3 - 36*g**2 - 43*g + 18. Let y(n) = -7*r(n) - 3*z(n). Does 15 divide y(-17)?
False
Does 4 divide 17 - (5 + 0/4)?
True
Suppose 0*o - 3*q = 4*o - 5, -5*o + 5 = 5*q. Let r = o + 6. Is r a multiple of 3?
False
Let v(r) = 10*r + 16. Is v(7) a multiple of 10?
False
Suppose 4*q - y + 2*y - 96 = 0, 2*q - 3*y = 34. Let k = q + 6. Suppose 0 = 5*z + p - 68, -2*z + k = 5*p - 12. Does 13 divide z?
True
Let u = 8 - 4. Suppose u*g = 37 + 3. Is g a multiple of 3?
False
Let o(p) = -p**3 + 7*p**2 + 10*p - 6. Is o(8) a multiple of 10?
True
Suppose -20 = l + 4*l. Let z(b) = b**2 + 5*b + 4. Let a be z(l). Suppose 3*v - 3*i = 12, 3*i = -a*v - 4*v + 44. Is 8 a factor of v?
True
Suppose 0 = -