m) = -34*m - 114. Is h(-12) a multiple of 21?
True
Let r = -5904 - -8910. Is r a multiple of 18?
True
Let q = 4174 - 2801. Is 13 a factor of q?
False
Let i = -795 - -1027. Is i a multiple of 5?
False
Let s = 1709 + -1387. Is s a multiple of 7?
True
Suppose -3222 = -5*m + w + 2347, 1129 = m - 4*w. Is m a multiple of 51?
False
Does 21 divide 26/(-65) - 47/(-10)*152?
True
Let q be ((-6)/18 - 0) + (-28)/(-3). Suppose q = 3*j - 90. Is 11 a factor of j?
True
Let g(b) = -2*b**3 + 5*b**2 + b + 6. Is 8 a factor of g(-5)?
True
Let k(j) = -182*j. Let l be k(-2). Suppose 0*g + l = 5*g - 2*q, 2*q = -g + 80. Is 26 a factor of g?
False
Suppose -2*d = 4*d + 390. Let v be 4/(-10) + 4524/d. Does 38 divide (-5)/10*v - -3?
True
Suppose -2*i + 17 = 11. Suppose 2*b - 25 = 2*w - 71, -i*w + 77 = 5*b. Does 4 divide w?
True
Let p(y) = 34*y + 109. Is p(10) a multiple of 25?
False
Let x be (-1)/(-2)*(-2 - -24). Let l = -14 + x. Let o = l + 32. Does 20 divide o?
False
Suppose 236 = -0*i + 2*i. Suppose -25 = 3*t - i. Suppose 236 = 5*p + 2*h, p - 4*h - 3 = t. Is 23 a factor of p?
True
Let j(h) = -2*h**2 + 30. Does 2 divide j(0)?
True
Let c = -25 + 15. Suppose 0 = 2*v + 2*x + 3 - 13, 3*v + x = 11. Does 15 divide v/(-2)*c + 0?
True
Suppose -495 = 18*u - 13*u. Let y = -55 - u. Is 11 a factor of y?
True
Suppose 5*n = 33 - 23. Suppose n*j - 527 = -175. Does 44 divide j?
True
Let b = 70 + -38. Let i = 36 - b. Does 7 divide ((-2)/i)/(1/(-84))?
True
Let d(w) be the first derivative of w**2/2 + 2*w + 1. Let h be d(-2). Suppose g - 2*m = -0*g, m - 3 = h. Does 3 divide g?
True
Let l be (0/(-2))/(2 - 4). Suppose 34 = -2*y - l. Let g = -3 - y. Does 11 divide g?
False
Let f = 43 - 34. Let l(v) = 2*v - 3. Let s be l(2). Does 12 divide f/(3/(-12) + s)?
True
Let a = 35 - 22. Let d = 17 - a. Suppose j + d*w = w + 71, -275 = -5*j + w. Is j a multiple of 28?
True
Suppose 5*a + 6 = b, -2*a + 2 = 3*b - a. Suppose 4*s + 2*o = -2*o + 12, 0 = s + 5*o + b. Suppose 0 = l - s*k - 26, -4*l + 3*k + 48 + 4 = 0. Does 10 divide l?
True
Let m(l) = 7*l**3 + 6*l - 7*l + 1 - l**2 - l**3 - 2*l**3. Does 9 divide m(2)?
True
Let v be -1 - 22/(-18) - (-208)/36. Suppose 0 = -v*o + 2*o + 5*m + 853, 631 = 3*o + 5*m. Is o a multiple of 53?
True
Let h(t) = 18*t**2 - 6*t + 2. Let x be h(-5). Let d = x - 274. Is d a multiple of 52?
True
Suppose 70 = 2*g - l, -4*g + 0*l = 3*l - 150. Is 9 a factor of g?
True
Does 3 divide (-9)/(-2)*(45 - 35)?
True
Suppose 5*t - 3*r - 8700 = t, 10886 = 5*t - r. Is t a multiple of 18?
True
Let q(w) = w**3 + 5*w**2 + 6*w - 3. Let b be q(-3). Let r(k) = -4*k**3 + 3*k**2 + 3*k + 5. Is 23 a factor of r(b)?
False
Suppose 23 - 9 = -2*q. Let g = 49 + q. Suppose g = 2*w + 2. Is 8 a factor of w?
False
Let f(u) = -u - 4. Let i be f(-4). Suppose -5*q - 2 = z, -5*z + i*q - 3*q + 12 = 0. Suppose 4*k = 5*g + 73, -z*k + 65 = 2*k - g. Is k a multiple of 5?
False
Suppose 0 = 6*y - 12*y + 42. Suppose 14*o = y*o + 1078. Is 21 a factor of o?
False
Suppose -g - 2*b + 142 + 204 = 0, 15 = 5*b. Does 12 divide g?
False
Suppose -2*j = -5*j. Let k be (-2)/(j - 4/8). Is (-1584)/(-40) - k/(-10) a multiple of 8?
True
Does 35 divide 4098/9 + 0 - (-6)/(-18)?
True
Let w = 7 - -28. Let q = 473 - 408. Let p = q - w. Is 6 a factor of p?
True
Suppose 24 = l + 2*l. Suppose 4 = -4*x, 0*p - l = -p - 4*x. Does 4 divide p?
True
Suppose 0 = -4*x + 2*j - 8, -j + 12 = 5*x + 2*j. Let t = 5 - x. Suppose t*p - 39 = 121. Is p a multiple of 12?
False
Suppose 3*h + 6 = 18. Suppose h + 38 = 2*u. Is u even?
False
Is 2 a factor of (5835/25)/(33/55)?
False
Suppose -5*i + 0*i - 2*o = -57, -40 = -4*i + 4*o. Let b(m) = 1 + 12*m + 11*m**2 + 19*m**2 + 14 - m**3 - 19*m**2. Is b(i) a multiple of 38?
False
Let q = 27 - 55. Let l = 67 + q. Suppose -4*y = -y - l. Is 3 a factor of y?
False
Let h(n) = -10*n**3 + 2*n + 1. Let t be h(-1). Suppose 3*c - t = 90. Is c a multiple of 7?
False
Let u(n) be the first derivative of -n**2/2 + 5*n - 2. Let t be u(3). Let b(j) = 2*j**3 + j**2 - 3*j + 2. Is 11 a factor of b(t)?
False
Suppose -w + 5*l = -8, 3*w + 3*l = -2 + 8. Let k(c) = 5*c**2 + 5*c - 4. Does 8 divide k(w)?
True
Suppose -c - 389 = -26*v + 25*v, 1933 = 5*v + c. Is 23 a factor of v?
False
Let v(w) = 259*w**2 - 26*w - 24. Does 75 divide v(-1)?
False
Suppose 0 = 46*w - 51*w + 270. Suppose -w = 11*p - 12*p. Does 27 divide p?
True
Suppose 3*z - 395 = -g + 60, 763 = 5*z - 3*g. Suppose 518 = w + z. Suppose -5*t - 2*j = -w, 2*t + 39 - 177 = 2*j. Does 24 divide t?
True
Let q = 2770 - 1706. Is q a multiple of 7?
True
Let h be 14/4*20/7. Suppose h*q - 36 - 1224 = 0. Does 39 divide q?
False
Suppose -53*g + 19776 = -41*g. Does 8 divide g?
True
Let h(a) = -a**3 - a**2 + 2*a - 1. Let z be h(-2). Let i(t) = -13*t**2 - 1 + 36*t**2 - 22*t**2 - 19*t**3 - t - 2*t**3. Is i(z) a multiple of 22?
True
Let t(n) be the first derivative of -7*n**2 - n + 26. Is 5 a factor of t(-1)?
False
Suppose 7*l = 2*l + 2100. Does 42 divide l?
True
Let b(l) = 17*l - 66. Is 39 a factor of b(28)?
False
Let u = 16 - 13. Suppose -u*k + 2*j - 23 - 24 = 0, -2*k - 3*j = 40. Let p = k + 49. Is p a multiple of 10?
False
Let x(i) = -13 - 29 + 527*i - 543*i + 10. Does 52 divide x(-11)?
False
Is ((-105)/25 - -3)*140/(-3) a multiple of 5?
False
Suppose 8*v = 1773 + 2011. Is v a multiple of 43?
True
Let v be 2/(-4) - (-44)/8. Suppose j = v*g + 33, -32 - 34 = -2*j - 4*g. Is 10 a factor of j?
False
Let l(r) = -r**3 + 4*r**2 + 7*r - 10. Let t(x) = x**2 - x + 1. Let w(k) = l(k) + 2*t(k). Let m be w(6). Is m/12 + (-19)/(-114) even?
True
Suppose -18909 = -40*n + 7*n. Is 17 a factor of n?
False
Let n(x) = 620*x**2 + 4*x - 3. Is n(1) a multiple of 27?
True
Suppose y + 366 = c, y = 8*c - 4*c - 369. Is y/(-10) - (-2)/4 a multiple of 26?
False
Let o(z) = 201*z + 14. Is o(10) a multiple of 22?
True
Suppose 0 = -4*f + s + 1460, -4*s + 3*s = -4. Does 44 divide f?
False
Let a(h) = 187*h + 44. Is a(4) a multiple of 11?
True
Let n(y) be the first derivative of -1/4*y**4 - 5 + 7*y**2 + 8*y - 2/3*y**3. Is n(-6) a multiple of 27?
False
Suppose f - 19 = d, 2*d + f + 3*f + 50 = 0. Let c = 6 - -22. Let o = c - d. Is 22 a factor of o?
False
Let z = -22 - -20. Let v be 16 + 0 + 8/z. Is 11 a factor of 4*1 - (-18 - v)?
False
Suppose 4*a = -g + 4*g + 706, 4*g = a - 183. Let n be (-23)/(-8) - (-44)/352. Suppose -4*v = n*v - a. Does 6 divide v?
False
Suppose d = 6*d - 30. Let i be (d/(-5))/(15/(-50)). Is (28 - 1)*i/4 a multiple of 10?
False
Let p(q) = -151*q + 14. Does 8 divide p(-2)?
False
Does 37 divide 2*((-5 - 0) + 1379/2)?
True
Let a be 3 - (-2 - 3*(0 - 1)). Let c(y) = -y**2 - 8*y - 7. Let k be c(-6). Suppose k*t - 15 = a*t. Is t even?
False
Let l(u) = -3*u**3 - 3*u**2 + 10*u + 18. Is 34 a factor of l(-5)?
False
Let w(l) be the second derivative of -l**5/120 + l**4/3 + l**3/2 - 4*l. Let p(n) be the second derivative of w(n). Is p(-6) a multiple of 7?
True
Let x be (-2)/5*(-4 + 6 + -37). Let v = x + 43. Is v a multiple of 4?
False
Let o(v) = -8*v**3 + 5*v**2 + 7*v + 12. Is 14 a factor of o(-3)?
True
Suppose 5*w = -8*i + 10*i - 160, 381 = 5*i - 3*w. Suppose -5*v + s + 13 = -v, -2*v - 2*s + 4 = 0. Suppose -v*y = -33 - i. Is 13 a factor of y?
False
Let v(r) be the third derivative of r**5/60 + r**4/3 - 13*r**2. Let z be v(-8). Suppose -9 = -z*h - h. Is h a multiple of 4?
False
Let r(m) = -1217*m**3 - m**2 - 3*m - 2. Is r(-1) a multiple of 80?
False
Suppose 4*a - 5*o - 252 = 0, 2*a + 3*o - 126 = -0*a. Let u(p) = p**2 + p - 2. Let q be u(2). Suppose -4*b + a = 3*k, 0*k - q*b + 42 = 2*k. Does 6 divide k?
False
Suppose 3*t - 4*z - 14 = 0, -5*t + 3*t = -4*z - 4. Suppose -4*v = v - t. Suppose v*s + 4*y = 28, -4*y - 56 = -4*s - y. Does 3 divide s?
False
Let a be ((-5)/(-2))/(7/84). Let i = a + -9. Is 19 a factor of i?
False
Suppose -2*k = i - k - 183, -5*k = 3*i - 541. Let y = -122 + i. Does 13 divide y?
True
Suppose 4*k + 3*f + 2*f = 1634, -3*k - f + 1220 = 0. Is 18 a factor of k?
False
Let q = -158 + 236. Suppose a + a = q. Does 7 divide a?
False
Let t be (-466)/(-3) - (-6)/(-18). Let d = t + -92. Let u = -23 + d. Does 8 divide u?
True
Let r(j) = 2*j**3 + j**2 - 2*j + 2. Let w be r(-2). Let g = 11 + w. Does 4 divide 51*g*5/75?
False
Let r(p) = 33*p**3 - 2*p**2 + 4*p - 2. Is 27 a factor of r(2)?
False
Suppose -3*r - 8 = -11. Suppose -v + 5*