14 a factor of 135/(-27) - (-35312)/2 - 3?
False
Suppose -2143 = 14*z - 11719. Is z a multiple of 4?
True
Suppose 184 = 5*w + 4*s, 4*w = -2*s + 147 + 5. Let j = 40 - w. Suppose j*b - 7*b = -875. Is 32 a factor of b?
False
Does 41 divide 1/3 - ((-418864)/60 + (-49)/(-35))?
False
Is 4 a factor of (-43816)/(-20) - 468/260?
False
Suppose -3*l = -l + 60. Let u = l + 54. Suppose -t = -3*t + u. Is t a multiple of 4?
True
Suppose 2*c = -533 - 67. Let w = -222 - c. Does 13 divide w?
True
Let l(n) = 3*n**2 + 22*n - 61. Let a(m) = -2*m**2 - 24*m + 61. Let u(p) = -4*a(p) - 3*l(p). Is u(11) a multiple of 7?
False
Suppose -12959*u + 18636 = -12956*u. Does 23 divide u?
False
Does 98 divide 28665/75*(-20)/(-6)?
True
Suppose 0*y + 447 = 3*c + 3*y, -594 = -4*c - 2*y. Let t be (c/(-3))/(2/3). Let b = t + 149. Is 25 a factor of b?
True
Suppose o = 4*b - 50192, 9*o - 14*o - 40 = 0. Does 9 divide b?
True
Let l = -222 - -224. Suppose b - 2*i - 27 = 0, -17 - 31 = -l*b + 2*i. Does 7 divide b?
True
Suppose -109*h - 7284 = -103*h. Let b = h + 2095. Is 72 a factor of b?
False
Let s(k) = -253*k - 389. Is 21 a factor of s(-11)?
True
Let l(p) = p**2 - 4*p - 12276. Let h be l(0). Does 21 divide 3/15 - h/45?
True
Suppose -4728 = -5*f + 1694 + 1323. Is 8 a factor of f?
False
Suppose 146*d - 149*d = 600. Let o = d + 326. Is 53 a factor of o?
False
Suppose 3*t - 6*t = 3*t. Suppose 0 = -2*g + f + 11, t = -4*g + 3*f + f + 28. Suppose 4*a + 3*u = 73 + 16, g*a + 4*u = 92. Is 10 a factor of a?
True
Let o be 35/((-2)/42*-3). Let r = o + -37. Is r a multiple of 13?
True
Suppose 909*g - 911*g + 36052 = 5*t, 2*g - 3*t = 36068. Does 19 divide g?
True
Let d be (57/38)/(1/(-2)). Let c be d/1 + -4 + 18. Is 10 a factor of 2 + 2 + c + 5?
True
Let a(k) = 216*k - 96. Let g be a(7). Suppose 7*v = v + g. Is 59 a factor of v?
True
Suppose -462273 - 826740 = -159*i. Is i a multiple of 67?
True
Let r(x) = -x**3 + 5*x**2 - 18*x + 14. Let b(p) = p**3 + p**2 - p - 1. Let q(l) = 2*b(l) + r(l). Let h = 347 - 356. Is 30 a factor of q(h)?
True
Suppose 0 = -q - 2*v - 454, 0*q - 908 = 2*q - v. Let m = 785 - q. Is m a multiple of 12?
False
Suppose 6120 = 3*t + w, -87*w + 85*w = 3*t - 6120. Is t a multiple of 10?
True
Suppose -39854 - 20976 = -14*j. Is 17 a factor of j?
False
Let v be 240/(-96)*(0 - 12/5). Suppose 0 = -5*s + 2*g + 560, -5*s + g + 741 = 181. Does 26 divide 1*s + v*4/12?
False
Let y = 5 + -6. Let p be y/((-4)/(-3)) + 540/(-48). Is 22 a factor of p*(-4)/18*33/4?
True
Suppose 14*n - 3714 = 63570. Is 27 a factor of n?
True
Let d = 20 - 3. Let p(f) = f**2 - 19*f + 25. Let o be p(d). Let g(j) = 2*j**2 + 5*j + 13. Does 13 divide g(o)?
True
Let c(f) = -f**3 - 30*f**2 + 102*f + 48. Is c(-34) a multiple of 43?
True
Let g(b) = -b**3 - 84*b - 226. Is g(-3) a multiple of 6?
False
Let c(k) = -42*k**3 - 10*k**2 + 6*k + 3. Let w(s) = -42*s**3 - 8*s**2 + 5*s + 2. Let p(b) = -6*c(b) + 7*w(b). Does 13 divide p(-2)?
False
Let p(t) = -t + 5. Let i(d) = 8*d + 39. Let y(b) = 3*i(b) - 24*p(b). Let m = 0 - -1. Is 15 a factor of y(m)?
True
Suppose -9*i = 6*i - 3*i - 61056. Is i a multiple of 12?
True
Let b = 39811 + -977. Does 105 divide b?
False
Let b(q) = -q**3 + 12*q**2 + 504*q + 32. Is b(-25) a multiple of 42?
False
Suppose 0 = -4*n + 3*o - 3, 4 - 9 = -o. Suppose -5*x + 7*i = 3*i - 622, 0 = 2*x + n*i - 258. Is x a multiple of 6?
True
Suppose 84*a + 17040 = 275256. Does 53 divide a?
True
Let t(k) = 8*k**2 - 17*k - 12. Let g be t(13). Suppose s + 2*s = g. Is 17 a factor of s?
False
Let n = 302 - 286. Let k(l) = l**3 - 12*l**2 - 5*l + 31. Does 19 divide k(n)?
False
Let f be (-85)/(-4) - (14/(-8) + 2). Let l = -17 + f. Does 6 divide (3/(-18)*188)/(l/(-6))?
False
Let h be (-215)/60*-4*-6. Let s = 148 + h. Suppose 4*g - s - 22 = 0. Is 9 a factor of g?
False
Suppose -5*d - 3465 = -4*w, 3522 - 39 = 4*w + d. Is 5 a factor of w?
True
Let v(y) = 5*y**2 + 11*y + 15. Let w be v(9). Let p = w - 336. Is 16 a factor of p?
False
Let p(i) = -49*i**2 - 1092*i + 15. Is 58 a factor of p(-19)?
True
Suppose -4*t - 4*p - 24156 = -6*t, 36212 = 3*t + 5*p. Is t a multiple of 90?
False
Suppose d = -0*d + 12. Suppose -d*g + 6*g = -24. Suppose 10 = 4*f - 5*t - 72, -5*f - g*t + 82 = 0. Is 7 a factor of f?
False
Suppose 0*v + 3*v = -5*j + 146, -4*j + 4 = 0. Suppose -v - 184 = 3*p. Is (-4)/5*(-15)/(-6) - p a multiple of 11?
False
Let r(o) = 3*o**3 + 21*o**2 - 13*o - 7. Suppose -3*t - 98 = 11*t. Is r(t) a multiple of 6?
True
Let q(a) be the third derivative of 1/6*a**4 - 4*a**2 + a**3 + 0*a + 0. Does 14 divide q(9)?
True
Let a(j) = 55*j - 13. Let l be a(4). Let s = l + 20. Is 20 a factor of s?
False
Let l = 30 + -32. Let f be 2*1 + (l - 15/(-5)). Suppose -2*y - 182 = -5*m, 6 = 3*m - f*y - 105. Is m a multiple of 15?
False
Is 6/((78/4239)/13) a multiple of 17?
False
Let v be ((-69)/(-9))/(6/18). Let n = 37 - v. Suppose -14*b + n = -238. Is b a multiple of 3?
True
Suppose 2*j + 0*j - 2*k = 20, k = 2*j - 17. Suppose 5 = 4*l - j. Suppose -2*z = l*c + 2*z - 273, 2*z = -c + 89. Is 24 a factor of c?
False
Suppose -p - p + 16 = 4*z, 3*p = 2*z. Let x(m) = 94*m - 94*m + 11*m**2 + 255 - 242. Does 14 divide x(z)?
True
Let b = 125 + 2629. Does 18 divide b?
True
Suppose -3*n + 0*n + 3002 = r, 0 = r - 3*n - 2996. Let a = -1297 + r. Is 37 a factor of a?
True
Let f be 16/(-5 + 9) - -2. Is 460/f*(-132)/(-110) a multiple of 19?
False
Let o(v) = -v**2 + 14*v + 63. Let u be o(17). Suppose 3*i + u = -4*f + 788, 3*i - 741 = 3*f. Is i a multiple of 9?
True
Let k(n) = -n**2 + 9*n + 90. Let w(o) = -o**2 - 10*o - 90. Let r(b) = -3*k(b) - 4*w(b). Does 34 divide r(-9)?
False
Suppose 6*p - b - 14868 = 2*p, -2*b - 7428 = -2*p. Does 143 divide p?
True
Let r(a) = -a**3 + 16*a**2 + 23*a - 22. Suppose 2*v - 15 + 11 = 0. Let g be ((-1)/(-3))/((-202)/102 + v). Is 8 a factor of r(g)?
True
Let d(t) be the second derivative of t**5/20 - 7*t**4/6 - 23*t**3/6 - 3*t**2/2 - t + 13. Let h be (-29 + -3)/(-2) - 0. Does 10 divide d(h)?
False
Suppose -3856 = -y - s + 12068, 3*y = 4*s + 47814. Does 118 divide y?
True
Let i(c) = c**3 - 4*c**2 - 6*c + 5. Let r be i(5). Let u be r/(2/(-6)*-6). Suppose 5*o + k - 237 = u, -o - 5*k = -59 + 2. Does 4 divide o?
False
Let g = 30065 - 17150. Does 45 divide g?
True
Let b = -6171 - -10941. Is b a multiple of 30?
True
Let i(p) = 1737*p**2 - 10*p + 77. Is 12 a factor of i(5)?
True
Let r(u) = -u**3 + 31*u**2 + 133*u - 1358. Is r(19) a multiple of 6?
False
Let x(m) = -2*m + 18. Let a be 2 + (3 - 1) - (0 - 3). Let u be x(a). Suppose 3*v = -3*j + 117, 0*j - 156 = -u*v - 3*j. Is 7 a factor of v?
False
Is 14 a factor of ((-233393)/34)/((-8)/36 + (-10)/36)?
False
Let j = -206 - -208. Suppose 5 - 3 = n, -j*r - 5*n + 310 = 0. Does 30 divide r?
True
Let r(l) = 70*l + 189. Let f be r(-6). Let g = -189 - f. Does 6 divide g?
True
Suppose -5*j - 598 = -2*p, -13*j + 11*j = -p + 239. Is 37 a factor of 2224/10 + j/300?
True
Does 168 divide 0 + 4208 - 24*9/27?
True
Let o(v) = 70*v + 1. Let k be o(-2). Let t(h) = 3*h**3 - 4*h**2 - 9*h + 8. Let g be t(5). Let l = g + k. Does 33 divide l?
True
Suppose 12*d + 10 = 8*d - s, -20 = 5*d + 5*s. Let q be ((-2)/5)/1*-30. Does 22 divide 3/((1/d)/((-318)/q))?
False
Let m(w) = 8*w**3 + w**2 - 2. Let u be m(2). Let j(p) = 129*p - 666. Let h be j(6). Let a = h - u. Does 7 divide a?
True
Suppose 5*j - 17315 = 5*l, -13867 = -4*j + 2*l - 3*l. Does 47 divide j?
False
Is 84849/17 - ((-3510)/221 + 16) a multiple of 123?
False
Let j = -30 - -26. Let o be ((-1)/j + (-13)/20)*-25. Suppose t - o*t = -360. Does 8 divide t?
True
Let c = -207 + 385. Suppose -15*l = -2*w - 17*l + 84, 80 = 2*w + l. Let g = c - w. Is 25 a factor of g?
False
Let q = -377 + 536. Is q + 3 + 3/1 a multiple of 5?
True
Let r(q) = -q**3 - 26*q**2 - 5*q + 8. Let x be -23 - (2/(-2) + (-28)/(-7)). Is 4 a factor of r(x)?
False
Suppose -r = o + o - 2, -5*r + o + 10 = 0. Let h(a) = 19*a**3 + 2*a**2 - a - 5. Does 13 divide h(r)?
False
Let t(n) = -15*n**3 - 42*n**2 + 20*n + 9. Is 18 a factor of t(-9)?
True
Suppose -2*p - 36 = 5*h, h + 3 = p - 7. Let a(n) = 983*n - 22 - 246*n - 256*n - 249*n - 245*n. Is 41 a factor of a(h)?
True
Is 9 a factor of (-33)/(-2)*1798/(25 - -6)?
False
Is 7/(-1) + 549 + -82 a multiple of 4?
True
Suppose -x - 3*c = -39, 5*x - 4*c = 132 + 44. Let p(k) = 6*k - 97. Is