e
Suppose 0 = 5*z - 5, 3*k + z + 842 = 6*k. Suppose 4*x = -w + k + 3, -8 = 2*w. Does 24 divide x?
True
Suppose -13*k = -16*k + 9. Does 3 divide k?
True
Suppose 24 = f - 5*f. Let b(t) = 5*t**3 - 3*t**2 + 10*t. Let o(d) = 11*d**3 - 6*d**2 + 21*d + 1. Let g(r) = f*o(r) + 13*b(r). Is g(-5) a multiple of 12?
True
Is -4 + 40/12 + 824/12 a multiple of 3?
False
Let m(h) = -5*h**3 + 2*h**2. Let i be m(3). Let a = -63 - i. Is 27 a factor of a?
True
Suppose 5*f = -0*f. Let k(j) = -j**3 + 39. Does 23 divide k(f)?
False
Suppose -5*o + 3*r + 243 = 0, 139 = 3*o + 7*r - 2*r. Is 28 a factor of o?
False
Suppose -3*i + 362 = 2*v, -4*v = -i + 102 + 14. Is 20 a factor of i?
True
Let q(f) = -f**2 - 2*f + 4. Let p be q(-3). Let z be -1 + (p - 2) - -2. Suppose -5*h = -z*h - 25. Is h a multiple of 2?
False
Suppose 4*d + 66 = 15*d. Is 6 a factor of d?
True
Does 13 divide ((-18)/21)/(2/(-728))?
True
Suppose -8 + 3 = -5*c. Is 7 a factor of (1 - -6)/(c/3)?
True
Is (-2622)/(-14) + 0 - 18/63 a multiple of 11?
True
Let k(a) = 38*a + 5. Let x be k(2). Let d = -57 + x. Is 19 a factor of d?
False
Let w(i) = -i. Let r be w(10). Let l = -2 - r. Does 3 divide l?
False
Does 15 divide 225/(-18)*(-36)/10?
True
Let a(p) = p - 1. Let z be a(-5). Let n(r) = r**3 + 7*r**2 - 2*r + 4. Is n(z) a multiple of 13?
True
Suppose -61 - 54 = -3*x + 5*q, -3*q + 43 = x. Does 10 divide x?
True
Suppose q = -2 - 90. Does 7 divide q/(-6) + (-3)/9?
False
Suppose -2*a + 36 = l, -2*l + 4*a + 62 - 6 = 0. Does 7 divide l?
False
Let q(u) be the second derivative of 7*u**5/20 - u**4/6 + u**3/3 - u**2/2 - u. Does 6 divide q(1)?
True
Let p(z) = -z**3 + 5 - 3*z - 6*z**2 - 8 - 5. Is p(-7) a multiple of 27?
False
Let y(o) = 7*o**2 - 2*o + 2. Let i be y(2). Let m = -12 + i. Is 13 a factor of m?
False
Suppose 0 = 5*z + 3*x - 2*x - 31, -43 = -5*z + 2*x. Let a(k) = k**2 + 8*k - 3. Does 34 divide a(z)?
True
Suppose -5159 + 1683 = -11*t. Is t a multiple of 19?
False
Suppose 46 = 2*h - 4*b, -5*h - 3*b + 48 = -h. Is h a multiple of 13?
False
Let b be (1 - -47)/(-4 - -5). Does 25 divide b - 0*1/2?
False
Suppose 3*f + 16 = 4*f. Is f a multiple of 16?
True
Suppose 3*t = 2*t + 100. Suppose -t = 5*q - 520. Is q a multiple of 28?
True
Suppose -2*x + 0*x = 20. Let f(h) = h**2 + 6*h + 4. Is f(x) a multiple of 22?
True
Let m(o) = 8*o**2 - 9*o + 8. Does 11 divide m(2)?
True
Suppose 0 = -3*q + 3*h, q - 2*h = -2*q - 1. Let b be ((-2)/4)/(q/64). Does 18 divide b + 2 - (-2 + 0)?
True
Let b(w) = -w + 1. Let n be 4/14 - (-19)/7. Suppose m + 21 = -3*p - 3*m, 0 = -n*p + 4*m - 21. Does 8 divide b(p)?
True
Suppose m + 0*m = -4*z + 2, -4 = 2*m. Does 19 divide 502/14 + z/7?
False
Is 28 a factor of 30/(((-45)/(-42))/5)?
True
Let y(f) = 10*f**2 + 3*f + 1. Let l be y(-3). Suppose -3*m = 4 - l. Does 11 divide m?
False
Let b(z) = z**3 - 3*z**2 - 16*z - 6. Is b(7) a multiple of 39?
True
Suppose -5*h + 12 = -8. Suppose -2*y - 28 = -h*y. Is 14 a factor of 2 - (-1 + y*-2)?
False
Suppose -14 - 2 = -4*v. Suppose -38 - 6 = v*j. Let d = j + 25. Does 6 divide d?
False
Let b(t) = t + 2. Let o be b(0). Suppose x = o*x - 14. Is x a multiple of 7?
True
Let l(a) = -a + 17. Does 20 divide l(-16)?
False
Let o be 0/(-2) - (-1 - 2). Suppose 0 = 5*f + 3*w - 100, -4*f - o*w = -38 - 42. Does 5 divide f?
True
Let j(w) = -w**3 + 4*w**2 + 5*w + 1. Let f be j(5). Is -2 + (1 - f) - -14 a multiple of 9?
False
Suppose 0 = 5*g + 307 + 58. Let d = 109 + g. Is 12 a factor of d?
True
Let i(s) = -s**3 + s**2 - s. Let n be i(0). Suppose -h = 3*o + o - 201, 3*o + 2*h - 147 = n. Does 19 divide o?
False
Let k(o) = o**2 - 6*o + 5. Let w be k(5). Suppose -2*j - 2*j + 32 = w. Does 6 divide j/(-3)*(-36)/8?
True
Suppose -4*n = -a + 5, -2*n = 2*a + 15 - 5. Let f = 12 + a. Is f a multiple of 4?
False
Suppose -4*u = -2*u - 68. Is u a multiple of 12?
False
Let j be 4/(-6)*(-3)/2. Let y(l) be the second derivative of 3*l**3/2 - l. Is 4 a factor of y(j)?
False
Let v(p) be the third derivative of 0*p - 1/6*p**3 + 19/24*p**4 - p**2 + 0. Is 7 a factor of v(1)?
False
Suppose 0 = 3*n - 2*n + 9. Let s = n + 42. Does 10 divide s?
False
Let z(j) = -11*j - 5. Is 30 a factor of z(-7)?
False
Suppose 5*k - k + i - 544 = 0, 4*k - 544 = 3*i. Is k a multiple of 19?
False
Let v = -5 + 8. Suppose -1 - v = f + 3*y, y + 27 = 2*f. Is 5 a factor of f?
False
Suppose 3*c = -l + 2*l + 17, 5*l = -c - 21. Suppose -3*w = 4*p - 92, c*w + 3*p - 2*p = 127. Is w a multiple of 7?
False
Suppose -2*v = 3*v - 4*a - 384, 0 = 4*v + a - 303. Does 26 divide v?
False
Let c(y) = -y**3 + 12*y**2 + 18*y + 15. Is 20 a factor of c(13)?
True
Let c be 2/((-1)/(-1) - 3). Let x(f) = -f**3 + 7*f**2 - 9*f + 4. Let q be x(6). Let k = c - q. Is 6 a factor of k?
False
Let o = 7 - 11. Is o/(-2) + (30 - -4) a multiple of 18?
True
Suppose -2*v = v - 6. Suppose -v*z = 3*m - 1, -m + 23 = 4*z - 9*z. Is m a multiple of 2?
False
Is 147 + ((-3)/9 - 21/(-9)) a multiple of 13?
False
Let d = -190 + 278. Does 8 divide d?
True
Let f(w) be the first derivative of 9*w**5/10 - w**3/6 - w**2 + 1. Let s(b) be the second derivative of f(b). Does 18 divide s(-1)?
False
Suppose -2*g + 3*g - 18 = 0. Let r = g + -26. Does 3 divide (-26)/r - (-1)/(-4)?
True
Let j(m) be the second derivative of 2*m**3 - 3*m**2/2 - m. Is j(2) a multiple of 13?
False
Suppose -2*h = 5*l + 13, 4*l + 2*h - h + 11 = 0. Let s = l - -16. Is s a multiple of 12?
False
Let b = 11 + -8. Suppose -r - 2*w = -0*r + 2, 2*r + b*w = -6. Let q(h) = -3*h - 1. Is 7 a factor of q(r)?
False
Suppose 94 + 32 = 3*u. Is 6 a factor of u?
True
Let g = 3 - 2. Suppose -5*u + 12 = 3*q, q + g = -5*u + 5. Let a = u - -3. Is 2 a factor of a?
False
Let i(r) = -4 - 2*r + 5 - 6 + 0*r + r**2. Does 10 divide i(-5)?
True
Let r = -52 - -145. Does 16 divide r?
False
Let j(c) = -c**3 - 5*c**2 + 2*c. Let w be 12/(-9)*(3 + 0). Let l be j(w). Let s = -8 - l. Is 8 a factor of s?
True
Let y be 12/3*1/2. Does 18 divide 9/(-6)*(-24)/y?
True
Let o be (0/(-1))/((-3)/(-3)). Suppose 0 = -o*k - k + 17. Suppose -2*p - k = 3*m - 93, 107 = 4*m - 3*p. Is 17 a factor of m?
False
Let x = 141 - 53. Is x a multiple of 10?
False
Let v = -29 - -107. Is v a multiple of 45?
False
Suppose -4*a - 24 = 3*i, -3*a - 12 = a. Let r(t) = t**3 + 6*t**2 + 2*t - 3. Does 12 divide r(i)?
False
Let v = -50 - -9. Let o = -28 - v. Does 4 divide (o + 1)/2 + 2?
False
Let o be 20/(-2 - (-3 + -1)). Let w(h) = h**3 - h**2 + h + 1. Let m(l) = -5*l**3 + 13*l**2 + 4*l - 1. Let j(u) = -m(u) - 4*w(u). Does 15 divide j(o)?
False
Let j = 1 - -8. Is j a multiple of 9?
True
Suppose 0*m - 40 = -4*m. Is 5 a factor of m?
True
Suppose -12 = 3*c, 4*b - 6*c + c - 548 = 0. Does 44 divide b?
True
Suppose -4*m - 12 + 594 = q, 4*m = 5*q + 594. Does 10 divide m?
False
Let c(q) = q. Let x be c(5). Let o(z) = 13*z - 12. Let y(p) = 20*p - 18. Let b(r) = 8*o(r) - 5*y(r). Is b(x) a multiple of 12?
False
Suppose -4*c = 12, -v + 2*c = -0 - 11. Suppose -6*p + 198 = -2*p - 2*i, -245 = -v*p + 3*i. Does 13 divide p?
True
Suppose -8 + 92 = 3*x. Is 14 a factor of x?
True
Let j = -5 + 9. Suppose 0 = 45*a - 41*a - 12. Suppose -3*u + j*k = -80, -a*u + 2*k + 100 = u. Is u a multiple of 8?
True
Suppose 2*l - 11 = 117. Does 16 divide l?
True
Suppose 0 = 5*b - 4*n - 3, -4*b - n + 6*n = 3. Suppose -3*k + 25 = -o, 2*o + 21 - b = 2*k. Let v = 26 - k. Is 9 a factor of v?
True
Suppose 3*l - 129 = 63. Is l a multiple of 32?
True
Let g(w) = -w**2 - 1. Let b be g(-2). Let h(v) = 3*v**2 + 7*v + 1. Let o be h(b). Suppose 5*y = o + 89. Does 13 divide y?
True
Suppose -5 - 21 = -k. Suppose 19 = c - 7*v + 2*v, -k = -2*c + 4*v. Is c a multiple of 8?
False
Suppose -n - 5*z - 23 = -4*n, n + z - 5 = 0. Is ((-8)/n)/((-6)/63) a multiple of 11?
False
Let z = -6 - -21. Is z a multiple of 4?
False
Let j(r) = r**3 + 4*r**2 - 3*r - 10. Does 3 divide j(-3)?
False
Let q = -5 + 5. Suppose 3*n - 3 - 25 = -5*i, q = n + 5*i - 6. Does 11 divide n?
True
Suppose -a = c - 5, a - c = 2 + 1. Suppose 24 + 7 = 4*m + 5*g, -a*g = 4. Is m a multiple of 3?
True
Let f = -6 - -10. Suppose -4*x = -3*p - f + 2, -3*p = -x - 4. Suppose 3*c = -3*m + 2*m + 57, -c = x*m - 24. Does 9 divide c?
True
Let u(a) = -a**3 - 9*a**2 + 8*a. Let j be u(-10). Suppose -3*p - 8 = -j. Is p a multiple of 2?
True
Let j be (-2)/(-2) + 0 + -7. Let d(z) = -z + 1. Let f(p) = -p**2 - p 