 12 divide v?
False
Let t be (-7 + 4 - -3)*(-2)/4. Suppose x = -t*x + 224. Is x a multiple of 32?
True
Let a(d) = d**3 + 2*d**2 - 4*d + 1. Let k be a(-3). Suppose -i - 3*i + s - 58 = 0, 0 = -3*i + k*s - 37. Let q = i + 34. Is 19 a factor of q?
True
Let a = -1813 - -2909. Is 20 a factor of a?
False
Suppose -i - 3*b + 6 = 0, 2*b - 10 = i + b. Let h(g) be the third derivative of -3*g**4/8 - 3*g**3/2 - 34*g**2. Does 10 divide h(i)?
False
Let l = 8 - 4. Suppose 3*v = 5*b + 49, 0*v - 52 = -l*v + 4*b. Is 2/v*2*168 a multiple of 16?
False
Suppose 4*q - 650 = 58. Is q a multiple of 8?
False
Suppose 1477 = 9*p - 224. Suppose -3*m - p = -4*w, 2*w + 5*m - 120 = -w. Is w a multiple of 9?
True
Let n = -10 + 50. Let d = 100 - n. Is 15 a factor of d?
True
Suppose 5*z + 9*l = 4*l + 15, -2 = -2*l. Suppose 10 = z*m, -y = -4*y + m + 79. Does 4 divide y?
True
Let b = -56 + 27. Let p = b - -41. Is 3 a factor of p?
True
Let y(f) = 21*f**2 + 5*f + 74. Is 12 a factor of y(-10)?
True
Does 17 divide 5 + 2/(8/724)?
False
Let g(a) be the third derivative of -4*a**4/3 + a**3/3 + 5*a**2. Is 8 a factor of g(-1)?
False
Suppose x - 7*v - 1883 = -11*v, 2*v - 5629 = -3*x. Does 30 divide x?
False
Suppose 5*i - 672 = -2*i. Is i a multiple of 12?
True
Let g be (-5)/15 + (-38)/(-6). Suppose 4*x - g*x = 0. Let m = x - -7. Does 7 divide m?
True
Suppose 4*q - 9 = 3*q. Suppose -7*x = -89 + 40. Suppose -x*p - 94 = -q*p. Does 16 divide p?
False
Suppose -4*d - 3 = 5*l, d + l - 19 = 3*d. Is 5 a factor of (6 + d)/(1/(-25))?
True
Suppose -3*k - 15 = 12. Let o = -3 - k. Is (21/2 + 2)*o a multiple of 36?
False
Suppose 0*h - 16 = -2*h - 4*k, -5*h + 30 = 5*k. Suppose -5*b + 129 = v, b + 27 = -h*v + 68. Does 5 divide b?
True
Let d = -16 + -2. Let g = -15 - d. Suppose -5*i + 416 = 5*n - g*i, -i = 3*n - 250. Does 21 divide n?
True
Let v(w) = 122*w**2 + 2. Let t be v(2). Suppose -11*a - t = -4*a. Let j = 61 - a. Is 28 a factor of j?
False
Let i(w) = -28*w + 142. Is i(-18) a multiple of 34?
True
Let h = -69 + 503. Let j = -240 + h. Is j a multiple of 10?
False
Let x = 462 + -292. Suppose -2*t + l + x = 0, -4*l = -4*t - 9*l + 354. Does 6 divide t?
False
Let r(l) = -2*l**2 - 1 + 3*l**2 - 2*l + 3*l**2 - l**2. Is r(-5) a multiple of 7?
True
Suppose -6*f = -9*f + 9. Suppose -40 = -o + f. Does 20 divide o?
False
Let p = -2440 - -3473. Is p a multiple of 23?
False
Suppose 0 = -0*v + 2*v + 3*c - 73, -122 = -3*v - 2*c. Suppose -14 - v = -p. Is p a multiple of 28?
False
Let t(s) = s**2 + 15*s + 21. Let y be t(-14). Suppose 0 = -2*r - 4*q - 26, q - y = -0*r + r. Does 4 divide 2/r + (-1314)/(-81)?
True
Let s be (-2)/3*(-3)/2. Let u be (1 - -3)*(-1 + 0). Is 5 a factor of (s + u + 4)*5?
True
Let m be -2 - 3/3 - -15. Let u = m - 12. Suppose -2*r = -u*r - 12. Is 6 a factor of r?
True
Suppose 2691 = 23*i - 14*i. Does 23 divide i?
True
Let n(z) = -z**2 - z + 27. Let u be n(0). Let r = 38 - u. Suppose -4*w + r = -17. Is w a multiple of 2?
False
Let c(z) = -z**2 + 12*z + 7. Let k be c(9). Let h = k - 24. Is 6 a factor of h?
False
Let d be (0 - 2/5) + (-94)/(-10). Suppose d*t = 15*t - 306. Is 3 a factor of t?
True
Let i(f) = -f**2 - f + 10. Let y be (3 + -3)*1/(-2). Let d be 3 + (y - 1) + -2. Is i(d) a multiple of 5?
True
Does 22 divide 7 + (-9 - -1) + 1693?
False
Let b be (-2)/(-11) - (-544)/(-88). Let x be b/(-9) + (-404)/(-6). Suppose -2*n + 6*n = x. Is n a multiple of 17?
True
Let q(z) be the third derivative of -z**5/60 + z**4/4 + 8*z**2. Let r be q(3). Let k = r + -4. Is k a multiple of 5?
True
Let t = 133 + -130. Suppose -292 = -5*z - 4*g, 7*z + g - 238 = t*z. Is z a multiple of 10?
True
Let h = -16 + 18. Suppose 2*b - u - 18 = 3*u, h*b + 5*u = 0. Suppose -b*r = q - 0*r - 80, -q + 62 = -r. Is 13 a factor of q?
True
Let x(l) = 2*l + 13. Let j be x(2). Let b = j + 3. Does 5 divide b?
True
Suppose 0 = -5*z + 2*c + 22, 2*z = -c + 4 + 3. Suppose -w - 3*w + 4*l + 576 = 0, 684 = 5*w + z*l. Is w a multiple of 28?
True
Suppose 46*i - 450 = -2152. Let x(m) = 12*m - 6. Let b be x(6). Let w = i + b. Is 27 a factor of w?
False
Let i = -2871 - -4800. Is 34 a factor of i?
False
Let r = -87 + 159. Is r a multiple of 12?
True
Suppose 19*c - 16*c = 0, -q - 3*c = -83. Is 23 a factor of q?
False
Suppose -50 = -5*r - 5*u, r + 2*u + 16 = 5*r. Suppose -r = 88*o - 91*o. Is o a multiple of 2?
True
Let d = 2883 + -2051. Is d a multiple of 52?
True
Let n be 11/2 + 3/6. Let v be (2/4)/(n/24). Suppose 0 = 4*a - v*x - 28, -a - x + 4*x = -2. Is a a multiple of 8?
True
Let z be (-16)/(-72) - 268/(-9). Let g be 6/z - (-19)/5. Suppose g*x + 95 = 5*n + 5*x, 0 = x - 5. Is 18 a factor of n?
True
Let z be (12/9)/((-1)/18). Suppose -81 = 81*u - 72*u. Let y = u - z. Is y a multiple of 2?
False
Let t = 464 + -414. Is 25 a factor of t?
True
Let l(g) = -24*g**3 - g. Let h be l(-1). Suppose 600 = -h*d + 31*d. Is d a multiple of 20?
True
Suppose 3 + 2 = g. Suppose 3*w - g*w = -4. Suppose -5*r + 410 = w*d, 6 = -3*d - 9. Does 31 divide r?
False
Let b(h) = h**2 - h + 1. Let d(q) = -5*q**2 - 4. Let s(l) = 4*b(l) + d(l). Let j be s(-2). Is 10 a factor of (6/j)/((-2)/(-80))?
True
Let y be 1*(0 - (3 + -3)). Suppose -5*f - 3 + 58 = y. Let a = f + 11. Is 17 a factor of a?
False
Suppose -30*x + 27*x = 0. Suppose 2*r - 144 = -x*r. Suppose k = 5*d - 3*d + 37, 5*d = -k + r. Does 22 divide k?
False
Let j(c) = 3*c**3 - 3*c**2 + c - 1. Let x be j(2). Let m = -8 + x. Suppose 0*f - f = m*z - 16, -2*f + 23 = z. Does 11 divide f?
True
Suppose 4*i = -5*a + 149 + 392, 406 = 3*i + 4*a. Let l = i - 45. Let h = l - 23. Does 12 divide h?
False
Let o(b) = 15*b**3 - 16*b**2 + 14*b + 1. Is o(5) a multiple of 11?
False
Let u(q) = -q**2 - 15*q + 19. Let m be u(-16). Is (3/m)/((-3)/(-87)) a multiple of 6?
False
Suppose 0 = -3*m - 18 + 3, 10 = 3*f + m. Suppose -3*g + 3*c = 2*c - 135, f*g - 205 = -5*c. Is 11 a factor of 1*(-5)/((-20)/g)?
True
Suppose 511 + 191 = 3*q. Suppose 480 + q = 7*f. Suppose f = 7*m - 5*m. Is 9 a factor of m?
False
Suppose -b - 1 = -2*u, -9 = b - 4*u - 0. Is 60/35 + -2 + 884/b a multiple of 6?
True
Suppose -4*l + 635 = -365. Is 10 a factor of l?
True
Let m = 28 + -28. Let b = 2 + m. Suppose -b*v = -3*u - 42 - 49, -4*v - u = -217. Is 20 a factor of v?
False
Let k(r) = 39*r**2 - 15. Is k(5) a multiple of 30?
True
Let n(d) be the second derivative of 0 - 5*d + 2*d**3 + 1/2*d**2. Is n(3) a multiple of 18?
False
Suppose -5*o = 2*g - 2799, g - 1110 = -2*o - 3*g. Is 11 a factor of o?
True
Suppose -1012 = -4*a - 18*a. Is a a multiple of 4?
False
Suppose 0 = -10*j + 5*j + 20. Suppose 12 = -w + j*w. Suppose -w*q + 128 = 32. Does 9 divide q?
False
Suppose -g + 6 = 2. Suppose 3*m + g = 16. Suppose 0 = n + 2*k - 14, 3*n - 3 = m*k + 9. Is 6 a factor of n?
False
Is 18/24*92/(-6)*-2 even?
False
Let p(f) = -12*f - 136. Does 18 divide p(-17)?
False
Let s(r) = -2*r**3 - 9*r**2 + 23*r - 21. Does 12 divide s(-11)?
False
Let k(c) = -64*c - 20. Is 9 a factor of k(-2)?
True
Let k = -13 + 13. Is 4 a factor of k - -21 - -1*1?
False
Let d(f) = 69*f + 1. Let t = 44 - 41. Is 13 a factor of d(t)?
True
Is (3 - 0)/(0 + (-6)/(-176)) a multiple of 33?
False
Suppose -1835 = -3*g - y, 2446 = 4*g - y + 2*y. Does 12 divide g?
False
Suppose 3*v = 4*k + 13380, -8*v + 4*k - 4476 = -9*v. Does 93 divide v?
True
Let z = 44 - -42. Suppose -89*p + 63 = -z*p. Is 11 a factor of p?
False
Suppose -30 = -2*o + 4. Suppose 0 = -4*q + 3*p + o + 10, -5*q - 2*p = -5. Suppose 0 = q*g - 1 - 14. Does 4 divide g?
False
Is (-1 - 0)/((-23)/84985) a multiple of 13?
False
Let b(j) = 2*j + 42. Let f be ((-4)/3)/((-8)/(-12)). Let u be 1 + (-4)/(-4) + f. Does 7 divide b(u)?
True
Let m = 7 + -6. Let x(h) = h**3 + 2*h**2 - 1. Let w be x(m). Suppose 3 - 97 = -w*f. Is 8 a factor of f?
False
Let k = 14 - 14. Suppose -3*n + 6 + 9 = k. Suppose 54 + 51 = 2*f + n*i, 4*f + 3*i = 217. Is f a multiple of 13?
False
Let q(o) = -o**2 - 7*o. Let t(y) be the third derivative of y**6/120 - y**5/15 + y**4/24 - 3*y**2. Let w be t(3). Does 3 divide q(w)?
True
Let w be 4 + 2/6 + (-863)/(-3). Suppose 6*h - 140 = w. Is 12 a factor of h?
True
Suppose 40*x - 188272 + 67152 = 0. Is x a multiple of 11?
False
Let l(f) = -9*f + 14. Suppose -2*w - c = 2*c, 0 = 3*w - 5*c + 38. Let r be l(w). Suppose 0 = -3*k + 16 + r. Is k a multiple of 28?
True
Let p = 24 - 14.