
False
Suppose -3*f + 2 = 29. Suppose 2*p = 4*t - 16, 2*t - 3*t = -4*p - 11. Does 4 divide 2/p*f*1?
False
Suppose u - 3*u + 6 = 0, -u + 123 = 4*i. Is i a multiple of 15?
True
Let z = -7 + 7. Suppose 0 = -4*y + 24 - z. Let j = y + 36. Is j a multiple of 14?
True
Let r be 0/(-4 - (-2 + 0)). Suppose -j + 4*j - x - 131 = r, 3*j = -x + 133. Is j a multiple of 8?
False
Is 38 a factor of ((-252)/(-3))/2 + 2 + -6?
True
Let b(u) = -9*u - 4. Is 10 a factor of b(-3)?
False
Let u(y) = -8*y. Let q be 52/(-14) - (-8)/(-28). Is u(q) a multiple of 21?
False
Let k be (-2)/(-9) - (-129)/27. Suppose -k*r = 4*x - 2*x - 275, -561 = -4*x + r. Suppose 0*c + x = 4*c. Is c a multiple of 14?
False
Suppose -3*r + r + 3*c + 118 = 0, 0 = 5*c. Does 11 divide r?
False
Suppose -2*g + 4*w - 7 = 5*w, 0 = 3*g - 4*w + 5. Is (-4 - (g + 1)) + 26 a multiple of 12?
True
Let u = 95 + 3. Suppose 0*f - 5*y + 58 = 3*f, -5*y = -3*f + u. Is 13 a factor of f?
True
Let v = 5 - 2. Is 85/25 + v/5 even?
True
Let u(v) = 11*v - 11. Let x(i) = i - 1. Let k(h) = u(h) - 6*x(h). Is 10 a factor of k(7)?
True
Suppose -9*c = -6*c - 162. Is 18 a factor of c?
True
Suppose 0 = 4*i - i - 42. Is i a multiple of 14?
True
Suppose 4*l - 5*i + 173 = 610, -196 = -2*l - 2*i. Is l a multiple of 7?
False
Suppose f = -14 + 38. Is f a multiple of 4?
True
Is 16 a factor of -2 - (-1 + -4*14)?
False
Let j = -315 + 441. Is 23 a factor of j?
False
Let a = 4 + -5. Does 3 divide (1 - 0)*(7 + a)?
True
Let g(p) = 9*p**2 + p + 1. Let f be g(2). Suppose -f = -2*o + 43. Does 17 divide o?
False
Let f(z) = 56*z - 6. Is f(1) a multiple of 10?
True
Let s be ((-184)/24)/((-2)/6). Let a = s - -1. Is 8 a factor of a?
True
Suppose -1 - 4 = -a. Let w = a + 4. Suppose -24 = -2*d - d - h, -w = -2*d - 3*h. Does 9 divide d?
True
Does 17 divide -2 + 63/2*(-26)/(-3)?
False
Suppose 0 = -2*g - 4 - 24. Let h = 11 - g. Does 25 divide h?
True
Suppose -8 = -3*c - 2. Let f be (-2)/c + 0 - -19. Suppose 2*n = n + f. Is 6 a factor of n?
True
Suppose 0 = -4*p + 14 + 154. Does 21 divide p?
True
Let t(k) = 2*k**2 + 3. Does 8 divide t(2)?
False
Let g(w) = w + 9. Let m be g(-8). Let t = 0 - m. Does 3 divide 2*t - -1*10?
False
Let p = -569 + 54. Let o be 6/(-24) - p/(-4). Let n = -64 - o. Does 24 divide n?
False
Let b(g) = 3*g + 3. Let t be b(5). Suppose 3*y - 5*y = -t. Is 3 a factor of y?
True
Let x = -13 - 31. Does 8 divide 4/(2 - x/(-24))?
True
Is (41/(-3))/(2/(-30)) a multiple of 41?
True
Let v(p) = p**3 - 3*p**2 + 7*p - 8. Let k be v(6). Let i(l) = l**2 - 5*l + 6. Let d be i(3). Suppose d = 4*h + 42 - k. Does 25 divide h?
True
Suppose 5 = -3*y + 8*y. Suppose 0 = -4*t + 2*u - 6, -4*t - 5 = -4*u - y. Does 11 divide (198/6)/((-3)/t)?
True
Let o(q) = -9*q + 21. Let v(j) = -4*j + 11. Let r(u) = 2*o(u) - 5*v(u). Let x(t) = -2*t + 13. Let m(p) = -5*r(p) - 6*x(p). Does 10 divide m(12)?
False
Let g(j) = -j**2 + 6*j + 7. Let x be g(7). Suppose w = -x*w + 25. Does 13 divide w?
False
Let n(l) = -2 - 6*l - 2 + 3 + 5*l. Let u be n(-1). Suppose -3*x = -u*x - 81. Does 9 divide x?
True
Is (-398)/3*39/(-26) a multiple of 10?
False
Let u(k) = -k + 18. Let o be u(0). Let j = o + -13. Suppose -j*g = -3*g - 26. Does 9 divide g?
False
Let j be 0 - ((4 - 53) + 4). Let a = j + -15. Is a a multiple of 15?
True
Suppose 16 = -4*a + 44. Let u(i) = -i**3 + 8*i**2 - 3*i - 4. Does 8 divide u(a)?
True
Let y(o) = o**3 - 10*o**2 - o + 3. Let h be y(10). Let d be (-3)/(42/4)*h. Suppose 4*l - 2 = 3*b, -4*b + 40 = b + d*l. Is 6 a factor of b?
True
Let r(v) be the first derivative of -3*v**4/4 - v**3 - 2*v**2 - 6*v - 9. Is r(-3) a multiple of 12?
True
Let j be 44/6 - (-4)/6. Let x(u) = -u**3 + 8*u**2 + u - 8. Let l be x(j). Suppose -4*o - 1 = -4*s - 17, l = 5*o + 5*s - 30. Does 5 divide o?
True
Let w be (-14)/(-8)*(-7 - -3). Let i(v) = -v**3 - 8*v**2 - 6*v + 4. Let t be i(w). Let q = t + 15. Does 6 divide q?
True
Suppose -y + 436 = 4*t + 3*y, 0 = -t - 2*y + 106. Is 14 a factor of t?
True
Suppose 0 = -2*m + 142 + 136. Does 13 divide m?
False
Suppose 0 = -0*t - t + 119. Suppose -5*w + 2*h = t, 0 = 2*w + 5*h + 3 + 33. Let l = -9 - w. Is 14 a factor of l?
True
Suppose -4*j + l + 67 = 0, j + 3*l - 19 = l. Let k = j - 12. Suppose 0 = -k*g + 4*u + 70, -2*g = 2*g + 2*u - 30. Is g a multiple of 5?
True
Suppose -3 = -2*v + 5*v. Let t be ((-1)/v)/(3/9). Is 12 a factor of -18*1*(-2)/t?
True
Let r = -33 - -79. Let n(s) = -s**2 + 5. Let y be n(0). Suppose 24 + r = y*f. Is f a multiple of 14?
True
Let p(d) = 2*d**2 - 6*d + 2. Let a be p(4). Suppose 5*v - a = -0*v. Suppose 4*q = 14 + 6, 0 = -v*s + 5*q + 15. Is 17 a factor of s?
False
Let o(t) = t**3 - 2*t**2 + t + 1. Let a be o(2). Suppose -67 + 15 = -2*i. Suppose 2*p - y = i, -y + 2*y = -a*p + 34. Is 6 a factor of p?
True
Let b = 10 + -8. Is 2 a factor of b?
True
Let i(g) = g**3 + 6*g**2 + 4*g - 3. Let l be i(-4). Suppose 0 = 5*o - 15, 3*v - 3*o - o = -9. Let n = l - v. Does 12 divide n?
True
Suppose 25 = g + 3. Let i = g - 10. Is 4 a factor of i?
True
Let o(t) = 3*t**3 + 2*t**2 + t + 3. Let q(v) = -v**3 - v**2 - v - 2. Let h(g) = -3*o(g) - 5*q(g). Is h(-2) a multiple of 6?
False
Let m be 248/20 + (-2)/5. Let t be m/(-9)*(-3)/2. Suppose -3*h + 10 = -t*h. Is h a multiple of 6?
False
Let j = 4 + -7. Let y(b) = b**3 + 4*b**2 + 2*b - 4. Let x be y(j). Is 20 a factor of (x - 1)/(-2) - -39?
True
Let a be 3428/2 - (3 + -5). Suppose 0 = q + 3*q - a. Does 12 divide 6/15 + q/15?
False
Let y = -11 - -8. Let m(l) = -7*l - 3. Does 6 divide m(y)?
True
Let q be (-4 + 1 - -2)*0. Let u = 4 - 1. Suppose -6*t + u*t + 63 = 3*k, -k - 1 = q. Does 22 divide t?
True
Suppose 10 = 2*l + i, -5*l + 3*i + 19 = -17. Is (l - 2) + 2 + -1 a multiple of 5?
True
Let q(r) = r**3 + 12*r**2 + 4*r + 11. Is q(-10) a multiple of 37?
False
Is 12 a factor of (0 - -2) + -3 + 18?
False
Let z(c) = -3*c**2 + c. Let v be z(-1). Let i = 9 + v. Is i a multiple of 2?
False
Let y = 133 + -17. Is 35 a factor of y?
False
Suppose 0 = w - 3*o + 6, 0 = w + 3*o - 0*o - 6. Suppose w = 3*c + d - 67, 2*d + 3*d + 10 = 0. Suppose 3*x = -4*v - 0*x + c, -2*x = 2*v - 10. Is 8 a factor of v?
True
Let z be ((-6)/4)/((-6)/16). Suppose 2*k + z = 4*k. Suppose -4*v - g - 4*g + 91 = 0, -k*g = 4*v - 106. Does 10 divide v?
False
Let f(c) = c**3 - 6*c**2 + c - 5. Let x be f(6). Let m = -1 + x. Suppose 0 = -3*l - m + 63. Is 8 a factor of l?
False
Let p(x) = -100*x**3 - x**2 - x - 1. Is 33 a factor of p(-1)?
True
Is 14 a factor of (-904)/(-28) - 8/28?
False
Suppose 0*s - 2*s = -42. Is s a multiple of 21?
True
Let t(g) = g**3 - 4*g**2 + 2*g + 2. Let p be t(2). Let b be -1 - p*(-2)/(-4). Suppose h - 48 = -b*h. Is h a multiple of 24?
True
Let b = -15 + 18. Suppose 5*f + 3*a - 67 = 0, 4*f - a = b*a + 60. Is 7 a factor of f?
True
Let h be (-1)/(2*(-2)/8). Suppose -2*n - 5*v + 5 = 0, 0 = h*n - v - 3*v + 4. Suppose n = -2*c + q + 20, 4*c - q = -4*q + 20. Does 8 divide c?
True
Suppose 3*w + 10 = 8*w. Let o(z) = 5*z**2 - 3*z + 2. Is 8 a factor of o(w)?
True
Let o(u) be the first derivative of -u**2 - 5*u + 1. Is 3 a factor of o(-4)?
True
Let s = 29 - 15. Suppose 3*d + s + 7 = 0. Let h(p) = -p + 3. Is 10 a factor of h(d)?
True
Let a be (48/(-3))/(1/(-4)). Suppose n = 3*n - a. Does 16 divide n?
True
Let u(h) = 11*h**3 + 2*h**2 - 2*h + 1. Does 12 divide u(1)?
True
Let d(y) = -y**3 + 7*y**2 - 3*y - 6. Let m be d(6). Let i be 17/(-4) + 1/4. Is (m/(-10))/(i/10) a multiple of 2?
False
Let u(s) = s**3 + s**2 - 4*s - 1. Let j be u(-3). Let p = j - -11. Suppose -3*n = -p*n + 5*z + 38, 5*n - 3*z - 102 = 0. Does 9 divide n?
True
Does 7 divide (1*(-5 + -2))/((-2)/22)?
True
Let h be 1/(5 - 4) + -1. Let p(r) be the third derivative of r**5/60 + r**4/24 + 4*r**3 - r**2. Is 8 a factor of p(h)?
True
Let u = 3 + -2. Let x(c) = 6*c - 1. Let r be x(u). Suppose -3*y + 38 = -d, r*y - 38 = -d + 20. Is 12 a factor of y?
True
Let a(l) = l**2 + 9*l + 3. Let s be a(-8). Let v = 11 + s. Is v a multiple of 3?
True
Suppose 3*c - 17 = 46. Let d be 8/(-3)*c/14. Is 14 a factor of (3 - d)*2*2?
True
Let q be (5/20)/(1/12). Suppose q*m - 5 = 58. Is 14 a factor of m?
False
Let z = 77 + -68. Is 8 a factor of z?
False
Does 30 divide (4 - 128/24)*(-450)/4?
True
Let r = -27 - -79. Does 13 divide r?
True
Suppose 5*y - 26 = 2*l - 5, 0 = 2*l - y + 1. Suppose -3*s = -3*g - 15, 3*s -