False
Suppose -272 = -2*g - 40. Suppose 0 = -5*c - 4*h + 29, 0 = -3*c - 0*c - 2*h + 17. Does 16 divide g*(-2 - c/(-2))?
False
Is 12 a factor of (3/(-9))/((-16)/3456)?
True
Suppose 0 = r + 7 - 8, -2*r = -5*f + 2378. Is 17 a factor of f?
True
Let d(n) = -108*n + 1. Let u be d(-3). Suppose -h - u = 38. Is 2*(h/(-6) + -2) a multiple of 32?
False
Let j = 551 + -221. Is j a multiple of 15?
True
Let n(d) = 24*d**2 - 7*d + 6 + 0 - 22*d**2. Does 10 divide n(4)?
True
Suppose 2*r - 3*o = 220, 14*r - 13*r + 2*o = 117. Is 2 a factor of r?
False
Let b(h) = -2*h**2 - 18*h + 7. Let m(p) = 3*p**2 + 27*p - 10. Let z(r) = -8*b(r) - 5*m(r). Let a(n) = -5*n + 10. Let o be a(4). Is 2 a factor of z(o)?
True
Let c(m) = -m**3 - 3*m**2 + 2*m - 5. Let l be c(-4). Suppose 0 + 2 = -2*k, -491 = -4*j + l*k. Is j a multiple of 26?
False
Suppose -5*z = 72*p - 68*p - 4727, -2371 = -2*p - z. Does 10 divide p?
False
Let l(a) = -3*a + 18. Let w be l(8). Is (w + 36)*(-1 + 2) a multiple of 22?
False
Let r(g) = 1152*g**3 - g**2 + 1. Let b be r(1). Suppose -2*m = -14*m + b. Does 31 divide m?
False
Let j = 621 - 551. Is j a multiple of 10?
True
Let p(t) = 6 - 330*t - 27 + 318*t. Does 11 divide p(-12)?
False
Suppose 9746 = 166*d - 144*d. Is d a multiple of 21?
False
Suppose -a - 35 = 4*a. Let n = a - -7. Suppose n*j - 3*j = -84. Is j a multiple of 7?
True
Does 97 divide (67*(-9)/4)/((-19)/76)?
False
Let k = -24 - -180. Let d = k - 66. Does 10 divide d?
True
Suppose 3*o + 5*i + 20928 = 2*o, 5*o - 3*i = -104696. Is 18 a factor of o/(-133) + (-3)/7?
False
Let y be (-5)/10*-4*-4. Let d = y - -85. Is d a multiple of 6?
False
Is -9*60/(-135)*(18 - -2) a multiple of 4?
True
Suppose 3*r = r + 4. Let v(c) be the first derivative of 2*c**4 - 2*c**2 + 4*c - 67. Does 23 divide v(r)?
False
Let i(u) = 2 + 2*u + 2*u - 6*u. Suppose -3*d - 33 = -0*d. Does 12 divide i(d)?
True
Let q = 63 - 67. Let u(b) = -2*b + 10. Does 3 divide u(q)?
True
Suppose 0 = -7*o + 8*o - 183. Does 24 divide o?
False
Let a = 52 + -47. Suppose -3*t - 4*m + 310 = -0*t, -a*t = -m - 509. Is t a multiple of 17?
True
Let s be (20/(-4) - -8) + 1904. Suppose -s = -9*b + 163. Is 36 a factor of b?
False
Let a = 25 + 29. Suppose -130 = 5*y - 3*w, 0*y + 2*y + 4*w = -52. Let n = a + y. Does 17 divide n?
False
Suppose 13 = 5*c + 3. Suppose 5*a + c*m = 58, 5*a = 3*m - 0*m + 63. Is a a multiple of 3?
True
Let d(o) = 2*o**3 + 2*o + 1. Let a be d(-1). Let f be 68/(-12) - 2/a. Let p = f - -32. Does 9 divide p?
True
Let p = 1212 - 449. Is p a multiple of 12?
False
Suppose 0 = -10*m + 30 + 50. Is 1940/80 - (-1)/m*-2 a multiple of 2?
True
Let r = 594 + -354. Is r a multiple of 38?
False
Suppose 3*p - 19 = 4*q, 3*q - 15 = -2*q - 4*p. Let m(i) = -9*i + i + 1 - 16*i. Does 5 divide m(q)?
True
Suppose 4*g = -372 + 56. Let a = g + 142. Is 21 a factor of a?
True
Suppose -4*t = -732 - 1308. Is 17 a factor of t?
True
Let y be ((-12)/4 - -100) + 4. Suppose 4*l - 2*l + 8 = 0, 0 = j + 4*l - y. Does 9 divide j?
True
Let s = -36 - -41. Suppose -i = 2 - s. Is i even?
False
Suppose 0*n - 4*l + 580 = 5*n, -4*l = -n + 92. Is 4 a factor of n?
True
Let s(q) be the first derivative of q**3/3 + 6*q**2 + 15*q + 5. Is 2 a factor of s(-11)?
True
Suppose 2*i + 3*f = 2 - 7, -16 = -5*i + 2*f. Suppose i*d = -2*h - 3*h + 23, 3*h - 13 = -d. Suppose -d*y = y - 125. Is y a multiple of 15?
False
Suppose 90*t - 16 = 86*t. Is t/(-5) - -1 - 9380/(-100) a multiple of 33?
False
Let x = 416 + 382. Is x a multiple of 42?
True
Let t be (6/4)/(3/6). Suppose 2*o = t*g - 458, 0*o = -g + 2*o + 158. Is 25 a factor of g?
True
Let k(z) be the second derivative of 11*z**3/3 + 7*z**2 - 12*z. Does 19 divide k(8)?
True
Let t(y) = 7*y**2 - 3*y - 4. Let g be (6/2)/(1 + (-7)/4). Is t(g) a multiple of 30?
True
Let x = 14 - 14. Suppose 2*q - 4 - 38 = x. Is q a multiple of 13?
False
Suppose 1713 = 3*b + 12*y - 9*y, -3*b + 1709 = -y. Is b a multiple of 15?
True
Suppose 27 + 9 = -2*b. Let q = b + 24. Suppose -8*m + q*m = -44. Is 3 a factor of m?
False
Let q(p) = p**2 + 3*p - 10. Is q(-10) a multiple of 5?
True
Let d(i) = -13*i + 2 - 12*i + 3*i. Suppose -3*q + 4*q = c, -5*q - 5*c = 10. Is d(q) a multiple of 6?
True
Let m = -37 - -70. Does 11 divide m?
True
Let s = 9 + 307. Does 18 divide s?
False
Suppose -i - 3 = -63. Suppose -i = z - 2*z. Does 4 divide z?
True
Let x = 42 + -29. Let f = 15 - x. Suppose -5*s + f = -4*s. Is 2 a factor of s?
True
Let s = 3780 - 2115. Is 19 a factor of s?
False
Does 4 divide 346/173 + (-3)/((-6)/76)?
True
Let h(a) = 3*a**3 - 2*a**2 + 5*a - 3. Let q = 67 - 65. Is 3 a factor of h(q)?
False
Let s be (18/12)/((-6)/8) - -8. Is (s - 810/24)/((-3)/16) a multiple of 44?
False
Let d(y) = 27*y**2 - 3*y + 53. Is d(6) a multiple of 8?
False
Let r(q) = 27*q**3 + 5*q**2 - 13*q + 43. Does 47 divide r(5)?
True
Let n = -2926 + 5120. Is n a multiple of 14?
False
Let n(d) = -104*d + 63. Is 53 a factor of n(-5)?
True
Let q = -32 + 45. Suppose 18*x = q*x + 90. Is 9 a factor of x?
True
Let c(s) = s**3 - 12*s**2 - s + 17. Let h be c(12). Suppose -h*p - 118 = 32. Let k = -16 - p. Is k a multiple of 14?
True
Let v(a) = -6*a + 90. Let t be v(0). Suppose 3*g - 5*h = 90, 0 = g - 4*g - 4*h + t. Is 30 a factor of g?
True
Suppose -10*h + 6 = -7*h. Suppose -h*q - 5*c + 25 = 0, -2*q + 54 = 3*q + 4*c. Suppose -3 + q = b. Is b a multiple of 3?
False
Let p(v) = 7*v + 8. Let b be p(15). Let f = b - 51. Is 15 a factor of f?
False
Suppose -8*p + 5*p + 114 = 0. Let g = 158 - p. Is 21 a factor of g?
False
Let l be 116 + (-4 - (-4 + 0)). Let t = l - -253. Is 46 a factor of t?
False
Let n be ((-299)/2)/(3/6 - 1). Let p(u) = -u**2. Let g be p(0). Suppose -5*x + n + 161 = g. Is 21 a factor of x?
False
Suppose -5*j + 143 = -107. Suppose -c + 200 = -j. Is c a multiple of 10?
True
Let w = -67 - -247. Is w a multiple of 12?
True
Let w(f) = -f**2 + 7*f - 1. Let g be w(5). Let m = 173 - 114. Let k = m + g. Is 34 a factor of k?
True
Let z be (-4)/10*(-5)/4*0. Suppose z = -r + 8 + 126. Is 14 a factor of r?
False
Suppose 54 + 23 = 7*u. Let x(c) = 2*c**2 - 11*c - 34. Is 23 a factor of x(u)?
False
Is 116711/49 + 16 + (-1)/(-7) a multiple of 109?
True
Suppose 2*c - 8 = -4*m, -c + 4 = 2*c - 2*m. Suppose 0 = c*t - 7 + 5. Does 15 divide (-26 + 9)/(t/(-2))?
False
Let k(d) = d**2 - 4*d - 4. Let x be k(6). Suppose -102 - 266 = -x*m. Is m a multiple of 44?
False
Suppose 4*s - 452 = -m, -s + 2*m + 216 = s. Let y = -12 + s. Is 20 a factor of y?
True
Let l(r) = -16*r - 16. Is 8 a factor of l(-9)?
True
Is (-314)/(-3)*51/34 a multiple of 25?
False
Let v(g) = -23*g - 80. Does 12 divide v(-40)?
True
Is (-26 + 63/(-7))*(-3 + 1) a multiple of 10?
True
Suppose 4*s + 4*a = 1276, -5*s + 1615 = -0*s + a. Is s a multiple of 18?
True
Let o = -92 - -143. Let f = o - 16. Is f a multiple of 9?
False
Suppose 5*d + 10 = 10*d. Suppose 0 = 3*b - d*f + 28, -4*b + 4*f - 32 = -b. Is 2*-1 + 72 + b a multiple of 15?
False
Let n(b) = 7*b**3 + 1. Let f be n(1). Let p be f/16 + (-5)/(-2). Suppose p*h - t - 46 = 13, h - 5*t - 15 = 0. Is 10 a factor of h?
True
Let h(b) be the first derivative of b**5/20 + b**4/12 + 17*b**2 - 8*b - 6. Let s(r) be the first derivative of h(r). Is 17 a factor of s(0)?
True
Let v = -19 - -605. Is v a multiple of 33?
False
Let h(p) = 282*p + 265. Is h(5) a multiple of 25?
True
Let u(t) = -t**2 - 11*t + 7. Let i(o) = 2*o**2 - 7*o - 17. Let g be i(8). Suppose 2*b + 3*b = -g. Is u(b) a multiple of 6?
False
Let h(s) be the second derivative of -1/2*s**4 + 0 + 1/20*s**5 + 3/2*s**2 + 2*s + 1/3*s**3. Is h(6) a multiple of 5?
True
Let y be 219/2*220/33. Suppose -a + 11*a = y. Does 41 divide a?
False
Suppose 3*k + k = 324. Suppose -u - 2*u = -372. Let o = u - k. Is o a multiple of 14?
False
Suppose 0 = 3*h + 3*o - 600, -h + 25*o = 27*o - 200. Is h a multiple of 5?
True
Suppose -c = -z + 178 + 175, 4*z + 4*c = 1372. Is 20 a factor of z?
False
Suppose 0 = 5*g - 3*g + 60. Let i = 119 + -188. Let w = g - i. Does 13 divide w?
True
Let a(y) be the first derivative of -y**4/4 - 2*y**3/3 + 4*y - 3. Let l be a(0). Suppose -2*k + 100 = 2*v, l*v - 214 = 2*k + k. Is v a multiple of 18?
False
Let w be (0 - 2)/((-18)/27). Suppose -3 = -w*l, -2*h = l - 2*l - 13. Suppose -195 = h*k - 12*k. Is k a multiple of 18?
False
Suppose 3*u + 12 = -3*n, 2*u + 5*n = 3*u - 26. L