e of 27?
True
Suppose -6*q + 1856 = -184. Is 9 a factor of q?
False
Let a(c) = 72 + 18 + 8 + 2*c. Does 14 divide a(0)?
True
Let n = 1130 + -707. Is 33 a factor of n?
False
Let q(d) = d**3 - d + 65. Let p be q(0). Let c = p + 11. Does 17 divide c?
False
Let v = 8 + -10. Does 12 divide (1 + 3 + -3)/(v/(-132))?
False
Let r(d) = 53*d**2 + d + 9 - 13 + 59*d**2 + 3*d. Does 12 divide r(1)?
False
Let n(x) = 80*x**2 - 41*x - 165. Is n(-4) a multiple of 17?
False
Suppose -g - 21 + 26 = 0. Suppose -g*i - j + 304 = 39, 2*i - 106 = 2*j. Is 8 a factor of i?
False
Let r(g) = -g + 8. Let a(d) = d**2 - 5*d - 10. Let n = -4 - -11. Let x be a(n). Is r(x) even?
True
Let m = -248 + 780. Is 14 a factor of m?
True
Let h = 7 + -4. Let p(v) = v**2 + 4*v + 0*v + 0 + 3 + 0*v**2 - v**h. Does 4 divide p(-3)?
False
Let h be 4/8*(0 + -54). Let x be 642/h - 2/9. Is x/40 + 406/10 a multiple of 24?
False
Suppose -x = 5, -x = -4*y + 4*x + 1621. Is y a multiple of 7?
True
Let u = -288 + 414. Is u a multiple of 14?
True
Let t(r) = 8*r - 15. Let l be t(13). Let g = -36 + l. Does 16 divide g?
False
Suppose 0 = -2*a - 3*a - 5, 2*x + 4*a - 368 = 0. Let y = -87 + x. Does 33 divide y?
True
Let o(f) be the third derivative of f**5/15 + f**3/6 - 6*f**2. Is 4 a factor of o(1)?
False
Suppose 2*d - 26 = -2*q - 3*d, -11 = -5*q + d. Suppose -q*u = -0*u - 324. Does 14 divide u?
False
Suppose j + 185 = 217. Does 4 divide j?
True
Does 14 divide (-3033*9/27)/((-6)/16)?
False
Suppose -2*k + 286 = 3*j - 1716, -3*k = -j + 682. Does 67 divide j?
True
Let d = -321 - -507. Does 31 divide d?
True
Let i = 49 + -105. Let d = 28 + i. Let u = d + 45. Is 5 a factor of u?
False
Suppose -b = 2*t - 9, 3 = t - 0*b + 2*b. Suppose -w + 16 = 3*l, -l + 5*w = -4*l + 32. Suppose 5*z - t*f = 23 + 27, 0 = -4*z - l*f + 8. Is 5 a factor of z?
False
Let r be 3 - (1/(2/6) + -6). Is 41 a factor of (28/3*-10)/((-2)/r)?
False
Let o(a) = a**2 - 5*a + 6. Let j be o(4). Let k(i) = -5*i - 8 - i**j + 0*i**2 + 14*i. Is k(7) a multiple of 2?
True
Suppose -2*m - 86 = -0*m + 2*k, 3*k = -2*m - 89. Let v be 4/(m/(-18))*5. Let o(z) = z**2 - 5*z + 2. Is o(v) a multiple of 19?
True
Let b be 165/(-3)*(-4)/(-10). Let w(k) = k**3 - 9*k**2 - 10*k + 5. Let v be w(10). Let x = v - b. Is x a multiple of 9?
True
Let c = -165 - -381. Is 8 a factor of c?
True
Let f(v) = -78*v - 278. Does 14 divide f(-12)?
True
Let k(i) = -23*i + 169. Is 27 a factor of k(-22)?
True
Let f(d) = -d + 12. Let v be 31/(-3) - (-18)/(-27). Is f(v) a multiple of 10?
False
Suppose 0 = -177*d + 175*d + 912. Is 19 a factor of d?
True
Suppose 5*z - 75 = 5*x, -2*x + 57 = 5*z - x. Suppose 3*a = -6, -26 = 5*h + 4*a + z. Let b = h - -22. Is 4 a factor of b?
True
Let y(f) = -f**2 + 8*f + 4. Let r be y(8). Suppose -2*o = r*u - 26, -o + 92 = 3*o - 2*u. Does 19 divide (-236)/6*o/(-14)?
False
Suppose 3*f = -2*a + 181, 3*f = -4*a + 71 + 300. Let q = -61 + a. Is q a multiple of 8?
False
Suppose 2*c - 4 = 60. Let v = c + -17. Does 17 divide (-4)/10 + 771/v?
True
Is 12 a factor of 5 - (-9 + 7484)/(-5)?
True
Let b(p) = p**3 - 15*p**2 + 15*p + 32. Is 3 a factor of b(14)?
False
Let g = 25 + -27. Does 9 divide -7 + 4 - 6*g?
True
Let s(d) = d**2 - d + 2. Let f be s(-2). Suppose f = -3*y + 7*y. Is 14 a factor of 2 - (-49 + -2) - y?
False
Let i(j) = 90*j + 5. Let k(v) = 89*v + 4. Let m(l) = -2*i(l) + 3*k(l). Is m(1) a multiple of 16?
False
Suppose 229 = 2*y - 285. Suppose -5*m + 723 = -y. Suppose 0 = 5*j + 5*p - 2*p - 213, -4*p - m = -4*j. Does 15 divide j?
True
Suppose 0 = -25*w + 4777 + 8223. Is 52 a factor of w?
True
Let s = 16 - 32. Let m(a) = -a**3 + 4*a**2 + 7*a - 9. Let c be m(5). Does 18 divide ((-18)/8)/(c/s)?
True
Let i = 2042 - 1294. Is i a multiple of 17?
True
Suppose -2*t - 5*w = -32 + 2, -t + 18 = 4*w. Suppose 3*m = 2*i + 1, m + m - 4*i = -t. Suppose -m*l - l + 106 = 2*c, 3*l = 12. Does 15 divide c?
True
Let w(a) be the first derivative of 4*a**3/3 + 2*a**2 - a - 9. Let o be w(-6). Suppose c - 2*k = 5*c - 446, k = c - o. Is c a multiple of 38?
True
Let s = 12 + 79. Let i = -84 + s. Is 7 a factor of i?
True
Suppose -4*r - 2*y + 1511 = -5*y, 3*y = 2*r - 763. Is r a multiple of 11?
True
Let z = -17 - -20. Suppose -9*a + 24 = -z*a. Is 2 a factor of (a + 7/(-2))*6?
False
Suppose 2*a = -a - 5*r + 2065, 0 = -4*a - 4*r + 2756. Is a a multiple of 13?
False
Let j be (-2)/(-2 - (-15)/6). Let w(g) = -23*g + 0 + 2*g - 2. Is w(j) a multiple of 23?
False
Suppose -t + 592 = 7*t. Is t a multiple of 37?
True
Let g(a) = 2*a**2 + 9*a + 2. Let f = 23 - 18. Let s(c) = c**3 - 5*c**2 - 6. Let h be s(f). Is g(h) a multiple of 5?
True
Suppose 0 = 6*q - 846 - 1512. Does 3 divide q?
True
Suppose -13 = -3*y + 2*b + 43, y - 12 = 4*b. Does 5 divide y?
True
Suppose 2*n - 4*a - 628 = 0, -8*a = -n - 11*a + 324. Is 11 a factor of n?
False
Does 29 divide (-403 + -44)*(-1)/(3/2)?
False
Suppose 3*a - 5 - 11 = -4*h, a = 4*h. Suppose 168 = 3*f + a*o, -f - 3*f = 3*o - 224. Suppose -f = -18*n + 17*n. Does 14 divide n?
True
Let d(z) = z**3 - 3*z**2 - 5*z + 7. Let h be d(7). Suppose -5*s + 42 = -h. Does 6 divide s?
True
Suppose 2*y = 158 + 8. Is 16 a factor of y?
False
Let c = 12 - 14. Let x be (c/6)/((-2)/(-12)). Does 7 divide (1/x)/((-9)/180)?
False
Suppose -2*w = -3*c, -2*c + c + w = 0. Suppose 0 = -2*y - 0 + 4, -4*q + 5*y + 234 = c. Is q a multiple of 15?
False
Suppose -r + 2 - 1 = 0. Is 3 + (26 - r) + 2 a multiple of 30?
True
Let c(u) = -23*u + 4. Let j be c(-24). Suppose -5*v - x + j = 0, -4*x + 2*x = -3*v + 344. Is 16 a factor of v?
True
Suppose 5*d - 13 = v, 3*v - d = 4*v - 5. Suppose -1 = v*j - 7. Suppose w - 4*w + l = -223, 145 = 2*w + j*l. Is w a multiple of 37?
True
Suppose 3*q - 2*g + 123 = 29, -5*q - 5*g - 140 = 0. Let c = q + 99. Does 23 divide c?
True
Let h = 62 + -275. Let j = -105 - h. Is j a multiple of 50?
False
Let s(w) = -w - 3. Let p be s(-5). Let d be ((-35)/2)/(1/p). Let z = d - -51. Is z a multiple of 10?
False
Let q = -12 + 23. Let p(n) = -n**2 + 1. Let w(r) = -r**3 + 15*r**2 - 13*r + 1. Let o(m) = -3*p(m) - w(m). Does 9 divide o(q)?
True
Let n(i) = -i**3 - 2*i**2 + 2*i + 3. Let d(a) = 4*a**3 - 2*a**2 + 3*a - 3. Let r be d(2). Let u = 24 - r. Is n(u) a multiple of 5?
False
Suppose -r - 10 + 8 = 0. Let i be r/(-4) - (-189)/(-42). Let q(b) = b**2 - b - 5. Does 15 divide q(i)?
True
Let d = 27 - 70. Let y = 76 + d. Suppose -3*w = -2*w - y. Does 11 divide w?
True
Let q(z) = 106*z - 100. Is q(7) a multiple of 23?
False
Suppose -7*u - 140 = 63. Let m = 39 + u. Does 10 divide m?
True
Let u(n) = -11*n + 22. Let m be u(-9). Let o = 7 + m. Does 32 divide o?
True
Suppose 7*h + 2*q = 6*h + 55, -140 = -2*h + 2*q. Is 13 a factor of h?
True
Let p(q) = -q**3 - 6*q**2 - 3*q + 3. Let h be p(-6). Suppose 9*f = 6*f + 165. Let w = f - h. Is w a multiple of 18?
False
Let z = -93 + 97. Suppose 96 = b - 2*t, -z*b - 3*t + 206 = -2*b. Is b a multiple of 16?
False
Let x be -18*((-2)/2)/2. Let p(u) = -6 - 3 - 3*u**2 + 2*u**2 + 11*u. Is 7 a factor of p(x)?
False
Let d = 12 - 5. Let f be -3 - (-2 + 1)*d. Suppose -f + 2 = -2*h - 2*s, -h = -s - 5. Is 2 a factor of h?
False
Suppose -1783 = -5*l + 1242. Does 84 divide l?
False
Let s be (-16)/12*6/(-4). Suppose 0*j - 3*y - 180 = -s*j, 2*y = -j + 97. Is 31 a factor of j?
True
Let b be (-4)/(-3)*(3 - -6)/3. Suppose 5*n - 394 = -2*a, n + b*a - 83 = 5*a. Is n a multiple of 24?
False
Let t(s) = -16*s - 5. Let x be t(-3). Let d = x - -29. Let y = -45 + d. Does 7 divide y?
False
Let t be 4*((-11)/2 + 3). Let y = t + 11. Is 0/(-4) + 36 + y a multiple of 21?
False
Let m(l) = -l**2 + 6*l + 9. Let i(w) = w**3 - 4*w**2 - 4*w + 2. Let u be i(5). Let k be m(u). Suppose -2*t + 198 = 2*t + b, -k = b. Is t a multiple of 25?
True
Let u(w) = w**3 + 13*w**2 + 8*w - 14. Let p be -9 + (-3)/3 + -1. Let b be u(p). Suppose 0 = 3*m - b - 13. Does 20 divide m?
False
Suppose -4*y - 3*c = c + 8, -4*c = 3*y + 8. Is 3 a factor of y - 4 - (-63 + -6)?
False
Let o(z) = 2*z**2 - z + 7. Suppose 4*x = u - 34, u + 0*u = 3*x + 33. Let b = u + -30. Does 4 divide o(b)?
False
Is 689/5 + 48/(-60) a multiple of 4?
False
Let h(d) = -d**3 + 24*d**2 - 22*d - 13. Let g be h(23). Let k = 10 - 0. Let w = k + g. Does 9 divide w?
False
Suppose 0 = 3*f + 3*q + 36, -2*f + q - 20 = -q. Let s = f - -11. Let k = 3 - s. Is k even?
False
Le