pose 2*g + 4 = 0, 4*f - v*f + g + 22 = 0. Let m = f + 23. Is m a multiple of 13?
True
Suppose 0 = 6*f - 90 - 366. Is 12 a factor of f?
False
Let s = 13 - -21. Does 14 divide s?
False
Let l be (35/(-4))/((-1)/(-4)). Let q = -13 - l. Is 22 a factor of q?
True
Let u(j) = 31*j + 4. Let l be u(-2). Let m = 96 + l. Is m a multiple of 20?
False
Let v(d) = -2*d**2 + 3*d + 2. Let j be v(3). Let h = 11 + j. Suppose 3*m - 84 = -4*l + 4, 4*m + 88 = h*l. Is 6 a factor of l?
False
Let b be 1/(-3) + (-21)/(-9). Suppose k = -2*k - b*l + 29, 14 = k + 5*l. Is k a multiple of 3?
True
Is -3 + -1 + (19 - 3) a multiple of 3?
True
Let x be (-2)/3 - 85/(-15). Suppose v - x*v + 104 = 0. Is v a multiple of 12?
False
Let k(v) = v**3 + 5*v**2 + 2*v + 2. Let c be k(-4). Is 12 a factor of (48/c)/((-9)/(-45))?
True
Let q = 100 - 56. Does 22 divide q?
True
Let d = 9 - -3. Suppose d = 5*s + 5*z - 3*z, 0 = -z + 1. Suppose -6*f = -s*f - 8. Does 2 divide f?
True
Let d = 0 - -16. Does 8 divide d?
True
Let a = -26 - -10. Let x(w) = -2*w**2 - 5. Let g be x(-4). Let u = a - g. Does 10 divide u?
False
Let p(j) = -8*j - 3. Let x be p(8). Let k = x + 105. Is 12 a factor of k?
False
Let j be ((-24)/10)/((-18)/120). Let m be (6 - 2) + 0 + 0. Suppose 0 = -m*b + 128 - j. Does 14 divide b?
True
Let u = 134 - 89. Is 13 a factor of u?
False
Suppose 2 = -3*k + 11. Suppose -5*o + 228 = -4*n, 2*o + 7*n - 108 = k*n. Is 16 a factor of o?
True
Suppose -2*k - 2 = 0, 3*k + 157 = 5*c + 6*k. Is 8 a factor of c?
True
Let r(b) = -2*b + 25. Is 19 a factor of r(0)?
False
Let u = -1 + 99. Suppose 0*v + 2*q + u = -4*v, -v - 42 = 4*q. Is 15 a factor of (-20)/(v/6 + 3)?
True
Suppose 5*f = 19 - 4. Let q(d) = -5*d**2 + 0*d**f + d**3 - 2*d**3 + 4*d. Does 6 divide q(-6)?
True
Let j be (-2)/5 + 294/(-15). Let r = -45 + 1. Let y = j - r. Is y a multiple of 8?
True
Let a = 18 + -8. Does 3 divide a?
False
Does 9 divide (-2 - (-2 - 74)) + 4?
False
Let j(n) = n**3 + 6*n**2 - 12*n - 9. Does 13 divide j(-7)?
True
Suppose -2*h = 3*r - 22, -r - h + 18 = -3*h. Is 10 a factor of r?
True
Let f = 85 + -55. Is f a multiple of 30?
True
Suppose -3*y + 0*y = -6. Let d be (y*3)/((-3)/(-2)). Suppose -2*c - 3*c + 4*n + 55 = 0, d*c - 55 = n. Is 13 a factor of c?
False
Suppose 0 = -c - 5*v + 37, -2*c + 127 = c - v. Is 11 a factor of c?
False
Suppose 2*z + 17 = x, 4*x - 43 = -5*z + 64. Does 11 divide x?
False
Let s be -1 - (1 - (1 + 2)). Is 38/4 - s/2 a multiple of 3?
True
Let i(p) = 3*p - 12. Is i(9) a multiple of 8?
False
Let p(l) = l**2 + 8*l + 3. Let f be p(-6). Let k = f - -25. Is 12 a factor of k?
False
Suppose -5*t = 5*j - 2*j - 360, 0 = 5*j. Is t a multiple of 9?
True
Let z(c) = -c + 2. Let u be z(-3). Let l(p) = -p**2 + 5*p + 4. Let g be l(u). Suppose 18 = g*r - 14. Does 5 divide r?
False
Suppose -14 = -d + 2*k, -5*d + 45 = k - 6*k. Suppose s + 4*s - 30 = 2*p, -d*p = 5*s. Is 2 a factor of s?
True
Suppose 0 = -6*j + 4*j + 20. Suppose 5*z - x = -j, -x = 2*z - 2*x + 7. Is 11 a factor of (33/6)/(z/(-4))?
True
Suppose 0*c - 64 = -4*c. Does 4 divide c?
True
Suppose -14 = -0*v + v. Let w(l) = l - 4. Let d be w(-4). Let y = d - v. Does 6 divide y?
True
Let n(x) = x**3 - 6*x**2 - 2. Let t be n(6). Does 2 divide -12*t/(-4)*-1?
True
Let r be -2*(-4)/(8/9). Let d be (28/(-3))/(3/r). Is 6 a factor of ((-3)/2)/(2/d)?
False
Suppose 0*h - 8 = -4*h. Let a(s) = s**3 - s**2 - 2*s + 3. Let q be a(h). Is 0/((-3)/q) + 24 a multiple of 12?
True
Suppose 0*c + 3 = c. Is 3 a factor of c?
True
Let d = 349 + -161. Suppose -d = -5*i - 68. Does 12 divide i?
True
Let y = 61 + -35. Let q = y - 23. Does 3 divide q?
True
Let m(k) = 5*k - 12. Let l be m(9). Suppose -4*f = -3*n + 38, 2*n - l = -0*f - 5*f. Is 7 a factor of n?
True
Let s(c) = 49*c - 1. Does 15 divide s(2)?
False
Let n = 3 - 0. Suppose 7*t - 20 = n*t. Is 5 a factor of t?
True
Suppose o + 3 - 13 = 0. Is (o - 1) + -2 + 5 a multiple of 12?
True
Let z = 24 + -21. Suppose -5*f - 235 = -0*t - 5*t, 195 = 4*t + z*f. Is t a multiple of 12?
True
Let b(h) = -h**3 - 7*h**2 - 2*h - 5. Let q be b(-7). Let c = q + -6. Is c a multiple of 2?
False
Let f(c) = -c**3 + 13*c**2 + 11*c - 11. Is 35 a factor of f(13)?
False
Does 5 divide -1 - (-19 + -3)/2?
True
Let j(p) = 21*p - 3. Let n = 7 + -12. Let w = 8 + n. Does 18 divide j(w)?
False
Suppose 0 = 5*d + 4*x - 962, -3*x + 292 + 287 = 3*d. Is ((-9)/5)/((-57)/d) even?
True
Suppose -3*s + 47 = 5. Is s a multiple of 7?
True
Suppose 2*x - 8 + 2 = 0. Suppose g - 44 = -3*l, x*l = -4*g + l + 156. Is g a multiple of 11?
False
Suppose 0 = 2*g - 0*g + c - 29, 5*g + 4*c = 80. Does 3 divide 10/((-4)/(g/(-3)))?
False
Is 9 a factor of 9/(2/(-4) + 1)?
True
Let o be 2/(-11) + (-62)/22. Is (-50)/((-9)/o + -4) a multiple of 14?
False
Let g(b) = -4*b - 2. Is g(-11) a multiple of 21?
True
Let l(b) = -4*b + 36. Is l(5) a multiple of 4?
True
Let d be 1 + 3/3 + 3. Suppose -y - 9 = -5*c, 5*y + 10 = -5*c - d. Is 9 a factor of 24 + c*2/(-1)?
False
Suppose -5*o - 2 = 28. Let n = o - -11. Is n even?
False
Suppose x + 6 = 4*x. Is 9 a factor of 10 - x - (-1 + -1)?
False
Let u(n) = -n**3 + 5*n**2 + 2*n + 2. Let d be u(5). Let y = 11 + -7. Suppose 0 = 2*g + 4*k + 4 - d, 3*k + 5 = y*g. Is g even?
True
Let a(j) = -j**3 - 6*j**2 - 3*j - 8. Let v be a(-6). Suppose 2*x = -0*x + v. Suppose 3*r + 12 = z + 5*r, 0 = -2*z - x*r + 29. Is z even?
True
Suppose 5*q + 0*q - 10 = 0. Suppose -w = -q*b - 24, 0 = -3*w + 3*b + b + 72. Is 15 a factor of w?
False
Suppose -2*v + 4*v = 2*q - 10, 0 = 4*v. Let h(b) = -b + 6. Let i be h(q). Is (-3 - -23) + 2/i a multiple of 16?
False
Suppose -m = 4*q + 50, m - 2*q = -3*q - 65. Let r be m*1/(6/(-3)). Suppose 0 = 2*d - r - 23. Is d a multiple of 14?
False
Let t be 4*(-2 + 26/(-8)). Let j = -11 - t. Is 5 a factor of j?
True
Let r(u) = 2*u**2 + u + 3. Is 9 a factor of r(-2)?
True
Let r be 735/20 - (-3)/(-4). Does 6 divide ((-12)/9)/((-2)/r)?
True
Let i(a) = 4*a**2 - 22*a + 12. Is i(9) a multiple of 12?
False
Let d be (24/10)/3*5. Is 18 a factor of (-112)/(-20)*30/d?
False
Suppose -4*n = -5 - 31. Is n a multiple of 4?
False
Suppose 0 = -2*i - 0*i + 64. Suppose -2*k = -0*k - i. Is 8 a factor of k?
True
Let a(s) = -s**2 - 7*s + 32. Does 7 divide a(-9)?
True
Is 23 a factor of (-3 - (2 - 4)) + 89 + 4?
True
Let t = -15 + 42. Suppose -5*v + t = 2*n, -2*v + 4*v - 46 = -3*n. Is 16 a factor of n?
True
Suppose 0 = -4*l + 6*u - 4*u - 158, -2*l - 83 = 3*u. Let c = l + 66. Suppose -s - s + 51 = 5*v, -s - 2*v = -c. Is s a multiple of 14?
True
Let c(t) = 3*t**2 - 3*t + 2. Let q be c(2). Suppose 7*p - q = 3*p. Is 2 a factor of p?
True
Let v(s) = 34*s**2 + 2*s - 1. Let h(d) = 3*d**2 + 14*d. Let m(j) = 2*j**2 + 9*j. Let q(f) = 5*h(f) - 8*m(f). Let z be q(-1). Is v(z) a multiple of 16?
False
Let g(o) be the third derivative of o**4/24 + 5*o**3/3 - o**2. Does 17 divide g(7)?
True
Suppose -480 = -13*j + 8*j. Is 8 a factor of j?
True
Let b(c) = 2*c**2 + 9*c + 6. Is 31 a factor of b(-8)?
True
Suppose -m = 6*m - 329. Is 10 a factor of m?
False
Suppose 0*i - 4*i = -28. Let u(m) = m + 9. Is u(i) a multiple of 7?
False
Suppose 158 = 5*k + 2*i, 0 = 4*k - 0*i + 4*i - 136. Suppose 5*f - k + 5 = 0. Suppose -5*z + 31 - 6 = f*g, -4*g - 3*z = -19. Is 2 a factor of g?
True
Let z be (-1)/1*18/3. Let t(y) be the first derivative of -5*y**2/2 - 2*y + 1. Does 12 divide t(z)?
False
Let f = 29 + -56. Let l = f + 45. Is 6 a factor of l?
True
Suppose 0 = -4*l + n + 33, 0*n - 3 = -4*l - 5*n. Suppose 2*m + 4*b = -1 + l, 2*m - 5 = -5*b. Is 3 a factor of m/4*(4 + 0)?
False
Suppose 4*t = -t + 25. Suppose -4*w + 25 = -3*u, -w = 3*w - t*u - 15. Is 10 a factor of w?
True
Let k = -9 - -16. Is 31 + -2 + k + -6 a multiple of 10?
True
Suppose 0*s = -5*s + 300. Is 17 a factor of s?
False
Let o = -31 + 70. Suppose 9 + o = i. Does 20 divide i?
False
Let n be 0 + (17 - 0) + 2. Suppose 29 = 5*k - p, 4*k + p - n = 6. Is 6 a factor of k?
True
Let f be 95/25 + 2/10. Suppose a = -n + 62, 0*a - 255 = -f*n + 3*a. Suppose 4*b - n = b. Is 6 a factor of b?
False
Is 24 a factor of (-7356)/(-44) - 2/11?
False
Suppose -2*g - 3*m + 12 = -1, -m = -3*g + 14. Suppose 76 = g*z - 74. Suppose a - 21 = n, 3*a = a - 2*n + z. Is 18 a factor of a?
True
Is 7 a factor of 388/7 - 3/7?
False
Let m be (-16)/20 + (-483)/15. Let w = m + 89. Is w a multiple of 13?
Fals