uppose f - 4*a - 76 = 0, a + 9 = -f + 85. Is 19 a factor of f?
True
Suppose k = 55 + 41. Is 12 a factor of k?
True
Suppose -4 = -3*g + 17. Suppose 6 = 3*i - 3*o, 3*o = 4*i + 4*o + g. Does 17 divide (-39 - -5)*(i - 0)?
True
Suppose -9*s + 2 = -8*s. Suppose -3*c + 335 = s*c. Is c + (-1)/(1/(-2)) a multiple of 23?
True
Let y = -14 + 20. Let d(u) = -10*u + y*u + 5*u + 2*u**2. Does 11 divide d(5)?
True
Let i be 2/((-8)/6)*4. Let g be i/14 - 34/(-14). Suppose -5*y = -3*z - 251, 0*y + g*y + 2*z = 110. Does 26 divide y?
True
Let i(l) = 102*l**2 - 18*l - 41. Is 49 a factor of i(-3)?
True
Let f(i) be the first derivative of 5*i**2 - 56*i - 30. Is f(9) a multiple of 2?
True
Suppose 3*i - 12 = 9. Let l be i + ((-3)/3 - 1). Suppose 5*k = r - 69, 0 = -l*r - 3*k + 70 + 303. Is r a multiple of 24?
False
Suppose -1932 = -10*p + 2658. Is p a multiple of 17?
True
Suppose -7 - 8 = -f + 3*g, 3*f = g + 13. Suppose -44 = -3*m - 5*p, -4*p = -f*p + 2. Is m a multiple of 13?
False
Suppose -5*f = -0*f - 35. Let s = 255 + -253. Is 25 a factor of f/14 + 167/s?
False
Let c = 12 + -10. Suppose -2*d = -4*d + c. Is 9 a factor of -1 + 36 - (-2 + d)?
True
Let u(l) = 0*l**3 + l**3 + 0 + 17. Is u(0) a multiple of 6?
False
Let r(k) = -11*k**2 + 3 - 4 + 7*k + 10*k**2. Does 2 divide r(4)?
False
Suppose 3*f - 2312 = 4*z, -9 = -3*z + 3. Does 41 divide f?
False
Let h(r) = 25*r**2 - 4*r + 2. Does 12 divide h(1)?
False
Suppose -g + t + 745 + 2139 = 0, -4*g = -t - 11521. Is g a multiple of 52?
False
Let d = 23 - 39. Let i be 1/((-4)/d + 0). Suppose i*j + a - 2*a = 186, -4*j + 3*a + 190 = 0. Is j a multiple of 18?
False
Let n(c) = 19*c**2 - 66*c - 7. Does 47 divide n(7)?
False
Suppose 108*f - 9 = 109*f. Is 98*((-12)/30 - f/10) a multiple of 21?
False
Suppose -3*f + 6*p - 2*p = -27, -5*p = 15. Suppose 3*i = y + 304, 150 = i + f*y + 38. Does 12 divide i?
False
Suppose a + 8 = 78. Suppose 2*d - d - a = -p, p = 3*d + 86. Is p a multiple of 30?
False
Suppose 4*a = 4*r - 592, a - 440 = -3*r + 6*a. Suppose -m = 4*z - r, 5*m = -3*z - 178 + 911. Is 16 a factor of m?
False
Suppose 4 = -2*i - d, i - 5*d - 15 = 5. Suppose 0 = -t + 5*t - 8. Suppose b - t*b + 9 = i. Is b a multiple of 4?
False
Suppose -2 - 6 = -4*b - g, 0 = -5*b + 3*g + 27. Let r be -7 + b/(-6)*0. Let z(n) = n**2 + n - 2. Does 13 divide z(r)?
False
Let v(g) = 11*g - 20. Let b(l) = -10*l + 19. Let d(y) = 4*b(y) + 3*v(y). Does 8 divide d(-5)?
False
Let t(z) = z**3 - 13*z**2 - z + 13. Let r be t(13). Suppose x = 2*y - 52, -4*y + 0*x - x + 104 = r. Does 13 divide y?
True
Let m(n) = n + 15. Let w = -6 + 5. Let b be (1/(-1)*0)/w. Is m(b) a multiple of 15?
True
Suppose 4*l - 3*f - 4 = 0, 6*l - 28 = 2*l - 3*f. Suppose -320 = -l*p + 4*i, 4*p + 61 = 3*i + 379. Is 13 a factor of p?
True
Suppose 2758 = -421*j + 423*j. Is j a multiple of 18?
False
Suppose -v + 0*o + o + 3 = 0, 9 = 5*v + o. Suppose l - 50 = -3*a, 5*l - 2*a = -7*a + 270. Suppose v - l = -3*j. Does 18 divide j?
True
Let j(s) = s**2 + 3*s - 1. Let q be j(-3). Let x be (-12)/(3 + 5/q). Let r = x - -1. Is r a multiple of 7?
True
Suppose -120 + 45 = -3*l + 3*d, d + 55 = 2*l. Does 58 divide (-3)/l - 1602/(-20)?
False
Let o = 735 - 647. Is o a multiple of 11?
True
Suppose 6*u - 2*c = 4*u + 5750, 4*c = 12. Is 18 a factor of u?
False
Let y = 37 - 25. Is 6 a factor of y?
True
Suppose -4*h = 3 - 11. Let k(j) = j**2 + 8 - h - 5 + 12. Is k(0) even?
False
Suppose k + 38 = -2*q - 75, 4*k = -4. Let p = -29 - q. Let f = 61 - p. Does 8 divide f?
False
Suppose -3*u + 12 = 3. Suppose -q - 2*w + 1 = 0, -5*q + 2*q - 4*w = -3. Is -4 + q + u + 10 a multiple of 4?
False
Does 32 divide (-120)/(-4) - (7 + -1)/(-3)?
True
Let y = -30 - -31. Suppose 2*s - 7 = -y. Is 17 a factor of 2 - 1*(-63 - s)?
True
Let z = 384 + -207. Suppose -5*f + u = -957, 4*f - 3*f - 5*u = z. Is f a multiple of 32?
True
Suppose 0 = 2*i - 4*m - 1744, -i - 5*m + 169 = -675. Does 18 divide i?
True
Let r(c) = 36*c - 21. Let y(f) = 9*f - 5. Let i(p) = -5*r(p) + 21*y(p). Is i(4) a multiple of 12?
True
Suppose 3*d = -5*x + 693, 2*x - 4*x + d = -286. Is 47 a factor of x?
True
Let f(j) = 13*j - 9. Let n(h) = -h - 11. Let q be n(-5). Let d be f(q). Let r = d + 153. Is 22 a factor of r?
True
Suppose a - u - 153 = -4*u, -a = -3*u - 147. Suppose -5*i = 5*s - s - 185, -4*s + 2*i + a = 0. Is s a multiple of 18?
False
Let m = -65 + 67. Is 13 a factor of (-3 - -2)*1 + 87 + m?
False
Let b = 10 + -4. Let r be -2 - -3 - (4 - b). Is 24 a factor of r*(-3 + 222/9)?
False
Suppose 1 = 2*k - 7. Let i(c) = 2*c**2 - 3*c + 10. Let n be i(k). Suppose n = 4*q - 3*q. Does 6 divide q?
True
Let p be (3/(-6))/(((-12)/(-2))/72). Let c(x) = -6*x**2 + x + 13. Let r(i) = -5*i**2 + i + 13. Let q(d) = 4*c(d) - 5*r(d). Is q(p) a multiple of 14?
False
Let q(b) = 6*b**2 + 33*b + 340. Does 13 divide q(-10)?
False
Let s = 18 - 15. Suppose -304 = -k - s*k. Is 19 a factor of k?
True
Suppose -306 = -9*f + 7*f - 5*q, -5*q = 0. Is 3 a factor of f?
True
Suppose -259 = -t - 256. Is t a multiple of 3?
True
Let p = -1003 - -1536. Is p a multiple of 13?
True
Let q(m) = 3*m**3 + 8*m**2 + 30*m - 4. Is 51 a factor of q(6)?
False
Suppose 2*u + u - 9 = -2*r, 0 = -3*r - 9. Suppose -u*n = x - 2*n - 26, -3*x - 4*n + 63 = 0. Is x a multiple of 3?
False
Let l(c) = -c**3 + 13*c**2 + 6*c. Let d be l(13). Suppose -2*o = -3*o + 2, d = 2*i + 5*o. Is 29 a factor of i?
False
Let t be ((-3)/(-2))/(6/8). Suppose -4*o = -3*x + 37, -3*o + t*x + 12 = 39. Let g = o + 39. Is 13 a factor of g?
False
Suppose 6 = -2*c, -5*c + 509 = 2*f - 6*c. Let y = 433 - f. Is 15 a factor of y?
True
Let u(r) = 988*r**3 + r**2 - 4*r + 2. Does 21 divide u(1)?
True
Let i = 30 - 26. Suppose i*g - 299 = 37. Is g a multiple of 21?
True
Suppose -6*g + 2*g = -5*z - 23, 3*g + 3*z + 3 = 0. Suppose 3*q + 2 + 118 = c, -3*c + g*q = -395. Does 28 divide c?
False
Let v(i) = -i**2 + 2 - 5*i + i + 2*i**2. Let y be v(5). Is 12 a factor of (y - 1)/(4/8)?
True
Let f = 30 + -13. Let i = 19 - f. Suppose 6*r - 144 = i*r. Is 36 a factor of r?
True
Suppose 3*g + 5*x + 34 = 187, 2*x = 2*g - 118. Suppose -53*w - 24 = -g*w. Is 2 a factor of w?
True
Suppose 5*t + 517 = 4*k - 1130, -414 = -k - t. Is k a multiple of 43?
False
Let r(c) = c + 16. Let w be r(-11). Let h = -9 - -53. Suppose 2*v - h = -2*v + 4*g, 34 = w*v + 2*g. Does 3 divide v?
False
Let a = 306 - 219. Does 3 divide a?
True
Let j(c) = -c**2 - 5*c - 3. Let d be j(-6). Let z = 6 - d. Suppose 3*h = -m + 16, -2*m - z - 1 = -2*h. Is h a multiple of 3?
True
Let u(n) = 261*n**2 - n. Let b be u(-1). Let m be (8 - 2/(-3))*(-18)/1. Let a = m + b. Is a a multiple of 28?
False
Let r = -371 - -434. Is 23 a factor of r?
False
Let n = 1744 - -330. Is n a multiple of 45?
False
Let x = -1121 - -1996. Does 5 divide x?
True
Let x(s) = -58*s + 3. Suppose -1 = -n + 2. Let p be x(n). Is p/(-4) - 3/(-12) a multiple of 13?
False
Let q(s) = -s**3 + 3*s**2 - 2*s + 3. Let i be q(2). Let k(z) = -111*z + 219*z + 4*z**2 - 111*z. Is k(i) a multiple of 21?
False
Let j(y) be the second derivative of y**4/4 + y**3/6 - y**2 + 13*y. Let s(n) = n**2 + 7*n - 5. Let q be s(-7). Is 10 a factor of j(q)?
False
Is 17 a factor of ((-157)/3)/(1/(-3)) - 4?
True
Let t(o) = 25*o - 105. Is 9 a factor of t(24)?
True
Suppose -h - 3 + 8 = 0. Suppose -h*p + 352 = -3*p - f, p + f - 179 = 0. Suppose p = 5*j - 4*n, -3*j + 3*n = -96 - 12. Does 11 divide j?
True
Suppose -2 = -14*k + 68. Let s = k - -10. Is 5 a factor of s?
True
Suppose -3*r + 3986 + 643 = 0. Is 69 a factor of r?
False
Let v be 2*-1 - (-1 - 7). Let y(a) = -3*a - 4. Let m(h) = 8*h + 12. Let n(q) = -2*m(q) - 7*y(q). Is 8 a factor of n(v)?
False
Let r(l) = 589*l**2 + 3*l + 2. Is r(-1) a multiple of 60?
False
Suppose 9*y = 4*y + 25. Suppose 4*f + 10 - 1 = -y*a, 13 = -3*f - 5*a. Does 2 divide f?
True
Let f(o) = o**2 - 10*o + 12. Let s be f(6). Is 18 a factor of (s/(-18))/((-1)/(-102))?
False
Let z(m) = 16*m**2 - 10*m**2 - m**2 - 11*m + 9. Is z(5) a multiple of 19?
False
Let x = 19 + 167. Does 6 divide x?
True
Is -631*(-5 - (-7 + 3)) a multiple of 38?
False
Let x(o) = o**3 + 4*o**2 - 5*o + 7. Let d(p) = -2*p**2 + 2. Let v be d(-2). Let w be x(v). Let j = 3 - w. Is 9 a factor of j?
False
Is (-912)/(-18)*45/6 a multiple of 38?
True
Let b(v) = 342*v**2 + 4*v + 2. Does 6 divide b(-1)?
False
Suppose 