6*k + 80326. Is 14 a factor of m?
False
Suppose 190101 = 268*a - 248*a - 241539. Is a a multiple of 198?
True
Is 134 a factor of (-1065735)/(-81) - 6 - ((-152)/(-36) - 4)?
False
Let j(q) = 10*q**2 + 2*q + 9. Let u be (0 - 1) + -3*56/(-24). Suppose 24 = -2*o - 2*b + u*b, -4*o - 28 = -3*b. Is 23 a factor of j(o)?
True
Let i = -298 - -301. Let c(s) = -5*s + 2*s + 4*s + 4*s. Does 6 divide c(i)?
False
Let k(f) = 45*f - 20. Suppose 8*l + j + 24 = 10*l, 5*l = 3*j + 60. Is 26 a factor of k(l)?
True
Let v(t) = -71*t**3 - 11*t**2 + 8 - 1 + 8*t**2 - 1. Is v(-2) a multiple of 12?
False
Suppose 0 = 7*r - 28 + 14. Suppose 5*w - 1333 + 88 = -r*t, -3097 = -5*t + 3*w. Is t a multiple of 31?
True
Suppose -14*a + 104 = -176. Let h = -20 + a. Suppose -s + 2*s + 2*b - 102 = h, -3*s = -5*b - 306. Is s a multiple of 17?
True
Let l = -919 + 5420. Is l a multiple of 7?
True
Let n(q) = q + 9. Let l be n(-7). Does 21 divide 147/l*(4 - 2)?
True
Does 44 divide -8 + 0 + 90/150*8860?
False
Let b = -75 - -64. Let f be (-3)/(-2)*-1 - b/(-22). Is 4 a factor of (0 + (-24)/(-9))/(f/(-6))?
True
Suppose 56 = 13*l + l. Let k be l*4*(-4)/(-32). Let v(u) = 87*u + 1. Does 14 divide v(k)?
False
Let n(c) = c**3 - 8*c**2 - 44*c + 12. Let h be 22/(-77)*(2 - 44). Is n(h) a multiple of 30?
True
Suppose -2*b = -16 + 90. Let n be b/(-7) - 22/77. Suppose 2*m = 5*s + 85, 0*m + n*m - 145 = -s. Is 6 a factor of m?
True
Let y(t) = 345*t - 221. Let h be y(5). Suppose -7*s + 155 = -h. Is s a multiple of 6?
False
Let z = 825 + -804. Suppose z*v - 28062 = -4920. Does 10 divide v?
False
Let m(w) = 18*w**2 + 12*w - 672. Does 64 divide m(18)?
True
Let o(t) = 2122*t - 112. Is o(1) a multiple of 30?
True
Let x = 29 + -21. Let f(d) = 4*d**2 + 3*d**2 - 3*d**2 - x. Is f(-4) a multiple of 8?
True
Let s(k) = 9*k - 50. Let a be s(6). Is 1714/a*(24/6)/2 a multiple of 17?
False
Let t = 576 + -422. Let f = -88 + t. Is f a multiple of 15?
False
Let a(n) = n**2 + n + 1. Let t(x) = -5*x**2 - 8*x + 11. Let c(k) = -4*a(k) - t(k). Let v(i) = 6*i**3 - 2*i**2 - i. Let s be v(-1). Does 6 divide c(s)?
True
Suppose -2*h = -10, 7*u + 628 = 11*u - 4*h. Let n = u + -132. Does 15 divide n?
True
Does 50 divide (3 + (-39)/1*(-34)/(-102))*-280?
True
Suppose -16*z + 644 = -2*z. Suppose -48*r + 870 = -z*r. Is 15 a factor of r?
True
Let r(p) = -p**2 - 54. Let u be r(0). Let x = -40 - u. Is x a multiple of 7?
True
Suppose -5*c - 9 = -5*m + 31, 22 = -4*c - m. Let o be (0 + 0)*(-3)/c. Is o - (-3 + 3 - 31) a multiple of 31?
True
Let z = -194 + 1208. Suppose w - d = -4*w + 1706, -3*w + 3*d = -z. Is w a multiple of 18?
True
Suppose 133*h = 1660633 + 360967. Is 39 a factor of h?
False
Let b(q) = q**3 + 4 - 3*q**3 - 2*q**2 - 8*q + 3*q**3. Suppose -2*p = -150 + 140. Is b(p) a multiple of 16?
False
Let r(s) = 3493*s + 4220. Is 10 a factor of r(13)?
False
Suppose 12*z + 9*z + 15780 = 80964. Is z a multiple of 4?
True
Suppose 3*w - 4*a - 13319 = 0, -2*w - 2140*a + 2144*a = -8874. Is w a multiple of 2?
False
Let v(q) = q**2 + 32*q + 258. Let h be v(-14). Let r(c) = 91*c - 436. Is 19 a factor of r(h)?
False
Let x(a) = -2*a**2 - 35*a + 54. Let c(s) = s**2 + 13*s - 19. Let w(m) = 8*c(m) + 3*x(m). Suppose 22 = -3*u + 4. Is 8 a factor of w(u)?
True
Let v(f) = 3*f**2 + 88*f + 23. Let j be v(-37). Suppose -202 = 7*n - j. Does 16 divide n?
True
Let z = -450 - -453. Is z + 407 - (7 - 5) a multiple of 68?
True
Let j be (10 - 0)*(-16)/10. Let r = 18 + j. Suppose 107 - r = 3*a. Is 7 a factor of a?
True
Let j(l) = -1319*l**3 - 7*l**2 - 27*l - 20. Does 102 divide j(-1)?
False
Suppose a = -3*a - 5*f - 33, -4*f = 3*a + 26. Let s be ((-78)/(a - -5))/(-3 - -4). Does 8 divide 143/2 + s/(-52)?
True
Let w(g) = -g**2 + 6*g + 3. Let r be w(6). Suppose -645 = -0*t - 5*t - r*x, -5*x = 0. Is (5 - t)*2/(-4) a multiple of 31?
True
Let b = -1731 - -3726. Does 3 divide b?
True
Let h = -60 - -70. Suppose 0 = -5*d + h*d - 270. Suppose g + 0*g - d = 0. Does 6 divide g?
True
Let p(d) = -d**3 + d**2 - 1. Let x(q) = -6*q**3 + 20*q**2 - 17*q + 7. Let b(y) = 2*p(y) - x(y). Is b(7) a multiple of 25?
True
Let t(h) = 4*h**3 + 3*h**2 - 3*h - 5. Let j be t(3). Suppose 5*o = j - 31. Is o a multiple of 6?
True
Suppose 6*i + 4*p - 14 = i, 1 = -i + 3*p. Suppose -128 = -i*f - 3*w + 134, 0 = -f + 2*w + 124. Is f a multiple of 39?
False
Suppose -4*t + 3357 = 5*l, -785 = -l + 3*t - 125. Suppose -2*u = 10*y - 13*y - l, -3*y = 4*u - 1329. Does 25 divide u?
False
Let w be (-1)/6 + (-996)/72. Does 20 divide (-21208)/440*(0 + -1 + w)?
False
Suppose -11*n + 4449 = -270. Let d = n - 126. Suppose 36*i + d = 39*i. Does 49 divide i?
False
Suppose f - 3*r = -2*f + 33, 5*r = -4*f + 35. Suppose -2*p = 3*p + f. Is (p/4)/((-1)/84) a multiple of 14?
True
Suppose -6 + 16 = -q. Suppose 0 = 2*f - 4*x - 40, 4*f + x = -4*x + 41. Is 27 a factor of (f*39 + -6)*(-4)/q?
True
Suppose 570*i - 565*i - 1685 = 0. Let k = -217 + i. Is k a multiple of 8?
True
Let c(d) = d**3 + 37*d**2 - 27*d + 108. Is c(-23) a multiple of 57?
False
Suppose 10769 = 10*m - 12288 - 2503. Does 10 divide m?
False
Let f = -95 + -60. Suppose -10*c = 1406 - 46. Let h = c - f. Is h a multiple of 12?
False
Let q(u) = 31*u - 9. Let y be q(9). Suppose 0 = -2*h + y + 584. Suppose 134 = 3*j - 5*g - 126, 5*j - h = 2*g. Is 17 a factor of j?
True
Let c = -28576 - -39694. Is 17 a factor of c?
True
Let v be (-2)/6*228/(-2). Let l = v + -38. Suppose l*b + 3*b = 408. Is b a multiple of 34?
True
Let y(i) = i + 86. Let m be y(16). Suppose -f = -m - 2. Is 13 a factor of f?
True
Suppose 50 = 5*k - 7*k. Let b = k - -27. Suppose -s + 17 = b. Is 5 a factor of s?
True
Suppose 0 = -28*j + 6*j + 2420. Suppose -99*q = -j*q + 2068. Does 15 divide q?
False
Let w(r) be the third derivative of -r**6/120 + r**5/30 + r**4/12 + r**3/3 + r**2. Let c be w(0). Does 5 divide 32/2 - 8/(c - 4)?
True
Let f = 18241 - 4201. Does 128 divide f?
False
Suppose -21*m = -82299 + 22029. Does 35 divide m?
True
Suppose -2*q + 7*q = c - 37, -33 = -4*c - 3*q. Suppose 4*l - 11*v + c*v = 214, -3*l = 5*v - 169. Is 43 a factor of l?
False
Suppose 32*f - 406056 - 116504 = 0. Is f a multiple of 25?
False
Let z(y) = 5*y - 3 - 8 - y. Suppose c - 17 = -4*j, -c - 5*j + 33 = 13. Does 9 divide z(c)?
True
Let x(p) be the second derivative of -11*p**2 - 1/20*p**5 + 1/3*p**3 - 34*p + 0 + 3/2*p**4. Is 7 a factor of x(18)?
True
Let x(m) = 17*m**3 - 35*m**2 + m + 3. Does 37 divide x(8)?
True
Suppose -2*s = 3*b - 34646, -b - 28*s + 11558 = -26*s. Is 10 a factor of b?
False
Is (-8)/((-3512)/(-62304) + 12/(-198)) a multiple of 32?
True
Let m = -34 + 53. Suppose 11*l = 443 + m. Does 11 divide l?
False
Let y(q) = q**3 + 39*q**2 + 9*q - 134. Is y(-19) a multiple of 41?
False
Suppose 0 = d + 380 - 55. Let w = -321 - d. Does 3 divide w?
False
Let n = 11191 + -7692. Does 9 divide n?
False
Suppose -992 = -j - 3*x, -8*x = -3*j - 5*x + 3036. Does 19 divide j?
True
Is 85 a factor of ((-9)/(-3))/(39/68796)?
False
Let s be 25/6 - (2 + 22/(-12)). Suppose 3*k + k + 340 = 4*g, s*g + 4*k = 332. Does 21 divide g?
True
Let x(m) = m + 1. Let c be x(-2). Let u(a) = -21*a**3 - a**2 - 2*a - 2. Let z be u(c). Suppose 0 = -5*p - z, n + 4*p = p + 54. Does 21 divide n?
False
Suppose 60 + 55 = 5*u. Suppose u*o - 29*o = -24. Suppose 152 = n + 3*n + o*l, -5*n + 185 = 4*l. Is 15 a factor of n?
False
Suppose 0 = z - 2*k, -7*z + 2*z + 14 = -3*k. Suppose 69 = 2*o - 3*r + 12, 2*o - z*r = 58. Let s = o - 18. Is s a multiple of 3?
True
Let u = -42 - -42. Suppose -2*a - 3*c = -17, 5*a + 5 = -u*c + 2*c. Is 6 a factor of (12/(-18))/(a/(-90))?
True
Is ((-343)/2)/(4*(-5)/560) a multiple of 3?
False
Let a = -4433 - -7016. Suppose -2*y = -4*r - 1722, a = 8*y - 5*y - 5*r. Is y a multiple of 21?
True
Let m(c) be the first derivative of 267*c**2/2 - 31*c - 145. Is 76 a factor of m(4)?
False
Let q be 1/((-7)/12 - (-5)/15). Let k(x) = 18*x + 8. Let p be k(q). Let u = p - -71. Is u a multiple of 5?
False
Suppose -41*i = -49*i + 2936. Suppose 133 - i = -3*j. Does 5 divide j?
False
Let v = -700 + 1216. Suppose -3*n = -7*n + v. Let q = n - 19. Is q a multiple of 11?
True
Suppose -3*i - 4*l - 91 - 80 = 0, 271 = -5*i - 2*l. Let w = 81 + i. Does 15 divide w?
False
Let l(t) = 8*t + 11. Let k be l(4). Suppose -3*r + 14 = -2*w + k, 5*r = 15. Is w a multiple of 19?
True
Suppose