ose -10*s - 9 = -f*s. Let j = s + 24. Is j a multiple of 21?
False
Suppose -2*k + 4*f = -1124, -3*f - 194 = -k + 361. Does 9 divide k?
True
Let l = 244 + -219. Let r = l + 25. Is r a multiple of 50?
True
Suppose -i - 3*d + 3356 = -0*i, -4*d = -4*i + 13360. Is 19 a factor of i?
True
Let m(j) be the second derivative of -1/6*j**3 + 11*j + 0 + 11*j**2. Is m(-16) a multiple of 13?
False
Let m = 44 - 30. Suppose -m*a = -16*a + 368. Does 23 divide a?
True
Suppose 5*c = -7*w + 2*w - 55, -4*w = -5*c - 1. Is 5 a factor of (w/9)/(10/(-900))?
True
Is (-14)/6 + 2 + 65992/12 a multiple of 9?
True
Let u = -255 + 257. Suppose -3*r - 2*g + 2327 = 0, -u*r = r - 4*g - 2357. Does 29 divide r?
False
Suppose 12*n - 8*n + 72 = 0. Does 9 divide (-42)/(-12)*n*-1?
True
Let q(p) = 4*p**2 - 25*p + 9. Let a be 3/(10/80 - 1/(-4)). Does 32 divide q(a)?
False
Suppose -8*u + 28 = -4*m - 6*u, 4 = -u. Is (-68343)/(-513) + (4/m)/2 a multiple of 19?
True
Let o(g) = -22*g**2 + 46*g - 110. Let r(t) = -15*t**2 + 31*t - 74. Let z(d) = 5*o(d) - 8*r(d). Does 7 divide z(7)?
True
Let r be ((-3522)/8)/(232/(-32) + 7). Suppose r = 17*s - 3135. Does 32 divide s?
True
Suppose 0 = -246*r + 218*r + 14812. Is r a multiple of 16?
False
Let r = -368 - -553. Let c = 208 - r. Is 8 a factor of c?
False
Let c be (2*3/5)/((-18)/(-60)). Suppose -c = -3*l + l. Suppose 0 = 2*s + l*s - 12. Is 2 a factor of s?
False
Suppose -4*i - 666 = -3*j, 12*j = -4*i + 17*j - 670. Is 12 a factor of (-58)/(-5) + (-66)/i?
True
Let d(a) be the third derivative of a**5/20 - 17*a**4/12 - 17*a**3/6 - 48*a**2. Does 20 divide d(19)?
True
Let h(m) = 34*m - 316. Let p(z) = 7*z - 63. Let y(s) = -3*h(s) + 14*p(s). Does 7 divide y(12)?
False
Let v(z) be the first derivative of -z**4/2 - 14*z**3/3 - 9*z**2/2 + z - 76. Is 32 a factor of v(-7)?
True
Let v = -66 - -58. Let y be (v + -1)*(-2 - -1). Let x(s) = 4*s - 14. Does 10 divide x(y)?
False
Let z(h) = 23*h**2 + 42*h - 1174. Does 180 divide z(-35)?
False
Suppose -156*s + 20*s + 906500 = -922156. Does 9 divide s?
True
Let t = 35 - 32. Let x(p) = -25*p**2 - 10 + 27*p**2 + 2 + t*p. Is x(-4) a multiple of 3?
True
Let x = -50 - -53. Suppose 0 = 3*c + 4*k - 271, 0*c - 5*k + 269 = x*c. Does 7 divide c?
False
Is (-16029)/(9 + -22) + -2 + 2 + 6 a multiple of 12?
False
Suppose -5*a - 15 = -10*a. Suppose 4*t + 4*y = 780, a + 0 = -3*y. Is 18 a factor of t?
False
Let d = 394 + -395. Is (d/2)/(14/(-168)) - -376 a multiple of 5?
False
Suppose -40*i + 604570 - 174650 = 0. Suppose -602 = -10*k + i. Is k a multiple of 19?
False
Let u = 6220 + -4985. Is 95 a factor of u?
True
Let t(y) = -1 - 5*y - 6*y - 4. Let u be t(-2). Suppose -4*q = h - u, 5*q + 20 = 3*h + 3. Is 5 a factor of h?
False
Let t(v) = -v**2 + 11*v - 20. Let r(g) = 4*g - 263 - g + 298. Let o be r(-10). Is 10 a factor of t(o)?
True
Let h be -4 - -1 - (519 + (10 - 1)). Let y = 1101 + h. Is y a multiple of 19?
True
Let o = 3062 + -3011. Is o a multiple of 3?
True
Let m(u) = -u + 10. Let s be m(4). Suppose 10*k - s = 34. Suppose -3*i + h = -419, -2*h + 530 = k*i - 32. Does 14 divide i?
True
Let p(g) = -714*g - 707. Does 41 divide p(-3)?
True
Let l = 747 - 871. Suppose -5*k + 6*w - 2*w + 648 = 0, -5*w + 15 = 0. Let i = l + k. Is i a multiple of 4?
True
Let r(i) = 27*i**2 + 22*i - 12. Is 5 a factor of r(-5)?
False
Let b = -390 - -403. Is (-326434)/(-442) + 6/b a multiple of 21?
False
Let t = -20120 - -25430. Does 59 divide t?
True
Let d be 4 - 1 - (-13 - (2 + 3)). Does 8 divide 92/6 - ((-182)/d + 8)?
True
Suppose -4*w + 2783 = 7*w. Let l = w + -166. Is l a multiple of 29?
True
Let a = -185 - -236. Let m(x) = -8*x - 3. Let u be m(-6). Suppose -a = -4*f + u. Is f a multiple of 3?
True
Let v(d) = 10*d + 41. Let a be v(-3). Let p(o) = 2*o**3 - 16*o**2 - 18*o + 24. Is 13 a factor of p(a)?
False
Suppose -i + 4*t = 8 + 4, 3*i - 20 = -2*t. Does 26 divide 588/i - -6 - -3?
True
Suppose 35 = 5*r - 175. Let d(x) = -x**3 + 58*x**2 - 59*x + 120. Let n be d(57). Suppose 0 = -3*v - n, -4*q + v + 2*v = -r. Does 9 divide q?
True
Let s = -158 - -156. Is 23 a factor of (0 - s) + 350 + -24?
False
Suppose -4*x - n - 16 = -60, -4*n - 33 = -3*x. Let i(r) = -9 + 23 + x + r. Is i(20) a multiple of 10?
False
Let r = -6982 + 9815. Does 3 divide r?
False
Let k(v) be the second derivative of 3*v**4 + 3*v**3/2 + 11*v**2 - 86*v. Is k(-2) a multiple of 4?
True
Let g(i) = i**2 - 19*i + 5. Let s be g(14). Does 11 divide (((-27)/(-15) - 2) + -1)*s?
False
Let n(w) = -11*w**2 - w + 24. Let k be n(-8). Let f = -384 - k. Is f a multiple of 16?
True
Suppose 88 = 12*a + 10*a. Suppose a*m = -2*s + 1598, 111 = 3*s - 3*m - 2313. Is s a multiple of 79?
False
Let s be (1626/12 - 6)*2. Suppose -s*l + 260*l = 78. Does 13 divide l?
True
Suppose 3*t + 115 = 5*w, -237 = 5*t + 3*w - 0*w. Let k = t - -54. Suppose k*j = -75 + 417. Is 14 a factor of j?
False
Let m(t) = 4*t**3 - 10*t**2 + 14*t - 9. Let x be m(8). Suppose 0 = 2*z - x + 519. Is 16 a factor of z?
True
Let t(z) = 1377*z - 45. Does 21 divide t(2)?
True
Let u be ((-1 - -2) + 0)/(15/60). Let w(s) = -5*s**2 - 24*s + 53. Let v(c) = -11*c**2 - 49*c + 106. Let a(h) = u*v(h) - 9*w(h). Is 16 a factor of a(-23)?
True
Let n be 10/12 + 233987/246. Suppose -6*s + n = 544. Does 10 divide s?
False
Let k = 3116 - 1481. Does 77 divide k?
False
Let t(u) = 28*u + 50. Let d be t(-5). Is d/25 + 4 - (-108)/5 a multiple of 5?
False
Let k be (7/7)/(2/4). Suppose 0 = -14*n + k*n + 12. Is 10 a factor of 1 - (1 - n) - (-3 - 76)?
True
Let p = 452 - 320. Let w be (-108)/36 - 91/1. Let i = p + w. Is 7 a factor of i?
False
Let b = 1588 - 1584. Suppose -5*c = -6 - 9. Suppose -x + b*a + 178 = 2*a, 3*a - c = 0. Is 20 a factor of x?
True
Let t = -29739 - -68349. Is t a multiple of 27?
True
Let d(l) = -l**3 - l**2 - l + 2. Let y be d(0). Let k = -10412 - -10492. Suppose -7*z + k = -y*z. Is z a multiple of 16?
True
Let w(s) be the second derivative of -s**3/2 + 67*s**2 - 6*s + 8. Is 10 a factor of w(-25)?
False
Suppose -42 = 25*v - 26*v. Let o = v - 39. Suppose 2*q = o*z - 2*q - 56, z - q = 20. Is 12 a factor of z?
True
Let q = 18006 - 11766. Is q a multiple of 195?
True
Suppose 0 = 3*r + 11*r - 28. Suppose -r*x = -33 - 547. Is 40 a factor of x?
False
Let i = -9041 - -12308. Is 121 a factor of i?
True
Does 13 divide (1/9)/((-12)/(-2138292))?
True
Suppose -15444 = -40*a + 267 + 22569. Is 8 a factor of a?
False
Let y = 2467 - -414. Is y a multiple of 2?
False
Let w = 49 + -44. Let q be ((-8)/(-14))/(1*2/7). Suppose 0 = 5*o + q*c - 742, 3*o - 466 = w*c - c. Is o a multiple of 25?
True
Let a(r) = -6*r**2 + 17*r - 4. Let h be a(7). Let u = h - -263. Is u a multiple of 6?
True
Suppose 24*m = 462679 - 85543. Is m a multiple of 194?
True
Suppose -8 = -9*g + 10. Suppose 2*q = -g, 4*w = w - 4*q + 23. Suppose -w*b = 176 - 1850. Is 31 a factor of b?
True
Suppose 5*a = 4*a - 5*p - 20, 2*p + 8 = 2*a. Let g be (8/(-12) + a)*4*-3. Suppose -234 = -2*s - g. Does 12 divide s?
False
Is 5/2*5*(-1424)/(-8) a multiple of 5?
True
Let j be -19030*(-3 + 5)*(-1)/4. Suppose -6*k = -j + 2339. Is k a multiple of 30?
False
Let j be (0/(-4))/(-3 + 0). Suppose j = -0*n - 6*n + 54. Suppose n*c - 1074 = 1050. Is c a multiple of 22?
False
Suppose 11*h - 108 = 5*h. Let k(b) = b - 15. Let p be k(h). Let v = 24 + p. Is 8 a factor of v?
False
Let g be 13*((-2)/1 + -3 + 8). Let h(d) = -d**3 + 45*d**2 - 213*d - 42. Does 7 divide h(g)?
True
Let y(p) = 87*p**2 + 60*p + 43. Does 14 divide y(9)?
True
Let z = -1013 - -54. Let s = 1343 + z. Is 8 a factor of s?
True
Let c be ((-4)/(-20) - 92/(-40))*2. Suppose 4*l - 7 = c. Suppose x + 32 = v, x - l*x = -v + 33. Is v a multiple of 7?
False
Let m(z) = z**3 - 13*z**2 + 23*z - 9. Let p be m(11). Suppose 6 = 2*d, d = -p*l + 3*d + 1770. Suppose s + l = 9*s. Is s a multiple of 33?
False
Let w(k) = 710*k + 426. Does 8 divide w(4)?
False
Suppose 4*q - 110 + 46 = 0. Let n(h) = 34 + 30*h + h**2 - 11*h - q*h. Is 12 a factor of n(8)?
False
Let h = 61 + 41. Is 101 a factor of 166940/h - 1/(-3)?
False
Suppose -13*u + 14*u - 5415 = 3*s, -2*u - 3*s + 10785 = 0. Is 100 a factor of u?
True
Let q = -8 + 21. Let z(p) = p**2 + p - 27. Let d be z(-6). Suppose -u + q = 3*y - 121, 402 = d*u + 3*y. Does 23 divide u?
False
Is 2/(-3) + (-845390)/(-210) a multiple of 26?
False
Suppose 2*p = d +