 a factor of p(c)?
False
Let c(r) = r - 10. Let y be c(-22). Is 5 a factor of (1*2/(-6))/(y/4320)?
True
Let h = -452 - -470. Does 4 divide h?
False
Suppose 4*w = 10 + 18. Let z(h) = 4*h - 14. Is 10 a factor of z(w)?
False
Is 8 a factor of -10 + 10 - (-1941 - (-3 - 2))?
True
Let n(t) = -t**3 - 7*t**2 + t + 12. Let j be n(-7). Suppose 0 = -j*y + 4*c - 44, 3*y = -2*y - 2*c - 38. Let m = y - -16. Is m a multiple of 8?
True
Suppose 0 = m - 4*b - 96, 2*b + 0*b = -m + 114. Does 3 divide m?
True
Let h(d) = 15*d - 12*d - 12*d - 10 - 9*d. Is h(-3) a multiple of 11?
True
Let n(r) = -2*r**2 - 7*r - 17. Let v be n(-8). Let c = v + 180. Does 20 divide c?
False
Let d be 10/2*(-42)/(-35). Suppose -5*q - 3*l + 155 = 0, -d*l - 54 = -q - 2*l. Is q a multiple of 15?
False
Let k = 115 + -119. Is 10 a factor of ((-14)/(-4))/((-906)/228 - k)?
False
Let w = 66 + 354. Does 6 divide w?
True
Let g = 567 - 156. Is g a multiple of 24?
False
Suppose 6*n - 17774 - 724 = 0. Is n a multiple of 34?
False
Is (10 + -12)/((-2)/1226) a multiple of 59?
False
Let l(r) = 2*r**2 + 9*r - 48. Does 19 divide l(8)?
True
Suppose 0 = -23*g + 6660 + 5714. Does 21 divide g?
False
Let r(v) = 47*v**3 - v**2 + 4*v + 3. Let c be r(-2). Let b = c + 581. Is 14 a factor of (b/(-21))/(1/(-3))?
True
Suppose -11*f - 2922 = -13845. Does 72 divide f?
False
Suppose 2*j = -2 - 14. Suppose l - 5*l - 4*y = -1184, 0 = -y - 1. Does 4 divide 6/j - l/(-12)?
True
Suppose -g = -5, 0 = 3*p + g - 26 + 6. Suppose -m - 13 = -5*u, 5*u + 4*m + p = -m. Suppose -3*k + 6 + 9 = 0, -u*q + 4*k + 20 = 0. Is q a multiple of 4?
True
Let x = -167 + 88. Let q = x - -314. Suppose 2*z = 3*h + h + 84, -5*z + 5*h + q = 0. Does 27 divide z?
False
Let c(i) = -i**3 + 2*i**2 + 3*i. Let h(f) = -f - 9. Let v be 1*-5 + 4 + -6. Let q be h(v). Is c(q) a multiple of 10?
True
Suppose 0*s - 676 = 4*s. Suppose 2*a + 4*g = 5*a + 717, a = -3*g - 252. Let d = s - a. Is 13 a factor of d?
False
Suppose 3*w - 2 = 3*g - 2*g, 2*g + 10 = 4*w. Let l(d) = -d**3 - 11*d**2 + 2. Let x be l(g). Suppose x*f = -3*k - 1, -3*k = 3*f - 1 - 5. Is f even?
False
Is -4*(-4 + 0 + (-43)/2) a multiple of 6?
True
Suppose -i - 2*i = -5*p + 30, -4*p = -3*i - 27. Suppose 0 = j - 5*a - 15, -3*a = -j - a + p. Does 8 divide (-2)/j + (-228)/(-30)?
True
Suppose 9*n - 2249 = 1513. Is n a multiple of 13?
False
Suppose 4*b - 8 = 2*b, -b + 232 = 2*j. Suppose j + 6 = 6*l. Suppose l = 3*x - 22. Is x a multiple of 14?
True
Is 40/(-50) + 1108/10 a multiple of 3?
False
Let h = 81 + -115. Suppose -4*q = -14 + 34, 4*q = j - 105. Let p = j + h. Is 17 a factor of p?
True
Suppose 1159 = 5*l + 489. Suppose 0*b + 291 = -3*v - 3*b, 0 = 3*v + 5*b + 295. Let g = l + v. Is 13 a factor of g?
True
Let n be (-2)/3 - 8*355/(-30). Suppose -98 = -2*o + n. Is o a multiple of 48?
True
Let y(w) = -2*w**2 + 9*w + 24. Let n be y(7). Let d(v) = -v**3 - 9*v**2 + 14*v + 9. Does 46 divide d(n)?
False
Let i(v) = v + 7. Suppose 2 + 5 = p - 3*d, 21 = -5*p + d. Let n be i(p). Suppose 2*c = -n*c + 48. Is c a multiple of 4?
True
Let r(o) = o + 6. Let z(s) = -4*s - 17. Let v(h) = -7*r(h) - 2*z(h). Let x(n) = n**2 + 4*n + 7. Let j be x(-5). Does 4 divide v(j)?
True
Let t(c) = c**2 - 12*c - 14. Let j be t(13). Is 12/(j*2/(-12)) a multiple of 14?
False
Let n(d) = -7*d + 1. Let l be n(-1). Let b(j) = j**3 - 7*j**2 - 4*j + 8. Let f be b(l). Suppose -4*v + f = -8. Is v a multiple of 5?
False
Let p(j) = -4*j - 33. Let q be p(-9). Suppose o = q*o - 16. Is o a multiple of 5?
False
Let t be (-16)/(-10)*(-15)/(-2). Let o be (132/30 - 4)/(2/(-60)). Is (-27)/o*t/9 even?
False
Suppose 3*j + 6 = 0, -n + 0*n = 4*j + 6. Suppose -x + 4*x = n*w + 104, -180 = -5*x + 5*w. Suppose m + 2*b - 34 = 0, 2*m - x = b + 21. Does 10 divide m?
False
Suppose 4398 = 6*o - 360. Is o a multiple of 79?
False
Let p(h) = 8*h**2 + 6*h - 31. Is p(-6) a multiple of 10?
False
Suppose 2*b = 5*l, 5*l = b - 2*b + 30. Suppose -8*p = -38 - b. Is p a multiple of 2?
True
Let s(u) = -28*u**2 + 3*u. Let d be s(2). Is (d/5 - 2)/(22/(-55)) a multiple of 33?
False
Suppose -4*u = -9*u - 80. Let g = u + 20. Suppose 3*x - 167 = o - 52, 0 = -2*o + g. Is x a multiple of 13?
True
Suppose 5*d = 3*f + 1019 + 1405, -492 = -d + 3*f. Is 18 a factor of d?
False
Suppose 0 = 6*z - z - 3*s - 1495, 2*z - s - 599 = 0. Suppose -3*u - z = -5*u. Is u a multiple of 22?
False
Let u(z) = -z**3 + 47*z**2 + 99*z + 4. Is u(49) a multiple of 4?
False
Does 15 divide (71176/49)/8 - 8/14?
False
Let r(l) = -l**3 - 11*l**2 + 11*l + 5. Suppose 17 + 3 = -4*y + 5*o, 3*y + 5*o = -15. Let c be y/20 + (-94)/8. Is 10 a factor of r(c)?
False
Suppose -5*x = -4*u + 29 + 8, -1 = -2*u - x. Suppose -u*a + 4*a + 3*c - 33 = 0, 3*c = 3*a - 111. Does 9 divide a?
True
Let b = 1336 + -115. Is b a multiple of 20?
False
Suppose -q + 23 = -7. Suppose 0 = -q*a + 23*a + 1225. Is 9 a factor of a?
False
Let q be 16/(-12)*(-3)/2. Suppose -5*l + l = -20. Suppose -l*j + 138 = q*x - j, 3*x - 174 = 5*j. Does 21 divide x?
True
Let f = 81 - -354. Does 5 divide f?
True
Let c = -14 - -23. Let h = c + -11. Is 33/7 - h/7 a multiple of 3?
False
Is 47 a factor of 2*(47/2 + 0)?
True
Let y = 596 - 459. Is y a multiple of 4?
False
Let k(a) be the first derivative of a**7/105 - a**6/360 + a**4/24 + 4*a**3/3 + 3. Let x(j) be the third derivative of k(j). Is x(1) a multiple of 8?
True
Let m = -107 - -90. Let n = 121 - m. Is 6 a factor of n?
True
Let n(l) = l**3 - 2*l**2 + 3. Let w be n(3). Let v(c) = -7*c + 7. Let t be v(2). Let h = w - t. Does 9 divide h?
False
Suppose 6*w = 4*w + 384. Suppose -1 = u, 0*r + 4*r - 4*u - w = 0. Is r a multiple of 11?
False
Let q(m) = -2*m**3 - 5*m**2 - 5*m + 5. Does 24 divide q(-6)?
False
Let t = 136 + 198. Does 53 divide t?
False
Suppose -1038 + 224 = -2*m. Let s = 660 - m. Is s a multiple of 43?
False
Suppose -80*u + 4 = -82*u. Is 45152/238 + u/(-7) a multiple of 13?
False
Let n(i) = -i**3 - i**2 + 123. Let d be n(0). Suppose -2*p = -3*j + 178, 2*p + 31 = -3*j - d. Let w = p + 124. Is w a multiple of 12?
False
Let i(l) be the second derivative of 3*l**5/10 - l**4/12 + l**3/6 + 27*l. Is 27 a factor of i(3)?
False
Suppose -u = u. Suppose 2*d - 306 = -k, 0 = -u*k + 4*k + d - 1224. Suppose -3*f = -k + 108. Does 12 divide f?
False
Let u(h) = 394*h + 33. Does 13 divide u(1)?
False
Suppose -5958 = -11*a + 4261. Is 51 a factor of a?
False
Let p = 2098 + -1877. Is p a multiple of 4?
False
Let n(s) = 4*s**2 + 12*s + 2. Let g = -144 - -137. Is 17 a factor of n(g)?
False
Let o(d) = -d**2 - 3*d - 2. Let z be o(-3). Let l be 2 + ((-2)/1 - z). Is 12 a factor of (-5)/l*84/(-15)?
False
Let g(y) = y**3 + 11*y**2 + 2*y. Is g(-10) a multiple of 40?
True
Suppose -23*v = -19*v + 40. Does 7 divide (v/(-4))/(17/170)?
False
Let d(f) = -f - 12. Let v be d(-20). Let b(u) = u**3 - 7*u**2 - 1. Does 17 divide b(v)?
False
Suppose 6*l - 2*m - 5 = l, 3*l - 17 = 4*m. Is -4 - 8/l - -121 a multiple of 27?
False
Let a(v) = v**2 - 4*v + 5. Suppose -n - 2*x + 7 = 0, -24 = -9*n + 4*n + x. Is a(n) a multiple of 2?
True
Suppose -4*u + 5*s + 6 = 0, -5*u - 5 - 2 = s. Let w be (1 + u)/4 + -52. Let j = w - -88. Is 11 a factor of j?
False
Suppose -14 = -6*r + 10. Suppose -r*g + 3 = -g. Is 3 a factor of 2/(g/((-9)/(-2)))?
True
Let f be (11 - 12)/((-2)/4). Suppose p = f*s - 121, s + 307 = 6*s - 4*p. Is 25 a factor of s?
False
Let a = -12 + 58. Let w(m) = m**2 - 9*m + 1. Let q be w(8). Let k = q + a. Is 13 a factor of k?
True
Let h = -1548 + 2955. Is h a multiple of 33?
False
Let n(l) = l**3 + l**2 - 2*l + 6. Let j be n(3). Is (-4)/((-16)/j) - 2 a multiple of 7?
True
Suppose 0 = r + 2*r - 15. Suppose 2*s + m - 220 = 110, -r*m + 830 = 5*s. Is 11 a factor of s?
False
Let s(w) = -w - 2. Let h be s(-2). Suppose h = 4*z - 5*j + 52, 4*z = -0*z - 5*j - 12. Is 11 a factor of (76/z)/((-2)/8)?
False
Let c be 5/(-20) - 3963/(-12). Suppose 54*p = 56*p - c. Is p a multiple of 55?
True
Suppose -6*w + 0*w = -192. Suppose -17*m + w = -9*m. Does 4 divide m?
True
Suppose 4*o = 1422 - 314. Suppose 5*s + n - o = 165, -5*s + 5*n = -430. Suppose 8*h = 4*h + s. Is h a multiple of 22?
True
Suppose 6*m + 1386 = 17*m. Is m a multiple of 15?
False
Suppose 663 = 2*v + 3*o, -51*v + o = -48*v - 1000. Does 5 divide v?
False
Let n(z) = z**3 - z**2 - z + 8. Let h be n(0). Let v be (-13 - -26) + 