 multiple of 17?
True
Suppose 10*t - 3719 + 1249 = 0. Is 45 a factor of t?
False
Let t = 653 - -2067. Is 80 a factor of t?
True
Let r(b) = -b**2 + 1. Let h be r(-2). Suppose -2*n + 120 = -7*n + 4*l, 0 = -5*l. Is (2 - (n - 0)) + h a multiple of 23?
True
Let t = 21 - 21. Suppose t = -3*b + 4*b - 28. Does 6 divide b?
False
Let u = -373 - -399. Is 3 a factor of u?
False
Let t = -18 + 15. Let d(x) = 8*x**2 + x. Is d(t) a multiple of 8?
False
Suppose -t - 29*c + 465 = -25*c, -2*t + 5*c = -878. Is 7 a factor of t?
False
Suppose -5*z - h + 34 = 0, 4*z - 24 = 2*z - 3*h. Suppose 16 - 232 = -z*d. Is 18 a factor of d?
True
Suppose -41*j + 35*j = -2778. Is 50 a factor of j?
False
Let v = 699 - 394. Is 6 a factor of v?
False
Let u(s) = -s + 11. Let p(f) = 3*f**2 + 3*f - 2. Let x be p(1). Let d be u(x). Suppose -294 = -14*k + d*k. Does 7 divide k?
True
Suppose -3*p - 309 = -3*l + 2*l, -2*l - 2*p = -626. Suppose -9*y + 5*y + l = 0. Is 13 a factor of y?
True
Let x = -78 - -83. Suppose 3*z - 20 = 2*k, -4*z + 40 = -4*k - 0*z. Let l = x - k. Is 12 a factor of l?
False
Suppose 2*m + 13 = -15. Is 2/14 + (-264)/m a multiple of 5?
False
Let d be 0*4/(8/(-1)). Suppose 2*h - 7*h + 20 = d. Is (h + -3)/(1/27) a multiple of 27?
True
Let w(h) = 4*h**3 - 118*h**2 - 37*h - 42. Does 8 divide w(30)?
True
Let n = -200 + 220. Does 20 divide n?
True
Suppose 0 = -m + 2, -7*k + 2000 = -2*k - 5*m. Is 67 a factor of k?
True
Let v = 29 + 166. Is v a multiple of 15?
True
Let y(s) = 104*s + 17. Does 12 divide y(1)?
False
Suppose 3*z = -2*h + 3222, 34*z = 5*h + 39*z - 8045. Is h a multiple of 15?
True
Suppose 0 = -t - 3*k - 72, -2*k + 144 = -2*t - k. Let p = -37 - t. Let q = 53 - p. Does 18 divide q?
True
Let b = 580 - -221. Is 16 a factor of b?
False
Let b = 13 + -8. Suppose -b*v - 89 = -464. Suppose -5*k = a + 2*a - v, -a = -k + 7. Is k a multiple of 12?
True
Let r(x) = 10*x**2. Let l(a) = a**3 + a**2 - 2*a + 1. Let p be (2 - 3)*(-1 + 3). Let z be l(p). Does 5 divide r(z)?
True
Suppose 4*c - 18 - 2 = 5*i, i = -4*c + 20. Suppose 5*p - 134 = -19. Let l = p - c. Does 18 divide l?
True
Let l = 42 + 0. Let c = l + 114. Does 26 divide c?
True
Let t(s) = s**2 + 4*s - 2. Suppose -6 - 16 = 2*l. Is 25 a factor of t(l)?
True
Let y(z) = -z**3 - 5*z**2 + 7*z + 12. Let b be y(-8). Suppose -2*c + b = 3*r + 2*c, -3*r + 128 = -c. Is r a multiple of 11?
True
Suppose -71929 = -43*n + 42451. Is 38 a factor of n?
True
Suppose -4 = 2*n + 10. Suppose z + 3*z = -180. Is z/n - 4/(-7) a multiple of 5?
False
Suppose -h + 196 = 3*h. Suppose 5*y + h = 539. Let j = y - 53. Does 9 divide j?
True
Suppose -3*u = -5*x + 2655, -3*u + 7*u = 5*x - 2660. Is 54 a factor of x?
False
Let u(g) = -g**2 + 2*g + 5. Let w be u(0). Suppose w*n - 3 = 7. Let h(z) = 5*z**3 - 3*z**2 + 2*z. Is h(n) a multiple of 10?
False
Let r = 7349 + -4218. Is 104 a factor of r?
False
Let h = -932 + 1097. Is h a multiple of 21?
False
Suppose 4*o + 0*o = 76. Let s = 17 - o. Is 12 a factor of -7 + 8 - 46/s?
True
Let h = 272 + -242. Is 2 a factor of h?
True
Is (-45)/(3*4/(-48)) a multiple of 10?
True
Suppose -3*y = -3*a - 1938, 0 = -4*y - 5*a + 4420 - 1809. Is y a multiple of 17?
False
Suppose -m - 18 = 3*f + 2*m, f - 5*m = -6. Is 3 a factor of (-10 - -1)*2/f?
True
Let d = 23 - 21. Is (-24)/16 + 267/d a multiple of 22?
True
Let o(c) be the second derivative of 5*c**4/12 + 5*c**3/6 + 5*c**2/2 + 20*c. Is 3 a factor of o(-2)?
True
Is 12 a factor of (14 + 1066/39)*(29 + -2)?
True
Let q(m) = 3*m**2 + 29*m + 108. Is 34 a factor of q(-13)?
True
Let o(i) = -i - 2. Let m be o(-2). Suppose -u - 1 + 7 = m. Let b = 54 + u. Is b a multiple of 10?
True
Suppose -3*u + 2*f = -5 - 17, u - f = 9. Suppose -2*z = 3*n - 2 - 7, n = u*z + 17. Does 3 divide n?
False
Let y be 2/6 - (3 - (-30)/9). Does 28 divide ((-16)/y)/(28/966)?
False
Let a be (-66)/(-18) - 1/(-3). Suppose 5*o - 240 = -w, -a*o - 2*w + 213 = 3*w. Does 8 divide o?
False
Let c be ((-1)/(-2))/(1/(-12)). Let z be (-124)/6 + 2/c. Let f = 57 + z. Does 12 divide f?
True
Let a = -12 - -13. Let f(h) = h**2 + 5 - 5*h**3 - 3 - a - 2*h. Is 21 a factor of f(-2)?
False
Let b(j) = j**3 + 5*j**2 + 13*j - 2. Does 6 divide b(4)?
False
Let j(f) = -f**3 + 12*f**2 + 15*f - 1. Let n be j(13). Suppose 2*q + n = 267. Is 11 a factor of q?
True
Let c = 857 + -813. Is 44 a factor of c?
True
Let j(u) be the second derivative of 4*u**3/3 - 17*u**2 + 13*u. Is 11 a factor of j(7)?
True
Let l be (-2 + 5/3)*-12. Suppose -l*d + 20 = d. Suppose 0 = -d*h - 2*x + 223 - 45, 31 = h + 5*x. Does 12 divide h?
False
Let z(o) = o**2 - 13*o - 11. Let p be z(14). Suppose -p*x = 2*v, -2*x - x = v. Is 11 a factor of -8 + 6 - (-35 + x)?
True
Suppose 5*q = -i + 311, 3*i + 5*q = i + 632. Let r = -140 + i. Is r a multiple of 18?
False
Let l = -13 - -13. Suppose l = x - 13 - 3. Suppose -3*k + x = -26. Is 3 a factor of k?
False
Let v(g) = g**2 - 4*g - 2. Let h be v(4). Let n = h - -16. Let j = n + 19. Is 10 a factor of j?
False
Let s be 1*2/(-2) + 106 + 0. Suppose s = 5*v + t, t = -v - 7 + 28. Is 2 a factor of v?
False
Let t(v) be the third derivative of -7*v**6/60 - v**3/6 - 8*v**2. Is 14 a factor of t(-2)?
False
Suppose y - 29 = -38. Let r(b) be the first derivative of b**4/4 + 3*b**3 - b**2/2 + 8*b - 1. Does 11 divide r(y)?
False
Suppose -12 = 4*a, -3*l + 2*a + 9 = a. Suppose l*t = 105 + 61. Suppose -5*h - t = -333. Does 10 divide h?
True
Suppose 6 = -3*l + 18, 0 = 3*x + 2*l + 364. Let c = 146 + x. Is c a multiple of 11?
True
Suppose 8*z = -4 - 36. Let a(b) = -4*b**2 - 3 - b**3 - 3 + 4. Does 23 divide a(z)?
True
Let o(f) = -f**2 - 25. Let i be o(0). Let c be 1/(-5) - 2805/i. Suppose -13 + c = a. Does 21 divide a?
False
Let k(d) = 2*d + 106. Let o be k(-27). Suppose x - 12 = -x. Suppose -o = -x*h + 44. Is 16 a factor of h?
True
Let g(y) = -5*y**3 - 9*y**2 + 4*y + 1. Let n(a) = 2*a + 18. Let b be n(-11). Is 40 a factor of g(b)?
False
Suppose 3*q + 212 = -4*k, 3*k - 8*q + 3*q + 188 = 0. Does 3 divide k/(-10)*(-10)/(-4)?
False
Let z(y) = y**2 - 14*y - 14. Let n be z(12). Let i be n/14 + (-2)/7. Is 4 a factor of (-52)/i*(-12)/(-8)?
False
Let a be 4*4/40*60. Let r = 21 + a. Does 5 divide r?
True
Let r = 602 - 385. Is r a multiple of 31?
True
Suppose 6*t = 22 + 14. Let s(c) = -c**3 + 6*c**2 + 9*c - 14. Is s(t) a multiple of 10?
True
Let p be (-3 - 5)*(-1)/2. Suppose -w - p*w = -1480. Let l = -167 + w. Is l a multiple of 25?
False
Let c = 13 + -77. Let r = c - -107. Is 11 a factor of r?
False
Suppose -15 = -2*p - 189. Let w = p + 164. Is 18 a factor of w?
False
Let j(y) = 2*y + 10. Let z be j(-3). Let g(m) = 17*m - 25. Does 13 divide g(z)?
False
Let j(q) = q**3 - 7*q**2 + 8*q + 2. Let l be j(6). Let n be (-4)/l + (-2172)/42. Let f = 112 + n. Does 20 divide f?
True
Suppose 0 = 25*m - 64*m + 76557. Does 13 divide m?
True
Let s be 4 - (9/(-3) + 3). Suppose -s*x - 333 = -7*x. Suppose 3*t + 3*u + 0*u = x, 2*u = 3*t - 101. Does 9 divide t?
False
Let s = -51 + 53. Is 3 a factor of -1 + 12 - (3 - (s - -3))?
False
Let r(a) = 35*a - 7. Let l be r(3). Suppose -l = -3*v + 37. Is v a multiple of 15?
True
Suppose 2*n + 5520 = 12*n. Is n a multiple of 23?
True
Let x(w) be the first derivative of -w**4/4 - 8*w**3/3 - 3*w**2 + 7*w + 6. Let d be x(-7). Suppose d = 5*a - 6 + 1, -a = -o + 7. Is o a multiple of 8?
True
Let t(k) = -2*k**2 - 19*k - 7. Let h be t(-8). Suppose -2*o + 13 = 3*l, 0 = -5*o + 5*l - 10 + 55. Let m = h + o. Is m a multiple of 9?
False
Is 13 a factor of -5 + (-40)/(-4) - -409?
False
Suppose t + 4*d = 3*d + 365, -4*t + 1462 = 2*d. Suppose 5*m - 3*p = -5*p + 636, -3*m + 4*p + t = 0. Does 9 divide m?
True
Let b = 2 + 2. Suppose 2*i = 6*i. Suppose b*l = -i*l + 140. Is 25 a factor of l?
False
Let g be 200/(-16)*(-2)/5. Suppose 2*y - 5*y = 5*c - 339, g*y - 537 = c. Is y a multiple of 9?
True
Suppose -6*t - 1744 = -2800. Is 2 a factor of t?
True
Suppose 4*m - 3*m = 5*o - 92, -13 = -o + 2*m. Is o a multiple of 4?
False
Let n(u) = -4*u + 6. Let v(h) = -h - 1. Let g(q) = 2*n(q) + 20*v(q). Let d = -368 - -366. Is 16 a factor of g(d)?
True
Let w = -36 - -6. Let z = 124 + w. Is z a multiple of 23?
False
Let y = -497 - -300. Let q = y + 104. Let v = -63 - q. Does 15 divide v?
True
Suppose 0 = -h - 3*h + 44. Let t = -54 + 37. Let q = h - t. Is 14 a factor of q?
True
Suppose 14