 divide h?
True
Let j = 263 - 100. Let g = j - 75. Let h = g + -65. Does 15 divide h?
False
Let w = -101 - -103. Suppose -w*r + r + 159 = 0. Does 3 divide r?
True
Let h = 12898 + 23831. Is h a multiple of 77?
True
Let t be 516/(-15) - 14/(-35). Let a = -35 - t. Is (-12)/(-10)*(a + 3)*30 a multiple of 12?
True
Is 12 a factor of (-12)/((-1 - (-2342)/2860) + 122/793)?
False
Let a(d) be the first derivative of -5*d**2 - 18*d + 9 - 4*d**3 - 1/4*d**4. Does 34 divide a(-12)?
True
Let b be (-32)/(-80)*-5*1. Let n be 1/b*(-3 + -769). Let a = -251 + n. Is a a multiple of 9?
True
Suppose -4673*o = -4725*o + 24752. Let c(t) = -30*t**2 + 3*t - 2. Let m be c(-3). Let q = o + m. Is 13 a factor of q?
True
Let w(a) = a**2 + 9*a + 21. Suppose 14*r + 84 = 11*r. Let y = -38 - r. Is w(y) a multiple of 9?
False
Let x = -143 - -68. Let o = x - -79. Suppose -8 = -h + 3*w, 45 + 32 = o*h - 3*w. Is h a multiple of 6?
False
Let y(p) = p**3 - 8*p**2 - 20*p + 10. Let t be y(10). Is 27 a factor of -48*3*(t/(-8) - 1)?
True
Suppose 2*v - 15 = -x, -6*x + 4*x + 37 = 5*v. Suppose v*n - 5*n = -2*q + 492, -n = -q - 246. Is 7 a factor of n?
False
Let c(z) = 100*z + 1. Let u(n) = -101*n. Let w(f) = 2*c(f) + 3*u(f). Let l be w(-4). Suppose 7*h - l = h. Is 28 a factor of h?
False
Suppose -1741*k = -1733*k - 120. Let x(n) = n + 156. Does 12 divide x(k)?
False
Suppose 5*z = -z + 4302. Let r be z/12 + 6/(-8). Let y = r + -51. Does 8 divide y?
True
Let d(y) = -y**3 + 17*y**2 - 17*y + 12. Let x be d(16). Does 9 divide 0 + 3/(6/x) + 159?
False
Let z(c) be the first derivative of c**4/4 + 4*c**3 + 6*c**2 + 3*c - 2778. Suppose 24 = -2*l + 3*w + w, 2 = 2*w. Is 6 a factor of z(l)?
False
Let c(n) be the first derivative of n**4/4 + 4*n**3/3 + 2*n - 10. Let q be c(-4). Suppose 4*j + 365 = 5*b, q*j - 10 - 49 = -b. Is b a multiple of 30?
False
Let h(f) = -3*f + 1. Let o be h(2). Let z = -1732 + 1721. Is o/(((-22)/(-24))/z) a multiple of 12?
True
Let q be (10/15)/((4/(-90))/(-1)). Let m = -9 + q. Suppose m*u - 175 = u + 5*b, 2*u - 4*b - 68 = 0. Is 3 a factor of u?
True
Let t = -54 + 58. Suppose m - t*a - 26 = 144, 2*a - 806 = -5*m. Is m a multiple of 54?
True
Let l(r) be the second derivative of r**4/12 + 5*r**3/2 + 3*r**2 + 8*r. Let s be l(-13). Does 7 divide 105/s*(-8)/6?
True
Let j(l) = l**3 + 4*l**2 + 5*l + 4. Let p be (-25)/(-10)*(-16)/20. Let d be j(p). Suppose d*t = 23 + 5. Does 5 divide t?
False
Suppose 3*l - 18 = 2*n, -5*l + 46 + 6 = 4*n. Suppose l*s - 378 = 6. Is s a multiple of 4?
True
Suppose 3*q = 5*s + 7376, -2*q - 3*s + 1776 = -3154. Is q a multiple of 41?
False
Let j(o) be the third derivative of 7*o**5/6 - o**4/8 - o**3 - 5*o**2 + 5*o. Is 14 a factor of j(-2)?
True
Let c(u) = -u + 5. Suppose 60*m - 58*m - 2 = 0. Let d be c(m). Suppose -3*k = 2*k - d*a - 173, -5*k = 2*a - 161. Is k a multiple of 4?
False
Let b = -14167 + 46801. Is b a multiple of 49?
True
Suppose 3*k = -3*r - 783, 110 = 4*r - 4*k + 1138. Does 7 divide r*1/((-4)/(12/3))?
True
Let v = -4702 + 8356. Is 67 a factor of v?
False
Suppose -6*x = -3*x - 12. Suppose 0 = 2*f - x*h + 7 + 7, 7 = -f - 5*h. Let c = f + 21. Is c a multiple of 5?
False
Suppose -7*g + 8*g - 11650 = -2*l, 0 = 9*l + 63. Does 72 divide g?
True
Suppose 0 = w + 4, -3*w + 4*w + 223 = 3*l. Suppose -3*h + 5*z = -9, -5*h - 6*z = -3*z - 15. Suppose -h*s - l = -217. Is 38 a factor of s?
False
Let m = 2190 + 6994. Is m a multiple of 8?
True
Let i = -9 + 144. Suppose 4*h + 5*u - i = 0, 3*u + 21 = -0*h + h. Is 25 a factor of ((-4)/h)/((-2)/110)*27?
False
Suppose -59*y = -57*y. Suppose 5*v + 136 - 916 = y. Does 13 divide v?
True
Does 10 divide 2461/(-3)*25/10*42/(-35)?
False
Suppose 0 = 2*a + 5*t + 7, -4*t = 9*a + 4 + 9. Let m(q) be the second derivative of -26*q**3 - 9*q**2/2 + q. Is 21 a factor of m(a)?
True
Let q(i) = -i**2 + 35*i - 107 - 55*i - 18*i. Is 11 a factor of q(-30)?
False
Suppose -35 = -5*w + 5*q, 4*w + q + q = 10. Suppose o - y = -3*o + 6, -5*o + 3*y = -w. Suppose -3*s + 381 = 2*u, -o*u + 411 = -4*s + s. Does 18 divide u?
True
Let f(o) = 6*o**2 - 4*o + 4. Let w be f(4). Let h = 856 + -856. Suppose h*z + w = 6*z. Does 4 divide z?
False
Suppose -3*o = 2*n - 208, -o + 4*n + 16 = -44. Let p = -110 - -300. Suppose -2*d = -p - o. Is 14 a factor of d?
False
Suppose 472*w - 8400 = 392*w. Is 15 a factor of w?
True
Let g = -10 - -19. Suppose -14*y + g*y = -35. Suppose y*u - 151 = 73. Is 6 a factor of u?
False
Let q = 273 - 217. Let m = q + -50. Does 2 divide m?
True
Let l(v) = -578*v - 3774. Is l(-47) a multiple of 172?
True
Let r(d) = -3*d**3 + 101*d**2 - 10*d + 9. Is 7 a factor of r(-10)?
True
Suppose -33*z = 253664 - 282077 - 519057. Does 237 divide z?
True
Let k(s) = -s**2 + 7*s + 1698. Is k(-27) a multiple of 12?
True
Suppose 0 = -2*s + 12, 0 = 799*c - 804*c + 5*s + 25905. Is c a multiple of 91?
True
Let v = 128 - -669. Let j = v - 18. Does 23 divide j?
False
Suppose -3048 = -319*d + 315*d. Does 10 divide d?
False
Suppose -9422 - 196978 = -40*k. Does 68 divide k?
False
Suppose 5662 + 2258 = 11*v. Is v a multiple of 24?
True
Let c = 6195 - 4125. Does 18 divide c?
True
Let m = 92 + -85. Let s(f) = -17 + 7*f + 45*f - m*f + 4*f. Is s(2) a multiple of 27?
True
Suppose -516*f + 520*f - 8 = 0. Suppose b + h - 16 - 237 = 0, -3*h - 501 = -f*b. Is b a multiple of 12?
True
Let d(a) = 41*a - 143. Does 31 divide d(36)?
True
Let j be -1*((-8)/(-24) - 1/3). Let z be (0 + j)*(6 + -5). Suppose 4*n = z, -2*i + 2*n + 78 = -32. Does 13 divide i?
False
Let y be 26/12 + (-5)/30. Let c(g) = -2*g + 16*g + 2*g**y - 55 + 61. Is c(-11) a multiple of 11?
False
Is (9/(-12))/((-6 - (-22169)/2772) + -2) a multiple of 99?
True
Suppose -r + 4*r - 11450 = 2*p, -3*r = 5*p - 11443. Is r a multiple of 18?
True
Suppose -277 - 163 = -11*w. Let v = 129 - w. Is v a multiple of 4?
False
Let n(w) = 10*w**2 - 71*w - 27. Is n(29) a multiple of 12?
True
Is 3*(-24857 - 12)/(-13) a multiple of 18?
False
Let s(x) = x**3 - 11*x**2 - 19*x + 56. Let c(h) = -h**2 - 5*h + 20. Let j be c(-6). Does 27 divide s(j)?
True
Suppose -5*y = 4*y - 18. Suppose 0 = -2*d - y*a, 2*d - d + 2 = a. Is 2*(d + 7)*(-99)/(-12) a multiple of 33?
True
Let f(j) = -5*j - 30. Let i be f(-6). Suppose -13*p = -i*p - 117. Does 3 divide p?
True
Let c = -1630 - -2775. Is c a multiple of 3?
False
Let d = 566 + -1050. Let z = -384 - d. Does 25 divide z?
True
Let v = -231 - -387. Suppose 4*n - v = -4*s, -4*n - s + 2*s = -181. Is n a multiple of 22?
True
Let n be 10 + 5/(-1) - -1. Let u(b) = 6*b**2 + 22*b - 24. Is u(n) a multiple of 4?
True
Suppose -2*f + 21601 = 5*x, 2*f + 9982 = -4*x + 31574. Is f a multiple of 24?
False
Let f(g) = 2*g + 8. Let u be f(-4). Suppose u = 5*i + 5*x + 70, -4*i + 0*x = -x + 71. Let l(q) = q**2 + 11*q. Is l(i) a multiple of 20?
False
Let v = -5048 + 7728. Does 18 divide v?
False
Suppose 3*h = -0*h + 39. Let n(d) = 4*d**2 - 53*d + 15. Let f be n(h). Suppose -f*v = -4*v + 92. Is v a multiple of 12?
False
Suppose 7*r - 8*r = -2*p + 1465, -p + 715 = -4*r. Suppose p = 7*k + 175. Does 19 divide k?
False
Suppose 2*z - 3*j = 1555 + 1614, 2*z - j = 3167. Is z a multiple of 7?
False
Let m(b) = 2*b - 5. Let z(q) = -3*q + 4. Let v(w) = -4*m(w) - 3*z(w). Let p be v(-6). Suppose c = 5*k + 139, -p*c - 3*k = -4*c + 243. Is c a multiple of 41?
False
Let f(q) = 2*q**2 + 13*q + 23. Let g = -51 + 51. Suppose -43*h + 46*h + 30 = g. Is 15 a factor of f(h)?
False
Let u(i) = -i**3 - i**2 + 28*i - 274. Does 32 divide u(-26)?
False
Let m be -4 - (-4 - (-2 + 4/1)). Let j(a) = -9*a**3 - 1 - 15*a**3 - a - 17*a**3 + a**m + 0*a**2. Is 5 a factor of j(-1)?
False
Let m = 1211 - 585. Suppose 2*d + 159 = -5*n + m, 2*d - 432 = 2*n. Is d a multiple of 17?
True
Let d be -7 - (35/(-7) - 1). Is 29 a factor of (4/(-5))/(44/19910)*d?
False
Suppose 7007 = 37*u - 35*u - 3*x, -4*x + 10519 = 3*u. Does 4 divide u?
False
Let s be -2 + -1 + 2 + 1. Let b = 2 + s. Suppose -93 - 131 = -b*y. Is y a multiple of 28?
True
Suppose 0 = 5*j - 3*b - 7879, -57*j + 54*j = 2*b - 4754. Is 12 a factor of j?
False
Let v(r) = r**2 - 9*r - 2. Let j(a) = -a**3 - 3*a**2 + 3*a. Let u be j(-3). Let h be v(u). Suppose 10*c = -0*c + h. Is c a multiple of 4?
True
Let j = -34 - -16. Let x = j - -64. Let r = 22 + x. Is 17 a factor of r?
True
Suppose -115*z + 146170 + 123495 = 71980. Do