f i(11)?
True
Let w(q) = 149*q**3 - 2*q**2 + 7*q - 15. Does 6 divide w(2)?
False
Suppose 4*v = -3*g + 1118, 5*g + 11*v = 6*v + 1870. Is g a multiple of 5?
False
Suppose -6*j + 34 = -26. Let w = -6 + j. Is 288/20 + w/(-10) a multiple of 3?
False
Suppose 4*a + 5*c + 15 = 2*a, 2*c + 6 = -4*a. Suppose -f + 2*f - 165 = a. Suppose -5*x = 30 - f. Is x a multiple of 13?
False
Let a(j) = j. Suppose 18 = 3*v + 2*m, -9 = -4*v - 3*m + 16. Suppose 0*x - v*x + 40 = 0. Does 5 divide a(x)?
True
Suppose 2384 = 5*u + 529. Does 53 divide u?
True
Let b = 144 + 69. Suppose -m = 3*w - 57, -5*w = 5*m - b - 22. Does 12 divide m?
False
Let p be (24/(-10))/(3/15). Let f = -7 - p. Suppose f*g = 3*g + 40. Is 12 a factor of g?
False
Suppose -2*a + 36 = 5*g, 5*a + 35 = 5*g - 15. Let o = 10 - g. Suppose -12 = -2*t - o*r, 4*t - 4*r + 0*r - 40 = 0. Is 8 a factor of t?
True
Suppose 2*d - 7*d + 830 = 0. Let r = d - 113. Suppose 4*a = -17 + r. Is 4 a factor of a?
False
Suppose 5*s - 51 = -4*w, -4*s = s - 4*w - 59. Suppose 4*r + 9 = 3*n - s, 2*r - 68 = -5*n. Does 3 divide n?
True
Suppose -4*u - 888 = 5*f, 0 = 3*u - f + 4*f + 666. Does 23 divide (u/(-9))/((-2)/(-9))?
False
Suppose 6004 = 2*b - 2*k, 3*b + 4*k - 6537 = 2476. Is 39 a factor of b?
True
Suppose 23*v - 72 = 22*v. Is v a multiple of 3?
True
Let b(j) = 160*j**2 + 1. Let l be b(1). Let m = l - 81. Is 23 a factor of m?
False
Is (793 - 1) + (-10)/(40/28) a multiple of 25?
False
Suppose 0*a - 34 = a. Let s be 1/3 - (-3000)/45. Let c = s + a. Is 11 a factor of c?
True
Let t(u) = u**3 + 2*u**2 - 2*u + 1. Let p be t(-3). Let s be p/(-4) + (-334)/(-4). Suppose -12 + s = 4*m. Does 14 divide m?
False
Let o = 12 + -6. Suppose 3*z - o*z = -6. Suppose -j - 12 = -h, 1 = z*j + 7. Is h even?
False
Let w be (-2)/(-9) + (-61)/(-9). Suppose 5*p - 13 - w = 0. Let b(c) = 2*c**2 - 5*c - 2. Is b(p) a multiple of 10?
True
Let x = 34 - 34. Suppose x = -u - 2 + 31. Does 15 divide u?
False
Let v(y) = 4*y**2 + 19*y + 50. Is v(14) a multiple of 5?
True
Suppose -2*f = 6 - 2. Let n = f - -8. Suppose n*t - t = 100. Is t a multiple of 10?
True
Suppose 0 = t - y - 6, -5*t = -t + 3*y - 17. Suppose t*b = -0*b + 15. Suppose 68 = 5*k + 5*w - 42, -b*k + 70 = 4*w. Is 6 a factor of k?
True
Let z = -1064 - -1384. Does 70 divide z?
False
Let a = 30 + 35. Is a a multiple of 5?
True
Suppose 0 = 4*z + 3*z. Suppose z = -0*n + n - 36. Is n a multiple of 6?
True
Is (-8)/(80/15) + (-183)/(-2) a multiple of 5?
True
Let d be (20/35)/(6/21). Let b(s) = -4*s - 17. Let y(k) = -21*k - 84. Let t(u) = d*y(u) - 11*b(u). Does 3 divide t(-7)?
False
Let a(i) = -i**2 + 13*i - 3. Let b be 2/(-6) + (-32)/(-6). Does 8 divide a(b)?
False
Let i = -258 - -488. Is i a multiple of 18?
False
Let l(t) be the second derivative of -t**5/20 + 5*t**4/12 + t**3 + 4*t**2 - 6*t. Let c be l(6). Suppose c*m - 3*m = 20, -5*q + m = -11. Is q a multiple of 3?
True
Suppose 2*b + 47 - 4 = -s, 0 = 4*b - 4*s + 92. Let i be (-54)/(3/(-6) - -2). Let k = b - i. Is k a multiple of 7?
True
Let a be 50*((-13)/2 + (3 - -1)). Does 35 divide (-5 + a)*(-2 - (-3)/3)?
False
Let y be -1 + 5 + -8 + 6. Let a = y - 2. Suppose a = -3*p + 7 + 59. Is 22 a factor of p?
True
Let v be -30*(-3 + (-24)/(-9)). Let s = -10 + v. Suppose -5*k - u + 25 + 9 = s, 0 = -2*k - 3*u + 11. Does 6 divide k?
False
Suppose 0*x = x + 23. Let r = 35 + x. Is 8 a factor of r?
False
Let m = 1474 + -688. Is 21 a factor of m?
False
Let o = -106 + 142. Let b = -17 + o. Is 3 a factor of b?
False
Let p be -45*-2*(-29)/(-6). Let l = p + -263. Is 32 a factor of l?
False
Let w = -599 + 840. Does 65 divide w?
False
Let x = -498 - -701. Is x a multiple of 17?
False
Let k(i) = i**3 - 6*i**2 - 6*i + 4. Let h be k(5). Suppose 12*w - 1125 = -117. Let b = w + h. Does 15 divide b?
False
Let c be (3/1)/((-3)/(-4)). Suppose -c*g = p - 184, 3*p + 3*g - 191 - 343 = 0. Suppose 3*r - r = p. Is r a multiple of 22?
True
Suppose 0 = -10*l + 13*l - 162. Does 4 divide l?
False
Let p = -182 + 270. Is 37 a factor of p?
False
Suppose -491*h - 2136 = -495*h. Is 87 a factor of h?
False
Let x = -11 - -15. Let l = x - 6. Let d = l - -16. Does 8 divide d?
False
Let x(p) be the second derivative of -1/3*p**3 + 5*p + 0 - 6*p**2. Does 5 divide x(-16)?
True
Suppose i + 6 = -2*u, 0 = -u - 2*u - 5*i - 2. Is u/26 - 18945/(-195) a multiple of 25?
False
Suppose -4*r + 2*g = -5 - 1, 4*g + 18 = 2*r. Let h be 2 - 40*r/(-2). Is 18 a factor of 1*-42*h/21?
True
Let z(k) = -29 + 14 + 7*k - 32 - 5. Does 18 divide z(10)?
True
Suppose -3*c + 0*g - 5*g + 6039 = 0, 4*g - 8060 = -4*c. Does 66 divide c?
False
Let i(f) = 2*f**2 + 2*f - 2. Let p be i(-2). Let g be p/(((-4)/(-8))/1). Suppose -g*z + 155 = -3*u, z = u + 14 + 24. Is 16 a factor of z?
False
Does 52 divide 1712 + ((7 - 16) + 7)*-2?
True
Let q = 145 - 140. Suppose -1055 = -q*y + 3*f, 6*f - 5*f = -3*y + 619. Is 35 a factor of y?
False
Suppose -3*p - 4 = 4*s, -p - 2*p = -s - 16. Suppose -89 = p*b - 245. Is 6 a factor of b?
False
Let g = 2 - 2. Let n(f) = -f + 43. Let v be n(g). Suppose i + q - 2*q = 45, -i = q - v. Does 27 divide i?
False
Suppose 10 = 3*p + 2*p. Let v be 4*1*(-2)/p. Let c(q) = -8*q - 6. Is c(v) a multiple of 6?
False
Let b(v) = -v**3 + 10*v**2 - 9*v + 2. Let n be b(9). Let m(w) = -18*w**2 + 3*w - 1. Let j be m(n). Let p = j - -119. Does 17 divide p?
False
Suppose -56*v + 50*v = -792. Does 11 divide v?
True
Is ((0 - -293) + -1)*45/36 a multiple of 56?
False
Suppose 203*t = 197*t + 5148. Is t a multiple of 66?
True
Suppose l - 62 = -72. Is 155/l*2*-5 a multiple of 31?
True
Let z(s) = -s**3 + 9*s**2 + 3*s + 2. Let a(m) = -m**2 - 1. Let v(p) = 4*a(p) + z(p). Let f be v(5). Let c(q) = -q**2 + 18*q + 17. Is 23 a factor of c(f)?
False
Suppose -44386 = -82*o + 117810. Is o a multiple of 43?
True
Suppose 0 = d + 1, 0 = -2*l + 4*l + d - 15. Suppose 9*y = l*y. Suppose z - 3*t - 2*t - 78 = 0, y = 2*z + 5*t - 141. Is 24 a factor of z?
False
Let u(y) = -1. Let a(k) = -k**2 + 21*k - 12. Let i(z) = a(z) - 2*u(z). Is i(11) a multiple of 11?
False
Let p = -3 - -30. Suppose 3*l - 29 = 4*b, -5*l = -4*b - p - 24. Does 4 divide l?
False
Suppose -c - 4*c = 385. Let p = c - -155. Is p a multiple of 11?
False
Let s(r) = -r - 8. Let f = -9 + 1. Let k be s(f). Suppose 4*c + 0*c - 56 = k. Is c a multiple of 5?
False
Suppose -22*f + 1566 = 136. Is f a multiple of 13?
True
Let r = -58 + 56. Is 14 a factor of 73*1/1 + (r - 2)?
False
Let q(p) = 4*p**2 - 4*p + 31. Is q(-7) a multiple of 11?
False
Suppose s + 3866 = 3*y - 659, -4529 = -3*y + 5*s. Is y a multiple of 29?
True
Suppose 0 = 4*h + 2*h - 984. Suppose -2*i - h = -242. Is 13 a factor of i?
True
Let f(h) = -h + 31. Let i be f(20). Suppose -5*x = l - i, 0 = -3*l + x - 9 + 90. Is 3 a factor of l?
False
Let v(a) = -19*a**2 - 1. Suppose -2*m - 4 = 0, -4 = -w + 5*w + 4*m. Let d be v(w). Does 15 divide (-910)/d - 1/2?
True
Let l be 1/(22/(-6) - -4). Suppose 3 - 2 = -3*h - 2*b, l*b + 15 = 0. Suppose 2*z = 3*d - 52, -d + 11 = -h*z - 4. Is 10 a factor of d?
False
Let p = -8 - -12. Suppose 11 = p*v - 21. Suppose z + 2 = v. Does 2 divide z?
True
Let t(c) = 10*c**2 - 34*c - 8. Does 15 divide t(8)?
True
Let b = 3666 - 1118. Is b a multiple of 52?
True
Let y(s) = -s**3 - 4*s**2 - 2*s - 8. Let n be y(-6). Let a(h) = -9*h - 5. Let p be a(-1). Suppose -w - 2*z + 19 = 2*z, p*w - n = -2*z. Is 9 a factor of w?
False
Let b(p) be the third derivative of p**4/8 - 4*p**3/3 - 11*p**2. Does 14 divide b(12)?
True
Let t = -264 - -521. Let w = 2 + t. Is 39 a factor of w?
False
Suppose 0 = 4*g - 12*g + 320. Suppose 4*a = -j + g, -136 = -4*j + 3*a + 5. Is 15 a factor of j?
False
Let s = 14 + -12. Does 3 divide (1/s - (-550)/(-20))*-1?
True
Let d = 22 - 18. Let o = d - -71. Does 15 divide o?
True
Suppose 39520 = 242*q - 223*q. Is q a multiple of 8?
True
Suppose -x - 5*x + 222 = 0. Let r = x - 27. Does 4 divide r?
False
Let y(h) = h**3 + 7*h**2 + 7*h - 4. Let l be y(-6). Let r = l - -25. Is r a multiple of 5?
True
Let f(u) = u - 120. Let i be f(0). Suppose 4 = 3*w - a, -3*w + 0*w + 1 = 2*a. Is w/(-1 + (-123)/i) a multiple of 8?
True
Let z(g) = 1181*g**3 + g. Is z(1) a multiple of 17?
False
Is 7 a factor of 1440 + (3 - -4) - -1?
False
Suppose -o + 1 + 0 = -v, 0 = -5*v - 3*o + 11. Let w(m) = 39*m**2 - 5*m - 2. Let b(u) = -39*u**2 + 4*u + 1. Le