uppose 2*j = -5*j + 119. Does 17 divide j?
True
Suppose -2*x + 2 = 0, -3*x = 4*q - 0*x - 3. Suppose q = -u + 4*y - 14, -2*y = 4*u - 3*y - 19. Does 6 divide u?
True
Suppose 5*f = -3*q + 9 + 565, 598 = 3*q - f. Does 20 divide q?
False
Suppose -y + 1 = -0. Let p(s) = 9*s. Is 5 a factor of p(y)?
False
Suppose 4*c - 17 = 2*g - 7*g, -5*g - 3*c = -14. Suppose 0*s - 4*s - 3*p = -55, g = p. Does 4 divide s?
False
Let i(g) be the second derivative of 7*g**3/6 + 3*g. Suppose -19 = -4*l - 5*j, -3*j - 4 = 2*l - 5*j. Does 3 divide i(l)?
False
Let y(i) = -2*i**3 - 6*i**2 + 7*i + 5. Is y(-5) a multiple of 14?
True
Let t(y) = y**2 - y + 4. Let d be t(0). Suppose -92 = d*i - 256. Does 13 divide i?
False
Let j(k) = -k**3 - 7*k**2 + 11*k - 9. Is j(-9) a multiple of 8?
False
Let d(h) = 2*h**2 + 2*h - 2. Let k = -4 - -2. Let t be d(k). Suppose -j + 26 = -t. Is j a multiple of 14?
True
Suppose 0 = 5*s - 11 - 19. Is 7/(1 - 4/s) a multiple of 7?
True
Let f = -4 + 8. Suppose -f*r = r + 10. Is 3 a factor of r/(-11) - (-378)/99?
False
Let b(m) = m**3 - 8*m**2 + 9*m - 9. Let x be b(7). Suppose 0 = -5*d - x*q + 100, 0*q = -3*d + q + 44. Is d a multiple of 8?
True
Suppose 4*y - 4 = 0, 4*g - 2*y = -4*y + 38. Does 9 divide g?
True
Let f be 2 - (1 - -1)/(-2). Suppose -f = -l - 0. Suppose l*j - 84 = j. Does 21 divide j?
True
Suppose -5*c + 34 = -0*u + 3*u, u - c + 2 = 0. Suppose -5*m = -5*t - 170, -14 = u*t + 1. Does 13 divide m?
False
Let c(j) = 23*j - 2. Let m be c(1). Let a be -1 + 1 + (-1 - -17). Suppose -5*p = -2*k - m, 0 = 2*k - 0*p - 4*p + a. Is k a multiple of 2?
True
Let h(v) = v**3 - 2*v**2 + 2*v + 2. Let q be h(2). Suppose -q*d = -d - 305. Is 19 a factor of d?
False
Let n(r) = -r - 1. Does 7 divide n(-8)?
True
Suppose 3*q + 0*q - 12 = 0. Let w = q - 0. Does 2 divide w?
True
Suppose z = 3*z + 4*c - 132, 0 = -4*z + 5*c + 212. Suppose a + 4*f = -a + z, 4*a - 4*f - 104 = 0. Is a a multiple of 14?
False
Does 33 divide -2*-11*(-4 - -2)*-3?
True
Let i be (-82)/(-10) + (-4)/20. Let r(v) = 2*v**3 - i*v**2 - v**3 - 1 + 13*v**2. Is r(-2) a multiple of 11?
True
Let l(p) = p**2 - 3*p + 2. Let a be l(7). Suppose 3*m = 5*i - 0*m + 5, -4*m = 5*i - a. Let k = 0 + i. Is k even?
True
Let q be -4*((-1)/(-1))/(-2). Suppose -q*b + 3*a + 27 = 6*a, -a - 1 = -b. Is b a multiple of 2?
True
Let y = 139 + -82. Is 8 a factor of y?
False
Suppose 26 + 14 = 4*t. Suppose t = w - 12. Is w a multiple of 12?
False
Suppose 0 = -3*p + 6, -3*s + 38 = -3*p - 136. Is s a multiple of 12?
True
Let q = 48 + -26. Does 5 divide q?
False
Let p be 2/3 + 2/(-3). Suppose b + p*b = 48. Is 16 a factor of b?
True
Suppose -p = -2*p - 8. Let f = 10 - p. Is f a multiple of 9?
True
Suppose 0 = v - 5*o + 5, 3*v - o = 2*v - 1. Let n = 8 - -1. Suppose 0 = -v*s + 3*s - n. Is s a multiple of 3?
True
Let s(h) = 3*h + 7. Let o be 4 + -5 - 1/(-1). Suppose o = -4*q + 24 - 4. Is 8 a factor of s(q)?
False
Suppose 6*g - g - 38 = 3*r, -22 = 3*r - g. Let n = 20 + r. Does 8 divide n?
False
Does 4 divide (-4)/(-14) - (-152)/7?
False
Let z(u) = -u**3 - u**2 - 2*u. Let j be z(-2). Suppose -5*c + 3*k + 22 = 0, 3*c = -k - j + 24. Suppose -v = -3*w + 55, 162 = c*w + 3*v + 47. Does 20 divide w?
True
Suppose -4*f - 14 = 10. Let r = f + 42. Is 18 a factor of r?
True
Let p be 29/9 - (-2)/(-9). Suppose 5*r = -3*i + 134, -73 = -3*r + p*i - 7. Let h = 9 + r. Is h a multiple of 17?
True
Suppose 0 = -p + 71 - 11. Suppose 2*r - p = -r. Is r a multiple of 20?
True
Is 250/6 + 3/9 a multiple of 20?
False
Suppose 223 = 3*k + 5*p, -4*k + p + 199 + 129 = 0. Suppose -i - 2*i = -n - k, -15 = -5*n. Is i a multiple of 14?
True
Suppose -r = -5*l - 15 + 2, r - 7 = 2*l. Let a = -2 - l. Suppose -5*t + a*t = -90. Is t a multiple of 9?
True
Is 14 a factor of 138/24 + -6 - 1570/(-8)?
True
Let k(z) = z**3 - 5*z**2 + 3*z. Let y be k(3). Let d be (-5 - -3)/(2/y). Suppose d = -3*n, -38 = -5*f - 2*n + 136. Does 10 divide f?
False
Suppose -9*b + 20 = -5*b. Does 5 divide b?
True
Let x(f) = -f - 2. Let o be x(-14). Suppose 3*y = -z - 108, -3*z = y - o + 344. Is 9/(-6) - z/2 a multiple of 18?
True
Suppose -q - 163 = -5*x + 2*q, -5*q = 4*x - 123. Is 2 a factor of x?
True
Let u(a) = 4*a + 11 - 1 - 2*a. Is u(11) a multiple of 16?
True
Suppose -160 = -4*d + 4*w, 4*d + 3*w - w - 136 = 0. Suppose -4*y + 3*y = -d. Is 9 a factor of y?
True
Let j = -204 + 344. Is j a multiple of 23?
False
Let f(k) = -k**2 - 20*k + 33. Is f(-10) a multiple of 44?
False
Suppose -n = -4*n + 237. Is n a multiple of 10?
False
Suppose -3*c - w + 769 = 0, -2*c + 2*w + 1300 = 3*c. Suppose -6*l + c = -3*l. Is l a multiple of 30?
False
Let a = -49 - -197. Suppose -4*k + 296 = -5*n, 4*k = 2*k - n + a. Is 23 a factor of k?
False
Let y = 86 + -3. Does 10 divide y?
False
Let v be 2 + 0 + 31 + -2. Let l = -17 + v. Does 7 divide l - (-2 - -1 - -2)?
False
Let y = -3 + 6. Let d(n) = n**2 + 5*n - 4. Is d(y) a multiple of 15?
False
Let b = -215 - -310. Suppose -13 - b = -2*i. Is i a multiple of 15?
False
Let m = 4 + -5. Is 15 a factor of (-5 - (m - -2))*-5?
True
Suppose 0*t + 5 = t. Let c = t - -10. Does 9 divide c?
False
Suppose 0 = 3*l + 3*p + 9, -3*p - 5 = 3*l + 2*l. Suppose -n = 2*h - l, -h = -2*n - n + 34. Is 5 a factor of n?
True
Let b = -63 + 16. Let k = b - -98. Does 17 divide k?
True
Let g(m) = -m**2 - 11*m - 7. Let s(y) = -y**2 - 11*y - 8. Let z(b) = -6*g(b) + 5*s(b). Let q be z(-12). Let w = q - 5. Is w a multiple of 5?
False
Suppose 0*h + 4*h = 16. Let l(w) = -w**3 + 3*w**2 + 5*w - 1. Let x be l(h). Is -10*(-2 - x/(-2)) a multiple of 2?
False
Suppose -73 = -h - 5*l, 61 = -3*h + 4*h - l. Is h a multiple of 9?
True
Suppose -5*a = -3*a + 3*t - 41, 5*a + 4*t = 99. Does 19 divide a?
True
Let u(a) = -a**3 - 5*a**2 - 5*a - 3. Let l be u(-4). Is 20 a factor of ((-2)/l + 81)/1?
False
Let v(r) = -r**2 - 2*r - 6. Let q be v(-9). Let b be q/(-12) - (-9)/(-12). Suppose 4*a - b*a + 14 = 0. Does 4 divide a?
False
Suppose -2*u - 60 = -3*u. Does 5 divide u?
True
Suppose 161*m = 164*m - 1134. Is 14 a factor of m?
True
Let m(a) = -44*a + 4. Is m(-3) a multiple of 8?
True
Let u(q) = 3*q - 12. Let v be u(10). Let c = 44 - v. Does 13 divide c?
True
Let i = -8 - -10. Suppose -i*f - 138 = -4*h, 4*h - f = -0*f + 139. Does 9 divide h?
False
Let q = 0 + 8. Let x(r) = -r**2 + r. Let y be x(1). Suppose y = 2*p - 38 - q. Is 15 a factor of p?
False
Let v = 139 + -102. Does 37 divide v?
True
Let r(v) = v**2 - v + 18. Does 25 divide r(-13)?
True
Let w be (-6)/8*24/(-3). Suppose -3*l + 30 = 5*j, -3*l = 4*j - w - 21. Is l even?
False
Let h = -7 - -22. Let r be 1*(-2)/((-6)/h). Suppose -58 - 59 = -3*x - i, 0 = r*x + 2*i - 196. Does 17 divide x?
False
Suppose -2*p - 3*p = -4*k - 46, -5*p - 26 = 4*k. Let a = k - -84. Is a a multiple of 25?
True
Let z be (-2)/(-5) - (-24)/(-10). Let w = 2 - z. Suppose -2*q + f + 91 = 0, w*q + q = -3*f + 200. Is 18 a factor of q?
False
Let z(o) = -5*o**3 - 7*o**2 + 11*o + 1. Let u be -8*2*(-3)/12. Let h(g) = -9*g**3 - 13*g**2 + 21*g + 2. Let q(j) = u*h(j) - 7*z(j). Is 8 a factor of q(-5)?
True
Let i(r) = -3*r**2 + 3*r - 1. Let m be i(2). Let b = 24 - m. Is 15 a factor of b?
False
Let n be (-30)/8 - (-6)/8. Is 8 a factor of n - -1 - 20/(-2)?
True
Does 39 divide -150*(-2 - -1)*3/2?
False
Suppose -7*r + 2*r = -5*t + 20, -4*r = t - 9. Let n be 1/(-1*r/43). Let w = -31 - n. Does 12 divide w?
True
Let n(a) = a + 4. Let m(i) = -2*i - 7. Let x(u) = -3*m(u) - 5*n(u). Let z be x(9). Is 10 a factor of z*(-1)/1*-2?
True
Suppose u - 3*u + 28 = 0. Suppose 55 + u = 3*o. Is o a multiple of 10?
False
Suppose 8*v - 3*v = 10. Let n be 17/((v/(-2))/(-1)). Let u = n + -1. Is u a multiple of 8?
True
Let n(u) = 2*u**2 - 4*u - 6. Let j be n(9). Suppose 3*a - j = -2*a. Does 12 divide a?
True
Let k(r) = 4*r**2 + 4. Let t = 11 + -17. Let g be k(t). Suppose -5*o - 38 = -g. Is o a multiple of 22?
True
Let h be 1/4 + (-8)/32. Let u(f) = -f**3 + f**2 + 33. Is u(h) a multiple of 23?
False
Suppose 0 = 2*b - 5*b + 6. Let v = 4 + b. Is 2 a factor of v?
True
Suppose -2*m + i + 9 = 0, -m - 6 = m + 2*i. Let o = -2 - -7. Suppose m*f = f + o. Does 5 divide f?
True
Let l be ((-2)/3)/((-2)/6). Suppose l*t = -j + 51, -5*t + 5*j + 42 + 123 = 0. Suppose 0*i - t = -i. Is i a multiple of 14?
True
Does 38 divide ((-423)/(-6))/((-1)/(-2))?
False
Let r = -11 - -