3?
True
Let b(o) = o**3 + 10*o**2 + 9*o. Does 56 divide b(-8)?
True
Let f = 400 - 357. Is f even?
False
Let k(a) = 5*a + 8. Let v = -35 - -37. Does 6 divide k(v)?
True
Is 13 a factor of 39264/144*3/2?
False
Let w(z) = -z**3 - 13*z**2 - 2*z - 19. Let p(d) be the second derivative of -4*d**3/3 + 3*d**2/2 + 4*d. Let n be p(2). Is 7 a factor of w(n)?
True
Suppose 8*f - 20 = 3*f. Let x(m) = -m**2 + 4*m - 2. Let d be x(f). Does 21 divide (42/(-18))/(d/36)?
True
Let k be 1 + 0 + 0 - 1/(-1). Suppose 5*w - 189 = k*w. Is w a multiple of 9?
True
Let d = 2468 + -1773. Is 72 a factor of d?
False
Let s(x) = -2*x**2 + 7*x + 15. Let p be s(5). Suppose -2*i - 5*c + 87 = p, -2*c - 290 = i - 6*i. Does 32 divide i?
False
Is 10 a factor of (-1401)/(-9) + (-1)/(-18)*6?
False
Let o(h) = h**3 + 9*h**2 - 9*h + 5. Let c be o(-10). Does 28 divide (65 + c)/(0 - -1)?
False
Suppose -m + 0*m = 0. Suppose m = -z + 5*q + 220, 5*z - q - 248 = 804. Suppose z = -4*n + 8*n + r, -n - 5*r + 62 = 0. Is n a multiple of 26?
True
Let n(q) = q**3 + 8*q**2 + 7*q + 9. Let a be n(-7). Let k = -5 + a. Suppose -k*s + 2*v - v = -71, 3*s - 4*v = 50. Is s a multiple of 18?
True
Let g(h) = h**3 - 7*h**2 + 13*h - 9. Let x be g(8). Suppose 0 = 10*y - 7*y + x. Let z = -37 - y. Does 4 divide z?
True
Suppose 0 = 2*a - 3*r - 1293, -3*a + 454 = 2*r - 1479. Is a a multiple of 8?
False
Let j(i) = i**3 + 2*i**2 - 25*i + 7. Let m be j(-6). Let p = 14 + -10. Suppose -p*a - s + 95 = 0, a + 3*s - 8 = m. Is a a multiple of 5?
False
Suppose 3*b - 4*g + 6352 = 7*b, -5*g = -10. Is b a multiple of 8?
False
Suppose 3*w + 239 - 55 = 4*r, 2*r = -5*w + 118. Is r a multiple of 7?
True
Let t(g) = -g**3 - 1. Let s be t(0). Let i = -72 - -78. Is 2 a factor of 129/18 + s/i?
False
Let i(r) = 68*r - 251. Is 7 a factor of i(4)?
True
Let c(l) = -2*l + 2. Let d be (-11 - -10)/((-2)/48). Suppose 8 = -4*y - d. Is 5 a factor of c(y)?
False
Let d(h) = h**3 - 9*h**2 - 34*h + 79. Does 27 divide d(12)?
False
Is 10 a factor of 25/(-5) + 6/((-12)/(-770))?
True
Let p = 217 + -116. Suppose y - 2 = p. Is y - -3 - (0 - 0) a multiple of 27?
False
Let i = 1655 + -397. Does 21 divide i?
False
Let j = 1914 + -964. Is j a multiple of 25?
True
Suppose -3*i - 40 = 2*i - 5*f, 0 = -2*i - 4*f + 14. Let b be 1 + 6/(6 + i). Suppose -b*u = -0*u - 30. Is 5 a factor of u?
True
Let n(v) = -51*v - 7. Let c be (-6)/(-3) + -3 + -4. Is n(c) a multiple of 52?
False
Let i = 2535 - 1572. Suppose -5*s - 3*b = -961, b + i = 5*s + 5*b. Suppose -776 + s = -5*w. Is 39 a factor of w?
True
Suppose -4*l - 2*a = -60, 5*l - 2*a - 45 = 3*a. Let s = l - -9. Is s - (-5 - 20/(-5)) a multiple of 4?
False
Let o = -46 - -64. Suppose 4*r = o - 2. Is r a multiple of 3?
False
Suppose 0 = 2*u + 2*h + 60, 2*u + 3*u = h - 168. Is 11 a factor of u/(-1) + 8 + -8?
True
Let m(u) = 2*u**2 - u - 1. Let d be m(-1). Let v(n) = -17*n - 3. Let f(z) = 86*z + 16. Let l(b) = -2*f(b) - 11*v(b). Does 8 divide l(d)?
False
Suppose 5*t + 1682 = 3*m + m, 2082 = 5*m + 4*t. Does 38 divide m?
True
Let o(g) = -5*g**3 - g**2 - 3*g + 5. Let f be o(-5). Let q be ((-8)/(-5))/(8/f). Does 14 divide q/9 - (-10)/45?
True
Let u(i) = 54*i + 8. Let t(g) = g**2 + 15*g + 15. Let k be t(-14). Is 5 a factor of u(k)?
False
Let g = 14 + -9. Suppose g*w + 5 = 15. Suppose -2*x - c = -27, 42 - 6 = w*x - 2*c. Is x a multiple of 3?
True
Let y(g) = 67*g + 15. Is y(3) a multiple of 36?
True
Let n(s) = 2*s**3 - 7*s**2 + 19*s - 22. Is 37 a factor of n(5)?
True
Let d(w) = -w**2 - 11*w - 16. Let a be d(-12). Let z be a/(-10) + 1/5. Suppose -195 = -4*v + z*b, b + 165 = 3*v + 5*b. Does 17 divide v?
True
Let p be (-117)/(-3) - (-3 + 4). Let o be (188/2)/(5/5). Suppose p = 3*h - o. Is h a multiple of 9?
False
Let x(l) = -180*l + 2. Let n be x(-5). Suppose 3*p = 2*q + n, 5*q + 18 + 2 = 0. Is 25 a factor of (-2)/(-3) - p/(-3)?
True
Is 2 - (-1 + 2)/((-1)/135) a multiple of 23?
False
Is (-2)/(-6)*(1522 - -5) a multiple of 14?
False
Let f(w) = w**2 - 24*w + 30. Let r be f(22). Is 10*r/30*-3 even?
True
Suppose -5*s + 0*t + 815 = -t, -3*s + 3*t + 501 = 0. Suppose 0 = -s*u + 159*u + 138. Is 7 a factor of u?
False
Let u = -9 - -11. Suppose u*l - 7 = 17. Does 4 divide l?
True
Let v(h) = -1. Let m(x) = -11*x + 8. Let r(f) = m(f) - 3*v(f). Is 33 a factor of r(-14)?
True
Let s(o) be the third derivative of o**6/120 - o**5/20 + o**4/6 - o**3/6 + o**2. Let u be (-2)/((-76)/6 - -12). Does 3 divide s(u)?
False
Let b(i) = 5898*i**2 + 18*i + 4. Does 10 divide b(1)?
True
Let c = 110 - -58. Suppose -c = 9*v - 12*v. Let n = -23 + v. Does 11 divide n?
True
Let g(o) = o**2 - 4*o - 16. Does 4 divide g(-6)?
True
Suppose -3433 = -691*a + 690*a. Is a a multiple of 37?
False
Let n = -37 - -41. Suppose 2*h + 2*a = n*h - 302, h - 161 = -a. Does 13 divide h?
True
Let a be ((-2)/5)/(4/(-230)). Let s = a - 8. Is s a multiple of 3?
True
Suppose 4 = -4*f + 20, -h + 4*f = -34. Let z = h - 34. Is z a multiple of 6?
False
Let a(y) = y**2 - 4*y - 5. Let b = 30 - 21. Let g be a(b). Let x = -22 + g. Is 5 a factor of x?
False
Suppose 5*d - 260 = 4*o, 0*o + 164 = 3*d - 4*o. Does 5 divide d?
False
Is 37 a factor of (-10)/(-20)*8230/5?
False
Suppose 7*f - 1389 - 3462 = 0. Is f/(-11)*4/(-3) a multiple of 28?
True
Let w(c) = 2*c - 1. Let b be w(2). Suppose b*v = -v + 72. Is 210/v - (-2)/(-3) a multiple of 4?
False
Let z(u) = 14*u - 11. Let i be z(8). Let x = i + -17. Suppose -x = 2*b - 6*b. Is b a multiple of 6?
False
Let w(n) = -6*n - 20 + 12 - n + 2*n. Is w(-17) a multiple of 42?
False
Let b be (-3)/(-6)*-1*0. Suppose n - 9 = -2*l, -n - 6 = -l - b. Let s = n + 10. Is s even?
False
Let d = 12 + 1546. Does 51 divide d?
False
Let r = 8 + -8. Let f(b) = -4*b + r*b - 2*b + b - 1. Is 4 a factor of f(-1)?
True
Let g be (-119)/(-21) + (-2)/3. Suppose g*h - 147 = -4*n, 195 = 5*n - 0*h + 4*h. Suppose -l = 3*i - n, i + 4*l - 2*l - 16 = 0. Does 4 divide i?
False
Let y = -4860 + 6999. Is y a multiple of 12?
False
Let c(n) = -7*n**3 + 7*n**3 + n**3 - 4*n**2 + 6 + 2*n. Let f be c(3). Is 16 a factor of 189/f - (-3 - -2)?
True
Let q(f) = 3*f**2 - 1. Let y = 0 + -1. Does 2 divide q(y)?
True
Suppose -385 = 7*f + 203. Let g = 158 + f. Is g a multiple of 13?
False
Is 2775/(-74)*(-37 + 1) a multiple of 75?
True
Let y(z) be the first derivative of 11*z**2/2 - 6*z - 1. Let f be y(-3). Does 9 divide 4/(-26) + (-1059)/f?
True
Suppose 4*g - a - 1330 = 2*g, g - 2*a - 665 = 0. Is 19 a factor of g?
True
Let d(w) = 13*w**2 + 74*w - 154. Is d(2) a multiple of 7?
False
Let o(z) = z**2 + 17*z + 18. Let g be o(-7). Let l = -17 - g. Is l a multiple of 13?
False
Let d be 36/(-48) - 38/(-8). Suppose -d*k = -16, -3*z - 5*k = -0*z - 344. Is z a multiple of 9?
True
Suppose 0 = -4*h + 2*r + 2 + 6, -16 = -5*h + r. Suppose 0 = -23*t + 61 - 15. Suppose 2*g = -h*q + 114, -5*g - t*q + 300 = -1. Is 19 a factor of g?
False
Let w be -3*((-30)/(-9) - -1). Let a = 36 - w. Is a a multiple of 29?
False
Let z(g) = 33*g - 9. Let f be z(2). Suppose 54*a = f*a - 36. Is a even?
True
Let x = 15 + 23. Suppose 5*w + 25 = 5*a, 2*w + 0*w = -4*a + x. Is 8 a factor of a?
True
Does 31 divide -476*4/(64/(-88))?
False
Let x(i) be the first derivative of -i**4/4 + i**3 + 5*i**2/2 - 4*i + 1. Let t be x(4). Suppose -3*d + 2*w = -t*w - 129, -5*d = w - 228. Does 8 divide d?
False
Let x be 9 - 6/(9/(-3)). Suppose -x = -p - 2. Suppose -p = 5*c - 89. Is c a multiple of 12?
False
Suppose -30 = -4*a + 2*m, 3*m + 9 = -a + 34. Suppose 5 = -5*d - a, 53 = -t - 4*d. Let z = t - -65. Is z a multiple of 12?
True
Let d(y) = -23*y - 41. Let o be d(12). Let b = -112 - o. Is 41 a factor of b?
True
Let w(z) = 8*z**2 + 14*z**2 + 10*z - 8 - 23*z**2. Suppose 0*k = -k - 2*h + 4, 3*k - h = 19. Is 16 a factor of w(k)?
True
Let q(g) = g**2 - 14*g - 21. Let u be q(16). Let y = 14 - u. Suppose 0 = x + 5*z - 42, -x + 29 = 3*z - y. Does 5 divide x?
False
Suppose 10*i - 11*i = -16. Is -8*(20/i + 3 + -5) a multiple of 6?
True
Let b(m) = 1 + 3 - 5 - 3*m. Let p be b(-1). Suppose -3*y + 3*o + 21 = 0, -y + p*y - 32 = -4*o. Is y a multiple of 6?
True
Suppose -4*g + 0*i = -i - 3843, 0 = -3*g - 2*i + 2885. Is g a multiple of 92?
False
Let a be (-3620)/(-12) + 1/(-6)*-2. Suppose -5*t - 8*c + 4*c = -491, 0 = 3*t - 5*c - a. Is t a multiple of 9?
True
Suppose 11*p = 15*p - 4*f - 2152, 2*f - 4