Suppose s - 4*p - 384 = -3*s, 0 = 3*s - 5*p - 298. Let f = 83 + s. Is 7 a factor of f?
False
Let o be 11742/15 + 4/40*2. Is (-10 - -19 - 10)*o/(-1) a multiple of 36?
False
Suppose -41 = -3*d - 32. Suppose 13*j - 11*j = -3*o + 2843, 2851 = d*o - 2*j. Does 14 divide o?
False
Suppose 3*q - 5*r - 5525 = 0, 13*r - 15*r = -4. Is 20 a factor of q?
False
Let p = 4 + -10. Let g(f) = -f**3 - 7*f**2 - 4*f + 9. Let n be g(p). Does 5 divide (((-75)/(-2))/n)/((-5)/10)?
True
Suppose 674*g - 38*g = 247713 + 312603. Is g a multiple of 8?
False
Let w(q) = -3*q**2 - 402*q + 60. Does 15 divide w(-110)?
True
Let m = -28 - -10. Let j be ((-8)/18)/(m/81). Suppose -j*c + 495 - 161 = 0. Is c a multiple of 21?
False
Let h = 335 + -186. Let o be 3/(-18) - h*(-3)/(-18). Is 3 a factor of o/(-5 + 0) + 2?
False
Let f be ((-110)/25)/(3/(-45) + 0). Let a = 71 - f. Suppose -a*m + r + 0*r + 596 = 0, -5*m - 2*r + 608 = 0. Does 16 divide m?
False
Let f(x) = 7*x**3 + 2*x**2 + 5*x - 14. Let b be f(6). Let i be ((b/(-12))/(-4))/((-6)/27). Let m = -3 - i. Does 49 divide m?
True
Let p(n) = 108*n**2 - 21*n - 73. Let x = -197 + 194. Is 13 a factor of p(x)?
True
Suppose 46 + 146 = 4*q. Let r = -43 + q. Is 29 a factor of (r - -31)/((-3)/(-10))?
False
Let u = 759 - 750. Suppose 0 = -u*p + 19*p - 11000. Does 44 divide p?
True
Let w(s) = 36*s**2 - 437*s + 21. Let n(y) = -18*y**2 + 220*y - 11. Let v(p) = 7*n(p) + 4*w(p). Is v(16) a multiple of 13?
True
Let n(q) = 663*q**2 - 232*q + 463. Does 129 divide n(2)?
False
Let q = 5912 + -3750. Suppose -3*y + 202 = 2*x - q, 0 = -4*y + x + 3141. Is 6 a factor of y?
True
Let t be (-76236)/(-48) - 1/4. Let o = -1102 + t. Is 54 a factor of o?
True
Let d be (-4)/(-18) + 2318/18. Suppose -5*n = 25, -4*j - 3*n + 0*n + d = 0. Suppose -204 = -4*p + j. Is 12 a factor of p?
True
Suppose 0*o - 3*k = -4*o + 24, -4*k = 16. Suppose w + 202 = -o*d - w, -5*d = 3*w + 335. Does 31 divide 11/(33/6) + d/(-2)?
False
Suppose 0 = -4*m + 3*s + 123860, -3*m + s + 61515 = -31375. Is m a multiple of 85?
False
Suppose m - 368 = -4*g, -37*g = -m - 42*g + 365. Is m a multiple of 19?
True
Let k be 42/(-105) + -1 + 411/15. Suppose 0 = k*d - 102 - 3616. Is 13 a factor of d?
True
Suppose 0 = -8*n + 9*n - 4. Suppose 1250 = 2*f + 4*h, 2*h + 44 = n*f - 2446. Does 15 divide f?
False
Suppose 498*y - 8112 = 485*y. Is y a multiple of 24?
True
Let k be (555/20)/(5/20). Suppose -103*f - 880 = -k*f. Is 5 a factor of f?
True
Suppose 4*g - 3852 = 1719 + 813. Is g a multiple of 4?
True
Let o(c) = -c**3 - 7*c**2 - c - 2. Let p be o(-7). Suppose 8*m = p*m + 153. Let s = 66 - m. Is s a multiple of 4?
False
Suppose -l = -5*j - 365, 50*l - j - 1729 = 45*l. Is l a multiple of 9?
False
Let y(c) = -269*c - 6. Does 128 divide y(-30)?
True
Let j(i) = -30*i + 34. Let w be j(-10). Suppose -t + w = 61. Is t a multiple of 13?
True
Let l = 100 - 64. Let j be (-2)/(-4)*(6 - l/6). Suppose j = 5*i - 177 - 228. Is 19 a factor of i?
False
Does 17 divide (109242/(-153))/(9/(-21))?
True
Let a = 64381 - 42493. Is 78 a factor of a?
False
Suppose 5*m - 34 = -6*g + 2*g, -3*m + 13 = -5*g. Is 43 a factor of (-10)/m*29976/(-40)?
False
Let q = -75 + 65. Let o be 5/q - 29/2. Is 3*(-5)/o - -125 a multiple of 14?
True
Let s(r) = -r**2 + 15*r - 7. Suppose 3*f - 7 - 35 = 0. Is s(f) a multiple of 2?
False
Let a(l) = -l**3 - 49*l**2 - 105*l - 140. Does 11 divide a(-49)?
True
Let i(d) = -57*d + 15. Suppose -1 = 6*z + 17. Let p be i(z). Suppose 2*t = p + 30. Does 18 divide t?
True
Let i = -30 - -24. Let a be 550/i - 26/(-39). Does 22 divide (a/52)/(1/(-44))?
False
Let w = 16 - 12. Suppose -w*b + b = -972. Suppose 3*s - b = -3*s. Does 6 divide s?
True
Suppose -2140*v = -2122*v - 359856. Does 84 divide v?
True
Let t(s) = 92*s + 15076. Is 14 a factor of t(0)?
False
Let k(p) = 4*p**2 - 2. Suppose 2*i - 14 + 12 = 0. Let u be k(i). Suppose 175 + 7 = 2*q - u*r, -4*q = 5*r - 355. Is 10 a factor of q?
True
Let f(l) = l**2 - 6*l - 5. Let a(z) = -z**2 - 12*z - 13. Let g be a(-10). Let b be f(g). Suppose -b*r - q - 4*q + 223 = 0, -q = -4*r + 479. Is 17 a factor of r?
True
Let y(z) = 3*z**3 - 188*z**2 - 76*z + 970. Is y(63) a multiple of 14?
False
Suppose 42*r = 62*r - 47520. Is r a multiple of 12?
True
Suppose -5*h - 3*t - 254 = 0, -4*h + 2*t + 3*t - 181 = 0. Suppose -2*k + 6*k + 667 = -3*s, -5*s - 1097 = 3*k. Let r = h - s. Does 42 divide r?
True
Is 2 a factor of 238 - 4 - (12 + 2)?
True
Let b(i) = -1075*i - 294. Does 16 divide b(-2)?
True
Suppose r - 76 = 5*c + 735, 5*r = 3*c + 4077. Suppose -15*q + 9*q + r = 0. Is q even?
True
Does 179 divide ((-56)/(-5))/(1574/106245)?
False
Let d(w) = -12*w + 192. Let s be d(16). Suppose s = -25*b - 6*b + 3348. Is 18 a factor of b?
True
Let s = 910 - 179. Let x = s + -410. Suppose -189 - x = -10*h. Is 11 a factor of h?
False
Is 6027/12 + 42/56 a multiple of 2?
False
Is 26 a factor of (498/4 - (-54 - -60))/((-21)/(-616))?
False
Let n = 27917 - 20867. Does 10 divide n?
True
Suppose -854 = -95*a + 81*a. Suppose -9282 = a*o - 78*o. Is o a multiple of 42?
True
Suppose 29*j + 13274 = 4*l + 31*j, l - 3301 = 2*j. Does 12 divide l?
False
Suppose 4*d + 57 = 3*v, v - 56 = 4*d - 3*v. Let x be 0 - (-3)/d*0. Suppose -3*h + 6*h - 411 = x. Is h a multiple of 19?
False
Suppose -3*p = 4*a - 8862, a + 4*p = p + 2211. Is a a multiple of 11?
False
Let a(t) = t**2 - 7*t - 6. Let g be a(-1). Suppose -g*x = n - 8, 2*n - 3*n = 5*x - 17. Suppose 2*q + n*f = 4*q - 136, 272 = 4*q - 5*f. Is 17 a factor of q?
True
Let q(v) = 28*v**2 + 4*v - 300. Is q(-15) a multiple of 30?
True
Let r(k) = k**3 + 8*k**2 + 5*k - 11. Suppose 0 = 12*y - 17*y + 3*p - 36, p = y + 8. Is 3 a factor of r(y)?
False
Let m(r) = 275*r + 9*r**3 - 14 - 295*r + 13*r**2 - 8*r**3. Suppose -o - 5*u + 1 = 0, u + 2*u = 9. Is m(o) a multiple of 12?
False
Let l(t) = -586*t - 61. Is 7 a factor of l(-3)?
False
Suppose -3*w = -2*y + 139 + 1019, -4 = 2*w. Does 9 divide y?
True
Let x(d) = d**2 - 43 - 2*d**2 + 38 - 20*d. Is 2 a factor of x(-12)?
False
Suppose -2 = -7*r + 5. Does 14 divide -11*(-4 + -6 + 3) + r?
False
Suppose 0*w + 2*r = 3*w - 6124, 4*r = 28. Does 66 divide w?
True
Suppose 14 + 10 = 3*m. Let u(l) = -2*l**2 + 4*l + 10. Let d be u(m). Let t = 108 - d. Is 25 a factor of t?
False
Let h(u) = u**3 - 14*u**2 - 22*u - 61. Does 9 divide h(16)?
True
Let z(y) = -y**3 + 94*y**2 + 50*y - 598. Is z(92) a multiple of 69?
False
Let v be (4/8 - 2)*(-5 - 1). Suppose -a - 2*g = -297, 5*a + v*g = 6*g + 1450. Is 7 a factor of a?
True
Suppose 5702*x - 6137 = 5683*x. Is 20 a factor of x?
False
Suppose 2*v + 2 - 4 = 2*m, -3*m + 3 = 0. Suppose 4*x = -y + 58, 2*y - 5*x = -3*y + 415. Suppose 3*d = -o + 4*o - y, 0 = -v*o - d + 55. Is 27 a factor of o?
True
Let d(g) = g**3 - 6*g**2 + 10*g - 22. Let y be d(5). Suppose 0 = -y*m + 1231 + 977. Is m a multiple of 8?
True
Suppose -3*n - 2*q + 155150 = 0, -38576 = -n - q + 13139. Is 15 a factor of n?
True
Is (-8172)/(-3 + 0) + (-2 - (21 - 19)) a multiple of 34?
True
Suppose -o + 6*o = 40. Suppose 0 = 5*h - 4*c - o, -4*h - 4*c = c - 31. Suppose 7*r - h*r - 99 = 0. Does 33 divide r?
True
Let l(o) = 3*o**2 + 9*o - 9. Let p be (-2 - 118/8)/((-5)/20). Let s = p + -74. Is 25 a factor of l(s)?
True
Let g(y) = -297*y + 1319. Does 14 divide g(-7)?
False
Suppose 956 + 754 = 2*r. Let h be r/(-24) - (-30)/(-80). Let u = h - -96. Is 20 a factor of u?
True
Let s = -49 + 52. Suppose -s*a = 7*a - 50. Is 12 a factor of (24/a)/(2*(-5)/(-50))?
True
Let r(s) = s**3 - 9*s**2 - 9*s - 16. Let y(i) = -2*i**3 + 18*i**2 + 16*i + 31. Let b(p) = -7*r(p) - 4*y(p). Does 51 divide b(12)?
True
Let s = 2943 - 1579. Suppose -6*f - 5*f = -s. Is f a multiple of 4?
True
Suppose 0 = 4*v + 40 - 328. Let u be 16/v - ((-34)/9 + 2). Suppose -s = -u*s + 96. Is s a multiple of 24?
True
Suppose 2*f + 78368 + 7888 = 20*f. Is f a multiple of 3?
False
Let j be (-41)/(-4) + 2/(-8). Suppose 0 = -3*p - 2*p + j. Is 17 a factor of (p - 2) + 28 + 10?
False
Suppose -2*c + 370 = -7*d + 6*d, -2*d + 748 = 4*c. Is 18 a factor of (-2)/(2/7)*c/(-21)?
False
Let n = -44 - -47. Suppose f + 2*t = n + 11, -3*t = 4*f - 31. Suppose w + 305 = 2*p, -2*p - f*w + 157 = -153. Is 9 a factor of p?
True
Let q(h) be the second derivative of 9*h**5/20 - h**4/6 + h**3/6 + h**2/2 + 13*h - 5. Is 17 a factor of q(3)?
False
Let x 