 0. Is 15 a factor of c?
True
Suppose -b - 4*u = -6*b + 28, -4*b - 3*u = -10. Suppose 3*z = d + 36, -b*z - 5*d + 40 = -27. Suppose -12*a - 92 = -z*a. Does 9 divide a?
False
Suppose 3*f + 2 = 4*f. Let s(c) = -1730 + 1705 + 6*c**f - 5*c**2 - 8*c. Is s(19) a multiple of 46?
True
Suppose -6711 = -3*y + 5*i, -2827 = -y - 2*i - 568. Does 26 divide y?
False
Suppose 76*b = -36*b + 676032. Is 169 a factor of b?
False
Let t(s) be the third derivative of 7*s**6/60 + s**5/15 - s**4/12 + s**3/2 + 14*s**2. Let n be t(3). Suppose 0 = -5*m - 131 + n. Is m a multiple of 8?
True
Let p(n) = n + 6. Let i be p(6). Suppose i = t - 3*w, -3*t + 46 = -w + 2*w. Let g = t + 96. Is g a multiple of 24?
False
Let k = -607 + -633. Let o = 1994 + k. Is 26 a factor of o?
True
Let j be 2/11 + 1778/22. Suppose 18*f - 3*f - 2550 = 0. Let h = f - j. Does 21 divide h?
False
Suppose 32 = 7*q + 4. Suppose 623 = 3*r - 5*n, -q*r + 879 = 4*n - n. Let s = r - 66. Does 15 divide s?
True
Suppose 6*a - 17 = 7. Suppose 0 = a*d - 12, 3*b = b + 5*d - 9. Suppose -o + 122 = u, -o + 2*o - b*u - 130 = 0. Is 4 a factor of o?
True
Let b = 10636 - -5576. Is 28 a factor of b?
True
Suppose 34*y - 11*y + 15065 = 0. Let d = 948 + y. Does 4 divide d?
False
Let w(x) = 963*x**2 - 1044*x - 6338. Is w(-6) a multiple of 98?
True
Suppose -72*q + 102732 = -65*q. Is q a multiple of 66?
False
Let g(w) = 9*w**2 + 2*w + 2. Let i be g(-1). Let p = 10 + i. Let j = 176 - p. Is 30 a factor of j?
False
Is 13 a factor of -4574*((-14)/21)/(20/285)?
False
Let i = -59 + 61. Let w(v) = -2*v**3 + 7*v - 16*v**2 - 8*v**2 - 11*v**2 + 34*v**i. Is 21 a factor of w(-4)?
True
Suppose 49 = -73*n + 66*n. Let q(r) = -r + 39*r**2 - 45*r**2 - 9 - r**3 - 6. Is q(n) a multiple of 5?
False
Suppose -2*c + 10 = 0, -400*c = 5*t - 398*c - 17750. Is 22 a factor of t?
False
Let t = 23 - -7. Let g = 34 - t. Suppose g*f = q + 159, 2*f + 3*q = 139 - 56. Is f a multiple of 10?
True
Let g = 16475 - 5975. Is g a multiple of 75?
True
Suppose -142*c + 220584 + 24934 = 0. Is c a multiple of 7?
True
Let l = -1785 + 3025. Let o = l - 832. Is 51 a factor of o?
True
Suppose s - 7845 = -5*x, s = -4*x + 3*s + 6290. Let h be -3 + 1 - x/10. Let z = h + 436. Is z a multiple of 15?
False
Is 25 a factor of -6 + (-64 + 4)/((-2)/37)?
False
Let p(i) = 5*i - 69. Let v be p(13). Does 5 divide v + (-78)/(-21) + (-72)/(-7)?
True
Let g(y) = 7*y - 24. Let l be g(4). Suppose 0 = l*z - 0*z - 16. Suppose 2*s = -3*s - z*d + 104, 3*s - 80 = 2*d. Is 4 a factor of s?
True
Let r = 1479 - -729. Does 32 divide r?
True
Let u = -11448 + 15213. Does 8 divide u?
False
Let t(v) = -v**2 - 20*v - 15. Let x be t(-16). Suppose -x*n = -72*n + 6808. Is n a multiple of 8?
True
Is 13/4 + (-71961)/(-332) a multiple of 11?
True
Let x(a) = 4609*a**2 - 18*a + 1. Is x(1) a multiple of 28?
True
Suppose 28*b + p = 29*b - 2893, -8714 = -3*b - 2*p. Does 58 divide b?
True
Suppose 0 = -2*s + 16, s + 22757 = w - 19385. Is 150 a factor of w?
True
Is (5388/(-492) - (-6)/(-123)) + 10235 a multiple of 144?
True
Let t(o) = 89*o + 286. Let s = 514 - 507. Is t(s) a multiple of 20?
False
Let q(y) = y**3 + 14*y**2 + 10*y - 1. Let n be 75/9*(-45)/(-25). Suppose 4*r = 7*r - n, -4*r = k - 7. Is 5 a factor of q(k)?
False
Let p(h) = 13*h**2 + 39*h - 880. Is 20 a factor of p(25)?
True
Let w(d) = -2*d**2. Let c(j) = -6*j**2 + 29*j + 14. Let y(a) = c(a) - 4*w(a). Does 14 divide y(-18)?
True
Let h be (9 - (4 + 2)) + 250. Suppose 5*a - p - 370 = 1000, 0 = -a - 4*p + h. Is 21 a factor of a?
True
Let i(m) = -54*m - 1. Let l(b) = 3*b**2 + 25*b + 5. Let h be l(-8). Does 23 divide i(h)?
True
Let u(j) = -27*j - 133. Let z be u(-5). Suppose -5*v = -z*f + 1594, 4*f - 2*v + 0*v = 3172. Is f a multiple of 15?
False
Let g(o) be the first derivative of 7 - 4*o - 2*o**2 + 1/3*o**3. Is 11 a factor of g(9)?
False
Suppose -2976*c = -2972*c - 4*l - 81808, 4*c - 3*l = 81801. Is 87 a factor of c?
True
Let x be 200*(-9)/(-18) - -8. Suppose 5*g = s - x, -19 + 10 = 3*g. Is 20 a factor of s?
False
Let n = -5223 - -5727. Is 14 a factor of n?
True
Suppose 4*u - 61349 = -4*i - 6861, 5*i + 4*u - 68109 = 0. Is i a multiple of 57?
False
Let y = 35 - 28. Suppose 8*d = y*d. Let m(v) = v**2 + v + 120. Is 40 a factor of m(d)?
True
Let q = -8951 - -31282. Does 175 divide q?
False
Let j = -107 - -115. Let f(l) = 4*l**2 - 4*l + 51. Is f(j) a multiple of 55?
True
Let m(y) = -y**2 + 21*y - 51. Let a be m(18). Let w(o) = 61*o**3 - 2*o**2 - 3*o + 4. Let l be w(a). Suppose -4*s + l = 3*s. Is 29 a factor of s?
True
Let u(x) = x**2 - 3*x - 16. Let y be ((-1)/2*0/(-1))/2. Suppose 2*h - 5*w - 33 = y, 0 = 5*h + 2*w - 0*w - 68. Is u(h) a multiple of 6?
True
Let f(y) be the second derivative of 0 + 9*y + 4/3*y**3 - 2*y**2. Does 2 divide f(2)?
True
Suppose -2*s = 5*t - t - 28, 4*t - 4*s = 4. Suppose -231 = -t*f + 204. Suppose f = c - 4*q, -3*c + 0*q = 2*q - 191. Is c a multiple of 19?
False
Suppose 25 = -5*c, -4105 = -5*i + 3*c + 13315. Is i a multiple of 57?
False
Let a be (((-450)/4)/3)/((-17)/(-34)). Let n = a + 69. Is (12 + 2 + n + 8)*3 a multiple of 16?
True
Suppose 3*u - 4*g - 167 = 0, -3*u = 5*g - 58 - 37. Let r(x) = -12*x - 3. Let f be r(-6). Suppose -b + f = -u. Is 57 a factor of b?
True
Let s = 273 - -308. Suppose 6*m - s - 379 = 0. Suppose -4*g - m = -2*h, -3*h = -4*h - 4*g + 62. Does 37 divide h?
True
Suppose -5*k - 5*v = -37980, 2*v = -31*k + 30*k + 7590. Is 15 a factor of k?
False
Let q(u) = -177*u - 21. Let a be q(-13). Suppose -6*k + a = -k. Does 19 divide k?
True
Let y(m) = 3*m**2 + 10*m - 50. Let l be y(27). Suppose 4*b = -63 + l. Suppose 7*q + 3*d = 2*q + b, 4*q - 482 = 2*d. Is 14 a factor of q?
False
Suppose 0 = -234*n + 51*n + 320433. Does 12 divide n?
False
Suppose b + 3*k + 20 = 2*b, 5*b - 2*k = 152. Let w be 2/(-8) + 72/b. Suppose -121 - 123 = -4*r - w*a, -3*r + 4*a = -172. Is 15 a factor of r?
True
Let m be (-93)/(-6) + 4/(-8). Suppose -a = 5*k - 4*a + 10, m = 5*k + 2*a. Is 12 a factor of k + 92 - -1*3?
True
Let n be 5*(582/(-30) + -5). Does 10 divide 2/3*(-3)/2*n?
False
Suppose 2770 + 2286 = 2*o. Is 316 a factor of o?
True
Is -1 - -1559*(-11 - -13) a multiple of 3?
True
Suppose 24760 = 4*s + 2*v, -21*v = -18*v + 12. Is s a multiple of 43?
True
Suppose 5*b = -3*i + 27045, 4*b - 267*i = -266*i + 21653. Is b a multiple of 28?
False
Let l = -325 + 328. Suppose 6201 = 5*i - l*h - 256, -i = 4*h - 1273. Is 16 a factor of i?
False
Suppose 2*q - u - 521 = 0, -15 = 4*u - 7*u. Suppose 2*w = 17 + q. Is w a multiple of 14?
True
Suppose -33*h = -30*h + 3*u - 60, -4*u = h - 38. Does 11 divide h?
False
Let t(o) = o**3 - 14*o**2 - 53*o - 36. Is 9 a factor of t(18)?
True
Suppose -5*x = 3*y - 80, -2*y + 4*x + 50 = 9*x. Is -3*(-566)/y + 99/(-165) a multiple of 4?
True
Let v(x) = 41*x + 349. Is v(53) a multiple of 89?
False
Let m(j) be the first derivative of -3*j**2/2 + 63*j - 1. Let l(r) = 21*r - 1521. Let g be l(73). Is 5 a factor of m(g)?
False
Let k(i) = 6*i - 19. Let l(p) = 4672*p**2 - 4671*p**2 - 1 + 4 + 3*p. Let a be l(-5). Does 4 divide k(a)?
False
Suppose 11*n - 303 + 1359 = 0. Is ((-1266)/(-8))/(n/(-256)) a multiple of 61?
False
Suppose 16*o - 23741 = 7843. Does 14 divide o?
True
Let n be 0/(4/8*-2). Suppose 5*z + 2*x + n*x = -44, 26 = -2*z + 2*x. Let f(p) = p**3 + 11*p**2 + 6*p - 16. Does 6 divide f(z)?
True
Let v be 6/(-3) + 148*-2. Let t = 418 + v. Suppose 0 = -j - j + 2*l + t, 5*l - 204 = -4*j. Is 7 a factor of j?
True
Suppose -4*b = -s + 4 - 7, 4*b + 2*s = -6. Is (4 + b)*(-91)/(-52) a multiple of 4?
False
Suppose 0*p + p = 3. Suppose -p*t + 1258 = -5*m, 0*t - 2*t - 3*m + 826 = 0. Suppose -18*o + t = -14*o. Is 13 a factor of o?
True
Let k(t) = 8*t**2 + 5*t + 1440. Let r(d) = -7*d**2 - 4*d - 1440. Let n(c) = -5*k(c) - 6*r(c). Let p be n(0). Does 17 divide (1/(-5) + 1)/(18/p)?
False
Suppose 51*v = 13*v + 49831 + 44789. Does 15 divide v?
True
Suppose 18*u - 92512 = -10*u. Is 28 a factor of u?
True
Let z(w) = -306*w - 394. Is 4 a factor of z(-13)?
True
Suppose -7*x + 24629 = 3*t, -30828 = -4*t - x + 2044. Does 17 divide t?
False
Is 6 a factor of 2 - (1430/4 + -7)*-4?
True
Let h be (20 - 23)*602/(-6). Let t = -119 + h. Does 13 divide t?
True
Let p = -26 - 66. Let h = -61 - p. Suppose 5*s - 230 = -5*a, -4*s + 2*s - h = -a. Does 30 divide a?
False
Suppose 4*