et z(a) = -2*a - 36. Let t be z(-21). Suppose f - 116 = 91. Suppose -21 - f = -t*c. Is 8 a factor of c?
False
Let t(u) = -110*u + 21. Let s be t(6). Let b = s + 919. Is 9 a factor of (2 - 0) + b/4?
True
Suppose -2*a - 4*b = 3*a + 634, -a = -4*b + 146. Does 26 divide a/(-4)*(10 - 2)?
True
Let r be 1 + -3 + 6/2 + 275. Let c be r/15 - (-3)/5. Suppose c*g - 716 = 120. Is 19 a factor of g?
False
Suppose -6*p + 420 = p. Does 36 divide (p/(-8) - -3)/((-21)/1484)?
False
Suppose 2*b = -3*p + 184, -2*p = -b - 7*p + 92. Let y = b - 29. Let s = -27 + y. Is 15 a factor of s?
False
Suppose -23714 - 95766 = -10*m. Is m a multiple of 50?
False
Is 5 a factor of (12/(-45)*141)/((-4)/50)?
True
Let d(k) = 2*k**2 + 3*k - 165. Is 3 a factor of d(-12)?
True
Suppose 4*z - l + 116 = 0, 19 = -2*z + l - 39. Let w = -15 - z. Suppose 3*c = 3*k + 2*k - 31, -k + w = 2*c. Is 4 a factor of k?
True
Suppose -1964*l = -1969*l + 16170. Is l a multiple of 49?
True
Suppose 3*j = -2*m + 9182, 0 = -8*m - 9*j + 7*j + 36748. Is 71 a factor of m?
False
Suppose 31*y = 84 - 208. Let u(p) = -7*p**3 - 28*p**2 - 4*p - 4. Does 3 divide u(y)?
True
Let c = 51659 - 14910. Does 213 divide c?
False
Let y = 40 + -34. Suppose -3*a + 15 = 3*u, -5*u + 31 - y = 2*a. Let n(v) = -4*v + 21. Does 21 divide n(a)?
True
Let g(j) = 4*j**2 + 50*j - 4890. Is 114 a factor of g(105)?
True
Let s(w) = 2*w**2 + 8*w - 47. Let k be s(-11). Let b = 212 + k. Is 17 a factor of b?
False
Suppose -b = -5*r - 870 + 32489, 5*b = 2*r - 12620. Does 11 divide r?
True
Is 44 a factor of (136364/20 - 4) + (-21)/105?
False
Suppose 0 = 2*r - 4*f - 1998, 5*f + 1786 = 5*r - 3224. Suppose 2*x - 6*g + 7*g - r = 0, -3*x - 5*g = -1525. Does 44 divide x?
False
Suppose 70*f - 4393296 = -74*f. Is f a multiple of 48?
False
Does 14 divide (-7)/(28/(-31413)) + 96/(-384)?
False
Let i(l) = -2*l**2 - 5*l - 2*l + 0*l + 0*l**2. Let s be i(-3). Suppose s*d + 39 - 147 = 0. Is d a multiple of 12?
True
Let g = 47 + 113. Suppose 7*y - 11*y = -g. Let i = 48 - y. Does 8 divide i?
True
Does 78 divide -312*(-45)/(-10)*(-10)/30?
True
Suppose -5*p + 15 = 0, 4*p + 246 = 4*x - 538. Let c = x + -58. Let o = c - 10. Does 15 divide o?
False
Let j be ((-3)/(-2))/(18/(-60)). Let t(c) = -2*c**3 - 6*c**2 - 9*c. Let l be t(j). Let s = l - 17. Is 22 a factor of s?
False
Let b be 8/6*5/(60/18). Suppose 4*j + 6*r - 2*r = 0, 0 = j + 5*r. Suppose -3*i + b*m + 214 = i, j = 2*i + m - 97. Does 10 divide i?
False
Is 3 a factor of (-1705)/55*13/(-1)?
False
Let g(r) = -5*r**3. Let b be g(-1). Suppose 0 = -3*t - b + 20, -4*d + 5*t = -115. Suppose -4*o = -d - 345. Is o a multiple of 23?
False
Let c(l) be the third derivative of -l**4/24 - 4*l**3/3 + 15*l**2. Let w be c(24). Is (w - -30) + 137*1 a multiple of 16?
False
Suppose 14*s = 73*s + 431*s - 7082950. Is s a multiple of 59?
True
Let d(j) = -89*j + 3463. Is d(-21) a multiple of 43?
True
Let m(a) = 13*a + 52. Let d = -205 - -212. Is m(d) a multiple of 6?
False
Suppose -5*j = 4*t + 1818, -1391 = 3*t - j - 37. Let o = -155 - t. Is o a multiple of 28?
False
Suppose w + 3*j - 2355 = -0*j, -5*w = 5*j - 11825. Is w a multiple of 30?
True
Suppose 1104*t - 1099*t - 45 = 0. Let q(l) = l**3 - 9*l**2 + 11*l - 8. Is q(t) a multiple of 7?
True
Let b(s) = s**3 + 33*s**2 + 11*s - 37. Is b(-7) a multiple of 20?
True
Is 27 a factor of (183/(-1))/(61/(-11529))?
True
Let r = 1176 - 1700. Let w = r - -744. Suppose -8*l = -3*l + 20, 5*l - w = -4*h. Is 6 a factor of h?
True
Let c be 0/(-4) - (-3 + -1 - 4). Suppose c = -4*y + 16. Suppose -j + 3*u + 105 = 0, -3*j = 2*j - y*u - 564. Does 15 divide j?
False
Let s be (-2)/(-4)*(347 + 1). Suppose 0 = -44*t + 43*t + 7. Suppose -t*z = -z - s. Is 9 a factor of z?
False
Let w = -246 - -248. Let m(q) be the third derivative of 3*q**4/2 + 2*q**3 - 5*q**2. Does 12 divide m(w)?
True
Suppose 0 = 606*g - 646*g + 22240. Is 6 a factor of g?
False
Does 8 divide -852*4*1/(-2 - -1)?
True
Let r(z) = -2*z**3 + z**2 + 4*z - 15. Let j be r(-5). Suppose 239*i - j*i + 16 = 0. Is 9 a factor of i?
False
Let b(x) = x + 4. Let u(o) = 2*o + 8. Let i(c) = -11*b(c) + 6*u(c). Let j be i(0). Suppose 3*f - j = -f, -4*v + f + 191 = 0. Does 16 divide v?
True
Let w be (41 + 4)*(-6)/10. Let o(r) = -9*r - 73. Is 34 a factor of o(w)?
True
Let q(b) = b**3 + 37*b**2 - 41*b + 8. Let g be q(-38). Let l(s) = 2*s**3 - 7*s**2 + 6*s - 6. Let k be l(6). Let t = k - g. Does 14 divide t?
False
Let l = -14832 + 18488. Is 64 a factor of l?
False
Suppose -2*w - 19*h + 91601 = -18*h, 2*w + 4*h = 91610. Is w a multiple of 271?
True
Suppose 5*t + 25 = 5*h, 3*t + t - 5 = -h. Suppose t*f - 5*l = f - 24, 4*f = -3*l + 28. Is (f/1 - 1) + 37 a multiple of 13?
False
Suppose 4*q - 23705 = 3*c, 143*c + 25 = 148*c. Does 21 divide q?
False
Let a = 96 - 57. Suppose 3*y + a + 54 = 2*c, -4*c + 193 = y. Does 4 divide c?
True
Suppose -5*f = -0*c - 4*c + 21736, 0 = -c - 2*f + 5408. Is c a multiple of 16?
True
Suppose 290310 = -9693*i + 9723*i. Does 226 divide i?
False
Suppose -56*n = -18*n - 4930 - 30752. Is n a multiple of 34?
False
Let c be ((21/15)/7)/(-1) + 6544/20. Let l = -74 + -43. Let s = l + c. Is s a multiple of 14?
True
Suppose 18*h = 14*h + 5328. Suppose 4*l + 2*d = 4*d + 1304, 5*d - h = -4*l. Does 41 divide l?
True
Let r = -1026 + 6953. Is r a multiple of 32?
False
Is 36 a factor of 1530/(-25)*(76 + -706)?
True
Suppose 16*r - 18*r + 17468 = -20*h, 43619 = 5*r + h. Is r a multiple of 15?
False
Does 12 divide ((-3)/(-6))/((-6)/(-65448))?
False
Let w = -8843 + 15278. Is 13 a factor of w?
True
Let o = -1666 - -3166. Suppose -313*f - o = -318*f. Is f a multiple of 4?
True
Suppose 28*d - 11720 = 6788. Is d a multiple of 6?
False
Let d be (1 + 1)*173/2. Suppose 9 = 5*s + 4*p, -s + 6*p + 21 = 2*p. Suppose -s*z = l - 527 - d, 0 = 3*l. Is z a multiple of 20?
True
Let m(d) = -34*d - 13. Let v be (-282)/30 + 3/(-5). Is 19 a factor of m(v)?
False
Let a = 17041 + -11966. Is a a multiple of 71?
False
Let o(l) = -l**3 + 4*l**2 + 2*l + 17. Let k be o(5). Suppose k*f + 2*a - 436 = 0, -3*f + a = -746 + 84. Is f a multiple of 55?
True
Let f be (-2)/(5 + -1 + -5). Suppose -r + 113 = w - 333, -2*r = -f*w + 892. Does 27 divide w?
False
Is (15/(-24))/((-3)/12) + (-25995)/(-10) a multiple of 80?
False
Let q = -34 + 38. Let z(d) = 9 - 2*d**2 + d + q*d**2 - 3*d**2 + d. Is z(0) a multiple of 4?
False
Let n = -272 - -276. Suppose k + n*w = 1368, k - w - 6819 = -4*k. Is 22 a factor of k?
True
Let s(x) = x**3 + 11*x**2 + x - 14. Let p be s(-10). Let z = p + -40. Suppose -8*g + z = -6*g. Is 15 a factor of g?
False
Let i(w) = w**2 + 5*w - 8. Let u be i(3). Let a = u + -1. Does 6 divide a?
False
Suppose 7*l + 11*l + 1584 = 0. Let p = 133 + l. Does 9 divide p?
True
Let y = -455 - -460. Suppose y*r + 5 = 0, -3*l - 3*r - 1012 = -3073. Is 43 a factor of l?
True
Let l(n) = -5*n**2 + 7*n + 6. Let b(q) = 4*q**2 - 6*q - 6. Let m(d) = 6*b(d) + 5*l(d). Let w be m(-3). Let u = w + 18. Is u a multiple of 3?
True
Let d(l) be the second derivative of -l**5/10 - 5*l**4/6 - 7*l**3/6 - l**2 + 14*l + 1. Is d(-7) a multiple of 9?
True
Suppose 0 = 2*a - 2*d + 6*d - 36, 0 = -5*a + 2*d + 138. Let k = -3 + a. Let y = 168 - k. Is y a multiple of 29?
True
Let i(x) = 6 - 14*x**2 + 11*x**2 - 4 - 3*x. Let v be i(-4). Let o = 85 + v. Is o a multiple of 6?
False
Let r(v) = 8*v**3 + 25*v**2 - 94*v - 20. Is r(4) a multiple of 3?
True
Let f = -1520 + 774. Let g = 10 - f. Is 29 a factor of g?
False
Let f(i) = -3*i**3 + i**2 + i - 11. Let d be f(-7). Let w be (-16 - d)/((-2)/1). Let u = w - 244. Is u a multiple of 42?
True
Let u(w) = 310*w + 960. Does 8 divide u(4)?
True
Suppose -10*o + 4*o = -210. Let n be 6*((-14)/(-30) + 7/o). Suppose -a + 267 = 2*g, -3*g + 3*a - n*a = -399. Is 22 a factor of g?
True
Suppose 0 = -47*x - 16*x + 502740. Is 76 a factor of x?
True
Suppose 21*q + 1350 = 12*q. Let u = q + 280. Is u a multiple of 3?
False
Let z(o) = -783*o - 8. Let f be z(-1). Suppose r - f = -256. Does 16 divide r?
False
Suppose -5*b + 11660 = -5*k, b - k - 4*k - 2320 = 0. Is b a multiple of 34?
False
Let h = 21276 + 13514. Does 14 divide h?
True
Let d(s) = s**3 + 6*s**2 - 7*s + 5. Let z be d(-7). Suppose z*y + 10 = 3*y. Does 11 divide y/(10/4) + -1 + 131?
False
Suppose 5*j - 3*g = 4*j + 10, 2*j - 16 = 4*g. Suppose -5*o - 5*h + 227