6?
False
Let s(o) = o**3 - 2*o**2 + o - 1. Let c be s(3). Suppose -1 = -4*m + c. Suppose t = 0, -w - 4*w + 60 = m*t. Is 5 a factor of w?
False
Does 28 divide (1120/(-8))/((-2 - 0) + 1)?
True
Let z = 24 + -12. Let j = z + -6. Does 4 divide j?
False
Suppose 5*f = 110 - 10. Let p = -34 - f. Let n = -10 - p. Is n a multiple of 15?
False
Suppose -228 = -10*o + 6*o. Is o a multiple of 19?
True
Suppose -3 = -2*j + 7*j + p, j + 3 = p. Let q = j + 10. Is 7 a factor of q?
False
Does 37 divide (-148)/1*(-2)/4?
True
Suppose -2*b = -4*b. Suppose b = 2*f - f. Suppose -l + 3 = -f*l. Is 2 a factor of l?
False
Let v(g) = g**2 - 2. Let q = -4 + 2. Let j be v(q). Suppose 0 = -3*t + j*t + 20. Does 9 divide t?
False
Let g(z) = z**2 - 4*z - 28. Does 17 divide g(9)?
True
Let m(w) = -w + 23. Is 10 a factor of m(13)?
True
Let s = 104 - 72. Is 17 a factor of s?
False
Suppose 3*v + 6 = -n, -4*n - v - 2*v = 6. Suppose n*u - 3*u + 12 = 0. Is u a multiple of 3?
False
Suppose 17 = 7*q - 123. Is 2 a factor of q?
True
Let m(c) = 2*c**2 - 4*c. Let l(d) = d**2 + 2*d + 1. Let s be l(-1). Let i be (s - -4) + -3 + 2. Is m(i) a multiple of 6?
True
Let b = -41 - -162. Is 17 a factor of b?
False
Let k = -8 + 11. Suppose -d = d - 2*y - 22, 0 = -d - k*y + 11. Is d a multiple of 11?
True
Let h = 1 + 8. Does 2 divide h?
False
Suppose j = 4*i - j, 0 = -i + 5*j - 18. Let t be 3 - (3 - i) - 2. Suppose 3*w + t*w = 33. Is w a multiple of 11?
True
Let g = 1 + 2. Suppose g*c + 12 = q - 6, -q - 2*c = -23. Does 7 divide q?
True
Let b(g) be the third derivative of g**8/6720 - g**7/315 + g**6/720 + 3*g**5/40 - g**4/24 - g**2. Let r(t) be the second derivative of b(t). Does 8 divide r(8)?
False
Let o = 4 + -4. Suppose 2*c + o = 4. Is 2 a factor of c?
True
Suppose i + 2*f = -70, 2*i - 330 = 7*i + 5*f. Let t = 10 - 5. Is t/(-15) - i/6 a multiple of 10?
True
Suppose 3 = 4*w - 5. Suppose -3*r - 4*u + 55 = 0, -5*r = -0*r + w*u - 87. Is 6 a factor of r?
False
Let x(c) = c**2 - 12*c + 39. Does 10 divide x(16)?
False
Suppose 180 + 171 = 3*z. Suppose -129 = -3*k - 5*s, -2*k + z - 27 = 2*s. Does 20 divide k?
False
Suppose 2 + 10 = 6*d. Suppose 40 = 5*m - 4*h, -7*m + 2*m + 5*h + 40 = 0. Is 300/16 + d/m a multiple of 10?
False
Let i be 4/4 + 193 - -2. Suppose 5*x - i = x. Is 17 a factor of x?
False
Suppose 4*y = -u + 178, 0*y - 82 = -2*y + 3*u. Is y a multiple of 11?
True
Suppose -13 = -3*t - 1. Suppose -h = 2*q - 7*q + 84, -5*q - t*h + 64 = 0. Is q a multiple of 16?
True
Suppose -12*g + 216 = -8*g. Is 18 a factor of g?
True
Suppose -2*m + 16 = 4*b - 110, -b - 1 = 0. Does 42 divide m?
False
Suppose 4*b - 5*y = -3*y + 440, -4*b - 4*y + 416 = 0. Is 4 a factor of b?
True
Let k(j) = -2*j**3 - 7*j**2 - 3*j + 4. Let b be k(-5). Suppose b = 4*u + 18. Is 10 a factor of u?
False
Suppose 4 = 2*r - 2*y, 0 = 3*r + 3*y + 2 - 8. Suppose 0 = -2*h - r*z + 16 - 6, 3*z + 35 = 2*h. Is h a multiple of 4?
False
Suppose 3*t = 2*t + 57. Is 13 a factor of t?
False
Let c = 37 + -17. Suppose -5*o + 2*z - c = 0, -3*z = 2*o - z + 22. Let m = o + 10. Does 4 divide m?
True
Let w = 2 - 3. Is (-32)/(w/(1 - 0)) a multiple of 19?
False
Let p be (6/4)/((-15)/(-20)). Suppose -p*x - r = -4*r - 5, -2*r - 2 = -x. Suppose 4*h - 2*k - 36 = 2*k, x*k - 60 = -4*h. Is h a multiple of 12?
True
Is 1 - 32/(-8 + 4) a multiple of 9?
True
Let x be (-50)/((-15)/6 - -2). Suppose -d - 3*c + 6 = -4*d, 2*c = 8. Is d/(-7) - x/(-7) a multiple of 13?
False
Suppose 0 = 6*y - 3*y - 294. Let q = y - 59. Does 13 divide q?
True
Let q(z) = -z**3 + z**2 - z. Let t(b) = -6*b**3 - 2*b**2 - 14*b - 6. Let k(w) = -5*q(w) + t(w). Is k(-6) a multiple of 12?
True
Suppose f - 2*y = -f + 12, -3*f + 12 = -y. Suppose -2*h - 7 - 71 = 4*c, 3*h = f*c + 81. Let u = c - -44. Is 11 a factor of u?
True
Let n be 10/(-35) - (-620)/14. Let z = n + -22. Does 22 divide z?
True
Suppose -x + 78 = -u, -3*x - 3*u = x - 291. Does 15 divide x?
True
Let a(v) = -v**2 - 5*v + 2. Let c be a(-6). Let b be (2/1)/(-2 - c). Let g = 1 + b. Is g even?
True
Suppose 0 = -h - h + 4*a + 78, 2*h - 78 = 2*a. Does 9 divide h?
False
Let s(v) = -v**2 - 11*v - 5. Is s(-4) a multiple of 7?
False
Suppose -3*t - 21 = -7*a + 2*a, -2*t = -2*a + 10. Suppose 0*z - 417 = -a*z. Suppose -5*v + z = 3*u, -v + 0*v + 4*u + 14 = 0. Is 16 a factor of v?
False
Suppose -5*m + 108 = -m - 4*a, 3*m + 5*a = 113. Let x(w) = -2*w**2 + w + 2. Let l be x(-3). Let n = l + m. Is n a multiple of 12?
True
Let d(f) = -f**2 + 3*f - 3. Let i be d(6). Let l = 62 + i. Is l a multiple of 21?
False
Let n(o) be the second derivative of o**5/20 - 2*o**4/3 + 7*o**3/6 + 5*o**2/2 + 2*o. Let j be n(7). Let x(a) = -a**2 + 8*a + 3. Does 18 divide x(j)?
True
Suppose 0 = 4*t + 4*c + 12, 8*t = 3*t + 3*c + 25. Suppose -x + 16 = t. Is x a multiple of 14?
True
Is 5 a factor of (-70)/(-21)*15/2?
True
Let c(s) = s**2 - 4*s - 5. Let w be c(4). Let z be 10/w - 12/(-2). Suppose z*m = m + 21. Does 3 divide m?
False
Let s be (3/(-6))/(2/(-292)). Let x = s - 25. Is 16 a factor of x?
True
Let f = -40 - -70. Is 16 a factor of f?
False
Let z = -4 - 0. Let w(n) = n**2 - 5*n + 4. Let b be w(3). Is b/z - (-9)/2 even?
False
Let h(n) = 4*n - 7. Let d be h(5). Suppose 4*o = -5*s - d + 52, 47 = 4*o - 3*s. Is o a multiple of 11?
True
Let r(a) = 5*a. Let c be r(-2). Does 9 divide (c/(-8))/((-1)/(-16))?
False
Suppose 220 = -5*a + 25*a. Is a even?
False
Suppose 2*g + 3 = 3*a, 6*a - 2*a = 3*g + 3. Let s(h) = h**3 + 2*h**2 - 3*h + 3. Let f be s(-3). Suppose f*v + 3 = 2*k - 39, 3*k = g*v + 60. Is 14 a factor of k?
False
Let h(d) = 2*d**2 + 3*d**2 + 0*d**2. Let x be h(-1). Suppose 5 = -x*l - 5*s, -l + s + 4 = -5. Is 2 a factor of l?
True
Is 3 a factor of (-3)/(((-1)/3)/1)?
True
Suppose t - 4*w + 16 = -t, -4*t + w - 25 = 0. Let c be (21/9 + -1)*t. Let x = 14 + c. Is x a multiple of 2?
True
Suppose -l + 206 = -4*j, -237 = -4*l - 2*j + 659. Is 39 a factor of l?
False
Suppose 4*j = j - 168. Let q = j + 88. Is q a multiple of 15?
False
Let c(n) be the first derivative of -2 + n**2 - 5*n + 7/3*n**3 - 1/4*n**4. Is 21 a factor of c(6)?
False
Suppose 0*b - 4*s = 3*b - 24, 4*b + 2*s = 32. Does 3 divide b?
False
Suppose -55 + 775 = 4*w. Is w a multiple of 13?
False
Suppose 4*o - 25 = -5. Suppose o*l + 5*w + 2 = -3, 5*l = -3*w + 5. Does 3 divide l?
False
Let n(c) = 5*c**2 - 1. Let q be n(1). Let o be (q/10)/((-1)/(-5)). Suppose -o*k + k + 15 = 0. Does 13 divide k?
False
Suppose -3*d + 127 = -65. Is 22 a factor of d?
False
Let i be 44/10 + 4/(-10). Let a be (-42)/(-4) - (-2)/i. Suppose -2*j + 3 = -a. Does 7 divide j?
True
Let k(h) = -h**3 + 12*h**2 - h - 11. Let n be k(12). Let y = -9 - n. Is 10 a factor of y?
False
Suppose 0 = -3*g - 0*g - 24. Let m = 6 + g. Is -2*(39/(-6) - m) a multiple of 9?
True
Suppose 0 = -4*l - 5*q + 105, 2*q = -2*l - l + 70. Suppose 5*s - l = -0*s. Is (-592)/(-20) + s/10 a multiple of 12?
False
Suppose 0 = -2*w + 4*g - g + 159, 0 = 5*w + 2*g - 369. Suppose -w = -9*o + 4*o. Let f = o - 5. Is 5 a factor of f?
True
Let i(n) = 31*n - 5. Let o be (1/1)/(2/(-10)). Let t(v) = 30*v - 6. Let j(z) = o*i(z) + 4*t(z). Does 18 divide j(-1)?
True
Let q = 6 + -11. Let o(n) = n**2 + 3*n - 7. Does 3 divide o(q)?
True
Suppose -5*s = 2 - 12. Suppose 409 = 5*d + s*y + 33, -160 = -2*d + 4*y. Is d a multiple of 15?
False
Suppose -4*o - z - 8 = -172, o - 24 = 4*z. Is o a multiple of 22?
False
Let b(z) = z + 39. Let j be b(0). Let i = -39 - -28. Let d = j + i. Is 12 a factor of d?
False
Suppose 0 = 3*l - j - 55, -l - 4*j = -3 + 2. Let c(w) = -w**2 + 19*w - 19. Is 2 a factor of c(l)?
False
Let s(o) = o**3 - 3*o**2 - 7*o + 15. Is s(5) a multiple of 10?
True
Suppose -2*a = -4*a - 5*y - 23, -a - 2*y = 14. Let t = a + 34. Does 4 divide t?
False
Let t(n) = 24*n - 19. Is t(6) a multiple of 26?
False
Let i(u) = u**2 - 4*u - 32. Is 9 a factor of i(10)?
False
Let m(q) = -2*q - 4. Let s be m(-9). Is (-5 - -9)/(4/s) a multiple of 14?
True
Suppose -3*q - 2*q = 0. Suppose q = 3*j - 5 - 4. Suppose -3*n + n + 27 = -3*c, 0 = 5*n - j*c - 63. Does 11 divide n?
False
Suppose n - 5*v = 6*n + 145, 0 = 2*n - 5*v + 30. Let a be 280/n + (-1)/(-5). Let p = a - -16. Is 5 a factor of p?
True
Let r(b) = b**2 - 3*b + 2. Is 36 a factor of r(-7)?
True
Let n(q) = q + 35. Is n(-11) a multiple of 10?
False
Suppose 2*v - v - 55 = -4*d, -v + 