e
Let z be (5 + -2)*15/9. Suppose 0 = z*j - 4*s - 88, j - 5*j = 3*s - 89. Suppose -j - 12 = -4*i. Is 8 a factor of i?
True
Let t = 104 - 42. Is t a multiple of 21?
False
Let i = -20 - -59. Is i a multiple of 13?
True
Suppose -52*m + 648 = -46*m. Does 36 divide m?
True
Suppose -3*n - 276 = -7*n. Is n a multiple of 23?
True
Let g be (-2)/(-6) + (-2597)/(-21). Suppose g = 5*s - s. Does 12 divide s?
False
Is ((-427)/21)/(2/(-12)) a multiple of 17?
False
Suppose a = -2*v - 11, -4*v - 12 - 35 = -3*a. Let r(c) = -c**2 - 5*c + 10. Let u be r(v). Let m = u + 23. Is m a multiple of 9?
True
Let o = 9 + -8. Suppose -w + 39 = -o. Is w a multiple of 20?
True
Let v(r) = 3*r**2 - 7*r + 4. Suppose 4*n - 2*k = 24, 2*n - 10 = -2*n - 5*k. Let m be v(n). Suppose -w - m = -5*w. Does 10 divide w?
False
Let f = -16 + -16. Suppose -w = h + 42, -112 = 2*h - 0*h - 5*w. Let j = f - h. Is 12 a factor of j?
False
Suppose -138 = 4*d - 418. Is 14 a factor of d?
True
Let j = -104 + 185. Is 5 a factor of j?
False
Let x = 1 + -2. Let a be (-3 + 4)/(x/(-6)). Suppose -5*k - 3*g + 63 = 0, -k = a*g - g - 17. Is k a multiple of 6?
True
Let d(a) = -4*a**3 + a**2 + a + 1. Let y be d(-1). Let r(q) = -2*q + 6. Let z be r(-4). Suppose -4*t = -y*k - 32, 2*t + 4*k + z = -k. Is t a multiple of 2?
False
Suppose -2*p = -3*p + 106. Suppose 2*u + 3*r - 33 = 0, -r - p = -4*u + r. Is 8 a factor of u?
True
Suppose -1 = 5*y - 16. Suppose 0 = -4*a + 2*x + 38, y*a - 4*x - 40 = -2*a. Does 5 divide a?
False
Let b(m) = m. Let c be (-30)/(-4) - 1/(-2). Does 6 divide b(c)?
False
Let h(g) = -2*g**3 - 5*g**2 - 4*g - 4. Let b be h(-3). Suppose 22 = 3*q - b. Is q a multiple of 13?
True
Suppose 0 = 4*g - 20, 4*g = -4*d + 15 + 9. Suppose -5*m - 1 = w, 4*m - d = -w + 1. Does 12 divide w + -1 + (-1)/1?
True
Suppose -24 = 8*g - 9*g. Is g a multiple of 4?
True
Suppose 2*w + 2*h - 68 = 0, -2*w + 5*w - 117 = 2*h. Does 8 divide w?
False
Let w = 55 - -97. Suppose -2*c + 4*c = w. Is c a multiple of 11?
False
Let m(a) = a + 3. Is 6 a factor of m(3)?
True
Let g be (-3 - 5) + -1*1. Let n be 136/36 - 2/g. Is ((-34)/4)/(n/(-8)) a multiple of 17?
True
Suppose 1234 - 4534 = -4*s. Suppose 0*k = 5*k + s. Is k/(-12) - 2/(-8) a multiple of 14?
True
Let g be (0 - 1)*(-5 - -6). Let i(q) = q**2 - q. Let w be i(-1). Let x = w - g. Does 3 divide x?
True
Let y = -4 + 29. Suppose -n + 67 = 5*c, -2*c - n + 0*n + y = 0. Is 14 a factor of c?
True
Suppose 364 = -c + 8*c. Does 26 divide c?
True
Suppose m = 2*m - 5. Suppose 0 = 3*p - 6 - 3. Suppose -2*d + 3*r - p = -7*d, m*r = -2*d - 14. Is 2 a factor of d?
False
Let q = 23 - -13. Let l = q - 22. Is 5 a factor of l?
False
Suppose -3*t + 3*w + 0*w - 3 = 0, -5*w = -4*t - 3. Let u be -6*(8/6)/t. Suppose 0 = 5*x + 4*q - 73, 3*x + u*q - 37 = 5*q. Is 12 a factor of x?
False
Let u be 3*1*(-6)/18. Does 16 divide (-1 - u)/(-2) + 35?
False
Let l = 69 - 12. Is l a multiple of 19?
True
Let v(a) = a**2 + 3*a + 65. Is v(0) a multiple of 11?
False
Let t be (0 - (-3 + 3))/(-1). Suppose -c + 4*c - 21 = t. Does 6 divide c?
False
Let g = 464 - 269. Is 15 a factor of g?
True
Let k(z) = -z + 7. Let u be k(5). Let p = u - -1. Suppose -115 = -4*d - 3*o, p*d - 3*o - 89 = -8*o. Does 13 divide d?
False
Let y = -127 + 232. Does 18 divide y?
False
Let l = 365 - 206. Is l a multiple of 29?
False
Suppose 11 + 14 = 5*c. Suppose 4 = -c*z - 31. Let m(n) = -2*n - 8. Does 6 divide m(z)?
True
Suppose 2*u - u - 5*f + 10 = 0, 3*u = 3*f - 6. Let g be 7/(-3) + 10/(-15). Does 7 divide (u - g) + 9 - -2?
True
Let f = 2 - -2. Suppose f*o + 0*r = 4*r + 40, -5*o + 46 = -3*r. Is o a multiple of 4?
True
Let m = 172 - 50. Is m a multiple of 14?
False
Let o be (0/3 - 3) + 10. Suppose o*w = 5*w + 78. Is w a multiple of 11?
False
Suppose 0 = r - 0*r. Suppose 3*b - 15 = -v - 5, 3*v + 15 = r. Suppose -b*x + 0*x = -110. Is x a multiple of 11?
True
Let o = 41 - 15. Is o a multiple of 6?
False
Let u(w) = -21*w + 3. Let i be u(-3). Suppose 2*s - 4*n - i = 0, -s + 3*n = -12 - 18. Does 11 divide s?
False
Let c(l) = 11*l - 2. Let r(v) = v**2 - 4*v + 4. Let t be r(4). Suppose -5*b + 12 = t*p, 5*b + 2 - 12 = -5*p. Is 14 a factor of c(b)?
True
Suppose 0*l + c - 20 = -5*l, 4*c = 4*l - 16. Does 12 divide (2/l)/(1/84)?
False
Suppose o - 3*q = -o + 4, -2*o + 4 = -2*q. Let x = -11 + 7. Is 2 a factor of o/(-1)*6/x?
False
Does 6 divide (-2 + 6)/(-20) - (-271)/5?
True
Let n(k) = 112*k - 5. Let x(q) = -1. Let s(l) = -28*l + 6. Let v(p) = -s(p) - 5*x(p). Let r(h) = -2*n(h) + 9*v(h). Does 19 divide r(1)?
False
Suppose 0 = -5*m + 10, v + 2*m + 2 - 26 = 0. Is 10 a factor of v?
True
Let a(w) = -8*w**2 + 2*w + 1. Let r be a(-3). Let y be (9 - (-8)/4)*-5. Let k = y - r. Is 9 a factor of k?
False
Let j be 1/(3*(-2)/(-18)). Let x = -1 + j. Suppose 2*m - 3*z = -0*z + 19, -54 = -x*m - 4*z. Is m a multiple of 11?
False
Suppose -2*m = 3*p - 4, 8 = 4*m - 0. Suppose 4*n - 481 - 231 = p. Suppose 4*y = 3*i - 0*y - 104, -2*y = -5*i + n. Does 18 divide i?
True
Let d(s) = -s**2 - 3*s - 2. Let y be d(-2). Let v = -3 + 5. Suppose -n - 2*n + x + 116 = y, -2*x = -v*n + 72. Is 20 a factor of n?
True
Let x(q) = 4*q**3 - q**2 + 1. Suppose 3*k = 5*p - 8, -2*k = -3*p + 5*p. Is x(p) even?
True
Does 5 divide (7/(-7))/(2/(1 - 139))?
False
Suppose 7*n = 5*n + 44. Is n a multiple of 4?
False
Let r = 45 + 21. Suppose 3*p + 3*p = r. Is p a multiple of 11?
True
Let l(v) = 48*v**2 - v - 1. Is 12 a factor of l(-1)?
True
Let d = 2 + -2. Let j be (-6 + d)/(6/4). Let o(p) = -4*p - 2. Is 6 a factor of o(j)?
False
Let a(f) = -f + 8. Let w be a(7). Let j(c) = 5*c**3 - c + 1. Let d be j(w). Suppose d*u = -0*s - 2*s + 36, -4*s + 3*u = -72. Is s a multiple of 12?
False
Is (-14*1)/(1/(-4)) a multiple of 8?
True
Let u = 5 + 32. Is 6 a factor of u?
False
Let k = 27 - 17. Let o = 14 - k. Is o even?
True
Suppose 4*p - 2 = 10. Suppose 0 = -p*a - x - 89, 2*x = -5*a - 0*x - 149. Let y = 77 + a. Is 14 a factor of y?
False
Let q(o) = -o**2 - 12*o - 6. Let r be q(-12). Is (0 + 10)*r/(-12) a multiple of 5?
True
Suppose -5*w - 2 + 37 = -5*o, 0 = -4*w + 20. Let p = 38 - o. Does 10 divide p?
True
Suppose -5 = 5*m - 0*m. Is 22 a factor of (-1)/m*2*11?
True
Suppose -5*z - 273 + 998 = 0. Is 22 a factor of z?
False
Let h be 4/(-6)*(-14 + 8). Is 11 a factor of (-1145)/(-35) - h/(-14)?
True
Suppose 3*i - 129 = 4*n, 0 = -2*i - n + 15 + 60. Does 13 divide i?
True
Let q = -3 + -4. Let n = -1 - q. Does 2 divide n?
True
Let w be 7/2 - 1/2. Suppose -5*v + 20 = -4*x, -22 - 3 = 5*x. Suppose 2*c + 101 = w*l, 0 = 4*l - v*l + 4*c - 148. Is l a multiple of 9?
False
Let y = 15 + -10. Let z be ((-6)/y)/((-3)/10). Let c = -2 + z. Does 2 divide c?
True
Suppose 0 = -5*n + 59 + 86. Is n a multiple of 14?
False
Let r(j) = j**2 - 2. Let f be r(2). Let q be -2 - (f*-2 + -1). Suppose 10 = -q*b + 34. Is b a multiple of 4?
True
Suppose 2*r = 6*s - 11*s + 23, -4*r = 5*s - 71. Suppose 5*o = o + 16. Let v = r - o. Is v a multiple of 14?
False
Let b(x) = -175*x. Does 25 divide b(-1)?
True
Suppose -4*j + 6*j = 2. Is 7 a factor of (13 + 2 + -1)*j?
True
Let g(v) be the second derivative of v**4/12 + v**3/6 - 2*v**2 + 2*v. Does 8 divide g(-5)?
True
Is 34 a factor of (2 - 438/15)/((-6)/30)?
True
Suppose -4*r - 2 = 2*y + r, -10 = -5*y - 5*r. Suppose -y*l + 180 = 12. Is 21 a factor of l?
True
Let s(f) = -56*f - 1. Let w be s(-1). Suppose 0 = 5*x - w. Is 4 a factor of x?
False
Let q(p) be the first derivative of p**4/2 - p**3 + 1. Let d be q(3). Suppose 0*m - k - 25 = -3*m, d = 3*m - 3*k. Does 4 divide m?
True
Let h(l) = 5*l + 2. Let k be h(-4). Does 3 divide (-5)/(-10) + k/(-4)?
False
Suppose 7 = -3*o - 2. Let q be 30 + (1 + -2)*2. Does 19 divide q + -7 - (0 + o)?
False
Let l = 12 + -19. Is 1*9 + (l - -4) a multiple of 4?
False
Suppose 0 = 18*h - 164 - 124. Does 15 divide h?
False
Suppose 5*q + 3*o = 18, -o = q + 2*o - 6. Let s(k) be the second derivative of k**5/20 - k**4/12 + 2*k**3/3 + 2*k. Does 10 divide s(q)?
True
Is 24 a factor of (-4)/(4*1 + (-744)/184)?
False
Suppose 2*x = 3*h + 39, -x = -h - 24 + 2. Let o = -17 + x. Is 5 a factor of o?
True
Let r = 10 - -5. Is 15 a factor of r?
True
Suppose -n - 1 = 0, -5*r + 3*r = n - 97. Does 5 divide r?
False
Let r = 199 - 185. Is 7 a factor of r?
True
Suppose -2*i - 3*s = -161, 437 = 4*i - 3*s + 70. Is i a multiple 