/108)/(-7)) a multiple of 4?
True
Let l(t) = -t**2 + 6*t - 1. Let c be l(5). Suppose 3*d - c*b = -d - 8, -8 = 5*d - 4*b. Suppose -5*y + 549 - 179 = d. Is 30 a factor of y?
False
Let s = -28066 + 52130. Is s a multiple of 188?
True
Suppose 26*u - 27*u + 4342 = -3*t, 0 = 3*u + 4*t - 12987. Is u a multiple of 16?
False
Let a = -127 + 142. Suppose -a - 79 = -o. Is o a multiple of 9?
False
Let j = 2264 - -3409. Is 21 a factor of j?
False
Suppose 0 = 5*b - 9*b + 12. Suppose -5*v - 6 = 2*g - 0*v, 5*g + b*v = 4. Suppose 3*x - 2*c = 568, g*x + x + 3*c = 543. Is 27 a factor of x?
False
Let x = -762 + 755. Does 19 divide x/((-56)/32)*(-233)/(-2)?
False
Let s(g) = g**3 + 21*g**2 + 18. Let l be s(-21). Suppose 180 = 3*x + l. Is x a multiple of 33?
False
Let s(j) = 946*j**2 + 14*j + 63. Does 12 divide s(-4)?
False
Let i = 5583 - 4308. Is i a multiple of 51?
True
Let o = 96181 - 52422. Is o a multiple of 35?
False
Let f be (-114)/76*(0 + 4/6). Is 43 a factor of f - (6 - 1728)/6?
False
Let u = -885 + 4278. Is 19 a factor of u?
False
Is 12 a factor of 6000*(51/45 + (-35)/(-525))?
True
Let v = 11 + -7. Suppose 2*o - d + 1 = 0, -2*o = -6*d + 12*d - 48. Suppose 3*a = -r + 48, r - o*r + 116 = -v*a. Does 18 divide r?
True
Suppose 112*m - 107*m = -875. Let h = m + 316. Is 4 a factor of h?
False
Suppose 184684 = 87*c - 182804. Does 33 divide c?
True
Let a(p) = 6*p - 28. Let n be a(5). Suppose -q - s = -n*q + 577, -3*s + 9 = 0. Is 59 a factor of q?
False
Let d(i) be the third derivative of -49*i**4/24 - 41*i**3/3 - 12*i**2. Is d(-10) a multiple of 24?
True
Let f = 19334 + -9459. Is f a multiple of 25?
True
Is 116 a factor of (-105100)/(-6) + 54/(-9) + 32/6?
True
Let f = 16 - 13. Suppose f*i - a + 110 = a, 2*i = -a - 71. Does 9 divide 250/(-20)*i/10?
True
Let h be (-605)/(-44) - (-2)/8. Let w(r) = r**3 - 13*r**2 - 12*r - 20. Is 7 a factor of w(h)?
False
Is 30 a factor of (-550)/(-44)*21774/15?
False
Suppose -4*y = -3*f + 27054, -18050 = -2*f - 4*y + 2*y. Does 26 divide f?
True
Let t = 2932 + -300. Is t a multiple of 7?
True
Let m = -101 + 142. Let z = -38 + m. Suppose -z*t + 2*q = -347, 0 = -4*t - 2*q + 3*q + 471. Is 17 a factor of t?
True
Suppose -8*t = -6*t - 280. Suppose 8*s - 212 - t = 0. Let y = 12 + s. Is 10 a factor of y?
False
Is 66 a factor of ((-8118)/27)/(7/(-252))?
True
Let a be 0 + 1 - (-6)/3. Suppose s = -5*w + 12, -4*w - 14 + 24 = s. Suppose 5*d - 1171 = w*y, d - 245 = a*y + y. Does 36 divide d?
False
Let b(n) = -n**2 + 8*n - 7. Let f = -43 + 49. Let z be b(f). Suppose -6*j - 3*r = -j - 285, 0 = -z*j + 5*r + 325. Is j a multiple of 15?
True
Suppose m + 14*y - 13*y - 4215 = 0, 5*m - 2*y = 21075. Does 13 divide m?
False
Let f = 17 - 12. Let q(r) = 2*r**3 - 8*r**2 + 7*r - 5. Let k be q(f). Let d = 156 - k. Is 19 a factor of d?
True
Let p(r) = -4*r**2 + r - 1. Let h be p(1). Let s(f) = -13*f + 4*f - f**2 + 6*f**3 - 3*f**2 - f**2 - 2 - 7*f**3. Is s(h) a multiple of 6?
True
Let g be ((-15)/(-9))/(1/(-3)). Let y be 2*-1*g/(-1 - -6). Is 12 a factor of 3 - (-1 + -70 + y)?
True
Let h = 48 + -46. Suppose 4*o + 12 = -4*a + 120, 128 = 5*a - h*o. Does 2 divide a?
True
Let r be (-1)/2 + 80/32 - -1. Let t(c) = -11*c**2 - 8*c**3 - r - 9 + 24*c - 3 + 9*c**3. Is 8 a factor of t(9)?
False
Suppose -28*d + 0*d - 9*d + 275169 = 0. Is 10 a factor of d?
False
Suppose -5*q = -m + 19106 - 50457, 5*q + 4*m = 31371. Is 54 a factor of q?
False
Let z(x) = x**3 + 0 - 1 + 7 + 0 - 7*x - 2*x**2. Let y be z(4). Does 10 divide (-1012)/(-20) + (-6)/y?
True
Let h = -79 - -82. Suppose -504 = h*v - 4*k, -3*k - 336 = 2*v - 0*k. Is 14 a factor of (1 - -35)/((-36)/v)?
True
Suppose 5130 - 1302 = 4*g. Is g a multiple of 33?
True
Let x(q) = q**2 - 6*q + 32. Suppose -37 = -5*b + 3*l, -17 = -2*b + l - 2. Is x(b) a multiple of 13?
False
Let f be (118/(-236))/(2 - (-618)/(-308)). Let m be (-1*4 + 1)*-1. Suppose m*q - 19 = f. Is q a multiple of 13?
False
Let v = -4334 + 6137. Is 16 a factor of v?
False
Suppose -2*a + 119 = d, 3*a = -0*d + 5*d - 621. Suppose 7*w + d = 116. Let z(v) = -109*v - 4. Does 7 divide z(w)?
True
Suppose 17*a - 448 = 3972. Is 26 a factor of a?
True
Suppose -17*k - 15*k - 13*k + 288270 = 0. Does 29 divide k?
False
Suppose c - 258 = 3*r, -r + 588 + 470 = 4*c. Is c a multiple of 132?
True
Suppose -59*z + 30*z - 188464 = -45*z. Does 21 divide z?
False
Let y be 2/3 + (-224)/21. Let d(r) = -48*r - 7. Let j be d(y). Let v = j - 329. Is v a multiple of 24?
True
Let l be 14*(-8)/(0 - -4). Let c = l - -30. Suppose 2*d - 2 = 3*z - 5*z, -c*z - 2 = 0. Is 2 a factor of d?
True
Let b(g) be the third derivative of -47*g**4/12 + 7*g**3/2 - g**2 - 2. Is 23 a factor of b(-1)?
True
Let v be (99/(-6) + -5)*-2. Suppose -37 = -3*d - v. Does 43 divide ((-430)/20)/(6/4 + d)?
True
Let v be (-12)/(-3) + 516 + -4. Let l = 278 - v. Let a = -154 - l. Is a a multiple of 10?
False
Suppose -15*u - 4050 = -420. Let s = 307 + u. Is s a multiple of 7?
False
Suppose 0 = -b - 2*r - 21, 0 = -3*b - b + 2*r - 84. Let k be 1*(b + 2)*4/(-4). Suppose -18*z = -k*z + 77. Does 21 divide z?
False
Suppose 2*j + 2*t - 3411 = -3*j, 3*j - 4*t = 2031. Suppose -2*u - j = -5*c - 4*u, 4*c - 5*u - 525 = 0. Let w = 329 - c. Is 13 a factor of w?
False
Let t be -2 + -1 - 888/((-48)/(-6)). Let c = t + 408. Is 6 a factor of c?
True
Let q(d) = 5204*d + 228. Is 14 a factor of q(1)?
True
Suppose -5*a + 7*a = 4. Suppose -v + 4*h + 140 = 0, -5*v + v + 490 = -a*h. Suppose q = p - q - v, 2*p = -3*q + 205. Is p a multiple of 22?
True
Let o(u) = -u**3 - 19*u**2 + 21*u + 22. Let s be o(-20). Suppose 3*d + 47 - 112 = 5*v, 58 = 3*d + s*v. Is d a multiple of 5?
True
Does 2 divide 1/(-6) + -82453*1/(-42)?
False
Let q(x) = 31*x + 10. Let a be q(5). Suppose a = 6*t - 3*t. Suppose -f + z + 195 = 3*f, f + z = t. Is f a multiple of 10?
True
Let g(u) be the second derivative of -4*u**2 + 1/6*u**4 + 0 + 1/6*u**3 - 10*u. Does 10 divide g(6)?
True
Let z(f) = 73*f**2 + 5*f + 14. Let i(s) = -363*s**2 - 24*s - 69. Let h(q) = 4*i(q) + 21*z(q). Does 15 divide h(-3)?
True
Let n(k) = 139*k - 112. Let c be n(9). Suppose -4*o = 2*l - 1516, 3*o + 49*l - c = 47*l. Is 29 a factor of o?
True
Let o(j) = -j**2 - 7*j + 2. Let z(l) = l**2 - 14*l + 6. Let n be z(14). Suppose -3 = -y - n. Does 14 divide o(y)?
True
Let h(l) = 443*l**2 + 17*l - 8. Does 58 divide h(2)?
True
Let c(s) = 117*s**2 + 2*s + 5. Let v be c(-2). Let w = -393 + v. Is w a multiple of 4?
True
Suppose -156*t - 24169 = -248146 - 76167. Is t a multiple of 81?
False
Suppose 828 = n - 74. Suppose 9 = 2*k - 5*k, -n = -4*m + 2*k. Does 17 divide m?
False
Suppose -4*u + 4 = 0, -18*u = -s - 13*u + 545. Suppose 3*k = 494 + s. Is 58 a factor of k?
True
Suppose 14*r - 36 = 11*r. Suppose -6*v = -10*v + r. Suppose -3*k + 2*u + 102 = -k, -v*k + u = -151. Does 13 divide k?
False
Suppose -7*a = -2*a - 4*r + 5585, 2*a + 3*r = -2234. Let l = a - -1709. Does 56 divide l?
False
Let m(k) be the third derivative of 33*k**4/4 + 25*k**3/6 - 16*k**2. Let u(b) = 99*b + 12. Let x(n) = 3*m(n) - 7*u(n). Is 27 a factor of x(-2)?
True
Suppose 17327 + 140651 - 1104253 = -37*c. Does 65 divide c?
False
Let d(z) = 3*z**2 - 18*z - 3. Suppose 3*o - 78 = -57. Is 7 a factor of d(o)?
False
Let y(d) = 374*d - 1838. Is 3 a factor of y(9)?
False
Let f(u) be the third derivative of 6*u**5/5 - u**4/6 + u**3/3 - u**2. Let h be f(-2). Suppose h + 108 = 7*n. Is n a multiple of 20?
False
Let f = -53 - -53. Suppose f = 3*d + 6*d. Suppose -6*b + 15 + 3 = d. Does 2 divide b?
False
Suppose -34*w + 37*w - 61455 = 0. Is 17 a factor of w?
True
Suppose 3*j = 2*c + 1 - 3114, 3*c - 4665 = 3*j. Is c a multiple of 16?
True
Let w be (-2)/(-2) + 6 + 12/(-3). Suppose 2*d - 11 = -4*j - w, 4*j + 4*d - 4 = 0. Suppose j*o + 4*v - 36 = 0, 2*v - 4*v - 6 = 0. Is o a multiple of 2?
True
Let n = -30 + 32. Let s(m) = -m**3 - 6*m + 6*m + 4 - 5 + 3*m**2. Is s(n) a multiple of 2?
False
Is -2 + -2 + (-112)/(-140) + (-73472)/(-10) a multiple of 51?
True
Suppose 0 = 3*z + 4*o - 39494, 10*z - 9*z + 2*o - 13168 = 0. Is 105 a factor of z?
False
Suppose 5*g = -5*u + 93160, 0*u = -3*u - g + 55900. Is u a multiple of 39?
False
Suppose 94*i - 24 = 88*i. Suppose s - 498 + 69 = 5*k, 1659 = i*s - k. Is s a multiple of 69?
True
Let d(g) = 6*g**3 - 6*g**3 - 13*g - g**3 + 6 - 15*g**2 - 15. Let u be d(-14