?
True
Is 2 a factor of (10 + -7)/12 + (-574)/(-8)?
True
Suppose -6*m + 11*m = 975. Suppose -2*v + m = v. Does 8 divide v?
False
Let c(z) = 2*z + 6. Let s(t) = -3*t**2 + t. Let f be s(-1). Let v be c(f). Is ((-1)/v)/(2/300) a multiple of 25?
True
Suppose 0 = -2*s + 4*y + 502, 6*s = s - 4*y + 1185. Is 23 a factor of s?
False
Let d = -2878 + 5557. Does 9 divide d?
False
Suppose 3*c + c = 0. Suppose c = -2*h + 27 + 27. Does 9 divide h?
True
Suppose -m - 14 = -0*m - 5*v, 0 = 4*m - 2*v + 2. Suppose -n + 6 = m. Suppose 3*z - 46 = -4*c + z, -27 = -2*c - n*z. Is c a multiple of 11?
True
Let g = -34 + 36. Suppose 5*d = -m + 86, -g*m = -d - 117 - 11. Is 14 a factor of m?
False
Is 37 a factor of (-225)/(-45) - (-1 - 1141)?
True
Let f = 334 - 310. Does 24 divide f?
True
Let z(u) = 3*u**2 + 13*u - 2. Let y be z(-9). Suppose 0 = 2*j + 10, 0 = -2*l - l + 5*j + y. Let m = -12 + l. Is m a multiple of 21?
True
Let o = 20 - 20. Let h(a) = a**2 + a + 4. Let d be h(o). Suppose 0 = -3*c + d*j - 7 + 155, -2*c - 2*j = -108. Is c a multiple of 13?
True
Suppose -t - r - 315 = 0, 0 = 4*t + 2*r - 0*r + 1268. Let l = t + 213. Does 6 divide (-2)/(-6) + l/(-6)?
True
Let j(r) = 2*r - 3. Let d be j(7). Let v(i) = i - 6. Let h be v(d). Suppose 0 = 4*t + h - 37. Is 4 a factor of t?
True
Let a be (16/20)/((-2)/515). Let x = 316 + a. Is ((-10)/(-4))/5*x a multiple of 11?
True
Suppose -9*m + 1638 = -18. Does 4 divide m?
True
Let h(q) = 4*q**2 + 20*q + 79. Does 45 divide h(-13)?
True
Let d(v) = v - 3. Let w be d(3). Let i(q) = w*q + 3*q - 9 + q - q. Does 7 divide i(6)?
False
Suppose -4313 = -17*n + 3031. Does 20 divide n?
False
Let n(y) = -y**3 + 7*y. Let f be n(3). Suppose -3*q = q + 52. Let j = f - q. Is j a multiple of 4?
False
Let z(d) = -4 + 1 + 2 + d + 3. Let v be z(0). Is ((-96)/(-28))/(v/49) a multiple of 14?
True
Let s(w) = -17*w - 2. Let f be 40/(-12)*(-9)/(-6). Let x be f/2 + 1/2. Is 16 a factor of s(x)?
True
Let y = -41 + 83. Suppose -y = 5*w - 182. Suppose 62 = s - w. Is 15 a factor of s?
True
Let x(y) = 24*y - 48. Let g be x(9). Suppose 3*m - g = 462. Is 30 a factor of m?
True
Let x = -1437 + 1684. Does 3 divide x?
False
Let k be -2*(-2)/(-4) - -1*6. Suppose -w = -k*w + 240. Is w a multiple of 8?
False
Let b be 6/(-4)*(-10)/1. Suppose -14*f = -b*f - 94. Let q = f - -154. Is 30 a factor of q?
True
Let f = -95 + 141. Let p = -10 + f. Is p a multiple of 18?
True
Is (-9 - 56/(-4)) + 1*185 a multiple of 32?
False
Let c = -222 - -432. Does 7 divide c?
True
Let t(k) be the third derivative of 11*k**7/5040 + k**6/180 + 7*k**5/60 + k**2. Let o(c) be the third derivative of t(c). Is 15 a factor of o(3)?
False
Let k = 43 + -123. Let w(o) = -o**2 + 6*o + 20. Let u be w(11). Let i = u - k. Is 15 a factor of i?
True
Let u(a) = a**3 - 5*a**2 - a + 3. Let i be u(5). Let o(l) = -l**3 - 2*l**2 + 2*l + 9. Let v be o(-4). Let q = v - i. Is 8 a factor of q?
False
Let k(n) = n**3 + 8*n**2 + n - 23. Suppose 0*u + 6*u + 42 = 0. Is 5 a factor of k(u)?
False
Let y(q) = -4 - 908*q + 4*q**2 - 3*q**2 + 905*q. Is y(10) a multiple of 12?
False
Does 13 divide ((-21)/(315/312))/(1/(-15))?
True
Suppose -1817 = 9*m - 4499. Suppose -2*d + 151 = -0*d + 3*c, 2*c = -4*d + m. Is d a multiple of 12?
False
Let i = 2 - -1. Suppose i*c - 3*u - 1 - 2 = 0, 5*c = -u - 25. Is 14 a factor of c + 37 + 8/2?
False
Let r = -34 - -164. Let a = -60 + r. Is a a multiple of 7?
True
Suppose 2*u = -2*s + 3*s + 124, 4*s - 104 = -2*u. Let f = 110 - u. Does 25 divide f?
True
Suppose -4*x + 4 = 2*n, -4*n - 5*x = -6 - 2. Suppose 2*s = -3*j + 21, n*s + 2*j - 3 = 5*j. Suppose -s*q + 125 = -q. Is q a multiple of 15?
False
Let f(c) = 6*c**2 + 13 + 3 - 5*c**2 - 4. Let s be (-4)/(-8)*(-3 + 3). Is f(s) a multiple of 3?
True
Let n = -16 + 16. Suppose -3*a - 331 = -4*l + 2*a, n = -4*l + 2*a + 322. Let b = l - 37. Does 14 divide b?
True
Let c be 2 + 24 - 12/3. Let r = -18 + c. Suppose -5*a = -r - 66. Does 3 divide a?
False
Let u(h) = h**3 + 9*h + 0 - 7*h**2 - 6 + 0*h**3. Does 4 divide u(6)?
True
Let q(o) = -25*o + 444. Does 37 divide q(0)?
True
Let k(j) = -j**3 + 94. Let n be k(0). Suppose 3*m + 3*o = 441, -m - 2*o + 55 = -n. Does 13 divide m?
False
Suppose 4*d + 20 = 4*t, -4*d + 20 = 5*t - t. Suppose -j + 3*o = -85, d = j - 5*o - 12 - 73. Is j a multiple of 14?
False
Let v = 4 - 1. Suppose y = i + v, 3 = -i - 3*y + 12. Is 8 a factor of 32 + (-1 - -3) + i?
False
Suppose -3*j + 186 = 18. Let m = j - 19. Does 4 divide m?
False
Let o be (-532)/8*(-1 + -7). Suppose -4*w - o = -8*w. Suppose -w - 5 = -3*s. Does 23 divide s?
True
Let o be (-4)/(8/6) + 5. Let m be (-516)/9*(-3)/o. Suppose 14 = -2*l + m. Is 12 a factor of l?
True
Suppose 277 = -2*x + 1425. Is 41 a factor of x?
True
Suppose -4*t = -t - 2*i - 2771, -929 = -t + 2*i. Is 8 a factor of t?
False
Let h(f) = 30*f**2 - 6*f - 3. Let c be h(3). Suppose z = -k + c, 0 = -6*k + 2*k + z + 981. Is k a multiple of 31?
False
Let j be (-42)/98 + 6/14. Suppose j = -2*g + 51 + 27. Is 13 a factor of g?
True
Let o = 171 - 121. Is o a multiple of 3?
False
Suppose -8*i - 17*i + 3900 = 0. Is 24 a factor of i?
False
Suppose -30*q = -14*q - 14512. Is q a multiple of 9?
False
Suppose -4*y - 2*v + 734 = 0, 3*y + 0*v - 549 = -v. Let b = 378 - y. Does 49 divide b?
True
Let d be 5*7/3 - 2/(-6). Suppose 18*j - 504 = d*j. Is 28 a factor of j?
True
Let a(k) = k**2 - 13*k + 38. Let i be a(9). Suppose 5*s + 37 = 3*g, g = 4*g + i*s - 2. Is g even?
True
Suppose 4*m - m = 9. Suppose 12 = -3*s - 5*z + m*z, -s = -5*z - 13. Does 8 divide s/2 - -1 - -21?
False
Suppose 7253 - 17339 = -3*p. Is 82 a factor of p?
True
Suppose -2*f = 5*l - 279, 10*f - 11*f + 4*l + 107 = 0. Does 14 divide f?
False
Suppose -433 = 10*x - 4033. Does 24 divide x?
True
Suppose 3*v + 3 = 4*p, 4*v + 7*p - 27 = 2*p. Suppose o - 198 = v*o. Let y = o - -160. Is y a multiple of 17?
False
Suppose n + 0*n - 2*c - 22 = 0, 99 = 5*n + c. Suppose -n = -4*q - q. Is 46/3*6/q a multiple of 17?
False
Is (-120)/21*4879/(-34) a multiple of 41?
True
Is (-15852)/(-18) - 2/(-9)*-3 a multiple of 20?
True
Let b = 23 - 43. Is 8 a factor of (-147 + -1)*5/b?
False
Let i = -54 + 27. Let q be (-1 - -2)/(9/i). Is 39 + -2 + q + 0 a multiple of 30?
False
Suppose 0 = 5*r - 11*r + 612. Does 17 divide r?
True
Let u(l) = -7*l**3 - 2*l**2 - l. Let a be u(-1). Suppose -5*n + 3*f + 6 = 5*f, 4*f + a = -n. Suppose -m = -n*m + 111. Is 29 a factor of m?
False
Let y(t) = 115*t + 118. Is 61 a factor of y(9)?
False
Let n = -120 + 219. Is n - (8/24)/(1/3) a multiple of 14?
True
Suppose 0 = 12*s - 4000 - 2048. Does 42 divide s?
True
Suppose -3*h + f = 5*f - 374, f = 3*h - 364. Suppose 372 - 80 = 5*r + b, 2*r + 3*b = h. Is r a multiple of 29?
True
Let q(u) = -3*u**3 - 2*u**2 - 17*u - 44. Is 7 a factor of q(-4)?
False
Let a = 715 + -454. Is a a multiple of 12?
False
Suppose 287 = c - 3*t, -4*t = -3*c - 6*t + 872. Is c a multiple of 10?
True
Let b(y) = y**2 - 8*y - 10. Let d be b(-6). Suppose -4*i = -d - 394. Suppose -4*l = r - i, -2*l + 4*r + 33 = -3. Does 10 divide l?
False
Suppose 13*i - 20*i + 658 = 0. Is i a multiple of 8?
False
Suppose 0 = 3*b + 3*b. Suppose -n = 2*p - 194, 0*p + p + 3*n - 102 = b. Is p a multiple of 14?
False
Let p be (2/4)/(3/4824). Does 10 divide p/20 - ((-1)/(-5) + 0)?
True
Suppose -2*j - 2*j = -5*q - 7152, -2*j - 4*q + 3602 = 0. Suppose 8*i - j = -3*i. Is 13 a factor of i?
False
Let m(l) = 55*l**2 - 17*l - 42. Is m(-3) a multiple of 24?
True
Let m = -253 - -562. Is m a multiple of 21?
False
Suppose 12*w - 11*w - 81 = 0. Suppose w + 143 = 2*i. Does 16 divide i?
True
Let z = -17 + 20. Let x be (-1)/((7/z)/(-7)). Suppose 0*v - 153 = -x*v. Does 27 divide v?
False
Let s(p) = p**3 - p**2 - 4*p - 2. Let n be s(5). Let a = n + -157. Is 20 a factor of (0 - a) + 4/4?
True
Suppose 5*v - 1 = s, -4*s + 9*s + v = 21. Let z(j) = j**2 + 2*j - 4. Is z(s) a multiple of 5?
True
Suppose 0 = 29*g + 15*g - 29744. Is 11 a factor of g?
False
Let u(a) = a**3 - 8*a**2 - 14*a + 20. Let t be u(9). Let p = t - -41. Is 4 a factor of p?
True
Suppose 3*c - 129 = 5*v, -70*c = -68*c + 2*v - 70. Does 13 divide c?
False
Let h = 1812 + -1721. Is 4 a factor of h?
False
Let s = -444 + 1104. Is s a multiple of 12?
True
Let t(h) = 2*h + 5. Let u be t(-6). Let f = 2 - u. Let k(d) = d**2 - 6*d - 1. Does 13 divide 