divide i?
False
Suppose 0 = -2*v + 3*v - 5. Suppose x = v*x. Suppose -f + r + 59 = x, 5*r = -2 + 27. Is 29 a factor of f?
False
Let h(r) be the third derivative of r**5/60 - r**4/24 - 4*r**2. Let d be h(-1). Suppose v = d + 1. Is 3 a factor of v?
True
Is (189/45)/(5/525) a multiple of 38?
False
Let x = 37 + -33. Suppose 384 = x*y + 4*y. Is 6 a factor of y?
True
Let w(h) = -h**3 - 24*h**2 - 41*h - 23. Does 23 divide w(-23)?
True
Let b = 24 - 18. Let m(s) = -s**2 + 6*s + 3. Let a be m(b). Suppose 0 = -2*r + a*h + 21 + 99, h - 180 = -3*r. Does 20 divide r?
True
Let r be (1*-4)/(-5 - -3). Suppose -5*m - 4*n - 50 = -16, 0 = -r*m + 3*n - 9. Let i(f) = f**2 + 4*f + 3. Is 5 a factor of i(m)?
True
Let i(l) = 165*l - 296. Is i(6) a multiple of 26?
False
Let u = -41 + 45. Suppose 8*w - u*w = 152. Is w a multiple of 10?
False
Let n(p) = 22*p**2 - p - 7. Is 37 a factor of n(3)?
False
Let w = -130 - -1727. Is w a multiple of 15?
False
Let n = 398 + -175. Is n a multiple of 20?
False
Let l(t) = 7*t + 11. Let j be l(9). Let q = -42 + j. Is (-1 - -2)*(2 + q) a multiple of 14?
False
Suppose -2*v + v = 0. Suppose 3*k = -5*r - v*r + 28, 0 = -3*k + r + 16. Let o(a) = a**2 - 5*a + 13. Is o(k) a multiple of 7?
False
Suppose 4*n = -2*n + 228. Let c = n + 58. Is 20 a factor of c + (6 - (-4)/(-2))?
True
Let k(m) = 89*m + 2. Let t(h) = 5*h**2 + 10*h. Let l(q) = 9*q**2 + 19*q + 1. Let b(g) = -4*l(g) + 7*t(g). Let o be b(-5). Is 13 a factor of k(o)?
True
Suppose 1658 = b - 2*c, 4 = 3*c + 1. Is b a multiple of 20?
True
Let s(x) = 2*x**2 + 19*x - 4. Let l be s(-9). Let j = l + 37. Does 4 divide j?
True
Let v = -245 + 344. Let b = -325 - -471. Let x = b - v. Is 14 a factor of x?
False
Suppose -2*f - z - 15 = 0, -3*z = 4*f - 7*z + 60. Let r be 5/(f/13)*-10. Let d = 103 - r. Is 19 a factor of d?
True
Let n(z) = -z**3 + 10*z**2 - 11*z + 20. Let j = -2 - -10. Let x be n(j). Suppose 26 = -0*q + q + 4*t, 3*q - x = -3*t. Does 14 divide q?
False
Let n be ((-618)/(-5))/((-3)/(-10)). Suppose -6*v = -n - 44. Let f = v - 15. Is f a multiple of 12?
False
Let v(b) = 121*b + 1. Is 13 a factor of v(3)?
True
Let h(r) be the first derivative of 5*r**3/3 - 5*r**2/2 + 12*r - 26. Is h(7) a multiple of 25?
False
Suppose 5*s + 4 = 19. Let h = s - -2. Suppose 4*u + h*t = 6*t + 203, -u + 54 = 3*t. Is 17 a factor of u?
True
Suppose 0 = 3*h - 9*h + 18. Suppose -h*u + 121 + 113 = 0. Does 6 divide u?
True
Let f = 163 - 122. Let z = f - 36. Is 5 a factor of z?
True
Suppose -20*h + 8494 = -12886. Is 91 a factor of h?
False
Let k(v) = v**2 - 6*v - 5. Let o be k(7). Suppose -4*x + o = -3*x. Suppose -x*l + 40 = 4*g, 4*l - 40 = -2*g - g. Is g a multiple of 2?
True
Let g = 42 - 29. Is 4 a factor of (-2)/6*3 + g*1?
True
Let m be 50/3 + 2/6. Suppose -2*n + m = -35. Does 13 divide n?
True
Suppose -4*i = 4*i - 2128. Let t = i + -166. Does 7 divide t?
False
Let k be (-1 - -3)/(6/(-225)*-5). Is k + (4 - (-3 + 3)) a multiple of 9?
False
Let r = 3197 + -2407. Is r a multiple of 2?
True
Let c be 157/6 - 3/18. Let y = c - 40. Let b = y - -35. Is b a multiple of 8?
False
Let j(t) = -9*t + 1. Let l be j(-1). Let s be -1*4*-2*(-12)/(-8). Is 4 a factor of (s/l)/((-4)/(-30))?
False
Suppose -5 = 5*u, c = 3*c + 4*u - 10. Suppose c*x - 4*x = 6. Is 3/x + (-476)/(-8) a multiple of 13?
False
Suppose 0 = -2*w + 3*w + 4*p - 144, -w + 150 = 2*p. Is 38 a factor of w?
False
Let q(b) = 19*b - 1. Let h be q(-1). Let z = -201 + 160. Let t = h - z. Is 11 a factor of t?
False
Let i(o) = 4*o**3 - 13*o**2 + 21*o - 20. Does 22 divide i(5)?
False
Let y(l) be the second derivative of 9*l**3/2 - 4*l**2 + 35*l. Is 20 a factor of y(4)?
True
Let u(t) = -t + 1. Let w(k) = 30*k - 8. Let l(z) = 10*u(z) + w(z). Let q be l(4). Let i = q + -18. Is i a multiple of 16?
True
Let h(k) = 24*k**3 - k**2 + k + 1. Does 20 divide h(2)?
False
Suppose 5*o + 20 = -5*b, 0 = -4*o - 2*b - 7 - 9. Let a(t) = 2*t**2 - 6*t - 1. Let u be a(o). Let l = 84 - u. Is l a multiple of 11?
False
Let a(s) = s**3 + 22*s**2 + 34*s + 28. Is 17 a factor of a(-20)?
False
Suppose -4*z = -3*x + 106, 1 = 3*z + 13. Suppose w - x = -w. Suppose r + w = 2*r. Does 9 divide r?
False
Suppose -i + 0*i = -4*g - 550, 3*g = -15. Does 79 divide i?
False
Suppose 0*v = -5*v - u + 522, 12 = -4*u. Does 10 divide v?
False
Let m = -17 - -25. Suppose -m*k = -k - 1176. Does 42 divide k?
True
Let l(i) = 103*i**3 + 2*i**2 + 5*i - 9. Is 7 a factor of l(2)?
True
Let x(q) = 24 + 2*q - 16 - 16. Let d be x(6). Suppose 4*h = 2*h - 4*j + 70, -175 = -5*h - d*j. Is h a multiple of 17?
False
Suppose 4*m = 3 + 5. Let r(a) = 9*a**2 - 3*a. Is 5 a factor of r(m)?
True
Let k(z) = -z**3 - 6*z**2 + 6*z. Let a be k(-7). Suppose -a*j = -4*j - 12. Let h = 16 + j. Is h a multiple of 5?
True
Suppose -y = 3 - 7, -2*k + 2*y = -2582. Suppose 7*v - 2*v - k = -5*w, -2*v = 0. Does 26 divide w?
False
Let o(z) = z**2 + 23*z + 6. Let b be o(-13). Let r = 209 + b. Suppose 3*l - 212 - 73 = -5*t, -t + 5*l = -r. Is 30 a factor of t?
True
Let l(p) = -311*p - 141. Is l(-6) a multiple of 10?
False
Suppose 66 = -4*u - 82. Let h = 41 + u. Let w(n) = 2*n**3 - 7*n**2 + n. Is 4 a factor of w(h)?
True
Is ((-30)/9)/((-180)/93528) a multiple of 17?
False
Let a be -4 + 237 + 2 + 3. Is (-5)/(-10) - a/(-4) a multiple of 16?
False
Let v(s) = 112*s**3 - 6*s**2 + s + 10. Does 9 divide v(2)?
False
Let b(g) = -g + g**2 + 2*g - 7 - 5. Suppose -16 = -2*i - 6. Is 8 a factor of b(i)?
False
Suppose 0 = 4*l + 2*c - 438, -c + 0*c = -5. Let z = l + -61. Is z a multiple of 23?
True
Let l be 12/8 + 42/12. Suppose -m + 3*t = -89, -4*t - l = -9*t. Is m a multiple of 23?
True
Suppose -3*u - 5*g = -1120, 1482 = 4*u + 2*g - g. Does 10 divide u?
True
Suppose -6 = -2*d - 4*r + 10, -16 = -2*d - 2*r. Suppose 0 = 3*k - d*k + 260. Is 13 a factor of k?
True
Suppose 0 = -a + 2*v + 840, -10*a + 2*v = -12*a + 1650. Is 16 a factor of a?
False
Let u = 13646 - 9014. Is u a multiple of 15?
False
Let k(r) = 4*r + 227. Does 5 divide k(0)?
False
Let t = -162 - -111. Is t/(-7) - (-2)/(-7) a multiple of 7?
True
Let q(d) = -2*d**2 - 1. Let v be q(1). Let s(b) = -5*b**3 - 5*b - 16. Is 28 a factor of s(v)?
False
Suppose -4*v = -0*v - i - 3982, 2*i = -4*v + 3988. Is v a multiple of 17?
False
Suppose -5*x + 2*v + 19 = 145, 3*x = -4*v - 86. Let q = x + 46. Let j = q + 6. Does 13 divide j?
True
Let f be (-324)/(-20) - (-1)/(-5). Let g = f - 16. Is 11 - ((-9)/(-3) + g) a multiple of 2?
True
Let h = -57 + 60. Let n(o) = o**2 - 4*o + 10. Is n(h) a multiple of 2?
False
Suppose 4*f = -20*d + 15*d + 12538, -4*d + 10046 = -2*f. Is 10 a factor of d?
True
Suppose 5 = i + 1, 3*y + i + 2405 = 0. Is (-45)/75 - y/5 a multiple of 20?
True
Suppose -3*m + o = -1493 + 120, -2*m - o + 922 = 0. Is 3 a factor of m?
True
Let c(d) = d**3 + 3*d**2 - 4*d - 10. Let q be c(-3). Suppose -q*a = 5*l - 406, -7*a = 5*l - 2*a - 415. Does 10 divide l?
True
Let h(j) = -j**3 + 11*j**2 - 6*j + 7. Let q be h(8). Let c = q + -100. Does 13 divide c?
False
Let k(j) = 15*j**2 - 1. Does 9 divide k(-1)?
False
Let t(v) = -v**2 - 9*v + 7. Let s = -2 - -6. Let q be 9/6*(-24)/s. Does 4 divide t(q)?
False
Let p(a) = -170*a + 258. Does 21 divide p(-6)?
False
Let p be (-84)/63*(-6)/4. Suppose 0 = a - p*a - x + 52, 0 = -2*a + x + 113. Is 34 a factor of a?
False
Let a(m) = 3*m**2 + 4*m + 7. Let z be a(-5). Is 20 a factor of ((-12)/(-12))/(2/z*1)?
False
Is 21 a factor of -3 + -5 - 348/(-12)?
True
Let c(s) = s**2 + 3*s - 6. Let q be c(6). Does 6 divide (-9)/(-4)*640/q?
True
Suppose 0 = -3*a + 15, -4*a + 811 + 957 = 2*t. Is t a multiple of 4?
False
Suppose -2*b = 10, -5*u + 4*b - 6*b - 5 = 0. Is -3 - 0 - (-30 - u) a multiple of 12?
False
Suppose -3*o + 4*o - 4*u + 5 = 0, u - 5 = 0. Let x = 15 - o. Suppose x = 7*z - 3*z - 88. Does 16 divide z?
False
Let n = -368 + 454. Does 14 divide n?
False
Suppose -5*j + 584 = -0*j + a, 2*a = 5*j - 587. Is j a multiple of 27?
False
Does 8 divide (0 - -4)*(4 + 18)?
True
Let h = 506 - -96. Is h a multiple of 14?
True
Suppose -333*z + 2238 = -331*z. Does 35 divide z?
False
Let n(b) = -b - 2. Let d be n(5). Let w = -81 - -65. Let x = d - w. Is x a multiple of 5?
False
Let x be 3/(-2 - (-140)/64). Suppose x = 14*b - 10*b. Suppose 43 - b = 3*o. Is o a multiple of 7?
False
Suppose -5*g + 723 = 4*m, 0 = -m + 16*g - 11*g + 212. 