= 4 + 7 + 2*x + 8*x - 12*x. Let c be t(4). Suppose -2*n + c*q - 2*q = -15, 0 = -n - 2*q + 10. Does 8 divide n?
True
Suppose 2*r = -3 - 3, 2*l - 4*r = 1004. Is l a multiple of 8?
True
Let s = -11 - -15. Suppose 2*d - 4*x - 20 = d, s*x + 20 = 2*d. Is 3 + -2 + 41 + d a multiple of 14?
True
Let k(r) = -17*r + 7. Let u(n) = -17*n + 6. Let p(z) = 2*k(z) - 3*u(z). Suppose 3*m + 23 = -3*q + 5*q, -12 = 2*q + 4*m. Is 27 a factor of p(q)?
False
Let g(i) = i**3 + 6*i**2 - 9*i + 16. Does 14 divide g(-6)?
True
Let v(w) = 20*w + 16. Does 4 divide v(6)?
True
Let h(w) = 6*w**2 + w + 1. Let s(u) = u + 1. Let b be s(0). Let j(v) = v**3 + 1. Let g be j(b). Is 9 a factor of h(g)?
True
Let z(o) = 15*o**2 + 2*o - 44. Is z(6) a multiple of 11?
False
Suppose 0 = 13*f + 9*f - 990. Is f a multiple of 15?
True
Suppose 986 = -6*z + 8*z. Suppose 249 + z = 14*k. Does 7 divide k?
False
Let f(p) = -p**3 - 3*p**2. Let n be f(-4). Let j = 28 - n. Is 6 a factor of j?
True
Let u be ((-327)/(-9))/(6/18)*1. Suppose -107*m + u*m - 544 = 0. Is 16 a factor of m?
True
Suppose -3*t + 6*t = -42. Let p = t - -14. Let q(l) = l**2 - l + 37. Does 28 divide q(p)?
False
Does 8 divide 4*(43 + 5) - 2?
False
Suppose -3*d = 2*d + 200. Let v be 111 + (-4)/(-12)*(-6 + 0). Let g = d + v. Does 23 divide g?
True
Suppose 4*w = -2*f - 24 + 66, -36 = -2*w + 2*f. Is w a multiple of 10?
False
Suppose -1355 = -3*o - y, 5*o - y - 72 - 2173 = 0. Does 6 divide o?
True
Suppose 8*u - 9*u - 4*b = -880, -2*u + b = -1724. Does 32 divide u?
True
Suppose -7*q + 4*q = -2*t - 1690, 4*t = 2*q - 1132. Is 19 a factor of q?
False
Let o(v) = -v**2 - 13*v - 1. Let c be (-7)/56 + 434/16. Let u = 15 - c. Is 2 a factor of o(u)?
False
Suppose y + 3 = g, -4*g = g - 3*y - 13. Suppose -n + 6*n = -5*s - 80, 30 = -3*s + 3*n. Let u = g - s. Is 15 a factor of u?
True
Let o(k) = -219*k**3 + k**2 - 2*k - 2. Let d(w) = -w**3 + w - 1. Let u be d(0). Let j be o(u). Suppose 6*z - j = z. Does 22 divide z?
True
Let i = -4 + 7. Suppose -i*g + 6 = 0, -g - g - 16 = -4*d. Suppose 0 = -2*a, -d*w - 2*a + 270 = -a. Is w a multiple of 27?
True
Let l(o) = o**3 + 4*o**2 + 2*o - 3. Let u be l(-3). Suppose 2*r = -u*r + 4. Suppose 5*a = x + a - 42, -100 = -5*x - r*a. Is 11 a factor of x?
True
Suppose 0*b - 5*b + 3847 = 3*f, 4*f + 4 = 0. Is b a multiple of 35?
True
Suppose 6*o + 5*q = o + 270, -3*o - 2*q = -157. Is (2 - 13/6) + o/6 a multiple of 2?
True
Let d(l) = 3*l - 10. Let v be d(4). Suppose -v*w - 184 = -4*a, 2*w + 326 = 5*a + 94. Is 4 a factor of a?
True
Let a(w) = -w**3 + w + 1. Let s(x) = -6*x**3 + x**2 + 3*x + 6. Let j(d) = -5*a(d) + s(d). Let f be 3 + 4/(-2) + -3. Is j(f) a multiple of 6?
False
Let c(n) = 2*n + 15. Let i be c(0). Suppose -5*y + i = -0*a + a, 0 = -5*a + 2*y + 75. Does 2 divide a?
False
Suppose 0 = 12*d - 0*d - 4560. Is d a multiple of 5?
True
Let i(w) = -w**2 + 15*w - 51. Let m be i(7). Let c(q) = 2*q**3 - 2*q**2 - 3*q - 5. Is c(m) a multiple of 19?
False
Let t(k) be the second derivative of -k**5/20 - k**4/12 + k**3/6 - k**2 - 2*k. Suppose 4*g + 15 = -5*v, 3*v + 5*g + 3 + 6 = 0. Is t(v) a multiple of 13?
True
Suppose 2*x = 7949 - 1485. Is x a multiple of 16?
True
Let w = 0 + 0. Let g(d) = -d + 50. Let j be g(w). Suppose -q - 3*h + j = 0, -4*q = -5*h - 140 + 8. Is 10 a factor of q?
False
Let q = -137 + 80. Let s = -27 - q. Is s a multiple of 30?
True
Let n = -183 - -279. Is 19 a factor of n?
False
Let q be (-16)/(-6) - 13/(-39). Suppose -q*u + 2 = 8. Is 12 a factor of u/(-5)*60/2?
True
Let g(p) = 8*p**2 + 12*p + 110. Is 10 a factor of g(-7)?
False
Let b = -455 - -871. Is 8 a factor of b?
True
Let w = -355 + 687. Is w a multiple of 65?
False
Let f(i) = 253*i + 6. Is 58 a factor of f(1)?
False
Suppose 4046*h = 4039*h + 10388. Is h a multiple of 7?
True
Let w(g) = 5*g**2 - 22*g - 44. Does 29 divide w(11)?
True
Suppose -2*z - o = -3*z + 256, 4*z = -4*o + 1000. Let s = z + -181. Is 12 a factor of s?
True
Let i(m) = 10*m - 3 - 5*m**2 + 9*m**2 + 1. Is i(-7) a multiple of 33?
False
Let q be (-6)/2*4/(-3). Suppose -4*g + 0 = 4*t + 16, -q*t - 2*g = 8. Suppose t*p - p = -26. Does 13 divide p?
True
Suppose 3*z + 5*b - 54 = 0, 4*z + b = -2*b + 72. Let f = z - 18. Suppose 3*m - 162 = -f*m. Does 22 divide m?
False
Suppose 2*t = -2*c - 10 - 26, 4*t = -3*c - 70. Suppose -4*d = -2*w + d + 108, -3*d - 202 = -4*w. Let z = w + t. Does 8 divide z?
False
Let f be 4/10*(-3 + 8). Let r(v) = v**2 + v - 1. Let n be r(f). Suppose 2 + 108 = n*w. Is w a multiple of 11?
True
Let i(g) = -6*g - 4 + 3*g + 5 + 0*g. Let u be i(-8). Let v = -14 + u. Is v a multiple of 3?
False
Suppose -2*h = -4*i + 6, i - h - 24 = -5*h. Suppose d - i = 180. Suppose f = 5*f - d. Is f a multiple of 23?
True
Suppose 4*j + 5*g - 44 = 0, 2*j = -j - 3*g + 30. Let c(h) = -3*h + 28. Is 2 a factor of c(j)?
True
Let f(n) = 2*n - 5. Let x be f(5). Suppose -x*i + 10 = -315. Suppose -2*m + i = 3*m. Is m a multiple of 6?
False
Let c(s) = 22*s - 10. Let m(p) = -1. Let d(v) = v**2 + 6*v + 7. Let u be d(-5). Let i(w) = u*c(w) - 22*m(w). Does 14 divide i(1)?
False
Let k = 48 + -45. Suppose -3*t + 180 = -2*q, 2*q - 144 = -k*t + 48. Is t a multiple of 18?
False
Suppose 0 = 3*m - 2*d - 2413, -5*d - 270 + 1097 = m. Is 5 a factor of m?
False
Let a be (-31)/(-6) + (-2)/12. Suppose -5*o = -4*j + 3*j - 2, 0 = 3*j + a*o - 14. Is (-2 + 10)*j/4 a multiple of 3?
True
Let r = -195 + 215. Does 5 divide r?
True
Let x = -487 - -1259. Does 20 divide x?
False
Suppose 3*k - 12 + 0 = 0. Is (-4042)/(-12) + k*(-4)/(-96) a multiple of 57?
False
Let u(i) = i**2 - 6*i. Let o be u(6). Suppose -4*x + w + 0*w = -111, -3*x - 5*w + 66 = o. Is 4 a factor of x?
False
Suppose -3*t + k - 592 = -3*k, 4*t + 748 = -5*k. Let o = t - -402. Is o a multiple of 14?
True
Let u = 2 - -2. Let a(z) = z**2 - z. Let c(s) = s**3 - 9*s**2 + 7*s + 3. Let d(b) = u*a(b) + c(b). Is d(5) a multiple of 9?
True
Let c(d) = 2245*d**2 - d - 4. Is c(-1) a multiple of 95?
False
Let k be 2 - (8/2 + -329). Let t be (k/12)/((-2)/(-16)). Suppose 5*f = 3*c - t, 82 = -4*c + 4*f + 386. Is c a multiple of 27?
True
Suppose 0 = 2*v + 1 + 5. Let z be (-14)/(-21) + 20/v. Let x(d) = -2*d + 10. Does 11 divide x(z)?
True
Let r(p) = p**3 - 10*p**2 + 9*p + 19. Let y be r(10). Let i = y - -17. Does 21 divide i?
True
Let s(w) = -67*w - 377. Does 14 divide s(-21)?
False
Let d = 31 + -15. Let g = d - 14. Suppose g*z + 0*z - 48 = 0. Is z a multiple of 4?
True
Let q = 18 - -385. Does 13 divide q?
True
Suppose -2*k = -2, 6*z - 716 = 3*z + 4*k. Let m = -50 + 50. Suppose 3*o - 24 - z = m. Does 22 divide o?
True
Let v = 40 - 28. Suppose 0 = -2*t + 4*t - v. Is 3 a factor of 4/(-24) - (-85)/t?
False
Suppose 5*a + 0*u = u + 614, 2*u = 3*a - 367. Suppose a = 8*m - 301. Does 23 divide m?
False
Let i(g) be the third derivative of 0 - 5/12*g**4 + 1/2*g**3 + 0*g + 10*g**2. Is 11 a factor of i(-6)?
False
Let m(b) = -4*b - 3*b + 4*b - 6 + 2*b. Let q be m(7). Let n = q + 44. Is 10 a factor of n?
False
Suppose 0 = -4*g + 5*g. Let v = 94 + -64. Suppose l + l - v = g. Does 5 divide l?
True
Let s(a) = 6*a + 30. Let z be s(-17). Let b = -30 - z. Is 7 a factor of b?
True
Let j = 1 - -46. Is 1*-2 + 0 + j a multiple of 15?
True
Suppose 30 = 4*h + h. Let c be ((-57)/h)/((-3)/6). Let s = 26 - c. Is s a multiple of 7?
True
Let o = -20 - 1. Let x = o + 121. Let n = x - 61. Is n a multiple of 27?
False
Suppose 3*y - t + 36 = 0, t - 4 = -1. Let a = y + 17. Is a even?
True
Is ((-20)/(-65))/2 + (-248970)/(-39) a multiple of 28?
True
Suppose -i - 20*i + 13608 = 0. Is 49 a factor of i?
False
Let o be ((-12)/(-14))/(8/56). Suppose -5*j = -25, 2*f + 5*j = o*f + 197. Let u = f - -71. Is 7 a factor of u?
True
Let c = -32 - -7. Let x = c - -39. Is 14 a factor of x?
True
Suppose 5*m + 4*n - 26 = 0, m + 2*n - 10 + 0 = 0. Suppose -16 = m*l - 0. Is 19 a factor of (38/l)/(4/(-32))?
True
Suppose 12*l = 11*l - 10. Let k be (l/(-25))/((-2)/160). Is (2/4)/((-1)/k) a multiple of 7?
False
Is 65 a factor of 25/(-5) + 6/((-30)/(-12265))?
False
Let b(k) = -126*k**3 - 1. Let h = 93 - 94. Does 7 divide b(h)?
False
Let r = 93 - -186. Is r a multiple of 15?
False
Let v be 222/4*(-14)/21. Let p = v + 115. Is p a multiple of 26?
True
Let u(v) be the second derivative of -v**3/3 + 29*v**2/2 - 8*v. Is u(13) a multiple of 2?
False
Is 16 a f