-21)/(-6) + (-6)/4. Suppose -j + 6 = 2*j. Suppose -51 = c - 2*c + t*l, -4*l + 78 = j*c. Is 19 a factor of c?
False
Let s = 23 + 41. Suppose -5*j - 4*p + s = -71, -4*p = 2*j - 66. Is 9 a factor of j?
False
Is (-2)/9 + 2433/(-27)*-2 a multiple of 29?
False
Let v(a) = 2*a**2 + 6*a + 6. Suppose -j + 15 + 2 = -m, 0 = 4*j + 3*m - 82. Suppose 4*n + j + 1 = 0. Is v(n) a multiple of 15?
False
Let p = -5 + 7. Suppose -7*a = -p*a - 145. Does 22 divide a?
False
Let v = 63 - 41. Suppose v = 2*x - 20. Does 21 divide x?
True
Let s be 57/11 - (-4)/(-22). Suppose -s*n + 21 - 6 = 0. Suppose n*u = 8*u - 105. Is u a multiple of 11?
False
Let w(h) = h**2 - 4*h - 2. Let b(i) = i**2 - 6*i + 5. Let f be b(6). Let g(j) = -j**2 + 4*j + 1. Let o(r) = f*g(r) + 6*w(r). Is o(6) a multiple of 5?
True
Suppose -2*f - 3 = g, -3*g - 5 - 6 = 4*f. Let a = 3 - f. Suppose u + a*u = 135. Is u a multiple of 19?
False
Let t be -3 - (-5)/(10/12). Suppose -t*c = 0, 2*n - 2*c + 6*c - 14 = 0. Is n a multiple of 4?
False
Let k(n) = -n**3 - 4*n**2 - 7*n - 2. Let y(t) = t**3 - 3*t**2 - t - 2. Let x be y(3). Is 17 a factor of k(x)?
False
Suppose -3*y - 2*y = -120. Is y a multiple of 8?
True
Let d(u) = -u + 5. Let v be d(0). Suppose 0 = o + v*i - 7, -3*i - 14 = -0*o - 2*o. Let m(f) = f**2 - 6*f + 1. Does 8 divide m(o)?
True
Let j(t) = -3*t + 8*t + 0 + 5 - t**2. Is j(5) even?
False
Let d(w) = -7*w - 2. Let s = -7 - 0. Does 16 divide d(s)?
False
Let g = 98 - -27. Is g a multiple of 25?
True
Let m = 2 + 6. Let t = 8 + m. Is 16 a factor of t?
True
Let q(d) = -d**3 - 10*d**2 - 4*d - 5 - 7*d + 0*d**3. Does 7 divide q(-9)?
False
Let u be 2/(-12) + (-3)/(-18). Suppose u = 4*a - 49 - 83. Is a a multiple of 14?
False
Let q be -260*3/(-3)*1. Suppose -q = -5*r + 3*r. Suppose -n = 4*n - r. Does 19 divide n?
False
Let p = 27 + 11. Does 19 divide p?
True
Let f(u) = 7*u + 8. Is 20 a factor of f(4)?
False
Suppose 0 = 5*a - 5*w - 35 - 5, 2*a - 1 = -w. Is 6/a - 0 - -11 a multiple of 13?
True
Suppose 2*a = 3*d - 32, d = -3*a - 2*a - 12. Let c = d + -5. Is 19 a factor of ((-252)/(-30))/(c/10)?
False
Suppose 4*i - 207 = 5*u, -4*u - i + 2*i = 159. Let v = 55 + u. Is 5 a factor of v?
False
Let j be (113/2)/(1/(-2)). Let h = 181 + j. Suppose 4*z - 20 = -3*p + 38, 0 = -3*p + z + h. Does 11 divide p?
True
Let t(i) be the third derivative of i**5/60 - i**4/12 + i**3/6 + 3*i**2. Is 9 a factor of t(4)?
True
Let u = -8 + 11. Suppose 4*c = u*h + c + 12, -5*h - 5*c = -20. Suppose h = -y + 6 + 15. Does 10 divide y?
False
Let r be (-28)/(-8)*(-66)/3. Suppose 3*f + 24 = 9. Let x = f - r. Is 25 a factor of x?
False
Let s = -1 + -5. Let x = 10 + s. Is x even?
True
Let t = 14 - 14. Let s(o) = -o**2 - o + 24. Is 12 a factor of s(t)?
True
Let t(v) = -v + 15. Let k be t(11). Suppose 93 + 91 = k*i. Does 23 divide i?
True
Suppose 873 = 4*q - 0*m + 3*m, -5*m = -q + 201. Is 12 a factor of q?
True
Suppose l = -2, 2*j - 3*l - 78 = -2*l. Let i = -21 + j. Does 17 divide i?
True
Let h(m) = -38*m**3 - m**2 - 2*m - 1. Suppose -4*x - 10 = -2*y, -y = y + 5*x + 17. Is 10 a factor of h(y)?
False
Let w(r) = 9*r - 15. Let n(y) = 17*y - 30. Let i(u) = 3*n(u) - 5*w(u). Does 27 divide i(7)?
True
Let n = -87 - -129. Does 7 divide n?
True
Suppose -5*d + 670 = -5*t, 2*t + 138 = 3*d - 2*d. Is 13 a factor of d?
True
Let u be (-2)/((6/(-21))/1). Suppose 4*i + 0*i = 576. Suppose i = -4*w + u*w. Is 16 a factor of w?
True
Suppose w + 78 = -2*n - w, w = 3*n + 105. Does 19 divide (-6)/n - 227/(-6)?
True
Suppose 6*b + 250 - 2278 = 0. Is b a multiple of 19?
False
Let y(u) = -3*u**2 + u + 7. Let o(a) = 4*a**2 - 2*a - 8. Let i(t) = 4*o(t) + 5*y(t). Is 8 a factor of i(7)?
False
Let k(m) = 31*m**3 - 2*m**2 + 1. Let x be k(-1). Let y = -22 - x. Does 5 divide y?
True
Let t(d) = -4 - 2*d - 4*d**2 + 5 + 16*d**2. Is 11 a factor of t(1)?
True
Suppose 6*x - 20 = x. Let q(u) = x + u**2 + 3 - 2 + 1. Is q(0) a multiple of 3?
True
Let o(i) be the first derivative of -i**2/2 - 5*i - 3. Let t be o(-5). Suppose -40 = -4*l - t*l. Is l a multiple of 10?
True
Suppose -5*b = -57 - 148. Does 11 divide b?
False
Let t = 48 + 1. Let v = t - 35. Does 7 divide v?
True
Let v(t) = -t**3 + 2*t + 70. Is v(0) a multiple of 10?
True
Let a = 48 + -24. Is a a multiple of 12?
True
Let g be (-4)/(-2) - (-16)/(-8). Suppose -i + 1 + 3 = g. Is i a multiple of 2?
True
Does 3 divide ((-4)/2)/(10/(-45))?
True
Let t = 98 - 30. Is 34 a factor of t?
True
Let z(w) = w**3 + 6*w**2 - w. Let m = -7 - -4. Is 15 a factor of z(m)?
True
Suppose 2*x - 148 = -v, -95 = 4*x + 3*v - 395. Is x a multiple of 23?
False
Let m = 12 - 16. Does 22 divide -1*264/(m*1)?
True
Suppose -298 = -3*g - 10. Is g a multiple of 24?
True
Suppose -h + 1 + 1 = 0. Let k = 14 + -9. Suppose -2*p + k*z = -68 - 11, -p + h = 5*z. Does 9 divide p?
True
Suppose 3*v = -v. Suppose s = -v*s + 12. Is 6 a factor of s?
True
Suppose 5*z - 20 = -5. Suppose -z*w + 0*w = -72. Does 8 divide w?
True
Suppose -7 = 5*h - 307. Suppose -2*v - h = -174. Does 14 divide v?
False
Let m(z) be the second derivative of 7*z**3/2 - z**2/2 + 2*z. Is m(2) a multiple of 14?
False
Suppose -2*x + 172 = -4*d, -268 = -3*x - 5*d + 6*d. Is x a multiple of 18?
True
Suppose -2*b = t - 7, -2*t + 2*b - 6 = 10. Is t/(-3)*(62 - 0) a multiple of 14?
False
Let z(w) = 2*w**3 - 8*w**2 + 5*w - 5. Let i be z(5). Suppose 3*y = -3*s + 57, 0*y - i = -4*y + 2*s. Suppose n = -2*n + y. Is 3 a factor of n?
True
Let b(z) = z - 5. Let m be b(6). Let h be 68 + 1 + -1 + m. Suppose -5*v = 4*u - h, v - 19 = -u - 2*v. Does 6 divide u?
False
Let v = 521 - 371. Suppose -3*p + v = -21. Does 7 divide -3 - -2 - p/(-3)?
False
Let n be 39 + (-9)/3 + 2. Let v = n - 4. Is 7 a factor of v?
False
Suppose 2*z + 108 = 4*w, 2*z + 24 = -2*w + 78. Is w a multiple of 17?
False
Let j(r) = r**3 + 7*r**2 - 5*r + 8. Is j(-7) a multiple of 15?
False
Let k(v) = v**2 + 16*v + 3. Does 10 divide k(-17)?
True
Let f = 1 + -6. Suppose 0 = -z - 2. Let k = z - f. Is 2 a factor of k?
False
Suppose 4*q - 3*i + 84 + 36 = 0, -2*i - 30 = q. Let v = -10 - q. Is v a multiple of 10?
True
Suppose 2*f - 4 = o + 11, 4*o + 32 = f. Let g = -1 - o. Is g a multiple of 3?
True
Let v(q) = -3*q**3. Let p be v(1). Let x(t) = t**3 + 2*t**2 - 2*t + 2. Let n be x(p). Is n - (1*-25 + 2) a multiple of 11?
True
Let c(s) = -s**3 + 8*s**2 + 2*s + 1. Let p(i) = i**3 + 3*i**2 + i. Let n be p(-2). Let z be (-1)/(n*2/(-32)). Is 11 a factor of c(z)?
False
Let a = 93 + -51. Let r = a + 28. Suppose -r = -4*g - g. Does 7 divide g?
True
Is 31 a factor of (-247 - 1)*25/(-50)?
True
Let z = 15 + 14. Let o = -7 + z. Let k = -16 + o. Does 6 divide k?
True
Suppose -116 = -4*g - 0*g. Suppose -g = -5*a + 11. Is a a multiple of 8?
True
Suppose 51 = -k + 4*k. Suppose -k*g = -20*g + 207. Is g a multiple of 29?
False
Let z = 158 + -129. Does 21 divide z?
False
Let y(n) = -n - 5. Let t be (2 - 5)*8/3. Let f be y(t). Suppose f*u = -u + 28. Does 7 divide u?
True
Let w = 41 - 15. Does 14 divide w?
False
Suppose 121 + 215 = 3*i. Does 25 divide i?
False
Let h = -8 + 18. Does 10 divide h?
True
Let p = 9 - 4. Suppose 2*d - a - 3 = 0, 0 = p*d - 2*a - 3*a. Let i(v) = v**3 - 3*v - 2. Does 8 divide i(d)?
True
Let o(p) = -p**3 + 7*p**2 - 6*p - 5. Suppose 2 - 14 = -3*k. Suppose k*y + 10 = 30. Does 10 divide o(y)?
False
Let s(o) = -o**3 + 5*o**2 + 2. Let b be s(5). Suppose -8*z + 76 = 4*h - 4*z, b*h - 58 = 2*z. Does 12 divide h?
True
Let m = 409 + -193. Does 18 divide m?
True
Suppose 96 = 5*l + 2*p + 8, -5*l = 3*p - 87. Suppose -1 = 3*b - 16. Suppose -b*z + l = -2*z. Is 6 a factor of z?
True
Let d = 101 + -5. Is 16 a factor of d?
True
Suppose -4*b = 4*k - 4, 5*b + 4*k = 9*k + 15. Suppose -b = -2*n + 8. Suppose d + 20 = n*h - 17, 5*h = 4*d + 28. Is h a multiple of 8?
True
Suppose 0 = -2*b + 5*b + 114. Let v be b - 3/(9/(-6)). Is 6 a factor of (-8)/v - 140/(-18)?
False
Let n(i) = i**2 + 18*i + 51. Is 8 a factor of n(-20)?
False
Let y(k) = k**3. Let f(z) = -5*z**3 + 13*z**2 + 17*z + 13. Let s(h) = f(h) + 4*y(h). Is 11 a factor of s(14)?
True
Suppose 3 = 2*q - 31. Suppose -31 - q = -2*d. Is d a multiple of 12?
True
Does 9 divide 1 + 3 + 9*1?
False
Let c be -16*(3 + (0 - 4)). Suppose -5*k + 3*q = -131, k + 0*q - c = 4*q. Is k a multiple of 7?
True
Let d(n) = n**2 - n - 4. Suppose 7 - 1 = 3*x. Let g = x + -