 a factor of i?
True
Suppose 0 = 2*u + 3*a - 70, u = 5*a - a + 57. Let s = 71 - u. Is 10 a factor of s?
True
Let h be 1/4 - (-1)/(-4). Suppose 252 = p + 2*p. Suppose 3*l - 7*l + p = h. Is 8 a factor of l?
False
Suppose 0*y = -2*y - 6. Let r be (-2)/y + 25/3. Suppose 3*w = -r + 30. Does 4 divide w?
False
Let a = 14 - 9. Suppose a*b - 111 = -11. Does 20 divide b?
True
Let z(q) = 2*q**2 - 8. Is 7 a factor of z(4)?
False
Let r(o) = -o**2 - 2*o. Let k be r(-2). Suppose k*a = a + 4*v - 78, v - 201 = -3*a. Is 22 a factor of a?
True
Suppose 2*q - 2 = q. Let h(l) = -6*l - 6*l**2 - 4 - l**3 + 0 + l**q. Is h(-4) a multiple of 2?
True
Suppose 0 = -0*z - 4*z. Suppose 4*y = -z*y + 212. Suppose -y = -3*r - 17. Is 12 a factor of r?
True
Suppose -t + 4 = -8. Is 12 a factor of t?
True
Does 3 divide (36/(-30))/(1/(-5))?
True
Let j = -13 - -19. Does 6 divide j?
True
Suppose 2*b = -3*a - 152, 2*a + 43 = -b - 35. Let w = -20 - b. Does 21 divide w?
False
Suppose 4*y = 2*b - 36, -b + 13 = -4*y + 3. Is b a multiple of 3?
False
Does 7 divide (-5 + 5/2)*88/(-10)?
False
Suppose 3*g = 2*g + 4. Suppose 0 = -g*r + 2*r + 14. Suppose 10 + r = l. Is 17 a factor of l?
True
Suppose 0 = -2*q + 15 + 25. Suppose 2*h + 3*h + 5*z = q, -4 = -h - 3*z. Is h a multiple of 2?
True
Let z(w) = w**3 - 10*w**2 + 5*w + 4. Let s be z(10). Suppose 3*g = -0*g + 2*r + s, 4*g - 52 = -4*r. Is g a multiple of 10?
False
Let b be ((-4)/(-10))/(2/(-10)). Let y(r) = -r**2 + 5*r - 7. Let q be y(5). Let l = b - q. Does 5 divide l?
True
Let t be (-6 + 3 + 2)*-29. Let l(d) = d - 8. Let s be l(0). Let m = s + t. Is m a multiple of 14?
False
Let m = -198 - -68. Does 13 divide m/(-5) + (-2 - -2)?
True
Suppose 4*v + v = 75. Let w(d) = -d**3 + 16*d**2 - 15*d + 15. Does 5 divide w(v)?
True
Let l = -4 + 8. Let x be (-2)/l + 1/2. Suppose 4*w + x*w = 56. Does 14 divide w?
True
Let n(q) = q**3 + 16*q**2 - 2*q + 5. Let a be n(-16). Let l = -9 + a. Is 9 a factor of l?
False
Suppose l = -3*l + 3*w + 37, l - 33 = -4*w. Is 4 a factor of l?
False
Suppose 2*l + l = 0. Let h be 2/(-1) + l - -2. Suppose -3*n + 6*n - 5*o - 63 = h, 2*o + 21 = n. Does 9 divide n?
False
Suppose -4*i + 0*p + 373 = -5*p, 4*p - 497 = -5*i. Let c = i + -43. Is 27 a factor of c?
True
Suppose 2*v - 2*w + 4*w - 62 = 0, 6 = 2*w. Does 10 divide v?
False
Let j(r) = r**3 - 3*r**2 + 3*r + 1. Let p(c) be the third derivative of -c**6/120 + c**5/6 - 3*c**4/8 + c**3/2 - 2*c**2. Let s be p(9). Does 5 divide j(s)?
True
Suppose 2*x + 4*f + 4 - 8 = 0, -4*f + 12 = 0. Let i(s) = -5*s - 6. Is i(x) a multiple of 14?
True
Suppose -9*b + 7*b = -18. Does 3 divide b?
True
Let a(f) = -f**3 - 5*f**2 - 5*f. Let i be a(-4). Suppose -2*y - u + 0*u + 73 = 0, y - 32 = i*u. Does 12 divide y?
True
Let f = 101 + -51. Is 5 a factor of f?
True
Let w = -43 - -73. Does 8 divide w?
False
Suppose -j + 0*j + 156 = 0. Suppose -4*k = -8*k - 5*t + 284, 0 = -2*k + t + j. Let o = k + -52. Is o a multiple of 12?
True
Suppose 2*k - 4 = -0. Suppose 0*u - k*u + 60 = 0. Does 9 divide u?
False
Suppose 0*k - 8 = k + 2*t, 16 = -k - 4*t. Let f = 5 + k. Suppose 4*s = f*r - 184, 3*s + 146 = 4*r + s. Is 12 a factor of r?
True
Let w(b) be the second derivative of 1/4*b**4 + 0 + 2*b - 1/10*b**5 + 0*b**2 + 1/2*b**3. Is 22 a factor of w(-2)?
True
Suppose -6 + 2 = -p - 2*h, -2*p + 5*h + 17 = 0. Is p even?
True
Suppose 6*o = 2*o + 360. Suppose 5*n - 6*s + 5*s - o = 0, 2*n + 4*s = 14. Is n a multiple of 7?
False
Suppose 0 = -m - 2*m + 396. Is m a multiple of 22?
True
Suppose -4*u = 2*f - 12, -3*u - 12 + 46 = 4*f. Is f a multiple of 6?
False
Is 24/(-84) - 88/(-14) a multiple of 6?
True
Suppose -2*u = -4*u + 420. Does 6 divide 2*(u/4)/7?
False
Is 7 a factor of 110 - 1 - (19 + -20)?
False
Suppose 22*f - 100 = 17*f. Does 2 divide f?
True
Suppose -r = -0*r - 30. Does 10 divide r?
True
Suppose -4*o - 4*h - 128 = 0, 7*o = 3*o - h - 125. Let g = o + 93. Suppose 3*a - a = g. Is a a multiple of 11?
False
Suppose -4*v - 195 = -7*v - 5*m, -64 = -v - 2*m. Suppose -w = 4*w - v. Is 12 a factor of w?
False
Let k be 2 + -7 + 3 - -2. Suppose k = -5*j + 26 + 44. Is 6 a factor of j?
False
Suppose 4*r - 3*r - 299 = 0. Suppose -r + 31 = -4*w. Is w a multiple of 19?
False
Let r be (3 + -87)*(-3)/4. Let z = r - 13. Does 11 divide z?
False
Suppose l + 0 - 2 = 0. Does 6 divide (l - (-28)/(-2))/(-1)?
True
Let i(t) = 3*t - 6*t + 7*t - 3 + t**2. Let n be i(-4). Does 11 divide ((-66)/(-4))/n*-2?
True
Let g(f) = -f**3 + 7*f**2 - 4*f - 3. Let c be g(6). Does 3 divide c/4 + (-45)/(-60)?
True
Let u(q) = -q**2 - 3*q + 3. Let m be u(-3). Suppose 0 = m*a + 2*a - 60. Suppose -o + a = -36. Is o a multiple of 16?
True
Suppose 0 = 13*s - 1371 + 318. Is s a multiple of 33?
False
Let g be 4/8 - (-27)/6. Suppose -g*n + 1 + 19 = 0. Suppose 2*k - 91 = -3*z + 3*k, n*z - 132 = 4*k. Is 20 a factor of z?
False
Let d = -65 + 160. Is 19 a factor of d?
True
Let u(p) = 19*p - 18. Does 35 divide u(10)?
False
Let v be ((-6)/(-4))/((-1)/(-46)). Let w = v + -27. Suppose -10 = 2*b - 0, y = 2*b + w. Does 20 divide y?
False
Does 21 divide (-254)/(-6) - (4/(-12))/(-1)?
True
Let w = 341 - 131. Is 35 a factor of w?
True
Let z = 5 + -10. Let w(q) = -4*q + 1. Let h(a) = -a. Let y(g) = 5*h(g) - w(g). Is 4 a factor of y(z)?
True
Let s = 65 - 45. Is 20 a factor of s?
True
Let m(r) = -r**3 + 7*r**2 - 3*r - 5. Let l be 46/10 + 14/35. Is m(l) a multiple of 10?
True
Is 3 a factor of 0 + (2 - 2) + (-1 - -16)?
True
Suppose m = -5*n + 93, 2*m + 0*m = -5*n + 181. Does 24 divide m?
False
Let k(x) = 22*x - 45. Does 33 divide k(13)?
False
Let w(t) = 7*t - 1. Let u be w(1). Let s(p) = -p**3 + p**2 - p - 1. Let o(j) = -4*j**3 + j**2 - 13*j - 9. Let z(k) = o(k) - 5*s(k). Is 14 a factor of z(u)?
False
Suppose 5*g - 2*r = 126, r + 9 = -5*g + 126. Let p = g + -16. Is 8 a factor of p?
True
Let k = -1 - -1. Let i(a) = a**2 - 4*a - 3. Let z be i(5). Suppose z*w - 16 = -k*w. Is w a multiple of 8?
True
Suppose 656 = 4*w + 4*a, -2*a + 173 + 487 = 4*w. Suppose 3*z = w - 49. Is 14 a factor of z?
False
Suppose 4*o + 5*s - 4 - 43 = 0, -3*o + 30 = 2*s. Is o a multiple of 8?
True
Let v(k) = 2*k + k**3 + 0*k**2 + 4 - 6 + 2*k - 3*k**2. Let l be v(3). Suppose -l = 5*b, 5*o - 2*b - 63 = 2*b. Is o a multiple of 11?
True
Suppose 6*u = u + 4*c + 170, u = 5*c + 55. Let h = u - 7. Is h a multiple of 23?
True
Let l(a) = -a. Let s be l(-4). Let m be (-10)/s - (-1)/(-2). Does 5 divide m/(3/(-7)) - -1?
False
Let y be 7*2/(-4)*-2. Let u(s) = s**3 - 14*s**2 + 12*s. Let l(n) = n**3 - 15*n**2 + 13*n. Let h(q) = 6*l(q) - 7*u(q). Is h(y) a multiple of 7?
True
Let d be 54/10 - (-4)/(-10). Let r(x) = -x**3 + 5*x**2 + 5*x + 2. Is r(d) a multiple of 9?
True
Let m be 1/(-3) + (-10)/(-3). Suppose -m*a + 112 = a. Suppose 5*w = a + 92. Does 8 divide w?
True
Let z be (-2)/6*0/2. Suppose 0 = y - z*y - 22. Is y a multiple of 11?
True
Suppose -3*y + 10 - 105 = -2*o, -5*y - 30 = -o. Is o a multiple of 25?
False
Suppose 2*k = k. Suppose j = -4*f + 14, f = -k*j + 3*j - 42. Is j a multiple of 6?
False
Suppose -d = -0*d + 2. Let r be 1/(d - (-249)/123). Suppose 5*c - 4*k = -k + 93, -c - 5*k + r = 0. Is c a multiple of 21?
True
Suppose -236 - 43 = -t. Suppose -j - 1 = 0, -h = 4*h + j - t. Is 18 a factor of h?
False
Let o = -277 + 427. Suppose -o = -4*w - 2*q, -w = -0*q + q - 39. Is 18 a factor of w?
True
Suppose 0 = 24*j - 7*j - 1037. Is j a multiple of 8?
False
Let n(f) = -f + 19. Is n(0) a multiple of 18?
False
Suppose 121 - 17 = n + t, -2*n - 5*t + 220 = 0. Is 10 a factor of n?
True
Let z(k) = 7*k**2 + k - 1. Let p be z(4). Suppose -7*s = -2*s - p. Does 7 divide s?
False
Let b = -322 + 626. Does 19 divide b?
True
Suppose 0 = -2*l + 14. Suppose 3*g - x = -0*g + l, x = g + 1. Is 3 a factor of g?
False
Let t(z) = -2*z + 14. Let o be t(11). Let a = o - -28. Is a a multiple of 10?
True
Suppose 5*q - 72 = 3*q. Is q a multiple of 12?
True
Suppose 4*h = 5*h - 5*u + 4, 0 = -5*h - 2*u - 20. Let g(r) = -4*r + 1. Let p be g(h). Let f = 38 - p. Is f a multiple of 15?
False
Let i(h) = -h**2 - 15*h - 10. Let f(l) = -2*l + 0*l + 4*l. Let s be f(-4). Does 20 divide i(s)?
False
Let p = 40 + 20. Let u(m) = -m - 5. Let l be u(-5). Suppose -q - q + p = l. Does 10 divide q?
True
Suppose 0 = -3*j + 4*v - v + 6, 0 = -3*j + 2*v + 6. Suppose -136 = -j*m - 2*m. Is 