of i(1)?
True
Suppose -25 = 5*d - 0*d. Let g = -3 - d. Suppose 3*q - 84 = -4*k, 0 = 5*k + q + g*q - 108. Is 12 a factor of k?
True
Is (-6)/(-4) - 66/(-12) even?
False
Does 20 divide (-3)/((8/14)/(-4))?
False
Suppose 0 = 4*p - 4*h - 1056, -3*p = -7*p - 5*h + 1101. Is p a multiple of 10?
False
Let v(q) = 83*q**3 + 2*q**2 - 3*q + 2. Let o be v(1). Let y = o - 37. Is y a multiple of 8?
False
Let s(m) = m**2 + 5*m - 10. Let k be s(-7). Is k/(-2) + (12 - -1) a multiple of 11?
True
Let m(a) = 2*a**2 + a - 1. Let u be m(-4). Let w = 13 + u. Does 20 divide w?
True
Suppose 0 = -2*f - 3 + 11. Suppose -3*t = 4*o + 9 - 44, f*o + 5*t = 45. Suppose 0*c - o*c = -70. Is 8 a factor of c?
False
Let o(f) = 3*f**2 - 8*f + 2. Let p be o(-8). Suppose -4*h = -2*l - p, -l + 2 = l. Does 24 divide h?
False
Is 21 a factor of ((-246)/(-15))/(1/20)?
False
Suppose -22 = -y + 5*b, -b = 4*y - 2*b - 12. Is (0 + 1)/(y/56) a multiple of 13?
False
Suppose l = 3 + 2. Suppose l = 2*n - 9. Does 4 divide n?
False
Let q(k) = -4*k + 4. Let n(l) = l**2 + 3*l - 4. Let i be n(-6). Suppose 2*c = -0*c - 2*u - i, -4*c - 5*u - 31 = 0. Does 6 divide q(c)?
False
Suppose 0 = 4*g + 4*o - 20, 6*g - 2*g - 5*o = 11. Suppose 5*x - g*d + 3*d = 130, -2*x + d + 55 = 0. Suppose -3*u = 2*u - x. Is u even?
False
Let f = 16 - 8. Suppose -f = -a + 20. Suppose s = 3*s - a. Does 7 divide s?
True
Suppose 525 - 1287 = -6*j. Is 21 a factor of j?
False
Suppose 5*r - 164 = 41. Is r a multiple of 9?
False
Let b(w) = 2*w**2 + 4. Let v = 4 + 0. Suppose -v*s = x + 8, 0*x - 13 = 3*s - x. Does 11 divide b(s)?
True
Let c(m) = m**2 - 1. Let q = -7 - -9. Is c(q) a multiple of 3?
True
Let i = 7 - 6. Is 23 a factor of 123/1*i/3?
False
Let n(m) = -2*m + 13. Let w be n(10). Let y = -6 - w. Suppose 0 = -j + y + 7. Is j a multiple of 8?
True
Let n = 19 - 5. Is 4 a factor of n?
False
Suppose -2*c = t + 3*c - 19, t + 2*c = 10. Let a be -11 + 0 + 2 + -6 + 3. Is 22/(t*(-2)/a) a multiple of 11?
True
Does 28 divide (38/(-6))/((-35)/1260)?
False
Let f = 59 - 119. Does 9 divide -1 + f/(0 - 3)?
False
Let z(m) = m**2 - 2*m + 2. Suppose 0 = -2*f + s + 2 + 6, 4*f + 3*s = 6. Suppose -x + 3*w - 3 = 2*w, -f*x - 5*w - 17 = 0. Is 12 a factor of z(x)?
False
Suppose 4*v = -5*c + 2*c + 53, 3*v = c - 22. Suppose -46 - c = -5*y. Is y even?
False
Let f = 1 - -12. Let s = f + 7. Let j = s + -10. Is j a multiple of 10?
True
Suppose 0 = 2*d + d - 36. Is 6 a factor of d?
True
Let v be (4/2 - 2)*1. Suppose -y + v = -3. Is 14 a factor of 2/y - (-237)/9?
False
Suppose -10*u - 210 = -13*u. Does 5 divide u?
True
Let c(r) = r**3 + 5*r - 8. Let w(j) = -3*j**3 - j**2 - 14*j + 24. Let s(f) = 17*c(f) + 6*w(f). Suppose 0 = 2*i, 2*g + 2*i = 4*i - 12. Does 2 divide s(g)?
True
Suppose -101 = 4*s - 389. Is 7 a factor of s?
False
Let m be 4/8 + 170/(-4). Let f be (6/3)/((-3)/m). Suppose 4*w + 2*r - f = r, 5*r = 4*w - 28. Is 3 a factor of w?
False
Is 4/(-8) + 1410/12 a multiple of 10?
False
Suppose 155 + 298 = 3*n. Does 24 divide n?
False
Suppose 2*f + 16 = -2*f. Let l = 6 + f. Does 2 divide (3 - -2)/(l + -1)?
False
Suppose -111 = -r - 41. Is 14 a factor of r?
True
Suppose 0 + 2 = -v. Let i(s) = -3*s**3 - 2*s - 3. Let y be i(v). Let u = 36 - y. Is 11 a factor of u?
True
Suppose 7*k - 2*k = 3*w - 170, 4*w = 2*k + 236. Is w a multiple of 15?
True
Suppose -2*m = 3*u - 197 + 30, 2*m + 108 = 2*u. Is 11 a factor of u?
True
Let q(m) = -m**3 + 6*m**2 - 5*m - 1. Let g be (0 + 1)/((-4)/12). Let o = g - -7. Does 8 divide q(o)?
False
Let f(m) = -29*m - 11. Let j(c) = 3*c + 9*c + 3*c + 5. Let y(i) = -2*f(i) - 5*j(i). Is y(-3) a multiple of 20?
False
Suppose 0 = -4*s + s - 15. Is 8 a factor of ((-2)/s)/((-4)/(-100))?
False
Let d(c) = c + 366. Let x be d(0). Let g = x + -216. Suppose -5*p + 2*l + g = 3*l, -136 = -4*p - 4*l. Is p a multiple of 19?
False
Suppose -2*m + m + 31 = 0. Suppose 2*t = 2, 5*t = -4*o - 2 + m. Is o a multiple of 6?
True
Let v = -35 - -110. Does 15 divide v?
True
Suppose 331 = -5*j + 36. Let y = -38 - j. Is y a multiple of 7?
True
Let p = 4 - -1. Let i = p - 8. Does 13 divide ((-69)/9 + 0)*i?
False
Let z be -17 + (0 - (-2 - -2)). Let s = -11 - z. Does 5 divide s?
False
Let x(z) = -7*z + 14. Is x(-22) a multiple of 8?
True
Suppose -2*b = -5*b - 12, 14 = c + 4*b. Does 5 divide c?
True
Let r(z) = -4*z. Let b be r(-1). Suppose 5*l = b*h + 25, -5*l - h + 25 = 2*h. Suppose -l*f + 97 = -23. Is f a multiple of 21?
False
Let g = 5 + 10. Suppose 4*f - g = f. Suppose -4*b = 5*l - 6*l - 23, f*l - 11 = -b. Is b a multiple of 3?
True
Let r = -1 + 3. Let o = 16 - r. Is o a multiple of 5?
False
Suppose -c = -2 - 5. Let u = -44 + 28. Let z = c - u. Is 8 a factor of z?
False
Suppose 3*k = -2*x + 7, -4*x - 2*k - 54 = -8*x. Let b = -8 + x. Does 3 divide b?
True
Let h = -1 - 1. Let f = 5 - h. Is 7 a factor of f?
True
Suppose 3*m + g = 27, 0 = 14*m - 10*m - g - 29. Is m a multiple of 2?
True
Let n(v) = v**3 + 4*v**2 - 2*v - 4. Let a be n(-4). Suppose 0 = -5*b + 161 + a. Let l = b + -5. Does 14 divide l?
True
Let b(k) = -3*k**3 - 2*k**2 + 2*k + 9. Is 41 a factor of b(-4)?
False
Suppose n - 4*n + 88 = 4*f, -2*f = 3*n - 92. Let y = -19 + n. Is 5 a factor of y?
False
Suppose 2*x - 339 = -2*z + 5*x, 3*z - x = 491. Does 27 divide z?
True
Let v = -4 + 4. Suppose 7*r - 2*r - 300 = v. Does 20 divide r?
True
Let b(l) = l**2 - 3*l + 3. Is 9 a factor of b(5)?
False
Suppose 2*m = 1 + 3. Suppose 0*y - m*y + 60 = 0. Does 15 divide y?
True
Suppose -26 = -2*g + 4*v, -3*g + 3*v + 23 = v. Suppose 179 = 4*n + g*r, -2*r + 7 = 1. Is 18 a factor of n?
False
Let b(p) = -8*p**2 - 7*p + 5. Let h(u) = 7*u**2 + 6*u - 4. Let k(s) = 5*b(s) + 6*h(s). Is 27 a factor of k(4)?
False
Is (-10)/85 - 2316/(-34) a multiple of 27?
False
Let w be (-1 - 15) + 0 + 3. Let r = -4 - w. Is r a multiple of 9?
True
Let g = 3 - 5. Does 2 divide 4/(g - (-9)/3)?
True
Let i(k) = k**2 + k - 2. Let c be i(-2). Let f = c - -2. Is f + 2 + -1 + 4 a multiple of 3?
False
Suppose -4*w - 4 = -20. Suppose -3*s + w + 2 = 0. Does 17 divide 18 - (3/(-3) + s)?
True
Let r(n) = -n**2 + 5*n + 2. Let p be r(5). Suppose p*o - 432 = -4*o. Is 18 a factor of o?
True
Let d(i) = -i**3 + 4*i**2 + 5*i - 6. Let m be d(5). Let w(l) = 4 + 1 - 2*l - 4*l + l. Does 17 divide w(m)?
False
Let h(i) = i**3 + 8*i**2 - 11*i + 2. Is h(-9) a multiple of 9?
False
Suppose -3*a = 73 - 10. Let w = 53 + a. Does 16 divide w?
True
Let v = 15 - 11. Is 15 a factor of (v - 2)/(4/30)?
True
Let v(u) = -u**3 + 12*u**2 + 9*u - 30. Does 13 divide v(12)?
True
Let h be (120/32)/(3/8). Is 14 a factor of ((-38)/h + 1)*-15?
True
Let r = 1 - 5. Is r/22 - 1592/(-44) a multiple of 9?
True
Let m(j) = 2*j - 4 + 0 + 0*j - 4*j. Is 4 a factor of m(-4)?
True
Let i(s) be the first derivative of -s**3/3 - 15*s**2/2 - 7*s + 2. Let b be ((-2)/2)/(3/33). Is i(b) a multiple of 13?
False
Let q(d) = d**3 - 3*d**2 + 2*d + 2. Let u be q(2). Suppose 3 = -2*o + 3*o + u*s, -2*o + 3*s + 13 = 0. Is 2 a factor of o?
False
Let b(r) = -41*r - 1. Is 14 a factor of b(-1)?
False
Suppose 0*w - 3*w = -6. Is 2 a factor of w?
True
Suppose -24*y = -17*y - 840. Does 19 divide y?
False
Let c(z) = z**2 - 8*z - 2. Let m be c(8). Let s be ((-3)/m - 1)*4. Suppose -3*w = -s*r - 3*r - 14, 4*w - 2*r = 42. Is 5 a factor of w?
False
Let w = -54 - -102. Does 6 divide w?
True
Let j(q) = -q**3 - 5*q**2 + 2*q + 6. Let i be j(-5). Is 3/1 - (i + -1) a multiple of 4?
True
Let m(g) = -g**2 + 7*g + 10. Let k be m(8). Suppose 0*l = -k*l + 120. Is l a multiple of 15?
True
Let o(m) = -m**3 + 6*m**2 + m + 7. Let d be o(6). Suppose -z - 5 = -d. Suppose -3*w = -z*w + 40. Is 6 a factor of w?
False
Is 15 a factor of ((-57)/2)/(21/(-126))?
False
Let c = 79 - -46. Suppose -5*d = 115 + c. Does 8 divide d/(-20)*(-20)/(-3)?
True
Suppose -104 = -4*q - h, -2*q - q - 4*h = -91. Suppose -5*w + q = -0*w. Suppose w*y - 28 = 3*y. Does 14 divide y?
True
Let u be (3/(0 - 1))/(-1). Let b(d) = 5*d**2 - d**u + 4*d - 3 + 3 - 1. Does 15 divide b(5)?
False
Suppose -4*a - 11 = 9, 3*a - 69 = -z. Is z a multiple of 12?
True
Let i(a) = -a**2 + 13*a + 3. Is 15 a factor of i(7)?
True
Suppose d + 4 + 1 = -u, 0 = -u + 5*d - 5. Let h(g) = -3*g - 3. Does 8 divide h(u)?
False
Suppose -5*z - 5*o + 60 = 0, 0 = 2*z - o + 7 - 25. Let c = -8 + z. Is c even?
True
Suppose -16 = t - 4*b, -3*t =