r(l) a multiple of 3?
False
Let x(n) = -25*n + 33. Let g(z) = z. Let y(h) = -4*g(h) - x(h). Is 29 a factor of y(9)?
False
Let c(h) = -h**2 + 11*h - 10. Let y be c(10). Suppose -4*l + 20 = -y*l. Suppose 10*f + 4*k = 5*f + 307, -l*k = -15. Does 14 divide f?
False
Let n = 2 - 0. Suppose 0 = d + 5*z + 4, 5*d + n*z + 0*z - 26 = 0. Is 4 a factor of (5 - d)*1*-9?
False
Suppose -2*m = 3*m - 20. Suppose m*u = u. Suppose 2*i - 7*i + 35 = u. Is 7 a factor of i?
True
Suppose 14*l - 3981 = -1097. Suppose l = 2*v - 136. Does 13 divide v?
False
Does 6 divide (124/6)/((-6)/(-36))?
False
Suppose 71*q - 73*q + 2401 = f, 1 = f. Is q a multiple of 16?
True
Let y(a) = -a + 7. Let b = -8 + 12. Let i be y(b). Is 25 a factor of (35*2 - -1) + i?
False
Is (-144)/264 - (-5)/(110/73668) a multiple of 27?
True
Suppose 2*v - 1 = 1. Let y(c) = -15*c - 8*c + 39*c. Is 7 a factor of y(v)?
False
Let x(d) = -d**3 + 13*d**2 - 14*d - 15. Does 2 divide x(11)?
False
Suppose 3*b - 10 = -z, 0 = b + z - 6*z - 30. Suppose b*u = 4*t - 271, 2*u + 1 - 85 = -t. Is 11 a factor of t?
False
Does 43 divide -6 - -2607 - 12 - 9?
True
Let z(o) = 9*o + 1. Let j be z(0). Suppose -10 = 5*a - 0*a. Is 5 a factor of j/(-1*a/38)?
False
Suppose 25*j - 7360 - 3215 = 0. Is j a multiple of 5?
False
Let o(q) = -q**3 + 8*q**2 + 3*q + 7. Is o(8) a multiple of 31?
True
Let w(c) = c**3 + 14*c**2 + 9*c - 32. Suppose -50 = 4*q - k + 4, q - 4*k + 21 = 0. Is 10 a factor of w(q)?
True
Let b(r) = r**2 - 5*r - 4. Let c be b(6). Suppose -l + 276 = c*l. Does 19 divide l?
False
Let c be 3/(9/(-12)) + -2. Let k = -2 - c. Let n(d) = d**3 - 5*d**2 + 5*d + 2. Is n(k) a multiple of 3?
True
Suppose 84*b - 17578 = 67*b. Does 47 divide b?
True
Let o(g) = 22*g**2 + 3*g + 3. Let i be o(-1). Is (-2 - 0/(-2)) + i a multiple of 17?
False
Suppose -3*g + 10 - 4 = 0. Suppose g*d - k = -0*k + 192, -293 = -3*d + 4*k. Does 19 divide d?
True
Suppose -7*f + 10 = -4. Suppose -2*o + 284 = f*o. Is o a multiple of 17?
False
Let v(d) = 3*d**2 + 56*d + 12. Is 36 a factor of v(-24)?
True
Suppose k = 17 - 14. Suppose 0 = 3*i + i. Suppose i*q = k*q - 54. Is q a multiple of 18?
True
Let g(k) = -2*k - 24. Let s be g(10). Let t = s - -95. Does 17 divide t?
True
Suppose -20 = 5*n, p + 0*p = 2*n + 4. Let z be 2/p + (-436)/(-8). Is z/(-15)*(-135)/6 a multiple of 15?
False
Suppose -630 = 12*o - 15*o. Is 15 a factor of o?
True
Suppose 0 = l + 3*q - 8*q + 5, 4*l + 5*q = 5. Suppose l = 17*j - 16*j. Let a = 41 + j. Does 11 divide a?
False
Suppose -5*v + 5*p = -6040, -44*v = -47*v - 5*p + 3632. Is v a multiple of 24?
False
Suppose 477 = -i + 2*p + 1326, 5*p = -5. Is i a multiple of 72?
False
Let t(a) = 2*a - 10. Let s be t(6). Suppose s*h = 3*c - 20 - 6, 0 = -2*c + 2*h + 20. Suppose c*w = -0*w + 198. Is 33 a factor of w?
True
Let o = 1818 + -1130. Is o a multiple of 16?
True
Is 7 a factor of (-3546)/12*(-22)/33?
False
Let u = 1 + 2. Suppose -4*r + u*r = -14. Suppose 11*c = r*c - 51. Is 17 a factor of c?
True
Suppose -3*y + 8 = 2*w - 5, w + 11 = 2*y. Suppose 0*i + 40 = y*k + 5*i, 5*i = 2*k + 12. Suppose -k*p - 3*q = -308, 4*p + 0*q = -q + 316. Does 20 divide p?
True
Suppose 0 = 18*g - 14*g + 12, -5*o + 528 = 4*g. Is o a multiple of 27?
True
Let g = 2975 + -597. Is g a multiple of 20?
False
Let p(k) = 2*k + 12. Let b be p(-5). Suppose 5 - 1 = b*j. Let z = 26 - j. Is 24 a factor of z?
True
Let y be -25 + (1 - 4)/3. Let w be ((-8)/6)/(y/39). Is 25 a factor of 1/w + 1639/22?
True
Suppose -25*c + 22*c + 1560 = 0. Suppose 0 = -4*h - 6*h + c. Is 15 a factor of h?
False
Let i(w) = 5*w**2 - 15*w + 46. Does 62 divide i(7)?
True
Suppose -7*w = -4*w - 9. Suppose 5*z = w*z + 8, -4*z + 16 = d. Suppose -4*l + 5*l - 16 = d. Does 8 divide l?
True
Suppose 0 = -4*b, 0 = -x + b + 1120 + 134. Does 11 divide x?
True
Let p = -977 + 2180. Does 19 divide p?
False
Let l(d) = d**3 + 12*d**2 + 11*d + 2. Let p be l(-11). Suppose -p*g = g - 45. Is 2 a factor of g?
False
Let k(q) = -q**2 - 4*q + 107. Let r be k(0). Suppose 0 = -9*p + 10 + r. Is p even?
False
Suppose 0 = -19*s + 9*s + 3960. Is 64 a factor of s?
False
Let c be -18 + 2 + 1*-4. Let h = c - -48. Is h a multiple of 18?
False
Let j = 9 - 6. Suppose -4*q = 5*a - 22 - 4, -5*a + 22 = 3*q. Suppose -j*l - 3*s = -9, l + 2*l + q*s = 10. Does 2 divide l?
True
Suppose 17848 = 5*t + 2*w, 0*t = 4*t - w - 14281. Does 16 divide t?
False
Let o(c) = 463*c + 1. Let l be o(2). Suppose -5*a = -2*a + l. Is 5 a factor of 4/14 - a/21?
True
Suppose 4 = -8*n + 100. Does 3 divide n?
True
Let t(h) = -h**3 + 2*h**2 + 7*h - 2. Let o be t(-4). Suppose 82 = 2*v + 3*y - o, 74 = v - y. Is v a multiple of 37?
True
Suppose 389 = -59*t + 2041. Is t even?
True
Let n(t) = 7*t**2 + t - 13. Let i(b) = b**2 - 1. Let a(k) = 3*k**2 - 2. Let s be a(-1). Let u(x) = s*n(x) - 6*i(x). Is 14 a factor of u(7)?
False
Let f be 4/3*-213*-1. Suppose 4*p = f + 120. Does 26 divide p?
False
Let q = -15 - -20. Suppose q*t - 56 = 64. Is t a multiple of 11?
False
Let s = -8 + -2. Let t be (-144)/s*60/9. Suppose 2*g = -4*x + 256, -g = -5*x + t + 238. Is 22 a factor of x?
True
Let r(b) = -2*b**2 - 10*b + 4. Let u be r(-4). Suppose u = -2*n + 38. Does 13 divide n?
True
Suppose j - 5*d + 1 = 0, 0*j + 5*d = -3*j + 37. Let k be (-8)/(-6) - (-609)/j. Suppose 530 = 5*p + 5*c, 4*c = 4*p - 477 + k. Is p a multiple of 29?
False
Suppose -k + j - 222 = -2*k, -2*k + 3*j = -419. Suppose -2*y = 5*x - 413, 2*y + k + 18 = 3*x. Does 27 divide x?
True
Let x = -266 - -98. Let i = -112 - x. Is 25 a factor of i?
False
Let a(h) be the first derivative of 11*h**2/2 - 26*h + 8. Is 24 a factor of a(12)?
False
Suppose 5 = 4*d - 3. Let l be 64/(-48) + 4/(-3)*-121. Suppose -d*j + l = 2*j. Is 16 a factor of j?
False
Let p be (-1)/(1 + (-20)/16). Let g be 11 + -13 + 0 + p. Does 8 divide 31 - g*1/(-2)?
True
Suppose u + s = 8, -5*s = -2*u + 3*u - 28. Is 18 a factor of (-1 - u - -2)*-22?
False
Suppose -26*t + 11243 + 1237 = 0. Is 15 a factor of t?
True
Let a be 2/(-5)*341/22*-5. Let s = -5 + a. Does 11 divide s?
False
Suppose -2*x = -2*r + 224, r - 12*x + 13*x = 122. Let n = -21 + r. Does 12 divide n?
True
Suppose 0 = 2*k - 2*p + 4, -6 = 5*k - 2*p + p. Let r = 136 + 18. Is 4 a factor of r/33*(2 - k)?
False
Let n(u) = u**2 - 33*u + 42. Is 3 a factor of n(42)?
True
Let s = -324 - -119. Let i be -1 - s/(1 + -6). Is (-2)/3 + (-3850)/i a multiple of 13?
True
Suppose -3*g = -g - y - 269, 0 = 4*g - 5*y - 547. Suppose -l = 3*v - 157, -2*v + g = -5*l - 0*l. Is v a multiple of 14?
False
Suppose -5*g - 270 = 5*l - 0*g, 3*l - 3*g + 186 = 0. Let r = 94 + l. Does 18 divide r?
True
Let n(t) be the third derivative of 21*t**5/20 + t**3/3 + 16*t**2. Does 17 divide n(1)?
False
Let v(z) = z**2 + 9*z + 5. Let l = 73 + -34. Suppose -3*b = -3*k + 6*k + l, -2*b = -2*k - 10. Is 3 a factor of v(k)?
False
Let g = -68 - -146. Does 3 divide g?
True
Suppose 0 = -0*z - z + 12. Suppose 5*r + 34 = -16. Let i = r + z. Is i a multiple of 2?
True
Suppose 22*a = 5*m + 18*a - 2533, -4*m + 2*a + 2024 = 0. Does 15 divide m?
False
Suppose -4*o - k = -20, 3*k - 4 - 8 = 0. Let q be 34/4 + (-2)/o. Let v(c) = -c**2 + 11*c - 10. Is v(q) a multiple of 5?
False
Let p be (5 + 28 - -2) + -5. Is (p/20)/((-9)/(-114)) even?
False
Suppose l + 232 = 3*o - 3*l, 0 = -o - l + 68. Suppose -9*n = -10*n + o. Is n a multiple of 18?
True
Let x(p) = -p**3 + 3*p**2 + 2*p + 1. Let d be x(4). Let a = 23 + d. Does 2 divide (2 + a/(-12))*6?
True
Suppose 2*q + 489 = j, -2*q - 3*j = -j + 480. Let p be q/(-45) + 4/(-10). Suppose -5*u + 76 + 130 = 3*i, -p*u = -4*i - 192. Does 20 divide u?
True
Suppose 2*k - 12 = -4*k. Suppose -3*a + 64 = 4*j, -k*j + 11 + 11 = a. Is 3 a factor of a?
False
Let o be ((-4)/(-12))/(1/15). Suppose -m + 12 + o = 0. Does 3 divide m?
False
Suppose t - 331 = 3*p + 86, 4*p = -4*t + 1716. Is t a multiple of 3?
True
Let p be -3 - (1 + 22)*-17. Suppose 0 = -6*t + p + 44. Is 27 a factor of t?
False
Let v(w) = 15*w + 1. Let n be v(1). Let o(u) = 2*u**2 + 12*u - 33. Let c be o(-8). Let h = c + n. Does 13 divide h?
False
Let w = -10 - -17. Let d = 1 - 0. Suppose -d = -n + w. Does 4 divide n?
True
Let l(x) = -x**3 - 9*x**2 - 9*x - 3. Let d be l(-8). Let u = 5 - d. Suppose -5*b + 196 + 29 = u. Does 13 divide b?
False
Let v be 25/(-2) + 30/(-20). Does 16 divide (v/(-7))/((-2)/(-4