) = -2*z. Let f be x(6). Let c(i) = i**2 + 8*i - 3. Is c(f) a multiple of 18?
False
Let v(j) = 21 + 24 - 13*j - 48. Is 22 a factor of v(-7)?
True
Is (-5 - -615)/5 + 8 a multiple of 5?
True
Let u(t) = 6*t - 3 + 7 - 5*t. Let p be u(-8). Let l(j) = -6*j + 6. Is l(p) a multiple of 10?
True
Let d be -5*(3 + -1)/(-10). Suppose -21 = 5*q - d. Let l(j) = 3*j**2 - j - 4. Is 17 a factor of l(q)?
False
Suppose 4*a + 64 = 8*a. Is (115/(-20) + 1)/((-1)/a) a multiple of 12?
False
Suppose 4*d - 70 = 2*d. Suppose o + 18 = -5*g, -4*o + 4*g - 11 = -d. Suppose -o*n - 3*n + 100 = 0. Is n a multiple of 10?
True
Suppose -12*j = -2*p - 7*j + 69, 5*p + 2*j = 158. Does 3 divide p?
False
Suppose 3*k - 4*k - 4*r - 88 = 0, 0 = 4*r + 16. Let b be k/20 - 4/10. Is ((-46)/4)/(2/b) a multiple of 23?
True
Let h = 147 + -52. Let a = h - -10. Is a a multiple of 10?
False
Let x be 0/1 + 16 + 127. Let j = x - 73. Does 14 divide j?
True
Let h = 13 + -15. Let f(z) = -24*z**3 - 3*z**2 + 2. Let p be f(h). Suppose 2*b = 2 + p. Is 31 a factor of b?
False
Does 2 divide (-9)/(-45) + 648/10?
False
Let h(r) = 20*r**3 - 8*r**2 + 2*r + 12. Let a(s) = -7*s**3 + 3*s**2 - s - 4. Let c(j) = 8*a(j) + 3*h(j). Does 37 divide c(3)?
False
Suppose 2*p = 2*c + 3*c + 659, 0 = p + 4*c - 349. Is p a multiple of 15?
False
Let q(r) = -11*r - 77. Suppose 264 - 220 = -2*g. Is q(g) a multiple of 11?
True
Let g(a) = a - 5. Let c be g(8). Let w(o) = 4*o - 9. Let i be w(c). Suppose -i*y - 3*z = -40 + 16, 20 = y - 2*z. Does 12 divide y?
True
Let w(g) = -8*g**2 - 6*g + 29. Let d(b) = -23*b**2 - 17*b + 87. Let f(n) = -4*d(n) + 11*w(n). Is f(-7) a multiple of 17?
True
Let k(g) = 3*g + 23*g**2 - 17*g**2 - g**3 + 3 + 6. Is k(6) a multiple of 8?
False
Is 3 a factor of (-33)/(-99)*((0 - 0) + 177)?
False
Suppose -7 = 3*v - 1. Let h be 1 + (-2 - 1 - v). Suppose -5*z + 13 + 57 = h. Is z a multiple of 14?
True
Suppose 2*w - 22 = 3*u - 2*w, -5*u + 3*w - 33 = 0. Let k(j) = 4*j - 4 + j**2 + j**2 + 0*j**2. Does 22 divide k(u)?
True
Suppose 14 = -4*c - 2. Is (1 - 0)*(95 - c) a multiple of 13?
False
Suppose -h - 16*s + 561 + 775 = 0, 2*s = -2*h + 2792. Is h a multiple of 25?
True
Let y(n) = -n**3 + 5*n**2 - 4*n + 1. Let b be y(3). Suppose -3*r = -b - 8. Suppose 0 = r*q - 2*q - 30. Does 5 divide q?
True
Let u = 1729 + -449. Does 38 divide u?
False
Is 2 a factor of 8 + (13 - -8 - 6)?
False
Suppose 10*k - 14 = -b + 6*k, -3*b = -4*k - 58. Does 6 divide b?
True
Let i(q) = 27*q - 77. Does 72 divide i(8)?
False
Let y(z) = z**2 - 11*z + 12. Let k be y(10). Let r(h) = 68*h**2 - 6*h + 3. Does 11 divide r(k)?
False
Let p = 913 + -99. Is p a multiple of 61?
False
Let i(r) = r**2 - 7*r. Let o(x) = -3*x**2 + 20*x - 1. Let w(t) = -7*i(t) - 2*o(t). Suppose -4*q - 3*m = -13, 5*q + 4*m - m - 20 = 0. Is 5 a factor of w(q)?
False
Suppose -3*s + 5*n - 1 = 0, 8*s - 9*s + 1 = -n. Suppose 2*q + 338 + 400 = 3*l, -4*q + 756 = s*l. Is l a multiple of 8?
True
Suppose -277*l + 282*l = -5*t + 14505, -t + 2916 = -4*l. Is 88 a factor of t?
True
Let u = -1517 + 1935. Is 2 a factor of u?
True
Let d = -554 + 741. Is d a multiple of 14?
False
Let r be 9665/(-15) - (-3)/9. Is (r/(-21))/((-4)/(-6)) - -1 a multiple of 15?
False
Suppose -3*t = -2*t - 2. Suppose 97 = t*z + i, -4*i = -3 - 1. Let g = z + -30. Does 18 divide g?
True
Suppose 4*u - 39 = -3*n + 81, 0 = 3*u - 3*n - 69. Suppose -8*l - u = -11*l. Does 9 divide l?
True
Let v(s) = -s**3 + 11*s**2 + 15*s + 2. Let o = 40 + -36. Suppose -o*x + 23 + 25 = 0. Does 8 divide v(x)?
False
Suppose 5*b - 20 = 4*b. Suppose 0 = -4*p + 4*o + b, -5*p + 2*o = -3 - 25. Let d(z) = z**3 - 6*z**2 + 8*z + 2. Is 14 a factor of d(p)?
False
Let s = 67 + 463. Is s a multiple of 4?
False
Let d(b) = b**3 + 7*b**2 - b. Let j be -4*(-5)/(40/(-14)). Let l be d(j). Is 24 a factor of 1156/28 + (-2)/l?
False
Suppose m = 4 + 41. Is m even?
False
Suppose -2*b - p + 295 = 0, 14*p = 10*p + 12. Does 19 divide b?
False
Let x = -10 + 22. Is 5 a factor of (-28)/x*-3 - 2?
True
Let o = -56 + 14. Let r = o + 66. Is 8 a factor of r?
True
Suppose 4*p + p + 20 = 0. Is 41 a factor of (2 + -6 - -90) + p?
True
Suppose -2*a + 4*t = 94, -4*a = 5*t - 39 + 214. Let i be 1/(a/(-21) - 2). Let m = 17 - i. Is m a multiple of 5?
True
Suppose 277 + 73 = 2*c. Let v = c - 119. Does 7 divide v?
True
Suppose 0 = -o - 3*k, -o + 2*o - 3*k = 6. Let v = 34 + -35. Let i = o - v. Is i even?
True
Let j = -98 + 288. Let s = j - 107. Suppose -2*y + s = -5*u, -2*y = -0*u + 2*u - 90. Is y a multiple of 18?
False
Suppose -4*o + 3148 = 2*v, -12*o + 3965 = -7*o - 5*v. Is 26 a factor of o?
False
Let m = -21 - 0. Let k = m - -37. Suppose 12*p = k*p - 168. Does 5 divide p?
False
Let j = -5 - -9. Suppose 0 = -j*k - 2*k + 276. Is k a multiple of 21?
False
Let k(z) = -z**3 + 11*z**2 + 22*z + 56. Is k(-7) a multiple of 28?
True
Let f = 27 - 13. Does 17 divide f/(-63) - 308/(-9)?
True
Let a = 887 + -507. Is 12 a factor of a?
False
Suppose 663*r - 660*r - 4137 = 0. Is 12 a factor of r?
False
Let u(f) = f**3 - 1. Let m be u(1). Suppose m = 3*g + g. Let r(k) = k**2 - k + 8. Is 4 a factor of r(g)?
True
Let u be (-368)/(-69)*705/4. Suppose -5*w - g = -1179, 0*w - 4*w = 4*g - u. Is w a multiple of 20?
False
Let z(f) = 2*f**2 - 6*f + 7. Let j be z(7). Is 19 a factor of (-27)/j - (-1053)/7?
False
Suppose -42 = 3*p - 15. Let w be 6/p*1*-3. Let m(y) = 7*y**2 - y + 1. Does 27 divide m(w)?
True
Suppose 0 = -2*t + 2*p + 128, 6*p = -5*t + 5*p + 344. Is 4 a factor of t?
True
Let v be 7/42 + 7/(-6). Let b be v/(-1 - (-4)/6). Suppose 2*f - b*f = -25. Is f a multiple of 15?
False
Let a = 1524 + -1509. Does 15 divide a?
True
Let s(f) = -31*f + 145. Does 87 divide s(-29)?
True
Let q(l) = l**3 - 6*l**2 + l + 5. Suppose m = -3*i, 3*i + 5 + 4 = 2*m. Suppose -5*f - 8 + 58 = -4*u, 3*u = -2*f - m. Is 3 a factor of q(f)?
False
Let b(j) = 3*j**2 + 0*j + 4 + 0 - 6*j. Suppose 5*t - 4*t = 2. Is 4 a factor of b(t)?
True
Let h = 613 + -280. Is h a multiple of 9?
True
Let n = 61 - 61. Suppose a + n*a = 122. Does 11 divide a?
False
Let y(d) = d**3 - 11*d**2 + 3*d + 12. Let v be y(9). Let i = -4 - v. Is 13 a factor of i?
False
Is 16 a factor of (16/6)/((-74)/(-3552))?
True
Let d(z) = -z. Let r(c) = c**2 - 11*c + 4. Let m(x) = 3*d(x) - r(x). Let u be m(7). Suppose 5*k - 4*s - 194 = 0, -u*k - 2*s + 111 = s. Does 7 divide k?
False
Suppose -4*g - 3*c = -215, 2*g - 127 = 2*c + 3*c. Suppose 0*k - 4*k + g = 0. Does 7 divide k?
True
Let n = -10 + 23. Let p = n - 8. Suppose -4*s - 42 = -p*s. Is s a multiple of 14?
True
Let i = 156 + -103. Is 53 a factor of i?
True
Suppose 2 = -3*i + 8. Suppose 0 = 4*s + 3*b - i*b - 253, -5*s = 5*b - 305. Is s a multiple of 25?
False
Let t(s) = 2*s**2 + 2*s - 16. Let b = 53 + -60. Is 8 a factor of t(b)?
False
Is 340*(-24)/(-300)*5 a multiple of 17?
True
Let c(l) = 76*l + 60. Does 15 divide c(0)?
True
Let l = 1117 - 990. Does 3 divide l?
False
Let u be (11152/4 - 4/1) + 0. Suppose 11*c = 23*c - u. Is 29 a factor of c?
True
Let z be 2/15 + 146/30. Suppose -4*r = -2*c + 470, -3*c - 5*r = -z*c + 468. Is 14 a factor of c?
False
Let x(o) = -49*o + 42 + 6 + 37*o. Is x(-10) a multiple of 24?
True
Suppose 1436 = -30*w + 9026. Is w a multiple of 4?
False
Suppose 5*j + 4*f = 11580, 22*f - 10 = 24*f. Is 8 a factor of j?
True
Suppose -2*p + 3*j = -225, 0*p + 4*p - 2*j = 462. Suppose -2*s + s = -2. Suppose -s*k - k = -p. Does 13 divide k?
True
Let s(g) = 4*g**2 - 9*g + 11. Let l be s(5). Suppose 5*m = -4*u + l, -5*m - u + 24 = -3*m. Does 2 divide m?
True
Let i be (6 - 9)/((-1)/5). Let b be 111/i - 4/10. Suppose 4*q = -b + 51. Is 5 a factor of q?
False
Let a = 110 - 106. Suppose -a*l + 6*p - 3*p = -861, -5*l + 1081 = p. Is 19 a factor of l?
False
Suppose 4*x + 3*f - 1764 = 7*f, -x + 426 = 4*f. Is x a multiple of 6?
True
Suppose -3*u + y - 22 = 2*u, 3*u = 3*y - 18. Does 15 divide (u - -31)/(((-60)/32)/(-5))?
False
Is 29 a factor of 6/39 + 9042/39?
True
Let s = 1618 - 966. Does 68 divide s?
False
Let c(y) = -y**3 + 20*y**2 - 24*y - 40. Is c(18) a multiple of 13?
False
Suppose 0 = -0*a + a - 6. Let p(f) = f**3 - 5*f**2 + 14. Is p(a) a multiple of 25?
True
Let d be (-212)/(-10)*(-55)/(-22). Suppose -m + d = -4. Does 19 divide m?
True
Let o be 420/(-2) - 0/(-8). Is 9 a factor of (12/14)/(-2*5/o)?
True
Let j = 115 - 33. Let f = 