Let q = i - v. Is 12 a factor of q?
False
Suppose -40396 = -17*m - 11122. Is 41 a factor of m?
True
Let i = 96 + 162. Does 9 divide i?
False
Suppose -7*z + 252 = 5*z. Let n(t) = -26*t + 3. Let d be n(-4). Suppose d = h + z. Is 12 a factor of h?
False
Let w(z) = z**2 + 5*z - 7. Let n be w(-8). Suppose -7 = 2*c + x - n, -3*c = x - 14. Suppose c*b = -b + 75. Does 8 divide b?
False
Let k = 116 + -32. Does 27 divide 145 + (-6)/(-14) + (-288)/k?
False
Let g = -297 + 620. Suppose 3*u + 59 - g = 0. Let r = -49 + u. Is 14 a factor of r?
False
Suppose -3*w - 75 = -6*w. Suppose -20 = -4*b, a - 6*a - 2*b + w = 0. Suppose t + 4*t + u - 432 = 0, 4*t - a*u = 357. Is t a multiple of 29?
True
Suppose -3*t + t = -12. Suppose 3*b - t*b = -12. Suppose -5*j - q = b*q - 115, -109 = -5*j - 3*q. Is j a multiple of 9?
False
Let t be (6 + 2)*(-4)/8. Let m be 354/(-9)*6/t. Suppose m + 16 = p. Is 15 a factor of p?
True
Let v(g) = 5*g**2 + 2*g. Let u be v(-1). Suppose -u*d + 2*a = -24, d = -a + 5*a - 2. Does 2 divide d?
True
Let v be (2 + -1)/((-9)/531). Let s = -24 - v. Is s a multiple of 35?
True
Let p(n) be the third derivative of -13*n**4/6 + 13*n**3/3 + 24*n**2. Does 13 divide p(-6)?
True
Let i(o) = o + 24. Let r be i(-11). Suppose -2*s = -93 + r. Does 20 divide s?
True
Is 12/10*(-13 + 423) a multiple of 16?
False
Let g(p) = p**3 - 10*p**2 + 11*p - 12. Let s be g(6). Let q(y) = -2*y**2 - 4*y - 5. Let z be q(4). Let a = z - s. Is 37 a factor of a?
True
Suppose -3317 = -6*x + 3091. Is 12 a factor of x?
True
Let k = 1061 + -626. Let t be k/10 + 9/(-6). Suppose 2*v = f - 33, t + 60 = 4*f + 2*v. Is 27 a factor of f?
True
Suppose 2*i = -u + 88, -4*i + 268 = 4*u - 68. Is u a multiple of 40?
True
Let s be ((-27)/(-6) + -3)*24/9. Let r(t) = -t - 1. Let k be r(-3). Suppose -20 = -u - k*z, u - 10 - 18 = -s*z. Is 4 a factor of u?
True
Let k = -455 - -776. Is k a multiple of 10?
False
Let x = 2743 - 1951. Is x a multiple of 6?
True
Suppose 13*q - 4581 = 1035. Is 24 a factor of q?
True
Let a = -96 + 258. Suppose -5*l + 3*n + n = -a, -2*l = 3*n - 74. Suppose r = -r, j + 2*r = l. Is j a multiple of 22?
False
Let w(g) = 2*g + 1. Let b be w(1). Suppose 8 = b*v - 2*v. Let t(r) = r + 5. Is 2 a factor of t(v)?
False
Suppose 9 = -5*m + 34. Suppose -m*k + 121 = 3*c, 4*c + k - 79 = 54. Does 8 divide c?
True
Let x = -25 + 24. Let f = x + 85. Suppose 4*h + 4*t - 176 = 0, -f = -h - h + 2*t. Is 12 a factor of h?
False
Let s be -3 - -1 - -1 - 4. Let p(z) = -7*z - 5. Let y(m) = 3*m + 2. Let l(i) = -2*p(i) - 5*y(i). Is l(s) a multiple of 2?
False
Suppose 0 = -6*f + 4*f + 12. Let m(s) = 3*s**2 + 2*s. Is m(f) a multiple of 24?
True
Let z be (-1)/(-2) - (-59)/2. Let w be -4 - 4/(8/z). Let a = w + 36. Does 17 divide a?
True
Let r(u) = 21*u**3 + u**2 - 1 - 4*u**2 + 3*u + 4*u**2 - 2*u. Let n be r(1). Let v = n - 7. Is v a multiple of 5?
True
Suppose 17*p - 13*p = 80. Is -1 - -4 - p/(-5) a multiple of 7?
True
Suppose -716 = -3*f - f + 2*u, -5*u + 201 = f. Does 28 divide f?
False
Suppose -f = 3*o - 729, -2*o + 3*f + 717 = o. Suppose 7*t + o - 1082 = 0. Is 8 a factor of t?
True
Let o(q) = q**2 + q + 7. Let f be o(-7). Suppose -4*d - 23 = f. Is -4 + 1 - -5 - d a multiple of 5?
True
Let b(d) = 9*d**2 + 51*d - 464. Is 20 a factor of b(8)?
True
Let r = 17 + -10. Suppose f + r = 35. Does 28 divide f?
True
Suppose 62*x = 58*x + 1496. Is 22 a factor of x?
True
Suppose 2*f - 28*g - 406 = -30*g, 4*f - 2*g = 812. Is f a multiple of 6?
False
Let s be (0 - -2) + 1 + (-4)/(-2). Suppose -s*g + 230 - 5 = 0. Is 14 a factor of g?
False
Let h be 4 + -7 + (-70)/(-2). Let w = h - 8. Suppose 0*m = m - w. Is 8 a factor of m?
True
Let f be -2 - 1/(4/(-132)). Suppose 30*g = f*g - 76. Is g a multiple of 18?
False
Let s(w) = w**3 + 2*w**2 + 2*w + 1. Let j = -12 + 18. Let i be (-3)/(-3)*-3 + j. Is 13 a factor of s(i)?
True
Suppose -4*j - 124 = w, -206 = -4*w - 3*j - 767. Let n = 119 - w. Does 22 divide n?
False
Let s be 2 - 18/10 - (-7)/(-35). Suppose s = -3*m - 4*v + 258 + 140, -3*v = -6. Does 13 divide m?
True
Suppose 44*s = 47*s - 3708. Does 12 divide s?
True
Let y(j) = -4*j**2 - 3 - 2 + 6*j**2 + j + 5*j**2. Let s be y(-3). Suppose 4*c - s = 1. Is c a multiple of 10?
False
Suppose 74 = 3*n - 256. Is n a multiple of 5?
True
Suppose u + 3*u = 3*p + 263, 0 = -p - 3*u - 66. Let l = p + 179. Is 14 a factor of l?
True
Let a = 71 - 67. Suppose a*b = -5*b + 792. Is 11 a factor of b?
True
Suppose -440 = m + k, 0*m - m - 420 = 5*k. Let c = m + 732. Does 46 divide c?
False
Let w be ((-3)/(-6)*-4)/(4/(-10)). Suppose 0 = -4*u - w + 101. Is 6 a factor of u?
True
Let d(r) = 2*r**3 + r + 2. Suppose 2*c = 4*m, 0*c - 2*c + 8 = 4*m. Is d(c) even?
True
Let w = 716 - 189. Does 3 divide w?
False
Let j be (-1)/(-5) - (-1376)/(-5). Let f = j - -385. Is 23 a factor of f?
False
Let p = -307 + 1084. Does 37 divide p?
True
Suppose -l + 10 = j, -3*l + 40 = 2*j + 3*j. Suppose -3*x + 235 = 2*k, 0*k + 100 = k + l*x. Is 25 a factor of k?
True
Let w(t) = -10*t + 42. Is w(-9) a multiple of 57?
False
Let r be (2/4)/((-1994)/(-664) - 3). Let s = r - 98. Is s a multiple of 4?
True
Suppose 4*h - 5*h + 4 = 0. Suppose 2*g = -5*k + 169, g - 22 - 30 = h*k. Is g a multiple of 12?
True
Let c(d) = -7*d - 8 + 3 - 29*d. Is c(-1) a multiple of 8?
False
Suppose -3*r + 4*m - 25 = -4*r, 0 = -3*r + 3*m. Suppose -r*x = -4*x. Suppose x = -t + 3*g - g + 24, 3*g - 120 = -5*t. Is 4 a factor of t?
True
Let o(u) = 15*u**2 - u + 4. Let n = 8 - 5. Is 17 a factor of o(n)?
True
Suppose -15 = 5*r + z - 0*z, -5*z = 2*r - 17. Is 4 a factor of (-3)/(((-20)/(-15))/r)?
False
Let h be (-169)/9 + 18/(-81). Let l = -16 - h. Suppose 78 + 183 = l*q + c, 4*c = -5*q + 428. Is 11 a factor of q?
True
Let o be 33 + -10 - (0 + -3). Suppose 7*b + o = 810. Is ((-20)/14)/((-8)/b) a multiple of 14?
False
Let u(s) = 327*s + 11. Does 26 divide u(1)?
True
Let d(v) = v**2 - 8*v + 14. Let b be d(7). Let w be 352/b + (-10)/35. Suppose 2*i + 3*i = w. Is 3 a factor of i?
False
Suppose 2*l - l = 9. Does 16 divide 8/(-4 - l/(-2))?
True
Let b = -897 + 1637. Is b a multiple of 74?
True
Suppose 0 = 4*n + 3*q - 591, -15 = -8*q + 5*q. Does 36 divide n?
True
Let r(i) = -i + 6. Let p be r(7). Let a = 3 + p. Suppose a*x - 98 = 4*w, -2*x + 5*w = 36 - 132. Does 15 divide x?
False
Let z be ((-127)/2)/((-2)/(-4)). Suppose -32*a = -30*a - 356. Let f = a + z. Is f a multiple of 11?
False
Suppose -2*z + 27 = -9. Suppose 3*x = 2*u + 40 + z, -94 = -5*x + 4*u. Does 22 divide x?
True
Let l = -454 + 578. Is l a multiple of 4?
True
Let p(y) = -209*y**3 - 6 + 207*y**3 - 7*y**2 - 7*y - 9. Is p(-5) a multiple of 34?
False
Let z = 433 - 251. Is z a multiple of 26?
True
Let l(z) = z**2 - 28*z + 4. Let m be l(13). Let r = m + 370. Is 44 a factor of r?
False
Let s(v) = -v**2 + 17*v + 2. Suppose -19 = -2*w - x, -5*w + 51 + 14 = -x. Does 31 divide s(w)?
True
Let i(k) = -4*k - 2*k + 4*k + 3*k**2 - 1. Suppose -4*v + 26 = -17*v. Is i(v) a multiple of 5?
True
Suppose -4*t = -6*t - 250. Let h = t + 258. Is h a multiple of 19?
True
Let c(q) = q**3 + 10*q**2 + 9*q. Suppose 4*l + 4 = 3*f, 2*l = 2*f - 0 - 4. Suppose -m - 60 = 5*t - 5*m, l*m - 42 = 4*t. Is c(t) a multiple of 14?
True
Suppose -5*f + 1082 = 4*l - 305, -3*f - 3*l + 834 = 0. Is f a multiple of 25?
True
Let l be 8/(-10)*15/(-2). Let v(y) = 2*y + 127*y**3 + 7*y**2 + 4*y - 63*y**3 - 8 - 65*y**3. Does 21 divide v(l)?
False
Suppose 2*i = -2*p - 1 - 1, 19 = -5*p + 2*i. Let r = p - -8. Suppose 3*h = -l + 58, r*l - 2*h - 21 = 252. Is 21 a factor of l?
False
Let l be 2300/6 - 8/(-12). Suppose 206*u - 204*u = l. Is 48 a factor of u?
True
Let s(v) = v**2 + 7*v - 27. Let f be s(-12). Let b = -17 + f. Is 13 a factor of b?
False
Suppose v = d + 178, 28 + 326 = 2*v - d. Is v a multiple of 16?
True
Let i = 921 + -175. Is i a multiple of 12?
False
Let u = 1 + 2. Suppose o - 10 = -u. Let m = 14 - o. Is m a multiple of 2?
False
Let l(z) = -z**3 + 11*z**2 - 6*z - 5. Suppose 0*o + 45 = 3*o. Let y be o*((-16)/(-6))/4. Does 13 divide l(y)?
False
Let a(o) = o**2 + 2*o - 12. Let k(l) = 3*l**2 + 5*l - 25. Let y(x) = -13*a(x) + 6*k(x). Let t be y(-5). Let s = t + -56. Is s a multiple of 23?
False
Let s(u) be the second derivative of 15*u**3/2 - 25*u. Is s(4) a multiple of 22?
False
Suppose 0 - 15 = -5*q. Suppose -1 - q =