*w - 2*z. Let k = w + 5. Suppose 43 + 22 = k*q. Is 13 a factor of q?
True
Suppose -5*j + 20 = -0*j. Let c be (-2883)/(-18) + (-3)/18. Suppose -c = -0*y - j*y. Does 20 divide y?
True
Let y(v) = 3*v**3 - 3*v**3 - 2*v**3 + 4 - 3*v**2 - 3*v + 2*v. Is 12 a factor of y(-3)?
False
Let d = 39 + 34. Let a(f) = 4*f - 7. Let j be a(-6). Let y = j + d. Is 21 a factor of y?
True
Suppose 0 = -5*g + 3 + 12, 0 = -3*k + 2*g + 27. Suppose -2 + 82 = 4*z. Let j = z - k. Does 4 divide j?
False
Let s(y) = -y**3 - 3*y**2 + 5*y + 2. Let w be s(-4). Let u(b) = -b**2 + 1. Let n be u(w). Let r(d) = 2*d**2 + d + 2. Does 14 divide r(n)?
False
Suppose -m + 7 = -2*m - 5*l, 2*l - 8 = -4*m. Is 2 - -1*m/3 a multiple of 3?
True
Let m(w) = 12*w**2 + 3*w - 10. Is 17 a factor of m(-4)?
True
Let k be ((-116)/(-5))/(-2)*15. Is (1 - -2)/((-9)/k) a multiple of 29?
True
Let z = 13 + 18. Let t = z + 5. Is t a multiple of 12?
True
Suppose 0 = 5*d - 10, 4*d = -5*q + 3*d + 1212. Is q a multiple of 22?
True
Let v be (4/(-10))/((-1)/55). Suppose -x - v = -3*x. Let d = 16 - x. Does 5 divide d?
True
Suppose -29 = -n - 4. Does 10 divide n?
False
Suppose -x + 5*k = -0*k - 52, -x + 52 = -4*k. Is x a multiple of 13?
True
Suppose -3*u = -121 + 16. Let n = u - 18. Is n a multiple of 17?
True
Let a(o) be the first derivative of o**4/4 + o**3 - 3*o**2 - 5*o - 1. Is a(-4) a multiple of 3?
True
Let x(m) = -m**3 - 7*m**2 + m + 10. Is 3 a factor of x(-7)?
True
Let n = -31 - -51. Let i be (-80)/(-6) - (-2)/3. Let m = n - i. Is 5 a factor of m?
False
Suppose -3*i = -9 - 0. Suppose -i*f - 279 = -5*b, -143 - 34 = -3*b - 3*f. Does 20 divide b?
False
Let l(v) = -v**3 + 5*v**2 + 5*v + 7. Suppose i - 1 = y, 0*y + 4*y + 2*i - 20 = 0. Suppose 2*w = y*w + c, w - 5*c - 30 = 0. Does 16 divide l(w)?
True
Let z = 41 + 5. Does 23 divide z?
True
Suppose -431 = -4*m - y, 4*m + 2*y + 2*y - 428 = 0. Does 12 divide m?
True
Let p(m) be the second derivative of m**5/20 - 13*m**4/12 - m**3/3 + 11*m**2/2 - 4*m. Let l be p(13). Let c = l + 40. Does 20 divide c?
False
Suppose 6*u - 979 = 1553. Does 13 divide u?
False
Suppose -5*d - 3*r + 82 = -d, -3*r = -2*d + 32. Suppose d = 2*c + 5*m, 1 = m - 4. Let g = 7 + c. Is 4 a factor of g?
True
Let q(y) = y**2 + 8*y + 5. Let r be q(-6). Let w = r - -11. Is w a multiple of 4?
True
Let r be (-12)/(9/3) - -3. Is r/(-2)*(17 - -1) a multiple of 4?
False
Let i be 4/6 - 44/(-6). Suppose -i = -p - 3. Is 5 a factor of p?
True
Suppose -13 = -4*v + h, 4*v - 2*v - 24 = 4*h. Suppose -d + 181 = 2*i, 4*i - v*d = -d + 359. Is 30 a factor of i?
True
Suppose -2*t = 1 + 3. Is (-266)/(-6) + t/6 a multiple of 11?
True
Let t be -2*(13/(-2) + 4). Suppose t*z - 20 = 40. Is z a multiple of 3?
True
Let w(b) = -5*b + 8. Let z(c) = c**3 + c**2 + c - 6. Let d be z(0). Let q(y) = -y + 1. Let x(a) = d*q(a) + w(a). Does 8 divide x(7)?
False
Let j(h) = 13*h**2 + 3*h - 1. Let n be j(-3). Suppose -n = -3*g + 1417. Is g/16 - 2/(-8) a multiple of 13?
False
Suppose -2*b - 218 = -p - 3*p, -5*p + 4*b + 274 = 0. Does 6 divide p?
True
Let q be (12 + 2 + 1)*2. Suppose 72 = 3*k - q. Is k a multiple of 21?
False
Suppose -71 = -2*g - 3*l, -g + 190 = 4*g + 5*l. Does 5 divide g?
False
Let n = 51 + -49. Suppose 0 = 3*m - 2*m - 16. Suppose -n - m = -a. Is a a multiple of 9?
True
Let m(u) be the third derivative of u**4/24 - u**2. Let n be m(4). Suppose -130 = -n*t - 2. Does 16 divide t?
True
Suppose 2*c - 5 = -3*t + 5, -c - t = -4. Suppose -p = -6*v + v - 31, -p + 38 = c*v. Does 18 divide p?
True
Suppose -4*h = -5*b - 66, 3*h + 0*h = -5*b + 67. Let q = 40 - h. Suppose -8*c - q = -9*c. Is c a multiple of 21?
True
Let m(r) = -10*r**2 + 3*r - 4. Let w(i) = i**2 - i + 1. Let f be (4/(-6))/(8/12). Let c(n) = f*m(n) - 4*w(n). Is c(-1) a multiple of 2?
False
Let m = -4 + 2. Is -1 + m + 30 + 2 a multiple of 29?
True
Let c(r) = -23*r + 3. Is c(-3) a multiple of 18?
True
Let f = -102 + 182. Does 12 divide f?
False
Suppose -3 = -3*t + 3. Suppose -36 = -t*q + 8. Does 10 divide q?
False
Let h = 7 + -17. Let k = h - -33. Is 14 a factor of k?
False
Let t(v) = 1 + v**2 + 3*v**2 + v**3 + 2*v - v - 4. Let d be t(-3). Does 18 divide 0 - (d + -3) - -51?
False
Let l(c) = -2*c. Let j be (-2)/(-4) + (-6)/12. Suppose 0 = 5*h - j*h + 40. Is l(h) a multiple of 16?
True
Let u be 1*(-1 + 1 - -1). Let y(k) = -k. Let l be y(u). Is 6/1 + 0 + l a multiple of 5?
True
Let p = 34 - -118. Is 9 a factor of p?
False
Suppose 4*q = 2*q + 48. Does 12 divide q?
True
Suppose 5*r - 28 = 17. Let b = -11 + r. Does 27 divide b + 2 + (-3 - -57)?
True
Let h = -5 + 13. Suppose 4*z = h, z = -o - 3*z - 7. Let b = o - -48. Does 13 divide b?
False
Suppose 2*o = -h + 160, 2*o - 4*h = -h + 168. Is o a multiple of 19?
False
Let c(i) = i**3 + 2*i**2. Let f be c(-3). Does 4 divide f/9 + 10*1?
False
Let j = -196 - -352. Does 65 divide j?
False
Suppose 3*j - 8*j - 30 = 0. Let z(w) = -5*w. Is z(j) a multiple of 11?
False
Let x(o) = -o**3 + 9*o**2 - 9*o + 15. Does 24 divide x(6)?
False
Suppose -10*n = -23*n + 156. Is n a multiple of 2?
True
Let q be (16/(-6) - -3)*0. Suppose -4*g + 85 = -3*y, 3*g = -q*g - 4*y + 70. Does 9 divide g?
False
Suppose 0 = a + 3*a - 120. Is 10 a factor of a?
True
Let s be (-220)/(-12) + 2/3. Suppose -4*w - s - 60 = -3*a, -5*a = 4*w - 185. Is a a multiple of 16?
False
Let c(d) = 5*d + 16. Is 25 a factor of c(8)?
False
Suppose -4*q - q - 100 = 0. Does 17 divide -1 + -2 - q/1?
True
Let x = 6 - 3. Let i(v) = 24 - 17 + v**2 - 11. Is i(x) even?
False
Let r(w) = w**2 - 2*w - 8. Let o be r(6). Does 16 divide (36/(-2))/((-6)/o)?
True
Let p = -60 + 102. Does 14 divide p?
True
Let a = 6 - 11. Let i(f) = f**3 + 6*f**2 + 4*f + 2. Is i(a) a multiple of 2?
False
Let j = 7 + -14. Let i be (-2)/j - (-236)/7. Suppose -4*v = -v - 5*m - 64, -m = 3*v - i. Is v a multiple of 11?
False
Suppose 11 = 5*a - 2*f - 1, 3*f = 4*a - 4. Is 3 a factor of a?
False
Suppose 4*k - 4 = 2*k. Let b(x) = -x**2 + 9*x + k*x**2 + 5 + 6. Is b(-9) a multiple of 6?
False
Is 3 a factor of (-1 + -1)*30/(-20)?
True
Let p(v) = 9*v. Let m(f) = -45*f. Let i(b) = 4*m(b) + 21*p(b). Let u(l) = 143*l. Let x(g) = -33*i(g) + 2*u(g). Is x(-2) a multiple of 11?
True
Suppose -16 = -4*u + 24. Let s be u*-1*22/(-4). Is 24 a factor of (-266)/(-11) - 10/s?
True
Let s(b) be the third derivative of -5*b**4/8 + b**3/6 + 4*b**2. Let t be s(-3). Suppose 2 = p, -3*u - 2*p = 3*p - t. Does 6 divide u?
True
Suppose -v + 1 = -1. Suppose -5*t + 166 = z, t = v*z + 9 + 22. Does 11 divide t?
True
Let y(g) = g**2 + 0*g + 7*g - 2 + 10. Let z be y(-6). Suppose 2*s + z*p = 30, 4*s + s - 5*p - 85 = 0. Is 11 a factor of s?
False
Suppose 4*n - 5 = -1. Suppose -n = q, 5*j - 13 = -2*q - 0*q. Suppose -30 = j*o - 114. Is o a multiple of 11?
False
Let g(j) = -j**2 + 35. Let k be g(0). Let v = -23 + k. Is 10 a factor of v?
False
Suppose -150 = -2*j - l + 3*l, -j = l - 67. Is j a multiple of 25?
False
Let o(i) = -2*i**3 - i**2 + i - 10. Is 14 a factor of o(-4)?
True
Let c be (10/(-3))/((-4)/114). Let d = c - 67. Is 18 a factor of d?
False
Let a(g) = -g**2 - 5*g. Let f be a(-5). Suppose f = -5*w + 112 + 108. Does 22 divide w?
True
Let b = -187 - -286. Is 14 a factor of b?
False
Let p be 1*(1 - -47)/3. Suppose -3*t = t - p. Suppose t*m - 3*h = 9, 13 = -3*m + 6*m - h. Is 3 a factor of m?
True
Let l(m) = -m + 18. Does 21 divide l(-3)?
True
Let o = 52 - 41. Does 2 divide o?
False
Let a(h) = 3*h**2 + 4*h - 1. Suppose -2*o = 2*o - 176. Suppose -5*m - 7 + o = -3*n, -m = -5. Is a(n) a multiple of 13?
False
Let x be (-2 - -2)/(-1 - -3). Suppose -2*s + x*s + 6 = 0. Is -22*(-2 + s/2) a multiple of 4?
False
Let w be (-52)/(-9) - (-2)/9. Suppose w*t - t = 0. Suppose 2*b + 5*n - 51 = t, -4*n + 9 = -3*b + 28. Does 13 divide b?
True
Suppose -n + 4*s = -16, -s + 4*s - 16 = -n. Suppose 98 = 5*d + a - n, 5*d - 4*a - 119 = 0. Is d a multiple of 7?
False
Let h be (-2014)/(-4) - 3/(-6). Suppose 3*s = -3*c + h, 205 + 136 = 2*s + c. Suppose -2*m = m + 3*a - 111, 4*m = a + s. Is 15 a factor of m?
False
Let m = -6 - -312. Does 51 divide m?
True
Let p(x) be the first derivative of -x**2/2 + 2. Let n be p(-2). Suppose 0 = -4*w - n*u + 86, 5*w - 4*u = 81 - 6. Does 7 divide w?
False
Let w(v) = v**2 + 14*v + 10. Let c be w(-10). Does 13 divide 9/(-12)*c*2?
False
Let m be (-2 + 51 - 0) + -1. S