
True
Let c = 15 - -7. Is (-8 + 7)/((-2)/c) even?
False
Let o = 7 - 14. Let t(y) = -y**3 - 7*y**2 + 3. Let i be t(o). Suppose -5*a - 5*r + 5 = 0, -i*a - r + 8 = -5. Does 3 divide a?
True
Let z be (2 + 21/(-6))/(1/(-50)). Suppose 0 = 3*t - z. Is t a multiple of 3?
False
Let f(m) be the second derivative of m**3/6 - m**2/2 + 8*m. Let s be f(5). Suppose 5*g = -2*i + 25, -s*g - i + 20 = -2*i. Is g a multiple of 5?
True
Let r(f) = f**3 - 9*f**2 + 11*f + 3. Suppose 3 = v + 5*m, 0 = -0*v - 2*v - 3*m + 13. Is r(v) a multiple of 9?
True
Let i(z) be the second derivative of z**4/6 - z**3/2 + 5*z**2/2 - 2*z. Let a be i(3). Suppose -l = -3*l + a. Does 3 divide l?
False
Suppose 0 = -4*b + 2*b - 4*t + 32, -t = 4*b - 50. Suppose 4*l + 8 = 4*q, -5*q + 5*l = -q - b. Is 7 a factor of 141/18*q*-3?
False
Let t = -2867 + 5145. Is 34 a factor of t?
True
Let o(d) = 2*d**3 + 11*d**2 + d + 15. Let w be o(-6). Let g = w + 57. Is g a multiple of 10?
True
Suppose 0 = -3*z - 0 + 6, 2*w + 3*z = 10. Suppose -4*v = -2*b - 782, -3*v + 945 = w*v + 4*b. Is v a multiple of 36?
False
Suppose -4*t + 2437 - 461 = 0. Does 19 divide t?
True
Let i be -1*-1*138 + -2 + 4. Let r = i + -34. Is 53 a factor of r?
True
Suppose -6*z + 7*z = -9. Is (z - -26)*(2 + -1 + 0) a multiple of 13?
False
Let x(f) = 2*f**2 - 6*f - 4. Is x(8) even?
True
Suppose 5*t + 425 = 2*h, -h - 11*t = -12*t - 208. Is 8 a factor of h?
False
Let w = 28 - 11. Suppose -t = -3*p + 7, p - t + w = 4*p. Suppose -y + 455 = p*y. Does 13 divide y?
True
Suppose -291 = -3*l + 129. Is l a multiple of 70?
True
Suppose s + 4*s - 1497 = 4*y, -3*y = 5*s - 1476. Does 11 divide s?
True
Let s(l) = l**2 + 7*l - 9. Let n be ((-48)/9)/4*-3. Is 10 a factor of s(n)?
False
Let x(t) = 6*t**2 - 21*t - 67. Does 11 divide x(-17)?
True
Does 33 divide 13419/135 + 4/(-10)?
True
Let c be -1 + 21 + -1*2. Suppose -3*h = -5*h - c. Let j(l) = -5*l + 3. Is 12 a factor of j(h)?
True
Let p(t) = -24*t - 2. Let z be p(-9). Let q = 314 - z. Does 15 divide q?
False
Let z be 45/25 - 4/5. Let k(p) = 15*p**2 - p. Is k(z) a multiple of 14?
True
Let w be 9*(3 - (-29)/3). Is w - 2/((-2)/(-3)) a multiple of 37?
True
Let w(d) = 16*d - 4. Let x be w(13). Suppose 10*o + 44 = x. Is 16 a factor of o?
True
Let u(i) = -i**3 - 3*i**2 + 4*i + 12. Suppose -4*a = 4*b - 8*a + 12, 0 = b + 2*a + 15. Is 10 a factor of u(b)?
True
Let l = 426 + -294. Suppose -2*y = y - l. Suppose -y = -2*u + 28. Is u a multiple of 23?
False
Let b be (-1)/((-1 + -2)/(-24)). Let y(n) = 19*n + 3. Let a(c) = 13*c + 2. Let k(l) = b*a(l) + 5*y(l). Is k(-1) a multiple of 8?
True
Let u(z) = z**2 + 50*z + 1. Does 23 divide u(14)?
True
Is 14/2 + (766 - -14) a multiple of 29?
False
Let m(k) = 6*k**3 - 8*k**2 - 27 + 16 + 2*k + 13. Is m(3) a multiple of 7?
True
Let y be ((-27)/15 - -1)/(2/(-15)). Suppose 903 = 4*v - 5*r, -5*r + y*r + 691 = 3*v. Does 15 divide v?
False
Let x(c) = -c**3 + 14*c**2 - 14*c + 15. Let v be x(13). Suppose 5*y = -2*i + 4*i + 361, v*i = -3*y + 207. Let f = y + -10. Is f a multiple of 17?
False
Suppose a = 4*a + 2*m + 86, -2*m + 94 = -3*a. Let l = -21 - a. Does 4 divide l?
False
Let j(v) = 15*v - 36. Let p = -56 - -69. Does 53 divide j(p)?
True
Let f be (-2 - 244/(-5)) + 15/75. Let m = f + 63. Does 8 divide m?
False
Let s = 38 - 17. Suppose -s - 474 = -5*y. Is y a multiple of 13?
False
Is 89 a factor of (9/(-3))/(2/(-890))?
True
Does 4 divide 36/42 + (-6324)/(-21)?
False
Let a(v) = 5*v**2 - 11*v + 3. Let u(n) = -n**2 + 1. Let x(k) = a(k) + 4*u(k). Suppose 2*p - 22 = -0. Is x(p) a multiple of 2?
False
Suppose 108 = -4*h - 5*i + i, -5*h + 2*i = 100. Suppose -4*t - u + 96 = 7, 0 = -t - u + 23. Is 17 a factor of (-4)/t - 1566/h?
False
Is 34 a factor of 78/6 + -15 - (-1 + -3253)?
False
Let h = 28 - 24. Suppose -490 = -3*o - h*o. Is 12 a factor of o?
False
Suppose z = -0*z - 38. Let v = 63 + z. Suppose -5*p + v = 0, -3*o = -0*o + 3*p - 114. Does 11 divide o?
True
Let n = 3 - -2. Let r be 12*(20/12)/n. Suppose -d - 122 = -6*d + 3*k, r*d = -4*k + 104. Is d a multiple of 5?
True
Suppose -2*n + 688 = -3*q, 0*q - 3*q - 6 = 0. Does 3 divide n?
False
Does 17 divide 10*(-18)/(-30) - -548?
False
Let u be (-14)/(-7) - (1 - -1). Suppose 3*s - 71 - 10 = u. Does 27 divide s?
True
Suppose -5*n = 2*o + 16, 0*o - 4 = -n - 4*o. Let j be (-17 + -1)/((-6)/n). Is 8 a factor of 3/12 - 189/j?
True
Let j(f) = 25*f**2 - 2*f + 4. Let x be j(-5). Let m = 170 - 158. Is x/15 - m/20 a multiple of 14?
True
Let y = -6 - -10. Suppose -y*g - 50 = i - 3*i, 4*i - 70 = 5*g. Does 8 divide (84/35)/((-3)/g)?
True
Suppose 0 = 4*v + v - 2795. Does 11 divide ((-24)/15)/(-8) + v/5?
False
Suppose -1571 = -4*o + 3*w + 2361, -2*o + 2*w = -1968. Is 35 a factor of o?
True
Let x(y) be the first derivative of 7*y - 5 - 1/3*y**3 + 6*y**2. Is x(9) a multiple of 17?
True
Suppose 0 = 7*k - 4*k - 6. Suppose 572 = -k*j - 20. Does 32 divide (j/20 - -2)*-5?
True
Suppose 3*w = 8*w - 80. Suppose -4 - w = -4*h. Suppose -13 = -5*r - 0*d - d, 10 = -h*d. Does 3 divide r?
True
Let t(m) = 2*m**2 - 34*m + 105. Is 39 a factor of t(35)?
True
Let b be (2 + -1)/(5/10). Suppose 5*t - 33 = f + 55, b*t = -4*f + 22. Suppose 75 = -12*x + t*x. Is x a multiple of 15?
True
Suppose x - 114 - 321 = 5*n, -2*x + 902 = -2*n. Is x a multiple of 36?
False
Suppose 3*u - 5*r + 15 = 0, u = 2*u + 3*r - 9. Suppose u = 7*s - s - 534. Does 13 divide s?
False
Suppose -6*w - 5*w + 20526 = 0. Is w a multiple of 22?
False
Let l(k) = 516*k - 22. Does 5 divide l(1)?
False
Let r be ((-39)/(-26))/((-3)/44). Let k = r + 31. Is k a multiple of 3?
True
Let r be 2/7 + (-82)/(-7)*1. Suppose 2*i - r*i = -1520. Is i a multiple of 8?
True
Let g(x) = x**3 - 3*x**2 + x. Let c be g(5). Let n = c - 39. Is 2 a factor of n?
True
Let k = -1 + 1. Suppose 5*j - 4*j = k. Suppose j = -4*x - c + 47, -4*c - 59 = -3*x - 0*x. Is 13 a factor of x?
True
Let j be 3*4*(-28)/(-12). Let p be 34/(-9) - j/126. Does 13 divide 10*(1 + (-4)/p)?
False
Let v(c) = 35*c**2 + 14*c - 113. Is 32 a factor of v(13)?
True
Let y be 136/32 + (-2)/8. Does 4 divide (7 - 3 - y) + 16?
True
Let m(f) = f**3 - 20*f**2 - 22*f + 27. Let a be m(21). Let r = a - -8. Is r a multiple of 14?
True
Let d(u) = u**3 + 4*u**2 + 2*u - 1. Let x be d(-2). Suppose -4*q = 5*g + 6 - 4, q + x = 0. Suppose 8 = -p + g*p. Is 2 a factor of p?
True
Suppose 4*t - 2*v - 22 = 0, -4*t + 1 = 4*v - 3. Is 12 a factor of (-4)/(t/(-3)) + (-1 - -22)?
True
Suppose 0 = 4*b + 4 - 24. Suppose 0 = -b*t - 3*d + 6*d + 345, -t + 77 = d. Is t a multiple of 24?
True
Let p = -4 - 17. Does 12 divide (-2 - p/6)*406/21?
False
Let f(v) = -13*v - 185. Is 9 a factor of f(-26)?
True
Suppose -m - 9*m = -20. Suppose -t + 23 = 2*t + 4*u, 21 = t - m*u. Does 3 divide t?
False
Let i(b) = -5*b + 255. Does 20 divide i(30)?
False
Suppose 0 = 3*d + 12, 28 = 4*p - 3*d + d. Suppose -p*u - z = 2*z - 189, -129 = -4*u + 5*z. Is 22 a factor of u?
False
Let q = 47 + 810. Is q a multiple of 22?
False
Does 22 divide 643 - ((-4 - -9) + 0)?
True
Suppose 10*s + k + 7 = 5*s, 5*s - k = -13. Let j(l) = l**2 - 1. Let f be j(s). Suppose -f*x = -4*m + 17 + 49, -3*m - 2*x + 58 = 0. Is 4 a factor of m?
False
Let w(f) = 3*f - 4. Suppose 3*y - 12 = 2*y - 5*q, -y = -4*q + 15. Let p be w(y). Let n = p + 32. Does 19 divide n?
True
Let o(n) = -67*n - 1. Let c be o(-1). Suppose c = -4*m + 214. Does 16 divide m?
False
Let n = -138 + 223. Does 5 divide n?
True
Suppose 18*p = 21*p - 81. Let c = 29 - p. Suppose 0 = -c*s + 26 + 28. Is s a multiple of 5?
False
Suppose -k + 70 = 5*b, 3*b = 5*b + 5*k - 5. Suppose -8*y = -b*y + 1386. Is 18 a factor of y?
True
Let z(k) be the second derivative of 20*k**3 + 2*k**2 - 3*k. Is 31 a factor of z(1)?
True
Let v be 0/((3 - 0) + -4). Suppose 2*c + v*c + 4*b = 72, -3*b + 99 = 3*c. Does 5 divide c?
True
Let t be 0*(15/6 - 3). Suppose t = -3*z - f + 11, 14 + 2 = -2*z + 4*f. Does 18 divide (0 - -74) + (0 - z)?
True
Suppose 5*q = -2*z + 106 - 41, -q + 3*z + 30 = 0. Let n(y) be the second derivative of y**3/6 - 2*y**2 + 20*y. Is n(q) a multiple of 4?
False
Let p(r) = -10*r**2 - 19*r**2 + 10*r**2 - 5*r + 5 - 2. Let m be p(3). Let d = m + 303. Is d a multiple of 27?
False
Let x be (2 - 3)/(1/(-5)). Suppose -4*y + 561 = x*j, -6*y + 2*y = -3*j + 311. Does 21 divide j?
False
Let n(b) = b**3 - 3*b - 3. Let f be 