 11 + p. Suppose 2*k - 68 = h. Is 13 a factor of k?
False
Let t = 12 - 8. Let o(u) = 2 - 4*u - 1 - t. Does 7 divide o(-3)?
False
Suppose -l + 5*l = 0. Suppose 9*c - 4*c - 260 = l. Let d = c - 21. Does 8 divide d?
False
Suppose -7948 = 3*h - 11*h + 4*l, 9 = -3*l. Is 24 a factor of h?
False
Suppose -5*t + 0 = -10. Suppose -3 = -3*a + t*a. Is 5 a factor of (-28)/(-6) - a/(-9)?
True
Let p(c) = -3*c**2 - 12*c - 4. Let n(d) = -d**2 - d - 1. Let q(r) = -6*n(r) + p(r). Is q(7) a multiple of 17?
False
Let w(u) = 4*u**2 - 8*u + 119. Is 58 a factor of w(8)?
False
Does 15 divide (14/3)/(4496/408 + -11)?
False
Suppose 5*o + 3 - 18 = 0. Suppose 6*g - 93 = o*g. Let p = -18 + g. Is 12 a factor of p?
False
Let n(k) be the third derivative of k**5/60 + 7*k**4/24 - 7*k**3/6 - 11*k**2. Let m be n(-8). Let w = m + 1. Is w even?
True
Let f be 165/(-22)*52/(-6). Let y = -24 + f. Is y a multiple of 15?
False
Is 22 a factor of (-24801)/(-49) - (-5)/(-35)?
True
Suppose s + 24 = -2*u, 5*s = -3*u + u - 24. Let c = u - -16. Suppose 3*q - c*q = -2*i + 192, 2*i = 4*q + 192. Is i a multiple of 32?
True
Let w = -28 - -41. Let h = w - -164. Does 32 divide h?
False
Let f(j) = 14*j - j + 231 - 204. Is f(6) a multiple of 7?
True
Suppose 2*y = y - 1, 0 = -3*n - 2*y + 10. Suppose -2*j = -n*v - 12 + 40, 4*v + 3*j = 8. Suppose 76 + 354 = v*p. Is p a multiple of 27?
False
Suppose -3*r + 2 = -1. Let l be r*10 + -7 + 8. Suppose -5*c = 4*h - 2, -5*c = -h - c + l. Does 3 divide h?
True
Suppose 0 = 3*i - 3 - 3. Let n(q) = 3*q**2 + 8*q - 9. Let c(m) = m**2 + 4*m - 5. Let g(j) = i*n(j) - 5*c(j). Is 9 a factor of g(5)?
False
Suppose -2*i - 336 = -4*h - 5*i, 2*i = 0. Let r = h + 9. Is 31 a factor of r?
True
Let n(u) = 20*u - 96. Let j be n(-6). Let r = -115 - j. Does 9 divide r?
False
Let l(g) = g**2 - g. Let t(c) = 10*c**2 - 5*c - 3. Let o(n) = -36*l(n) + 4*t(n). Does 42 divide o(-9)?
True
Suppose 133 = 4*g - 15. Suppose -39*c + 12 = -g*c. Is 6 a factor of c?
True
Let j be ((-4)/(-6))/(2/(-33)). Let b = j + 15. Suppose -b*w = -7*w + 36. Is w a multiple of 12?
True
Suppose 2*g + 6 = 0, -11*g + 8*g - 2537 = -4*f. Is f a multiple of 8?
True
Let g = -13 - -15. Suppose h + f + 22 = 0, -2*h + 3*f - 16 = -g*f. Let v = h + 36. Is v a multiple of 5?
False
Let x(n) = 306*n**2 - n - 4. Let t(v) = -102*v**2 + 1. Let w(q) = -7*t(q) - 2*x(q). Is w(1) a multiple of 14?
False
Suppose -t - t + 128 = 0. Let u = t - 29. Is 515/u - 2/(-7) a multiple of 4?
False
Suppose 50*i - 53*i + 618 = 2*t, -4*t + 2*i + 1204 = 0. Is 55 a factor of t?
False
Let g(f) = 2*f**2 - 9*f + 12 + 18*f + 9*f. Is g(-10) a multiple of 4?
True
Let r be 3*1*(8 + -7). Suppose -49 = -r*y + 86. Is 9 a factor of y?
True
Suppose 5*b + 2*x - 17 = 0, 2 - 1 = x. Suppose 0 = b*z + 4*d - 25 - 70, 0 = 3*d - 15. Is z a multiple of 4?
False
Suppose 6 = 5*o - 2*j - 4, -5*o - 4*j = -40. Suppose 0 = -2*u + u + o*q + 13, 5*q = -4*u + 73. Is 17 a factor of u?
True
Suppose 23*b = 20*b - 2*o + 1324, 2*b - 2*o - 866 = 0. Is b a multiple of 85?
False
Let y be (-1 - 3) + (2 - 1). Let w(s) = -s - 7. Let j be w(y). Is 89/4 + 1/j a multiple of 19?
False
Does 4 divide (-4773)/(-13) + (192/(-208))/6?
False
Let n(f) = -4*f**2 + 5*f**2 + 0*f**2 - 30 + 34. Let h be n(-4). Let c = -14 + h. Does 2 divide c?
True
Let p = 22 + 32. Let r = 23 - p. Let i = r - -61. Is i a multiple of 6?
True
Let w(v) = -3 - 3*v**3 - v**2 + 2*v**3 - 5*v + 0*v**2. Is w(-4) a multiple of 13?
True
Suppose z + 1 = -h - z, 4*h = -4*z + 4. Suppose 0 = s + u + u - 105, -h*s - 3*u = -306. Is s a multiple of 9?
True
Let b(q) = 6*q**2 - 7. Let m = 60 - 63. Does 16 divide b(m)?
False
Let n(g) = -5*g + 3. Let i be n(4). Let p = i - -16. Does 31 divide ((-59)/p)/(0 - -1)?
False
Let m = -6 - -12. Let k be ((-2)/6)/(m/(-36)). Suppose -k*d + 5*d - 72 = 0. Is 20 a factor of d?
False
Let m(i) = -3*i**3 + i**2 + i + 4. Suppose -2*f + 2 + 0 = 0. Let d(x) = -x**3 - x**2 - x + 1. Let t(u) = f*m(u) - 2*d(u). Is 4 a factor of t(3)?
False
Is (21/(-2))/(1/48*-2) a multiple of 13?
False
Suppose 2 = -2*k, h - k + 1 = 3*h. Is 14 a factor of (2 - 4) + h - -29?
True
Suppose 0*b = -4*b + 20, -4*b = -3*o - 11. Suppose -o*t + 5*t = 6. Suppose t = 2*j - 41. Is j a multiple of 15?
False
Let v(i) = 6*i**3 + 2*i**2 - i - 9. Is v(3) a multiple of 49?
False
Let o be 4 - (-764 - (2 - 2)). Suppose -3*b - b = -o. Does 20 divide b?
False
Suppose -4 = d + d, 0 = -4*h - 2*d + 8. Suppose -3*c - 2*c = h*j - 472, -2*j + 3*c + 302 = 0. Is j a multiple of 14?
True
Let v = 39 + -30. Suppose 2*u = v + 55. Does 30 divide u?
False
Let o(b) = b**2 - 29*b - 12. Is o(-10) a multiple of 27?
True
Let t(z) be the third derivative of -z**6/120 - 7*z**5/60 - 3*z**4/8 - 5*z**3/3 - 2*z**2. Is 21 a factor of t(-8)?
True
Suppose -3*c + 38 + 31 = 0. Is c even?
False
Suppose -8000 = -4*a - 4*t, 9 = -5*t + 4. Is 29 a factor of a?
True
Let l = -22 + 20. Is 5 a factor of (l/(-2))/(5/75)?
True
Let r = 753 + -529. Suppose 5*g - r = 891. Does 32 divide g?
False
Let m(a) = 39*a + 122. Is 22 a factor of m(18)?
False
Suppose -297 = 8*a - 5*a. Let r = 147 + a. Does 7 divide r?
False
Suppose 5*o = -v - 1, -4*o + 5*v + 6 = 1. Suppose 0*r = -4*f + 4*r + 476, 5*f + 2*r - 602 = o. Does 12 divide f?
True
Let g = 1124 - 380. Is g/(-8)*(-2)/6 a multiple of 9?
False
Suppose -222 = -p - 2*m, 0 = 2*p + 3*p - 3*m - 1175. Let n = 346 - p. Suppose -6*b + n = -3*b. Is b a multiple of 13?
False
Suppose -2640 = -171*y + 167*y. Is 66 a factor of y?
True
Let l = -147 + 245. Suppose -g - 3*n = -l - 3, 299 = 3*g + 5*n. Is 14 a factor of g?
True
Suppose u = -u. Suppose 0*c - 2*c + 10 = u. Does 4 divide c?
False
Let q = 23 + -21. Suppose 85 = 3*j + 5*l, -q*j - l + 45 = -0*j. Let y = -16 + j. Does 4 divide y?
True
Let x(d) = 3*d**3 + d**2 - 5*d + 7. Let s be x(2). Is 109 + (s/(-5))/5 a multiple of 9?
True
Suppose -i - 3*i - 16 = -2*b, -5 = 2*b + 3*i. Suppose 0*m - 2*m = -8. Suppose -5*t + 10 = m*y, 3*y + 7 = -b*t + 18. Is 2 a factor of y?
False
Let y(n) = -4 - 2*n**3 + 2*n + 5*n**2 + 1 + n**3 - 2*n**2. Is 3 a factor of y(3)?
True
Let b be (0 + (-6)/(-15))*(-5)/(-1). Suppose -c = -3*p + 32, 2*c - b = -12. Does 3 divide p?
True
Let b = 7 - 27. Let l be (1 - -1) + 2*(2 + -20). Let y = b - l. Is y a multiple of 7?
True
Suppose 0 = 8*m + 4370 - 15002. Is m a multiple of 70?
False
Let s = 663 + -1222. Let v = -269 - s. Is v a multiple of 34?
False
Let o(x) be the first derivative of x**3/3 - 7*x**2 - 8*x + 8. Does 12 divide o(16)?
True
Suppose 0 = 3*c + 8 + 13. Let d = c - -12. Is d even?
False
Let x be 9/(-6) - 9/(-6). Suppose 3*z - 40 - 176 = x. Does 12 divide z?
True
Let q be -5 + (0/2)/(-2). Does 16 divide 14 + (-4)/(q - -3)?
True
Let u(a) = -18*a**3 + a. Is u(-2) a multiple of 8?
False
Suppose -3*c = -7*c - 8. Is ((-3)/c)/(2/36) a multiple of 5?
False
Let r(g) = -g**3 - 13*g**2 + 14*g - 9. Let x(u) = u**2 - 10*u + 2. Let z be x(8). Let b be r(z). Let m(v) = -3*v - 8. Is 19 a factor of m(b)?
True
Let c be ((-72)/(-20))/((-3)/(-15)). Suppose -5*o + c = 5*r - 2, -29 = -o + 4*r. Is 8 a factor of 3/(-9) + 111/o?
False
Suppose -3*o - 5*q + 0*q = -1348, 4*o - 1784 = -4*q. Does 63 divide o?
True
Let m = -103 - -111. Suppose -m - 662 = -2*q. Does 59 divide q?
False
Let g(f) = 2*f**2 + 7*f + 7. Let p(d) = d**3 + 5*d**2 + 4*d + 5. Let x be p(-4). Let t be g(x). Let u = t - 40. Is u a multiple of 26?
True
Suppose 6*k - 20 = 4*k. Suppose 8*n + 224 = k*n. Does 16 divide n?
True
Let s(z) = -z**3 + 4*z**2 + z + 5. Suppose -35 = 5*m - 4*f, -2*m = -m + 3*f - 12. Does 35 divide s(m)?
False
Let w(r) = r**2 + 3*r + 600. Is 5 a factor of w(0)?
True
Suppose -d + 13 = -5*r, -5*d - 5*r - 12 = -77. Is 71*1*13/d a multiple of 15?
False
Let v(m) = 3*m**3 - 18*m**2 + 6*m + 26. Is v(7) a multiple of 43?
True
Is 1/4 + 1665/(-240)*-4 a multiple of 28?
True
Suppose 4*g = g. Suppose -2*c - 2 + 10 = g. Suppose 5*m + c*d - 227 = -36, 192 = 5*m + 3*d. Does 13 divide m?
True
Let a = -12 - -16. Suppose -g = a*g - 625. Let b = g + -79. Does 16 divide b?
False
Let d(w) = 2*w**3 + 4*w**2 + 6*w + 7. Let k(q) = -q**3. Let x(g) = -d(g) - k(g). Let t = -11 + 6. Does 16 divide x(t)?
True
Suppose g = 5*r - g - 455, -264 = -3*r + 3*g. Let q = 156 - r. Suppose q = 3*n - 3*i, 0*n = 4*n + 3*i - 49. Does 8 divide n?
True
Suppose c = 2*b + 424,