m(-2)?
False
Suppose 0 = o - 15 - 65. Is 20 a factor of o?
True
Let t(w) = -19*w - 1. Let f = -1 - -2. Let c be t(f). Is (c/1)/(-1*1) a multiple of 8?
False
Let b(m) = -11*m - 15. Is b(-6) a multiple of 26?
False
Suppose -3200 = -12*h + 4*h. Is h a multiple of 11?
False
Let h = 3 + 2. Suppose n - 5 = 0, 4*l - 69 = -0*l - h*n. Is 5 a factor of l?
False
Let a = -12 + 24. Is 6 a factor of a?
True
Suppose 0 = -3*u - 23 + 323. Is 13 a factor of 12/(-18) - u/(-6)?
False
Suppose 129 = i + o, 2*i - 2*o - 377 = -i. Is i a multiple of 20?
False
Let h(d) be the first derivative of d**5/15 - d**4/24 - d**3/3 - 1. Let z(v) be the third derivative of h(v). Does 7 divide z(2)?
False
Let m = -82 - -99. Is m a multiple of 2?
False
Suppose -c - 5*b - 7 = -42, 5*c - 2*b = 310. Does 11 divide c?
False
Suppose 3*t = t + 6. Suppose -48 = -t*m + 3*r, -5*m - 4*r + 60 - 7 = 0. Does 8 divide m?
False
Suppose -2*m = -3*m. Suppose 4*x - 52 = -m*x. Does 6 divide x?
False
Let p = -164 + 276. Is p a multiple of 17?
False
Let c(r) = -r + 14. Let q be c(11). Suppose 0 = -q*z + 43 + 2. Is z a multiple of 15?
True
Let u(o) = 6*o - 20. Does 2 divide u(8)?
True
Suppose 2 = 4*l - 6. Suppose u - 4*o = -u + l, 2*u = -5*o + 47. Is u a multiple of 8?
False
Let c be 8*(-1)/6*-3. Does 14 divide 12/15*70/c?
True
Suppose -z - 5*b + 40 = 0, -5 - 10 = -2*z + 3*b. Is 5 a factor of z?
True
Let f = -31 - -67. Does 12 divide f?
True
Let g = 73 - 137. Let a = g - -120. Does 28 divide a?
True
Let p be (-3 - 77)*(-2)/(-4). Let a be ((-16)/(-6))/(4/102). Let q = a + p. Is 14 a factor of q?
True
Let y = 2 - 2. Suppose y = 7*o - 3*o. Suppose o = 3*v - 24 - 0. Does 5 divide v?
False
Suppose -z + a + 1 = z, -3*a = -z + 3. Suppose -3*n - 6 = -z. Let g = 2 - n. Does 2 divide g?
True
Suppose 20 = 7*s - 3*s. Does 5 divide s?
True
Let h(b) = 5*b**3 + b. Suppose i - 3 = -1. Does 21 divide h(i)?
True
Suppose 5*s = -4*n - 13, n + 15 = 6*n. Let c(u) = u**2 + 2*u - 4. Does 3 divide c(s)?
False
Let f = -43 + 153. Does 22 divide f?
True
Let h(v) = -v**2 - 7*v - 7. Let b be h(-5). Suppose -t = -5*g + 4*t + 40, -4*t = b*g - 17. Does 2 divide g?
False
Let v = 107 + -74. Is v a multiple of 11?
True
Suppose 3*i - 6*i + 72 = 0. Suppose 3*z = -4*k + 4*z + i, -4*k + 48 = 5*z. Does 7 divide k?
True
Suppose -1 - 34 = 4*h - 3*v, -2*h - 14 = 2*v. Is 4 a factor of ((-12)/1)/(12/h)?
True
Suppose -4*y + 0*q + 3*q = -37, 0 = 3*q - 3. Suppose -j = 2, -c + y = -3*c - 5*j. Suppose 3*w - 33 = -c*w. Is w a multiple of 11?
True
Let p be -21 + -3*2/(-6). Let o be (-4)/(-2)*(5 + p). Let z = -18 - o. Is 6 a factor of z?
True
Suppose 3*t + 4 - 19 = 0. Suppose -86 = -5*p - x + 71, -p = -t*x - 47. Does 16 divide p?
True
Let v(z) = -z**3 - 8*z**2 + 14*z - 5. Does 7 divide v(-10)?
False
Suppose -5*x + 224 = -4*l + 1368, -2*l = -2*x - 570. Is l a multiple of 52?
False
Suppose -2*m = 4 - 8. Suppose 0*g + 52 = 2*f - 5*g, -5*g - 20 = 0. Let c = f - m. Does 5 divide c?
False
Let v(z) = z**3 + z**2 - 4. Let h be v(0). Does 7 divide 5 - (-1)/(h/(-8))?
True
Suppose -i - i = -48. Is 4 a factor of (i/4)/((-1)/(-2))?
True
Is 19 a factor of (-1 - 5)*(-570)/18?
True
Is ((972/15)/4)/(1/5) a multiple of 15?
False
Let k = -134 + -12. Suppose 5*y = 2*g + 187, 2*g - y - 363 = 6*g. Let l = g - k. Does 25 divide l?
False
Let x(i) = i**2 + 1. Let n(u) = -u**3 - 7*u**2 - 7*u - 2. Let w be n(-6). Is x(w) a multiple of 8?
False
Let u(d) be the second derivative of -d**5/20 - 7*d**4/12 - 7*d**3/6 + d**2/2 + d. Let j be u(-5). Let a = j - -23. Is 8 a factor of a?
False
Suppose -4*u = -3*u - 25. Suppose 5*d + u = -5*q, q - 8 = 4*d + 17. Is 12 a factor of (-2 - -4)/((-1)/d)?
True
Suppose 54*g - 48*g - 138 = 0. Does 9 divide g?
False
Let f be (-112)/(-18) + (-10)/45. Let m = f + -2. Suppose 6*v - m*v = 3*n + 2, -5*n - 10 = -5*v. Is 2 a factor of v?
True
Let i(l) = 6*l**2 - 1. Let c be i(-1). Let m be (-14)/4 + c/(-10). Let k = m + 7. Is 2 a factor of k?
False
Suppose 3*w - 3 = -3*i, 0 = -2*w + 5*i - 0*i + 16. Is 3 a factor of w?
True
Let k be 1*1/(3/(-21)). Let z = k + -6. Let f = 28 + z. Does 6 divide f?
False
Is 4 a factor of ((-376)/(-3) - 0) + (-32)/24?
True
Let x(o) = -57*o**3 - o**2 + 1. Does 18 divide x(-1)?
False
Let u = 0 - -5. Let g(i) = i**2 + 7*i + 8. Let h be g(-6). Suppose -h*m - m + 131 = 2*w, -2*m - u*w = -69. Is 19 a factor of m?
False
Suppose 3*m + 2*m = 10. Suppose 12 = m*x + x. Suppose x*j + 132 = 5*g, 3*g - 114 = -g - j. Does 13 divide g?
False
Suppose -3*m + 100 + 13 = 4*h, -5*h = -m + 6. Does 8 divide m?
False
Suppose 5*d = 2*j + 20, -3*j - 1 = d - 5. Suppose d*v - 5*b = 232, -2*v + b + 116 = 3*b. Suppose 3*i - v = 2. Is i a multiple of 20?
True
Suppose -30 = 7*c - 2*c. Let l(b) be the first derivative of -b**4/4 - 2*b**3 - b**2/2 - b - 1. Is l(c) a multiple of 5?
True
Is 5*3/(-30)*(-25 + 1) a multiple of 4?
True
Let x = 2 + -6. Let w = -6 - x. Is 15 a factor of -2 + 34/((-4)/w)?
True
Let s(v) = -v**3 - 6*v**2 - 2*v - 3. Let i be s(-5). Let w = 28 + i. Is 10 a factor of w?
True
Let p = 4 - 1. Suppose -4*u = -p - 13. Is u a multiple of 4?
True
Is ((-25)/2)/(4/(-8)) a multiple of 9?
False
Suppose 5*m - 14 = -74. Let l = m + 65. Is 20 a factor of l?
False
Suppose -6*u + 264 = -5*u. Suppose 5*o - 5*y - 303 = -y, 4*y - u = -4*o. Is 21 a factor of o?
True
Let p(q) = q + 1. Let l be p(1). Suppose -2*f + 260 = l*f. Does 22 divide f?
False
Let x = -241 + 345. Does 30 divide x?
False
Let u(s) be the third derivative of s**2 - 2/3*s**3 + 1/30*s**5 - 1/6*s**4 + 0*s + 0. Is 12 a factor of u(-3)?
False
Let f(y) = -9*y**2 + 2*y - 1. Let g be f(1). Does 25 divide (-10)/g*(7 - -33)?
True
Let g = -37 - -18. Suppose -2*f = 4*p - 183 + 55, 0 = -2*p - 4*f + 70. Let k = p + g. Is k a multiple of 6?
True
Let i = 56 + -14. Is i a multiple of 14?
True
Suppose 2*q + 0*q = -3*s - 16, s + 12 = -4*q. Is 39 + (q + 11)/3 a multiple of 14?
True
Suppose 3*n - 12 = -0. Let g = 6 - n. Is g even?
True
Suppose -3*h + 4*k = -1, -2*h - 3*k + 3 + 9 = 0. Suppose -4*d = -2*r + 108, -h*r = 4*d - 3*d - 127. Is 15 a factor of r?
False
Let h(x) = -x**3 + 13*x**2 - 12*x + 5. Let u be h(12). Suppose 4*f + 40 = u*r + 146, -124 = -5*f + 2*r. Does 8 divide f?
True
Let l(j) be the first derivative of -j**4/4 - 4*j**3/3 - j**2/2 - 4*j + 4. Let i = -10 + 5. Is l(i) a multiple of 13?
True
Suppose -u + 32 = 2*v, -2*u - 5 = -v + 3*u. Is v a multiple of 5?
True
Suppose 3*t - 2*h - 212 = 0, -22 = -t + h + 48. Does 18 divide t?
True
Suppose 2*h = -3*h. Suppose -4*a - 24 - 4 = h. Is a/(((-9)/(-6))/(-3)) a multiple of 7?
True
Let w be (-8)/3*3/(-2). Suppose -g + w = -20. Suppose r - g = 6. Is 15 a factor of r?
True
Let w(l) = l**3 + 9*l**2 + 8*l + 10. Let o = -10 - -2. Let v be w(o). Is 164/10 - v/25 a multiple of 8?
True
Suppose -7*c = 3*t - 3*c - 486, c + 324 = 2*t. Is 9 a factor of t?
True
Suppose 434 = -4*c - 0*j + 2*j, -j = 3. Let f = 165 + c. Does 15 divide f?
False
Let o be 1*((-18)/3)/3. Is 18 a factor of 236/13 - o/(-13)?
True
Let i = -51 - -86. Let f = i - 13. Is 11 a factor of f?
True
Suppose -3*h + 8*h + 4*s - 6 = 0, -2*h + 5 = -s. Suppose -i = -4*z + 9, 2*z - i - 5 + h = 0. Suppose z*o - 4*o + 39 = 0. Is o a multiple of 22?
False
Let k(b) = -b**2 + 6*b - 1. Let o be k(5). Suppose -v + o = -17. Is 888/v + (-6)/21 a multiple of 23?
False
Let b = -13 + 19. Is (-2)/b + (-68)/(-6) a multiple of 11?
True
Is 13 a factor of (-6)/18 - 79/(-3)?
True
Let q be 5/5*(0 - -1). Suppose 11 = 2*f - q. Is f a multiple of 3?
True
Suppose y - u - 35 = -0*u, y - 38 = -2*u. Is y a multiple of 12?
True
Let m(d) = 2 - 10*d + d**3 + 3 + 9*d**2 - 3. Let c be m(-10). Suppose -c*h = 2*h - 188. Is h a multiple of 17?
False
Suppose 0*q = -5*q + 180. Is 9 a factor of q?
True
Let z(v) = v**3 - 5*v**2 - 9*v + 8. Suppose -26 = -4*h - 3*u - 1, 5*h + u = 34. Is z(h) a multiple of 13?
False
Let w(o) = -5*o + 11. Let m be w(11). Let g = 78 + m. Is 17 a factor of g?
True
Let m(d) = -d**3 + 3*d**2 + 3*d + 4. Let z be m(4). Let u = 14 - 8. Suppose -3*x = -z*x - u. Is 2 a factor of x?
True
Let g(p) = p**2 - 9*p - 4. Let h be g(8). Is (-6)/h*2*13 a multiple of 9?
False
Let z = 9 - 114. Is ((-24)/(-14))/((-10)/z) a multiple of 9?
True
Does 13 divide (8/12)/2*39?
True
Let k = -137 - -379. Does 11 divide k?
True
Let p = -6 + 8. Suppose 28