- 4 = i. Is l even?
False
Let o(u) = 25*u**2 - 2*u + 6. Is o(2) a multiple of 17?
True
Let j(f) = -f**2 + f + 2. Let q be j(-5). Let a = -17 - q. Is a a multiple of 7?
False
Does 11 divide 4/(-10) + 666/15?
True
Let t(z) = 9*z**3 - 2*z + 1. Let s(a) = a + 5. Let f be s(-4). Let u be t(f). Is 9 a factor of ((-27)/4)/((-3)/u)?
True
Suppose 3*n = -n + 232. Is 12 a factor of n?
False
Let k(r) = -2*r. Let m be k(-2). Suppose 0 = -m*f + 87 - 23. Is f a multiple of 8?
True
Let z be 3*((-10)/(-6) - 2). Let y be 0/(-1)*z/(-2). Is (y + 0)/(-3) + 13 a multiple of 5?
False
Let p = -9 - -12. Suppose -3*v - 3*m = p, -3 + 14 = 5*v + m. Is 272/12 + (-2)/v a multiple of 8?
False
Suppose -23 = -2*q + q. Does 4 divide q?
False
Let x(n) = -3*n + 10. Let y(l) = -12*l + 39. Let i(p) = -15*x(p) + 4*y(p). Let c = -24 - -19. Does 9 divide i(c)?
False
Does 35 divide (2862/15)/6*5?
False
Let v(h) be the second derivative of -1/6*h**3 + 2*h + 0 + 1/4*h**4 + 1/2*h**2. Is v(2) a multiple of 4?
False
Suppose 12 = 5*b - 2*b, 56 = -3*c + 5*b. Let r be (-4 + 0)*c/2. Suppose -r = -6*v + 5*v. Is v a multiple of 24?
True
Let l(d) be the first derivative of d**4/4 + d**3/3 - d**2/2 + 2*d + 1. Is 4 a factor of l(2)?
True
Let u(s) = -s**3 - 4*s**2 - 7*s - 3. Let p be u(-6). Let q(z) = -7*z + 15. Let b be q(12). Let k = p + b. Is 14 a factor of k?
True
Let n(i) = -37*i + 28. Let y(z) = 9*z - 7. Let d(v) = 2*n(v) + 9*y(v). Is d(3) a multiple of 7?
True
Let k(c) = 22*c + 17. Is 19 a factor of k(5)?
False
Is (-9)/(-1*(-1)/(-4)) a multiple of 19?
False
Let m(z) = 2 + 0 - 1 - z**2 + 7*z. Let d be m(6). Let x = d - -2. Is 9 a factor of x?
True
Suppose 287 = 5*x - 28. Does 6 divide x?
False
Suppose 12 = 3*h + h. Suppose -2*d + h*p = -p - 4, d = 3*p + 1. Is 16 a factor of d/(8/90) - 2?
False
Let x be 10/25 - 2/5. Suppose -z - 2 + 5 = x. Is z a multiple of 3?
True
Suppose -i + 28 = 5*x, 3*x - 4*i - 4 = -1. Suppose -2 = -x*g + 3. Suppose -f - g = -3*r - 4, -4*f + 12 = 2*r. Is f a multiple of 2?
False
Suppose 2*j + 3*j - 15 = 0. Suppose j*x - 28 = 17. Is x a multiple of 15?
True
Let r(w) = 74*w**2 - 1. Let i be r(1). Suppose -72 = -5*l - 17. Suppose -2*u + i = u - 4*p, -u = 2*p - l. Is 19 a factor of u?
True
Let m = -8 - -3. Let f(j) = j**2 + 2*j - 4. Is f(m) a multiple of 6?
False
Suppose -802 = -3*s + 236. Let x be s/4 - 2/(-4). Suppose -3*p - 3*u = -x, 31 = p - 0*u + 3*u. Is 11 a factor of p?
False
Let o be 2/4*(-2 + 68). Suppose -5*l + 2*c = 6*c + 2, -l - 3*c = 7. Suppose -l*q - q + o = 0. Is q a multiple of 11?
True
Suppose 2*s + 225 = -5*q + 7*s, 4*q + 170 = -s. Let o = -1 - q. Does 12 divide o?
False
Let l = -5 - -5. Let a = l - 57. Let b = -41 - a. Does 6 divide b?
False
Let h(i) = i**2 - 5*i + 15. Is 17 a factor of h(13)?
True
Suppose -12 = -2*z - 2*z. Is 8 a factor of 0 + 3/z*28?
False
Let m = -6 + 1. Let g(v) = 3*v**2 + 4*v - 11. Does 11 divide g(m)?
True
Suppose 1 = 5*y - 9. Suppose 0 + 26 = y*o. Is 3 a factor of o?
False
Let w(g) = 3*g - 1. Let s be w(1). Let r(u) = -14 + 8 + 12*u - 2*u + 4. Is r(s) a multiple of 6?
True
Let b = 59 + -3. Is b a multiple of 8?
True
Let i(m) = -m**3 - 16*m**2 - 19*m - 36. Is i(-15) a multiple of 12?
True
Suppose 3 + 0 = t - 3*k, -2*t = -k - 31. Is 9 a factor of t?
True
Let m be 1/4 + (-35)/(-20). Suppose -g = -4*f - 0*f + 6, m*f = -5*g + 14. Does 2 divide ((-8)/12)/(g/(-9))?
False
Suppose 5*a = l + 42, 0 = 3*a - l + 5*l - 16. Is 2 a factor of 2 - 2 - a/(-4)?
True
Suppose 3*q - 82 = -5*k, 5*k - 2*k - 113 = -4*q. Is -1*q/(3 - 4) a multiple of 8?
False
Suppose -5*u = 3*x - 83, 2*x = -3*u - u + 56. Does 5 divide x?
False
Suppose -839 = -4*u - 51. Let t = u + -131. Is t a multiple of 22?
True
Let u = -110 + 208. Suppose -36 + u = 3*t - 2*w, 0 = -4*w + 8. Is t a multiple of 7?
False
Does 7 divide 6/16 + 1077/8?
False
Let l(h) = -h**3 - 4*h**2 - h - 2. Let f be l(-4). Does 5 divide (-13)/(-2) - (-1)/f?
False
Suppose -2*v - 3*y = -17, 4*v - 2*y - 2*y - 44 = 0. Is v even?
True
Let r(t) = -t**2 - 9*t - 9. Let o = -18 + 11. Let c be r(o). Suppose 5*h - 29 - 63 = -3*m, 0 = c*m - h - 172. Does 17 divide m?
True
Is 157 - (9/12*4 + -2) a multiple of 22?
False
Suppose 2*d + 4*n + 1 - 113 = 0, 0 = 3*d - 4*n - 118. Is d a multiple of 15?
False
Is 17 a factor of (0/(-2) - 85)*-1?
True
Let t = 88 + -178. Let k be (10/(-25))/(2/t). Let f = -10 + k. Does 3 divide f?
False
Let n(t) = -t**2 + 8*t - 3. Let u(w) = w - 1. Let x(p) = -n(p) + 4*u(p). Is x(5) a multiple of 4?
True
Is (4 - 4 - -1)*23 a multiple of 16?
False
Is 6 a factor of (4 - 292/4)/(-3)?
False
Suppose c - 175 = -n, n - 5*c + 155 = 2*n. Is 15 a factor of n?
True
Let g(x) = 4*x**3 - 3*x**2 + 6*x + 4. Let c(w) = -w**3 - w**2 - w + 1. Let z(p) = 3*c(p) + g(p). Let t be z(5). Is t/(30/16)*-15 a multiple of 13?
False
Suppose -5*r + 3*u = 0, -4*r - 13 = -u - 4*u. Let c be -4*(0 + -2*1). Suppose 3*d - 48 = -r*o + c*d, -4*d + 64 = 4*o. Is 10 a factor of o?
False
Let u = 65 + -108. Let x = 71 - u. Suppose 0*s - x = -3*s. Does 15 divide s?
False
Suppose -3*l + 5*k = -0*l - 5, -k = -2. Suppose 6*z = 2*z + 32. Does 6 divide (z/l)/((-2)/(-15))?
True
Let h = -4 - -26. Let r = h - 65. Let z = -20 - r. Does 10 divide z?
False
Let q be (-1)/(1 - 16/14). Suppose 3*l - q = -4*m + 3*m, -l + 4*m = -24. Suppose 0 = l*g - 17 - 23. Does 5 divide g?
True
Suppose -3*b + 4*b + 6 = 0. Let w = 4 + b. Does 2 divide (w/(-2))/((-2)/(-6))?
False
Does 30 divide ((3 - 2) + -13)/((-6)/45)?
True
Let w = 48 - 30. Suppose s + 4 = -s - 4*i, i = -5*s - 37. Let h = s + w. Is 5 a factor of h?
True
Let c(d) = d**2 + 4*d - 7. Let b be c(-10). Let a = b - 27. Is a a multiple of 13?
True
Let a = 0 - -45. Does 5 divide a?
True
Suppose -145 = -5*o + 205. Suppose o = -4*d - d. Is 11 a factor of 2*(d/(-4) - -2)?
True
Suppose -3*w + 3*c = 50 - 128, -3*w = -4*c - 81. Is w a multiple of 6?
False
Suppose -17 + 20 = -w. Is (19*w)/(-8 - -7) a multiple of 19?
True
Let p(x) = -5*x - 39. Is 6 a factor of p(-21)?
True
Let j(h) = -3 - 2*h**2 + 3 + h**3 + 3*h**2. Does 2 divide j(1)?
True
Suppose -2*p + 108 - 14 = 0. Is p a multiple of 15?
False
Let g be ((-12)/18)/(1/(-87)). Let z = g - 34. Suppose 3*l - 7*l + z = 0. Is l a multiple of 6?
True
Suppose -3*n + 52 = -2*a, 3*n - 41 = 3*a + 7. Does 4 divide n?
True
Is (6 + -5)/((-1)/(-31)) a multiple of 8?
False
Suppose 9*c = -8 + 521. Does 19 divide c?
True
Let m = 6 + 26. Let k be (-1 + 2)*(-1 + m). Suppose -q + k = 7. Is q a multiple of 16?
False
Let j(s) = -s**3 - 7*s**2 - s - 5. Let d be j(-7). Suppose -5*u + 85 = -5*w, 5*w - 19 = -d*u + 4*w. Is u a multiple of 4?
True
Suppose 0 = -5*m - p - 1, 2*p + 2 = -4*m - 0. Suppose t + 4*q - 2 = 0, 2*t + q = -m*t + 25. Does 7 divide t?
True
Let t(r) = r**3 - 9*r**2 + 9*r - 8. Let v be t(8). Does 14 divide (3 - 10)*(v + -2)?
True
Let p = -26 + 59. Is 8 a factor of p?
False
Is ((-296)/10)/(2/(-10)) a multiple of 33?
False
Let k(q) = q**3 - q**2 + q - 1. Let z be k(1). Suppose t = -z + 1, -2*c + 3*t = -157. Is c a multiple of 16?
True
Let f(l) = -l + 8. Suppose 3 = 5*n - 2. Let b(v) = -v + 1. Let t(j) = n*f(j) - 3*b(j). Is t(9) a multiple of 22?
False
Let u(n) = 6*n + 1. Is u(15) a multiple of 7?
True
Is 29 a factor of 9215/35 + (-5)/(70/4)?
False
Suppose 2*g + 20 = -12. Is ((-57)/(-12))/((-2)/g) a multiple of 13?
False
Let o(j) = -j**3 + 5*j**2 - j + 6. Let h be o(5). Let x(p) = 4*p**2 + 1. Let u be x(-1). Let r = u + h. Is 4 a factor of r?
False
Let n(c) = -2*c + 10. Let w be n(8). Is 3 a factor of (-86)/(-11) - w/33?
False
Suppose -2*u = b - 3, -5*u + 6*b - b + 15 = 0. Let s(d) = -d**u + 5 - 4 + 0 + 5 + 10*d. Is s(9) a multiple of 4?
False
Let r(l) = -2*l**2 - 2*l + 3. Let d be r(2). Let f = -2 - d. Does 7 divide f?
True
Let s(o) be the first derivative of -o**4/12 + 2*o**3 + o**2/2 - 4*o - 4. Let h(i) be the first derivative of s(i). Does 14 divide h(9)?
True
Let x be ((0 + 21)*3)/1. Let p be 3 + -1 + -3 - 5. Is 5 a factor of (-2)/3*x/p?
False
Let s(l) = 5*l**2 - l. Let c be s(-1). Suppose 3*n + 5 = 4*n. Is (-20)/(-3)*c/n a multiple of 3?
False
Let j = -2 + 75. Let w = -40 + j. Is w a multiple of 5?
False
Let w = -31 - -64. Is w a multiple of 15?
False
Suppose 0*t = t - 3. Let l(c) = -3*c**2 - c - 1. Let q(b) = -6*b**2 - 2*b - 1. Let z(j) = -5*l(j) + 2*q(j). Is 18 a factor of 