e 2*j - 4*a = -a + 121, s*j = 4*a + 120. Is 22 a factor of j?
False
Let v be 1/(-2) - (-54)/4. Suppose 0 = -b - 1 - 4. Let s = b + v. Is s a multiple of 4?
True
Suppose 0*z + y = 2*z - 150, 4*y + 220 = 3*z. Suppose 0*j - 3 = -j. Suppose w - j*w + z = 0. Does 16 divide w?
False
Let j = 3 + -1. Suppose 0 = 2*l + j*l - 88. Is l a multiple of 13?
False
Let p(m) = -4*m - 20. Does 6 divide p(-13)?
False
Let z = 26 - 2. Is 12 a factor of z?
True
Is (5/2)/(6/12) even?
False
Let v = -104 + 178. Does 14 divide v?
False
Let q(j) = 13*j - 8. Is 11 a factor of q(4)?
True
Suppose 2*w + 3*t = 2 - 0, 5*t - 25 = w. Is w*(1 + -2 - 0) a multiple of 2?
False
Is 11 a factor of -3 + 3 + 2 + 174?
True
Suppose -141 = -2*t - z, 5*t + z + 146 - 494 = 0. Is t a multiple of 7?
False
Suppose -16 + 1 = -5*l. Suppose 40 = l*y + 2*y. Is y a multiple of 8?
True
Let q = 7 - 2. Suppose 3*o + q*g + 5 = o, -3*o = -5*g - 5. Let r = o + 8. Is 8 a factor of r?
True
Let v = 14 + -11. Is 78 - -4 - (v + -2) a multiple of 17?
False
Let a(u) = -u**3 + 9*u**2 - u - 8. Does 24 divide a(6)?
False
Let a = 55 + -51. Is a a multiple of 2?
True
Suppose 2*c + c - 120 = 0. Is c a multiple of 14?
False
Let m(p) = p**3 - 16*p**2 + 13*p - 26. Does 32 divide m(16)?
False
Is 10 a factor of (2/(-3))/((-14)/399)?
False
Suppose -4*r + 5*q - 13 = -7*r, r - 2 = -4*q. Let v be 8/r - (-4)/6. Suppose 3*s - 130 = -v*s. Does 13 divide s?
True
Suppose 0 = -5*g - 3*h - 5, -3*g + h - 3*h = 4. Suppose 273 = 5*w - t, -g*w + 2*t = -6*w + 224. Is w a multiple of 19?
False
Let g(q) = -2*q - 4. Suppose 4*b + 1 - 13 = 0. Suppose -4 = -3*x + x, 2*f - b*x = -24. Is 5 a factor of g(f)?
False
Let l(f) = 2*f**3 + 3*f**2 - f - 1. Suppose 2*c = -3*c + 2*h + 2, -4*c + 5*h - 12 = 0. Let d be l(c). Suppose 0 = 5*t - d. Does 5 divide t?
True
Let t(h) = -2*h**2 + 4*h - 22. Let p(q) = q - 10. Let m be p(9). Let g(j) = -j**2 + j - 1. Let s(l) = m*t(l) + 3*g(l). Does 19 divide s(0)?
True
Let j be -1*4/((-8)/14). Suppose -4*q + 73 = -j. Does 5 divide q?
True
Let f(w) = 46*w + 4. Let z(k) = -k. Let i be z(-5). Let x be f(i). Does 14 divide x/14 - 6/(-21)?
False
Let c = 15 + -7. Let f be (c/(-2))/(-2 - -1). Suppose 4*a + 20 = i, -f*i + 2*a + 80 = a. Is i a multiple of 10?
True
Does 27 divide ((-81)/(-12))/(-1)*-12?
True
Let x = -1 + 3. Suppose -4*v = -8, n - 522 = -4*n + 4*v. Suppose h + s = 4*h - 167, n = x*h - 2*s. Is 22 a factor of h?
False
Let s(u) = -u**3 - 7*u**2 - 6*u + 6. Let a be s(-6). Suppose -4*d + 2*d + 36 = 0. Let m = d - a. Is 6 a factor of m?
True
Suppose 20 = 4*y, -5 = 2*p - 5*y + 16. Let s = -4 + p. Is (0 - s)/2 + 21 a multiple of 11?
True
Let q = 91 + -64. Let l = 65 - q. Is 13 a factor of l?
False
Let z(q) = q**3 + 4*q**2 + 4*q + 3. Suppose 4*n + 2 = a - 3*a, 0 = 2*n - 3*a + 13. Is 3 a factor of z(n)?
True
Let m be 0/(-3)*(-2)/4. Suppose m*a = -3*a + 42. Is 7 a factor of a?
True
Suppose -5*l + 137 = q, -2*q - 11 = -5. Is l a multiple of 7?
True
Suppose 4*c = -5*y + 46, 3*c + y + 11 = 51. Does 2 divide c?
True
Suppose 0*j + 4*j = -5*s + 90, -50 = -5*s + 4*j. Is s a multiple of 5?
False
Suppose 1488 = -4*u + 2*u. Let i be u/(-42) - (-2)/7. Suppose w - 31 = -g, 9 + i = g - 3*w. Is 10 a factor of g?
True
Let m be (-3)/6*(6 + -2). Let d = 0 - m. Suppose 2*k = 6, 0 = d*c + 3*c - 3*k - 6. Does 2 divide c?
False
Suppose -4*l + 12 - 4 = 4*u, 3*l + 5*u = 2. Does 5 divide (11 + -7)*18/l?
False
Let h = -3 + 2. Let x(k) = 5*k**2 + 4*k + 12. Let n be x(-2). Let j = n + h. Is j a multiple of 7?
False
Let c = -39 + 74. Is c a multiple of 14?
False
Suppose -3*x + 4*g = g - 3, 5 = 2*x - g. Suppose -5*t + 4*s + 271 = 0, 0 = -2*s + s - x. Is t a multiple of 17?
True
Let v(o) = -4*o + 28. Is 15 a factor of v(-23)?
True
Let b(p) = -9*p**3 - p**2. Let m be b(-2). Let c = 114 - m. Is 18 a factor of c?
False
Suppose 6*l = 15*l - 513. Is l a multiple of 15?
False
Suppose -7 - 25 = -4*z. Let t = z + -10. Let u = 1 - t. Is 2 a factor of u?
False
Suppose -3*v - 61 = -2*v - 3*x, 2*v + 4*x = -152. Let s = 124 + v. Is s a multiple of 18?
True
Suppose -4*a + 545 = -5*x, a - 2*x = 71 + 69. Is 23 a factor of a?
False
Let h be 6/(-8) + 30/8. Let f = h - 11. Let i(b) = -b**2 - 10*b - 8. Does 4 divide i(f)?
True
Let m(o) = 2*o**2 + 9*o + 10. Let r be m(-5). Suppose -16 = -n + r. Is 9 a factor of n?
False
Suppose 17 = -5*i + 7. Let n(h) = -2*h**3 - 15*h**2 + 9*h - 7. Let p(u) = -u**3 - 8*u**2 + 5*u - 4. Let z(d) = 6*n(d) - 11*p(d). Is z(i) even?
True
Suppose 0*q = -q + 4. Let i be ((-17)/q)/((-4)/16). Let u = i - 5. Does 6 divide u?
True
Suppose -5*o + 5*k = 4*k - 75, 4*k - 22 = -3*o. Does 5 divide o?
False
Suppose -20 - 1388 = -22*j. Is j a multiple of 6?
False
Let y be 1/(1 - 3/6). Let x be -6*(y - 10/4). Suppose x*m = -0 + 6. Is m even?
True
Let f be -6 - 3/(-1) - -5. Suppose -f*v + 27 = -7. Is v a multiple of 16?
False
Is 2 a factor of (16/(-10))/((-5)/25)?
True
Let b(l) = -8*l**3 + l**2 + l + 1. Let f be b(-1). Let n = f - 7. Suppose 3*z - n*d = 96, 0 = 4*z - 7*z + 3*d + 99. Does 15 divide z?
True
Suppose 45 = 3*r - 114. Is r a multiple of 16?
False
Suppose p = 5*r + 1, 4 = 2*r + p + 3. Let s(d) = d**3 + d**2 - 2. Let u be s(r). Let l(b) = 3*b**2 - b + 2. Is 8 a factor of l(u)?
True
Suppose -29 = -2*n + 21. Is 3 a factor of n?
False
Suppose -33 - 24 = -u. Is 15 a factor of u?
False
Let g be 1506/9 + 3/(-9). Suppose -m + 51 = -p + 7, 4*m = p + g. Does 17 divide m?
False
Let f(c) = 8*c**2 - 4*c - 4. Let z = 5 - 8. Let d be f(z). Suppose 3*r - 25 = d. Is 16 a factor of r?
False
Let x = 12 + -9. Suppose -5*c = -4*k - 76, 0 = -x*c + k + 14 + 26. Does 4 divide c?
True
Let o(q) = 4*q**2 + 3*q + 8. Let k(s) = 5*s**2 + 2*s + 9. Let l(y) = -5*k(y) + 6*o(y). Let t be l(9). Does 11 divide (-5 - -2)*22/t?
True
Suppose 117 = 2*u - k, -8*k - 105 = -2*u - 3*k. Is 20 a factor of u?
True
Let u = -10 - -19. Is (-9)/(36/(-8)) + u a multiple of 3?
False
Suppose 0 = -6*w - 89 + 287. Is w a multiple of 3?
True
Suppose 0*h = -5*h - 15, 5*n + 3*h = 141. Is n a multiple of 6?
True
Suppose -3*b + 9 = -0*b. Suppose -r - 7*n + 2*n = 10, -5*n = 5*r + 10. Suppose w = b*m - m - 85, r = w - 3. Is m a multiple of 13?
False
Let u = -27 - -51. Is 6 a factor of u?
True
Suppose -75 = 7*x - 2*x. Let b = -6 - x. Does 2 divide b?
False
Let j(w) = -3*w - 1. Let g be j(-2). Let l(i) = 17*i - 7. Let v be l(g). Let y = -42 + v. Is y a multiple of 18?
True
Let r(s) = -s**2 + 6*s + 5. Let u be r(6). Suppose f - u + 2 = 0. Is 1 + (f*8 - -3) a multiple of 13?
False
Suppose 3*j = -5*s + 26, 0 = s - j - 0 - 2. Is (s/(-2))/(-2) - -27 a multiple of 10?
False
Let i(m) = 5*m. Let j be i(-5). Let z = 40 - -4. Let r = z + j. Is 11 a factor of r?
False
Suppose -m + 39 = -97. Does 17 divide m?
True
Suppose 0 = -2*f + 4. Suppose 5*v - 2*w = 176, 6*v + f*w - 62 = 4*v. Is 17 a factor of v?
True
Let x(f) = f - 4. Let n be (-200)/(-14) - (-4)/(-14). Let l = n + -6. Does 4 divide x(l)?
True
Let k = -4 - -5. Let n(v) = 20*v**2 + 2*v - 1. Let f be n(k). Suppose -6 + f = a. Does 15 divide a?
True
Let t(x) = 3*x**3 - x**2. Let r be t(3). Suppose 6*g + 8 = 26. Suppose -4*n = -6*n + 4, 3*q + g*n = r. Does 10 divide q?
False
Suppose -c = 8 - 14. Does 2 divide c?
True
Suppose -4*v - 8 = -168. Does 20 divide v?
True
Suppose -26 = 4*b - 6. Let a = b + 14. Does 9 divide a?
True
Suppose -406 = -2*w + 2*j, 3*w - 141 - 438 = -3*j. Does 11 divide w?
True
Let z = 166 - 116. Is 7 a factor of z?
False
Let s = 100 - 65. Is 5 a factor of s?
True
Let v(k) = -8*k. Does 12 divide v(-15)?
True
Let p(c) = -5*c + 18. Is p(-10) a multiple of 17?
True
Let v(t) = -t**2 - 4*t. Let s be v(-2). Let n(u) = u + 11. Let m be n(-6). Does 2 divide m/10 - (-18)/s?
False
Let k = -14 + 34. Suppose 2 = -2*q + 30. Let m = k - q. Is 2 a factor of m?
True
Suppose -3*y - 4791 = 3*o, 5*o = y + 736 + 891. Is 12 a factor of y/(-27) + 2/3?
True
Let v(c) = -c**2 + c + 2. Let l be v(-8). Is 10 a factor of (-2830)/l - 6/14?
True
Suppose -5*t - 4*b = -220, 3*b = -2*t - 2*t + 176. Is t a multiple of 21?
False
Let n = 266 - -70. Is 42 a factor of n?
True
Let b(t) = 5*t. Let h = -7 + 13. Does 15 divide b(h)?
True
Suppose -2*m - 84 = -2*w, 170 = 4*w - 5*m - 0*m. Let g = -21 + 9. Let c = g + w. Does 14 divide c?
True
Suppose -3*h - 607 = -4*n, 0*n - 2*h + 622 = 4*n. I