 z?
True
Suppose -5*f = 7*s - 3*s - 887, -2*s + 476 = -4*f. Is 57 a factor of s?
True
Let b be 1/(-2)*4/(-1). Let c be (-10)/(-25) - b/5. Suppose 4*s - 12 - 24 = c. Is 2 a factor of s?
False
Let u(h) be the second derivative of -h**3/3 + 28*h**2 + 39*h. Is 22 a factor of u(-16)?
True
Let l(r) = -r**2 + 7*r + 9. Let q be l(7). Is (137*(-6)/q)/((-12)/18) a multiple of 25?
False
Is (-3)/8 - 4460/(-32) a multiple of 4?
False
Let r = 158 + 1200. Is r a multiple of 37?
False
Suppose -2*v = 5*h + 7 - 1, 3*v + 5*h = -4. Suppose 16 = -2*n + 3*y + 67, 0 = v*y + 10. Is 6 a factor of n?
True
Suppose 4*u - 7072 = -4*k, 3*u - 75*k - 5305 = -77*k. Does 16 divide u?
False
Let b be 6/(3 - 5 - -1). Let u(t) = 4*t - 11. Let j(c) = 12*c - 32. Let z(x) = -5*j(x) + 14*u(x). Does 10 divide z(b)?
True
Suppose t - 124 = -4*g, 2*t = -4*g - t + 116. Let m = 17 + g. Does 5 divide m?
False
Let h be (-208)/(-10) - (-7)/35. Let m be 4 - 3/(9/h). Let y(z) = -25*z + 8. Is 28 a factor of y(m)?
False
Let o(z) = -123*z - 12. Let t be o(-4). Suppose -5*f - t = -9*f. Is f a multiple of 39?
False
Let a(v) = -11*v - 26. Let r be a(-24). Let y = r - 140. Is 7 a factor of y?
True
Let n(f) = -f**3 - 19*f**2 - 17*f + 13. Let b be n(-18). Let d(o) = o**3 + 5*o**2 - 2*o + 4. Is d(b) a multiple of 2?
True
Let l = 1135 + -697. Is l a multiple of 73?
True
Let k(f) be the third derivative of f**5/20 + 7*f**4/24 + 5*f**3/6 + 14*f**2. Is k(-5) a multiple of 15?
True
Suppose 159*s - 190*s = -42501. Is 10 a factor of s?
False
Suppose 63 = 22*s - 21*s. Is s a multiple of 11?
False
Is -33*(1 - 137/3) a multiple of 25?
False
Is ((-1408)/440)/(-1*(-1)/(-30)) a multiple of 24?
True
Let o(w) = w**3 - 19*w**2 + w - 25. Suppose 3*j - 7*j - 3*b + 73 = 0, -58 = -3*j + b. Let l be o(j). Is 7 a factor of l/4*224/(-12)?
True
Let a(x) = -2*x - 7. Let l(t) = t. Let h be 2 + (1 + 2 - 2). Let m(r) = h*l(r) - a(r). Does 11 divide m(3)?
True
Let j = -620 + 1244. Does 26 divide j?
True
Let b = 20 - 20. Let f be 3/18*-2*b. Is 14 a factor of f/(4/(-4)) - -14?
True
Let d(w) = -w**3 + 8*w**2 + 4*w - 10. Let u(i) = -i. Let o(x) = x**2 + x - 3. Let c be o(0). Let q(l) = c*u(l) + d(l). Does 10 divide q(8)?
False
Let f(w) = -2*w**2 + 6*w + 7. Let s be f(9). Does 5 divide 1/(-4 - 405/s)?
False
Suppose 0 = 3*p - p - 8. Suppose 4 = p*x, -5*x + 403 = 5*t - 2*x. Is 10 a factor of t?
True
Suppose v = -3*j - 0*v + 11, -2*v = -4*j + 18. Suppose -i + 568 = 3*b + 228, -16 = -j*i. Does 38 divide b?
False
Let t be -19 + 1/(1 - 2). Let k = 60 + t. Is 5 a factor of k?
True
Let o = 10 + -32. Let d = -34 - o. Let j = d - -46. Does 17 divide j?
True
Suppose -5*w + 7 = 4*i, 2*w - 1 = -0*i - i. Let u be 2 + (-1 + -1)/w. Suppose -p + u = -6. Is p a multiple of 10?
True
Suppose m - 1 = 4*p - 14, -4*m = 4. Suppose 3*d - 186 = -p*d. Is d a multiple of 13?
False
Let x = -9263 - -14078. Is 63 a factor of x?
False
Suppose 0*h - 5*h + 2*d = -530, -5*h = 4*d - 560. Is h a multiple of 54?
True
Suppose -3*y + 4086 = -4*i - 2618, -5*i + 20 = 0. Suppose y = a + 9*a. Does 34 divide a?
False
Suppose -8*x - 139 = -f - 4*x, 4*x - 401 = -3*f. Does 9 divide f?
True
Let j = -245 - -268. Is 6 a factor of j?
False
Let m(o) = o**2 + 3*o - 6. Let v = -2 + 13. Let r be m(v). Suppose k + 60 = 2*q + 2, -5*q + 4*k = -r. Is 14 a factor of q?
True
Let r = -83 - -85. Suppose -r*y + 907 - 267 = 0. Is y a multiple of 20?
True
Suppose -9*g - 2*g = -715. Is 30 a factor of g?
False
Let l(r) = 33*r - 31. Let t be l(10). Let z = t + -178. Is 11 a factor of z?
True
Suppose 0 = -50*b + 55*b - 60. Let a be ((-6)/(-12))/((-1)/6). Is (4/b + a)*-30 a multiple of 27?
False
Is ((-28)/210*10)/((-2)/276) a multiple of 4?
True
Let n(h) = -5*h + 7. Let a(d) = -4*d + 14. Let c be a(5). Does 8 divide n(c)?
False
Let s(g) = -g**3 + 3*g**2 + 4*g + 5. Let u be s(4). Let y(r) = 6*r**3 - 2*r**2 + 2. Let w be y(1). Is w - ((u - 3) + -2) a multiple of 2?
True
Let o(z) = -3*z - 15. Let i be o(-6). Suppose -2*g + g - 22 = -i*t, 3*g = -3*t + 18. Suppose t*w + 104 = 9*w. Is 13 a factor of w?
True
Suppose -4*r = -5*n + 244, 2*n - 13 = -2*r - 153. Let i(s) = -13*s**3 + 4*s**2 + 10*s + 6. Let h be i(-2). Let x = h + r. Does 13 divide x?
False
Suppose -3*g + 15 = 2*g. Let s(f) = f - 3. Let n be s(5). Suppose -r + 5*m - 12 = 0, 2*r - g*r = n*m - 16. Is 4 a factor of r?
True
Suppose -7 = d - 140. Does 3 divide d?
False
Let h(m) = 28*m + 4. Let b = 60 - 59. Is 8 a factor of h(b)?
True
Is 22 a factor of ((-6)/(1 - -1))/(5/(-195))?
False
Let b(v) be the third derivative of v**5/60 + v**4/24 + 124*v**3/3 + 7*v**2. Let u be b(0). Is u/18 - (-4)/18 a multiple of 14?
True
Suppose -9 = -3*u - 0*u. Suppose -2*l + 7 = -y, -5*l + 1 = -u*l + y. Suppose 3*q - 6*b - 57 = -3*b, -2*b = l*q - 30. Is q a multiple of 8?
False
Let l = 25 + -10. Does 6 divide 4*(-3 + l/2)?
True
Let g(u) = -u**2 + 28*u - 93. Is 3 a factor of g(9)?
True
Let f = -322 - -497. Is f a multiple of 5?
True
Suppose 0 = -l - 2*l + 5*u - 20, -4*l = 5*u - 20. Suppose -5*g + i + 421 = l, 2*g + 171 = 4*g - 3*i. Suppose y + 2*y = g. Does 14 divide y?
True
Suppose -1194 = -8*p - 90. Is p a multiple of 23?
True
Let g(a) = a**3 + 2*a**2 - 6*a - 6. Let i be g(-3). Does 13 divide (590/(-15))/((-2)/i + 0)?
False
Is 6/(-66) + (-5942)/(-22) a multiple of 11?
False
Suppose 0 = 3*i - 293 - 313. Suppose -56*b - i = -57*b. Is 41 a factor of b?
False
Let w(c) = -c**2 - 6*c + 3. Let a be w(-6). Suppose -p - 16 = 5*k, -4*p + a + 17 = -k. Suppose -50 = -2*o + p*h, 4 - 6 = -2*h. Is 9 a factor of o?
True
Let p = 27 + -22. Suppose 4*y - 164 = -3*o - o, -221 = -p*o - y. Is o a multiple of 15?
True
Let s(v) be the third derivative of v**5/30 - 11*v**4/24 + 25*v**3/6 - 30*v**2. Is s(8) a multiple of 13?
True
Let n(l) be the first derivative of -11*l**2/2 - 13*l - 9. Does 17 divide n(-7)?
False
Let t(b) = -b + 2. Let q(h) = 5*h - 2*h - h. Let k be q(-2). Is 2 a factor of t(k)?
True
Suppose -14 = -s - 3*a, -s - 3*a - 32 = -2*s. Let o = s + 29. Does 26 divide o?
True
Let v(c) = -99*c + 7. Let g be v(-11). Does 13 divide g/14 - 20/70?
True
Let u(i) = -i**3 - 13*i**2 - 12*i + 5. Let r be u(-12). Suppose r*p = 5*g + 145 - 30, -p - 3*g = -15. Is 7 a factor of p?
True
Let r(a) = -246*a + 105. Does 6 divide r(-3)?
False
Suppose 0 = -x - 2*b + 4, 7 + 2 = 3*x + 3*b. Suppose x*q = 3*q - 10. Let l = 7 + q. Is l a multiple of 3?
False
Let v = 98 + -94. Suppose -v = -h, 39 = -3*g - 2*h + 542. Is g a multiple of 22?
False
Let a be ((-192)/(-18))/(4/6). Suppose 5*o + a = -24. Is 39 - 3/(12/o) a multiple of 8?
False
Let m = -79 + 188. Suppose d - 95 - m = 0. Suppose d = -3*u + 7*u. Is 17 a factor of u?
True
Let h(w) = 4*w**3 + w**2 + 6*w - 7. Suppose 0 = -x - 4*d + 11, -3*x + 4*d = -10 - 7. Let q be h(x). Is q/24 - (-8)/6 a multiple of 31?
True
Is 4/18 - (-52152)/54 a multiple of 24?
False
Let s be 14*((-2)/(-7) - 0). Suppose s*y = -2*n, 3*n = -1 + 7. Let a(l) = -4*l + 1. Does 4 divide a(y)?
False
Does 43 divide (54/45)/(-6) + 712/10?
False
Let c(n) = 14*n**2 + n + 11. Let q(b) = 7*b**2 + 5. Let u(v) = 4*c(v) - 7*q(v). Is u(-4) a multiple of 21?
True
Suppose -9*n + 45705 = 6*n. Is 82 a factor of n?
False
Let k(d) = -17*d - 6. Let j be k(-4). Suppose w + w = j. Is 15 a factor of w?
False
Suppose -f = 11*f - 1008. Is 12 a factor of f?
True
Let y(v) = -v**3 - v**2 - 4*v**2 + 3*v**2 + 3 - 3*v**2 + 2*v. Let o = 4 - 10. Is 27 a factor of y(o)?
True
Suppose 8 = 4*b - c, 0 = -2*b + 4*c - c + 4. Suppose -2*w - 4 = 4. Is 9 a factor of (0 + b/w)*-44?
False
Let d(w) = -7*w - 4. Let f(u) = 6*u + 5. Let p(c) = 3*d(c) + 2*f(c). Let i be p(-6). Does 13 divide ((-1)/(-2))/(2/i)?
True
Let f(n) = n**3 + n**2 - n - 4. Let w(m) = 2*m**3 + 2*m**2 - m - 7. Let i(a) = -5*f(a) + 2*w(a). Let q = -14 - -10. Is 14 a factor of i(q)?
True
Let f(u) = 48*u + 245. Is f(13) a multiple of 11?
True
Let c = -4 - -1. Let j be 3/1 - (c - -4). Suppose 3*i = -3*p + 213, j*p + i + 127 = 4*p. Is 10 a factor of p?
False
Let o = -53 - -57. Does 40 divide (-3363)/(-21) - o/28?
True
Let p = 304 + 257. Let h = -399 + p. Is h a multiple of 27?
True
Let q = -400 - -591. Let o = -51 + q. Does 17 divide o?
False
Let s be 3/(3/(3/(-2)))*-296. Let t = -253 + s. Is t a multiple of 30?
False
Let a be 145/35 + (-1)/7. Let s be a/3*33/22. Suppose -5*j -