*z = 4*v - 28. Suppose 6*a - 12 = v*a - b, 74 = 5*a - 2*b. Does 2 divide a?
True
Suppose 0 = 6*t - 3446 - 4786. Is t a multiple of 28?
True
Let a(u) = 9*u - 29. Let d(x) = -28*x + 97. Let m(g) = 7*a(g) + 2*d(g). Suppose 0 = 2*f + 1 - 13. Is 11 a factor of m(f)?
True
Let z(o) be the first derivative of -o**5/20 - 5*o**3/3 - 5. Let w(u) be the third derivative of z(u). Is w(-6) a multiple of 11?
False
Does 6 divide 4*(0 - 1) - (-317 + -11)?
True
Suppose 0 = 4*y - p - 11, -2*y = -y + 2*p + 4. Suppose 4*u - 152 = 2*u - 4*d, -y*d = 3*u - 236. Is u a multiple of 10?
True
Suppose -2646 = 55*d - 82*d. Is 13 a factor of d?
False
Let y be 63/15 + 1/(-5)*1. Suppose y*c = 2*c + 4*t + 224, -2*t + 536 = 5*c. Is c a multiple of 12?
True
Suppose -2*r - 6 = -3*u - u, 1 = 4*u + 3*r. Suppose 2*b + u = 7. Suppose 5*g = 3*z - 108, 0 = b*z - z + g - 59. Is z a multiple of 6?
False
Let w be 40/5 + (-2 - 1). Suppose -5*i = -w*g + 355, 4*g - 2*i = -g + 346. Is g a multiple of 14?
False
Let r(i) = -6*i - 28*i**2 - 12*i + 17*i. Let v be r(-1). Let d = -1 - v. Does 13 divide d?
True
Suppose 74*z - 72*z = 3058. Is 31 a factor of z?
False
Suppose 4*a - z - z - 8 = 0, 0 = -5*a + z + 10. Suppose -5*l - a*x = -30, 2*x - 12 = -l - l. Does 3 divide l?
True
Let p = -45 - -46. Is 1*(-5 + 6) + 3/p even?
True
Suppose 0 = -3*c + 3*b + 9, 17 = 3*c + 6*b - b. Let s = 236 + -172. Suppose 2*g + 3*z - 7*z = s, -128 = -c*g - z. Is g a multiple of 23?
False
Let n(s) be the third derivative of -s**5/60 + 5*s**4/6 + 7*s**3/3 - 2*s**2. Does 19 divide n(19)?
False
Let k = -24 - -23. Does 7 divide 6 - 3 - (-19 - k)?
True
Let k be 4/((-64)/20 - -4). Suppose k*c = 3*c + 104. Is 7 a factor of c?
False
Let t be (-6)/(-27) + 64/36. Suppose 4*j - 178 = t*a - 4*a, -257 = -3*a - 4*j. Does 9 divide a?
False
Is 3 a factor of (-79 - (-35)/(-7))*9/(-12)?
True
Let u(v) = 17*v**2 - 4*v + 5. Does 33 divide u(4)?
False
Suppose -y = -6*y - 5*f + 10, 2*y + f + 1 = 0. Let s(z) = -20*z + 2. Does 24 divide s(y)?
False
Does 14 divide ((19116/(-8))/(-9))/((-1)/(-2))?
False
Let m(u) = -21*u - 2. Let n(r) be the third derivative of 5*r**4/6 + r**3/3 + 3*r**2. Let b(l) = -3*m(l) - 2*n(l). Is b(3) a multiple of 14?
False
Suppose 0 = 3*x + 4*z - 67, -2*x + 21 = -x + z. Let h = -11 + x. Is 3 a factor of h?
True
Let x(g) = 54*g + 2. Let p be x(2). Suppose 262 + p = 2*i. Does 5 divide (-2)/6 + i/18?
True
Suppose 124*a - 126*a + 1200 = 0. Is a a multiple of 100?
True
Suppose 0 = -9*f + 4*f + 365. Suppose 0 = -5*h - f + 738. Is h a multiple of 19?
True
Let w(v) = -170*v - 52. Is w(-2) a multiple of 12?
True
Let d = -319 - -871. Is d a multiple of 46?
True
Suppose 5*o - 13 = 3*i, 2 = -o + 2*i - 1. Suppose 2*y = 3*d - 26, 3*d + 2*y = o*y + 30. Suppose -d*c - 57 = -7*c. Is c a multiple of 19?
True
Is -7 + (-2 - -5) - -43 a multiple of 6?
False
Suppose f - 2683 = -4*s, 2*s - 4*f + 652 = 3*s. Is 30 a factor of s?
False
Suppose -r + 417 = 2*r. Suppose 3*x + 140 = -r. Let u = x - -141. Is u a multiple of 24?
True
Let v(s) = -7*s - 13. Let u be v(-20). Suppose 51 - u = -4*k. Does 19 divide k?
True
Let a = 64 - 29. Does 2 divide a?
False
Let r(x) = -x**2 + x - 36. Let w be (-2 - -3 - 1)/(-3). Let n be r(w). Is (-552)/n - 8/6 a multiple of 14?
True
Let b be (-6482)/(-28)*1*2. Suppose y = 2*p + 218, -2*y - 3*p + b = 6. Let m = y - 149. Is 15 a factor of m?
True
Suppose 4*g = -0*g + 8. Suppose 5*w - g*b - 17 = 0, 2*w - 3*b - 6 = 3. Suppose -i - w = -23. Is 19 a factor of i?
False
Let l = 2 + 9. Suppose -l*r + 8*r + 378 = 0. Is r a multiple of 17?
False
Suppose -y - 2*w - 30 = 0, 0*w = y - 5*w + 65. Let m = 60 + y. Is 4 a factor of m?
True
Let a(o) = 2*o - 34. Let x be a(18). Let z be -38*((-45)/(-6))/(-5). Suppose 5*u = -x*n + 29 + 77, 3*u - n = z. Is u a multiple of 20?
True
Suppose 0 = -26*q + 6496 + 27200. Is 81 a factor of q?
True
Let q = 31 - 30. Is 4 a factor of -1*q/(-4) - (-385)/28?
False
Let g be 12/7 - 10/(-35). Suppose 4*r - 156 = -3*j + 2*j, 4*j = g*r + 552. Is 14 a factor of j?
True
Let o be (-3)/(-2)*(-32)/(-6). Suppose -240 = -o*h + 4*h. Is 20 a factor of h?
True
Let f(y) = -y + 2. Let c be f(0). Suppose -c*j = 2*j + 128. Does 3 divide j/(-5) - (-6)/(-15)?
True
Let s be (-1 + -1)*-6*1. Let t = s + -8. Is 20 a factor of (-2 + 14)/t + 87?
False
Let r(d) = d**3 + 6*d**2 + 4*d + 1188. Is 54 a factor of r(0)?
True
Let q(u) = -12*u + 3. Let m be q(-4). Let l = m + -2. Is l a multiple of 11?
False
Let i = -561 - -869. Does 9 divide i?
False
Let c(p) be the first derivative of -p**4/4 - 7*p**3/3 + 15*p**2/2 - 3*p - 37. Does 6 divide c(-9)?
True
Let q(o) = -2*o - 10. Let a be q(-8). Let j be ((-9)/(-18))/(1/(-76)). Does 21 divide a + -4 - j/2?
True
Let p = 54 - -111. Is p a multiple of 2?
False
Let m be 34/6 - (-2)/(-3). Let a be (-5)/((-2)/(-6)*(12 - 17)). Suppose -f - f + 104 = a*p, 0 = 3*f + m*p - 158. Is 20 a factor of f?
False
Let y = 1 + 3. Suppose o - y*o = -9. Suppose 108 = m + o*m. Is m a multiple of 14?
False
Suppose -4*r - 37 = -749. Suppose 3*f + 194 = 4*y, -r = 3*f + 5*y - y. Let d = f - -92. Is d a multiple of 15?
True
Let o(u) = 49*u - 11. Let i be o(6). Let w = 421 - i. Is 23 a factor of w?
True
Suppose 17*a + 4*a = a. Suppose -10 = -c - 5. Suppose w - 2 = -c*g, a = w - 0*w + 4*g - 2. Is w even?
True
Suppose -3*x - 9 = 0, 2*i + 45 = 7*i - 5*x. Does 22 divide 518/i + 10/6?
True
Suppose 2*h - 558 - 248 = -y, -3274 = -4*y + 2*h. Is y a multiple of 48?
True
Let n = -2923 - -4948. Does 135 divide n?
True
Is 8 a factor of 2/(-10) - 45620/(-100)?
True
Let n(o) = -o**3 - 9*o**2 + 11*o + 12. Let v be n(-10). Suppose 0 = v*m - j - 3*j - 24, -2*m = j - 4. Suppose 3 = m*l - 1, -4*t = -l - 143. Does 18 divide t?
True
Let g(q) = 2*q**2 - 10*q - 8. Let c be g(6). Suppose 0 = -r - o + 88, -c*r = -2*o - 69 - 301. Does 16 divide r?
False
Suppose -3*h + 12 = -4*g, 5*h + 15 = -0*g - 5*g. Let q = 18 - h. Is q a multiple of 11?
False
Let x = -802 + 1361. Does 43 divide x?
True
Suppose 2*a + 116*l - 3954 = 117*l, -5918 = -3*a - 5*l. Is a a multiple of 19?
True
Is 23 a factor of 4/(-14) + 117530/98?
False
Let q(n) = -n**2 - 20*n - 16. Let l = 39 - 56. Let c be q(l). Suppose -c = -3*x - 11. Is 4 a factor of x?
True
Suppose 12 = 9*u - 3*u. Suppose u*t + 27 = -t. Is 3/t*(-9)/1 a multiple of 3?
True
Let k = -27 - -190. Is k a multiple of 10?
False
Let t(c) = -1. Let a(y) = y**2 - 20*y - 38. Let v(n) = -a(n) + 2*t(n). Is 8 a factor of v(21)?
False
Let l(z) = 2*z**3 - 2*z**2 + 8*z - 4. Is 64 a factor of l(7)?
True
Suppose -3*b + 60 = 5*m - 13, 5*m = b - 11. Let q = b - 6. Is q a multiple of 15?
True
Let b(o) = 62*o - 13. Is 49 a factor of b(4)?
False
Let l be ((-18)/14 + -3)*-14. Let w = -23 + 29. Suppose v = w*v - l. Is v a multiple of 12?
True
Let d be -4 + (-6)/(3/(-3)). Suppose 2*p - 3*c = -7, -6*c + d*c + 16 = -p. Is 45 + p + 4 + -4 a multiple of 11?
False
Let i(j) = -j**3 + 15*j**2 - 15*j + 15. Let u be i(14). Let q(f) = 114*f. Does 19 divide q(u)?
True
Let v be -1 + (-3)/(-1)*-23. Let f = 117 + v. Does 22 divide f?
False
Let j(b) = 2*b**3 + 6*b - 5. Is j(2) a multiple of 4?
False
Let o(s) = -4*s**3 - 3*s**2 + 5*s + 5. Is 5 a factor of o(-3)?
False
Let y = 746 + 266. Is 23 a factor of y?
True
Suppose 51 = -n + u + u, -3*n = -3*u + 156. Let q = 36 - n. Is 9 a factor of q?
False
Let h(p) = p + 25. Suppose -6 = -2*k, 6*t + 5*k = 2*t + 79. Does 12 divide h(t)?
False
Suppose -i + 6644 = 3*i. Is i a multiple of 81?
False
Let z(m) = 110*m - 12. Let r = 64 - 62. Is 13 a factor of z(r)?
True
Let j(z) = z**3 - 17*z**2 + 8*z - 63. Is j(18) a multiple of 10?
False
Suppose -2*c - 3*f = -0*c - 1275, -5*c + f = -3179. Let v be c/72 + 2/12. Suppose -2*b = -15 - v. Is b a multiple of 6?
True
Let z = -14 - -8. Let i = z + 10. Let d(y) = 4*y + 3. Does 4 divide d(i)?
False
Let p = 262 - 230. Suppose 0 = -n + 4*n. Suppose n = 3*q - 1 - p. Does 11 divide q?
True
Is 2 - (-5 + 3) - (3 - 37) a multiple of 14?
False
Let o = -266 + 429. Let g = o - 102. Is 24 a factor of g?
False
Suppose -2*n - 21 + 5 = 0. Let j = n - 8. Let t = 23 + j. Does 7 divide t?
True
Let x(q) = -q**2 + 11*q - 14. Let c(r) = -5*r**2 + 44*r - 57. Let k(y) = 2*c(y) - 9*x(y). Let s(i) = -i**2 + i - 10. Let z be s(0). Is 13 a factor of k(z)?
False
Let j = 3 - -1. Suppose 13 = 3*r + j. Suppose