 l = -389 + 391. Suppose l*b - 36 = 2*f, 5*f - 120 = -2*b - 49. Does 3 divide b?
False
Let f = 70 - 513. Let x = 686 + f. Does 27 divide x?
True
Does 14 divide 20403300/400 - 2/8?
False
Suppose 5*k + 17 = 2*l, 3*k + 8 = 2*k + 5*l. Let c(i) = 129*i + 9. Let u(s) = -43*s - 3. Let t(z) = 2*c(z) + 7*u(z). Is t(k) a multiple of 18?
True
Let v = 13532 - 3699. Is v a multiple of 40?
False
Suppose -121 = 5*u - 10*u - 4*r, -4*u = -r - 101. Suppose -36*j = -u*j - 1540. Is 28 a factor of j?
True
Let m(t) be the second derivative of t**4/3 - t**3/6 - t**2 + 6*t - 32. Let p = 9 + -3. Does 13 divide m(p)?
False
Let r(l) = 3*l**2 + 6*l + 3346. Is r(0) a multiple of 79?
False
Let d(n) = n**3 - 13*n**2 + 20*n + 21. Let r be d(11). Let i be r*(-5)/((-10)/(-64)). Suppose i + 364 = 6*s. Is s a multiple of 21?
False
Suppose 21630 = 28*t + 7316 - 15786. Is t a multiple of 25?
True
Is -14 - (25 - 46) - 3941*-1 a multiple of 42?
True
Suppose 68732 + 57980 = 47*q. Does 8 divide q?
True
Let l(z) be the second derivative of -z**5/20 - 3*z**4/4 + 31*z**3/6 + 23*z**2/2 - 134*z. Is 10 a factor of l(-14)?
False
Let i(x) = -1221*x - 4806. Does 5 divide i(-6)?
True
Let y(w) = w**3 + 10*w**2 - 13*w - 10. Let k be y(-8). Does 5 divide k/(2 - -4) + -4?
False
Let d(t) = -4 - 27 + 65*t - 62. Does 23 divide d(8)?
False
Let s(t) = 5*t**2 + 11*t + 14. Let q be s(-2). Suppose 185 = 3*n - w, 0 = 4*n + q*w - 13*w - 245. Is n a multiple of 2?
True
Suppose 5*w - 1415 = -14*c + 9*c, w = -2*c + 563. Is c + 0 + 12/(-4) a multiple of 20?
False
Suppose 11*s - 611 = -2*s. Suppose 5488 = -39*x + s*x. Is x a multiple of 15?
False
Let w(s) = 2202*s**3 + 69*s**2 - 133*s - 1. Is w(2) a multiple of 15?
True
Let y = 13477 - 11301. Is 12 a factor of y?
False
Suppose 13*x - 65*x = 54*x - 116176. Is 4 a factor of x?
True
Suppose 110015 = 5*q - z, 73*q - 75*q + 44024 = -4*z. Is 100 a factor of q?
False
Let f = 9753 - 4805. Is f a multiple of 53?
False
Suppose 8*n = 6*n + 8, 3*b - 2782 = -n. Let t = b - 635. Is 11 a factor of t?
False
Is ((-9)/5)/(-3) - 1 - (-516086)/215 a multiple of 67?
False
Suppose -13*w = 3*a - 14*w - 31335, a + 3*w - 10445 = 0. Does 31 divide a?
False
Suppose 14*c - 4908 - 8170 = 37630. Is 8 a factor of c?
False
Let c = 0 - 1. Let d(l) be the first derivative of -83*l**2 + 3*l - 36. Does 35 divide d(c)?
False
Let i be 8/(-20) + 146/(-10) + 2. Let u(m) = -m**3 - 13*m**2 - 5*m + 12. Let s be u(i). Let c = s - 47. Does 2 divide c?
True
Let y(p) = p**3 + p**2 - p. Let a(g) = -4*g**3 - 29*g**2 + 7*g + 53. Let u(q) = -a(q) - 3*y(q). Is 3 a factor of u(-26)?
True
Suppose -2*t - 2*f = -4438, 5*t - 11107 = -174*f + 172*f. Is t a multiple of 13?
True
Suppose -4*z + 229 + 155 = 0. Let k = z + -54. Suppose -3*l + 267 = k. Is 9 a factor of l?
False
Let v = -198 - -202. Suppose -j - t + 0*t + 157 = 0, -v*j + 3*t = -649. Does 65 divide j?
False
Suppose -3*d + 31224 = 3*r, -3*r + 6*d = 2*d - 31245. Is 28 a factor of r?
False
Let l(k) = 23*k**2 + k + 2. Let s = 62 + -52. Suppose 106*t = 111*t - s. Is 20 a factor of l(t)?
False
Suppose -5*s + 12954 + 2922 = 3*w, 3*w - 3*s = 15876. Does 60 divide w?
False
Suppose 5*r = -5*n, 5*r + 5*n = r - 3. Let f(h) = -h**2 + 52*h - 7. Let i be f(5). Suppose r*s = 7*s - i. Is 9 a factor of s?
False
Let w = -7255 - -15630. Does 25 divide w?
True
Suppose -5*o = -r + 16, 2*o + 16 + 0 = 2*r. Suppose -3*c - r*w = -5*w - 3, 0 = -5*c - 3*w + 1. Suppose 24 = c*a - 32. Is a a multiple of 14?
True
Suppose -4*u = 5*r - 4*r - 16, 5*u = -r + 20. Let g(f) = -2*f + 2. Let q be g(r). Suppose -q*l = 4*l - 720. Does 12 divide l?
True
Does 8 divide (18/(-4))/(14/((-2439080)/93))?
False
Let o(t) be the third derivative of -t**5/60 - 11*t**4/6 + t**3/3 + 116*t**2. Is 29 a factor of o(-37)?
True
Suppose -10*k - 186 = -72*k. Let n(i) = -i**2 - i + 5. Let m be n(0). Suppose s = -s - k*w + 261, m*s - 681 = 2*w. Is s a multiple of 27?
True
Suppose -5*j + 3519 - 639 = -5*b, 2*j + 5*b = 1145. Is 5 a factor of j?
True
Let u(i) = -i**2 - 281*i + 495. Does 15 divide u(-131)?
True
Let s be 5/(-2)*(7 + -9). Suppose -s*n = -9*n - 20. Is 3 a factor of (18/7)/(n/(-35))?
True
Let o be 2998/(-4) - 5/10. Is o/(-5) - (-3 + 1) a multiple of 47?
False
Let m be 6*10/(-15) + 5. Is (1065/142)/(m*2/144) a multiple of 60?
True
Let q be ((-150)/120)/(1/884). Let y = -211 - q. Is 103 a factor of y?
False
Let t be 6/(((-20)/12)/(25/(-15))). Is (3766/21)/(4/t) a multiple of 21?
False
Let r(c) = -2*c**3 - 6*c**2 - c + 3. Let t(x) = -x**3 + 1. Let a(i) = -r(i) + t(i). Let v(l) = l**3 + l**2. Let d(y) = a(y) - 6*v(y). Is 32 a factor of d(-3)?
False
Let j(v) be the first derivative of 7*v**3/3 + 5*v**2 + 4*v - 147. Is 12 a factor of j(-7)?
False
Let f = 125 + -41. Suppose -5*w + 5 = -z, 5*z = -3*w + 4*w - 25. Suppose w = 5*y - t - 192, t - 66 - f = -4*y. Is y a multiple of 19?
True
Suppose -q - 5*c + 3369 = 0, 1371*q + 16671 = 1376*q - 4*c. Is q a multiple of 8?
False
Let r = -88 + 156. Suppose -3*b = -5*f + 456 - r, -328 = -4*f - 2*b. Is 34 a factor of f?
False
Let s(m) = -m**3 + 8*m**2 - m + 13. Let r be s(8). Suppose -4*j - 4*h = -0*j - 200, -r*j + 234 = -3*h. Does 24 divide j?
True
Let j(x) = 45*x**3 - 105*x + 528. Is 82 a factor of j(5)?
False
Let j be (108/(-26) - -3) + (-26)/(-169). Does 28 divide -58*((6 - 6) + j)?
False
Let b(l) = 77*l + 2968. Is b(69) a multiple of 171?
False
Let h = -299 + 300. Does 44 divide h/(-11)*-2158 + (-102)/561?
False
Let h be (-289)/((-2 + -1)/(-3)). Let w = -19 - h. Is w a multiple of 30?
True
Suppose -749 + 215 = -2*r. Suppose -5*c - 5*z + 685 = 0, 5*c - 5*z = 1071 - 366. Let d = r - c. Is d a multiple of 8?
True
Let k = 3828 - 3789. Is k a multiple of 33?
False
Let q(d) = -14*d + 9. Let x(h) = -13*h + 8. Let c(t) = 2*q(t) - 3*x(t). Let k be c(1). Suppose -2*b + 8 = 4*u, -5*u = -10*b + k*b + 95. Does 7 divide b?
True
Let g = 7598 - 2918. Is g a multiple of 39?
True
Let t = 29 - 357. Let p = t - -561. Does 2 divide p?
False
Let f(a) = -48*a**3 + 16*a**2 - 80*a - 348. Is f(-4) a multiple of 5?
True
Let q be (-85)/15*2*(-9)/3. Suppose -q*s - 21*s + 80850 = 0. Is 21 a factor of s?
True
Let c(j) = -39*j - 5. Let h be c(3). Let z = -30 - h. Let b = z + -18. Is 37 a factor of b?
True
Suppose -5*l + 68 = -7*l. Let m = 40 + l. Is 10 a factor of (-4)/m - (-5360)/30?
False
Let r be (-6)/(-2)*3244/(-12). Let s = r - -1306. Is 21 a factor of s?
False
Let c(r) = -1384*r + 6. Let q be c(-3). Suppose -12*k = 582 - q. Does 7 divide k?
False
Let m(v) = 3*v**3 - 4*v**3 - 6*v**2 - 5 - 2*v**3 - 6*v + 2*v**3. Let x be m(-5). Suppose 4*k = -x + 48. Does 10 divide k?
False
Let w = 3697 - 3252. Does 2 divide w?
False
Suppose -39394 = 16*t - 2*m - 644862, -5*m + 37852 = t. Is t a multiple of 21?
True
Suppose l - 21 = -3*o + 8*o, o + 21 = 3*l. Let y(w) = -6*w**2 + 7*w - 2. Let d be y(l). Let z = -86 - d. Does 15 divide z?
True
Suppose 0 = -i - 4*y + 13, -3*i + 13 = -11*y + 10*y. Suppose 0 = 3*s + 4*x - 5*x - 710, 1170 = 5*s + i*x. Does 13 divide s?
False
Let i(x) = 5*x**2 + 18*x - 6. Suppose -8*n + 32 = 104. Is 20 a factor of i(n)?
False
Suppose -1 + 241 = 4*p + 5*r, -4*p + 240 = -r. Suppose -2*i + 0*m - 4*m = 12, 3*m = -4*i - 34. Let h = p + i. Does 25 divide h?
True
Let i(o) = 4*o**3 - 105*o**2 + 38*o + 610. Is 61 a factor of i(30)?
True
Let k = -19 + 44. Suppose 29*c + 40 = k*c. Is 78/(-4)*c/15 a multiple of 4?
False
Let a(d) = -3*d - 7*d**2 - 6*d - 11 + 6*d + 16*d**2. Let z be a(6). Let x = -205 + z. Is 9 a factor of x?
True
Suppose -4*o + 2*o + 20 = 0. Let v = o + 0. Is 10 a factor of 4 + v/5 + 68?
False
Suppose 8*z = -48 + 288. Is (714/9)/(10/z) a multiple of 17?
True
Let s(y) = 35*y**2 - 13*y + 65. Is 4 a factor of s(16)?
False
Let p = -6986 - -11862. Does 44 divide p?
False
Suppose -5*f - 5*l - 8 = -3, 0 = -5*f + 5*l + 45. Does 9 divide (14 + f)/((-4)/(-6))?
True
Let b = -534 + 573. Does 11 divide 91*22*b/78?
True
Let i(s) = s**3 - 8*s**2 - 8*s - 9. Let u be i(9). Suppose u = -4*a - 34 + 82. Suppose -a*d + 1386 = -1494. Does 25 divide d?
False
Let c be (2/6 - (-16)/96)*-2. Is (384/(-14))/(c/7) a multiple of 37?
False
Suppose 442*f - 447*f + 180 = 0. Suppose f + 1144 = 10*c. Does 9 divide c?
False
Let w be (5 - (-7 - -5))*(-228)/(-14). Is 51 a factor of 14*(-3 - w/(-4))?
True
Let k(f) = 28*f**2 +