d*h - 32. Is 4 a factor of h?
True
Suppose 0 = -3*z - 0*z + 12, 0 = 4*p + 3*z - 28. Suppose h + 8 = -h, p*h = -v. Is v even?
True
Suppose 0 = -26*g + 95*g - 17457. Is 23 a factor of g?
True
Suppose -12 + 4 = -2*b. Suppose -b*p + 849 = 289. Does 14 divide p?
True
Let c(i) = -i**3 + 5*i**2 - 2*i + 4. Let d be c(5). Let s = d - -14. Is 8 a factor of (-2)/4*(-128)/s?
True
Does 12 divide -8*3/6 - (0 - 1482)?
False
Suppose 8*o = 5*o - 12. Let j(r) = -19*r - 10. Is 11 a factor of j(o)?
True
Does 109 divide 18/14 + -1 + (-1529200)/(-560)?
False
Suppose -22556 = -27*c + 2959. Is c a multiple of 7?
True
Let f(q) = -q + 11. Let u be f(6). Suppose 0*v = -u*v + 645. Suppose -3*x = 4*w - v, 0 = -2*w + w - 4*x + 29. Is w a multiple of 11?
True
Is 10 a factor of 42*((-265)/(-15) - 1)?
True
Let j(n) = -6*n - 6. Let c be j(3). Is 25 a factor of c/(-42) - 1263/(-7)?
False
Let c = 32 - 28. Let j(q) = 6*q**2 - q - 5. Let s be j(c). Suppose -i = -2*z - s, -3*z + 0*z - 171 = -2*i. Does 16 divide i?
False
Let a(b) = 33*b**2 + 4*b + 106. Is 4 a factor of a(6)?
False
Suppose -2*x - 1 + 3 = 0. Is ((-6)/12)/(x/(-108)) a multiple of 13?
False
Let q(g) = 3*g + 41. Does 3 divide q(16)?
False
Suppose 3*f = 279 - 18. Is f a multiple of 6?
False
Suppose 4*o - 68 = -4*y, -6*o + o + 5*y = -35. Does 7 divide o?
False
Suppose -27*v = 384 - 12210. Is v a multiple of 15?
False
Let h(q) = 17*q**2 + 11*q + 4. Is h(-3) a multiple of 25?
False
Let n be (-8)/(-24) - 68/6. Does 3 divide (n + 1)*27/(-15)?
True
Let s = -66 + 60. Let y(o) = -o**3 - 5*o**2 - 8. Does 17 divide y(s)?
False
Suppose 0 = 20*j - 3520 - 5580. Is 13 a factor of j?
True
Suppose -5*i + 19 = -146. Let d = 243 + i. Is d a multiple of 46?
True
Is ((-54)/45 - -1) + 4278/15 a multiple of 33?
False
Suppose m = -2*v + 4, -v + 2*v + 5*m = -7. Suppose -v*l = 2*l - 165. Is l a multiple of 33?
True
Let z = 210 - 92. Let g = z + -60. Is g a multiple of 10?
False
Let o be 15/(1 - -2) - 3. Suppose -o*q = q - 6. Suppose 7 = q*y + 3*h, 0*h + 5*h = -5. Is y a multiple of 5?
True
Suppose 0 = -j - 2*b + 5 - 1, j + 3 = 5*b. Suppose 0 = -2*w + 10, -n + w + 30 = 5*w. Let f = n - j. Is 3 a factor of f?
False
Let p be (-6)/(2/6*-3). Suppose -2*s = p*s - 112. Suppose b - s = -3*t - 2, -3*b + 44 = t. Is 15 a factor of b?
True
Suppose 4*g - 438 = g. Suppose 4*q - 28 = -b, 2*b - q = -2*b + g. Is b a multiple of 18?
True
Let d be (21/(-14))/((-3)/(-8)). Is (324/45)/(d/(-10)) a multiple of 6?
True
Let k(n) = 9*n**2 - 7*n - 8. Does 16 divide k(-7)?
False
Let z be (7 - 0)*36/42. Suppose -z*i + 398 + 160 = 0. Suppose 3*g - 102 = i. Does 10 divide g?
False
Suppose -w + 393 = 5*j - 7*j, -w = -4*j - 389. Is w a multiple of 23?
False
Let o be -1 + (-3 - 1 - -92). Suppose 2*s = -3*x + o, 0 = -4*s + 5*x - 43 + 162. Is 7 a factor of s?
False
Suppose 2*n - 162 = -6. Let w = n + -43. Does 5 divide w?
True
Suppose 35*o = 59*o - 99840. Is o a multiple of 24?
False
Let f(g) = g**3 + g**2 + 152. Let a be f(0). Let s be 28/98 + a/7. Suppose -1 = u + 3*t - 3, 0 = 4*u - 2*t - s. Does 2 divide u?
False
Suppose 6*j - 10*u + 15*u = 5539, j - 5*u - 929 = 0. Is 71 a factor of j?
False
Let n be (-2)/(-2)*(2 - -1)*1. Suppose 215 = 4*y - n*x, 3*x + 131 = 3*y - 34. Is y a multiple of 12?
False
Does 5 divide (-70)/(-3) - ((-4)/6 + 0)?
False
Is -1 + (-9)/(-9) + 8*1 a multiple of 4?
True
Suppose -5*u + 5*q + 20 = 0, -2*u + 9 = -5*q - 11. Suppose -5*f + 12 - 2 = u. Suppose -2*j + 306 = 5*v, f*v - j = -v + 177. Does 25 divide v?
False
Let g be (-10)/(-8) + (-1)/4. Let j = -1 - g. Is 5 a factor of ((-9)/(-1) - -3) + j?
True
Suppose 10*q - 2 + 102 = 0. Let o(b) = -b**2 - 17*b - 16. Is 6 a factor of o(q)?
True
Let g be (3 + 7/3)/(2/6). Suppose 0 = -q + g + 16. Does 3 divide q?
False
Let t = -270 - -622. Is 11 a factor of t?
True
Let t(p) = 4*p**2 + 19. Is 5 a factor of t(3)?
True
Suppose 3*u - 352 = -5*r + 4*u, -142 = -2*r + u. Suppose 4*q - 4*m - 84 = -0*m, -4*q = 3*m - r. Is 6 a factor of q?
False
Suppose 0 = -4*s + 2*c + 776, -s + 577 = 2*s - 4*c. Does 39 divide s?
True
Is 18 a factor of ((-22491)/588)/((-6)/416)?
False
Let t(v) be the third derivative of v**3 - 1/120*v**6 - 7/24*v**4 + v**2 + 1/5*v**5 + 0 + 0*v. Does 13 divide t(11)?
False
Suppose -4*u = s - 3717, 5*u + 19*s - 22*s = 4625. Is u a multiple of 3?
False
Suppose 4*p = 17*p - 8827. Is p a multiple of 27?
False
Let n = 395 + 2013. Is n a multiple of 12?
False
Suppose 460 = u + 3*c, 2252 = 5*u + 171*c - 168*c. Is u a multiple of 32?
True
Let f(l) = 7*l**3 + l**2 + 6*l. Let u(s) = 6*s**3 + 2*s**2 + 6*s. Suppose -6 = 5*n + 19. Let b(o) = n*f(o) + 6*u(o). Is b(-4) a multiple of 12?
True
Let m(j) = -9*j**3 - 5*j**2 - 10*j - 25. Is m(-3) a multiple of 16?
False
Let o be (4 - 1)/(42/(-532)). Let x = o - -72. Is 11 a factor of x?
False
Is 2/12*4*24 a multiple of 3?
False
Let u(z) = z**2 - 5*z + 8. Let b be u(4). Suppose 4*g - 3*a = -g + 189, 0 = b*g - a - 147. Does 18 divide g?
True
Let p(y) = -y**3 + 4*y**2 - y + 21. Is p(0) a multiple of 21?
True
Let g(p) = p**2 - 4*p - 6. Let b be g(11). Let w = b - 16. Suppose 0 = 3*s + 2*j - w, 3*s + j - 50 = -0*s. Does 10 divide s?
False
Let a = 13 - -15. Let m(h) = h**3 + 15*h**2 + 13*h - 10. Let i be m(-14). Does 13 divide 253/i - 7/a?
False
Let d(o) = -2*o**2 - o + 13. Let h be d(0). Suppose -p - 5 = 0, 0*l + 4*p = 5*l - 120. Let i = l - h. Is 3 a factor of i?
False
Let q(r) = 2*r**3 + 5*r**2 + r + 19. Does 20 divide q(5)?
False
Suppose -4*l + 297 = -l. Suppose -r - l = 83. Let p = -105 - r. Does 13 divide p?
False
Suppose 2*q - 73 = -5*y + 21, 4*q - 5*y - 248 = 0. Let j = -91 + q. Let l = 66 + j. Is l a multiple of 8?
True
Suppose -5*b = 25, 0*d = -2*d + 5*b + 657. Is d a multiple of 20?
False
Let x(c) = -c**3 + 7*c**2 + 6*c + 16. Let n be x(8). Suppose -5*p + 43 = 2*o, n = 3*o + 5*p + 2 - 79. Does 17 divide o?
True
Is 67 a factor of 10845/27 + ((-20)/15)/(-4)?
True
Suppose -y = 5*y - 30. Suppose 0 = 4*h - 2*h - 3*w - 126, -y*h = w - 332. Is 24 a factor of h?
False
Let u = -4 - -6. Suppose u*b - 246 = -2*p, 0*b + 4*p = 3*b - 348. Is 12 a factor of b?
True
Let q = 43 - 46. Does 18 divide 920/12 + (-1)/q?
False
Is 7600/115 + 4/(-46) a multiple of 22?
True
Suppose -5*i + 2*i + 26 = -4*w, -2*i + 24 = -4*w. Suppose -2*r + y + 361 = 0, -i*r - 5*y - 15 = -394. Is 30 a factor of r?
False
Let x be (0 + -154)*(-5)/10. Suppose 0 = -6*w + w - 3*o + x, -3*w + 5*o = -19. Is 5 a factor of (1 - 1) + w - -2?
True
Let d(k) = -k**3 - 5*k**2 - 6*k - 7. Let x be (13 + -12)*10/(-2). Let h be d(x). Suppose 4*b = 3*p - 21, -3*p + b + h = -7. Is 8 a factor of p?
False
Let p(x) = -4*x**3 - 7*x**2 - 5*x - 4. Suppose d = -2*h - h - 4, -2*d = -3*h + 8. Let b be p(d). Suppose u - 5*u + b = 0. Is 10 a factor of u?
True
Let a be -1 - (-2 + -2 - 3). Let g(t) = t**2 - 7*t + 7. Let f be g(a). Let w(j) = 27*j**3 + j**2 - j. Is w(f) a multiple of 17?
False
Let b be 20/15*(-45)/(-12). Suppose b*r - 381 = -v, -r - 309 = -5*r - 5*v. Let s = -45 + r. Is s a multiple of 31?
True
Let j = 216 - 191. Is 3 a factor of j?
False
Suppose 27*t - 20240 = 4*t. Is 19 a factor of t?
False
Suppose 4*a - 4 = 4. Let h = 47 - -3. Let c = h + a. Is 30 a factor of c?
False
Suppose -861 = 8*u + 611. Let c(d) = -114*d**3 + d**2 - 1. Let z be c(1). Let a = z - u. Is a a multiple of 35?
True
Let l be 1/2*(2 - 4). Does 10 divide 651/9 - l/(-3)?
False
Let w(j) = -5*j**2 - 3 - 7*j + 4*j**2 + 2. Let z be 5 + -4 + (-7 - -3). Is w(z) a multiple of 11?
True
Let c(u) = 82*u - 23. Is c(5) a multiple of 9?
True
Let l(x) = 43*x**2 + 49*x - 30. Is 63 a factor of l(-10)?
True
Does 23 divide (-40)/((5 - 356/116) + -2)?
False
Let l(k) = 45*k**2 + 2*k + 1. Let w be l(-1). Let f(o) = o**3 + 7*o**2 + 4*o - 1. Let b be f(-5). Suppose -q + b = -w. Is q a multiple of 14?
False
Suppose -2*p = -n + 2*n - 5, -2 = p - 4*n. Suppose 0 = -4*g + 4, 0 = -3*c + p*g + g + 147. Is 11 a factor of c?
False
Suppose -8*z + 14 = 158. Is (84/(-10))/(z/(-240)*-4) a multiple of 17?
False
Let x = 181 - 108. Suppose -4*v = -4*p - 96, 0*v - 2*p = -3*v + x. Does 5 divide v?
True
Let k be 54/(-15)*(-5)/2. Let b(j) = -j**3 + 9*j**2 + j - 3. Let f be b(k). Does 4 divide (4/f)/((-2)/(-45))?
False
Let y(m) = 2*m**3 - 6*m**2 - 11*m - 10. Does 20 divide y(6)?
True
Suppose -27 + 95 = 2*z. Let 