False
Suppose 32 = -8*z + 4*z. Let r(k) = -k**3 - 8*k**2 - 5*k + 2. Is 14 a factor of r(z)?
True
Let x be ((-16)/(-12))/(4/(-6)). Does 6 divide (16/(-32))/(x/48)?
True
Let w be 0/2 + (-3 - 9). Let z be 158/8 + 2/8. Let d = z + w. Is 3 a factor of d?
False
Suppose -6 = j + 2*j. Let s be 1/(1/52) + j. Suppose 2*m + 6 = s. Is m a multiple of 8?
False
Suppose -5*k + 3*y = -15, -4*y = -6*y - 10. Suppose k = j - 109 - 40. Let b = j - 102. Is 13 a factor of b?
False
Suppose 0*m + m = 2. Is 55 + m + -5 + 2 a multiple of 18?
True
Let g(f) = f**2 - f + 3. Let w be 3 + (-2 + 3 - 1). Does 9 divide g(w)?
True
Suppose 5*z + 0*z + k = -27, -2*z + 4*k = 2. Let h = 15 - z. Is 20 a factor of h?
True
Let l be 2 + (-4 - (-4)/2). Suppose 0 = -5*f - 3*o + 245, f + 2*o - 42 = -l*f. Is f a multiple of 13?
True
Suppose 2*i = 7*i - 25. Suppose 30 = 5*l + i*m, 2*l - 21 = -2*l - m. Does 2 divide l?
False
Suppose -42 + 15 = -3*u. Suppose u = 3*i - 0*i. Suppose r - 4*a - 15 = -2*a, -i*a = 2*r - 30. Is r a multiple of 5?
True
Let z be 2 + 7 + (1 - 0). Suppose 2*y - z = -3*y. Does 9 divide (0 - 4*-2) + y?
False
Let t(y) be the third derivative of -y**5/60 + y**4/24 + 2*y**3 - y**2. Let b be t(0). Suppose 0*a + a = b. Is a a multiple of 4?
True
Let i = 39 + -23. Does 16 divide (i*1)/((-2)/(-4))?
True
Suppose -4 = -0*p - 4*p. Is 4/(-2) + 35*p a multiple of 11?
True
Let l(t) = -62*t - 7. Let p(y) = -93*y - 11. Let o(q) = -8*l(q) + 5*p(q). Is o(1) a multiple of 23?
False
Suppose h - 91 - 89 = 0. Is h a multiple of 36?
True
Let w = 145 - 72. Suppose w = -3*g + 271. Suppose -q - 2*s - g = -5*q, 5*s = -3*q + 17. Does 7 divide q?
True
Suppose 160 = 4*m + 16. Is m a multiple of 12?
True
Let o = 14 - 8. Is o even?
True
Let s(m) = 8*m + 3. Let k be s(3). Suppose w - k - 12 = 0. Is w a multiple of 13?
True
Let k be 6/9*5*-3. Let s = 19 + k. Is 9 a factor of s?
True
Let y(m) = -m**3 - 9*m**2 + 12*m + 15. Let z be y(-10). Let s = z + 2. Is 4 a factor of s*(-2)/6 - -7?
True
Suppose -3*g = u - 1 - 60, -3*u - g = -207. Does 14 divide u?
True
Suppose -5*q = -9*q + 24. Does 2 divide q?
True
Suppose -2*l = -15 + 171. Let t = l - -134. Is 28 a factor of t?
True
Suppose 0 = o - 56 - 22. Does 30 divide o?
False
Is 29 a factor of (93/(-12))/((-3)/12)?
False
Suppose -2*d - 5 = -2*y + 11, 3*d - 48 = -5*y. Is y a multiple of 5?
False
Let w(c) = -2*c**2 - 10*c - 2. Let q be w(-8). Let r = q - -72. Is r a multiple of 6?
False
Suppose -2*v = -2*b + 84, -2*b + 5*b - 105 = -4*v. Is 13 a factor of b?
True
Suppose p + 4*p + 2*u = 60, 3*p + 3*u = 36. Let f be -2 - p*(7 + 0). Let h = f + 120. Is 15 a factor of h?
False
Does 7 divide (-1)/3 + (-3)/(-9) + 49?
True
Is 5 a factor of -4*((-1)/(-4) - 4)?
True
Suppose -a = -z - 26, 6*a - 148 = a - 4*z. Does 7 divide a?
True
Let o(s) = 7*s**2 - 5*s + 3. Is 27 a factor of o(-4)?
True
Let c be 664/(-22) + (-2)/(-11). Let d be c/12*2*1. Let q(p) = 2*p**2 + 6*p - 4. Is q(d) a multiple of 6?
False
Suppose u + 3*u + 600 = 3*z, -4*z + 769 = 5*u. Is z a multiple of 14?
True
Suppose f + 0*f = -2*z + 2, 0 = 4*z - 12. Does 5 divide (-19)/(2*2/f)?
False
Suppose -3*d + 132 = 3*k - 7*d, 0 = -5*k + 2*d + 234. Does 9 divide k?
False
Suppose -6 = -3*g + y, 5*g + 5*y + 0*y = 10. Let f = -24 - -43. Suppose -i + g*i = f. Is 8 a factor of i?
False
Let k(u) = -u + 7. Let x be k(5). Suppose 0 = -3*g + x*g + 28. Is g a multiple of 10?
False
Let m(o) = 19*o**3 - 4*o**2 + 2*o. Is m(2) a multiple of 10?
True
Let i(b) = b**2 + 6*b + 7. Let p be i(-6). Let g be 5/30 + (-335)/(-6). Suppose 0 = -p*u + 3*u + g. Is 13 a factor of u?
False
Suppose -1 = -g + 2. Let k(o) = 3*o**2 + 2*o - 3. Does 9 divide k(g)?
False
Suppose 3*s = s. Suppose s = -d + 4 - 3. Suppose 0 = m - d - 4. Does 3 divide m?
False
Let p be (-32)/(-10) + (-4)/20. Suppose -r - p*r = -16. Suppose 4*q - 3*b = 0, 0 = -r*q - 3*b + 26 - 2. Is q a multiple of 3?
True
Let q(c) = -3*c + 3. Let r(t) = t**3 + 9*t**2 - 9*t + 1. Let k be r(-10). Does 15 divide q(k)?
True
Suppose -4*d - d = -15. Suppose 2*k = 3*c - 67, 0 = d*c + c + k - 93. Is c a multiple of 23?
True
Let q = 60 + 135. Is q a multiple of 22?
False
Let i be (1/2)/((-2)/(-368)). Is i*((-9)/(-2) + -4) a multiple of 23?
True
Suppose -r - 2*m - 8 - 1 = 0, -5*r + 3*m - 32 = 0. Let a(k) = -k + 4. Is 3 a factor of a(r)?
False
Let r be 4/(-3)*(-945)/18. Suppose -3*s = 2*s - r. Is s a multiple of 7?
True
Let z be (84/(-5))/(1/5). Let y be (6 + -1)*(130/(-25) + -6). Let i = y - z. Is i a multiple of 14?
True
Let c be 18/(-27)*(-1 - 41). Suppose 2*y = 2*j + c, 0*y + 4*j - 77 = -3*y. Is 9 a factor of y?
False
Suppose 0 = 12*u - 10*u - 20. Is u a multiple of 10?
True
Let z be (-1)/(-2)*2 + 1. Let d be 137 + (1 - 0/(-3)). Does 18 divide (-3 + z)/((-3)/d)?
False
Let w = 27 + -14. Let p = w + -9. Suppose -p*a + 2*a = -74. Is 13 a factor of a?
False
Suppose -5*i + 9 + 16 = 0. Suppose -l + c + i + 16 = 0, 21 = l - 4*c. Is l a multiple of 21?
True
Suppose -b - 2*i = -12, 3*i - 8*i = -25. Is 9 a factor of (b/6)/((-5)/(-135))?
True
Let u be (-1 - (-10)/6)*3. Suppose -2*i + 2 = -u. Does 2 divide i?
True
Let q(y) = 28*y**2 - 7*y + 4. Let h(w) = w**2 - w + 1. Let m(s) = -5*h(s) + q(s). Let t be m(-1). Let n = t + -10. Does 7 divide n?
True
Let h(z) = z**3 - 4*z**2 - 5*z + 8. Does 23 divide h(8)?
False
Let s = 1 - 4. Let h = -1 - s. Suppose h*k = k + 18. Is 18 a factor of k?
True
Let y(a) = a**3 - 8*a**2 - 9*a. Let g be y(9). Suppose g = p - 4*d - 59, -6 = -3*d + 6. Does 25 divide p?
True
Let a(p) = p**2 - p + 4. Let s(j) = j**3 + 7*j**2 - 2*j - 4. Let u be s(-7). Let y = u + -7. Is 10 a factor of a(y)?
True
Let m(z) = 9*z**2 + 2. Let l be m(2). Suppose 3*n = l - 11. Is n a multiple of 9?
True
Let n(i) = i**2 + 10*i + 33. Is 2 a factor of n(-8)?
False
Let s = -30 + 138. Is s a multiple of 9?
True
Let s(d) = -d**3 + 14*d**2 - 14*d + 11. Let g = -32 + 45. Let x be s(g). Let l = 31 - x. Does 17 divide l?
False
Let v be 6/(-4) - (-70)/4. Is 2/8 - (-460)/v a multiple of 14?
False
Let v be (6/(-2) + 4)*4. Let j(q) = -3*q - 1. Let z be j(-2). Suppose -v*o + 23 = -z. Is 7 a factor of o?
True
Suppose 0 = -h + p - 3*p + 50, h + 5*p = 47. Does 13 divide h?
True
Suppose 0 = l - 4*l + 174. Is 18 a factor of l?
False
Does 8 divide (35/(-10))/(-7) + 191/2?
True
Let v(x) = -3*x**3 - 1. Let u be v(-1). Suppose 0 = -m + 3 + 2, b - m + u = 0. Is (-2)/b + 168/9 a multiple of 7?
False
Let w = -302 + 537. Does 47 divide w?
True
Let w = 1 + 35. Does 9 divide w?
True
Suppose 0 = -2*p + 2*o + 10, -5*p + 31 = -0*o - 3*o. Let q be 15/(-10)*(-2 + 0). Let f = p + q. Does 7 divide f?
False
Suppose 0*h - 4 = 2*h. Let x be (37/h)/(3/6). Let l = 52 + x. Is l a multiple of 15?
True
Suppose -6*v = 3*v - 243. Is 3 a factor of v?
True
Suppose 0*y + 3*y = -5*n + 17, 2*n = y - 13. Suppose -2 - y = -a. Is a a multiple of 11?
True
Suppose 98*q - 95*q = 288. Is q a multiple of 22?
False
Let w = 243 - 171. Is w a multiple of 12?
True
Suppose 3906 = q + 13*q. Does 34 divide q?
False
Does 24 divide (-3)/(-5) - (-3)/((-15)/(-787))?
False
Is 4/(-3) - (-6)/(-9) - -88 a multiple of 19?
False
Let k be (-276)/16 - (-9)/(-12). Is 4/k - (-296)/36 a multiple of 4?
True
Let s = 810 + -547. Is 12 a factor of s?
False
Suppose -56 = -0*g - 2*g - q, 5*g + 3*q = 138. Is 10 a factor of g?
True
Let a(h) = -h**3 + 8*h**2 - 5*h - 7. Let k be a(7). Suppose 0 = 4*o + 3*b - 40, 0 = -4*o + k*o - b - 43. Does 13 divide o?
True
Let g(s) = 3*s**3 - s**2 + s - 2. Is 27 a factor of g(3)?
False
Let s = -14 - -10. Let l(q) = -q**2 - 12*q - 6. Let r(n) = -2*n**2 - 25*n - 12. Let w(z) = s*r(z) + 9*l(z). Is w(-6) a multiple of 3?
True
Suppose -62 = -2*t + 22. Does 14 divide t?
True
Let g = 7 + -1. Suppose 2*d = 32 + g. Is d a multiple of 3?
False
Suppose -1208 = -7*p - 333. Is 18 a factor of p?
False
Let y be ((-1)/(-2))/((-2)/(-20)). Let o = 5 - y. Suppose 3*v - 52 = -0*m + 5*m, o = 5*v - 4*m - 104. Is 12 a factor of v?
True
Let a = -3 + 7. Suppose -26 + a = -2*k. Is k even?
False
Suppose 25 = 5*q - 0. Does 5 divide q?
True
Let p(g) = g**3 - 7*g + 2*g - 5*g**2 - 8*g + 2*g + 7. Is 28 a factor of p(8)?
False
Is (-84)/(-9)*(-144)/(-56) a multiple of 8?
True
Suppose 0 = -5*m - 10, y + 5*m + 0 = -5. Suppose -3*t + 5*g + 200 = 2*t, -4*t = y*g - 205. Let v = 78 - t. Is v a multiple o