uppose -4*y + l = j - 0*j, 0 = 3*y + j - 10. Does 4 divide y?
True
Suppose -2*u = 2*u - 144. Does 12 divide u?
True
Suppose p + 0*v - 4*v = 25, -5*p + 74 = -3*v. Is p a multiple of 13?
True
Suppose 101 = -6*m + 695. Is 11 a factor of m?
True
Let h(m) = m**2 - 13*m - 1. Is 2 a factor of h(14)?
False
Let k be (-1)/5 - 32/(-10). Suppose -r + 2 - 1 = 2*q, -k = -r - 4*q. Is 8 a factor of 18/2 + r + 1?
False
Let s be 1/(-3) + 22/(-6). Let r = 6 + s. Is r/(-4) + 9/2 a multiple of 4?
True
Let c be 6/(-27) + (-176)/18. Let w = c + -2. Let p = 35 + w. Is p a multiple of 16?
False
Let v(i) = -i**3 - 2*i**2 + 2*i. Let w be v(-3). Suppose -w*k + 6 = 3*m, 3*k + 4*m - 2 = 1. Suppose 114 = k*a - 11. Is 11 a factor of a?
False
Suppose -w + 2*x = -23, -w - 4*w = 5*x - 85. Let k = 7 + w. Is k a multiple of 13?
True
Let v(n) = -n**2 + 16*n. Is v(10) a multiple of 5?
True
Let b(j) = 2*j - 5*j + 3*j + 4*j**2 - 3. Is b(4) a multiple of 22?
False
Suppose 0 = 3*o - 4 - 2. Suppose 4*s = o*s + 4. Suppose -b + 112 = 3*r + 37, 4*b - 60 = -s*r. Does 7 divide r?
False
Let r = -1 + 21. Is r a multiple of 9?
False
Let r(m) = -m - 22. Let y be r(-9). Let v be -4*(-2 + y - -2). Suppose -2*d = 2*d - v. Is 6 a factor of d?
False
Let y(r) = 6*r - 6. Is 12 a factor of y(5)?
True
Let s = 118 - 62. Suppose 3*h - s = h. Is 13 a factor of h?
False
Let f(p) = -p**2 + 10*p + 13. Let v(d) = -2*d**2 + 20*d + 27. Let q(k) = 5*f(k) - 3*v(k). Let t be q(13). Suppose -t = -2*x + 9. Does 8 divide x?
True
Suppose -4*w = 2*v - 108, 3*v + 0*w - w - 162 = 0. Is v a multiple of 27?
True
Let j(c) = c. Let n be j(2). Is ((-4)/n)/(1/(-4)) a multiple of 7?
False
Let q = 20 - 18. Suppose q*b = 3*b - 24. Is b a multiple of 6?
True
Let z = 0 - -2. Does 3 divide (z + (-27)/6)*-2?
False
Let g(a) = -a**2 - 15*a - 11. Let o = -24 + 12. Does 7 divide g(o)?
False
Let m = 1 + 1. Suppose 3*s = -4*v + 38, -4*s + 72 = s - m*v. Does 10 divide s?
False
Let n(g) = -13*g - 27. Is n(-21) a multiple of 27?
False
Let o = -24 - 5. Let v = 73 - o. Suppose -3*j + v = -0*j. Does 12 divide j?
False
Let q be (-40)/(-30) - 16/3. Let w(u) = -8*u - 3. Does 10 divide w(q)?
False
Suppose -8*n + 5*n = -225. Does 15 divide n?
True
Let k(d) = -d**3 + 5*d**2 + 2*d - 2. Suppose j - 4*j = -15. Let z be k(j). Suppose 55 = -3*x + z*x. Is x a multiple of 11?
True
Let h(c) = c**2 + 4*c - 8. Let p be h(-6). Let o be (-6)/p + 38/4. Suppose o*b = 3*b + 110. Is 11 a factor of b?
True
Let n(w) = 3*w**3 + w**2 - 1. Let p(u) = u**3 - 11*u**2 - u + 7. Let c be p(11). Let r be (2 - 0)*(-2)/c. Does 3 divide n(r)?
True
Let b(h) = 92*h**2 - h - 1. Let o be b(-1). Suppose 0 = n + n - o. Suppose 4*a = n + 34. Is a a multiple of 10?
True
Let v = 5 + -2. Suppose u = v*u - 4. Is 2 a factor of u?
True
Suppose 3*o - 8 = 1. Let s be 0 + 0 - (7 - 9). Suppose s*y + j + 11 = 4*y, -19 = -o*y + 2*j. Is y a multiple of 2?
False
Let d(z) = z**3 - 4*z**2 + 9*z - 6. Let b(n) = 2*n**3 - 9*n**2 + 18*n - 11. Let l(s) = -4*b(s) + 7*d(s). Is 10 a factor of l(6)?
True
Suppose 0*y - 5*y + 50 = 0. Suppose j - 19 = y. Does 10 divide j?
False
Let s = 23 - 23. Suppose 5*a = -s*a + 60. Does 6 divide a?
True
Let f(h) = 7*h**2 - h**3 + 0*h + 0 - 4*h - 9 + 5. Let l be 6*(-1 + 0 + 2). Is f(l) a multiple of 4?
True
Let h(b) = b + 3. Let s be h(0). Is 2 a factor of -3 + 6/s + 3?
True
Let x(n) = -2*n. Is x(-7) a multiple of 3?
False
Let q be 4/(-18) - (-1478)/9. Suppose q = 4*c - 4*h, 0 = 2*c - h + 3*h - 86. Does 25 divide c?
False
Let g(i) = -5*i**3 - 2*i**2 + 3*i. Let o be g(-3). Suppose 3*x - o = x. Is 14 a factor of x?
False
Suppose 13*p = 17*p - 20. Suppose -p*w = -2*w - 18. Does 3 divide w?
True
Let c(n) = 10*n + 1. Let t be c(2). Suppose -2*k = -k - t. Is 13 a factor of k?
False
Suppose -45 = -z + 2*v - 5*v, -4*v = -5*z + 320. Is z a multiple of 15?
True
Let q be 12 - 2 - (-1 - 1). Suppose -q = -m + 5*m. Is -19*((-3)/m)/(-1) a multiple of 15?
False
Suppose -10 = 5*n - 5*h, 5*n + 16 - 2 = h. Let l(x) = 2*x**2 + x + 3. Does 12 divide l(n)?
False
Let m(g) = -g**2 + 5*g - 5*g + 16 + 7. Does 23 divide m(0)?
True
Let k = -145 - -217. Is k a multiple of 8?
True
Let o = 2 + 22. Suppose 2*y = -k - 2*k + 9, -4*y = 4*k - o. Is 9 a factor of y?
True
Suppose 3*v - 81 = -18. Is 5 a factor of 4/(-14) + 300/v?
False
Suppose 6*z - 651 = -195. Is z a multiple of 19?
True
Is 17 a factor of 132/2 + -2 + -2?
False
Let y(u) be the first derivative of u**4/4 + 2*u**3 - u**2 - 4*u - 2. Let l = 11 + -17. Is y(l) a multiple of 8?
True
Let k = 49 + -35. Does 2 divide k?
True
Suppose -2*b + 3*b = 13. Is (2 - -1) + -4 + b a multiple of 12?
True
Let w = 154 + -79. Is 25 a factor of w?
True
Let l = 102 + -27. Is 15 a factor of l?
True
Suppose -2*l + 6 = -l. Does 6 divide l?
True
Let u be (-14)/(-6) - (-6)/9. Suppose c - u*c + 212 = 0. Suppose 2*r = -20 + c. Does 16 divide r?
False
Let g = 153 - 57. Suppose 0*h = 4*x + h - g, 0 = 3*x - h - 65. Is x a multiple of 11?
False
Suppose -630 = -8*z + z. Is 9 a factor of z?
True
Let o = -8 - -6. Suppose -57 = 2*d - 13. Is 11 a factor of o/(1 - -1) - d?
False
Suppose -5 - 3 = -n - 5*y, 5*y = -4*n + 62. Is n - (-2)/(-2 - -3) a multiple of 10?
True
Let z(a) = -a**3 + 14*a**2 - 13*a + 6. Is 6 a factor of z(13)?
True
Suppose 0*t + 2*t = 214. Suppose -4*g = -5*j - 32 + t, 0 = -4*j + 5*g + 60. Does 15 divide j?
True
Let t(m) = 2*m**2 - 3. Let q be 5/(-2)*(-2)/5. Let g be 0 + (q - 0) - 4. Is 5 a factor of t(g)?
True
Suppose 79 = 3*n - 2*r + 9, -5*n + 75 = 5*r. Does 2 divide n?
True
Suppose 5*o - 3*k - 250 = 0, o - 5*k + 26 - 98 = 0. Let m = o - 34. Is m a multiple of 13?
True
Suppose 7 = 4*s - 21. Is 7 a factor of s?
True
Let o(c) = 0*c + 5 - 5*c - 3. Let b be -2 + 0/(4/2). Is o(b) a multiple of 6?
True
Let o(i) = 3*i**3 - 4*i**2 - 5*i. Let a be 36/10 - (-10)/25. Let n be o(a). Suppose 2*f + 36 = n. Is 20 a factor of f?
False
Suppose -1 = -3*v + 11. Let t be ((-1)/(-3))/(v/36). Suppose -i - 2*n = -25, 5*i + 2*n = t*i + 40. Is i a multiple of 15?
True
Let b be 2/(-6) + 190/3. Suppose -2*n - 2*l = b + 383, l + 1 = 0. Does 22 divide 8/(-20) + n/(-5)?
True
Let q = 34 - 3. Suppose q = 4*d - 13. Is 11 a factor of d?
True
Let v(d) = d**2 - d. Let k = 7 + -8. Let u(p) = p**2 - 7*p + 10. Let j(y) = k*u(y) + 2*v(y). Is j(-7) even?
True
Let d = -234 + 136. Suppose 3*i - 4*s - 25 = 0, 2 = -4*s + 22. Does 5 divide 3/i - d/10?
True
Let b(z) = -z**3 + 4*z**2 + 4. Let j be b(4). Let o = j + 16. Is o a multiple of 9?
False
Suppose 201 = 3*o - d - 506, 2*o = -2*d + 458. Is o a multiple of 18?
True
Let y = -24 - -54. Is y a multiple of 5?
True
Suppose 0 = 3*d - 6*d + 273. Suppose 3*g - d = -g + 3*u, -4*u = -5*g + 113. Let f = g - 13. Is 11 a factor of f?
False
Let v = 17 - 17. Suppose 2*q - 4*q + 30 = v. Is 6 a factor of q?
False
Let i = 45 + -29. Does 11 divide i?
False
Let q = 11 + -6. Suppose 3*w - 4*g = 110, -2*w - w = -q*g - 115. Is w a multiple of 10?
True
Let l(f) = 4*f**2 + 5*f - 6. Let w(z) = -7*z**2 - 10*z + 12. Let v(i) = -5*l(i) - 3*w(i). Does 9 divide v(-8)?
True
Suppose 2*t - 18 = -4*m + 6, 4*m = -8. Is 16 a factor of t?
True
Let a(t) = -5*t + 3*t + 10*t. Is a(2) a multiple of 8?
True
Let p be (-1859)/(-26) + (-6)/(-4). Suppose 2*h + 17 = p. Does 14 divide h?
True
Let o(z) = -z**3 + 13*z**2 - 12*z + 9. Is 6 a factor of o(12)?
False
Let q(g) = 6*g**2 + 3*g - 3. Is q(3) a multiple of 12?
True
Suppose 80 = -7*w + 2*w. Does 20 divide ((-195)/(-10))/((-6)/w)?
False
Let h be (6/5)/(2/(-10)). Suppose 2*p = -3*p - 55. Let i = h - p. Is i a multiple of 2?
False
Let a = -78 + 135. Let j = -33 + 37. Suppose -t - a = -6*t - 2*m, j*m = -t + 15. Is t a multiple of 11?
True
Suppose -v + 2*r = 4*v + 14, v = -2*r + 2. Does 12 divide -3*(-39)/(-6)*v?
False
Let x = 8 + -8. Suppose x = 3*p - 16 - 44. Does 9 divide p*2*(-6)/(-15)?
False
Let v be 1/4 + (-252)/(-16). Suppose 2*o - d = d + v, 0 = 3*o + 5*d + 16. Suppose 2*c - 13 - 15 = i, -12 = o*i. Does 12 divide c?
True
Is 12 a factor of (-62 - -1)*(-2)/((-4)/(-2))?
False
Let q(k) = 4 + 2*k + 0*k - 4*k + k. Is q(0) even?
True
Does 27 divide 165 + (2 - 10/2)?
True
Suppose 101 = 2*p - u, 2*p + 5*u - 107 = -0*p. Is p a multiple of 17?
True
Suppose -j + 26 = -12. Does 19 divide j?
True
Let r = -12 + 11. Is 22 a factor of 21 + (2 - 2 - r)?
True
Does 16 divi