 2*w + 4*d - 226. Suppose -4*i + 97 = 3*h + 2*h, -w = -5*h + i. Is 21 a factor of h?
True
Let i(h) = -2*h + 1. Let f be i(1). Let y be f/(-1) - (3 + -3). Does 4 divide 8/y + 2 + -4?
False
Let x(p) = 60*p**2 + p. Let h be x(-1). Suppose 3*v + 8 - h = 0. Is 10 a factor of v?
False
Let x(w) = w + 12. Is x(-6) a multiple of 3?
True
Let n(g) be the first derivative of g**3/3 - 5*g**2 + 16*g + 2. Is 9 a factor of n(11)?
True
Suppose 2369 = 20*y - 5051. Is y a multiple of 14?
False
Let p(l) = -l**2 - 11*l - 7. Suppose 5*m + 2*n = -46, 22 + 8 = -2*m + 5*n. Does 2 divide p(m)?
False
Let n = 158 - 71. Is 29 a factor of n?
True
Suppose -1 + 6 = -3*x - 2*s, -2*s = -3*x + 11. Is x/(0 - 4/(-92)) a multiple of 15?
False
Suppose -4*h + 4*t + 4 = 0, -3*h + 7*h + 4*t = 28. Suppose -7*y = -h*y - 75. Does 13 divide y?
False
Let l = 200 - 121. Is 12 a factor of l?
False
Let h(o) be the first derivative of -o**3/3 - 3*o**2/2 - 3*o + 1. Let w be h(-9). Is 0 - (-5)/((-5)/w) a multiple of 21?
False
Suppose -3*x - 6 = -0*x. Let p = x + -42. Let w = p + 62. Does 9 divide w?
True
Let c(f) = -f + 1. Let x be c(-5). Let a be (-3)/x*6*-1. Suppose a*y - 4*y + 13 = 0. Does 13 divide y?
True
Suppose u = -u + 6. Suppose 3*j - u = -5*i, -5*j = 4*i - 2*j. Suppose i*d + 4*v - 38 = 0, 3*d - v - 34 = -3*v. Is d a multiple of 4?
False
Let u = -6 - -9. Suppose -3*t + p + 66 = -u*p, -48 = -2*t + 4*p. Is 9 a factor of t?
True
Let d = 13 + -8. Suppose -d*u + 11 + 14 = 0. Does 3 divide u?
False
Let b be (8 + -10)*249/2. Is 2/(-4) - b/6 a multiple of 12?
False
Let k(x) = 0*x + 3*x**2 + 2*x**2 - 2 - x**3 + x + 0*x**2. Is k(4) a multiple of 13?
False
Let b = 5 - 1. Suppose -3*n + 3*s - 7 = 5, -b*n + 2*s = 6. Let x = 6 - n. Does 2 divide x?
False
Let t(d) = 9*d - 4. Let n(w) = -19*w + 7. Let g(z) = 3*n(z) + 5*t(z). Is 13 a factor of g(-4)?
False
Let d = -9 - -11. Suppose i - 13 + 0 = d*l, -4*i = -2*l - 40. Does 9 divide i?
True
Let n(k) = 12*k - 17. Is n(19) a multiple of 36?
False
Suppose 0*o + 2 = -2*o. Does 14 divide -1*-24*(0 - o)?
False
Suppose 16 = r - 11. Is 26 a factor of r?
False
Let b(n) = n**3 + 4*n**2 - 3*n - 2. Suppose 80 = 3*w - 0*s + 2*s, 2*w - 40 = -4*s. Let m be ((-10)/w)/(1/9). Is 16 a factor of b(m)?
True
Is 6 a factor of ((-11)/(-3))/(3/54)?
True
Let g(z) = -z + 1. Let u be g(1). Suppose j - 20 = -2*q, j - q - q = u. Is 9 a factor of j?
False
Let v be 0*(0 - -1 - 2). Let l = v + 12. Is l a multiple of 6?
True
Suppose -5*r = 0, 3*r - 18 = 4*l - 7*l. Suppose 2*w + 2*f = -2*w + l, w + f = -1. Let s = w + 22. Is s a multiple of 10?
False
Is 0 + 3/3 - -32 a multiple of 5?
False
Suppose -5*t = -t - 172. Is t a multiple of 28?
False
Suppose 0 = 5*g - 262 - 888. Is 23 a factor of g?
True
Let a(g) = -g**3 + g + 3. Let o be a(0). Let k(z) = 3*z + o*z + 5 - z + 1. Is k(8) a multiple of 20?
False
Let w be 2/(-6) + (-224)/21. Let z = 33 + w. Is 11 a factor of z?
True
Let a = 160 - 60. Is a a multiple of 25?
True
Let w(c) = c**3 - 9*c**2 + 7*c + 11. Let m be w(8). Let j be 71*((m - 1) + -1). Let y = 104 - j. Is y a multiple of 12?
False
Let n(a) = a - 3. Let k(s) = -s**2 - 9*s + 7. Let f be k(-9). Let x be n(f). Suppose 2*v = 5*q - 178, v + 144 = x*q - v. Does 17 divide q?
True
Suppose 2*l - 5*m - 17 = -2*m, 3*l = -2*m + 32. Is 2 a factor of l?
True
Suppose -47 = -g - 5*c, -335 = -5*g - 0*c - 5*c. Suppose -6*t = -2*t - g. Does 6 divide t?
True
Suppose -2*v - 4 = -6*v. Suppose -r + 5 - v = 0. Is 4 a factor of r?
True
Let c be 3*1*10/15. Suppose 4*w - 15 = -3*l - 3, c*w = -5*l + 34. Is l a multiple of 4?
True
Suppose -2*g = -q + 30, q + 5*g - 1 - 8 = 0. Is 7 a factor of q?
False
Suppose 9*f - 203 = 994. Is f a multiple of 16?
False
Let w(b) = b**2. Let x(v) = -4*v**2 - 11*v - 12. Let f(n) = -5*w(n) - x(n). Is f(10) a multiple of 11?
True
Suppose 5*m + 7 = 4*r + 2, r + 7 = 4*m. Suppose r*d - 114 = -4*f, -2*f + 74 = f - 2*d. Does 8 divide f?
False
Let h(k) = k**2 - 8*k + 15. Is h(7) a multiple of 4?
True
Suppose 2*s + 4*u - 64 + 6 = 0, 2*s - 5*u - 58 = 0. Let q be (2 - 1)*s*1. Suppose -q = 5*w - 6*w. Does 10 divide w?
False
Suppose -2*k + 0*k + 136 = 3*v, v = k - 63. Is k a multiple of 9?
False
Suppose 620 = 3*c + 2*c. Does 31 divide c?
True
Let f be 84/(-9)*(-117)/6. Suppose -4*k + 42 = -f. Suppose 2*d - k = -0*d. Is d a multiple of 19?
False
Suppose -6 = -0*t + t. Let j be 4/t*-6*1. Suppose 79 = j*b + 3*n, -2*n + 12 = b - 14. Is 8 a factor of b?
True
Let o = 4 + -4. Let i be (1 - o) + 138 + 0. Suppose -i = -5*j - 39. Is 7 a factor of j?
False
Let y(c) = -4*c**3 - 4*c**2 - 4*c - 4. Let l be 6/(-4) - 7/14. Is y(l) a multiple of 10?
True
Suppose 0 = -3*o - 4*x - 18, 3*o + 25 = -o - 5*x. Let g = 46 + o. Is 12 a factor of g?
True
Let l(j) = j**2 + 14*j + 35. Is 35 a factor of l(-14)?
True
Suppose -5*y - 15 = -5. Let o(m) = -m**2 - 3*m - 3. Let k be o(y). Let b = 32 - k. Is 16 a factor of b?
False
Let c(h) = -7*h - 15. Is c(-8) a multiple of 16?
False
Suppose 2*q = -34 + 120. Does 11 divide q?
False
Suppose 15 = -3*u, -6*l + 3*l + 218 = 5*u. Suppose 3*b = l + 24. Suppose -2*j + b = 11. Is j a multiple of 6?
True
Let d be (1*(2 + -3))/1. Let k(f) = -9*f**3 + f**2 + f + 1. Is 3 a factor of k(d)?
False
Let i = -8 + 20. Does 6 divide i?
True
Suppose 2*b - 2*z - 56 = 0, -6*b = -3*b - 5*z - 80. Is 17 a factor of b?
False
Suppose 4*t - 2*z = -3*z + 25, 3*z = t - 3. Let m(p) = p**2 - 2*p - 1. Is 21 a factor of m(t)?
False
Let r be (-1 - (-2)/10)*-5. Suppose 0 = i + i + r. Does 22 divide (-14 + 2)*i + 0?
False
Suppose -6 = -m - 2. Suppose -j = -2 - m. Suppose 4*l - 38 = j. Is 4 a factor of l?
False
Let t = 2 - 1. Let f = 7 - t. Suppose 49 = 4*h - a, 2*h - 17 = 5*a - f*a. Is h a multiple of 11?
True
Suppose -c + 4*r + 62 = -12, 175 = 2*c + r. Does 10 divide c?
False
Let i = 75 + -47. Does 28 divide i?
True
Let a(y) be the third derivative of y**8/4032 - y**7/5040 - y**6/240 + y**5/30 + 3*y**2. Let j(i) be the third derivative of a(i). Is 19 a factor of j(-3)?
False
Let b(z) = z**2 + 9*z + 9. Let h be b(-7). Let d(s) = -s**3 - 4*s**2 + 2*s - 2. Is 13 a factor of d(h)?
True
Is 12 a factor of (-315 - -1)*1*(-1)/2?
False
Let r = 243 + -134. Is 19 a factor of r?
False
Let r(d) = -d**2 + 8*d - 9. Let j be r(6). Let u be ((-22)/(-6))/(j/(-36)). Let v = 63 + u. Is v a multiple of 17?
False
Let s be (9/(-2) - -3)*-8. Is (30/(-4))/(s/(-8)) a multiple of 3?
False
Let b be (-62 + 1)*3*-3. Suppose 798 = 2*n - 4*o - 298, 0 = -n + 3*o + b. Does 9 divide 1/(-5) - n/(-30)?
True
Let l(r) = -r**2 - 7*r - 5*r - 18 - r - r. Is 6 a factor of l(-12)?
True
Suppose -f = -3*q + 453, 0*f - 769 = -5*q - 3*f. Let m = q - 74. Is m a multiple of 23?
False
Let m(i) = i - 1. Let u be -2 - 5/2*-2. Let d(y) = 6*y - 7. Let p(j) = u*m(j) - d(j). Is 8 a factor of p(-6)?
False
Let m(w) = -w**2 + 5*w**2 - 4*w + w**3 - 9*w**2 - 5. Is 7 a factor of m(6)?
True
Let q(u) = -3*u - 4. Let d(y) = -y**2 + 7*y + 2. Let w be d(5). Let x be 1/(1*(-2)/w). Does 6 divide q(x)?
False
Let d(x) = x + 18. Let b(p) = p + 3. Let o be b(-5). Let q be (8/20)/(o/40). Is 10 a factor of d(q)?
True
Let w = 68 - 15. Let y = 103 - w. Suppose 5*m + 0*m - y = 0. Does 5 divide m?
True
Suppose -13*q + 14*q - 316 = 0. Is q a multiple of 57?
False
Is -5 + 1 + 126 + 1 a multiple of 20?
False
Suppose 0 = 3*v - 5*v + 12. Let n be -2*(-10)/(-8)*v. Let s = 26 + n. Is s a multiple of 11?
True
Let h(c) = 4*c**3 + 4*c**2 - 2*c - 2. Is 4 a factor of h(2)?
False
Suppose -6 + 26 = 2*o. Does 22 divide (2*o - 0) + 2?
True
Let n(f) = 6*f - 3. Let j(y) = 5*y - 3. Let x(z) = -5*j(z) + 4*n(z). Let c be x(8). Let i = c + 10. Is 3 a factor of i?
False
Let d be 90/4*24/36. Let v = -4 + d. Is v a multiple of 3?
False
Let c(r) = -r**3 + r**2 + r + 3. Let m be c(0). Let l(z) = z - 2 + 4*z + 4*z**2 - 2*z - z**m. Is 6 a factor of l(4)?
False
Let z(q) = -6*q - 4. Let g(i) = i + 1. Let o(v) = 4*g(v) + z(v). Does 10 divide o(-5)?
True
Let m = -2 + 2. Suppose m*i + 62 = i. Is 26 a factor of i?
False
Suppose 13*m + 6 = 15*m. Is 3 a factor of m?
True
Let w be 2/5 + (-69)/(-15). Suppose 21 + 9 = w*k. Is k a multiple of 3?
True
Suppose 0 = -2*x + 4 + 52. Does 14 divide x?
True
Suppose w + 0 = -3. Let u be 1/((w - -4)/10). Suppose u + 19 = z. Is 11 a factor of z?
False
Let s be (6/(-3) + 3)/(-1). Let u be 