alse
Let n be (-6)/12 + (-10)/4. Let s = -3 - n. Let v(j) = j + 12. Is v(s) a multiple of 9?
False
Let g = 18 - 25. Does 19 divide 4/(-14) - 135/g?
True
Suppose -5*n = 4*v - 6, 4*n - 5 = -0*n - 3*v. Suppose -n*c - 2*c = -144. Is c a multiple of 13?
False
Let f = 87 - 12. Suppose 0 = -3*s + 57 + f. Does 26 divide s?
False
Let f(k) = 1 + 2*k + k**2 - 8*k**3 - 3*k + 10*k**3 + 42*k**3. Does 15 divide f(1)?
True
Let w(c) = -c**2 + 8*c + 5. Is 2 a factor of w(8)?
False
Suppose 0 = -y + 5*u + 1, -2*y = 2*u - 14. Suppose q - 2*q + 14 = 0. Let p = q - y. Is 6 a factor of p?
False
Let h(r) = -r**3 + 5*r**2 + 3. Let z be h(5). Let l(o) = z + o - o - o. Is l(-3) a multiple of 6?
True
Let h(t) = t. Let k(g) = -3*g. Let j(l) = -3*h(l) + k(l). Suppose -4*c = c + 40. Does 24 divide j(c)?
True
Let f = -34 + 97. Is 21 a factor of f?
True
Let d = -54 - -57. Is d even?
False
Let i be (45/6)/((-2)/(-20)). Suppose -c + i = 4*c - 5*w, w = -4*c + 60. Suppose 0 = 3*b + c - 48. Is 6 a factor of b?
False
Let w = 12 - -35. Let b = 73 - w. Is b a multiple of 13?
True
Let u(n) = 7*n - 11. Is 15 a factor of u(8)?
True
Let a(r) = r**3 + 6*r**2 - 9*r - 9. Let l be a(-7). Suppose -w + 2*v + 23 = 0, -3*w - 3*v + 65 = -l*v. Is w a multiple of 6?
False
Suppose 2*v - 180 = 4*n, -4*n + 4*v - 156 = 8*v. Let g = n - -66. Suppose -2*u - 3*m = -g, 6*m - 3*m - 33 = -3*u. Is 5 a factor of u?
True
Is 6 a factor of 1*177/(-2)*(-8)/12?
False
Suppose -3*j = 5*a - 30, -a + 3*j = -0*a - 6. Let r = -1 + 19. Let w = a + r. Is 12 a factor of w?
True
Let r = -34 - -70. Suppose -3*o + r = -2*o. Does 12 divide o?
True
Let v(d) = -34*d - 6. Let l be v(-6). Suppose -76 = 2*u + 4*z + l, 4*u = 4*z - 536. Is 13 a factor of u/(-7) + (-4)/14?
False
Is (-228)/(-2) - (9 - 5) - 0 a multiple of 31?
False
Let d be (1 + 1 + 32)/1. Let h = 49 - d. Is h a multiple of 15?
True
Let i = -157 - -86. Let f = -51 - i. Does 10 divide f?
True
Let m = 248 - -105. Does 55 divide m?
False
Let w(c) = -c - 22. Let p be w(0). Does 15 divide (-6)/((-19)/p + -1)?
False
Let r = 8 + -8. Suppose -b + 3*w = 9, -4*b + r*w + 14 = -2*w. Suppose 14 = b*m - 4*m. Is 2 a factor of m?
False
Let o = 465 - 228. Suppose -5*g + o = 27. Suppose -3*k + g = -18. Does 17 divide k?
False
Does 45 divide 222 - (-8)/((-32)/(-12))?
True
Suppose -26 = -3*n + 16. Suppose 2*s + 3*s + n = x, -3*x = 5*s - 2. Suppose -3*j - 5 = 5*y, -j + 3*y = x*y - 1. Does 2 divide j?
False
Suppose -3*f = -f - 116. Suppose -94 = -4*z + f. Does 15 divide z?
False
Let v = -17 - -24. Suppose -2*k = -2*x + 3 + v, k = -3*x + 7. Suppose 0 = -x*h - h + 60. Is h a multiple of 15?
True
Let c(n) = -6*n - 9. Is 3 a factor of c(-6)?
True
Let m(x) = -x + 10. Let c be m(6). Suppose 5*o = -5*d + 155, 5*d - 2*d + c*o = 96. Let a = 55 - d. Is a a multiple of 9?
True
Suppose 0 = 2*t - 5*a - 46, 4*t + 5*a + 5 - 127 = 0. Is t a multiple of 14?
True
Suppose 3*c = -3*d + d + 21, -5*c + 9 = -d. Suppose 0 = -d*o + 10*o - 156. Is o a multiple of 13?
True
Suppose 4*j - 136 = -20. Let x = j + -48. Does 16 divide (-24)/(-10)*(1 - x)?
True
Suppose 5*x + 2 = -3, -4*x = -r + 134. Is r a multiple of 13?
True
Let a be (-2)/1 - -3 - -5. Let v(w) be the second derivative of w**5/20 - w**4/2 + 4*w**3/3 - 3*w**2/2 + 7*w. Is 22 a factor of v(a)?
False
Let l = 20 - 14. Suppose k = 4*k - l. Suppose -p + 5*y + 11 = k*y, -4 = 4*y. Is 3 a factor of p?
False
Let s(z) = -3*z**3 - 2*z**2 + 2*z + 3. Let c be s(3). Let w = -44 - c. Let y = w + -22. Is y a multiple of 12?
True
Let f(k) be the third derivative of -k**4/24 + k**3/3 + 7*k**2. Is f(-14) a multiple of 8?
True
Let o = 12 + 25. Is 37 a factor of o?
True
Let f(a) = a + 7. Is 8 a factor of f(5)?
False
Suppose -3*k + k = -6. Suppose k*z - 2 = 28. Does 5 divide z?
True
Suppose 6 = v + 2. Let f be (-6)/15 + 38/(-5). Is 14 a factor of 119/v + 6/f?
False
Suppose -10*b + 24 = -13*b. Let q(g) = -2*g**3 - 23*g**2 + 29*g + 7. Let j(r) = r**3 + 11*r**2 - 14*r - 4. Let x(i) = 9*j(i) + 4*q(i). Is x(b) a multiple of 4?
True
Suppose -5*n - 4*v + 617 = -2*v, 120 = n - 3*v. Does 22 divide n?
False
Let v(q) = -q**2 - 6*q + 4. Let y be v(-6). Let k(s) = s**2 - 4*s - 2. Let j be k(5). Suppose -2*u - y*l + 50 = 0, 0*u = -4*u + j*l + 78. Is u a multiple of 7?
True
Let m(q) = -q**2 - 7*q + 12. Let c be m(-9). Let s be (-662)/(-14) - c/(-21). Let d = s + -24. Is d a multiple of 13?
False
Let h be (-3)/((-9)/21) + 3. Is 320/4*4/h a multiple of 12?
False
Suppose 12*o + 612 - 1632 = 0. Is o a multiple of 58?
False
Suppose f - 4*m + 1 - 80 = 0, 3*f + 3*m = 177. Is f a multiple of 22?
False
Let x(b) be the first derivative of -b**4/4 + 5*b**3/3 + 5*b**2/2 + 6*b + 2. Let a be x(6). Suppose 3*p - 30 = p - 2*q, a = -p + 2*q + 9. Is 4 a factor of p?
False
Suppose -5*f + 0 = -10. Suppose 6*w = f*w. Suppose -3*q - 27 = -2*p, w*q = -5*p + 3*q + 81. Is p a multiple of 9?
True
Is 4 a factor of (45/(-10))/(3/(-8))?
True
Does 4 divide 9 - ((-6)/(-2))/(-1)?
True
Suppose -4*m - 22 = -3*f, 2*f - 3*m = -5*m - 4. Suppose -f*z = -4 - 12. Is z a multiple of 4?
True
Suppose -2*v - 2*k + 10 = 0, k + 5 = 2*v + 4*k. Let y = v - 19. Is 1 + (-2 + 2 - y) a multiple of 7?
False
Let a(r) = r**2 - 13*r + 8. Let m be a(9). Does 10 divide (24/m)/(2/(-70))?
True
Let c(r) = 2*r + 7*r**2 - 2 - 8 - 4*r**3 + 3*r**3. Is 2 a factor of c(7)?
True
Suppose 5 = 4*v + v, -2*q + 4*v + 4 = 0. Suppose 5*t - 6 - q = 0. Suppose t*f + 2*d = -f + 46, 4*f - 61 = -3*d. Is f a multiple of 16?
True
Let w(p) = -4*p - 2. Suppose -6*q - 16 = -2*q. Does 9 divide w(q)?
False
Let h = 24 - 18. Does 5 divide h?
False
Let t(u) = u**2 + 5*u + 2. Let z be t(-6). Suppose 2*n = -3*v - z + 2, -3*v = n + 9. Is 2 a factor of 17/n + 2/(-3)?
False
Let q = -7 - -16. Is q even?
False
Suppose 2*h - 38 = x, 0 = 3*h - 2*x - 95 + 37. Let s = 29 - h. Is s a multiple of 8?
False
Suppose 3*c - m = 55, 106 = 5*c + 5*m - 19. Does 20 divide c?
True
Suppose 29 = -5*a + 5*n + 224, -a + 51 = 3*n. Let l = a + -19. Is 11 a factor of l?
False
Let n = 25 + -37. Let a = n + 18. Is 4 a factor of a?
False
Let r(u) = -u**2 - 11*u + 2. Let z be r(-11). Does 14 divide (z - 4)/(2/(-28))?
True
Let q = -7 - -13. Suppose q*z - 3*z = 4*m - 12, 3*m - 9 = -5*z. Suppose 4*o + 3*s - 50 = -z*s, -s = 3*o - 40. Is 14 a factor of o?
True
Suppose 0*b - 33 = 3*b. Let x = 2 - 4. Is 1 + (2 + x - b) a multiple of 8?
False
Let n = 40 - 18. Is n*(3 + -2 - 0) a multiple of 14?
False
Suppose f = -0*f. Suppose -3*b = x + 14, -x + 4*b - 28 = -f*x. Let t = x - -29. Is 8 a factor of t?
False
Let y be 1/(-6) + (-38)/(-12). Suppose -119 = -y*m + 4. Is m a multiple of 13?
False
Let a(j) be the first derivative of -j**3/3 - 17*j**2/2 + 5*j - 6. Does 19 divide a(-13)?
True
Let n(o) = -o**2 + 19*o + 42. Is n(19) a multiple of 22?
False
Suppose g + 4*g - 330 = 0. Let x = g + -29. Is x a multiple of 14?
False
Let o = -1 - -1. Suppose o = -2*n - n + 4*p + 73, 3*n = p + 70. Is 23 a factor of n?
True
Suppose 0 = 4*k - 5*k + 12. Suppose 10*c = k*c - 16. Is 8 a factor of c?
True
Let d(y) = y**2 - 9*y + 4. Is d(9) even?
True
Suppose 0 = -7*d + 3*d + 40. Suppose 5*s = -p + d, -5*s - 7 = -p + 3. Is 10 a factor of p?
True
Let m(a) = -2*a - 2. Let t(g) = -g**2 + 1. Let j be t(-3). Is 14 a factor of m(j)?
True
Suppose -12 = -5*n + 23. Is 3 a factor of n?
False
Is 4 a factor of (-4)/(-6) - (-73)/3?
False
Suppose -574 = -4*q - 218. Is q a multiple of 17?
False
Suppose -4 = 2*c + 2, 93 = 5*k + 4*c. Suppose 4*j + 13 = -3*d, -7*d + 2*d = -4*j - k. Does 13 divide (1/1)/d*14?
False
Let l = 155 - 85. Is l a multiple of 35?
True
Suppose i + 256 = 5*i. Suppose -i = -3*o - 1. Is o a multiple of 8?
False
Suppose -l - 3*l + 52 = -4*p, l = 2*p + 10. Is l a multiple of 12?
False
Let a = 1 - 2. Let f be (a/(-3))/((-6)/(-108)). Suppose -5*l = -f*l + 15. Is 7 a factor of l?
False
Let q = -30 + 59. Suppose 87 = -5*j + 3*z - 6*z, -4*z = j + 31. Let k = q + j. Is 14 a factor of k?
True
Let c = 3 + 22. Is 13 a factor of c?
False
Let t(v) = -v - 21. Let a be t(-12). Let h(l) = -7 + 2*l - 5*l - 2. Does 18 divide h(a)?
True
Let l(m) = 7*m**3 + 1. Let t be l(1). Is 20 a factor of 53 - (t/2)/2?
False
Let q be 8/10*(-15)/6. Is 17 a factor of ((-8)/12)/(q/111)?
False
Suppose -5*r = -5, -w - 2*r + 28 - 87 = 0. Let d = -39 - w. Does 12 divide d?
False
Let f