. Is i a multiple of 4?
True
Suppose -30 = -3*i + 3*g, -2*i + g + 15 = -0. Suppose 0*y = -i*y + 90. Is y a multiple of 16?
False
Suppose -3*a = -5*n + 35, a = 2*a. Let o = 3 - 4. Is 3 a factor of 0 + (n - 0/o)?
False
Let a = 41 - -43. Let j = 43 + 12. Let q = a - j. Is 13 a factor of q?
False
Suppose -4*g - 2*n + 70 = -40, -2 = 2*n. Does 14 divide g?
True
Let b(c) = c**3 - 4*c**2 + 4*c - 1. Does 7 divide b(5)?
False
Let x be 0*(3 - (-4)/(-2)). Suppose 0 = -3*k + c - 7, -2*k + 2*c = -x*k + 10. Let t(o) = -9*o**3 - o**2 - o - 1. Is 4 a factor of t(k)?
True
Let y(v) be the first derivative of -2*v**2 - 10*v + 5. Does 5 divide y(-7)?
False
Suppose 4*c = 2*n + 86 + 2, -n - 4 = 0. Let r = c + -2. Does 18 divide r?
True
Let d be -64*((-15)/4 - -3). Let b = d + -15. Is 9 a factor of b?
False
Suppose 5*g + 14 = -2*d, -5*g - d - 3*d - 18 = 0. Let y be (2 - 30/g)*-1. Let i = 25 + y. Does 5 divide i?
False
Let l(y) = -4*y**3 - y**2 - 6*y - 45. Let b(i) = -5*i**3 - i**2 - 7*i - 45. Let w(s) = 5*b(s) - 6*l(s). Is 15 a factor of w(0)?
True
Let o(s) = -s**2 + 17*s - 24. Is o(11) a multiple of 14?
True
Let b = -15 + 39. Is b a multiple of 8?
True
Suppose -5*x = 46 - 16. Let j(u) = u + 1. Let m(p) = -p**2 + 2*p + 5. Let s(r) = 5*j(r) - m(r). Is s(x) a multiple of 7?
False
Suppose 0 = 5*t + 2*k - 340, -t - k = -2*t + 75. Suppose 3*u = 2*z + t, -3*u - 7*z + 3*z = -76. Does 8 divide u?
True
Suppose 4*x = 5*v + 8, 0 = 3*v + 2*x - 5*x + 6. Suppose v = -o - 2. Is 124/6 - o/(-3) a multiple of 9?
False
Let g = 73 + -38. Does 3 divide g?
False
Suppose 23 - 119 = 2*q. Let i = 79 + q. Does 8 divide i?
False
Is 852/10*5/2 a multiple of 13?
False
Let u(n) = 2*n - 8. Let r(d) = -d + 3. Let z(w) = w**3 + 2*w**2 + 3. Let x be z(-3). Let l be r(x). Is u(l) a multiple of 7?
False
Is 13 a factor of (1 + -40)*6/(-6)?
True
Let a = 209 - 121. Is 8 a factor of a?
True
Let y = 8 - 6. Let l(u) = -2*u**2 + 2*u**2 - 2*u + 6*u**2 - 2*u**y. Is l(2) a multiple of 7?
False
Suppose i - 5*i = -72. Is i a multiple of 18?
True
Let o = 17 + 6. Does 23 divide o?
True
Is 17 a factor of 207/(-12)*(-48)/18?
False
Suppose j - 24 = -131. Let d = j - -162. Suppose -5*n + 45 = -d. Does 8 divide n?
False
Let s(h) be the third derivative of -h**4/8 - 5*h**3/6 - h**2. Let z(c) = 3*c + 4. Let x(l) = 6*s(l) + 7*z(l). Is 11 a factor of x(8)?
True
Let y(n) = -7*n - 18. Is y(-6) a multiple of 4?
True
Does 43 divide (-1650)/(-8) - 75/(-100)?
False
Is 15 a factor of 104/13*(-17)/(-4)?
False
Suppose -228 = 9*u - 13*u. Does 14 divide u?
False
Let m = 8 - 4. Let x = m - -58. Is 21 a factor of x?
False
Let z be (-2 - 1)*(-3)/(-3). Let m(s) = -4*s - 4. Let o be m(z). Suppose 4*f + 0 - o = 0. Does 2 divide f?
True
Suppose 0*a - a + 196 = 0. Let m be -5 + 4 + a/2. Let d = m + -64. Is 11 a factor of d?
True
Let l(y) be the second derivative of -2*y**3/3 + y**2/2 + y. Let h = -3 + 1. Is l(h) a multiple of 5?
False
Let o(y) = y**3 + y**2. Let d(g) = g**3 + 3*g**2 + 4*g. Let c(h) = -d(h) + 2*o(h). Let f(i) = -i**3 + 3*i + 2. Let b be f(-2). Is 16 a factor of c(b)?
True
Let t = 177 - 81. Is 24 a factor of t?
True
Let z = -1 + -7. Let d(q) = -q**3 - 9*q**2 - 10*q + 6. Is d(z) a multiple of 15?
False
Let q be (3 - (-2 + -3))/(-1). Is 16 a factor of 4/(-16) + (-386)/q?
True
Let s(m) = 9*m - 3. Let i be (1/(-2))/(2/(-16)). Let p be s(i). Suppose 11 = -2*n - 2*j + 53, 2*n = -5*j + p. Does 9 divide n?
False
Let g be 26/4 + (-4)/8. Let z(o) = -6*o**3 + 6*o**2 + 8*o + 7. Let d(l) = -7*l**3 + 6*l**2 + 9*l + 8. Let m(k) = -5*d(k) + 6*z(k). Is 10 a factor of m(g)?
True
Suppose 5*t - 3*m = 582, 244 = 2*t - 0*m - 4*m. Is t a multiple of 12?
False
Let y(d) = d**2 + 6*d - 7. Let a be y(-7). Suppose a*j + 2 = j. Suppose z + 3 = j*z, -2*z = -2*n + 6. Is 3 a factor of n?
True
Suppose 6*i - 184 = i - d, -2*d = 4*i - 152. Is i a multiple of 6?
True
Suppose 0 = k - 3*k + 92. Is 10 a factor of k?
False
Suppose -2*b + 7*b - 15 = 0. Is 2 a factor of b?
False
Suppose -3*f + 5*f - 52 = 0. Is f a multiple of 16?
False
Let x(s) = s**2 + 8*s + 13. Let g be x(-9). Let l = g - 8. Does 10 divide l?
False
Let q = -189 - -55. Let c be q/(-10) + (-8)/20. Let w = 33 - c. Is w a multiple of 12?
False
Is 17 a factor of 4 - 0 - -59 - -2?
False
Let s(g) = -2*g + 3. Suppose 0 = d - 2*d - 3. Let i be s(d). Does 7 divide 120/9 - (-6)/i?
True
Suppose 5*v = -3*c + 9, c + c = v + 6. Let t(h) = 10*h. Is t(c) a multiple of 13?
False
Suppose 5*t + 14 = u, -4*u = -t + u + 2. Does 10 divide (-114)/t - (-1 - 1)?
True
Suppose -10*o + 5 = -5*o. Let x(a) = 8*a - 4. Let l(u) = 16*u - 9. Let s(y) = -3*l(y) + 7*x(y). Is s(o) a multiple of 7?
True
Suppose -2*s - 3*s = -240. Is s a multiple of 3?
True
Let q(z) = 6*z - 1. Suppose 4*w - 4*a = 16, 3*w + 5*a + 0 = -4. Is q(w) a multiple of 10?
False
Suppose -5*z = -84 - 181. Does 18 divide z?
False
Suppose 27 = 5*a - 13. Suppose 0 = -4*s + 5*s - a. Is 5 a factor of s?
False
Let w be (6/(-9))/((-2)/15). Suppose 88 = 4*z - 2*y, w*z + y = 3*y + 109. Does 12 divide z?
False
Let n(z) = -2*z - 1 - 4*z - 2*z. Let c = -3 - 3. Is 20 a factor of n(c)?
False
Let w(n) = 9*n + 6. Is w(4) a multiple of 4?
False
Let v(r) = 2*r**2 + 17*r + 11. Does 24 divide v(-11)?
False
Let o(s) = s**3 + s**2 - s + 23. Let w = 7 - 5. Let d(l) = l - 2. Let q be d(w). Is 15 a factor of o(q)?
False
Let g(t) = -7*t + 5. Let f be g(-5). Suppose -5*v + v = -f. Is 5 a factor of (-54)/(-10) + (-4)/v?
True
Let l(p) = 9*p - 25. Is 10 a factor of l(15)?
True
Does 18 divide ((-342)/(-45) - 8) + 582/5?
False
Let x(w) = w**3 + 13*w**2 - 4*w - 16. Let b be x(-13). Suppose -2*f = -b - 4. Does 7 divide f?
False
Suppose c + 0*c = 64. Is c a multiple of 11?
False
Is 6 a factor of 28/5 - (-10)/25?
True
Suppose -k = 2, 0 = 2*n + k + 2*k - 114. Is 12 a factor of n?
True
Let z = 187 + 178. Suppose -z = 3*h - 8*h - 5*a, 2*h - 164 = 4*a. Is h a multiple of 19?
True
Let s = -8 - -11. Suppose s*n = -2*n + 135. Does 9 divide n?
True
Let u = 90 - 63. Is 15 a factor of u?
False
Suppose 0 = c - 1 - 1. Is 16 a factor of (-1 - -31) + (c - 0)?
True
Let t be (120/(-9))/(-4)*3. Suppose 3*k - 2*k - t = 0. Does 5 divide k?
True
Suppose -f + 16 = -14. Let j = 6 + -2. Suppose -t - j*a = 7, 2*t - 3*a - f = -0*t. Does 9 divide t?
True
Let z = 73 + -51. Is 11 a factor of z?
True
Let c(d) = d**2 - 6*d - 2. Let l be ((-24)/(-18))/((-1)/(-6)). Does 14 divide c(l)?
True
Let v(f) = -f**3 + 7*f**2 + f + 7. Is 14 a factor of v(7)?
True
Let y = 10 + -5. Suppose 0 = -y*d + 3*q + 101, -2*d - 3*q + 0 = -32. Is 10 a factor of d?
False
Let f be (-4)/(-6) - (-16)/12. Suppose -f*s = -6*s. Suppose s = 4*g + 3*i - 35, 5*g - 5 = 4*i - 0. Is g a multiple of 5?
True
Let d(y) be the first derivative of -y**2/2 + 7*y - 3. Is 4 a factor of d(0)?
False
Is ((-9)/2)/(1/(-2) + 0) a multiple of 3?
True
Suppose -4*c - 5*s = -102, 2*s - 132 = -5*c - 2*s. Is 14 a factor of c?
True
Suppose -b - 3*r = -143, -r - 382 = -3*b + 7. Is 27 a factor of b?
False
Suppose 16*f + 42 = 18*f. Is f a multiple of 7?
True
Let t(b) = b**2 + 11*b - 2*b**2 + 1 - 5*b + 3*b**2. Is 15 a factor of t(-5)?
False
Let y = 10 - 7. Suppose j - 120 = -y*j. Is j a multiple of 11?
False
Let l = -6 - -10. Suppose -3*f - l + 3 = -5*c, -4*f - 4 = -4*c. Does 13 divide 3 - (-34 - (c + 3))?
True
Suppose 0 = -4*l - l. Suppose l = 5*i - i - 20. Does 5 divide i?
True
Let o be (-165)/(-7) + (-15)/(-35). Suppose 2*w - 6*w + o = 0. Is w a multiple of 2?
True
Let b = 4 + 1. Suppose b = k - 0. Suppose k*t - 3*z - 33 = 33, z + 26 = 2*t. Is 8 a factor of t?
False
Let a(k) = 5*k**3 + k - 1. Is a(1) even?
False
Let k = -18 + 13. Let j(b) = -b**2 - 7*b - 6. Let m be j(k). Suppose -5*t = -m*t - 10. Is 5 a factor of t?
True
Let q = 334 + -142. Is 42 a factor of q?
False
Let s(y) = y - 2. Is s(6) a multiple of 2?
True
Suppose -243 = -3*g + 3*m, -297 = -4*g - 5*m - 0*m. Is 24 a factor of g?
False
Let v = 1 + 7. Let s = 6 - v. Let o = s + 7. Does 2 divide o?
False
Suppose -3*f + 7*b + 16 = 3*b, -75 = -5*f - 3*b. Let u = f - 4. Is 2/u + 27/4 even?
False
Suppose 5*f + 75 = 5*b, 0*b = -2*b - 5*f + 51. Is b a multiple of 6?
True
Is 4 a factor of 9/(-6) - 188/(-8)?
False
Let m = 95 + -32. Does 14 divide m + -1 + (-6)/(-2)?
False
Let z be (-2 + 2 + -1)*3. Let q = z - -3. Suppose -3*w + q + 15 = 0. I