iple of 18?
True
Let g(s) = 9*s**3 - s. Let h be g(1). Let y be -1*3/((-6)/h). Suppose -3*r + 224 = i + 4*i, -4*i = -y*r - 160. Is 21 a factor of i?
False
Suppose d = -4*v - 2*d + 1, 24 = v - 4*d. Is 4 a factor of v?
True
Suppose 36 = -3*h + 192. Suppose 26 + 22 = 3*n - 3*l, 3*n - h = l. Does 18 divide n?
True
Let r be (-144)/(-15) + (-15)/25. Let k(y) = y + 12. Is k(r) a multiple of 21?
True
Let l(a) = 33*a - 16. Is 27 a factor of l(5)?
False
Let k(s) = 2*s**2 - 2*s + 7. Let w be k(-3). Let o = 58 - w. Does 20 divide o?
False
Let l(p) = -p**3 - 6*p**2 - 6*p + 7. Let u be l(-5). Suppose 0 = 2*m - 14 - u. Is 6 a factor of m?
False
Let i = 1 - 9. Does 15 divide (2 - i)*27/6?
True
Let m = 52 + 33. Is 33 a factor of m?
False
Let d be (-4)/(-6)*(-36)/(-8). Suppose -7*k = -4*m - d*k + 88, 4*k = 3*m - 67. Does 13 divide m?
False
Let d(q) = 2*q - 9. Let n be d(7). Suppose -f + c = 1, 10 = -f - n*c + 27. Suppose -3*a + 39 = t, -7*a + 3*t = -f*a - 65. Does 7 divide a?
False
Let z(w) be the second derivative of w**3/3 - 2*w**2 + 3*w. Let m be z(3). Let a = m + 0. Is a even?
True
Suppose 0*u = 4*u - 100. Let w(h) = h**2 + 8*h + 6. Let p be w(-6). Is 2 a factor of (u/(-15))/(2/p)?
False
Is (-81)/(-5) - (-2)/(-10) a multiple of 7?
False
Let q(u) = u**2 + 6. Let n = -12 + 17. Suppose 0 = -b - n*o, -3*b + 7*b = 5*o. Is q(b) a multiple of 3?
True
Suppose 0 = t - 2*t + 76. Suppose t = v - 2*z, v + 0*z + z - 70 = 0. Suppose -5*h + v = -h. Does 7 divide h?
False
Suppose -2*z + 20 + 244 = 0. Suppose c + 0*c = -92. Let v = c + z. Is 16 a factor of v?
False
Let w be 1/(1/2) - 2. Suppose w*p = -2*p + 18. Is 10 a factor of (-2)/(-9) - (-178)/p?
True
Suppose -q = -0*q + 20. Let l = -12 - q. Let z = l - -18. Does 13 divide z?
True
Let f(n) = -2*n + 21. Is f(-17) a multiple of 10?
False
Suppose 12 = 2*u - 3*f, 3*u - 4 = 2*f + 4. Suppose 2*k = 4, -2*c + 2*k = -u*c - 50. Is c a multiple of 9?
True
Let s(n) = 1. Let o(y) = 8*y. Let f(h) = -o(h) - 2*s(h). Is 23 a factor of f(-6)?
True
Let s = 26 - -2. Is s a multiple of 21?
False
Let c = 92 - 52. Does 20 divide c?
True
Let m = -73 + 178. Is 32 a factor of m?
False
Let t be 2/(-3) - 16/(-24). Suppose 2*y = -t + 34. Does 17 divide y?
True
Suppose -v = -4*i + 163, -5*i + 2*v + 195 = -v. Is 7 a factor of i?
True
Let y be 2 + -1*(1 + 1). Let i(j) = j**2 - j + 3. Let u be i(y). Is 10 a factor of -2 - 0 - -6*u?
False
Suppose 2*z = 5*z - 6. Let n(w) be the third derivative of w**6/40 - w**5/30 + w**4/6 - w**3/3 - 4*w**2. Does 11 divide n(z)?
True
Let p be 1 + (6/(-2) - -2). Let r be (-1 - 0 - p)*-3. Is r/(-3) - (-6)/1 a multiple of 4?
False
Let o(n) = -n**2 + 13*n + 30. Does 8 divide o(7)?
True
Is (-1)/1 - (2 + 0) - -29 a multiple of 5?
False
Let p(j) = j**3 - 3*j**2 - 5*j + 3. Let l be p(4). Let y = 3 + l. Is 11 a factor of (-1 + (-9)/y)*-4?
True
Let i(d) = -d**3 - d**2 - 1. Let h(z) = 4*z**3 - 3*z**2 - 7*z + 7. Let f(t) = h(t) + 5*i(t). Let u be f(-7). Does 16 divide ((-66)/15)/(u/(-20))?
False
Let f = 15 - -9. Is f a multiple of 12?
True
Suppose -2*s + 238 = -12. Is 25 a factor of s?
True
Let f = -44 + 74. Is f a multiple of 15?
True
Let q(i) = i**3 - 6*i**2 + 9*i - 5. Let n be (-392)/(-63) + 2/(-9). Is q(n) a multiple of 18?
False
Suppose -2*l + 2*p + 28 = 0, 5*l = 4*l - 4*p + 24. Does 8 divide l?
True
Suppose -4*n + 221 - 43 = -2*u, u = 1. Does 5 divide n?
True
Suppose -2*o = 2*o - 780. Does 13 divide o?
True
Suppose 0 = 5*n - 3*r - 5, 0 = -2*n - 5*r + 2*r + 2. Let k(g) = 39*g**3. Is 13 a factor of k(n)?
True
Let n(x) = x**3 + 11*x**2 + 9*x - 7. Let h be n(-10). Let i be -1 + 18/(0 + h). Suppose i*r - 68 = 57. Is 10 a factor of r?
False
Does 20 divide 18/(-108) + -829*(-1)/6?
False
Let r = -7 + 21. Let f = -1 + r. Is 13 a factor of f?
True
Let v = 9 + 2. Is 2 a factor of v?
False
Let f(q) = 3*q + 12. Does 9 divide f(12)?
False
Suppose -22 = -2*u - 5*o, -2*o - 3*o + 40 = 5*u. Suppose -v = -u*v + 135. Does 27 divide v?
True
Let d be ((-14)/3)/((-6)/18). Suppose -4*q = -3*q - d. Is 7 a factor of q?
True
Suppose 40 = h - 2*z, 2*h + 2*z - 20 = h. Is h a multiple of 10?
True
Let m = -4 - -14. Is 4 a factor of m?
False
Suppose -2*r = -25 - 35. Does 7 divide r?
False
Suppose k - 3*k = -22. Let o = -23 + k. Is 16 a factor of 4/o + (-97)/(-3)?
True
Let g(r) = -r**3 - 3*r**2 - 4. Let y be g(-7). Suppose -4*c + 36 = -y. Is 21 a factor of c?
False
Let j(z) = z + z - 4*z + 3*z - 5. Does 4 divide j(9)?
True
Let n(h) = h**3 - 4*h - 3. Let w be n(5). Suppose j = -j + w. Is j a multiple of 21?
False
Let l(i) = i**3 + 5*i**2 + 6. Let a be l(-5). Let d be 3/(0 + 9/a). Suppose 0*x - 76 = -d*v + 5*x, 5*v + x = 163. Is 11 a factor of v?
True
Suppose -4 = -2*b + 6. Let f(d) = 1 - 4*d - 4 + 0 + 2*d**2 + 1. Is f(b) a multiple of 14?
True
Suppose -39 = p - 43. Is 2 a factor of p?
True
Let l(z) = z + 2*z + 4 - z**2 - 1. Let c be l(-4). Is 23 a factor of (-1)/(1/c) + -2?
True
Suppose 143 = 7*g - 46. Does 18 divide g?
False
Does 60 divide (0 - -1)*(-10 + 130)?
True
Let y be ((-24)/(-9) - 3)*6. Let n = y - -6. Suppose -b = -n*b + 21. Is b a multiple of 5?
False
Let j(a) = -6*a**3 - 5*a**2 + a + 2. Let y(h) = 7*h**3 + 6*h**2 - h - 2. Let b(i) = -6*j(i) - 5*y(i). Let m be b(0). Does 7 divide (-43)/(-3) + m/(-3)?
False
Suppose 2*c + 4*j - 10 = 2, -34 = -c + 5*j. Is c a multiple of 7?
True
Let d(t) = 2*t**3 - t**2 - 3*t - 1. Let q be d(3). Suppose -5*p - 101 = -3*i, 2*i + 5*p + 1 = q. Does 9 divide i?
True
Suppose 70 = 2*y - 8. Is 4 a factor of y?
False
Let q(n) = 2*n - 6. Let w be q(5). Suppose -w*o + 3*t + 14 = -2, -2*t - 20 = -5*o. Does 4 divide o?
True
Suppose 3*z - 3*o = 2*o + 32, -3*o - 12 = 0. Let m = z - 1. Is m even?
False
Suppose 0*q + q = 1. Let t be 7 + (-3)/q + 1. Suppose t*o - o - 40 = 0. Does 10 divide o?
True
Let l = 37 + -17. Suppose 4*f - 3*f - l = -3*h, 0 = -4*f + 2*h + 24. Is f a multiple of 4?
True
Suppose -4*r + 3*j = -9, -4*j = -4*r - 1 + 9. Let x be -2*1 - 12/(-3). Suppose 2*v + r = -m, v + x = -2. Is m a multiple of 4?
False
Let m(k) = -2*k + 4. Let r be m(2). Suppose r = 3*y + 2*y - 115. Does 11 divide y?
False
Suppose -5 = -5*c - 0*c. Let f(p) = 4 - c + 2*p**2 + 0. Is 8 a factor of f(-3)?
False
Suppose 4*v - v - 6 = 0. Suppose 4*j + v + 70 = 0. Does 2 divide 2/4 - j/4?
False
Suppose -3*d + y = -43, 2*d + 2*y - 34 = 8. Suppose 2 = 6*f - d. Is 2 a factor of f?
False
Let u(z) = z**2 - 5*z - 9. Let p be u(7). Let k be (-45)/(0 - (-6)/(-4)). Suppose p*l - k + 9 = -j, 5*j - 5*l = 45. Does 4 divide j?
False
Suppose 2*m = 4*g - 46 + 112, -4*m + 135 = -5*g. Does 7 divide m?
True
Let t = 22 - -148. Suppose 0 = 5*h - 5, -5*k + t + 91 = h. Is 26 a factor of k?
True
Suppose 0 = 16*q - 14*q - 10. Does 15 divide (1 + -4)*q/(-1)?
True
Suppose 3*k = -0*k + 72. Is 21 a factor of k?
False
Let i be ((-18)/12)/((-3)/10). Suppose 4*y - i*s + 9 - 3 = 0, 4*s - 4 = 4*y. Is 7 a factor of (1 + 6)/(y/2)?
True
Suppose 40 = 3*h + 2*l, 0 = h - l + 3*l - 12. Does 14 divide h?
True
Suppose 80 = 4*i - 48. Is 14 a factor of i?
False
Suppose -2*u + 4 = -2, -2*d + 5*u = -29. Is 9 a factor of d?
False
Suppose -5*m + m = -4, -5*z - m + 1321 = 0. Suppose 0 = -4*c + c + z. Does 30 divide c?
False
Suppose -8*t + 5*t = 6. Is 9 a factor of ((-24)/32)/(t/48)?
True
Suppose -5*v = -4*w + 227, 0*v - v = -5*w + 289. Is w a multiple of 3?
False
Let d be (4/6)/((-4)/(-30)). Suppose 100 = 3*x - c, d*x - c - 133 = x. Is x a multiple of 11?
True
Let h be 4/10 - 96/(-60). Suppose -4*y + 164 = -2*r, 0 = 4*y + y - h*r - 207. Does 18 divide y?
False
Let x(t) be the second derivative of t**5/20 + 7*t**4/6 + 11*t**3/6 + t**2/2 - 6*t. Is 9 a factor of x(-13)?
True
Let v = -15 + 0. Let i = 251 - 151. Is 10/v + i/6 a multiple of 16?
True
Suppose b - 35 = -3*z - 0*z, -z + 7 = 5*b. Is 5 a factor of z?
False
Let p(k) = 2*k + 14. Let g be p(-10). Let r(z) = -z - 4. Let l be r(g). Suppose 70 = 7*b - l*b. Is 4 a factor of b?
False
Let b = 12 - 19. Let h(d) = -d**2 - 13*d - 8. Is h(b) a multiple of 10?
False
Suppose 8*h - 4*h = 0. Suppose h*v - 4 = -v. Is v a multiple of 4?
True
Let t(d) = 16*d**3 + d**2. Let v be t(-1). Let x = v + -2. Let u = -9 - x. Is 8 a factor of u?
True
Suppose -1 = 3*a - 4. Let p be 1 + 0 - (-1 + a). Is (0 - 1/p) + 55 a multiple of 22?
False
Suppose -24 = -2*f - 134. Let q b