 7*m(s) + 5*u(s). Is r(b) a multiple of 3?
True
Does 6 divide (161 + 22/(-2))*(8 - 1)?
True
Let c = 2538 + -1477. Suppose 5*g = 139 + c. Is 34 a factor of g?
False
Let h = 5 + -9. Let w = 32 + h. Does 4 divide w?
True
Let w be -1 + 118 + (-4)/(-2). Does 32 divide (-1)/(-2)*(w + 7)?
False
Let w = -56 + -174. Let v = -137 - w. Is v a multiple of 31?
True
Let z(t) = -1. Let l(x) = -7*x**2 + 12*x - 5. Let j(b) = -l(b) + 5*z(b). Let g(p) = -20*p**2 + 36*p. Let m(v) = -5*g(v) - 14*j(v). Does 27 divide m(9)?
True
Let f be 117 - -5 - (-2 - -4). Let h = f - 24. Is h a multiple of 24?
True
Is 2 a factor of (19 - -593) + (-3)/(-9)*-3?
False
Let a = 5 - -2. Let t = -9 + a. Is 30 a factor of t/6 + (-130)/(-3)?
False
Let m(f) = -166*f - 10. Suppose -v + d = -3*d + 5, -3 = 2*v - d. Is 13 a factor of m(v)?
True
Let b be (-119)/(-3) - (-40)/(-60). Let m be ((-4)/(-4))/(2/102). Let u = m + b. Is 13 a factor of u?
False
Let w(y) = 11*y**3 - 2*y**2 + y. Let b be w(2). Suppose -b + 26 = -4*d - 4*j, 4*d + 5*j = 55. Does 2 divide d?
False
Let g(s) = -7*s**2 - 4 + 4*s**2 + 5 + 2*s**2. Let d be g(1). Suppose d = -7*f + 5*f + 28. Is f a multiple of 14?
True
Let d = -8 - -12. Suppose 0 = -d*o + o - 111. Let w = 52 + o. Is 15 a factor of w?
True
Suppose 4*n - 57 = -153. Let b be 49*(-2 - 2/(-2)). Let a = n - b. Is a a multiple of 17?
False
Let z = -30 - -32. Suppose 3*p - 3*i - 40 = i, -z*i = -4*p + 70. Let a = -6 + p. Is 7 a factor of a?
True
Let x = 75 - 10. Let q = x + -56. Does 3 divide q?
True
Let m = -174 - -150. Is 7 a factor of m/16 + (-87)/(-2)?
True
Suppose 4*s - 2*s = -4, -3*s - 723 = -3*t. Is t a multiple of 2?
False
Let g(y) = -6*y**3 - 11*y**2 - 5*y + 6. Is 22 a factor of g(-5)?
True
Let f(t) = -195*t + 64. Does 79 divide f(-4)?
False
Let q = -1 - -9. Suppose 2*a = -2*a + q. Suppose a*b - 16 = b. Does 8 divide b?
True
Let y be (4/(-7))/(4/(-42)). Let i be 5/10 + 717/y. Suppose -l - 2*m + 30 = -5*m, 4*l - 4*m = i. Is l a multiple of 9?
False
Let s(r) = 4*r. Let m be s(-1). Let f(p) = -p + 3. Let x be f(m). Does 23 divide 1 - 7/(x/(-22))?
True
Let m(c) = 5*c**3 - c**2 + 6*c + 4. Let g(l) = -4*l**3 - 5*l - 4. Let w(x) = 4*g(x) + 3*m(x). Let b be w(-3). Is 37 a factor of b/(-3) + (-1340)/(-12)?
True
Suppose t - 3 = 2*t. Let h(s) = 0*s - 2*s - s - 3*s. Is 14 a factor of h(t)?
False
Let f(q) = -q**2 + 10*q - 2. Let m be f(5). Is 32 + (16/56 - m/7) a multiple of 18?
False
Let v(u) be the third derivative of -5*u**2 - 17/120*u**6 + 0*u**3 + 1/24*u**4 + 0 + 0*u + 1/30*u**5. Does 9 divide v(-1)?
True
Suppose x + 2 = -3*h, -2*x + 13 - 3 = -h. Let z be (-2 - -1)*h - 66. Let v = z - -92. Is 14 a factor of v?
True
Let m = -6 - -11. Suppose h - 4*p = -18 - m, -5*h = -p + 39. Let c = h + 21. Is 5 a factor of c?
False
Suppose -p + 2*s - 3 = -5, -56 = -3*p - 4*s. Suppose 3*f + 4*h = 5, -3*h - p = -f - 2*f. Suppose -3*k = f*n - 78, k + 0*n - 31 = 4*n. Is 8 a factor of k?
False
Let x be (2 + 40)/1 - -3. Let r = x - 35. Is r a multiple of 2?
True
Is 12 a factor of (-5)/20 - 9220/(-16)?
True
Does 129 divide ((-33)/(-5) + -2 + -4)*995?
False
Let l be 31/(1/(-2)*(-2)/4). Suppose -8 = 4*a - l. Is 29 a factor of a?
True
Suppose -5*z + 36 = 26. Suppose 356 = 4*n + 4*a, 4*a - 129 - 47 = -z*n. Does 15 divide n?
True
Suppose -206*f - 1596 = -213*f. Does 19 divide f?
True
Suppose 0 = 4*u - 3*j - 3453, 5*j + 512 + 2939 = 4*u. Is u a multiple of 24?
True
Let c(y) = y**2 + 11*y. Is c(8) a multiple of 19?
True
Let u = -109 - -405. Let h = u - 176. Does 8 divide h?
True
Let o(d) = -d**3 + 6*d**2 + d - 3. Let u be o(6). Suppose t - 5*n = u*t - 17, 5*t - 2*n = 28. Suppose 0 = m - t*m + 190. Does 19 divide m?
True
Let l(f) = -f**2 + 9*f - 6. Let a be l(8). Suppose 5*o - 8 - 17 = 0, -2*o - 100 = -a*b. Does 11 divide b?
True
Let t(g) = 12*g**2 - 34*g + 2. Is t(7) a multiple of 5?
False
Suppose 5*h - 4*h - 2*u - 8 = 0, -h + 2 = 4*u. Does 4 divide h?
False
Suppose -14*l = -18*l - 464. Let d = 183 + l. Is d a multiple of 39?
False
Let t = -4 + 7. Suppose s = 22 - 20. Suppose 0 = t*u - s*u + 5*b - 32, -4*u + 3*b = -36. Does 4 divide u?
True
Suppose 2*v - 2*t + 0*t - 2100 = 0, 0 = -3*t + 6. Is 1/(22/4) + v/22 a multiple of 6?
True
Suppose -3*u - 1032 = -3*k, -5*k - u + 1685 = u. Is 7 a factor of k?
False
Let y(f) = 13*f**2 - 7*f + 3. Is y(6) a multiple of 39?
True
Let o(c) = -2*c**2 + 85*c - 3. Does 12 divide o(29)?
True
Suppose -s + 4*t - 70 = 62, 3*s = 3*t - 414. Let h = -92 - s. Does 4 divide h?
True
Suppose -4*f + 0*x = x + 235, -4*x = -4*f - 260. Let q = 134 + f. Suppose 3*z - d - q = 0, 3*z + 5*d - 130 = -2*z. Does 13 divide z?
False
Let v = -20 + 28. Let o(y) = 8*y**2 - 2 + 3*y**3 + 5 - 4*y**3 - 9 + y. Is o(v) even?
True
Let a be ((-2)/7 - 805/98)*-10. Let q = 1 + 147. Let x = q - a. Is x a multiple of 20?
False
Suppose 12408 = 21*v + 2769. Is 3 a factor of v?
True
Suppose 0 = 2*m + 2*p + 12, 3*m = -4*p + 2*p - 19. Suppose 0 = -3*c + 4*f + 23, -3*c - 2*f - f + 30 = 0. Let b = c - m. Does 4 divide b?
True
Suppose -4*h + 4*b - 75 = -247, b = -2. Is h a multiple of 6?
False
Suppose h + 6*o = 10*o + 638, 2*h - o - 1290 = 0. Is h a multiple of 17?
True
Let i = -15 - -34. Is 10/4*(i - 1) a multiple of 15?
True
Let l(v) = v**2 - 17*v - 16. Is 52 a factor of l(27)?
False
Let l(p) = -p**2 - 17*p - 59. Let c be l(-8). Let g = -50 - -72. Let q = g - c. Does 9 divide q?
True
Suppose 4*k + 5 - 25 = 0. Suppose -k*d + 602 - 77 = 0. Is d a multiple of 19?
False
Suppose n - 132 = -5*n. Does 4 divide n/3 + (-2)/6?
False
Let f be -4 + (32 - -3 - -1). Let t = f - 32. Let o(h) = -h + 57. Is 19 a factor of o(t)?
True
Suppose -359 = -2*c - 3*m, c - 5*m = 2*c - 162. Let v = -459 + c. Is (-1)/(4/v*2) a multiple of 11?
False
Let p(w) = 3*w**2 + 13*w + w**2 + 2*w**2 + 5 - 4*w**2. Does 17 divide p(-12)?
False
Suppose 2*i + 485 = -3*y, -5*i - 5*y = -i + 975. Suppose -3*p - 592 = p. Let a = p - i. Is 34 a factor of a?
True
Let u(x) be the first derivative of -35*x**2/2 + 3*x + 3. Let t be u(-5). Suppose -5*b + 3*q + t = 0, -b - q = -4*b + 110. Is 10 a factor of b?
False
Let q = -791 + 1421. Is q a multiple of 44?
False
Suppose i + 61 = -0*j + 4*j, 80 = 5*j - 2*i. Let v = 18 - j. Does 7 divide -4 + v + 11 + 2?
False
Suppose -5*p = -r + 22, 13 + 1 = r - 3*p. Suppose 3*c - 5*m - 146 = 0, -4*c = -8*c + r*m + 190. Let y = 105 - c. Does 13 divide y?
False
Let h(u) = u**2 - 11*u + 4. Let s be h(10). Let j = 11 + s. Suppose -j*q = 9 - 109. Is 20 a factor of q?
True
Let q(g) = 216*g + 44. Is q(2) a multiple of 34?
True
Suppose 0 = 6*b - 32462 + 4814. Is (-2)/11 - 0 - b/(-176) a multiple of 24?
False
Is 54 a factor of -20 + 11 + 1630 + -1?
True
Let n(c) = -4*c + 43. Let j be n(0). Let h = j + 4. Does 3 divide h?
False
Suppose -6*c = -2*c. Let l = 8 + c. Suppose 6*i - l*i = -96. Does 12 divide i?
True
Let q(j) = -j**3 - j**2 + 7*j + 14. Is q(-6) a multiple of 19?
True
Does 6 divide 136/340 - (-178)/5?
True
Suppose 0 = 2*g - 2*o - o - 579, -322 = -g - 5*o. Suppose -9*s = -774 - g. Is s a multiple of 21?
False
Let b(h) = 3*h**2 - 1. Let s be b(-1). Suppose -3*z + z = s*k - 472, k + 472 = 2*z. Does 9 divide (-1)/2 - z/(-8)?
False
Suppose 5*h = -4*r + 1228, -4*r - 1535 = -9*r - h. Does 27 divide r?
False
Let h = -38 + 146. Is h a multiple of 9?
True
Let o be (30/(-4))/(2/8). Let a = o + 41. Is a even?
False
Suppose 2*g - 5*i - 17 = -0, 5*i + 29 = 4*g. Let f(j) = j**2 - 7*j + 3. Let q be f(g). Let u(k) = 5*k**2 + 2*k - 3. Does 12 divide u(q)?
True
Let w = 7 - 7. Suppose w = 4*n - 20, y - n - 37 = -0*n. Is 7 a factor of y?
True
Let x(f) = -f**3 - 8*f**2 + 36*f + 18. Is x(-20) a multiple of 14?
False
Suppose -51*f = -29*f - 6534. Does 15 divide f?
False
Let f(n) be the third derivative of 0*n - n**3 + 0 - 3*n**2 - 7/12*n**4. Is 9 a factor of f(-3)?
True
Let n be 6/2 + (-3 - -34). Suppose 2*b - n - 54 = 0. Suppose 3*w = b + 34. Is 13 a factor of w?
True
Suppose 4*u = 10*u - 24. Let c be (14/u)/(10/(-20)). Let y = 43 - c. Is 10 a factor of y?
True
Suppose 0 = 2*l + 2*t, 4 + 20 = 4*l - 2*t. Suppose -l*w - 34 = -338. Is w a multiple of 19?
True
Let y(x) = 3*x + 6. Let a be y(7). Let b be (4/6)/(6/a). Suppose -z = b*f - 114, 0 = -4*f - z + 6*z + 152. Is f a multiple of 27?
False
Let j be (-6)/9*18/(-4). Suppose -3*f - 1 = -4*u + j, f + 2*u = 