f t?
True
Let r(n) = -n**2 + 10*n - 12. Let c be r(8). Suppose 0 = 4*v - 8*v - 5*h + 12, 2*v = -2*h + c. Let t(y) = -21*y**3 + 4*y**2 + 4*y + 2. Is t(v) a multiple of 39?
False
Suppose 4*j = 6*j - 16. Let q be 1481/j + ((-92)/(-32) - 3). Suppose q = 12*h - 103. Does 24 divide h?
True
Suppose -23*h = 6950 + 2319. Let j = h + 993. Is 10 a factor of j?
True
Let v = 11984 - 8219. Is v a multiple of 25?
False
Let s(q) = -3*q**2 + 43*q + 20. Suppose -52 = -219*g + 215*g. Does 12 divide s(g)?
True
Let m = 789 - 410. Suppose 325 = 16*a - m. Is a a multiple of 4?
True
Suppose w = -2*s + 15, -3*w = -0 - 3. Suppose -5*a + 2*x = -2, s = -2*a - 4*x + 3. Suppose -10*m + 290 + 20 = a. Is m a multiple of 18?
False
Let f(p) be the first derivative of -p**5/120 + p**4 - 14*p**3/3 + 17. Let c(i) be the third derivative of f(i). Does 6 divide c(15)?
False
Suppose 3*x - 39457 = 89783. Does 60 divide x?
True
Suppose -4*s - 15739 = 4*z - 40139, 0 = -5*z + 3*s + 30428. Does 71 divide z?
False
Let a(b) = -4 + 6 + 0 - 9*b**2 - b**3 - 7*b - 5*b**2. Does 10 divide a(-14)?
True
Let q = -8014 + 12006. Is 125 a factor of q?
False
Let y(p) = -872*p**3 - 4*p**2 + 8. Is 7 a factor of y(-3)?
False
Suppose -2*c - 2*j = -5520, c - 2742 = 48*j - 46*j. Is c a multiple of 17?
True
Suppose 30*u - 6515 = -2*o + 25*u, 0 = o + 3*u - 3260. Is o a multiple of 2?
False
Let t(z) = -z**3 + 15*z + 249*z**2 - 500*z**2 + 266*z**2 - 17. Does 20 divide t(7)?
True
Suppose 0 = 14*q + 500 + 1768. Let k = q + 369. Does 9 divide k?
True
Let h(q) = q**3 - q**2 + 4. Let o be h(-3). Let b = o + 50. Suppose 2*w = -b + 84. Is w a multiple of 5?
False
Let m be 7*2/((-12)/1974). Let n = -1435 - m. Is n a multiple of 21?
False
Let v(p) = -183*p**3 - 10*p**2 - p - 9. Does 17 divide v(-3)?
True
Suppose -2*k - 426628 = -4*w, 269*w = 273*w + 4*k - 426616. Is w a multiple of 22?
True
Let c(u) = -2*u**2 + 17*u - 5. Let n be c(8). Let q be 2*(-17)/3*-12. Suppose -5*h + q = -n*h. Is 12 a factor of h?
False
Let x(c) = 3*c**2 - 20*c - 230. Suppose 5*r + 48 + 30 = l, 2*r + 45 = 5*l. Is 25 a factor of x(r)?
False
Suppose 0 = i - 34 - 3. Suppose 0 = -4*d + 20, -2*z - 5*d + 6 = -i. Suppose z*r + 164 = 11*r. Is r a multiple of 14?
False
Let q = -38 + 40. Suppose -q*c = 3*h - 162, 270 = 3*h + 2*h + 3*c. Let g = -36 + h. Is g even?
True
Suppose -2*u + 7 = m, -4*u + 35 = 5*m - 18. Suppose 3825 = m*i + 4*i. Is 3 a factor of i?
True
Let k = 112 + -110. Let q be (269 - -4 - 0)*(1 + k). Is (0 - 1)/((-9)/q) a multiple of 7?
True
Let h be -61*5/(-10)*2. Let b = 215 - h. Is b a multiple of 22?
True
Does 31 divide (-144 + -1)/(42/(-6510))?
True
Is 24 a factor of 16 + 500*(-58)/(-8)?
False
Let n(u) = -2*u**2 + 3*u + 2. Let c be (1/(-4))/((-2)/16). Let j be n(c). Suppose -4*k + 12 + 4 = j, 5*k + 63 = m. Is m a multiple of 22?
False
Suppose 23 = 2*v - 79. Let b = v + -83. Let j = 95 + b. Is j a multiple of 7?
True
Let w(d) = 2*d**2 + 32. Let y be w(0). Suppose -y*f + 31*f + 30 = 0. Is 6 a factor of f?
True
Suppose -37461*k = -37484*k + 332028. Is k a multiple of 18?
True
Suppose k = -2*s + 3, -2 = -s + 2*k + 2. Let w(f) = 106*f - 27. Is w(s) a multiple of 37?
True
Let w = 21 - 19. Suppose 480 = w*s + 2*s. Is 17 a factor of s?
False
Let y = -10712 - -13052. Is y a multiple of 12?
True
Suppose -3*z + 31 = 5*b, -8*z = 2*b - 5*z - 16. Suppose -2*g + 1240 = b*a, 2*g + 0*a - 1240 = -4*a. Does 62 divide g?
True
Suppose -81 = -2*h - 3*t - 327, 0 = 3*h + t + 355. Suppose 157 + 410 = -9*a. Let g = a - h. Is g a multiple of 18?
True
Let z(n) = 20*n**2 - n - 3. Let u = 154 + -157. Does 10 divide z(u)?
True
Does 100 divide -2 + -3 - ((-149834)/7 - (-20)/(-140))?
True
Let w(g) = 139*g + 3307. Is 11 a factor of w(28)?
False
Let k = 9554 + -9546. Let t(h) = 2*h + 102. Let b(w) = -w - 51. Let o(g) = -13*b(g) - 6*t(g). Does 7 divide o(k)?
False
Let u = -20438 + 35490. Is 106 a factor of u?
True
Let b(h) = -4*h**3 - 39*h**2 + 10*h - 47. Let k be b(-10). Let m be (-4)/(-10) + 453/5. Let r = k + m. Is 12 a factor of r?
False
Let k(l) = -3*l**2 + 3*l - 15. Let c be k(-5). Is ((-2)/4*-1)/(c/(-4620)) a multiple of 19?
False
Suppose 2*h - 9007 = d, 61*h - 4498 = 60*h - 5*d. Is 69 a factor of h?
False
Let r(n) = 1989*n + 1309. Is 56 a factor of r(7)?
True
Let b(s) = 6899*s**3 - s**2 + 3*s - 1. Is 75 a factor of b(1)?
True
Suppose -5*x - 3 = 22. Let q be (0/2)/(3 + x). Suppose q = 4*n - 358 - 146. Is 29 a factor of n?
False
Suppose -4 = 6*o - 5*o. Does 21 divide 28/o - (-272 + 8)?
False
Suppose 0 = -4*t + 5*i + 800, -2*t - t = i - 619. Let b = t - 60. Suppose 2*j + 225 = 5*p, 5*p - 3*j + b = 370. Does 6 divide p?
False
Let q(p) = 537*p**2 + 213*p - 15. Does 63 divide q(-9)?
False
Let y(j) = -j**2 - 9*j - 6. Let v be y(-8). Let m be (39/6 - -3)*v. Is 38 a factor of 2*m*(-4)/(-10)*10?
True
Suppose d - 5*d = -3*n + 69535, 4*n - 92707 = -d. Is n a multiple of 43?
True
Let j(l) = l**3 + 4*l**2 + 9*l + 9. Let d be j(-7). Let o = d + 109. Let r = o + 183. Is r a multiple of 21?
False
Let d be 0*5/20*4. Suppose d = -6*q + 5 + 7. Suppose 0 = -5*j + 2*y + 514, -5*j + q*j + 3*y + 303 = 0. Is j a multiple of 7?
False
Suppose 3*b - 2850 = 4473. Let h = b + -1073. Is h a multiple of 76?
True
Let z = 18884 - 7616. Is 36 a factor of z?
True
Let v(q) = 10*q**2 + 5*q + 7. Suppose -9*p - 4*d = -7*p + 28, 2*d + 2 = 2*p. Is 6 a factor of v(p)?
False
Let v = 272 - 281. Does 12 divide ((-3)/v)/((-10)/(-2460))?
False
Let c(j) = -23*j**3 - j - 1. Suppose -4*p + t + 1 = -0*p, 4*p = -t - 9. Let l be c(p). Suppose -2*w = -5 - l. Is w a multiple of 5?
False
Let x(t) = 3*t**2 - t + 1. Let w(u) = 42*u**2 + 2*u - 7. Let o(v) = w(v) - 3*x(v). Does 49 divide o(-4)?
False
Suppose 0 = -0*y + 7*y - 14. Let d be 2 - (y/9 - 176176/126). Suppose 7*w + w = d. Does 12 divide w?
False
Let h = -13690 + 31750. Is h a multiple of 14?
True
Let m(d) = -119*d**3 - 56*d**2 - 175*d + 15. Is m(-3) a multiple of 27?
False
Let h(a) = 18*a**2 - 6*a + 2. Let u be h(2). Let i be (3 - 2)*-43 + 1. Let x = u + i. Is 10 a factor of x?
True
Suppose 0 = 2*q + 6, 2*u - u - 4*q = 13. Is 13 a factor of 116/(-2)*(u - 2)?
False
Suppose 0 = -4*l + l + 3, 0 = -3*n + 2*l + 25. Suppose -2*p - 5*k = -410, 3*k - 606 = n*p - 12*p. Is 5 a factor of p?
True
Let f(t) = 216*t**2 + 89*t - 32. Is f(-8) a multiple of 30?
True
Let h = 45145 + -15089. Does 221 divide h?
True
Suppose -2*o + 8 = 2*o. Let h = -853 + 856. Suppose -3*z + 102 = 3*w, -o*z + 61 + 44 = h*w. Does 4 divide w?
False
Is (184175/417)/((-1)/(-30)) a multiple of 53?
True
Suppose -b = -45 - 0. Let o be (-26)/(-8) + 7/(-28). Suppose -2*w = o*w - b. Is w a multiple of 3?
True
Suppose -212 + 185 = 3*o. Is 5 a factor of 769/3 - 6/o?
False
Suppose 0 = -2*v + 51*v - 96236. Is v a multiple of 21?
False
Let z(h) = h**3 + 7*h**2. Let y(v) = 7*v**3. Let s be y(-1). Let l be z(s). Suppose -40 = -3*a - 2*a - 5*w, l = -a - 5*w + 28. Does 3 divide a?
True
Let r(t) = -2*t**3 + 8*t**2 + 77*t + 92. Is 3 a factor of r(8)?
False
Suppose -25*h - 1818 = -19*h. Let p = 336 + h. Is 2 a factor of p?
False
Let t be 6/(36/(-6)) - 68/(-2). Let r(k) = 17 - t + 23 - 31*k. Is r(-5) a multiple of 14?
False
Suppose -21*c + 7800 - 1650 + 18609 = 0. Does 10 divide c?
False
Let x(y) be the third derivative of 7*y**6/720 + 7*y**5/24 + y**4/12 - 13*y**2. Let z(m) be the second derivative of x(m). Does 12 divide z(7)?
True
Let m(y) = -8*y**3 - y**2 + y - 7. Let w(h) = h + 2. Let b be 26/(-6) - ((-56)/(-21))/4. Let u be w(b). Does 27 divide m(u)?
False
Suppose 5*t + 5*f + 1152 - 237 = 0, -3*f = 6. Let p = t - -247. Does 8 divide p?
False
Let q(y) = -2*y**2 - 236*y - 38. Is q(-35) a multiple of 78?
True
Suppose -5*l = -4*a + 160 + 19, 100 = -3*l - 5*a. Is 18 a factor of ((-1080)/l)/2*14?
True
Let s = -78 - -72. Let v be ((-2)/(-4))/((-1)/s). Suppose 0*b = v*b - 504. Is 14 a factor of b?
True
Suppose 0 = 4*w + p + 1706 - 5714, -w + 5*p = -981. Does 12 divide w?
False
Suppose -2*p = -0*p - c + 2, 0 = 5*c - 10. Suppose 4*l - 568 = 4*i, 4*i = -p*l - 4*l + 584. Suppose 4*o - l = -0*o - 4*r, -5*o + r + 204 = 0. Does 21 divide o?
False
Let g = 2820 + -697. Does 34 divide g?
False
Let k(t) = 261*t**3 - 4*t**2 - 18*t + 58. Is 23 a factor of k(3)?
True
Let y = 130 + -66. Suppose -3*c - c - 108 = -4*b, 0 = 2*c - 4*b + y. Let