ple of 18?
False
Let g = -98 - -102. Suppose -p - 4 + 0 = 0, 136 = g*m + 3*p. Is m even?
False
Suppose 0 = -3*i + 8*i - 25. Suppose -3*h - 4*t - 36 = -i*t, 4*h = -5*t - 29. Let s = h - -31. Does 20 divide s?
True
Let t(u) = 9*u**2 + 4*u + 27. Is 11 a factor of t(7)?
False
Let m(x) be the third derivative of -x**6/120 + x**5/12 - x**4/8 + x**3/6 + x**2. Let i = 31 + -28. Does 3 divide m(i)?
False
Suppose 0 = 19*c - 12*c - 448. Is 13 a factor of c?
False
Let r(d) be the first derivative of -11*d**4/2 + d**3/3 + 3*d**2/2 + 5*d - 5. Is 28 a factor of r(-2)?
False
Suppose 0*g - 513 = -2*g + 5*k, 3*k + 3 = 0. Is 60 a factor of g?
False
Let y = 172 - -388. Is 9 a factor of y?
False
Suppose 4*w + p - 89 = 0, -10 = -2*p - 0*p. Let q = w - -31. Does 7 divide q?
False
Let f = 357 - 304. Does 5 divide f?
False
Suppose -2*m - 2*t + 6 = 0, 5*m - 2*t = 53 - 10. Suppose m*r - 67 = 129. Does 28 divide r?
True
Let x(g) = g**3 + 24*g**2 + 17*g - 17. Let k(f) = f**2 + 15*f + 27. Let a be k(-10). Is 17 a factor of x(a)?
False
Let y = 397 - 154. Let k = y - 23. Is k a multiple of 20?
True
Let z = -24 + -4. Let f = 78 + z. Is f a multiple of 13?
False
Suppose 0 = -4*h + h - a + 18, 5*h = -a + 28. Is -1 + 88 + (-15)/h a multiple of 28?
True
Suppose 5*n - 1417 - 5503 = 0. Does 4 divide n?
True
Suppose 0 = 5*d - k - 0 + 2, 2*d - 5*k + 10 = 0. Let o be (-1)/2*d + 2. Suppose o*s - 1017 = -7*s. Is 25 a factor of s?
False
Let q(i) = 13*i - 17. Let v be (-52)/(-6) - 16/(-12). Is q(v) a multiple of 14?
False
Let b(n) = -n**3 - 8*n**2 + 7*n. Is 15 a factor of b(-15)?
True
Suppose 17 = 2*a - 3. Suppose -7*m + a = -2*m. Suppose 3*b = q - 24, -2*b = -0*b + m. Does 7 divide q?
True
Suppose -3*c - n + 1040 = 0, 3 = -4*c + n + 1385. Is c a multiple of 6?
False
Let m be -3 - (0 + 3) - 2. Let p be 134/(-8) + 2/m. Let l = p - -40. Is 8 a factor of l?
False
Suppose -b - q = -4*q - 8, 0 = -2*b + 2*q + 8. Suppose 5*r = 57 - b. Suppose 0*f - 3*k = -4*f + 23, 0 = -f - k + r. Is 6 a factor of f?
False
Suppose -3*y + 5*n = 29, -5*y - 8*n - 75 = -3*n. Let h = -22 - y. Let w = 31 + h. Is 11 a factor of w?
True
Let s(j) = j**3 + 33*j**2 - 6*j - 1. Is s(-33) even?
False
Let r = -73 + 145. Does 4 divide (-41)/(-4) + (-18)/r?
False
Suppose -2*c - 2 = -3*c. Is 14 a factor of 4240/(-60)*(-1 + (-1)/c)?
False
Let p = -224 + 87. Let b = p - -227. Is b a multiple of 18?
True
Let a(z) = 5*z + 29. Let l be a(-6). Does 7 divide -1*(-1)/2*(13 - l)?
True
Suppose 0 = 4*k + h - 4 + 5, -h - 1 = -3*k. Is 112 + (-2 - -2) + k a multiple of 14?
True
Is 18 a factor of (72/(-10))/(11/(-165))?
True
Let u(v) = 5*v**3 - 2*v + 135. Does 9 divide u(0)?
True
Let v = 8 + -9. Let g = v + 6. Let h(z) = 3*z**2 - z - 4. Does 22 divide h(g)?
True
Suppose 20*q = 2520 + 80. Is 10 a factor of q?
True
Suppose -5*n + 215 = -5*y, -9 + 4 = -5*y. Suppose -2*v + 3*i = -13, 3*v - 7*i = -3*i + 19. Suppose 9*j - v*j - n = 0. Does 11 divide j?
True
Suppose -4*l = 4*k - 23 + 91, 4*k - 5*l = -77. Let d(w) = -w**3 - 16*w**2 + 33*w + 8. Is 31 a factor of d(k)?
True
Is 50 a factor of (-30)/4*1158/(-5)?
False
Suppose 5*k - 5*j = 6975, 2*j = 4*k - j - 5576. Is k a multiple of 53?
False
Is 1760/6 - (-129)/(-387) a multiple of 13?
False
Suppose -819 - 1116 = -9*k. Does 6 divide k?
False
Let b(n) = -3*n**3 - 4*n**2 - 3. Let a(r) = -r**3 + r**2 - r + 12. Let i be a(0). Let k be (-54)/i + (-6)/(-4). Is 21 a factor of b(k)?
True
Suppose 72 = l - 3*l. Let d = l + 79. Let f = -26 + d. Is 17 a factor of f?
True
Let m(a) = 4*a + 13. Let r = -26 - -19. Let g be m(r). Let i(q) = q**3 + 15*q**2 - 3*q - 6. Is i(g) a multiple of 16?
False
Let x = 4370 + -2607. Is 67 a factor of x?
False
Suppose g = 6*g + 150. Let t = -6 - g. Suppose n - 5 - t = 0. Is 18 a factor of n?
False
Let g = 299 + -35. Is g a multiple of 6?
True
Let d(l) = 286*l**3 + 5*l**2 - 12*l + 12. Is d(2) a multiple of 37?
False
Let u(o) be the first derivative of 12 - 2/3*o**3 + 2*o + 1/2*o**2 - 17/4*o**4. Is 8 a factor of u(-1)?
True
Let u(h) = h**3 - h**2 - h + 1. Let y be u(2). Let w = -537 + 737. Suppose 0 = -m - y*m + w. Is m a multiple of 18?
False
Let o(x) = -x - 3. Suppose 2*d - 8 = -0. Suppose 46 = -4*f + 5*m, f + d*m + 19 = -3. Is o(f) even?
False
Let s = 133 + -85. Suppose 234 = s*k - 46*k. Is 27 a factor of k?
False
Suppose -200 = -5*q - 5*u, -4*q - 25 + 183 = 5*u. Suppose -2*a = -7*i + 4*i - 77, -2*i = a - q. Does 10 divide a?
True
Suppose -35*w + 51941 = -6614. Does 39 divide w?
False
Let y be -54*(16/(-40) - 6/10). Suppose 0 = 5*g - 511 - y. Does 24 divide g?
False
Let y(k) be the second derivative of 1/2*k**2 + 1/6*k**4 + 0 + 2/3*k**3 - 6*k. Is 3 a factor of y(-3)?
False
Suppose -22*o + 7352 = 4*r - 20*o, 3680 = 2*r + 2*o. Is 12 a factor of r?
True
Let i(b) = 27*b + 8. Is i(8) a multiple of 16?
True
Suppose 0 = 4*q - 5*i - 5 - 36, 5*q - 43 = -2*i. Let w be ((-2)/(-6))/(q/(-27)). Is 13 a factor of (w + -51 + 0)/(-2)?
True
Suppose 5*j - 25 = 0, 2*g = 3*j - 304 + 949. Is g a multiple of 14?
False
Suppose -4*r = 3*y - 314, 2*y - y - r = 107. Is 7 a factor of y?
False
Let p = -691 + 1535. Is 56 a factor of p?
False
Let k(a) be the second derivative of -a**4/12 + a**3/3 - a**2/2 - 7*a. Let o be k(-4). Let u = o - -69. Is 11 a factor of u?
True
Let v = -160 - -914. Is 33 a factor of v?
False
Suppose -5*y + 2*q - 154 = -y, -4*y - 4*q = 172. Let r = y - -59. Is 17 a factor of r?
False
Suppose -18 = 5*p - 178. Let c = 69 + p. Is c a multiple of 16?
False
Let n = 20 - 13. Let v be 24/84 + 26/n. Suppose 3*p + v*s - 181 = 0, 229 + 13 = 4*p + 5*s. Is p a multiple of 21?
True
Let a = -13 + 13. Let r be a/(3/(-6)*-2). Suppose -4*b + 4 = r, -x + 89 = x - b. Is 12 a factor of x?
False
Let w(g) be the third derivative of 5*g**6/24 - g**5/30 + g**3/6 - 5*g**2. Let i be w(-1). Is 6 a factor of (-1)/((-50)/i - 2)?
False
Suppose 2*a - 22 = 2*b + 98, -4*a + 3*b + 245 = 0. Is 13 a factor of a?
True
Let f(g) = g**2 + 6*g + 17. Let u = 27 - 32. Is f(u) a multiple of 5?
False
Let w(j) = -j**3 + 5*j**2 + 7*j + 2. Let y = 23 + -17. Let g be w(y). Let t(n) = n**3 - 7*n**2 - 7*n + 10. Is 13 a factor of t(g)?
False
Let n(i) = -9*i + 8. Let j be n(6). Let c = -72 - j. Does 30 divide c*((-20)/8)/1?
False
Suppose -173*w = -171*w - 38. Is 8 a factor of w?
False
Suppose -66*f + 57*f + 5184 = 0. Does 32 divide f?
True
Let z(t) = -11*t**2 - 16 + 8 - 4*t**3 + 3*t**3 - 3*t. Suppose 2*s + 3*s + 55 = 0. Does 10 divide z(s)?
False
Let y = 116 - -663. Is y a multiple of 20?
False
Is 2/(-28) + 232857/126 a multiple of 28?
True
Suppose 6*h + 24 = 9*h. Let k(z) = z**2 - z + 11. Let p be k(h). Suppose -m + x = -77, -2*m = -x - 90 - p. Is m a multiple of 20?
True
Let l = 67 - -43. Suppose o = -5*g + l, -208 = -2*o - 4*g - 0*g. Is o a multiple of 26?
False
Let r(g) = g**3 - 9*g**2 + 12*g - 7. Let m be ((-6)/5)/((-37)/(-20) - 2). Is r(m) a multiple of 13?
False
Let q(y) = -y**2 - 12*y + 8. Let o(j) = -j**3 + 6*j**2 - 5*j - 1. Let n be o(4). Suppose 0 = i + n + 1. Is 7 a factor of q(i)?
False
Suppose 212*a - 46550 = 187*a. Is a a multiple of 31?
False
Suppose -2*c + 2207 = 2*j - 787, -j = 2*c - 2990. Is c a multiple of 46?
False
Let i be -2 + (0 - (-3 - -1)). Suppose 2*g + 3*h - 16 = i, 0 = 5*g - 4*g - h - 3. Suppose 0*o + 115 = 5*o + 3*x, -x = g. Is 26 a factor of o?
True
Let r = -339 + 631. Is r a multiple of 75?
False
Let n(y) = 3*y**2 - 10*y - 2. Let k be n(-4). Suppose 0 = -4*l - z + k, -2*l = -l - 4*z - 30. Does 22 divide l?
True
Let q = 120 - 6. Suppose -7*z + 194 = -q. Does 22 divide z?
True
Is 22 a factor of (-32)/20*1045/(-22)?
False
Let z = -1203 - -1840. Is 9 a factor of z?
False
Let o(v) = v**3 - 9*v**2 - v + 16. Let f be o(9). Suppose 20 = 3*t - f. Suppose -12*w + 33 = -t*w. Is w a multiple of 11?
True
Let v = -2 + 44. Is 14 a factor of v?
True
Suppose 5*l - 5*q - 13477 = -2542, -2*l + 4374 = -q. Does 81 divide l?
True
Let w(h) = h + 52. Suppose -4*j - 26 = -106. Let z be 2/1 - j/10. Is w(z) a multiple of 29?
False
Suppose 0 = -g + 4*b + 462, 1400 = 3*g + 7*b - 5*b. Is 4 a factor of g?
False
Let h(p) = 2*p**2 + 4*p - 1. Let l be h(-3). Suppose 2*s = 3*s + 4*a - 116, a + 601 = l*s. Is s a multiple of 40?
True
Let f = -2236 + 3333. Is 37 a factor of f?
False
Suppose 4*m - 28 = -3*m. Suppose 48 = m*b - 24. Is b a multipl