iple of 14?
False
Let l be 8/12*(4 - 1)*126. Suppose 13*s = 10*s + l. Does 21 divide s?
True
Let d(s) = 2*s**2 - 2. Is d(-7) a multiple of 12?
True
Let p(f) = 98*f**2 + 55*f + 9. Does 66 divide p(-3)?
True
Suppose 711 = 2*z - 4*s + 75, -z = 2*s - 298. Suppose 3*i - z = i. Does 22 divide i?
True
Let b = 131 - -232. Suppose -a + b = a - o, -5*a = -4*o - 912. Is a a multiple of 10?
True
Suppose -d = -4*j + 344, 3*j - 336 = -j - d. Suppose 2*t = 5*z - 217 + j, -3*z + t = -79. Suppose 6*b = 4*b + z. Is 4 a factor of b?
False
Let s(r) = -3*r**2 - 2*r + 1. Let u be (-3 - (-2)/1)/(-1). Let c be s(u). Is (0 - c/1) + 80 a multiple of 17?
False
Suppose -4*m + 922 = -1390. Does 56 divide m?
False
Let r(n) = 11*n**3 - n**2 + n - 1. Let y be r(2). Let u = -61 + y. Does 11 divide (u/14)/(20/490)?
False
Let a = -4 - -53. Suppose 3*s + 6*l = l + 73, -3*l = 2*s - a. Does 17 divide s?
False
Suppose -7*p + 55 = -22. Suppose 10*b - p*b = -136. Is 34 a factor of b?
True
Suppose r - 4 = 0, -5 = -2*n - 3*r + 71. Let a be (-2 - (-8 + 0))*n. Suppose 4*k - 12 = a. Does 18 divide k?
False
Let s be 6/(-21) + (-2)/(-7). Let n be 22 + (-4 - (-3 - s)). Suppose 0*m + n = m - 3*g, 2*m + g - 49 = 0. Does 12 divide m?
True
Let r be 4/26 - (-2406)/78. Let m = r + -28. Suppose -2*k = -0*k - 5*a - 45, -122 = -5*k + m*a. Does 14 divide k?
False
Let a = 16 + 68. Does 12 divide a?
True
Let w be 12/(-54) + (-25)/9. Suppose -c + 5 = -0*c - n, 4*n - 12 = 0. Let r = c + w. Is r a multiple of 2?
False
Let h = -488 - -547. Is h a multiple of 8?
False
Suppose -3*x + 10*x = 11781. Suppose -10*f - f + x = 0. Is 17 a factor of f?
True
Suppose -3*u = 10*q - 6*q - 1041, -9 = -3*q. Is u a multiple of 42?
False
Suppose -2*b + 18 = b. Let s(w) = 3*w**2 + w**3 + 0*w**2 + b*w - 10 - 3*w**2 - 8*w**2. Is 19 a factor of s(8)?
True
Suppose 0 = -5*b + 11 - 1. Does 5 divide (-11)/33 - -40*b/6?
False
Let m(f) = 3*f + 14. Let y be m(-7). Let g(h) be the second derivative of h**4/12 + 7*h**3/6 + 7*h**2/2 - 4*h. Does 3 divide g(y)?
False
Let b(d) = -d**3 + d**2 - d + 6. Let i be b(0). Suppose -5*z + i - 1 = 0. Does 8 divide -16*-1*(2 - z)?
True
Let o = 76 - 44. Suppose 0 = 4*n + 4 - o. Suppose g = 3*q + 22, -129 = -n*g + 2*g - 4*q. Does 24 divide g?
False
Let g(o) = o**3 + 15*o**2 + 10*o + 2. Is 30 a factor of g(-13)?
True
Suppose 3*w + 5*o = 1252, -3*o + 81 - 66 = 0. Is 2 a factor of w?
False
Let a be (-5)/(-11 - -6) - -56. Let p = -4 - -7. Suppose -1 = d, -a = -3*t + p*d - 0*d. Does 10 divide t?
False
Let v(i) = -2*i - 2. Let s be v(-3). Suppose f + 5*a - 22 = 0, -3*f = f - a - s. Does 10 divide -1*(f - -100)/(-3)?
False
Let m be (-6)/(-15) - 36/(-10). Let y(p) = 2*p. Let n be y(m). Suppose k + k = n. Does 2 divide k?
True
Is ((-93)/(-21) + -5)*-7*49 a multiple of 18?
False
Let f(i) = i**3 + 18*i**2 + 2*i + 2. Let o be f(-18). Is 34 a factor of o*(2 + -5 - -2)?
True
Let b be 3/(-1) + 4 - -127. Suppose 0 = 3*d - b - 112. Is d a multiple of 31?
False
Let v(s) = -s + 13. Let m(i) = -3*i - 8. Let n be m(-5). Suppose -10*l = -n*l - 21. Does 3 divide v(l)?
True
Is (22/4)/(13*13/1014) a multiple of 5?
False
Is 80*((-8)/(80/(-45)) + -4) a multiple of 20?
True
Let x = -166 - -258. Is 3 a factor of x?
False
Let s = -1289 + 1969. Is 34 a factor of s?
True
Let b be (-4)/(-14)*-1 + 104/364. Suppose -11*v + 1417 + 68 = b. Is v a multiple of 6?
False
Let y = -862 - -902. Does 20 divide y?
True
Let c(o) = 2*o**2 + 3*o - 2. Let r be c(2). Let q = -6 + r. Is 4 a factor of q?
False
Let s(c) = -19*c - 6 + 2 - 3 + 8*c. Is s(-5) a multiple of 8?
True
Let f = 792 - 444. Does 29 divide f?
True
Let w be (1 + 2)*35/21. Suppose -2*j - 5 = -j, -w*n + j = -185. Let o = 50 - n. Is 14 a factor of o?
True
Let s be -9 + (2 - 4 - -1). Let o be 4/s + 37/5. Let x(f) = -f**3 + 8*f**2 - 6*f + 7. Does 14 divide x(o)?
True
Let x(s) = 9*s**2 - 18*s + 5. Does 30 divide x(5)?
False
Does 28 divide (-4881)/(-12) + (-23)/(-92)?
False
Suppose 0*q + 20 = 5*q. Suppose 166 = 2*c - 4*o, q*c - 219 = -4*o + 101. Let f = -43 + c. Does 12 divide f?
False
Suppose 0 + 15 = 3*h. Let n(b) = b**3 - 3*b**2 - 8*b + 5. Is 5 a factor of n(h)?
True
Let u = 487 - 355. Does 35 divide u?
False
Suppose -2*u - 19 + 133 = 0. Let j = 106 - u. Is j a multiple of 9?
False
Suppose -w - 1 = -4*d + 1, 4 = 4*d. Suppose -w*g = -5*t - 24, 2*g = -3*t + 4 - 12. Suppose -s - g = 5*m - 68, -2*m - 242 = -4*s. Is 24 a factor of s?
False
Suppose 3*x - 60 = 75. Let h = 48 + x. Is 37 a factor of h?
False
Let i = 2 - 0. Suppose 2*m = -2*l + 4, 5*m + 0*m - 2 = -l. Suppose -114 = -i*v - m*v. Is 19 a factor of v?
True
Suppose 5*o - d + 10 = -5*d, -2*o + 4*d + 24 = 0. Suppose o*v - 136 = 188. Is v a multiple of 24?
False
Let j = -208 - -665. Suppose -10*y + 653 + j = 0. Is 37 a factor of y?
True
Let f(u) = u**3 + 9*u**2 - 2*u - 3. Let n be f(-9). Suppose -3*k = -2*k - 5*a + n, 0 = -4*k + a + 16. Suppose k*m - 352 - 113 = 0. Is m a multiple of 21?
False
Let d = 164 - 51. Let h = 38 - 35. Suppose -2*j - h*i = -54, 17 - d = -3*j + 3*i. Is 15 a factor of j?
True
Let g = -12 - -13. Let h be (2*g)/(24/(-108)). Let o(a) = a**3 + 11*a**2 + 13*a - 1. Does 11 divide o(h)?
True
Suppose -3*t = -5*n + 2661, -3*n - t + 444 = -1147. Is n a multiple of 3?
True
Let n(a) = 1424*a**3 - a**2 - 9*a + 9. Does 89 divide n(1)?
False
Let f = -56 - -147. Let g = -56 + f. Is 3 a factor of g?
False
Is 33 a factor of (1320/(-42))/(8/(-84))?
True
Let s = -14 - -109. Suppose 4*r - 200 = 5*y, s - 20 = r + 5*y. Is r a multiple of 3?
False
Suppose -4*f - 1 + 9 = 0. Suppose -4*h + 0*h = 4*c - 104, 5*h - 137 = f*c. Does 9 divide h?
True
Suppose -24*y = -22*y. Suppose y = -k - 0*k + 88. Is 19 a factor of k?
False
Is ((1/(-3))/1)/(33/(-495)) a multiple of 4?
False
Let j(v) = 4*v - 2. Let x be j(0). Is 42/(-168) + x/8*-269 a multiple of 6?
False
Suppose -t + 196 = -3*t - k, -490 = 5*t - k. Let w = t + 249. Is w a multiple of 25?
False
Suppose -4*y + 5 = y. Let a be 52/8*-2*y. Is 5 a factor of 512/52 - 2/a?
True
Let k(d) = d**2 - 27*d + 31. Let a be k(26). Suppose -a*m - 3*m + 760 = 0. Is m a multiple of 12?
False
Let j be -2 + (3 + 7 - 3). Let z be (3 + -3)*j/10. Suppose 6*w - 8*w + 24 = z. Is w a multiple of 3?
True
Suppose -2856 = -11*v - 17*v. Is 17 a factor of v?
True
Suppose -4*z - 3 = 9, -3*z = 2*c - 25. Suppose -q + 1 - 4 = s, 5*s + 4*q = -c. Let n(t) = -t**3 - 5*t**2 - t + 11. Does 6 divide n(s)?
False
Let w = 7808 - 5531. Does 11 divide w?
True
Let v be (-6)/(4/16*-6). Suppose -2*x = -3*m + 14, m - v*x - 12 = 3*m. Does 11 divide ((-3)/m)/((-4)/72)?
False
Suppose -18*a + 4437 = -2277. Is a a multiple of 61?
False
Let r = 89 - 46. Is r even?
False
Let g = 689 + 693. Is 65 a factor of g?
False
Is 95 a factor of -3 + (-1)/(-3) + (-17196)/(-36)?
True
Let q(h) = -2*h**3 + 10*h**2 + 3*h - 4. Is 17 a factor of q(-4)?
True
Let k be 5/(25/45) + -5. Suppose -q - 5*g = 2*q - 13, -g = k. Is 11 a factor of q?
True
Suppose 5*h - 188 = -2*f, -5*f - 2*h - 2*h = -436. Is 4 a factor of f?
True
Let h = 11 - 8. Let k be (-130)/(-14) + 2/(-7). Let g = h + k. Is g a multiple of 4?
True
Let v = -161 - -233. Is 9 a factor of v?
True
Suppose 11*z = 9*z + 4. Suppose 0 = -5*f + k + 3*k + 158, -k - 62 = -z*f. Is f a multiple of 4?
False
Suppose l = -p + 30, -l + 3*p + 8 + 2 = 0. Let g be ((-130)/l)/((-2)/5). Let d = g - -11. Is 8 a factor of d?
True
Let m = -10 - -64. Suppose m*j - 58*j + 540 = 0. Is 15 a factor of j?
True
Let y(i) = 2*i**2 - 5*i - 13. Let w(k) = 2*k**2 - 19*k + 2. Let c be w(9). Is 20 a factor of y(c)?
True
Let u = -52 - -72. Suppose -3*j - 2*i = 2*j - 210, -4*i + u = 0. Is j a multiple of 12?
False
Suppose 1 = 3*l + 4*r, -5*l + 0*l - 4*r + 7 = 0. Suppose -5*o + 2*q = 4*q - 233, l*o - 5*q - 146 = 0. Suppose -5*x + o = -88. Does 9 divide x?
True
Suppose 0*b = 11*b. Suppose b = 3*p + 5*m - 420, 3*m = 2*p + 17 - 278. Does 14 divide p?
False
Let h(d) be the first derivative of -45*d**2 - 9*d - 5. Let f be h(-6). Does 12 divide f/12 + (-1)/4?
False
Suppose 0 = 5*t + 4*w - 4819, 2*t - 558 = -3*w + 1364. Is 40 a factor of t?
False
Suppose -75*r = -72*r - g - 2258, g = -2. Does 94 divide r?
True
Suppose -4*j - 3*a = j - 37, 5*j = 2*a + 17. Suppose -480 = -5*o - j*v, o - 3*v - 81 = -v. Is 11 a factor of o?
False
Let h(o) = -o**2 + 11*o + 3. Let 