 - 2*w. Is g(-22) a multiple of 77?
True
Let f(b) = -24*b - 25. Let s be f(19). Let i = -204 - s. Is 10 a factor of i?
False
Suppose -1505*t = -1509*t + 14036. Does 65 divide t?
False
Suppose -5*g + 3*u + 22831 = 0, -4563 = 19*g - 20*g - u. Does 55 divide g?
True
Let p(u) be the third derivative of u**5/60 - 5*u**4/24 - 2*u**3/3 + 1758*u**2. Suppose -3*t = t - 32. Is p(t) a multiple of 5?
True
Suppose -2*d + 23 = 3*d + 4*t, t = -5*d + 17. Let m be 8 - (2 + (d - 2)). Suppose 600 = -0*n + m*n. Does 12 divide n?
True
Suppose -2*x = -z + 202, 117 = -x + 2*z + 19. Let r = x + 97. Does 15 divide r/4 + (-2035)/(-44)?
True
Let c(o) = -o**3 + 19*o**2 - 19*o + 26. Let d be -2*(-24)/(-64)*-24*1. Is c(d) a multiple of 7?
False
Suppose -2694 - 522 = -2*j. Is -1*4/(-2) - j/(-6) a multiple of 18?
True
Let x = -505 - -631. Suppose -f = -x - 69. Is f a multiple of 15?
True
Let j(n) = 7*n + 189 - 192 - 4*n. Suppose 0*i - 15 = -3*i. Does 12 divide j(i)?
True
Suppose -3*o + 3*m = -2349, 8*m = -5*o + 11*m + 3907. Let c = 1429 - o. Is c a multiple of 25?
True
Let s(y) = y**2 - y - 366. Does 29 divide s(-26)?
False
Let z = 34713 - 32308. Is 16 a factor of z?
False
Let o(r) = 903*r + 21. Suppose -9*d - 6 = -15*d. Does 14 divide o(d)?
True
Let c = 422 - 248. Suppose 4*x = 7*x - c. Is 13 a factor of x?
False
Let y(o) = 15*o - 37. Let a be y(11). Let x(m) = m**3 - 10*m**2 + 10*m + 1. Let v be x(7). Let b = a + v. Is 11 a factor of b?
False
Is 25 a factor of -2 + -3 - (21/28 - (-307115)/(-20))?
True
Let t = -54 - -58. Does 5 divide 8 + (-6 - -2) + (5 - t)?
True
Let w(h) = 76*h**2 - h**3 - 6*h - 4*h + 12 - 39*h**2 - 44*h**2. Does 7 divide w(-9)?
False
Let c(r) = -331*r - 1052. Is 40 a factor of c(-29)?
False
Let d be (-1 + (-17)/(-2))*-2. Let h = 27 - d. Is h a multiple of 7?
True
Let n(q) = -q**3 - 100*q**2 + 687*q + 14. Is 50 a factor of n(-107)?
False
Suppose 11*p = -0*p + 539. Suppose p*r + 315 = 44*r. Let g = -53 - r. Is g even?
True
Let p = -14599 - -2611. Is 47 a factor of 1/(p/(-2397) + -5)?
True
Does 8 divide (-82041)/(-138) + 3/(-6)?
False
Let q = -272 + 1055. Is q a multiple of 27?
True
Suppose 416 + 154 = -10*v. Suppose 0 = -5*w + 5, x + 5*w - 91 = -8. Let k = v + x. Does 21 divide k?
True
Let v be 3 + (9/1)/(-3). Let q(r) = -2*r**2 - 3. Let p(h) = 13*h**2 + 8*h + 50. Let m(f) = p(f) + 6*q(f). Is m(v) a multiple of 4?
True
Suppose 4*c = -5*h + 21220, 2*c + 15*h = 10*h + 10620. Is 53 a factor of c?
True
Let p = 4 - 4. Let z(l) = -2*l**3 + 16*l**2 - 4*l - 4. Let b be z(8). Let k = p - b. Is 4 a factor of k?
True
Let t(k) = 335*k - 2801. Does 7 divide t(10)?
False
Let h be -3*4/36*-12. Suppose 9*i - 1590 = h*i. Suppose 6 = 4*f - i. Is f a multiple of 8?
False
Let r(w) be the second derivative of 4*w**2 + 5*w + 0 + 9/2*w**3 + 1/4*w**4. Does 15 divide r(-11)?
False
Let y = -474 - -479. Suppose -2*i - 2*d = -1356, y*d = 5*i - 766 - 2614. Is i a multiple of 13?
False
Let v = 13 + -6. Let a(w) = -2 - 11 + 14*w + v - 5*w. Does 7 divide a(11)?
False
Let g(j) = 2*j**2 + 24*j - 45. Let s be g(-13). Does 2 divide (s - -17)/((-6)/111)?
False
Suppose -3*a + 5441 = -2*m, -2*a + m + 7258 = 2*a. Suppose -3*u = 3*t - a, -1780 = -3*t + 22*u - 18*u. Is t a multiple of 24?
True
Suppose 3*k - 4*k = -2*m - 155, 4*m - 632 = -4*k. Let w be 3*(-3 + 29 + 3). Let a = k - w. Is 35 a factor of a?
True
Is 6/2 + -2 - -51*(-7543)/(-57) a multiple of 135?
True
Does 13 divide -2 - 4 - -14514*(-27)/(-18)?
False
Suppose -3*c + 10*v - 11*v = 1092, -2*v = -2*c - 728. Let i = 1642 + c. Is i a multiple of 64?
False
Suppose -3*n + 9 + 39 = 3*a, a = 4*n - 79. Let b(d) = -d**3 + 8*d**2 - 7*d - 3. Let v be b(6). Let k = v + n. Is k a multiple of 23?
True
Let c be (-2)/((-4)/6) + (-3)/3. Suppose 4*b - l + 805 = 3254, -c = 2*l. Does 51 divide b?
True
Let f(s) = -9*s**3 + 19*s**2 - 5*s + 15. Suppose 2*c = 5 + 5. Let w(l) = -5*l**3 + 10*l**2 - 3*l + 8. Let v(y) = c*w(y) - 3*f(y). Is v(6) a multiple of 24?
False
Suppose 31*i + 1371 = 36*i + 2*z, 3*i - 804 = 5*z. Let h = -181 + i. Does 23 divide h?
True
Let f = 7455 + -1547. Is f a multiple of 14?
True
Suppose -y + 33*f = 37*f - 21322, 5*f = -5*y + 106685. Is 22 a factor of y?
False
Suppose -256 = 4*t + 100. Let z = t + 30. Let l = 16 - z. Is 10 a factor of l?
False
Suppose -4*d = 4*h - 36, 0 = -3*d + 5*h + 26 + 25. Is 35 a factor of (d/(-18))/(6/(-1683))?
False
Let z(m) = -7*m + 2227. Does 17 divide z(0)?
True
Let r = 110 + -106. Suppose -2*f - 4*v + 8 + r = 0, -f + 10 = -2*v. Let y(t) = t**3 - 7*t**2 + 7*t - 20. Does 25 divide y(f)?
True
Suppose 4*v = -8, 4*v + 5 - 13 = -2*k. Suppose 385 = 2*b + 5*f, 6*f = -2*b + k*f + 350. Is 15 a factor of b?
True
Suppose 37 + 43 = 8*s. Suppose 0 = 3*g + 2*l - 448, -s = -5*l - 0*l. Does 73 divide g?
False
Is 96 a factor of 580/696 + 38545/6?
False
Let s(z) = -z**2 + 0*z - 4*z - z + 3 - 7. Let b be s(-4). Does 39 divide (b - 1)/((-13)/2028)?
True
Let v(g) = -3*g**3 - 3*g**2 - 5*g - 2. Let i be v(-1). Suppose 3*l - i = -0*l, 5*l = -5*b + 275. Is b a multiple of 16?
False
Does 15 divide (9337 - 3) + (67 - 61)?
False
Let k be 30/(-75) + 2/5. Suppose k = 7*j + 3*j - 3090. Suppose -6*b - c + j = -b, 110 = 2*b - 3*c. Is 10 a factor of b?
False
Let t = 10999 - 3654. Is 16 a factor of t?
False
Is 5575 - (-8)/(40/55) a multiple of 147?
True
Let y be 12*6/36*-213. Let x = y - -562. Does 16 divide x?
False
Let a(u) = u**3 - 17*u**2 + 50*u + 21. Let b be a(17). Suppose -2*k - 561 - 301 = -2*o, -2*o + b = k. Is o a multiple of 31?
True
Suppose 2*f = 3*l - 10 + 209, f - 80 = -5*l. Suppose -f = 4*i - 455. Is 7 a factor of i?
False
Let s be (-1 - (-13146)/24) + (-1)/(-4). Suppose -3*f - s = 2*u - 2682, f - 5318 = -5*u. Is u a multiple of 20?
False
Let c(l) = 257*l**3 - l. Let k = -4 + 5. Let w be c(k). Let b = w - 164. Does 23 divide b?
True
Let b(d) = d**2 - 10*d + 14. Let l be b(9). Suppose 5*x + 5 = -l*n, -x + 3*x - 10 = n. Suppose -x*f + 30 = -267. Is f a multiple of 35?
False
Suppose -103*l + 72*l = -538594. Does 8 divide l?
False
Suppose 24*j + 2881521 = 75*j + 86*j. Is 19 a factor of j?
True
Let m(k) be the second derivative of k**4/12 - k**3/3 - 7*k**2/2 - 15*k. Let p(f) be the first derivative of m(f). Is 8 a factor of p(11)?
False
Let b = -266 - -270. Suppose 5*h = -2*n + 415, b*n - 249 = -2*h - h. Is h a multiple of 2?
False
Let l = 32205 + -17849. Is l a multiple of 99?
False
Let u = -13771 + 20935. Does 36 divide u?
True
Let p(d) = 37*d**2 + 32*d + 171. Let l be p(-7). Let g = l - 1059. Does 18 divide g?
False
Suppose 5*q = q + 16. Suppose 0 = q*u + 12, 4*m - 2*m - 2*u = 10. Suppose -m*v - 2*c = -58, 4*v + 2*c + 24 = 134. Does 21 divide v?
False
Let g(o) = 11*o - 37. Let z(b) = 23*b - 75. Let r(s) = 14*g(s) - 6*z(s). Does 15 divide r(8)?
True
Suppose 12*c = 2*j - 17702, 2*c = 5*j - c - 44282. Is j a multiple of 17?
True
Suppose -18*m = -5*m - 2262. Let f = 31 + m. Does 51 divide f?
False
Suppose -2*s - 2 - 56 = 0. Let t = s + 31. Suppose 0 = -2*n + 2, -220 = -5*g + 7*n - t*n. Does 7 divide g?
False
Let w = 100 + -97. Suppose 8*s = w*s - 5*o + 25, -4*o = -3*s + 22. Let f(k) = 2*k**3 - 5*k**2 - 12*k + 9. Is f(s) a multiple of 27?
True
Let n be (-2 - (1 + 2)) + 46*15. Let m = n + -445. Does 10 divide m?
True
Suppose 0 = 14*u - 12*u + 10. Is 16 a factor of 10/(-3)*36*(3 + u)?
True
Let g be 1/(-4) - (-202)/8. Let m(f) = g*f**2 + 23*f**2 + 3*f - 16*f**2 + 1 + 0. Does 41 divide m(-2)?
True
Suppose -56*n + 87*n - 172174 = 0. Is 68 a factor of n?
False
Let t(l) = 816*l - 570. Does 46 divide t(10)?
True
Let n = 3412 + -688. Let m = n - 1116. Does 23 divide m?
False
Let c = -6724 - -9752. Suppose 5*k + 101 + 1121 = 2*t, -5*t - k = -c. Does 27 divide t?
False
Suppose 2584 = 3*x + u, 0 = 2*x - 2*u - u - 1719. Does 123 divide x?
True
Suppose 0 = 6*l - 72 - 192. Is 35 a factor of l*3/2 - -4?
True
Let g be -6 + 2 + 1 + 26. Let n = 33 - g. Is (2/(-5))/((-1)/n) a multiple of 3?
False
Let j(l) = 44*l**2 - l**3 + 2*l**3 - 43*l**2 - 8*l - 13. Let t be j(9). Suppose -10*w = -5*w - t. Does 32 divide w?
False
Suppose -5*j - 3*l - 25 = 0, 0 = 5*j - 3*l - 5. Is 47 a factor of (1/j)/((-1)/564)?
True
Let c(q) = q**3 - 29*q**2 + 27*q + 34. Let f be c(28). Does 22 divide (3 - 10/f) + 575/3?
False
Let i be 9 - (0/1 + 3). Suppose -i = 3*s - 18. Suppose -