
True
Let t(s) = -95*s. Suppose -25*h + 2*h - 46 = 0. Does 5 divide t(h)?
True
Let c = -14026 - -17200. Is c a multiple of 6?
True
Suppose 0 = -5*g, 4*q - 5*g - 62 - 3826 = 0. Let p = q - 675. Is 10 a factor of p?
False
Is 76 a factor of (29/(87/34146))/(0 - (-6)/9)?
False
Is -29*(-3351)/93 + (-48)/(-744) a multiple of 63?
False
Let x = -483 - -761. Suppose -4*v + x = -370. Does 46 divide v?
False
Is (-2 + 22)*-369*(387/(-54) + 7) a multiple of 10?
True
Let a = 10 - 136. Let k be 1*(-1)/((-3)/a) + 2. Let m = k - -105. Does 31 divide m?
False
Let q = 101 - -130. Is 3 a factor of q?
True
Let o(p) = -4*p**3 + p**2 + 32*p - 183. Is 21 a factor of o(-19)?
True
Let n be (-4)/(-14) + (-276)/(-14). Suppose 0 = s - 16 - n. Suppose -4*w + s = -2*w. Is w a multiple of 6?
True
Suppose -2*d = 4*h - 15976, 0*d + h = -5*d + 39994. Does 25 divide d?
True
Let p = -72 + 76. Suppose 0 = q - 2*q - r + 253, -p*r - 238 = -q. Suppose -d - d + 3*t + 100 = 0, -q = -5*d + t. Is d a multiple of 5?
True
Suppose 3*q = -7 + 7. Suppose q = -t - 17*t + 8262. Does 60 divide t?
False
Suppose 9*a - 4706 = 7840. Does 34 divide a?
True
Let w(i) = -10*i**2 - 6*i + 20. Let u(r) = -2*r**2 - r + 4. Let x(y) = -11*u(y) + 2*w(y). Is x(10) a multiple of 23?
False
Suppose 13 = -6*k + 43. Suppose -6*v = -k*v - 6. Is 8 a factor of ((-1)/1)/(v - (-2885)/(-480))?
True
Let s(y) = y**2 + 15*y + 29. Let w be s(-13). Suppose -5*x - 2*g + 515 = g, 412 = 4*x + w*g. Suppose -5*n + m + x = -2*m, 2*n - m = 42. Is n a multiple of 23?
True
Let p(f) = f - 15. Let z(o) = -2*o + 15. Let n(h) = -3*p(h) - 2*z(h). Let u be n(-14). Suppose 0*l - 3*l + 212 = 5*a, l + u = 0. Is 11 a factor of a?
False
Suppose 0 = 107*i + 5*i - 58912. Is 3 a factor of i?
False
Let u(z) be the third derivative of z**5/60 + z**4/6 + 5*z**3/6 - 12*z**2. Let n be u(-4). Suppose 0*o - 14 = o - n*x, 0 = -4*x + 16. Is o even?
True
Suppose -13 - 27 = 10*r. Let z be (16/r + 1)*(1 + 164). Is (z/20)/((-14)/(-8) - 2) a multiple of 33?
True
Let k = -171 - -206. Let z = 54 + k. Is 9 a factor of z?
False
Suppose 3*i = 6 + 6, v + 2*i = 482. Suppose 2*q + m = v, 6*m - 2*m = 3*q - 722. Does 14 divide q?
True
Let b(i) = i**2 - 15 - 4*i**2 + 9. Let n be b(-4). Let u = 97 + n. Is u a multiple of 8?
False
Let j(b) = -285*b - 1054. Is 2 a factor of j(-4)?
True
Is 33/(-88)*-4*1468 a multiple of 14?
False
Let d be (-5)/((-6)/3*1/(-2)). Let g be (d/(-4))/((-4)/(-16)). Suppose 49 = -4*x + g*x. Is 6 a factor of x?
False
Let i(g) = -4*g - 19. Suppose -2*q + 2*h - 7 = 13, 3*h + 6 = -3*q. Let t be i(q). Suppose 2*d - 71 + 11 = t*n, 3*n = d - 32. Is d a multiple of 6?
False
Let d be (1 + (-2)/(-6))*(-42)/(-4). Suppose -d*y + 65 = -9*y. Let p = 20 + y. Is 8 a factor of p?
False
Let q(h) = -h**3 - 15*h**2 - 11*h - 172. Let r be q(-17). Let l = -458 + r. Is 2 a factor of l?
False
Let u(o) = -285*o - 7. Let k be u(-11). Suppose -6*r = -29*r + k. Is r a multiple of 17?
True
Let n be (-4)/(4*5/(-25)). Let z be (-18)/30 + 373/n. Let t = z - -10. Is t a multiple of 26?
False
Let l = -8440 + 9279. Does 14 divide l?
False
Let l(n) = -5821*n + 511. Does 133 divide l(-4)?
False
Let x(y) be the third derivative of 17/6*y**3 + 0*y - 3 + 1/60*y**5 - 18*y**2 - 1/6*y**4. Is 5 a factor of x(10)?
False
Let q(z) = 25*z**2 - 126*z - 1059. Is q(-9) a multiple of 14?
True
Let h(z) be the third derivative of -z**4/3 - z**3 + 10*z**2. Let i be h(-1). Suppose i*y - 338 = -5*m + 3*y, 4*m = 4*y + 280. Does 20 divide m?
False
Let z(u) = -u**3 + 8*u**2 + 7*u + 1. Let m be z(9). Let n(q) = 13*q + 9. Let d be n(4). Let r = m + d. Is r a multiple of 22?
True
Let s = 53 + -49. Suppose -s*q + 176 = -2*q. Does 17 divide (-2 - q/(-14))*(-7)/(-1)?
False
Let y be (0 + 6 - 0)/(-2) + -48. Let c = y + 58. Let m(l) = 16*l + 8. Is m(c) a multiple of 8?
True
Does 168 divide 1*-17742*(5/4 - (-19)/(-12))?
False
Let f(s) = 385*s**3 - 9*s**2 + 37*s - 31. Is f(2) a multiple of 23?
False
Let z = 70 - 72. Is 30 a factor of ((-216)/135)/(z/715)?
False
Suppose 20*c + 26 = 22*c + 4*m, c + 4*m - 15 = 0. Let b(x) = 2*x**2 + 6*x - 61. Does 13 divide b(c)?
True
Let y = -16050 + 22797. Is y a multiple of 39?
True
Let d(b) be the first derivative of b**4/4 - 14*b**3/3 - b**2/2 + 14*b + 10. Let g be d(14). Suppose g = o - s - 16, 3*o + s + s - 33 = 0. Does 9 divide o?
False
Suppose 32*u + 42*u + 28*u = 1426878. Is 9 a factor of u?
False
Suppose 5*n - 4*x - 102 = 0, 15 = 5*x + 5. Let a = n - 16. Does 8 divide 2*a/(-8)*782/(-17)?
False
Suppose -2*y - 13 = -3*o, 0*y = -o + y + 4. Let j(g) = g**3 - 2*g**2 - 4*g + 4. Let q be j(o). Let l = q + -41. Is l even?
True
Suppose 0 = 5*o - 28 - 7. Is 66 - o/(7/6) a multiple of 12?
True
Let y(h) = 3*h**3 + 43*h**2 + 7*h - 85. Let m(q) = -q**3 - 21*q**2 - 4*q + 43. Let j(t) = 5*m(t) + 2*y(t). Does 7 divide j(20)?
False
Let n = 125 - 120. Suppose -5*y = n*x - 2*y + 67, 3*x - 2*y = -25. Let z(w) = -w**2 - 23*w. Is z(x) a multiple of 12?
True
Let l = 12740 - 8612. Suppose 11*y - 17*y - l = 0. Let m = -453 - y. Does 47 divide m?
True
Suppose 5*i + 151*i = -87*i + 5528979. Is i a multiple of 140?
False
Let k be (-80)/(8/(-2)) + 1. Let q(z) = 2*z**2 - 22*z - 9. Let o be q(k). Let r = o - 263. Does 19 divide r?
False
Let k = 9647 + -6451. Suppose 3*o + o + 4*y = k, -5*o + 3987 = y. Is o a multiple of 101?
False
Suppose 5*t = -6*p + 25230, 0 = -4*t + 2*p + 20631 - 481. Is 21 a factor of t?
True
Let m be 732/(-8)*(-30)/9. Let q = m - 68. Let t = q + 59. Does 37 divide t?
True
Let q(n) = -22*n + 9. Let g(d) = 2*d - 1. Let m(o) = -15*g(o) - 3*q(o). Let w(l) = l + 5. Let x be w(0). Does 24 divide m(x)?
True
Let x = -6117 - -6115. Let q = -2 + 6. Is 17 a factor of 298/(q - 4 - x)?
False
Does 22 divide (-5 - -10) + -8 + 7405/((-50)/(-10))?
False
Let i(y) = -17*y - 311. Let u = -742 + 716. Is i(u) a multiple of 8?
False
Let l(g) = -3*g**2 - 16*g - 134. Let z be l(-9). Let h = 495 + z. Is h a multiple of 22?
False
Let w(k) = k**2. Let v(t) = t**2 - 12*t + 30. Let d(y) = -v(y) + 2*w(y). Is 9 a factor of d(6)?
False
Let r(f) = -24*f**2 + 6*f**3 + 46 - 8*f**3 + f**3 + 76*f - 25*f. Is r(-26) a multiple of 4?
True
Suppose 0 = -15*w + 16 + 14. Suppose 3*f = u - 126, -w = 3*f - 14. Does 6 divide u?
True
Let b be (-2)/(-5) + (-36)/15. Let j(i) = -10*i + 7. Let s(v) = -2. Let w(z) = 4*j(z) + 12*s(z). Is 17 a factor of w(b)?
False
Suppose -30 = -3*o + 6. Suppose -o = 6*w - 186. Let l = w + 59. Is l a multiple of 8?
True
Let q(w) = -w**3 - 7*w**2 + 12*w + 12. Let c be q(-9). Suppose 6*s - c = -54. Suppose 4*x - 9*x + 4*i + 663 = 0, -s*i = -5*x + 669. Is x a multiple of 8?
False
Let r = 5980 - 5253. Is r even?
False
Suppose -3*j = -4*s - 21, 5*s - 6*s + 4*j - 2 = 0. Does 8 divide -4 + s/(-1) + (-37 - -43)?
True
Let z(s) = s**2 - 4*s - 8. Let g be z(6). Suppose -g*l + 1120 = 8*k - 4*k, -5*k = -2*l + 595. Is l a multiple of 19?
True
Suppose 0*k - 3*k - 4 = -5*c, 0 = 2*k - 3*c + 2. Suppose 24*i - 22*i = -k. Is i/(8/2376)*(-4)/6 a multiple of 16?
False
Suppose -2*y = -4*c - 3*y + 111445, 3*c + 3*y = 83595. Does 20 divide c?
True
Let u(n) = 2*n**2 + 3*n - 42. Let s(d) = d**3 + 2*d**2 + d + 5. Let q be s(-3). Is 10 a factor of u(q)?
False
Let w = 32674 + -20434. Is w a multiple of 170?
True
Suppose -s = -0*s - 2*o + 4, 0 = -3*o + 9. Suppose 3*g - 5*a - 345 = 0, -16*a = s*g - 13*a - 211. Is g a multiple of 18?
False
Suppose r - 1917 = a - 5680, -5*r = -a + 3771. Does 46 divide a?
False
Suppose 22*t + 22*t - 582660 = -t. Is t a multiple of 156?
True
Suppose -2*j - 3 + 5 = 0, j = 4*z - 75. Suppose -22*m = -z*m + 6. Is (127 + (1 - 0) - -1) + m a multiple of 22?
False
Let s = -8830 + 49662. Is s a multiple of 66?
False
Let r(v) be the first derivative of 108*v**2 + 8*v + 3. Suppose 0*h + 2*a + 13 = 5*h, 0 = 3*a + 12. Is 32 a factor of r(h)?
True
Suppose 8*x - 22 = 4*x - 3*l, -2*l - 12 = -4*x. Is ((224/(-6))/(-4))/(x/6) a multiple of 2?
True
Let c(z) = -z**3 - 28*z**2 + 30*z - 82. Let f be c(-29). Let s = f - -225. Is 15 a factor of s?
False
Let a(n) = n**3 + 6*n**2 - 12*n + 2. Let r(y) = 3*y - 28. Let f be r(11). Suppose 0 = z - 5*d + 32, 4 - 22 = -z - f*d. Does 8 divide a(z)?
False
Suppose -h + 5*u - 510 = -8469, 3*u = 4*h - 31734. Is h a multiple of 55?
False
Let n(a) = a**2 - 7*a + 0*a + 6 + 4*a**3 - 3*a**3 - 7*a. I