tor of b?
True
Let c(k) = 3*k - 9. Let b be c(7). Does 15 divide b/2*66/12?
False
Let q = 132 + -79. Is q a multiple of 18?
False
Suppose -p - 5*z + 23 = 0, p - 4*z - 8 + 21 = 0. Suppose 2*b - h - 296 - 113 = 0, -h = -p. Suppose -2*q = -4*n + 144, -5*n - 3*q = q - b. Is 14 a factor of n?
False
Suppose -2*s + 3*j + 501 = 0, 4*j + 0*j = s - 248. Suppose -5*z = -2*z - s. Does 22 divide z?
False
Suppose -2*c - 3*u + 19 + 1 = 0, -3*c - 3*u = -27. Is 2 a factor of c?
False
Let q(h) = 17*h + 5. Is q(4) a multiple of 21?
False
Does 5 divide (-7)/2*(-390)/91?
True
Suppose 3*s - 5*l = -l + 206, 5*l = 3*s - 208. Is 10 a factor of s?
False
Let b = 17 + -13. Suppose b*g = g + 150. Is g a multiple of 25?
True
Let a be 0 + 1 - (0 - -1). Suppose a = 4*p - p - 72. Does 12 divide p?
True
Let p(r) be the second derivative of 17*r**4/12 + r**3 + r**2/2 - 2*r. Let y be p(-5). Does 11 divide 2/(-7) - y/(-14)?
False
Let f(o) = o**3 - 7*o**2 + 9*o + 1. Is f(7) a multiple of 34?
False
Suppose -3*c - a + 133 = 0, c - 63 = -4*a - a. Does 15 divide c?
False
Let i(j) = -j**3 - 9*j**2 + 9*j - 8. Let s be i(-10). Suppose s*x - 14 = 12. Does 9 divide x?
False
Suppose 3*z - 18 - 69 = 0. Is 21 a factor of z?
False
Let p be (2/4)/((-1)/(-8)). Let l be -7*(-33)/14*p. Suppose 3*b = -3*x - 0*x + l, 46 = 3*b - x. Is b a multiple of 8?
False
Suppose 0 = 10*u - 13*u + 135. Is u a multiple of 15?
True
Let t = 27 + -15. Is 4 a factor of t?
True
Suppose -y + 4*i - 26 = -134, -3*y + 369 = 3*i. Is 12 a factor of y?
True
Let p(u) = u - 3 + 7 + u**2 + 1 - 2. Let j be p(0). Suppose 17 = j*o + c, 4*o = -0*o - c + 23. Is o a multiple of 3?
True
Let c(f) = -6*f**3 + 2*f**2 + f. Let k be c(-3). Suppose 43 = 5*x - k. Suppose -2*j - 3*j = 20, 2*d - x = -2*j. Is d a multiple of 12?
False
Let k(h) = -h**2 - 8*h - 7. Let z be k(-6). Suppose -2*w - 2*r = r - 18, -4*w + 80 = -z*r. Does 15 divide w?
True
Let a(n) = -8*n + 15. Is a(-8) a multiple of 7?
False
Let z(q) be the third derivative of 13/3*q**3 - 3*q**2 + 1/24*q**4 + 0*q + 0. Is 13 a factor of z(0)?
True
Let p = 823 - 368. Suppose 8*w - 3*w = p. Does 27 divide w?
False
Suppose 2*r - 46 = -4*g, g = -3*r + 67 - 3. Let w = r + -1. Is 10 a factor of w?
True
Let w(r) = -r + 2. Let q be w(-3). Suppose -4*g - 2*f - 9 = -q*g, 0 = g + 5*f - 9. Is 8 a factor of (-24)/g*(-2 - 4)?
True
Let v be 4*(-1 + 2 + -3). Let s = 15 + v. Does 4 divide s?
False
Suppose j - 6 = -b, 5*j - 3*b - 26 = 4*j. Let k = j - 111. Is 10 a factor of k/15*(-4 - -1)?
True
Suppose 0 = -u - 0 + 5. Suppose -u*c - 27 = -3*k, 2*k = -4*c + c - 1. Suppose n - k*n = -78. Is n a multiple of 11?
False
Suppose -3*l + 67 = -2*i, 0*i + 145 = 5*l + 5*i. Is 5 a factor of l?
True
Let z be ((-87)/9)/((-1)/(-3)). Let k = 70 + z. Suppose 0 = 4*t - 23 - k. Is t a multiple of 8?
True
Suppose -4*b + 5*m = -22, b - 1 = -2*m - 2. Suppose -5*i = -b*i + 4. Is i/(-4)*16 + 2 a multiple of 5?
True
Let t(i) be the second derivative of -i**5/20 - i**4/3 - i**3/2 - 2*i**2 + 5*i. Is t(-4) a multiple of 8?
True
Let r(c) = -c**2 + 10*c - 6. Let g be r(7). Suppose -3*i + 3 = g, b + 3*i = -9. Suppose 7*a = 2*a - b*s + 155, -a - s = -33. Is 12 a factor of a?
False
Suppose 5*c - 10 = 0, 0 = 2*h - 0*h - c - 60. Does 8 divide h?
False
Suppose -6*d + 2174 = 572. Is d a multiple of 37?
False
Is 7 a factor of (-302)/(-6) - ((-48)/18 + 3)?
False
Let a(s) = -s - 4. Let n be a(-4). Suppose -3*w + 354 = 5*d - 90, -2*w - 4 = n. Is d a multiple of 24?
False
Let i = -5 - -25. Suppose -4*p - i = -5*q, 7 = 3*q - p - 5. Suppose -m = -q*m + 9. Is m a multiple of 3?
True
Suppose 2*k + 19 = -13. Is (-5)/(-5) + (1 - k) a multiple of 6?
True
Let v(y) = -y**2 - 3*y + 1. Let j be v(-2). Suppose -j = -4*k + 5. Suppose -k*r - r - 3*m + 99 = 0, 0 = 5*r + m - 153. Is r a multiple of 15?
True
Let y(o) = o**3 + 13*o**2 - 16*o + 22. Is y(-14) a multiple of 13?
False
Let j = 41 + 7. Is 12 a factor of j?
True
Suppose 4*f + 0*d = 3*d - 4, -5*f + 3*d = 5. Is (-64)/(0 + f) + 3 a multiple of 17?
False
Let c(r) = 10*r**2 + 2*r + 12. Is 13 a factor of c(-3)?
False
Let m = 9 - 6. Let f = 6 - m. Suppose -103 = -f*v + 2*n, -3*v - 4*n + 31 + 42 = 0. Is v a multiple of 16?
False
Let b(o) = -o**3 + o**2 + o + 7. Let w = -2 + 2. Does 7 divide b(w)?
True
Let b = 335 - 62. Is b a multiple of 26?
False
Let d(b) = -25*b - 10. Does 15 divide d(-7)?
True
Let s(w) = -5*w**2 + 3*w + 2. Let z be s(-2). Let p = z - -52. Is p a multiple of 13?
False
Suppose -200 = -6*z + 4. Does 34 divide z?
True
Suppose 0 = -4*x + 18 + 10. Is 0 - (-1 - x - 3) a multiple of 11?
True
Suppose 5*l - 2 = 4*p, -5*p + l + 6 = -2. Is ((-15)/p)/(9/(-12)) a multiple of 3?
False
Suppose 2*v = -0*v + 4. Does 3 divide (-14)/v*(1 - 2)?
False
Let v = 140 + -45. Is v a multiple of 19?
True
Let y(f) = f - 1. Let a(g) = 7*g - 3. Let z be a(2). Is 4 a factor of y(z)?
False
Is 11 a factor of ((-15)/(-6) - 2)*22?
True
Let h be 53/11 + 2/11. Suppose r = 15 - h. Let y = r - 4. Does 6 divide y?
True
Suppose -s + 2*z = 6*z + 14, -3*s - 3*z = 6. Does 3 divide s*27/6*1?
True
Suppose -3*y = -y - 4. Suppose 0 = 2*s + f - 13, 3*s + y*f - 3*f - 7 = 0. Does 3 divide s?
False
Suppose -5*q = g - 35, -4*q - 1 = -7*g + 2*g. Suppose 0 = -3*r + 4 - 31. Does 11 divide (66/r)/((-2)/q)?
True
Let o(q) be the third derivative of q**4/8 - 2*q**3/3 - q**2. Let r be o(7). Suppose 4*x - 15 - r = 0. Is 3 a factor of x?
False
Let y = 123 + -72. Does 10 divide y?
False
Let k(x) = -5*x**2 + 3*x + 8. Let b be k(-6). Does 17 divide (-2)/(-8) + b/(-8)?
False
Let h = 9 - 7. Let f be (h - 0) + (-2)/1. Suppose f = -v + 2*v - 12. Is 5 a factor of v?
False
Suppose -660 = -7*j + 222. Is j a multiple of 18?
True
Is 2/(-11) - (-3008)/88 a multiple of 31?
False
Let l = 9 - 3. Let a = l - -21. Is 9 a factor of a?
True
Let g(u) = u**2 - u + 2. Let a be g(0). Suppose -5*p - 9 = n, a*n = 3*n - p - 9. Suppose n*q = 2*q + 136. Is q a multiple of 17?
True
Suppose -56 = -2*d - 16. Does 4 divide d?
True
Let x = -14 + 63. Is x a multiple of 9?
False
Suppose -3*c + 22 = l, 2 + 1 = 4*l - 5*c. Does 3 divide l?
False
Let f(d) = 3*d**3 + d**2 + d - 8. Is 4 a factor of f(3)?
False
Suppose 2*d = -4*g - 3*d + 40, 2*d - 13 = -g. Suppose -g*n + 9 = -2*n. Is n a multiple of 3?
True
Suppose 2*l - 7*l = -175. Let x be l + 3/3 + 0. Suppose -5*z + r + 27 = -x, 0 = -2*z + 3*r + 20. Does 9 divide z?
False
Suppose -19*s + 1771 = -8*s. Is s a multiple of 21?
False
Let f(y) = y**2 - 5*y - 2. Let m be f(7). Let l = 17 - m. Is l a multiple of 5?
True
Let c be 2*-1*(-2 - -1). Suppose -6 + c = h. Is 20 a factor of (-162)/h + (-4)/8?
True
Let v(q) = q + 6. Let b be v(-6). Suppose b = 2*k - 4 - 2. Suppose -1 = -k*g + 11. Does 4 divide g?
True
Does 10 divide 218/4 - 7/(-14)?
False
Suppose 5*o + 32 = -3*q, 0 = 4*q + 2*o + 3*o + 46. Let i = -5185 - -3041. Does 19 divide i/(-56) - (-4)/q?
True
Let n(b) = 50*b**2 + 0*b - 4*b + 3*b. Is 14 a factor of n(-1)?
False
Suppose 0 = 3*n - 2 - 4. Let k(i) = -21*i - 2. Let w be k(n). Let o = w - -76. Is o a multiple of 15?
False
Let x = 2 - 2. Suppose -2*i = -x*i - 74. Does 19 divide i?
False
Let m = 71 - 49. Suppose -8 = -4*u + 2*d, -2*u + 5*d = -u - 20. Suppose 4*r - 2*r - m = u. Is 11 a factor of r?
True
Let j = 2 - 0. Suppose -3*h + 1 = -j*u + 42, -3*h - 80 = -5*u. Is 11 a factor of 1*3/3*u?
False
Let g(f) = 3*f + 38. Is 14 a factor of g(-8)?
True
Let o = -47 - -182. Suppose -6*a + a + o = 0. Is 13 a factor of a - (1 - -2 - 2)?
True
Let b(j) = 165*j**3. Let w be b(1). Does 15 divide 1/1 + w/3?
False
Let q(k) = 33*k**3 - k**2 + k. Suppose 10 = -2*p, c - 4 = 3*p + 14. Let r be c*((-2)/(-6))/1. Is q(r) a multiple of 11?
True
Suppose 3*i = 5*q - 116, -5*q - 5*i + 124 = -16. Is 8 a factor of q?
False
Let d = -27 + 61. Suppose -d - 128 = -3*t. Is 27 a factor of t?
True
Suppose v + 342 = 5*d + 63, 2*d + 2*v - 114 = 0. Is 8 a factor of d?
True
Let l be (19 - 8/(-4)) + 1. Let q = l - 20. Is q even?
True
Let a be -37 + (2 - 1) + -4. Let h = 89 + a. Is h a multiple of 19?
False
Let f(w) = -w**2 - 8*w - 4. Let d be f(-6). Suppose 0 = -5*m + 52 + d. Suppose 0 = -x - 2*x + m. Is x a multiple of 2?
True
Suppose 0 = -j + 3*j - 4*c - 572, -3*j = -c - 883. Is j a multiple of 9?
False
Suppose 0 = -2*y - 0*y + 5*k + 120, 0 = 2*y + 5*k - 160. Is y a multiple of 14?
