uppose -r = -6*r - 25. Let j(m) = -m**3 - 5*m**2 - m + 7. Let o be j(r). Let f(n) = n**3 - 13*n**2 + 12*n + 10. Is 5 a factor of f(o)?
True
Let k = -26 - -26. Suppose 8*i - 3*i + 70 = k. Is 19 a factor of 14/(-2)*i - 3?
True
Let s be 40*2 + 0/(-4). Let l = s - 31. Does 13 divide l?
False
Let l(z) = -z**2 + 7*z + 4. Let c = 12 - 5. Let a be l(c). Suppose 24 - 108 = -a*m. Is m a multiple of 11?
False
Let r(t) be the second derivative of -t**4/12 - 8*t**3/3 - 7*t**2/2 - 15*t. Suppose 5*n + 60 = -4*f, 4*n + 2*f = -3*f - 48. Does 9 divide r(n)?
False
Is (-3296)/(-14) - ((-224)/49 - -4) a multiple of 9?
False
Let c = 613 + -577. Is c a multiple of 12?
True
Let r(k) = -k + 5. Let j be r(-4). Suppose 58 + 26 = 28*g. Let h = j + g. Does 7 divide h?
False
Suppose 3*k + 5*j + 10 = -2*k, -2*k - 3*j = 0. Does 10 divide 3/(k/(-4)) - -108?
True
Suppose 11*j = 2267 - 738. Is j a multiple of 33?
False
Let y(b) = 2*b - 6. Let o be y(5). Suppose 22 = 2*r - 2*a, o*r = 2*r + 4*a + 32. Is 2 a factor of r?
True
Suppose -4*i + 0*i = 0. Let r be 46 - ((-24)/6 - -6). Suppose 4*q - 8 - r = i. Does 7 divide q?
False
Suppose -5*r = 4*m - 28, 0 = -0*m - 3*m - 5*r + 16. Suppose 0*k - m = -4*k. Is (k/(-2))/(27/(-252)) a multiple of 7?
True
Is 16/120 + 32995/75*2 a multiple of 5?
True
Let l(b) = 11*b**3 - 6*b**2 + 43*b - 3. Does 22 divide l(6)?
False
Suppose -3398 + 1162 = -4*o. Is o a multiple of 18?
False
Let h(v) = -v**2 - 6*v - 3. Let d be h(-2). Suppose 95 = d*g - 5*x, 2*g + 0*x - x = 34. Let k = 29 - g. Does 11 divide k?
False
Suppose 4*k = 2 + 6. Suppose -207 = -2*c - 3*j, k*j - 3 = 3. Is 12 a factor of c?
False
Let q(i) = -6*i - 3. Let k be q(2). Let o = k - -37. Is o a multiple of 11?
True
Let y be (2 - 0 - 4)/(-2). Is (3 - 2)/(y/5) a multiple of 5?
True
Let v(s) be the second derivative of 9*s**3/2 - 17*s**2 - 7*s. Is 16 a factor of v(6)?
True
Is 18 a factor of (28/(-1))/(12/(-54))?
True
Let s = 10 + -6. Suppose 4*x - s*p = 24, 0*p = -3*x - 4*p - 3. Suppose -16 = -x*c + c. Does 4 divide c?
True
Let g be 1/2 - 33/(-22). Suppose -n + 15 = 5*a, 3*a + 3 = -n - g*n. Suppose 65 = a*q - 103. Is q a multiple of 22?
False
Suppose -645 = -8*p - 7*p. Is p a multiple of 12?
False
Suppose 78 = -11*j - 65. Let v = 61 + j. Is v a multiple of 22?
False
Let o = 6016 + -13102. Let u = o + 5046. Is 35 a factor of (-8)/(-28) + u/(-14)?
False
Let k = -6 + 9. Suppose 3*t - 417 = -t + k*o, 5*o = t - 117. Is 17 a factor of t?
True
Suppose -4*c + 4*q = q - 5, -c + 4 = 2*q. Suppose 284 = c*v + 20. Is 31 a factor of v?
False
Let b(u) = -u**2 - 44*u - 234. Is b(-23) a multiple of 4?
False
Let d(x) be the second derivative of x**4/4 - 3*x**2 + 6*x. Let p be d(6). Suppose 0*g = -4*s - 2*g + p, -81 = -4*s + 5*g. Is 12 a factor of s?
True
Let l(y) = -y**2 + 30*y - 25. Is l(21) a multiple of 19?
False
Is (-10)/(1 + -11) + (-655)/(-1) a multiple of 4?
True
Let x(u) = -3*u**3 + u**2 - 1. Let i be x(-1). Suppose i*j - 24 = -c + 19, j - 2 = 0. Suppose q = 5 + c. Does 15 divide q?
False
Let q(k) = 3*k**2 + 23*k + 20. Does 30 divide q(11)?
False
Suppose 0 = -9*r + 5*r + 20. Suppose 0 = -r*o + 5 + 10. Let u = 5 + o. Does 3 divide u?
False
Let s(a) = 213*a - 1. Let w be s(2). Suppose -5*j = -0*j - w. Suppose 0 = -4*p - 9*d + 4*d + 73, 0 = -5*p - 5*d + j. Is p a multiple of 3?
True
Let b(q) = q**2 + 6*q - 6. Let f be (-8)/(1 - 2) + 0. Let g be b(f). Suppose -39 = -5*n + g. Is n a multiple of 10?
False
Suppose 5*a - 16 = a. Let n = -65 + 134. Suppose 5*g + 5 = 0, a*k - g - 148 = n. Is 20 a factor of k?
False
Let x(y) = 10*y. Let k be x(1). Let v(z) = 2 - 1 - 1 + 13*z + 2*z**2 + k. Is 10 a factor of v(-8)?
False
Let z(q) = -6*q - 21. Let h be z(-5). Let f(g) = g**3 - 9*g**2 + 8*g - 11. Is 19 a factor of f(h)?
False
Let a be (-137 + 3)*(3 - 5). Let s = 185 - a. Does 5 divide s/(-5) + 3/(-5)?
False
Suppose 2*o - 67 = o - 5*z, 5*o + 4*z = 230. Suppose 3*x - o = 27. Is x a multiple of 6?
False
Let b(s) = -s**3 - 19*s**2 - 9*s + 63. Is 14 a factor of b(-21)?
True
Let b(d) = d**2 - 7*d + 3. Let q be b(7). Suppose -2*k - 4*t - 6 = -2, -5*k + t + 23 = 0. Suppose -25 = -2*x - j, 0 = k*x - 2*x + q*j - 31. Is 8 a factor of x?
False
Suppose -51 - 5 = 4*i. Let c = 18 + i. Suppose -3*s + 6*s + 5*d = 189, -3*s + 192 = c*d. Is 34 a factor of s?
True
Let o(c) = 27*c**2 - 52*c + 8. Is 60 a factor of o(8)?
True
Suppose 2*t - 10 = -3*i + 637, 2*t - 209 = -i. Is i a multiple of 13?
False
Let o(f) = -f**2 + 23*f. Is o(14) a multiple of 14?
True
Let m = 108 - 64. Let u = 52 + m. Suppose 5*s - 2*s = u. Does 16 divide s?
True
Suppose -y + 1037 - 134 = 0. Suppose -10*t + y = -57. Is 16 a factor of t?
True
Let u = 194 - 129. Suppose u = 3*j - 2*j. Does 13 divide j?
True
Suppose 0 = 3*z, -7*k + 3*z - 6360 = -12*k. Is 8 a factor of k?
True
Suppose 2*a - 2 = 66. Let c = 62 - a. Let z = 40 - c. Is 8 a factor of z?
False
Let a(s) = 2*s**2 + s - 7. Let l be a(-7). Let o(j) = 9*j + 38. Let c be o(-4). Suppose h = -c*n + 24, 4*h + 6*n - l = 4*n. Is h a multiple of 10?
True
Suppose a + w + 5 = 0, -3*w - 15 = -0*w. Let z(k) = k + 78. Is 26 a factor of z(a)?
True
Let q = -130 + 364. Does 30 divide q?
False
Suppose 13*u + 2644 = 8494. Is 9 a factor of u?
True
Suppose -2*x + o = x + 37, -3*x - o - 35 = 0. Let p(m) = m**3 + 11*m**2 - 17*m + 10. Is 8 a factor of p(x)?
False
Suppose 4*p + 2*w + w = 1481, 3*w = p - 389. Is 8 a factor of p?
False
Let d be -2 - -4 - 378/(-1) - -4. Let c = d - 197. Does 25 divide c?
False
Suppose 545 = f + 141. Suppose -2*x = 2*i - 400, f = -5*x + 7*x + 3*i. Is 49 a factor of x?
True
Suppose 2*n + 3204 = 4*k - 3312, -8160 = -5*k - 5*n. Let h be (-1)/(-6) - k/(-12). Suppose 2*s = -6*s + h. Is 3 a factor of s?
False
Let f = -12 - -16. Let j = 5 - f. Is 3 a factor of (j + 2)*1 + 3?
True
Suppose 3*u + 2*h = h + 55, -5*u + 93 = 3*h. Let j = -14 + u. Suppose -j*o + 12 = -3*o. Is 6 a factor of o?
True
Suppose 0 = w + 4*g - 491, 13*w - 2*g + 1978 = 17*w. Is 15 a factor of w?
True
Let n = -19 - -14. Let o = -10 - n. Does 13 divide o/(-15) - 143/(-3)?
False
Suppose -3*d + 2*p + 172 = p, 4*d + 3*p = 225. Is d a multiple of 2?
False
Suppose 68 = 4*k + 5*t, 3*k - 3*t = 34 + 17. Is (k + -11)/((-3)/(-2)) a multiple of 4?
True
Suppose 0 = 4*f - 5*z - 2023, 4*f - 2028 = -0*z + 4*z. Does 15 divide f?
False
Let j = 70 + -22. Let g be ((-4)/10)/(-1 - 24/(-30)). Suppose j = -0*v + g*v. Is v a multiple of 9?
False
Let b(r) = -6*r**3 + 21*r**2 - 4*r + 29. Let h(o) = 5*o**3 - 20*o**2 + 4*o - 28. Let s(k) = 4*b(k) + 5*h(k). Is 10 a factor of s(16)?
True
Let o(b) = 36*b + 5. Let t be o(9). Suppose 4*x = t + 123. Suppose 4*f + 21 = x. Is 18 a factor of f?
False
Let r(q) = q**3 + 4*q**2 - 4*q - 10. Let b be r(-4). Is 5 a factor of ((-56)/b)/(-2 - 23/(-12))?
False
Let f be -3 - 2/(-4)*8. Let w(v) = 58*v**3 - v**2 + 1. Let o be w(f). Suppose 3*j - d - o = 0, 5*d + 79 = 4*j + 2*d. Is 6 a factor of j?
False
Let w = -252 + 247. Let j(u) = -5 - 4*u - 5 - 5*u. Is 21 a factor of j(w)?
False
Is 14 a factor of ((70/3)/5)/(2/222)?
True
Let q be (10*(-2)/16)/(1/(-108)). Suppose -q = -12*p + 9. Does 12 divide p?
True
Let i(y) = -y**3 - 4*y**2 - 2*y + 4. Let l be 24/(-9) - 2/6. Let n be i(l). Is (15/(2 + 1))/n even?
False
Let r be -1 + 1 + (11 - -6). Suppose 5*h = -r + 2. Does 24 divide (12/14)/(h/(-252))?
True
Suppose m - 4*c + 1572 = 5*m, -5*c - 1608 = -4*m. Is 8 a factor of m?
False
Is 15 a factor of (525/14)/(1/(2 - -6))?
True
Suppose 53 = -4*h - 35. Let u = -16 - h. Is 549/u - (-5)/10 a multiple of 23?
True
Let b = 5527 + -2446. Is 39 a factor of b?
True
Let j(h) = h**2 - 8*h + 13. Let b be j(7). Suppose b*v - 64 = 5*v. Is 4 a factor of v?
True
Let w = 34 + 110. Let b(t) = t**2 + 16*t + 3. Let d be b(-16). Suppose -d*f + w + 213 = 0. Is f a multiple of 22?
False
Suppose 0*f + f - 5*t = -229, 0 = -t + 1. Let q = -104 - f. Is q a multiple of 10?
True
Let i be (-2 - -2)*8/(-16). Let b = i + -42. Let g = b - -74. Is 11 a factor of g?
False
Suppose -5*u - 4*v = -17142, -155*u = -156*u - 5*v + 3420. Is 98 a factor of u?
True
Let r be (0 - -5)*(-1 - -2). Let t be (-10)/(-2)*1/r. Does 2 divide (t + 0)/(14/56)?
True
Let k(o) = -o**3 - 5*o**2 - 8*o - 20. Does 7 divide k(-6)?
False
Let m be (-4)/14 + 92/28 - -79. Let x = 280 - m. Is 33 a factor of x?
True
Let d = 