 - 424/s?
True
Let r(o) = o**2 - 2*o - 8. Let t be r(6). Suppose 4*i = 20 + t. Does 2 divide i?
False
Let j(p) = 410*p + 5. Is 11 a factor of j(2)?
True
Suppose -22*l + 3494 = -2776. Does 19 divide l?
True
Let c(a) = 24*a + 2. Let m be c(1). Suppose 4*b - m = 2*b. Does 13 divide b?
True
Let m(u) = 2*u**2 + 6*u + 11. Let q(s) = 30*s**3 - 2*s**2 + 1. Let i be q(-1). Let k be (-7)/(-42) + i/6. Does 9 divide m(k)?
False
Let n(m) = 1. Let j(l) = 79*l + 5. Let t(c) = -j(c) + 3*n(c). Does 17 divide t(-1)?
False
Let t(g) = g**2 + 2*g + 2. Let q be t(-3). Suppose -5*r - 135 = q*a, a + 2*r = -0*a - 32. Let b = a - -40. Is b a multiple of 6?
True
Let h = 792 - 108. Does 92 divide h?
False
Let i(n) = -5*n + 22. Let z be i(-22). Let l(j) = j**2 + 8*j - 5. Let s be l(5). Suppose 0 = 3*c - 4*c + 4*d + s, 2*c - 4*d - z = 0. Does 18 divide c?
True
Suppose -1398 = -14*f + 3194. Does 11 divide f?
False
Let n = -7 + 243. Does 9 divide n?
False
Let u(y) = y**3 + 15*y**2 + 14*y + 10. Let c be u(-14). Let b = 8 - c. Does 17 divide b/(-6)*(8 - -145)?
True
Is (-3)/(-4)*(-69112)/(-159) a multiple of 34?
False
Let z(h) = -h**3 + 7*h**2 - 6*h - 6. Let x be z(6). Let i be (40/x)/(5/15). Let d = 22 + i. Is d a multiple of 2?
True
Let w be (5/4)/(3/300). Suppose 4*o = -146 - 154. Let b = w + o. Is 25 a factor of b?
True
Let k(v) = 2*v**3 - 3*v**3 - 1 + 0*v**3 - 19*v + 17*v. Let t be k(-1). Suppose -93 = -z - t*z. Is 19 a factor of z?
False
Let f = 869 - 223. Is 38 a factor of f?
True
Suppose 3*z + 7 = -2*b, 5*b - 4*b - z - 4 = 0. Let o(i) = 49*i**3 + 2*i - 1. Is 25 a factor of o(b)?
True
Suppose 8*k = 7*k - 4*h + 1431, -3*k = -3*h - 4308. Does 35 divide k?
True
Suppose -p + 2 = 4*h - 7*h, -4*h + 8 = 4*p. Let x be 10/p + (-10 - -7). Suppose -83 = -2*u + 5*z, 0 = -z + x*z - 1. Is u a multiple of 22?
True
Let d(x) = -x**2 - 7*x - 7. Let a be d(-8). Let o = a - -38. Is o a multiple of 12?
False
Let z(x) = -x**3 - x**2 - x - 1. Let o be z(-1). Suppose o*a = -2*a + 188. Let q = 134 - a. Is q a multiple of 11?
False
Is 7 a factor of 344 + 18/(-4 + 10) - -3?
True
Suppose 3*v = -0 + 12. Suppose v*f = -0*f + 20. Is f + -2 - (-66 + -2) a multiple of 9?
False
Let u(l) = -4*l - 9. Let o be u(-3). Let h(p) = p**3 - 4*p**2 - p + 2. Let f be h(4). Is (-134)/(-6)*o + f a multiple of 19?
False
Suppose 0 = -6*z + 3*z - 189. Let n be 7*-6*3/z. Suppose 0 = 3*g - 4*r - 92, -26 = -g + n*r - 3*r. Does 7 divide g?
True
Does 77 divide 3 + (5/(-3) - 38400/(-36))?
False
Let g(v) = 21*v**2 - 29*v + 10. Does 6 divide g(5)?
True
Suppose -m = 3*y + 3, m + 2*m + 20 = 2*y. Does 18 divide ((-9)/m)/((-2)/9)*-24?
True
Let s(p) = 2*p**2 + 4*p + 54. Is 10 a factor of s(-13)?
True
Let h = -31 + 35. Let n be -2 + (4 + -86 - h). Is 25 a factor of -4 - (n - -3) - 3?
False
Suppose 13*d - 4758 = -0*d. Is 6 a factor of d?
True
Let z(k) = 5*k**2 - k + 1. Is z(6) a multiple of 14?
False
Let i be 1/(-8) - (-105)/(-56). Let w(c) = c + 1. Let n(l) = -5*l**2 + 2*l + 7. Let z(d) = -n(d) + 4*w(d). Is 5 a factor of z(i)?
False
Let k(a) = -2*a**2 - 3*a + 15. Let l(w) = -w**2 + 7*w - 5. Let u be l(7). Let g be k(u). Let n = g - -32. Does 3 divide n?
True
Let c(v) = v**3 - 7*v**2 - 2*v + 16. Let g be c(7). Suppose j + g = -2, 0 = -5*o - 5*j + 45. Does 9 divide o?
False
Suppose -406 + 2 = -2*k. Is k a multiple of 26?
False
Suppose -5*h + 695 = -2*p, 4*h = h - 2*p + 417. Does 14 divide h?
False
Let g(z) = z**2 - 12*z + 17. Let m be g(13). Let b = 15 - m. Let o = 36 + b. Does 7 divide o?
True
Suppose -4*k + 14 = -6. Suppose k*i + 24 + 1 = 0. Is 16 a factor of ((-16)/3)/(i/60)?
True
Suppose 0 = -3*b - h + 13, -2*b = -7*b - 3*h + 27. Let k be 22/2 - 3 - b. Suppose -k*w - 93 = -4*r, -2*r + 3*w - 2 = -3*r. Is 14 a factor of r?
False
Suppose -51*y - 896 = -59*y. Is 5 a factor of y?
False
Suppose 54*o - 57*o + 1947 = 0. Is o a multiple of 11?
True
Let w(h) = -6*h - 8. Let k(u) = 6*u + 7. Let f(r) = 2*k(r) + 3*w(r). Is f(-2) a multiple of 2?
True
Let o(l) be the first derivative of 8*l**3/3 + l**2 - 16*l + 15. Does 13 divide o(-4)?
True
Let a be 115/10 + (-1)/(-2). Is 10 a factor of 0 + a + 3 + -5?
True
Suppose 2828 = -108*h + 115*h. Does 26 divide h?
False
Let q(d) = 4*d**2 + 1. Is q(8) a multiple of 17?
False
Let o(b) = 144*b - 52. Is 20 a factor of o(8)?
True
Let z(o) = o**2 - 10*o - 1. Let c be z(-4). Let g = c - -45. Is 9 a factor of g?
False
Let r(v) be the second derivative of v**4/12 - v**3/2 - 5*v**2/2 - 29*v. Does 5 divide r(6)?
False
Let h(l) = l**3 + 7*l**2 - 7*l + 3. Let a(r) = r**3 + 7*r**2 - 6*r + 9. Suppose 3*v + 0*v - 5*k - 1 = 0, -3*v - 19 = -k. Let c be a(v). Is 13 a factor of h(c)?
True
Suppose -3*w = -4*d + 18 - 0, 4*w + 5*d - 7 = 0. Let p(i) = -329*i**2 + i - 2. Let c be p(w). Is c/(-39) + 2/13 a multiple of 11?
False
Let r(c) = 2*c + 19. Let n be r(-6). Let y = n + 8. Is 444/y + (-2)/(-5) a multiple of 15?
True
Suppose 17*f - 7798 = 2368. Does 13 divide f?
True
Let i(h) = 23*h + 17*h + 4*h. Is 9 a factor of i(1)?
False
Let q be 10/(1/(-52)*2). Suppose 2*v + 3*a = -278, 5*a = -v - 4*v - 695. Let l = v - q. Is 21 a factor of l?
False
Suppose 9*r = -3*r + 48. Suppose r*p - 10 - 8 = -2*l, 12 = -4*p. Is 2 a factor of l?
False
Is 418 - 2 - (-2 + 9 + -3) a multiple of 33?
False
Let k(o) = 21*o**2 - 4*o - 57. Is k(-4) a multiple of 15?
False
Suppose -2*m = -4*f - 408, 0 = 5*m - 0*m - 2*f - 1028. Is m a multiple of 21?
False
Suppose 8 = -2*t, -2*n + 1154 = -4*t - 204. Does 60 divide n?
False
Suppose 258 + 550 = 2*h. Is h/4 - (2 - 1) a multiple of 21?
False
Suppose 0 = i - 5*p - 232, 3*i - i - 4*p = 488. Suppose -i = -5*n + 8. Is n a multiple of 11?
False
Let i(s) = -4*s**3 - 4*s**2 - 2*s + 1. Let n(r) = r**2 - 6*r - 9. Let j be n(7). Let c be i(j). Is c/(((-3)/1)/(-3)) a multiple of 7?
True
Let f be (-3 - (-66)/10)/(12/40). Let t(i) = i + 7. Is t(f) even?
False
Suppose -b - 5*t = -232, -3*b + 696 = 7*t - 11*t. Does 17 divide b?
False
Suppose 5*o + 5*h = 8250, 2*o + 3*o - 8250 = -3*h. Does 25 divide o?
True
Let i be -2*((-5 - -3) + 1). Suppose -i*b - 8 = -b + 2*t, -4*b + 33 = -5*t. Suppose -5*v + 2*v - 51 = -b*l, 3*v = -4*l + 129. Does 10 divide l?
True
Let s be (1 + 1)*(-45)/6. Let y = -10 - s. Is 9 a factor of (-9)/(-4 + (y - 2))?
True
Let y = -13 + 25. Let d = y + -13. Is 6 a factor of (-12)/(-15)*d*-45?
True
Suppose 0 = 5*x - 24 + 4. Suppose w - x = -0*w. Suppose -w*b + 20 = 4*y, -28 = -7*b + 3*b - 2*y. Does 3 divide b?
True
Suppose 5*d + 35 = 5*l, 1 + 0 = -2*l - d. Suppose -2*b = l*b - 468. Is b a multiple of 21?
False
Suppose 34 + 18 = 4*b. Suppose b*d + 55 = 18*d. Is 2 a factor of d?
False
Suppose -7*f + 362 = -1549. Does 13 divide f?
True
Let z(k) = -k**2 + 2*k - 6. Let y be z(-4). Let b = y - -59. Let r = b - 15. Does 7 divide r?
True
Let m = 56 - 51. Suppose -4*t = -3*p + 104, p = -2*p - m*t + 59. Does 8 divide p?
False
Let t(r) = -50*r**3 + 2*r**2 - 2*r + 1. Let f be t(1). Let a be -85 - 4/12*3*-1. Does 15 divide (a/f)/((-4)/(-70))?
True
Let c(n) be the second derivative of -n**5/15 - 7*n**4/12 + 5*n**3/6 + 4*n. Let o(i) be the second derivative of c(i). Does 5 divide o(-6)?
False
Let n = 165 - 158. Is n a multiple of 2?
False
Let v be 1 + -139 + -2 + (-7 - -7). Is (-3680)/v + 4/(-14) a multiple of 2?
True
Is 21 a factor of (874/16 - 9/(-24)) + 1?
False
Let b be (-1)/((-15)/6)*60. Is (-4)/(b/14 + -2) a multiple of 7?
True
Suppose -3*p = -4 - 2. Suppose -136 = -0*g - p*g. Is g a multiple of 17?
True
Suppose -34396 + 10171 = -15*c. Is 95 a factor of c?
True
Let g(k) be the third derivative of 3*k**5/20 + 2*k**3/3 - 4*k**2. Let s(p) be the first derivative of g(p). Is s(1) a multiple of 9?
True
Suppose 2*q - 1 = -3. Let u be 22/1 - (-2)/q. Suppose u = -2*j + 152. Is j a multiple of 30?
False
Let r(o) = 7*o + o**2 + 0*o + 10 + 26. Is r(-6) a multiple of 3?
True
Let u be 57/6 - (-15)/(-10). Does 33 divide u*14 + 2 - -4?
False
Suppose 3*h - 15 = 0, -2*h - 3 = -2*r - 3*h. Let n(y) = -121*y + 9. Is n(r) a multiple of 13?
True
Let o(j) = 40*j + 188. Is 55 a factor of o(8)?
False
Suppose 705 = 4*k - 3. Does 10 divide k?
False
Suppose 2*t - 2 = -20. Let x(i) = 13*i + 0 + 15 + 532*i**2 - 530*i**2. Is x(t) a multiple of 10?
True
Suppose -16 = -4*y, -2*y + y + 24 = 5*x. Suppose 3*c = 2*c - k + 77, x*c = -2*k + 312. Is c a mul