e
Suppose 52 = 2*p + 5*h, 5*p - 5*h - 151 = -21. Does 10 divide (-3080)/(-91) + 4/p?
False
Let h(b) = -b**2 + 4*b**2 + 2*b**2 - 7 - b**3 + 19*b - 16*b. Does 8 divide h(5)?
True
Let d be (-23)/(-4) - 5/(-20). Let h(c) = 2*c**2 - 6*c - 1. Is 17 a factor of h(d)?
False
Suppose 0 = 3*r - 2*q - 91, -5*q = -2*r - 2*r + 133. Is 3 a factor of r?
True
Suppose 4*j + 16 = 4*c, 2*j + 14 = 6*c - c. Let x be (0 + -10)/(2/(-5)). Does 8 divide ((-20)/x)/(c/(-40))?
True
Suppose -5*b - 36 - 79 = 0. Let m = 85 + b. Is m a multiple of 11?
False
Let l(t) = 2*t**2 - 11*t + 10. Let j be l(7). Suppose r + j = 2*r. Is 16 a factor of r?
False
Let b(m) = m**2 - 4*m - 5. Suppose -11 = -3*k + 10. Is b(k) a multiple of 11?
False
Suppose 12 = 5*a - b, 3*a - 6 = 2*b + 4. Suppose l = a*l - 29. Suppose -2*v + 5*m = -86, 3*m = -3*v + 100 + l. Does 20 divide v?
False
Is ((-1)/2)/(4/(-288)) a multiple of 8?
False
Is (0 - -1) + -3 + 17 a multiple of 5?
True
Let h be -1 - (-8)/2 - -1. Let t = 6 - h. Suppose -b = -t*b + 15. Is 6 a factor of b?
False
Let l(h) = -h + 52 + 2*h - 2*h. Does 18 divide l(0)?
False
Let l(n) = -n**3 + 7*n**2 - 3*n - 8. Let v be l(6). Let d = 42 - v. Is 231/28*d/6 a multiple of 19?
False
Suppose -235 - 213 = -8*w. Is w a multiple of 8?
True
Let i = -4 - -9. Is 8 a factor of (-1)/i + 123/15?
True
Let b(c) = c + 22. Does 3 divide b(-10)?
True
Let v be (-1720)/(-36) - (-2)/9. Let m = -29 + v. Is 14 a factor of m?
False
Let f = -42 - -53. Is f even?
False
Let k = -2 - -2. Suppose k*b = b + 38. Let w = 72 + b. Is 17 a factor of w?
True
Let m(w) = -w**3 - 9*w**2 - 15*w - 1. Is 6 a factor of m(-7)?
True
Let w(k) be the second derivative of -13/6*k**3 - 2*k - 7*k**2 + 0 - 1/12*k**4. Does 8 divide w(-10)?
True
Is (-22)/5*(-15)/6 a multiple of 4?
False
Suppose -2*q + 4 - 14 = 0. Let s be (12/(-4))/(1/q). Suppose -2*r + 13 = -s. Does 7 divide r?
True
Let d(s) = -s + 7. Let p be d(7). Suppose -5*i + 14 + 1 = p. Suppose i*b = -2*b + 90. Is b a multiple of 9?
True
Suppose 0 = 3*r - 4*r + 64. Does 32 divide r?
True
Let j(s) = -s**3 - 6*s**2 - 4*s + 7. Let c(m) = -m**3 + 8*m**2 - 8*m + 1. Let h be c(7). Does 13 divide j(h)?
False
Suppose 27*f - 25*f = 58. Does 17 divide f?
False
Is 14 a factor of (-221)/(-2) + 9/18?
False
Let l(d) = -d**3 + 9*d**2 - 9*d - 7. Let h = 5 - -2. Is 7 a factor of l(h)?
True
Does 8 divide (33 - 31)*51/2?
False
Let a = 82 + -45. Is 8 a factor of a?
False
Let g = -28 - -73. Is g a multiple of 11?
False
Let w(p) = -44*p - 2. Let y be (-7)/(-21)*-9*1. Let k be w(y). Let i = k - 90. Does 23 divide i?
False
Let f = -70 + 100. Is 2 a factor of f?
True
Let p = -4 + 6. Suppose -2*s + 24 = p*w, 5*s + 2*w - 7*w = 30. Does 3 divide s?
True
Let h = -4 + 3. Let u = 6 - h. Let m(l) = 3*l + 7. Is 14 a factor of m(u)?
True
Suppose 5538 = -2*p + 15*p. Is 27 a factor of p?
False
Suppose 2*c = -2*c - 32. Does 15 divide (-36)/2*20/c?
True
Suppose 5*g - 3*l - 614 = 0, 2*g - 2*l = -3*l + 239. Is g a multiple of 39?
False
Let r(h) = -4*h + 29. Is 15 a factor of r(-12)?
False
Let f be 2 + 2 + -4 + 160. Suppose -f = -5*j + 3*j. Suppose 0*t - j = -5*t. Does 10 divide t?
False
Suppose 5*q - 45 = -0*q. Suppose -4*y + 5*y = 3*r + q, 45 = 4*y - 3*r. Suppose -j + 81 = 2*j - 3*n, -j = -4*n - y. Is j a multiple of 11?
False
Let u = -3 - -5. Suppose z - u - 6 = 0. Let h(c) = 2*c - 5. Does 11 divide h(z)?
True
Let h = -7 + 13. Suppose 4*k - 86 = -4*x - h, 3*k - 12 = 0. Is 8 a factor of x?
True
Let l(a) = -a**2 + 36. Is 9 a factor of l(0)?
True
Let v = -117 + 224. Is 30 a factor of v?
False
Let o = -91 + 421. Is 30 a factor of o?
True
Let b(l) = -2 - l**2 + 2*l + l**2 + l**2 + 0*l**2. Suppose -3*v - 2*v - 25 = 4*m, 5*m + 4*v + 29 = 0. Does 12 divide b(m)?
False
Suppose -4*v = -26 - 2. Let t = v - -2. Does 5 divide t?
False
Let l be (-4 + 2 + 2)/(-2). Suppose 0 = c - l*c. Suppose 63 = 3*v + 3*u, v - 2*u - 2*u + 4 = c. Does 7 divide v?
False
Let o be (0 - (1 + -2))*0. Suppose o = -2*m + m. Suppose 4*l = -m*l + 92. Does 9 divide l?
False
Suppose 13 - 5 = 4*o. Suppose 3*c = c - 4*n + 10, 3*n + 10 = o*c. Suppose i + 204 = c*i. Is i a multiple of 21?
False
Let s be (-3)/(-2) + 3/2. Let d = s - 1. Suppose 6*i - 160 = d*i. Is 20 a factor of i?
True
Let m(g) = g + 24. Is 3 a factor of m(-14)?
False
Let y = 50 + -10. Let u(k) = k**3 - 3*k**2 + 4*k + 2. Let i be u(2). Suppose i*w - y = w. Does 8 divide w?
True
Let h = 8 + -5. Suppose -h*q = -0*q - f - 109, 23 = q - 3*f. Does 17 divide q?
False
Let t(x) = -x**2 + 13*x - 10. Let z(u) = u**2 - 7*u - 7. Let h be z(5). Let c = 24 + h. Is t(c) a multiple of 14?
False
Let c(d) = d - 1. Let q be c(4). Suppose 2*z = -4*t + z + 55, -q*t + 45 = -3*z. Is 14 a factor of t?
True
Let d(y) = -51*y**2 + 1. Let u(q) = 204*q**2 - q - 4. Let m(o) = -9*d(o) - 2*u(o). Let l be m(1). Is 1/(-1 + l/50) a multiple of 14?
False
Let u = 178 - 103. Is 19 a factor of u?
False
Suppose -4*q + 19 = -41. Suppose r + q - 1 = -3*i, -8 = r + i. Is 5 a factor of (-51)/r - 1/5?
True
Let s be (15/1)/3 + -2. Suppose -4*v + 2*u + 44 = 6*u, -u - 41 = -s*v. Is v a multiple of 13?
True
Let x = -88 - -154. Is x a multiple of 33?
True
Suppose -h + 11 = 3*h - 3*x, -2*h - 3*x + 1 = 0. Suppose 5*o - h*r + 0*r - 150 = 0, 3*o + 4*r = 64. Is o a multiple of 15?
False
Suppose 0*m - 2*m - 2*j + 2 = 0, 35 = 3*m - 5*j. Suppose -3*y - 15 = 2*i - m*i, -5*i = 3*y - 17. Let v(l) = -6*l. Is v(y) a multiple of 5?
False
Let g(u) = u**3 + 4. Suppose -5*p + 5 = 2*t - 5, -5*p - 3*t = -15. Let h be g(p). Suppose -3*v = -5*o + 157, -h*o + 31 = -3*o - v. Is o a multiple of 16?
True
Suppose 2*f + f = 0. Let y be (f - (-1)/2)*0. Suppose s - 4*s + 60 = y. Is s a multiple of 9?
False
Let x = -292 + 448. Is 13 a factor of x?
True
Let v = -12 + 12. Suppose -2*d + d - 98 = -3*x, v = -5*x + 5*d + 150. Is 15 a factor of x?
False
Let t(b) = -2*b**3 - 2*b**2 - 3*b + 2. Let r be t(-6). Suppose 0 = 6*i - 11*i + r. Does 38 divide i?
True
Does 19 divide 2*(-18)/12 + 7*23?
False
Suppose 2*g - 4*o = -0*g + 136, -5*g = 5*o - 370. Is 13 a factor of g?
False
Let j be ((-4)/3)/(8/(-84)). Let v = 106 + -59. Suppose -3*u + v = j. Is 4 a factor of u?
False
Let j(z) = z**3 + 13*z**2 + z + 16. Let w be j(-13). Suppose p = 2*v + 5, 4*p - 16 = 2*v + 2*v. Is 3 a factor of v*(2 - 3)*w?
True
Does 27 divide -4 + 138 - (8/2)/(-4)?
True
Suppose -3 - 3 = -3*i. Let q = 7 - 2. Suppose q*t + n - 38 = 0, 2*t - i*n - 23 = -5*n. Is t a multiple of 7?
True
Does 2 divide (-2 + -13)*6/(-10)?
False
Let r(f) be the first derivative of -f**4/4 + 5*f**2/2 + 3*f - 5. Is r(-3) a multiple of 7?
False
Let w(q) = -24*q - 4. Let m be w(-3). Suppose -x - j = -8 - m, 5*x = -4*j + 385. Suppose -3*r + 0*r - 3*c + x = 0, 4*c = -8. Is 10 a factor of r?
False
Suppose 0 = 5*o - 2*k + 3*k - 470, o + 4*k - 113 = 0. Is 31 a factor of o?
True
Suppose h = 13 + 74. Is 8 a factor of h?
False
Does 18 divide (12/7)/(14/637)?
False
Let c(m) = m - 11. Let a be c(10). Let s = 5 - a. Is s a multiple of 6?
True
Let a be 2 + -2 + (-2 - -32). Suppose 0 = 2*w + 3*w - a. Let s = 26 - w. Is 7 a factor of s?
False
Suppose -3*m = -2*u + 256, -2*m - 121 = -4*u + 47. Let j = m + 142. Suppose 2*x - j = 44. Is x a multiple of 25?
True
Let l be ((-2)/5)/(6/(-30)). Is 20 a factor of -4*(-116)/8 + l?
True
Suppose 5*f = 89 + 261. Does 6 divide (-20)/f + (-144)/(-14)?
False
Does 5 divide -2*(-4 + 4/(-4))?
True
Suppose -12 = 4*l, 0*r - r + 4*l + 71 = 0. Is r a multiple of 15?
False
Suppose 2*d - b - 5 = 0, -4*d = -b + 2*b - 25. Is 9 a factor of 2/((d/(-9))/(-5))?
True
Let c(s) = s**2 + 2*s - 3. Let a be c(-4). Suppose -2*w + 9 + a = 0. Does 7 divide w?
True
Suppose -3*y + 4*y + 12 = 0. Let w = 16 - y. Is w a multiple of 11?
False
Let f(j) = j**2 - 3. Let q be f(3). Suppose -3*n - 45 = -q*n. Does 5 divide n?
True
Suppose -5*o + 2*n + 274 = 0, -n = -4*o + 2*n + 215. Is 5 a factor of o?
False
Let n = -45 - -185. Is 24 a factor of n/6 + 12/18?
True
Let a(c) = -3*c - 5. Let j(h) = 13*h + 21. Let m(k) = -18*a(k) - 4*j(k). Let t be m(5). Suppose 0 = 3*d - 26 - t. Does 7 divide d?
True
Suppose 2*m = 4*m - 2*w - 10, -5 = 2*m + 3*w. Let s be (-4)/3*(-9)/m. Let b = s + -3. Does 2 divide b?
False
Suppose -41 = u - 3*h, 4*u + 73 = -5*h - 57. Let o = 74 + u. Is 13 a factor of o?
True
Let l(x) = 2*x**2 + 8 - 5*x + 