
Is 9 a factor of 27 + -1 - (1 + -2)?
True
Let h(c) = 4 - 1 + 7*c + 1 + 0 - c**2. Is h(6) a multiple of 5?
True
Let v = 108 + -9. Is v a multiple of 26?
False
Suppose -5*j - 2*t + 30 = -3*j, -4*j + 4*t + 36 = 0. Does 4 divide j?
True
Let t = -32 + 90. Suppose 5*r + t = 6*r. Is 29 a factor of r?
True
Suppose 0 = 12*c - 345 - 147. Is c a multiple of 2?
False
Suppose 418 = 3*r - g, 10 = -0*g + 5*g. Does 28 divide r?
True
Let h(d) = 10*d + 1. Let b be h(7). Let i = b - 26. Is i a multiple of 17?
False
Let h = 34 + -9. Let y = h + -14. Does 6 divide y?
False
Let i(p) = p**3 + 11*p**2 + 10*p - 4. Is i(-9) a multiple of 16?
False
Let o(w) = 3*w - 2. Let c be o(6). Suppose -2*r = -3*m - 27, m + c = -r + 2. Let a = 31 + m. Does 10 divide a?
True
Let q(s) = -5*s - 10. Does 5 divide q(-4)?
True
Suppose -7*t - 21 + 77 = 0. Is 4 a factor of t?
True
Let o be ((-2)/4)/(1/6). Let q be 2/5 - 112/(-20). Let r = q + o. Is r a multiple of 2?
False
Suppose -2*r + r + 13 = 5*g, 5 = -r + 4*g. Suppose r*h - 10 = 2. Is h a multiple of 3?
False
Suppose 5*y = 3*g + 427, 2*y = -g - 2 + 175. Is 14 a factor of y?
False
Let v(w) = 2*w**3 + 9*w**2 - 6*w + 1. Let n(k) = 3*k**3 + 10*k**2 - 7*k. Let f(d) = 3*n(d) - 4*v(d). Is f(6) a multiple of 7?
True
Suppose 143 = -4*b - 73. Is (-1446)/b - (-4)/18 a multiple of 7?
False
Let c(k) = -k - 2. Let g be c(-6). Suppose -y = -g, -4*v - 4*y - 70 = -6*v. Is 18 a factor of v?
False
Does 4 divide 16/10 + -2 + 4840/100?
True
Suppose -4*n - 5*b = -0*n + 3038, 0 = -3*n + 5*b - 2296. Let a be 2/(-8) - n/8. Suppose a = 2*k + 3*k. Is 8 a factor of k?
False
Let n = -183 - -283. Is n a multiple of 5?
True
Let d(f) = -4*f + 2 + 7*f + 2. Let u be d(7). Suppose 0 = -5*b + 4*w + 143, 0 = 2*b - 3*b - w + u. Is b a multiple of 12?
False
Suppose 6*n = 5*n + 57. Is 21 a factor of n?
False
Suppose 153 = -3*u + 6*u. Is 19 a factor of u?
False
Let q(b) = 3*b**2 - 5*b - 5. Let x be q(-4). Is 9 a factor of (x/(-15))/((-4)/20)?
False
Let h = 393 - 111. Suppose 0 = 5*n - o - o - h, 2*o - 8 = 0. Suppose n = -r + 3*r. Does 15 divide r?
False
Let j be (-22)/(-6) + 3/9. Suppose 5*r + 23 = 3*w, -4*w - w + j*r + 60 = 0. Is 8 a factor of w?
True
Let q(j) = -7*j**3 - 7*j**2 + 8*j + 5. Suppose 0 = -2*v + 5*v + 6. Let o(d) = 3*d**3 + 4*d**2 - 4*d - 2. Let a(y) = v*q(y) - 5*o(y). Is a(-7) a multiple of 9?
False
Let a(f) = 2*f - 2. Let y = 29 - 17. Is 20 a factor of a(y)?
False
Let m = 84 - 48. Is m a multiple of 9?
True
Suppose -3*p = -8*p + 2*b + 23, 2*p - 5*b - 5 = 0. Let s be (-3)/15 + (-1773)/(-15). Suppose -p*a = -62 - s. Is a a multiple of 14?
False
Let w(q) = -q**2 + q + 11. Let j be w(0). Let a(n) = -n**3 + 11*n**2 + 14. Is 14 a factor of a(j)?
True
Let g be 12*((-8)/(-6))/2. Suppose o + w - g = 3, 2*o + 4*w = 32. Is 4 a factor of o?
False
Suppose -6*d + 2*d + 224 = 0. Is d a multiple of 12?
False
Let f(d) = -d**3 + 12*d**2 + 14*d + 13. Suppose 34 + 5 = 3*l. Is 17 a factor of f(l)?
False
Let k = 11 - 11. Let g(w) = w**3 + w + 20. Is 5 a factor of g(k)?
True
Suppose 0 = -5*r - 5 - 30. Suppose a + 4*a - 60 = 0. Let h = r + a. Is h even?
False
Let w(d) = 4*d. Let r be w(3). Suppose 5*p = 3*p + r. Suppose x - 47 = -3*t, 0 = p*t - 3*t - x - 55. Does 17 divide t?
True
Let x = 0 - -2. Suppose x*l - 24 = 46. Let j = l - 13. Is j a multiple of 11?
True
Let s(u) = 3*u**2 + u + 1. Is s(-3) a multiple of 19?
False
Let x(q) = -7*q**3 - q**2 + 2*q + 2. Is 5 a factor of x(-2)?
True
Let t be 2*(-3 + 1)*2. Let o = t - -16. Is o a multiple of 6?
False
Let b = -11 - -9. Does 9 divide (b/(-6))/(6/558)?
False
Let q = -85 - -130. Does 13 divide q?
False
Is 5 a factor of (-10)/(1 - -2 - 5)?
True
Let y(z) = 5*z**2 + 16*z + 12. Is 6 a factor of y(-7)?
False
Is 9 a factor of (5 + 36)/(2 - 1)?
False
Suppose 10 + 8 = i. Does 18 divide i?
True
Suppose -4*j - 5*o - 9 = 0, -4*j = -2*o + 3*o - 11. Suppose 100 = j*l - 20. Is 10 a factor of l?
True
Let k = -5 - -8. Suppose 15 - 3 = k*o. Is 13 a factor of 82/6 - o/6?
True
Let m(l) = -l**3 - 5*l**3 + 1 - 2*l**3 - 2*l**2. Suppose -2*g - 5 = 3*g. Does 7 divide m(g)?
True
Let d(q) = -q**3 - 8*q**2 + 5*q + 4. Let o(i) be the first derivative of i**2 + i - 1. Let v be o(-5). Is 15 a factor of d(v)?
False
Suppose 2 = 2*c - 12. Is 0 + 1*c/1 even?
False
Suppose 0*t - 47 = -t. Let g(k) = -k**2 - 6*k + 3. Let j be g(-6). Suppose -1 - t = -j*l + 3*y, -2*l = -5*y - 20. Is l a multiple of 10?
True
Let v = -15 - -7. Let u = 12 - v. Suppose 0 = b - 77 + u. Does 19 divide b?
True
Suppose j - 2*o - 14 = 0, 0 = 5*j - 4*j + 4*o + 16. Suppose 101 + 75 = j*a. Is 14 a factor of a?
False
Suppose -2*a = -2 - 2. Suppose a*y + 94 = 4*r, r + 3*y - 79 = -3*r. Is r a multiple of 4?
False
Suppose -81 = 10*g - 761. Is g a multiple of 21?
False
Is 11 a factor of 79/7 - 4*(-4)/(-56)?
True
Let d(r) = r**2 + 2. Let a be d(0). Let k = a + -18. Let x = -2 - k. Is 12 a factor of x?
False
Let x = 129 + -37. Does 23 divide x?
True
Suppose -2*x + 35 + 21 = 0. Does 3 divide x?
False
Let q(d) = -d**3 - d + 16. Is 12 a factor of q(0)?
False
Let n(r) = 2 - 2*r**2 - 4*r + 7*r**2 + 0*r + r**3. Let t be n(-6). Let z = t + 18. Is 8 a factor of z?
True
Let p(l) = l**3 - l**2 - l + 8. Let z be p(0). Is 3 a factor of (-17 + 2)*z/(-10)?
True
Suppose -96 = -y - y. Suppose -2*f = -0*f - y. Does 12 divide f?
True
Let g(d) be the first derivative of -3*d**2/2 - d + 3. Is g(-8) a multiple of 7?
False
Let b be (-119)/(-9) + 6/(-27). Let g = b + -7. Is 5 a factor of g?
False
Let i = 6 + -2. Suppose 0*x = -i*x + 84. Is x a multiple of 21?
True
Let w be -18 - (-1 + 0 - -2). Let h = 58 + w. Is 13 a factor of h?
True
Let q = 6 - 4. Suppose -o = q*o - 135. Is 13 a factor of o?
False
Suppose -3*t + 3*l + 7 = t, t + 3 = -4*l. Is (-19*t/1)/(-1) a multiple of 9?
False
Let v(m) = -m**3 - m**2 + 5*m - 1. Let z(q) = -q**3 - 7*q**2 + 10*q + 12. Let u be z(-8). Is v(u) a multiple of 25?
False
Suppose n = -0*n + 3. Suppose 0*y - 50 = -2*h + 2*y, -y = n*h - 55. Does 12 divide h?
False
Let t = -3 - -2. Let z(l) = -l**3 + 2*l**2 + l. Is 2 a factor of z(t)?
True
Let f = -46 + 166. Does 20 divide f?
True
Let n(v) = -9*v - 6. Let m be n(-4). Let q = -22 + m. Does 8 divide q?
True
Suppose q + 3*c = 9, 0 = -0*q - 4*q - 5*c + 22. Suppose o - 64 = -q*o. Is 5 a factor of o?
False
Let x be (4 + 0/1)/2. Suppose x*n - 3*n = o - 7, -2*o + n = -17. Suppose u - o = 7. Is 6 a factor of u?
False
Suppose z = j - 2*j + 13, -19 = -j + z. Let h = 22 - j. Is 20/(-6)*(3 - h) a multiple of 10?
True
Let n = 136 + -45. Is n a multiple of 20?
False
Suppose -4*p + 300 = p. Let w = p - 28. Is 32 a factor of w?
True
Let k = -7 - -10. Suppose 0 = k*r + 2*o - 10 + 81, 0 = -5*r - 4*o - 115. Does 14 divide -2 + (0 - (r - 2))?
False
Let b = 46 - 18. Does 2 divide b?
True
Let m be 90/(-12)*(-12)/5. Let z be 15/(-4)*8/(-3). Let d = m + z. Does 13 divide d?
False
Let v(y) be the second derivative of 0 - 2/3*y**3 + 1/2*y**2 - 3*y. Is v(-3) a multiple of 13?
True
Let x(y) = -2*y**3 - 6*y**2 - 7*y + 3. Is x(-3) a multiple of 12?
True
Suppose 110 = 3*w + 2*d + 15, 0 = -3*w - 4*d + 91. Does 11 divide w?
True
Suppose 0 = -2*a - 0 + 2. Let x be (-9)/a - (0 + 1). Is 3 a factor of (-1 - x)*(-1)/(-3)?
True
Let w(g) = 6*g**3 + 2*g**2 - 3*g + 2. Let n be w(2). Suppose -h + 5*q = -2, 5*h - h + n = 5*q. Let f = 4 - h. Is 9 a factor of f?
False
Is 22 a factor of ((-40)/14)/(24/(-924))?
True
Suppose -5*p + h = 4, 3*p - 3*h + 11 = -1. Suppose -2 = -m - b + 4, p = m - 5*b. Does 5 divide m?
True
Suppose -2*t = -3*s - 99, -s - 97 = -0*t - 2*t. Is t a multiple of 12?
True
Suppose -184 = -7*k - 2. Does 6 divide k?
False
Suppose p - 4*p + 384 = 0. Is 28 a factor of p?
False
Let t = -9 + 10. Let b(u) = 8*u**3 - u**2 + 1. Does 8 divide b(t)?
True
Suppose -5*h + 2*s - s = -17, 2 = -s. Suppose 0 = h*t - 8*t + 160. Is 16 a factor of t?
True
Let b(r) = 3*r**2 + 7*r - 4. Suppose 0 = 5*n - 0*n + 30. Does 15 divide b(n)?
False
Suppose 3*y = -3*j + 42, -4*j + 75 - 19 = -2*y. Is (-4)/j + 132/21 a multiple of 6?
True
Is (-20)/(-5) - (-118 + -3) a multiple of 25?
True
Suppose -7*l = 6*l - 1014. Is 15 a factor of l?
False
Suppose 0 = 2*r - 15 - 3. Suppose 2*w = -w + r. Is (12/(-10))/(w/(-160)) a multiple of 24?
False
Let l = 7 - 6. Let m(x) = 31*x - 1. Does 12 divide m(l)?
False
Let z = -47 -