 -n - 18. Does 8 divide g?
False
Suppose 42*d + 19697 = 115247. Is 13 a factor of d?
True
Let k(x) be the third derivative of x**6/120 - 7*x**5/60 - x**4/24 + 7*x**3/6 - 2*x**2. Let n be k(7). Suppose 18*y - 13*y - 300 = n. Is 34 a factor of y?
False
Let s(d) = 719*d**2 + 4*d + 1. Let j be s(-1). Suppose 12*z = j + 1324. Is z a multiple of 29?
False
Suppose -24 = -4*f + j, -2*f + j + 17 = 3. Suppose 3*m - 128 = -3*c + c, -f*c + 173 = 4*m. Is m a multiple of 14?
True
Let m(i) = 2*i**3 - i**2 - i - 8. Let f be m(6). Suppose -9*z + f = -302. Does 38 divide z?
True
Let y = 66 + 133. Is 18 a factor of y?
False
Let m(x) = 138*x**2 - 4*x + 2. Does 75 divide m(-3)?
False
Is 371408/501 - 4/3 a multiple of 10?
True
Let x(n) = -2*n**3 + 15*n**2 + 10*n + 11. Let r(m) = -m**3 + 8*m**2 + 5*m + 5. Let v(p) = -5*r(p) + 3*x(p). Let j be v(6). Does 4 divide (-1 - -8) + j + 1?
False
Suppose -x = -1672 + 660. Is x a multiple of 22?
True
Let b = -66 - -79. Suppose -b - 8 = -u. Is 3 a factor of u?
True
Suppose 0 = 4*r - 43 + 3. Is -5*r/125 - (-824)/10 a multiple of 49?
False
Does 31 divide (0 - (4 - 2)) + (49 - 0)?
False
Let x(g) = g**2 - 3*g - 6. Let u be x(-4). Let n = u + 6. Suppose 11 + n = 3*h. Is h a multiple of 13?
True
Let l = 93 - 41. Suppose -2 = -6*u + l. Does 3 divide u?
True
Suppose 36 = 6*b - 0. Let u(h) = 3*h + 8*h + 2 + 2. Does 18 divide u(b)?
False
Let n = 40 + -174. Let z = n + 197. Does 9 divide z?
True
Let w = 2 - -3. Suppose p + 4*p = -w. Let b(t) = 13*t**2 - 2*t - 1. Is 6 a factor of b(p)?
False
Suppose 0 = -5*v - p - 3*p - 2, 3*v + 9 = -5*p. Suppose -v*k + 206 = 4*r, -2*r = -0*k + 5*k - 83. Is r a multiple of 22?
False
Let l be ((326/4)/(-1))/((-12)/(-24)). Is 42 a factor of 3 - l - -3 - 1/1?
True
Let o be 2/16 - 1007/(-8). Suppose -o = -8*m - m. Is 14 a factor of m?
True
Let q = -1661 - -2820. Is 19 a factor of q?
True
Let o(t) = 4 - t - t + 1. Let s be o(0). Suppose s*d - d = 228. Is d a multiple of 19?
True
Suppose 0 = 2*o - 9*o + 175. Suppose -y = 4*q - 217, 2*y = 5*q + 409 + o. Does 28 divide y?
False
Let n = -104 + 284. Does 15 divide n?
True
Suppose 0 = -f - 2 + 27. Let q = f - 13. Does 6 divide q?
True
Suppose i - 625 = -3*w, 4*w - 1966 = -4*i + 550. Does 36 divide i?
False
Suppose 8*a - 63 = -7. Does 7 divide (1 - 5*19)/(a + -8)?
False
Suppose -2*a = -4*g - 584, -8*a + 5*g + 280 = -7*a. Is a a multiple of 4?
True
Let d(h) be the first derivative of h**3/3 + 13*h**2/2 + 15*h - 7. Let w be d(-12). Is 28 a factor of -146*w/18*-3?
False
Suppose -20 = -12*r + 7*r. Suppose 4*u + 53 - 149 = -r*z, -2*z = -u + 18. Is u a multiple of 5?
False
Let h(o) = -1 + 4 + 0*o**2 - 7*o + 2 + 2*o**2. Is 6 a factor of h(7)?
True
Suppose -4*h + 12 = -192. Let n = -16 + h. Does 7 divide n?
True
Let q(k) = -2*k**3 - 5*k**2 + 3*k - 5. Let u be q(-5). Suppose -15 = 3*g - u. Is 5 a factor of g?
True
Suppose 5*n + 8*d + 159 = 5*d, 5*n - 2*d + 169 = 0. Let b = 57 + n. Let v = b - -3. Does 12 divide v?
False
Suppose -13*w = -1217 - 1071. Is w a multiple of 35?
False
Let d(l) = 47*l**2 - 8. Is 5 a factor of d(2)?
True
Let q(g) = -4*g + 3. Let c be q(2). Let l = c + 9. Suppose 0 = -l*d + 2*d + 40. Is d a multiple of 10?
True
Let m = -1873 + 4813. Does 147 divide m?
True
Let w(p) = -66*p - 42. Is 59 a factor of w(-6)?
True
Let y(w) = -w. Let i be y(-3). Let r(g) = 4*g**2 - 2*g. Let c(v) = v**2 - v - 1. Let p(s) = -4*c(s) + 2*r(s). Does 8 divide p(i)?
True
Suppose 2110 = 3*t + 304. Is t a multiple of 43?
True
Let b(w) = -w**3 + 6*w**2 + 20*w + 29. Is 21 a factor of b(-8)?
False
Let o(s) = s**3 - s - 1. Let z(h) = 4*h**3 + 20*h**2 - 20*h - 9. Let n(y) = 5*o(y) - z(y). Let v be n(20). Suppose -4*g + v = 4*g. Does 14 divide g?
False
Suppose j + 15 = v + 5*j, 5*v - 5*j = 150. Suppose -5*k + 39 = 2*y - 2*k, -y - 3*k = -v. Suppose 0*z - y = -3*z. Is 2 a factor of z?
True
Suppose -3*j + 1271 = 4*g, -3*j - 289 = -g + 2*j. Suppose 0*w + 107 = w + 3*o, g = 3*w + 2*o. Is 8 a factor of w?
True
Let c be (0*3/6)/(-1). Suppose c = -23*x + 20*x + 27. Does 5 divide x?
False
Let v(a) = 3 + 6*a**2 - a**2 - 3*a - 3*a**2. Let s be v(-3). Suppose -k = 4*k - s. Does 2 divide k?
True
Suppose -5*b + 5*k = 9*k - 16013, -b + 3203 = k. Does 33 divide b?
True
Let j = 9 - 7. Suppose j*i - 6 = -2. Is 25 a factor of (-9)/(i/(-2 + -14))?
False
Let r(p) = -3*p + 11. Let k(m) = -m + 6. Let g(z) = 9*k(z) - 4*r(z). Is 14 a factor of g(6)?
True
Let x be (-1)/5 - (-78)/15. Suppose 4*z - x*z = -102. Suppose -3*j + 5*j = z. Is j a multiple of 17?
True
Let y(a) = a**2. Let o(n) = n**3 - 8*n**2 + 7*n - 6. Let q be o(7). Let d(h) = -3*h**3 + 5*h**2 + 3*h + 3. Let u(s) = q*y(s) + d(s). Does 13 divide u(-2)?
False
Suppose 63 = 4*n + 11. Is n even?
False
Let x(j) = j**3 - 4*j**2 - 3*j - 11. Let c(n) = 16*n**2 - 21*n**2 - 3*n - 4 - 7 + n**3. Let q(s) = -7*c(s) + 6*x(s). Is 22 a factor of q(11)?
True
Let d(n) = n**2 + 14*n - 43. Does 14 divide d(15)?
True
Let x be -7 - -10 - (-1 + -1). Suppose -2*a + 110 = 2*u, 2*u - x*u + 167 = 2*a. Is u a multiple of 10?
False
Suppose 7 = -5*x - 33. Let i(n) be the second derivative of n**4/12 + n**3/3 - 3*n**2 - 2*n. Is i(x) a multiple of 11?
False
Suppose 5*u = -4*h + 1450, 0 = h + u - 390 + 28. Is h a multiple of 20?
True
Suppose -60 = 5*k - 35, 5*k - 1821 = -2*d. Is 13 a factor of d?
True
Is ((-78)/(-9))/((-2)/(-72)) a multiple of 23?
False
Let k = -10 + 2. Let v be 115/20 - (-6)/k. Suppose -225 = -v*l + 3*x, -3*x - 62 = -l + x. Does 10 divide l?
False
Let d(l) = 202*l**2 - 11*l - 22. Is 7 a factor of d(-3)?
False
Let t = 35 - 25. Let l(u) = u**2 - 11*u + 4. Let c be l(t). Let p = 74 + c. Does 24 divide p?
False
Does 16 divide (128/10)/((-78)/(-1950))?
True
Suppose 2*w + r = 253, -5*w + 969 = 3*r + 335. Is w a multiple of 4?
False
Let d = 1688 + -845. Is 13 a factor of d?
False
Let k(a) = 4*a. Let o(p) = p. Let t(l) = -5*k(l) - 5*o(l). Is 10 a factor of t(-2)?
True
Suppose -r - 4*r = -140. Let o = 4 + r. Suppose 3*i - o = 58. Does 6 divide i?
True
Let x(g) = 35*g - 35. Is x(7) a multiple of 22?
False
Let v(x) = -5*x**3 - 4*x**2 - x - 3. Let j be v(-4). Suppose -4*i - j = -677. Does 25 divide i?
False
Suppose 3*i - 16 = 14. Let r = i + -5. Suppose 0*d + 80 = r*d. Is d a multiple of 8?
True
Let c = 907 - 623. Suppose 5*d + 99 = c. Is d a multiple of 34?
False
Let l = 227 + -75. Suppose 6*w + a = 2*w + l, -4*a + 90 = 2*w. Is 37 a factor of w?
True
Let d = 1 - -50. Suppose d = 2*n - 21. Does 12 divide n?
True
Let p(m) be the second derivative of -m**2/2 + 5*m. Let k(r) = -9*r - 45. Let d(s) = 2*k(s) - 90*p(s). Is d(-2) a multiple of 18?
True
Suppose -2*y = h + 11, 2*h + 5 = 5*y - 2*h. Let n(p) = -2*p**3 - 2*p**2 + p + 4. Does 9 divide n(y)?
False
Let s be 2 - (2 - (-2 - -4)). Suppose -s*t + 104 = 2*c, 38 = c - 3*t - 34. Is 10 a factor of c?
False
Let b(s) = 60*s + 13. Let h be b(-4). Let i = -132 - h. Is i a multiple of 28?
False
Let r = 145 + 53. Is 4 a factor of r?
False
Suppose -15 = -22*y + 19*y. Suppose -1414 = -y*o - 339. Is o a multiple of 43?
True
Let d(r) = r**2 - 10*r + 7. Suppose 2*z - 40 = 3*i + 2*i, 0 = -5*z + 2*i + 58. Is d(z) a multiple of 3?
False
Suppose -60*r + 50*r = -9690. Is 19 a factor of r?
True
Suppose 3*u + 3*c - 12 = 5*c, -4*u - 3*c = -16. Suppose b + 1 = 3. Suppose 2*o - b*l = 34, l = -2*o + u*l + 30. Is 5 a factor of o?
False
Let z(r) = 9*r**2 + 2*r - 2. Let m = 14 - 11. Suppose 0 = 4*p + m*h - 2, 3*p + 2 + 0 = -4*h. Is 19 a factor of z(p)?
True
Let o = 5 + -3. Suppose 20 = 5*t - o*c + c, -t = -c - 4. Suppose -5*l = 15, -4*j + 62 = j - t*l. Is 5 a factor of j?
True
Let j = 15 + 1182. Is j a multiple of 57?
True
Let i = 6 + -7. Let l be (0*i/(-2))/2. Suppose l = 3*x - 0*x - 183. Is x a multiple of 31?
False
Let t(j) = 5*j - 6. Let v be t(4). Suppose o - v = 14. Let w = 73 - o. Is 15 a factor of w?
True
Let p = 2119 + -1914. Does 47 divide p?
False
Suppose -4*k + 2428 = 4*a, 4*k - 863 = -2*a + 359. Let z = a - 389. Does 29 divide z?
False
Let a = -995 + 3122. Does 81 divide a?
False
Let h be 0 - (-3)/6*6. Suppose -h*t - 2*t + 450 = 0. Suppose u + 4*u - t = 0. Is 18 a factor of u?
True
Suppose 0 = -2*z - 5*x + 1952, -x + 970 = 14*z - 13*z. Is z a multiple of 26?
False
Suppose 5220 = 6*h + 1554. Is 47 a factor of h?
True
Let f(q) = -q**2 - 2*q + 82. Let