 1 + 80 = 0. Let o = 1 - 14. Let j = o + c. Does 7 divide j?
True
Let n(t) = 2*t - 9. Let x be n(6). Let b be (-3 + (x - 2))*3. Is 6 a factor of (-82)/b + 4/(-6)?
False
Let b be 245 - (0 + (-3)/(-1)). Let s = b + -170. Let u = s + -21. Is 20 a factor of u?
False
Suppose 3*o + 3*w - 90 = 0, -5*o + 0*w + 154 = w. Is o a multiple of 3?
False
Let a(k) be the second derivative of 5*k**4/6 - k**2/2 - 7*k. Let o(h) = h - 4. Let i be o(5). Is 7 a factor of a(i)?
False
Let g(v) = 2*v**3 + 5*v**2 + 5*v + 4. Let c(y) = y**3 + 3*y**2 + 3*y + 2. Let k(o) = -9*c(o) + 4*g(o). Is 16 a factor of k(-7)?
False
Suppose 0 = 2*g - 26 - 8. Let w = g + -15. Is w a multiple of 2?
True
Let w = 1 + -1. Let t = -181 - -271. Suppose -3*z + 0*z + t = w. Is 10 a factor of z?
True
Let w(k) = k**3 - 7*k**2 + k + 4. Let y be w(7). Suppose y*g - 24 = 10*g. Is g a multiple of 12?
True
Let d = -15 + 20. Suppose -4*o - d*w = -118, o + 3*w + 2*w = 22. Is o a multiple of 8?
True
Suppose -z + 1 + 6 = 0. Let u(h) = h**3 - 8 + 0 + 8*h**2 + 0 + z*h. Does 11 divide u(-6)?
True
Let o = 57 - -3. Let u = o + -18. Is 14 a factor of u?
True
Let x = 86 + 122. Suppose 0 = -j - 3*j + x. Does 26 divide j?
True
Let s be ((-10)/(-4) - 2)*0. Let z be 2/6*s + 55. Suppose 0 = 5*k + o - 43, -5*k + 2*o + z = -3*o. Is k a multiple of 6?
False
Let j(n) = 3*n**2 + 8*n + 5. Let l be j(-5). Suppose 2*h = 5*t - 32 - 50, h = -2*t + l. Is t a multiple of 9?
True
Let y(k) = k**3 - 3*k**2 - 16*k - 8. Is 26 a factor of y(8)?
False
Let d = 10 - 10. Suppose d = 2*t - 2*u - 40, 22 = -5*u + 2. Does 10 divide t?
False
Let u be (4 - 1 - -1)*-6. Let k = u - -44. Is k a multiple of 12?
False
Let o = -3 + 7. Suppose -o*s - 33 = -7*s. Does 5 divide s?
False
Let w(b) = 7*b**2 - 12*b - 41. Is 34 a factor of w(-6)?
False
Suppose 2*u + 11 = d, 5*d + 5*u + 1 = u. Suppose -d*c + 4*a = -5 - 2, 0 = 4*c - 3*a - 21. Is c a multiple of 5?
False
Let g(v) = -v**2 + v - 3. Let t(x) = 2*x**2 - x + 7. Let u(m) = 5*g(m) + 3*t(m). Is u(-4) a multiple of 7?
True
Suppose 0*k - 352 = -4*k. Does 13 divide k?
False
Suppose -2*x = -6*x + 8. Let u(n) = 9*n**3 - 3*n**2 + 2*n - 2. Does 17 divide u(x)?
False
Let f = -35 - -141. Is 29 a factor of f?
False
Let y be (-1)/((-104)/(-35) + -3). Suppose 6*i = i + y. Does 2 divide i?
False
Let i = -23 + 31. Is i even?
True
Let o = 50 - 32. Let q = -4 + o. Is 13 a factor of q?
False
Let y(l) = 0*l**3 + 2*l + 8 - 2 + l**3 - 8*l**2 - 11*l. Let u be y(9). Suppose -28 = -2*g + 3*i, u*i - 8 = 4*i. Is 8 a factor of g?
False
Suppose 4*x = -25 + 85. Is 5 a factor of x?
True
Let x be 2/11 + (-2)/11. Suppose 0*j - 2*r - 38 = -j, x = -4*j - 5*r + 165. Is 16 a factor of j?
False
Does 46 divide -3 - (14/6)/(2/(-42))?
True
Let y = -4 + 2. Let g be 4/2*(-1)/y. Does 12 divide g/(3/(-51)*-1)?
False
Let l(k) = -3*k**2 + 3 + 6*k**2 - 2*k - 4. Let b be l(3). Is 12 a factor of ((-16)/b)/((-1)/30)?
True
Is 16 a factor of (-8)/12 + (-231)/(-9)?
False
Suppose -a + 138 = a. Is a a multiple of 23?
True
Let h = -104 + 146. Suppose -h = -3*u - 0*u. Does 14 divide u?
True
Let y(b) = -b**3 + 12*b**2 + 3*b - 9. Suppose 2*a - 2*r = r + 6, -5*a + 5*r = -15. Let x be (108/30)/(a/10). Is y(x) a multiple of 9?
True
Let j(t) = 7*t - 1. Let q be j(-2). Let b = 10 + -16. Is (-39)/q + b/(-15) even?
False
Suppose 3 = 2*h - 3*c, -2*h = -0*c - c - 9. Let d be (-1 + h/4)*4. Suppose 2*q + 20 = 2*k, -k + 5*q + 38 = d*k. Is k a multiple of 3?
True
Suppose -7*b = -6*b - l - 34, -98 = -3*b + 4*l. Is b a multiple of 19?
True
Suppose 5*f - 4*u - 29 - 15 = 0, -u = f - 16. Let b = 5 + f. Does 17 divide b?
True
Let g(p) = 72*p. Is g(1) a multiple of 18?
True
Let q(c) be the second derivative of c**7/840 - c**6/180 - c**5/30 - c**4/12 + c**3/6 - c. Let m(l) be the second derivative of q(l). Is 5 a factor of m(4)?
False
Let p(w) = -2*w. Let s be p(-4). Let l(c) = c**2 - 8*c + 3. Let a be l(s). Suppose 3 = a*q - 75. Is q a multiple of 13?
True
Suppose -3*j + 0 = -36. Is 6 a factor of j?
True
Suppose 2*g + 5 = 15. Suppose 2*s - p = 101, 4*s - 97 = 2*s + g*p. Is s a multiple of 17?
True
Suppose 3*t + 11 = 2. Let w = t - -9. Is w a multiple of 3?
True
Is 126/(-28)*(-56)/3 a multiple of 12?
True
Let u = 2 + -2. Suppose -12 = -4*x - u*x. Suppose -x*a - 2*a + 85 = 0. Is 8 a factor of a?
False
Let n = -2 + 6. Suppose -o + 4*j + 1 - 5 = 0, n*o = j - 1. Suppose o = -3*x - 4*f + 56 + 20, 0 = 3*f + 6. Does 14 divide x?
True
Suppose -3*j + 3 = -3. Let g be j - 1*(2 - 1). Let a(k) = 14*k - 1. Does 5 divide a(g)?
False
Let d(i) = 2*i**3 - i**2 - 6*i - 4. Does 28 divide d(4)?
True
Suppose -4*g = -5*y - 186, -g + 230 = 4*g - 5*y. Is 6 a factor of g?
False
Let y(d) = -2*d - 2. Let z be y(-2). Suppose 0 = 2*s + 3*h - z*h - 125, -h = s - 62. Is s a multiple of 21?
True
Let u(i) = i - 11. Let v be u(7). Let d = 0 - v. Suppose 2 = 2*h - d. Is h a multiple of 3?
True
Let y = -14 - -13. Let l(r) = -46*r. Is l(y) a multiple of 25?
False
Suppose -4*n = -n - 15. Suppose 5*h = 4*h. Suppose -p - n*a + 3 = h, -2*p - 76 = -6*p - 4*a. Is p a multiple of 11?
False
Let o(j) = -j**3 + 5*j**2 + j - 1. Suppose 6*l = 2*v + l - 8, -5*v - 5*l + 20 = 0. Suppose z = 4, -3*f = -f + v*z - 26. Is o(f) a multiple of 4?
True
Let l(h) = 14*h - 1. Let b = 8 - 7. Does 10 divide l(b)?
False
Suppose -3*m - 2 = -2*y + 5, 0 = 4*m - 4. Suppose 29 = y*p - 31. Does 3 divide p?
True
Suppose -d + 4*d - 2*t - 163 = 0, -d + 46 = t. Let r = d - -3. Does 19 divide r?
False
Suppose -4*m - 2*x = 3*x - 112, -144 = -4*m + 3*x. Suppose 3*c - 2*j - 92 = 0, -3*c + 2*c + 3*j = -m. Is c a multiple of 15?
True
Suppose 4*k - 240 = -5*b, 280 = 4*b + b - 4*k. Does 14 divide b?
False
Let t = -5 + 7. Let b(u) = -1 + 4*u + u**t + 7*u**2 - 3*u. Does 4 divide b(1)?
True
Suppose -2*j = -j. Suppose j = -2*d + 5 - 13, 0 = 2*k + 4*d - 30. Does 8 divide k?
False
Let v(d) = -6*d + 1 + 1 + 5*d. Let z be v(-4). Does 10 divide (8/z)/((-6)/(-126))?
False
Let a be -13 + 3/(-1) + 6. Is (-1 - -3)/(a/(-295)) a multiple of 16?
False
Is (-86 + 0)*(-2)/4 a multiple of 18?
False
Suppose 8 + 0 = 5*m + 2*p, 16 = 2*m + 4*p. Suppose m = -2*h + 4*r + 22 + 44, -h + 36 = r. Suppose -h + 11 = -2*j. Is 12 a factor of j?
True
Let l = -37 + 73. Does 18 divide l?
True
Let u = -11 + 25. Is 7 a factor of u?
True
Suppose 0 = -m - 5*u + 41, -3*m = -0*m - 4*u - 28. Is 8 a factor of m?
True
Suppose 1485 = 5*s + 5*c, 0 = -3*s + 5*s - 2*c - 606. Is s a multiple of 25?
True
Is 20 a factor of -1*59*(-6 + 5)?
False
Let t(v) be the second derivative of 4*v**3/3 - 3*v. Is 16 a factor of t(2)?
True
Does 2 divide 1/(1/9 + (-16)/(-72))?
False
Let h be (-893)/(-3) - 4/6. Suppose -2*c = -2*v - 428, h = 4*c - 3*v - 559. Suppose 4*j - 116 = -f, 5*j - c = 2*f - 82. Is j a multiple of 14?
True
Suppose 0 = -4*n + r - 6*r + 392, -3*n - 3*r = -297. Suppose -3*m - 16 = -n. Is 11 a factor of m?
False
Is 2 + -2 + (0 - -40) a multiple of 12?
False
Let q(n) = 3*n**2 - n - 14. Is 11 a factor of q(6)?
True
Suppose 0*s + 3*s = 75. Suppose 0 = 9*f - 4*f - p + s, -2*p - 28 = 3*f. Let z(d) = 2*d**2 + 7*d - 3. Is z(f) a multiple of 13?
False
Is -3*3/(-9) - -17 a multiple of 9?
True
Suppose 3*l - 4*v = 593, 2*v = 3*l + 4*v - 617. Does 25 divide l?
False
Let g = 2 + 1. Suppose -g*y - 22 = 8. Let q = 9 - y. Does 15 divide q?
False
Suppose 4*y = -f + 7, -1 + 0 = 5*f + 2*y. Is 0/f + 136/4 a multiple of 17?
True
Suppose -2*s + 40 = 2*s. Suppose -70 = v - 8*v. Suppose s = 12*h - v*h. Is 2 a factor of h?
False
Suppose 4*d + 5 + 7 = -4*f, -3*d + 31 = -5*f. Let v(b) = b**3 + 7*b**2 + 8*b + 3. Let n be v(f). Suppose 0 = -2*t - 3 + n. Is t even?
False
Suppose -2*g + 36 = -94. Does 13 divide g?
True
Let c(f) = f**2 + f - 1. Let d(j) = 4*j**2 + 12*j + 5. Let w(y) = 5*c(y) - d(y). Does 20 divide w(10)?
True
Let w be (-3 - (-18)/3)/1. Suppose -75 = -w*g - n + 5, -2*g = -n - 50. Is g a multiple of 13?
True
Let p(y) = 6*y**3 + 3*y - 9. Let a(c) = -c**3 - c**2 - c + 1. Let j(s) = -5*a(s) - p(s). Is j(5) a multiple of 9?
False
Let o = -10 + 28. Let h be 76/o + (-6)/27. Suppose h*j - 73 = -17. Does 14 divide j?
True
Let c = -19 + 10. Let w = 15 + c. Suppose 2*k - w = 4. Is k even?
False
Let t(y) = y**3 + y**2 + y + 1. Let l(v) = -23*v**3 + 5*v**2 + 4*v + 6. Let r(m) = -l(m) + 5*t(m). Suppose 2 = -2*x + 4. Does 16 divide r(x)?