of 21?
False
Suppose -7*j + 6*j - 2*s = -5, -5*s = j - 11. Does 13 divide 538 + (0 - (2 + 4 - j))?
True
Let a(q) = 23*q**2 + 4*q - 4. Let o(i) = i**2 - 13*i + 34. Let d be o(9). Is a(d) a multiple of 8?
True
Is (-169)/2*10620/(-177) a multiple of 30?
True
Let q(f) = 7*f**2 - 25*f - 9. Let d be q(4). Suppose 486 = y - 3*w, w = -3*y - d*w + 1419. Is 9 a factor of y?
True
Suppose -2*x + 10 = -3*x + 4*u, -1 = -5*x + 3*u. Let g be -111*(-5)/105 - -5*(-6)/105. Suppose x*f + 8 = 0, -3*f = g*w - 4*f - 79. Is w a multiple of 11?
False
Let s(f) = -f**3 + 32*f**2 + 58*f + 44. Let h be s(34). Let t = h - -637. Is 10 a factor of t?
False
Let h(t) = -3*t**3 + 131*t**2 + t + 9. Is 30 a factor of h(43)?
True
Let a(n) = -3*n - 13. Let w(c) = c - 1. Suppose 2*b = -b - 3*o - 9, 2*b + 4*o = -14. Let t(h) = b*a(h) - 3*w(h). Does 26 divide t(-11)?
False
Suppose 19*k - 1 = 56. Suppose 3*g - 323 - 280 = -3*o, 598 = k*o - 2*g. Does 40 divide o?
True
Let g(s) = -16*s - 1 + 32*s**2 + 7 - 29*s**2 - 2. Is 23 a factor of g(14)?
True
Suppose -3*w - 323 + 3271 = -2*b, b - 3*w + 1474 = 0. Suppose -24 = -t - 5*q, -2*q + 4 = -0*q. Is 39 a factor of (-14)/49 - b/t?
False
Let v(f) = 25*f**2 + 298*f + 4457. Is 46 a factor of v(-15)?
True
Suppose 325*f - 185*f = 171*f - 147777. Is f a multiple of 3?
True
Suppose 0 = -h + 4*l + 6825, 4*h - 35*l + 38*l - 27281 = 0. Is h a multiple of 14?
False
Does 82 divide ((-335)/(-6)*208/(-10))/((-42)/315)?
False
Let s(w) = -150*w - 5. Let k be s(-15). Suppose k = 6*d - 2033. Is d a multiple of 20?
False
Let u = -891 + 923. Suppose 38*x - 1200 = u*x. Is 16 a factor of x?
False
Let f = -29625 - -46591. Is 34 a factor of f?
True
Suppose -5*x = 4*j - 20842 - 29348, -3*x - 25062 = -2*j. Does 20 divide j?
True
Let h(g) = 234*g**2 - 18*g + 18. Is 198 a factor of h(9)?
True
Let b(o) = -o + 1. Let h be b(-7). Suppose 0 = 4*x - 0*x - h. Suppose x*p - 840 = -3*p. Is 56 a factor of p?
True
Let b = -13224 + 22192. Does 19 divide b?
True
Suppose 56690 = 5*p - 378*c + 375*c, -p - c = -11330. Is p a multiple of 8?
False
Let v(w) = w**3 + 9*w**2 - 9*w - 8. Let s = 39 + -41. Let u(k) = 3*k**3 + 28*k**2 - 28*k - 25. Let b(q) = s*u(q) + 7*v(q). Does 10 divide b(-7)?
False
Let j(z) = -2*z**3 - 13*z**2 - 18*z + 23. Suppose -8 = 6*f - 2. Let y(x) = x**3 - x**2 - 1. Let c(d) = f*j(d) - 4*y(d). Is 21 a factor of c(8)?
True
Suppose 8*u + 5*u - 39 = 0. Suppose u*o - 1554 = -3*x, -2*o - x - 3*x = -1034. Does 60 divide o?
False
Let h be 59/6 - (-3)/18. Suppose 2*r = -0*r + h. Suppose -84 = -r*y + 101. Is 8 a factor of y?
False
Is 8 a factor of (47*315)/3 + (-3 - 2) + 10?
False
Suppose 5 = 4*k - 5*t, -40*k + 39*k = t + 1. Is (-124)/(-6)*(k - (-6 - 9)) a multiple of 62?
True
Let o(t) = 61*t**2 + 112*t + 1716. Is 20 a factor of o(-16)?
True
Suppose -49*i + 2*a - 15378 = -53*i, -5*i + 19242 = -4*a. Is 18 a factor of i?
False
Let v(w) = -25*w - 70. Let b be v(-3). Let r(g) = 13*g**2 + 11*g - 12. Does 19 divide r(b)?
False
Does 39 divide 5520252/555*(4/5 - 221/(-130))?
False
Let b = 6518 - 5321. Does 7 divide b?
True
Suppose 18*m - a - 28110 = 13*m, 0 = 4*m - 3*a - 22488. Does 41 divide m?
False
Let k(g) = -14*g**3 + 7*g + 3. Let s be 13/(-5) + 44/(-110). Does 36 divide k(s)?
True
Suppose -a = 30*t - 31*t - 8670, 17355 = 2*a - 5*t. Is a a multiple of 107?
False
Let b = 38 - 28. Let y be ((-4)/(-18) - b/45) + 37. Suppose 3*i - y = 53. Does 6 divide i?
True
Is 11 a factor of (-2)/4 + 1017606/124?
True
Let a(p) = 2*p**2 - 97*p - 142. Let z be a(51). Suppose 28*f - 29*f + z = 5*x, -f + 81 = -3*x. Does 13 divide f?
False
Suppose -2*c - p + 8 = p, -3*c = -3*p. Let n(f) = -9*f**2 - 8836*f + 7*f**3 - 2*f**2 + 8839*f - 3. Does 15 divide n(c)?
True
Let x(o) = 21*o - 165. Let k(f) = 3*f**3 - 3*f**2 + 2*f + 6. Let w be k(2). Is 20 a factor of x(w)?
False
Suppose -3*x = -33 + 165. Let q be 26314/10 - x/(-110). Suppose 11*t + 651 = q. Is t a multiple of 21?
False
Let j = -357 - -221. Let c(g) = -g**3 - 5*g**2 + 2*g + 8. Let r be c(-5). Does 11 divide (j/6)/(r/6)?
False
Let z = 13854 + -5549. Does 20 divide z?
False
Suppose 33*s - 133156 = -47158. Is 7 a factor of s?
False
Let w(z) = -7*z + 46. Let c be w(6). Suppose -350 = -h - h + 2*p, -c*p = -2*h + 352. Is 17 a factor of h?
False
Let y(r) = r + 13. Let x(a) = -6*a - 65. Let h(i) = -4*x(i) - 22*y(i). Let z be h(-19). Is 9 a factor of 1/4 + (-3568)/z?
False
Suppose 345298 = 42*j + 123496. Does 11 divide j?
False
Suppose -23 + 107 = 7*z. Suppose 0 = -z*l + 157 + 119. Does 6 divide l?
False
Suppose -16*s + 21*s = 2*c - 1852, s + 360 = 3*c. Let d = s + 714. Is d a multiple of 57?
True
Is 72 a factor of 3213/14*13/((-507)/(-416))?
True
Let f = 6741 + -4424. Suppose 2314*g + 3807 = f*g. Is g a multiple of 15?
False
Let x(o) = -o**2 + 3*o + 1. Suppose -4*y = -5*w + 2, y + 1 = -2*y + 4*w. Let k be x(y). Let r(c) = c**2 + 16*c + 12. Is 29 a factor of r(k)?
True
Let g be 118/4 + 2/4. Suppose -2*d + 12*d = g. Does 13 divide 41 + -2 + d + -3?
True
Let c = 25480 - 6677. Is 15 a factor of c?
False
Let u be 1*102 + (-2)/(4/(-2)). Suppose 3*n - 116 = u. Suppose 481 - n = 3*m. Does 17 divide m?
True
Let h(y) = 4*y**2 - 8*y. Let l be h(3). Suppose -l*d - 5*d = -11900. Does 23 divide d?
False
Let x(h) = 2*h**3 + 15*h**2 - 5*h + 1. Let n be x(-7). Let s = 169 - n. Is s a multiple of 6?
True
Let r = -32 + 4. Suppose 4*o - 6*q + 161 = -7*q, -2*o - 85 = -q. Let w = r - o. Is w a multiple of 4?
False
Let s be (3 - (-19)/(-5))*5*1. Let v be (-6)/9*(-1 - s) - -21. Is (39 - v)*(0 - -2) a multiple of 8?
True
Let i = -113 + 489. Suppose 4*h - i = -c, 0 = -h - 2*h - 3*c + 282. Does 27 divide h?
False
Let q = -39 - -42. Suppose 0 = 2*f + x + 17, q*f = 3*x - 0*x - 21. Is 11 a factor of 110 + 1 - (11 + f)?
False
Let h(z) = -z**3 - 22*z**2 + 17*z - 116. Let x be h(-23). Is 2 a factor of 297/x*(-24)/(-9)?
True
Let w = 1 + -7. Let i(y) = -y**3 - 6*y**2 - 9*y - 18. Is 36 a factor of i(w)?
True
Let m(f) = -105*f - 511. Is 16 a factor of m(-19)?
False
Let j = 324 + -300. Suppose -5*o + j*x = 23*x - 122, 5*o + x - 118 = 0. Does 12 divide o?
True
Suppose -3*a + 24695 = -5*j, 26*a - 27*a + 5*j = -8245. Is a a multiple of 25?
True
Let v be (-28)/(-6) + (-1)/(-3). Let x(b) be the first derivative of 2*b**3/3 - 5*b**2/2 + 7*b - 41. Is x(v) a multiple of 8?
True
Let t(b) = 2*b**3 - 27*b**2 + 13*b + 59. Is t(19) a multiple of 12?
False
Let o(w) = -w**3 + 7*w**2 - 3*w + 4. Let u(f) = 2*f**3 - 2*f**2 - f - 1. Let n be u(2). Does 3 divide o(n)?
True
Let p = -137 - -157. Is (p/6)/((-1565)/315 + 5) a multiple of 7?
True
Suppose -4*r - 4 = s, -23*r + 28*r = 3*s - 22. Suppose 0 = -a + 3*d + 15, -a - d = -6*d - 23. Is 42 a factor of s*(2 - (-45)/a)?
False
Let s(o) = 143*o + 7. Let w be s(-2). Let h = w - -531. Does 18 divide h?
True
Suppose 4*m = -139 - 1. Let j = m - -33. Does 10 divide 4*18 + j + 3?
False
Let f = -29 + 55. Let b = -26 + f. Suppose b = 6*t + t - 665. Is 21 a factor of t?
False
Let p(n) = -6*n**3 + 5*n**2 + 13*n + 28. Suppose -d - 5*a = 23, 0 = -d - 2*a - 2*a - 19. Is p(d) a multiple of 14?
True
Let s be (-96)/((-22)/(-140) + (-5)/(-35)). Is (-16806)/(-16) + 12*10/s a multiple of 14?
True
Let w(v) = -28*v + 7. Let m = -150 - -140. Does 41 divide w(m)?
True
Suppose -2*i + 4*g - 14068 = -6*i, 5*g + 14032 = 4*i. Does 50 divide i?
False
Let n(y) = 103*y + 352. Does 76 divide n(36)?
False
Let d(f) = 131*f**2 - 1356*f + 7. Is 71 a factor of d(12)?
False
Suppose -3244 = -h - 4*d, -3*h + 4237 + 5512 = -5*d. Is 14 a factor of h?
True
Suppose -3*h - 43 = 752. Let w = 388 + h. Let i = 262 - w. Is i a multiple of 13?
False
Let c(i) = 23*i + 9. Let g be c(4). Suppose -g = -3*h + 67. Is 14 a factor of 6200/h + 2/7?
False
Suppose 5*n + 90 - 105 = 0. Suppose 4*h + 2*z = 0, -n*h - 6*z - 5 = -2*z. Let l(o) = 12*o**3 + o**2 - o. Is 12 a factor of l(h)?
True
Let k(b) = 2443*b - 1106. Does 29 divide k(13)?
True
Let k be (-4)/(-6) + (-44)/(-33). Suppose k*g - 7 = i - 3, -g - 7 = -5*i. Suppose 2 = 4*h - 5*h + g*o, -3*h + 6 = -3*o. Is 2 a factor of h?
True
Let o(y) = -4320*y - 752. Does 143 divide o(-6)?
True
Suppose -4*a + 105828 = 4*u, 2*a - 7740 = u - 34212. Is u a multiple of 131?
True
Suppose 2*r - 4*r = 12. Let u be (-1)/((r - -5)/(-95)). Let v = u + 106. Does 11 divide v?
True
Let o = -28 + 