
Let d be (11 + -16)/(1/3). Let i = -12 - d. Suppose 2*j - i*w = 255, 106 = -3*j - w + 461. Is 24 a factor of j?
True
Let t(c) = 3*c - 13. Let a be t(5). Is 703/a - (1 - -5)/12 a multiple of 21?
False
Let f = -37 - -39. Suppose 2 = f*k - 4*k, i + 4*k - 4 = 0. Suppose i*a + 24 = 11*a. Is 4 a factor of a?
True
Let v = -9 - -22. Suppose -v = -2*b - 5*q, b - 4*q - q - 14 = 0. Let m(o) = 5*o - 27. Is m(b) even?
True
Let p(z) = -z**2. Let n(y) = 30*y**2 - 4*y - 7. Let a(d) = n(d) - p(d). Let o(h) = h**3 - 8*h**2 + 19*h - 86. Let x be o(7). Does 15 divide a(x)?
False
Let y be (9/12 - 0) + (-12808)/(-32). Suppose 394*f + 1442 = y*f. Does 9 divide f?
False
Let n be 8*(-13)/208*(-2479 + -1). Suppose 17*a + n = 19*a. Does 41 divide a?
False
Let b(p) be the first derivative of -3*p**2/2 + 29*p + 10. Let l be b(8). Suppose l*q = q + 492. Is 25 a factor of q?
False
Suppose 4*p - 3*x - 14 = -0*x, x - 4 = -3*p. Let d(w) = -9*w - 57. Let a(g) = 5*g + 29. Let v(m) = p*d(m) + 5*a(m). Does 8 divide v(7)?
True
Let j be -11 - -6*(-5)/(-10). Let c(h) = 6*h**2 - 10*h - 9. Let k be c(j). Suppose -6*p + k = p. Is p a multiple of 13?
True
Let k(v) = -v**2 + 3*v + 198. Let t be (-1 + (-5 - -6))*1/2. Let s be k(t). Suppose -2 - s = -4*d. Does 9 divide d?
False
Suppose 3*d = b - 9 - 3, 2*b + 3*d + 12 = 0. Suppose 2*h - 2*l - 32 = b, 2*h + 2*l - l = 41. Suppose -h = -k + 93. Is 14 a factor of k?
True
Let j = 1290 + -1204. Is j a multiple of 5?
False
Suppose -u + 18 = -0*h - 2*h, 3*h = -5*u - 27. Let v(z) = z**3 + 9*z**2 - z + 11. Let o be v(h). Let b(p) = -p**2 + 22*p + 6. Is 23 a factor of b(o)?
True
Let a(f) = 104*f - 1319. Is 56 a factor of a(60)?
False
Let w = 64 - 67. Let c be (0/(w/(-1)))/4. Suppose c*t - 144 = -t - 4*k, 0 = 2*k. Does 24 divide t?
True
Let x(h) = -196*h - 289. Is x(-3) a multiple of 6?
False
Suppose -9627 - 54086 - 28528 = -37*w. Is w a multiple of 28?
False
Suppose -66 + 82 = g + 4*q, -3*g + 4*q = 0. Suppose 0 = 4*s + 2*j - 2132, 5*j + 1586 = 7*s - g*s. Is 7 a factor of s?
True
Let u(x) = -5*x**3 + 15*x**2 - 7. Let b be u(7). Let h = -824 - b. Is 7 a factor of h?
False
Suppose 4*j + 12883 = 3*v, -5*j + 7901 = 2*v - 726. Is 13 a factor of v?
False
Let k(s) = 10*s**2 - 62*s - 42. Is k(39) a multiple of 30?
True
Suppose -627 = -14*c + 7787. Let p = c - 73. Does 13 divide p?
False
Let r(a) = 5*a**2 - 9*a - 15. Let q(b) = -3*b**2 + 4*b + 10. Let h(x) = 8*q(x) + 5*r(x). Let l(n) = 5*n**2 + 3*n + 1. Let g be l(-2). Does 7 divide h(g)?
True
Does 102 divide 3*(-11 - (-471)/15)*150?
True
Suppose 0*d = -m - 4*d + 11256, 11214 = m - 3*d. Is 27 a factor of m?
True
Let r = 1510 - -3330. Is r a multiple of 43?
False
Let g = -198 + 184. Does 19 divide (-210)/g*171/3?
True
Suppose 3*k = o - 8951, 61120 = 5*o + k + 16333. Does 169 divide o?
True
Let r(j) = 3*j**2 + 43 - 44 - 9*j - 4*j**2. Let l be r(-9). Let w(i) = 109*i**2 - 3*i. Is w(l) a multiple of 28?
True
Suppose -15*m + 697 = -8618. Suppose 3*d - 32*a + 29*a = m, 0 = 5*d - a - 1039. Is 16 a factor of d?
True
Let d be (2 - (-1 + -82))*32/20. Suppose d*x = 144*x - 6872. Does 12 divide x?
False
Let q(p) = -2*p**2 + 2*p**2 + 18 + 28*p + 2*p**2. Let x be q(-17). Let b = 220 - x. Is 25 a factor of b?
True
Suppose 0 = 1352*s - 661*s - 659*s - 1211712. Does 31 divide s?
False
Let d(f) be the second derivative of -f**4/12 - 7*f**3/3 - 37*f**2/2 + 9*f. Let m be d(-9). Suppose m*k - 684 = -k. Does 32 divide k?
False
Suppose -p + 2*p = -6. Let d(o) = 8*o**2 + 18*o**2 - 18*o + 13*o**2 - 14 - 40*o**2. Is d(p) a multiple of 10?
False
Let z(o) = -2 + 8*o - 10*o + 0*o. Let r be z(-2). Does 4 divide 468/9 + r + 10/(-2)?
False
Suppose 0 = 81*x - 90*x + 1080. Suppose 0 = 8*b - 192 + x. Is 9 a factor of b?
True
Suppose 36*h = 76*h - 238080. Is h a multiple of 6?
True
Is -1 - 6 - ((294/(-3))/(-14) - 10001) a multiple of 22?
False
Suppose -5*o = 2*y - 1269 - 89, 0 = -5*o - 30. Is y a multiple of 6?
False
Suppose 2*t - 4922 = -1258. Let u be (-12)/(-54) + t/18. Suppose 4*l - u = -34. Is 10 a factor of l?
False
Suppose 4*z = 2*j - z - 2730, 0 = -j - 2*z + 1338. Is 3 a factor of j?
True
Let r be 16/5*(-150)/60. Does 24 divide (-9450)/(-78) - r/(-52)?
False
Let j(p) = p**2 + 13*p + 2. Let x be (30/(-4))/(-4*(-6)/48). Let v be j(x). Suppose 4*z = 5*y + v, -6*y - 8 = -4*y. Is z a multiple of 3?
True
Let q = 61 - 61. Let w(t) = -4*t + 6. Let j be w(q). Suppose j*n - 185 = 1. Is 20 a factor of n?
False
Let h be 450/(-60) - 2/4. Let i(m) = m**2 - 20*m - 5. Is i(h) a multiple of 3?
True
Suppose -6 - 2 = -3*p - 2*q, 2*q - 4 = -p. Let i be (p - -2)*(-12)/(-16). Let y = i + 27. Is y a multiple of 18?
False
Let r(x) = -3432*x - 681. Is 14 a factor of r(-3)?
False
Let w be (-4)/(-10) - (-3)/5. Let g be 7/(-1) - (7 + w)/(-2). Is 10 a factor of g/(15/(-5)) + 27?
False
Let n(p) = -52*p - 1794. Does 26 divide n(-45)?
True
Suppose -12*m - 24 = -20*m. Let a(f) = 5*f**2 - 12*f + 18. Does 4 divide a(m)?
False
Let c be 4/(-2)*4/8 + 3. Suppose c*b - 75 = -5*g, 0*b - 2*g = 4*b - 190. Suppose 48*o = b*o - 38. Is 11 a factor of o?
False
Suppose 3*q = -6, -5*y - 2*q - 12188 = 6476. Does 11 divide 16/88 - (y/44 + -3)?
True
Let g(v) = v**2 + 3*v**2 + 6 - 18*v - 71. Is g(-15) a multiple of 40?
False
Let w be (-55)/(-22) + (-1)/(-2). Let d be (-3)/(w + 222/(-75)). Let f = 115 + d. Is 10 a factor of f?
True
Suppose 0 = -j - 5*i + 2167, 4370 = -88*j + 90*j + i. Is j a multiple of 14?
False
Let l(o) = 18*o**3 + 3*o**2 - 6*o + 3. Let h be l(2). Suppose h = -x + 4*x. Does 7 divide x?
True
Let l = -11798 + 16816. Is l a multiple of 26?
True
Let s(b) = 315*b**2 - 73*b - 348. Is s(-4) a multiple of 42?
False
Let t = 1927 + -1016. Suppose 4*n - 3*y - t = 1707, -y - 1308 = -2*n. Is n a multiple of 35?
False
Let j(c) = 11*c - 130. Let d be j(12). Suppose -4*s - 3*b + 8*b = -382, -d*s + 200 = 2*b. Is s a multiple of 9?
False
Let i be (0 + 3)*(-4)/(-6). Let y be (2/2)/i*-996. Let j = y + 778. Is j a multiple of 40?
True
Let w(r) = 22*r**2 + 12*r - 127. Is w(8) a multiple of 17?
True
Suppose g + w = 1280, -w - 5116 = -4*g - 3*w. Is g a multiple of 18?
True
Let r(d) = -55*d**3 - 87*d**2 - 267*d + 5. Does 13 divide r(-3)?
True
Let d(r) be the first derivative of r**4/6 - 7*r**2/2 - 11. Let a(t) be the second derivative of d(t). Is 8 a factor of a(6)?
True
Suppose 3*g - y + 670 = 8*g, -5*g - 2*y = -665. Let l = -124 + g. Is 6 a factor of l?
False
Let x = -6140 + 6809. Is 2 a factor of x?
False
Let g(w) = -72*w + 9. Let m be g(-10). Let j = -401 + m. Is j a multiple of 11?
False
Is 3*-2*(-62)/248*(3601 - 1) a multiple of 30?
True
Suppose 3*x - 2196 = -5*u + 1466, -4*u - 8 = 0. Is 18 a factor of x?
True
Suppose -13*h + 11*h + 10 = 0. Suppose 83 + 342 = h*k. Let x = -40 + k. Is 9 a factor of x?
True
Let b(p) = 209*p**2 + 8*p + 9. Let z be b(-1). Suppose -4*x - 3*j = -269, z + 65 = 4*x + 5*j. Suppose -3*f + 75 = -n + 3*n, -5*f = 2*n - x. Does 9 divide n?
True
Let i(m) = 50*m**2 - 86*m + 369. Does 11 divide i(4)?
True
Let u(l) = -52*l + 32*l - 229 + 132. Is u(-32) a multiple of 17?
False
Suppose -11*l = -19*l - 72. Does 4 divide -3 + 165/l*-3?
True
Let x(r) = 38*r**2 - 4*r + 47. Let a be x(3). Suppose -4*l + 2891 + 3193 = 0. Suppose -11*c - a = -l. Does 26 divide c?
True
Let b = 10699 + -6403. Suppose 7*h = b + 744. Is h a multiple of 30?
True
Suppose -51 = -4*s + 69. Suppose 2*j + s = -3*j. Let g(z) = z**2 + 8*z + 14. Is 2 a factor of g(j)?
True
Suppose 9 = 5*v + m, v + 3*m = -m - 2. Let r = 0 + v. Suppose 144 = -r*c + 4*c. Does 18 divide c?
True
Suppose 57 = -14*m + 12*m + 3*w, -5*w = 2*m + 49. Let s = m + 117. Is s a multiple of 65?
False
Suppose 5*b = 5*d + 8*b - 295, 0 = -5*d + b + 295. Let u = d + 121. Suppose -u = -v - v. Is 6 a factor of v?
True
Suppose -5*s + 10 = -0. Suppose m - 503 = s*f, -5*m + 992 = -3*m + 3*f. Is m a multiple of 63?
False
Suppose 3*a + 120 = 2*a. Let u = -4151 + 4280. Let v = u + a. Is v a multiple of 4?
False
Is 43/(3870/12) - 44938/(-15) a multiple of 14?
True
Is 2673975/60 + -3*2/24 a multiple of 25?
False
Suppose w + w + 5*g = 38, -4*w = -5*g - 16. Is 57 a factor of (378/w - 4)*6/4?
True
Let q(d) = -4556*d + 136. Is 68 a factor of q(-2)?
True
Let d(s) = 2*s**3 - 4*s**2 + 2*s. Let w be d(1). Let u = w - 2. Is 33 a factor of 345/6*(-6)/(u + -1)?
Fals