3, f - 4*d = 21. Does 33 divide f?
True
Suppose 0 = 4*x + 3*h - 2*h - 249, -4*h + 203 = 3*x. Is x a multiple of 19?
False
Let t be 13/65 + (-58)/(-10). Let q = 16 + t. Does 11 divide q?
True
Does 9 divide (-128)/(-2) - (4 - 3)?
True
Suppose -2*b + 1 - 3 = -2*a, -4*a = 3*b - 11. Suppose o = -y + 1, -a*y = -3*y + o + 11. Let j = y + 6. Is j a multiple of 5?
False
Suppose -22 + 172 = 5*n. Suppose 2*d - 3*b - n = 0, 5*d + 5*b - 47 = 3. Suppose -3*v + v = -d. Is 6 a factor of v?
True
Suppose -4*i = -3*i + 40. Let h = -22 - i. Does 9 divide -5*(-7)/(35/h)?
True
Let o(c) = c. Let q(z) = -4*z**3 - 2*z**2 + 4*z - 2. Let r(w) = -w**3 + w**2 + w. Let x(m) = q(m) - 5*r(m). Let p(a) = -5*o(a) - x(a). Is p(6) a multiple of 7?
True
Suppose 3*h - 7*h = 320. Let c = -42 - h. Is c a multiple of 23?
False
Suppose 5*p = 3*n + p - 109, 2*n - 3*p - 71 = 0. Suppose -5*a = n - 118. Is a a multiple of 4?
False
Suppose -3*v = 2*v - 2*t - 510, 124 = v + 4*t. Is v a multiple of 12?
False
Let z be 3 + 2 - (2 - -2). Suppose -2*k + z + 13 = 0. Is k a multiple of 6?
False
Let c(z) = z**3 + 6*z**2 + 5*z - 4. Let f be c(-4). Let r = f - -112. Suppose 3*b - 8*b + r = 0. Is b a multiple of 9?
False
Let b = 2 + 3. Suppose -41 = -4*u + b*q, -6*q = -2*q + 4. Is u a multiple of 3?
True
Suppose 67 = 5*u - 48. Let g = u + 13. Does 12 divide g?
True
Let l(p) = p + 3. Let a be l(4). Let s = a + -4. Suppose -s*i - 2*o + 5*o + 33 = 0, 0 = -5*i - o + 61. Does 12 divide i?
True
Let r = -9 + 48. Is r a multiple of 6?
False
Let i = 8 - 7. Let q(p) = 26*p. Is 17 a factor of q(i)?
False
Let y(t) be the third derivative of t**5/30 - t**4/8 - 2*t**3/3 - t**2. Let g be y(3). Let w(r) = 5*r - 6. Is w(g) a multiple of 8?
False
Let v(p) = -p**3 - p**2 - 5*p - 4. Let y(x) = -x**3 - x**2 + x - 1. Let f(w) = -v(w) + 2*y(w). Is 22 a factor of f(-5)?
False
Let g(j) = 2*j + 5. Let b(u) = 4*u + 11. Let q(s) = 2*b(s) - 5*g(s). Let c be q(-6). Suppose 0*r + 3*r = c. Is r even?
False
Let r = 255 + -132. Is r a multiple of 19?
False
Is -18*3*3/(-2) a multiple of 12?
False
Suppose 4*w - 6 = 2. Let g be 3 + 5/(5/w). Suppose g*f = 4*f + 13. Is 5 a factor of f?
False
Suppose -6*q = -614 + 140. Does 14 divide q?
False
Does 4 divide 208/(-6)*(-6)/4?
True
Let z = -12 - -24. Does 6 divide z?
True
Let l be (-2)/(5/(170/(-4))). Let r = 38 - l. Is 7 a factor of r?
True
Suppose -a - 2*j = -276, -3*a + 235 = 5*j - 595. Is 20 a factor of a?
True
Is (-3 - -6) + 26 + 4 a multiple of 11?
True
Suppose -z + 122 + 202 = 4*p, 3*z - 332 = -4*p. Suppose -p - 16 = -4*w. Does 9 divide w?
False
Suppose -144 = -2*r - r. Let q = r + -9. Is q a multiple of 18?
False
Suppose q + 2*q - 5*b = -4, 0 = 2*q - 5*b + 6. Let d be (-2)/(2/(-2)) + q. Suppose 10 = -d*n + 154. Does 16 divide n?
False
Suppose -5*t - 58 = -2*s + 46, 4*s + 2*t = 184. Is 34 a factor of s?
False
Let v(j) be the second derivative of -7*j**4/12 - 2*j**3/3 - 5*j**2/2 - 2*j. Let c be v(-4). Let d = -51 - c. Does 17 divide d?
False
Let w(f) = f**3 + f**2 - f + 4. Does 11 divide w(2)?
False
Let x = -33 - -63. Is 10 a factor of x?
True
Let a = 152 - 96. Is 14 a factor of a?
True
Let s(y) be the third derivative of y**6/120 - y**5/20 + y**4/24 - 5*y**3/6 + 2*y**2. Let x be s(5). Suppose -4*o - o + x = 0. Is o a multiple of 4?
False
Let m(h) = 6*h + 4. Suppose 3*z - 11 = 13. Suppose z = 3*w - 1. Is 11 a factor of m(w)?
True
Suppose 0 = 3*a + f - 451, 3*f + 117 = -4*a + 715. Does 31 divide a?
False
Let d be 0/2 + (0 - -5). Let f be ((-3)/(-2))/(3/18). Suppose -d*y - f = -49. Does 4 divide y?
True
Suppose -3*g + 5*m = -10 - 72, 4*m - 75 = -5*g. Let i(t) = -7*t - 1. Let p be i(-6). Suppose g + p = 3*j. Is j a multiple of 13?
False
Suppose 0 = -4*t + 5*t + 3*k - 26, -2*t + 47 = 5*k. Let x = 21 - t. Is x a multiple of 10?
True
Let w be (-72)/((-1)/(-2)*-2). Let o = w - 37. Let z = o - 22. Is 7 a factor of z?
False
Let v = 38 + -59. Is 99/2 + v/14 a multiple of 16?
True
Let q(n) = -n + 2. Let a be q(-2). Suppose -3*u = -y - 25, 0*u - 3*y = -a*u + 35. Does 8 divide u?
True
Let c = -2 - -11. Is 2 a factor of c?
False
Let i(k) = -k**3 - 4*k**2 - 5*k - 3. Let j be i(-3). Suppose 4*p = -12, -j*p + 0*p = 3*x. Does 7 divide 62/3 - 2/x?
False
Let k(r) = 10 - r - r + r. Let c be k(8). Suppose 5*s - 24 = c*s. Is s a multiple of 4?
True
Let r(l) = -l**3 - l**2 - l + 1. Let w be (-1 + 3/2)*2. Let s be (-1)/(w + 6/(-9)). Does 11 divide r(s)?
True
Let v(b) be the second derivative of 2*b + 1/4*b**4 + 1/2*b**2 + 2/3*b**3 + 0. Is 21 a factor of v(-5)?
False
Let u(d) = d**3 - 6*d**2 + 1. Let g be u(6). Let s = 6 - g. Suppose s*f - 4*f = o - 7, -4*o + 46 = 5*f. Does 9 divide o?
True
Suppose -3*q = -4*n + 666, 6*n - 662 = 2*n + q. Does 33 divide n?
True
Let h = -10 - -20. Is (-4)/h - 310/(-25) a multiple of 5?
False
Let a(n) = 3*n - 8. Let x be a(6). Let m = 13 + -10. Is 4 a factor of 15*((-26)/x + m)?
False
Let o(b) = -45*b - 2. Let n be o(-2). Suppose 0*t - t + 2*x = 26, 4*x + n = -5*t. Does 5 divide (-3)/2*t/6?
True
Let q = -9 - -14. Let a = q + -7. Let p(z) = -16*z. Is 12 a factor of p(a)?
False
Let s = 0 + 195. Is s a multiple of 25?
False
Suppose -5*g = 5 - 50. Let j = g + -2. Suppose -2 = m - j. Is m even?
False
Let y(b) = b**2 + 7*b + 3. Let v be y(-3). Is 4 a factor of ((-60)/v)/((-2)/(-3))?
False
Let a be -1 - 1 - (-9 + 7). Suppose a = 5*k + k - 306. Does 17 divide k?
True
Let z = -60 + 89. Let l = -1 + 1. Suppose l = -3*q + 2*j + 22, -4*j - j - z = -q. Is q a multiple of 3?
False
Is 5 a factor of 10/4*(-4 - -6)?
True
Let w(t) = 12*t + 2. Let k(l) = l**3 - 7*l**2 - 9*l + 10. Let q be k(8). Is 13 a factor of w(q)?
True
Let x(b) = 4*b**2 - 2*b + 4. Let r(f) = 5*f**2 - 2*f + 3. Let g(j) = 4*r(j) - 3*x(j). Let q be (-32)/14 - (-6)/21. Is g(q) a multiple of 18?
True
Suppose -4*f + 4*n + 24 + 20 = 0, 5*n + 31 = 2*f. Let c(l) = l**3 - 9*l**2 + 10*l - 8. Is c(f) a multiple of 8?
True
Let s(r) = 4*r**3 - 2*r**2 - 2*r + 1. Let t be s(3). Suppose 2*q + 40 = 2*w, 4*w - 3*q = -0*w + t. Does 10 divide w?
False
Let h = 63 - -5. Is h a multiple of 17?
True
Let g(w) = -w**3 - 6*w**2 - 4*w - 4. Let n(c) = -c**2 - 5*c. Let p be n(-6). Is g(p) a multiple of 20?
True
Suppose 3*y = 1 - 10. Is (-74)/(-8) - y/(-12) a multiple of 9?
True
Suppose 6*z = 8*z - 94. Suppose -3*s + z = -4*v, 5*s + 3*v = 59 - 0. Let l = s - 8. Does 5 divide l?
True
Let d = -101 + 185. Let t = d + -46. Is 9 a factor of t?
False
Let u = 6 + -2. Suppose -p + 13 = u*g - 0*g, 0 = -g + 2*p + 10. Suppose -4*i + 32 = -5*l, g*i = -4*l + 10 + 58. Does 6 divide i?
False
Let k(y) = -y**2 + 11*y - 5. Let p = 15 - 8. Does 8 divide k(p)?
False
Let j = -50 + 270. Does 10 divide j?
True
Let d(s) = -7*s**2 - 2*s - 3. Let g be d(-2). Suppose -4*t = -9*t + 280. Let h = t + g. Is 18 a factor of h?
False
Let g(o) = 2*o**2 + 10*o - 5. Does 23 divide g(-7)?
True
Suppose 4*y - 2*x + 11 = -11, 3*x = 4*y + 19. Let o(d) be the second derivative of -d**5/20 - 2*d**4/3 - 4*d**3/3 - d**2/2 + 2*d. Does 6 divide o(y)?
True
Suppose 9 = 2*a - 61. Let h = -8 + 13. Let s = h + a. Does 13 divide s?
False
Let x(j) = j**3 + 7*j**2 - j + 2. Let z be x(-7). Does 15 divide (-18)/4*(-60)/z?
True
Let n = 38 - -30. Does 9 divide n?
False
Let d be 2/4 + 214/4. Let b(c) = -c**3 - 4*c**2 - 4*c - 10. Let t be b(-4). Suppose -9*i + d = -t*i. Is 18 a factor of i?
True
Suppose 3*h = 15 - 3. Suppose -12 = -2*m + 2*g, h*m - 5*m - 3*g + 2 = 0. Is m a multiple of 5?
True
Let n(p) = -p**3 + 9*p**2 - 8*p - 9. Let z be n(7). Suppose 4*y - z = 51. Is 21 a factor of y?
True
Suppose -2*h + 8 = 4*p, 3*p = 2*p + 3. Let l = h + 34. Does 18 divide l?
False
Is 67 - 4*(5 + -4) a multiple of 43?
False
Suppose -2*m = 8, -22 = 3*y + 4*m - 111. Let t = -22 + y. Suppose -2*f = -t + 1. Is f a multiple of 6?
True
Suppose 0*t + 2*t + 4*v + 10 = 0, 5*v + 8 = -4*t. Let m(f) = 111*f**2 + 1. Let r be m(-1). Suppose 3*n + 0*n - l - r = 0, -2*l = t*n - 118. Is 20 a factor of n?
False
Suppose q + 2*q = 378. Is 18 a factor of q?
True
Suppose 0 = -3*g - 0*f + f + 6, 3*f = g - 2. Suppose -3*q - g*q = -30. Does 12 divide -6*(-2 + q)*-1?
True
Is (16/6*-2)/((-4)/18) a multiple of 6?
True
Let d(o) = -o**3 - 8*o**2 - 10*o - 1. Let g be d(-7). Suppose -5*j - g = 0, 0 = -p - 3*j + 33 - 9. Is p a multiple of 12?
True
Suppose j + 4*j 