 o?
False
Suppose -g + 230 = 2*z - 6*g, -3*g + 6 = 0. Is z a multiple of 20?
True
Let v = -7 - -33. Suppose 144 = -v*d + 28*d. Is 21 a factor of d?
False
Let g be (28/21)/(4/6). Is (-9255)/(-60) + g/(-8) a multiple of 31?
False
Let w be (9 + -2 - -4) + -2. Suppose -l - w + 2 = 0. Let j(c) = -c**3 - 7*c**2 - 2*c + 4. Is j(l) a multiple of 3?
True
Let y(f) = -13*f + 16. Is y(-25) a multiple of 4?
False
Let x(z) = -z**2 + 17*z + 621. Does 5 divide x(0)?
False
Let q(n) = 2*n**2 - 12*n + 13. Let s be q(8). Is 4 a factor of (-10)/s + (-220)/(-18)?
True
Suppose -1959 = 4*w - 9*w - 3*i, -3*w + 1164 = -2*i. Is 29 a factor of w?
False
Let c be 2/(-6) + (-334)/6. Let o = -17 - c. Is o a multiple of 37?
False
Let o be 68/(28/(-8) - (-6)/2). Let p = -68 - o. Is 18 a factor of p?
False
Let r = -3 - -13. Let v(u) = u**3 - 10*u**2 - 5*u + 14. Let l be v(r). Does 19 divide (-4)/(-6) - 1344/l?
True
Let n = 30 - 23. Suppose -r + 52 = -2*a, -n*r - 3*a + 219 = -3*r. Is 9 a factor of r?
True
Let f be 9/2 + 3/(-6). Suppose 2*h + 5*q - 55 = -2*h, -f*h + 4*q = -28. Does 5 divide h?
True
Let h = 23 - 18. Suppose 32 = 4*g - 2*i - 14, -7 = -g + h*i. Does 6 divide g?
True
Let t = 46 - 41. Suppose a + 116 = t*a. Is a a multiple of 3?
False
Suppose -2*h = 5*f - 1876, 2*f + 3*h - 1103 = -346. Is f a multiple of 17?
True
Let b(c) = -32*c**2 - 30*c - 20. Let i(n) = -21*n**2 - 20*n - 13. Let y(m) = 5*b(m) - 8*i(m). Does 11 divide y(-4)?
False
Let y(k) be the first derivative of k**2/2 - k - 9. Let s be y(0). Does 7 divide -2 + 41 + (s - 0)?
False
Let z = 349 - 104. Is z a multiple of 7?
True
Let o(t) = t**3 + 16*t**2 - 2*t + 4. Let b be o(-16). Suppose 0 = 2*c - 2*y - b - 6, 2*y = -2*c + 22. Does 2 divide c?
True
Suppose -7*l + 14*l = 7. Let p = l - -46. Does 13 divide p?
False
Let u(c) = -c**3 - 10*c**2 - 9*c + 4. Let x be u(-9). Suppose -75 = x*f - f. Let w = -10 - f. Does 5 divide w?
True
Suppose -552 + 604 = t. Is t a multiple of 2?
True
Is 3 a factor of (5 + (-1374)/42)/((-8)/28)?
False
Let y be 2/2*-1 + 4. Let r = y - 6. Is 14 a factor of (-15 - r - 2)*-2?
True
Let d(s) = s**2 + 7*s - 8. Let x be d(-8). Suppose x = -2*c - 5*l + 125, c + 5*l + 125 = 4*c. Suppose -3*q + 34 = -c. Is 14 a factor of q?
True
Suppose -4*z + 210 = -z. Suppose 4*u - z - 66 = 0. Suppose -3*t + 5*g - u = -4*t, -t + 2*g + 69 = 0. Is 14 a factor of t?
False
Let b(h) = -11*h + 405. Is 9 a factor of b(0)?
True
Let s = -22 - -2188. Is 29 a factor of s?
False
Let d = -1 - -4. Suppose -341 = -d*w + 64. Suppose 5*z - 3*q + 8*q = w, -29 = -z + q. Is 28 a factor of z?
True
Does 12 divide (-2 - -456) + -18 - (-1 - 3)?
False
Suppose o - 3 = 48. Let a be (2 + -4)/(2/(-3)). Suppose a*c + 3*h - o = c, 0 = -c + 2*h + 8. Does 18 divide c?
True
Let z = 253 - 116. Does 12 divide z?
False
Let u = 11 + -7. Let a(b) = -b**2 + 6*b - 6. Let g be a(u). Let r(i) = 3*i**2 - 3*i + 3. Does 3 divide r(g)?
True
Let s = -9 + 16. Let b(k) = k**3 - 7*k**2 + k - 6. Let a be b(s). Does 10 divide (0/(-3) + a)*39?
False
Is ((-705)/9 + 3)/(48/(-1080)) a multiple of 22?
False
Is (-21410)/(-26) + (-228)/494 a multiple of 22?
False
Suppose 0 = -4*n - 2 + 14. Suppose -n*a + 309 = 3*b, 5*a + 2*b = 7*b + 485. Does 20 divide a?
True
Suppose -28 + 8 = -4*c. Suppose -39 = -c*s + 46. Does 11 divide s?
False
Suppose 2*p + 4*j = -j - 2161, 5*p + 4*j + 5360 = 0. Does 11 divide (-2)/4 - p/24?
True
Suppose -6*z + j + 1582 = -3*z, -3*z + 1566 = 3*j. Does 13 divide z?
False
Let l(v) = 3*v**2 - 13*v - 18. Let y be l(-7). Suppose -5*b = -0*b - y. Is b a multiple of 10?
False
Let w(r) = r - 2. Let g be w(6). Does 15 divide (g + (-291)/(-6))*2?
True
Suppose 0 = -6*o + 28*o - 3784. Does 7 divide o?
False
Let x = 87 - -281. Suppose 0 = -7*p + p + 1656. Suppose 4*o = 3*a + x, -3*o = -0*a - 4*a - p. Does 13 divide o?
False
Let a(z) = -z**2 + 6*z - 5. Let n be a(5). Does 3 divide n/(-5) + 36 + -1?
False
Suppose 6*s + 2*l = 2*s + 1262, 2*s - 4*l = 616. Is s a multiple of 7?
False
Let w = -5 - -7. Let o = -2 + w. Suppose 4*y - 4*u - 200 = o, 3*y = 2*u - u + 144. Is y a multiple of 10?
False
Let s = 6 - 6. Suppose h + 11 - 31 = s. Suppose -3*j = -116 + h. Does 18 divide j?
False
Does 29 divide 3 + ((-201)/15)/((-1)/185)?
False
Let d be (-4)/(20/8 + -3). Is (-1)/((-33)/d - -4) a multiple of 4?
True
Does 12 divide -4 + (203 - (-2 + -3))?
True
Suppose 14*u = 8*u + 648. Is 18 a factor of u?
True
Suppose 4*b - 4*k = 5000, 0 = 6*k - 2*k - 16. Is 33 a factor of b?
True
Let k = -1269 - -2080. Does 18 divide k?
False
Let j(a) be the second derivative of -2*a - 1/3*a**3 + 0 - 3/2*a**2. Is j(-3) a multiple of 2?
False
Suppose -50 = -3*j + 781. Is 55 a factor of j?
False
Let s(y) = y**3 + 13*y**2 + 2*y + 3. Let h be 10 + -19 - (0 - -1 - 1). Does 39 divide s(h)?
False
Suppose -12 = k + 6. Let i be (-4)/k + 3224/72. Suppose 0 = -3*u + u - 5*t + i, -2*t = 3*u - 51. Is u a multiple of 5?
True
Let a(d) = 21*d**2 - d - 50. Is 16 a factor of a(5)?
False
Suppose -107*i = -117*i + 9100. Is i a multiple of 130?
True
Suppose -4*b = p - 8*b - 2, 0 = -4*p - 2*b - 64. Let h(w) = -7*w - 2. Is 24 a factor of h(p)?
True
Suppose -2*s - 22 = 16. Let p = -26 - s. Does 9 divide (3/6)/(p/(-630))?
True
Is 41 a factor of (-23 - -5)/(-90) - (-15578)/10?
True
Suppose 6*f + 5440 = 23*f. Does 5 divide f?
True
Is 3009/102 - 1/2 a multiple of 5?
False
Suppose 0 = 4*m - 2*y - 1488, -5*m + 3*m - 2*y + 756 = 0. Is m a multiple of 17?
True
Suppose -3*o + 4*h + 323 + 436 = 0, 5*h - 1300 = -5*o. Is 28 a factor of o?
False
Let d = -3 - -7. Suppose d*z + 3*m = 113, 2*m = -3*z + 5*m + 90. Suppose 3*v - 200 = -z. Does 13 divide v?
False
Suppose 22*n = 18*n - 784. Let k = -97 - n. Is k a multiple of 33?
True
Suppose -m - 7 = 13. Let w = 3 - m. Is w a multiple of 8?
False
Let r be ((-56)/(-140))/(1/(-915)). Let c = -194 - r. Is c a multiple of 33?
False
Let q be (2/6 - (-4)/(-12))/(-1). Suppose -5*b + 277 + 73 = q. Is 35 a factor of b?
True
Let f be 1 - (-57)/(1 + -4). Let k = f + 138. Is k a multiple of 24?
True
Let p = -29 + 49. Suppose -14*j = -9*j - p. Suppose j*z = 5*z - 96. Is z a multiple of 17?
False
Let x(z) = 2*z**3 + 2*z**2 + 3*z + 4. Let i be (-3)/3*(-5 - -2). Does 19 divide x(i)?
False
Let q(c) = 3*c**2 + 20*c - 19. Is 3 a factor of q(-9)?
False
Let b be -2*(1 + (-4)/8). Let d be 5*((-116)/20)/b. Let a = d - -75. Is a a multiple of 36?
False
Suppose 4*c - 1576 = -3*l + 1759, l = -c + 1112. Does 59 divide l?
False
Let f(i) = 4*i - 52. Let c be f(10). Does 6 divide (16/5)/(8/c)*-5?
True
Is 7 a factor of (-3984)/(-15) + -4 + 132/30?
True
Let d(b) = 130*b**2 - 2*b + 2. Let t be d(1). Let z = t + -100. Is 3 a factor of z?
True
Let j(v) = 15*v - 38. Is 8 a factor of j(10)?
True
Let t = -350 + 390. Does 20 divide t?
True
Let v = 57 - 109. Let o = 90 + v. Does 7 divide o?
False
Let b(m) = m + 8. Let r be b(-10). Is -4 - (r/1 + -60 + -2) a multiple of 15?
True
Let o = -30 - -18. Does 29 divide (-11 - 1)*(4 + 135/o)?
True
Let z(a) = a**3 + 7*a**2 + 7*a + 9. Let r be z(-6). Is ((-39)/6 - 1)*(-21 - r) a multiple of 15?
True
Suppose -12 - 2 = -m. Let k be (-12)/28 + 34/m. Suppose 0 = k*t - 2*q + 2, 0 = -5*t - 0*q - 4*q + 40. Is 2 a factor of t?
True
Let w(g) = -11*g - 29. Let l be w(-5). Let o = 70 - l. Is 26 a factor of o?
False
Let g(b) = 7*b - 5. Let c(r) = -6*r + 1. Let q be c(-1). Let u be g(q). Does 3 divide 2/11 + 476/u?
False
Is 2 a factor of (-1 - 77)/(-3) - (-28 - -30)?
True
Let i be 2/2 + 411 + 2. Suppose 3*r - 156 = i. Suppose -125 - r = -5*z. Is 22 a factor of z?
False
Is 11 a factor of (-12)/15 - 18516/(-20)?
False
Let g = -2 + 9. Suppose -g*l = -276 - 144. Is 30 a factor of l?
True
Is (4 - (-42)/(-15))/((-1)/(-1345)) a multiple of 15?
False
Suppose 1 = 6*q + 19. Let w(n) = 16*n**2 + 5*n + 2. Is w(q) a multiple of 30?
False
Let l be (-25)/(-3)*(-2 - -5). Suppose -2*n + n + l = -5*c, -4*c = 5*n - 270. Suppose n = 3*b - 58. Is 6 a factor of b?
True
Suppose 0 = 8*l - 0*l + 56. Let o = l - -15. Is 4 a factor of o?
True
Let v(t) = -t + 13. Let k = -16 - -22. Suppose 8 = 2*h - k. Is v(h) a multiple of 6?
True
Suppose -5*f - 6 = 74. Let t be (135/60)/((-6)/f). Suppose 10*u - t*u = 48. Does 12 divide u?
True
Let p = 32 + -16. Is 16 a factor of 11/(1/p*4)?
False
Suppose -15*t = -13*t - 3190. Does 9 divide t?
