or of i?
True
Let p = -92 - -166. Is 28 a factor of p?
False
Suppose 0 = -5*z - 0*p - p + 1018, -2*p = 4*z - 818. Does 40 divide z?
False
Suppose 0 = 14*s - 269 - 39. Is 19 a factor of s?
False
Does 18 divide 6083/28 + (-4)/16?
False
Let s(d) = -d**3 - 8*d**2 - 10*d - 6. Does 20 divide s(-8)?
False
Let l(h) = -h + 21. Let y(x) = 10. Let n(v) = 3*l(v) - 7*y(v). Is n(-7) a multiple of 14?
True
Suppose -4*m = -0*m - 32. Let f(v) = 6*v - v - 2*v - 2. Does 8 divide f(m)?
False
Let k(t) = 9*t + 10. Let w be k(10). Suppose 0 = 4*i + i - w. Does 8 divide i?
False
Let j = -14 + 24. Is 5 a factor of j?
True
Suppose -f = -0*f - 8. Does 2 divide f?
True
Suppose 4*s + 2*d = d - 8, 15 = s - 4*d. Let p = -6 - s. Let b(v) = -v + 3. Is 3 a factor of b(p)?
False
Let z(l) = -l - 7. Let j be z(-8). Let i(f) = 34*f**2 - f + 2. Is 6 a factor of i(j)?
False
Let p(t) = 2*t**2 + 5*t + 14. Is p(5) a multiple of 35?
False
Let q(b) = b - 2 + 1 + b. Let p be q(2). Suppose l + n = -2*n + 13, -p = -n. Is 4 a factor of l?
True
Suppose 2*s + 6 = 0, -3*z - z - 2*s + 210 = 0. Is z a multiple of 18?
True
Suppose 4*o - 2*o - 2 = 0. Let j be -3 - 64 - (o + 1). Let d = -49 - j. Is d a multiple of 10?
True
Suppose 4*k = 6*k. Suppose k = d - 5*l - 35, 20 + 21 = d + l. Is 16 a factor of d?
False
Suppose 4*s - 648 = -4*s. Is s a multiple of 27?
True
Let v = 87 - 127. Let p = -11 - v. Is 9 a factor of p?
False
Let u be 94/(-8) - 2/8. Suppose 2*v + 5*q = 81, 3*q = 5*v + q - 130. Let i = u + v. Does 13 divide i?
False
Let l(r) = -r**2 - r + 362. Let c be l(0). Let n = -186 + c. Suppose 0 = -4*s + n + 44. Is 17 a factor of s?
False
Let a(u) = u**2 + 4*u - 7. Let z be a(5). Let m = z + -18. Is 10 a factor of m?
True
Suppose 6*g - 2*g = -x - 16, -100 = 4*x + 4*g. Let i = -10 - x. Is 10 a factor of i?
False
Suppose 5*q - 335 = -2*o, -q + 77 = 3*o - 3. Let a = q - 30. Is 17 a factor of a?
False
Let a(w) = 29*w**2 + w + 12. Is 21 a factor of a(-4)?
False
Let j(x) = x**2 - 19*x + 13. Does 15 divide j(23)?
True
Let k = -7 - -103. Is ((-34)/8)/((-6)/k) a multiple of 16?
False
Suppose -5*a - 2 + 27 = 0. Let t(z) be the first derivative of 2*z**3/3 - 7*z**2/2 + 2*z + 8. Is t(a) a multiple of 8?
False
Let i be (-66)/4*(-12)/18. Is 6*(0 + i) - -1 a multiple of 22?
False
Suppose -2*u + 6*u = -12. Let d = u + 9. Is d a multiple of 6?
True
Let n(q) = -8*q**2 - 3*q + 3. Let f(m) = -3*m**2 - m + 1. Let c(l) = -11*f(l) + 4*n(l). Does 3 divide c(2)?
True
Let m(k) be the first derivative of k**3/3 + 3*k**2/2 + 8*k + 1. Is 13 a factor of m(-6)?
True
Let y = -98 - -59. Let x = y + 75. Is 18 a factor of x?
True
Let z(i) = -2*i + 5*i + i - i. Is 4 a factor of z(3)?
False
Let k(u) = u. Let v be k(3). Suppose 3*o - v = 3. Does 2 divide o?
True
Suppose i + q = 7, 2*q + q = i + 13. Suppose 30 = 2*u - 0*u. Is 6 a factor of 96/u - i/5?
True
Suppose 3*z - w = -3*w + 358, 1 = -w. Is z a multiple of 11?
False
Let f(n) = n**2 - 16*n + 42. Is 8 a factor of f(17)?
False
Suppose 15 = 3*i - 0*i. Let o = 11 + i. Is o a multiple of 6?
False
Let i = 438 + -259. Is 40 a factor of i?
False
Let u = 89 - 45. Does 11 divide u?
True
Let b(q) be the second derivative of -q**5/20 - q**4/2 - 5*q**3/6 - 2*q**2 + 2*q. Is b(-6) a multiple of 9?
False
Suppose 6*y - 3*y + 2 = 2*b, 5*y + 6 = 4*b. Suppose -10 = -b*j - j. Is 13 a factor of 25 + j + -3 + 2?
True
Let k(n) = -3*n**2 + 66 + 5*n**2 - n - n**2 - 2. Let m be k(0). Suppose 4*r = -4*f + m, -2*f = -3*f + 3*r. Does 10 divide f?
False
Suppose -2*c + 502 = -3*d, c - 4*d - 299 = -43. Is c a multiple of 16?
False
Let m(z) be the third derivative of -z**5/60 + 11*z**4/24 + 17*z**3/6 + 4*z**2. Let o be m(12). Let d = o - -2. Is 7 a factor of d?
True
Let w be (0 + 0)*(-1)/(-2). Let p(t) = -t + 2. Let s be p(w). Suppose -n + 130 = 4*a, a = s*n + 40 - 3. Is 14 a factor of a?
False
Let s(u) = u**3 + 3*u**2 - 5*u + 1. Let d be s(-4). Let q = 21 + -11. Let v = q + d. Is v a multiple of 15?
True
Let i(o) = 2*o**2 - 2*o - 1. Is 17 a factor of i(-3)?
False
Let n = -485 - -687. Suppose -n = -5*y + 63. Does 14 divide y?
False
Suppose 5*x - 416 = 199. Suppose -6*u - 25 = -u, 5*u + x = 2*y. Let g = y + -16. Does 11 divide g?
True
Let q be (3 - 716)*(0 + -1). Is (-10)/45 - q/(-9) a multiple of 27?
False
Suppose 3*a - 30 = p + 2*p, 0 = -p + 3*a - 8. Let h = p + 15. Suppose -60 = -h*l + 2*o - 0*o, 0 = 5*o + 10. Is l a multiple of 14?
True
Suppose 0 = f - 4*m - 103, 3*f + m = 500 - 139. Does 10 divide f?
False
Let t(c) = -c**2 + 4*c + 7. Let j be t(5). Suppose j*n + 100 = 7*n. Is 10 a factor of n?
True
Suppose -22*j - 390 = -3624. Does 50 divide j?
False
Suppose -19 - 68 = k. Let b = k + 127. Does 20 divide b?
True
Is 43 a factor of ((-103)/(-4))/((-9)/(-36))?
False
Suppose 2*b - 20 = 2*y, -5*b + 3*y + 48 = -6. Is b a multiple of 3?
True
Let s(v) = 4*v + 10. Is 13 a factor of s(13)?
False
Let s = 57 + -25. Is s a multiple of 16?
True
Suppose 3*r = 3*x - 546, -r - 191 = -5*x + 711. Does 30 divide x?
True
Let z = 16 + -6. Does 2 divide z?
True
Let a(z) = 117*z - 1. Let n be a(1). Suppose -2*g - 2*g + n = 0. Does 23 divide g?
False
Let w be (14/4)/((-2)/4). Is 11 a factor of (-2)/w - (-152)/7?
True
Let t(k) = -18*k - 18. Is t(-15) a multiple of 42?
True
Suppose -51 = -6*p + 3*p. Suppose -3*o - 2 + p = 0. Suppose o*y = a + 111, -2*y + 42 = -2*a + a. Is y a multiple of 9?
False
Suppose s - 2*s = -25. Is 8 a factor of s?
False
Let a be 4/(-10) + 394/10. Let w = a + -15. Does 24 divide w?
True
Suppose g = a + 36, -5*a = 5*g - 0*g - 220. Is 5 a factor of g?
True
Suppose 4*u + 93 = b, -4*b + 42 + 245 = u. Let y = b + 35. Is 36 a factor of y?
True
Let p = -14 + 41. Let a = p + 27. Suppose 4*w = w + a. Does 18 divide w?
True
Suppose 16 = -x - 3*o, -17 = x + o + 5. Let a = 16 - x. Let g = a - 21. Does 8 divide g?
False
Let r be 2/(-1*(-8)/(-12)). Let n(j) = -13*j - 2. Is 14 a factor of n(r)?
False
Suppose -3*l + 28 = -2*l. Does 8 divide 8/l + 248/14?
False
Let l(x) be the first derivative of 6*x**2 + 2*x - 2. Does 13 divide l(2)?
True
Suppose -13*j + 11*j + 70 = 0. Does 12 divide j?
False
Let q = -7 + -17. Let j = q + 34. Does 3 divide j?
False
Does 6 divide 6/(-21) + ((-3792)/(-14))/3?
True
Let p = 276 + -122. Is 29 a factor of p?
False
Let p = 22 + -17. Suppose 5*h = 0, p*n + 6*h - 50 = h. Does 10 divide n?
True
Let s(u) = u. Let v be s(4). Suppose z = -v*z. Suppose -h - m = -z - 1, -11 = -3*h - m. Is h a multiple of 5?
True
Let d = 15 - 2. Suppose -13 = -6*t + 17. Suppose t*m = 58 - d. Is 4 a factor of m?
False
Suppose v + 5*p - 35 = 0, p = v - 0*p - 29. Suppose u = -u + v. Is u a multiple of 4?
False
Let n(i) = 2*i**2 + 2*i. Let d be n(-2). Suppose f - h = -d*h + 41, -3*f - 5*h = -135. Does 20 divide f?
False
Suppose -4*n - n + 5*j = -100, 4*n + j - 70 = 0. Does 2 divide n?
True
Let r = 1 - -5. Let v(c) = -c + 4. Let y be v(r). Is (-1)/1*-1 - y even?
False
Let s(h) = h**2 - 11*h + 4. Let i be s(7). Let g be ((-13)/(-3))/(2/(-6)). Let q = g - i. Does 11 divide q?
True
Let c(o) = -o**3 - 3*o**2 + 6*o + 2. Let a be c(-5). Suppose -2 = u + 2*j, -4*u = j - 6*j + 34. Let w = u + a. Is w a multiple of 8?
True
Suppose -3*x + 15 = -x - 5*g, -2*x + 2*g + 6 = 0. Suppose t + 4 = x, t = -5*s + 5*t + 201. Does 16 divide s?
False
Suppose 25 = 5*z - n, -n - 6 = -z - 1. Suppose 39 = 5*w - d, 2*d - z*d + 11 = w. Does 8 divide w?
True
Let w = 5 - -19. Is w a multiple of 8?
True
Let u(q) = 34*q - 6. Let b be u(4). Suppose 0*i + b = 5*i. Suppose f + f - i = 0. Is 11 a factor of f?
False
Suppose -4*o - 5 = -s, -o + 41 = 5*s - 47. Does 3 divide s?
False
Let g = 33 + 36. Is 25 a factor of g?
False
Suppose -12561 = -25*l - 2361. Is l a multiple of 12?
True
Suppose 0 = -h + 151 - 25. Does 38 divide h?
False
Let i(b) = b**3 - b**2 - 2. Suppose 5*d + 2 = -4*k, -5*k - 6 = 2*d + 5. Let u be i(d). Suppose 2*v + 3*y + y = 72, -3*v - u*y = -108. Is 11 a factor of v?
False
Let m(a) = 2*a + 6*a**2 - 5*a**2 + 2 + 3*a**2. Let q be m(-2). Let v = 10 + q. Is v a multiple of 10?
False
Let g be ((-10)/8)/((-2)/24). Suppose 0*u = -u + 2. Suppose -u*w + 22 = 2*r, r - 5*w = -r + g. Does 4 divide r?
False
Suppose 2*j - 20 = -4*p, 0 = -4*j + 3*p - 0*p - 15. Suppose 2*u - 24 = -j*u. Suppose -u = -2*t - t. Is 3 a factor of t?
False
Let a(j) = j**2 + 2*j. Is 7 a f