141. Is x a multiple of 13?
False
Suppose 272 = 7*d - 218. Is 5 a factor of d?
True
Suppose -2*y + 18 = -4*g + g, 2*y + 2*g = -2. Let w be (-3 - (-8)/y)*-15. Suppose 2*c - 37 = w*l, -3 = -3*l + 6. Is c a multiple of 13?
True
Suppose -6 = -4*t - 4*w + 6, 3*t + 2*w - 9 = 0. Let u(g) = 3*g**2 - 5*g - 2. Let k be u(6). Suppose k = s + t*s. Is s a multiple of 9?
False
Suppose p + 15 = -5*f + 58, 4*p - 4*f = 76. Is 23 a factor of p?
True
Suppose 7*y + 131 = 467. Does 12 divide y?
True
Suppose -2*j + 20 = -4*x, 10*x = -4*j + 5*x - 25. Does 21 divide 79*(1 + 0 - j)?
False
Suppose -5*z - 5*g + 7 = 37, 23 = -4*z - 3*g. Let t(b) = 2*b**2 + 6*b + 7. Is t(z) a multiple of 13?
False
Let k(z) = 2*z + 1 - z + 10. Let f be k(0). Let g = f + -7. Does 4 divide g?
True
Suppose -3*p = -5*r - 44, -3 = -p - r + 9. Is 4 a factor of p?
False
Let q = 6 + -4. Let s(a) = a - 4*a + q*a - 6. Is s(-9) a multiple of 3?
True
Let z(i) = 2*i + 4. Does 5 divide z(4)?
False
Suppose 83 = 6*h - 61. Does 12 divide h?
True
Suppose 2*y - 186 = -0*y. Does 31 divide y?
True
Let z(a) = 2*a**2 - 7*a + 17. Does 8 divide z(5)?
True
Let s = 2 + 0. Suppose 28 = 2*c + s*n, 10*c - 5*c + n = 50. Is 5 a factor of c?
False
Let z be -1*(-1 - (2 - 2)). Suppose -a + z = -1. Suppose -a*n + 11 = -5. Is 4 a factor of n?
True
Let t = 11 + 35. Is t a multiple of 10?
False
Is 3 a factor of (-4)/6 + 114/9?
True
Suppose 4*o - 821 = 323. Does 26 divide o?
True
Suppose -5*w - 40 = 5*l, 2*w - 5*w + 3*l = 24. Let v(g) = -g**3 - 9*g**2 - 10*g - 12. Is v(w) a multiple of 2?
True
Suppose -p = 4*u - 24, 3*u = p - 2 + 13. Is u a multiple of 3?
False
Suppose 0 = -0*c + 2*c - 6. Let f = 1 - c. Does 12 divide 20 - (2 + f*2)?
False
Suppose -3*w = 43 - 160. Suppose y = -16 + w. Is y a multiple of 23?
True
Let g(u) = 6*u - 16. Is 10 a factor of g(16)?
True
Let q = -11 + 14. Suppose q*d = 4*d - 16. Does 8 divide d?
True
Let l = 10 + -4. Is 11 a factor of (l - 28)*(-6)/4?
True
Suppose 3*h = -0*y + 3*y - 894, 0 = -5*h - 5. Is 18 a factor of y?
False
Let n = 53 + 5. Let t = -26 + n. Does 11 divide t?
False
Let d = 18 - -106. Is d a multiple of 21?
False
Suppose 5*h - 67 = 2*d - 0, 0 = -h + 4*d + 17. Let z = h - 4. Does 7 divide z?
False
Suppose 0 = -4*g - 3*l - 1, 4*g = -0*l + l - 5. Does 24 divide ((-24)/5)/(g/20)?
True
Let m(i) = -i**3 + 13*i**2 + 20*i. Is m(14) a multiple of 14?
True
Let q = 16 + -10. Let s = 1 + q. Does 6 divide s?
False
Suppose 4*t - 123 - 371 = -5*h, h - 376 = -3*t. Is t a multiple of 21?
True
Let n = 9 + -4. Is n even?
False
Suppose v - 45 = -4*v. Let r be (-2)/v + (-362)/(-9). Suppose u + r = 3*u. Is 10 a factor of u?
True
Suppose -3*f = 5*m - 197, -f - 162 + 1 = -4*m. Is 4 a factor of m?
True
Let j(y) = -5*y**2 - 5*y - 10. Let r(h) = -4*h**2 - 6*h - 9. Let s(w) = -3*j(w) + 4*r(w). Does 4 divide s(-7)?
True
Suppose 32*k = 31*k + 3. Does 2 divide k?
False
Is (-2 + -2 - -82) + 0 a multiple of 16?
False
Let o be (9/4)/((-3)/(-8)). Suppose 4*d + 44 = -4*v, -v - o*d - 9 = -4*d. Let r = v + 21. Is 4 a factor of r?
True
Does 25 divide (-43)/215 + 1256/5 + -1?
True
Suppose 0 = -5*h - 5*x + x + 56, 24 = 4*h - 2*x. Let s = -5 + h. Suppose 0 = -s*u + 2*i + 31, -5*u = -4*i - 0*i - 49. Does 13 divide u?
True
Let z be (-2)/(-5) + 24/15. Is 12 a factor of 2 + 30 + z + -3?
False
Does 7 divide 4 + (64/2 - 2)?
False
Let w = 380 + -160. Is 20 a factor of w?
True
Let f be (1/(-1))/((-1)/(-19)). Is (0 - -1)*-2*f a multiple of 7?
False
Let u = -12 - -17. Is (1/1 - 1) + u even?
False
Let p(n) = n - 11. Let v be p(17). Let u(c) = c**3 - c**2 - 3*c - 7. Let m(d) = d**3 - 4*d - 7. Let j(x) = -5*m(x) + 6*u(x). Does 2 divide j(v)?
False
Suppose j - 6 = -2. Is 4 a factor of j?
True
Let p be 17/4 + 1/(-4). Suppose n - p*n + 9 = 0. Suppose 16 + 20 = n*q. Is q a multiple of 11?
False
Suppose 3*l - 7*l = -68. Suppose -201 + l = 4*h. Let v = -29 - h. Is 10 a factor of v?
False
Let x(p) = p**2 - 7*p - 5. Let f be x(6). Let k = -8 - f. Is k even?
False
Let f be (-16)/3*(-3)/2. Let g = f + -4. Suppose -4*t = x - 92, 0 = g*t - 0*x - 5*x - 68. Does 8 divide t?
False
Let i = 8 - 8. Let s be -2 + (1 + i)*-1. Let x = s - -9. Is x a multiple of 5?
False
Let w(t) = -142*t**3 + 2*t**2 + 2*t + 1. Let u be w(-1). Suppose -4*m + 3*c = -u, c + 3*c = -2*m + 88. Suppose 3*y = 146 - m. Is 18 a factor of y?
True
Suppose -h + 150 = 5*h. Is h a multiple of 12?
False
Let w(b) = -b**3 - 2*b**2 + 4*b. Let d be 3/(((-9)/4)/3). Let j be w(d). Suppose 2*n - 22 = -4*z, -2*n - 4*z = -3*z - j. Is n a multiple of 7?
True
Suppose 0 = -8*q + 77 + 75. Does 3 divide q?
False
Suppose 3*o - 86 - 25 = 0. Let d = o - -4. Let n = d - 18. Does 9 divide n?
False
Let n = -45 + 30. Let w = -6 - n. Does 5 divide w?
False
Suppose -2*z - 516 = -2*k, 135 + 111 = k - 5*z. Is k a multiple of 29?
True
Suppose 1 - 41 = -x. Suppose 49 + 291 = 5*k. Suppose 5*d = -0*d - 2*v + k, -4*v = 2*d - x. Does 5 divide d?
False
Let y(w) = -w**3 + 5*w**2 + 6*w + 3. Let f(k) = 5*k + 1. Let b be f(1). Let x be y(b). Suppose 4*q = 2*u + 32, -3*u - 30 = -x*q - 6. Does 8 divide q?
True
Let p(l) = -4*l**3 - 2*l. Suppose f = 3*r + 9, 2*r + 4*f - 3*f = -1. Is p(r) a multiple of 11?
False
Suppose 105 = -u + 6*u. Does 11 divide u?
False
Let h = -4 + 9. Let f = h - 2. Suppose 0 = 2*n + f*n - 95. Does 6 divide n?
False
Suppose -b = -4*r + 466, -341 = -6*r + 3*r + 5*b. Does 13 divide r?
True
Suppose b - 110 = -3*b - 2*u, 0 = -3*u + 3. Is 4 a factor of b?
False
Let t(d) = 15*d + 5. Let m(z) = z. Let b(k) = 3*m(k) - t(k). Is b(-3) a multiple of 8?
False
Suppose 3*p - t - 443 = 0, 5*p - 4*t - 755 = t. Suppose 2*u + w - 72 = 0, -3*u + p = u + 3*w. Is 16 a factor of u?
False
Suppose -12*w - 155 = -17*w. Does 4 divide w?
False
Let u(s) = 37*s + 1. Let r be u(1). Let i = 58 - r. Does 10 divide i?
True
Suppose 4*n + 2*l = -46 + 136, 2*l + 15 = n. Suppose -4*q + 177 = n. Is q a multiple of 13?
True
Let n = 35 + -24. Is n a multiple of 3?
False
Let h(f) = -5*f + 11. Does 29 divide h(-10)?
False
Let o(j) = -j + 3. Let z be o(-9). Let k = 2 + z. Does 6 divide k?
False
Is 10/1 - (0 - -1) a multiple of 2?
False
Let c = 465 + -238. Does 31 divide c?
False
Suppose g - 15 = -5*s, -3 = 3*s + 3*g - 0*g. Suppose -2*w = -4*j - 0 + 10, -s*w = 4*j - 40. Suppose w*z + 45 = 5*o - 45, -3*o + 62 = -z. Is o a multiple of 9?
False
Suppose 0*s = -s - 6. Let m be 86/s + (-2)/(-6). Let i = m + 38. Is 12 a factor of i?
True
Suppose 2*k = -k. Suppose 3*y = -k*y + 30. Does 2 divide (y/3)/((-4)/(-6))?
False
Suppose -w + 2*w - 4 = 0. Suppose 0 = -w*q + 66 + 54. Suppose 2*v + 4*b = 40, -35 = -3*v - b + q. Does 11 divide v?
True
Is ((-768)/(-30))/((-8)/(-20)) a multiple of 16?
True
Suppose -4*z + 9*z = 215. Is 43 a factor of z?
True
Suppose u - 18 = p, -26 = -5*u + 3*p + 56. Suppose -r = -u + 4. Is 6 a factor of r?
False
Let d be 3/(-9) + (-11)/3. Is 19 a factor of (-2)/d*(76 + 0)?
True
Suppose -192 = -4*d - 3*s + 88, 0 = 2*d + 5*s - 154. Is d a multiple of 22?
False
Suppose -l + 335 = 3*w - 0*l, -3*l + 117 = w. Let x = 5 + w. Suppose -o + 5*o - x = 0. Is o a multiple of 22?
False
Let z(h) = h**2 + 8*h. Suppose 4*j + 0*j - 88 = 0. Suppose j + 28 = -5*i. Does 8 divide z(i)?
False
Suppose 5*n = 1 + 19, -5*b = -2*n - 207. Let w = b + -23. Does 18 divide w?
False
Suppose -8 = -3*k + 7. Suppose 0 = 3*y - k*y + 24. Is 4 a factor of y?
True
Let m(b) = -b**2 - 26*b - 29. Is 8 a factor of m(-23)?
True
Is 18 a factor of 138*(-2)/24*-4?
False
Suppose -i - 19 = -5*c + 3*c, -3*c - 5*i + 9 = 0. Let d(m) = m**2 - 6*m - 11. Let r be d(c). Suppose 0 = 3*z + r*h - 12 - 82, -18 = -z - 5*h. Does 17 divide z?
False
Let x be 4/(-10) + (-260)/(-25). Let q(g) = -g**3 + 4*g**2 - g - 3. Let w be q(3). Suppose 5 = f + y + y, -w*y - x = -f. Is 4 a factor of f?
False
Let x(i) be the first derivative of 7*i**2/2 + 1. Is 16 a factor of x(4)?
False
Let t(q) = -q**3 - q**2 - q + 49. Is t(0) a multiple of 28?
False
Suppose 3*n + 10 = -8. Is 6 a factor of (-1)/(-2) + (-45)/n?
False
Let a(g) be the first derivative of g**4/4 + g**3 + g**2 - 4*g + 2. Let o be a(3). Let j = 84 - o. Is 14 a factor of j?
True
Suppose -4*q - 301 = -2*u + 57, -q = -2*u + 346. Suppose 0*z + u = 3*z. Let n = z + -24. Is 14 a factor of n?
False
Let m = -5 + 24. Is 11 a factor of m?
False
Let u be 10 - (-3 + 