ltiple of 13?
False
Let l(f) be the third derivative of -17*f**4/12 + f**3 - 5*f**2. Does 36 divide l(-3)?
True
Suppose -v = -8 + 7. Is 46 a factor of v/(-2) - (-15)/6*25?
False
Let x be (6 - -3)/(-3) - 11. Does 14 divide (-536)/x + 6/(-21)?
False
Let u = -22 - -26. Suppose -4*z - u*r = -z + 200, 4*z - r = -254. Let i = 25 - z. Is 13 a factor of i?
False
Suppose -5*b + 1572 = 4*p - 0*p, -4*b + 1268 = -2*p. Suppose -4 = -4*z + 3*w + b, -5*w - 20 = 0. Does 7 divide z?
True
Let w(c) = -9*c**2 + c + 2. Let n be w(2). Suppose 2*q = -5*a + 39 + 5, 39 = 3*a - 3*q. Let d = a - n. Does 14 divide d?
True
Let d be -127*((-11)/44)/(2/(-8)). Let s = d + 145. Is 5 a factor of s?
False
Let x(t) = -48*t + 2*t**2 + 34*t + 15 - 3 + 10*t**2 + t**3. Suppose 0 = -n - 6 - 7. Does 8 divide x(n)?
False
Let k(u) = 8*u**2 - 7*u - 268. Is k(-24) a multiple of 11?
False
Let s be -1 - (4 + 10/(-2)). Suppose s = -4*c + 45 + 239. Is 18 a factor of c?
False
Let v(y) = 104*y**2 + y + 1. Let m be v(-1). Suppose -2*o - m = -6*o. Is o a multiple of 26?
True
Suppose -x + 10 = -4*c, -3*c - 4 = 2. Suppose -5*s - 56 = o - 183, -2*s = x*o - 246. Is o a multiple of 9?
False
Let r be ((-8)/10)/(-2) - 1338/(-30). Suppose 5*b + r = 4*c - 0*c, 3*c + 5*b + 10 = 0. Is c a multiple of 5?
True
Let q(o) = 2*o + 4. Let a = -3 - -3. Suppose a = -4*d - d. Is q(d) a multiple of 3?
False
Suppose -3*y - z + 37 = -22, 2*z + 91 = 5*y. Let o = y + -14. Suppose 2*t - 29 = 3*r, 3*t = -0*t + o*r + 41. Is t a multiple of 11?
True
Let i be (-72)/56 + (18/14 - 1). Suppose 139 = 4*x + 3. Let m = i + x. Does 11 divide m?
True
Suppose -4*g + t = -g - 17, 4*t + 2 = g. Let d be 0/(-3) - (4 - g). Suppose 0 = -0*q - d*q + 116. Does 14 divide q?
False
Let u(k) = 6*k**3 - 95*k + 4 + 90*k - k**2 + k**2. Is 21 a factor of u(2)?
True
Suppose 4*p - 9*p + 35 = 0. Let c be 70/(7/(p/2)). Let v = -15 + c. Does 20 divide v?
True
Let v be (0 - -1) + -53 + 7. Suppose -2*c + 165 = 5*p, -4*c + 150 = -2*c + 2*p. Let d = v + c. Is d a multiple of 12?
False
Let m(w) = w**3 - 11*w**2 + w - 18. Let u be m(11). Is 26 a factor of (-384)/(-10) - 8/(-140)*u?
False
Let h(j) = j**3 + 7*j**2 - 5. Suppose a - 5 = 2*a. Let o be h(a). Suppose 0 = 5*t - 2*i - 182, 2*t + 4*i = o + 23. Is 12 a factor of t?
True
Let z be (6/(-9))/(1/(-3)). Suppose 3*d - 625 = z*i - 6*i, -3*d + 5*i = -616. Is 17 a factor of 5/(-20) - d/(-12)?
True
Let z(n) = -56*n - 281. Is 5 a factor of z(-11)?
True
Let p be 0 + 0 + 0/(-3). Suppose 3*b = -p*b + 39. Suppose 0 = 5*v - 6*v + b. Is v a multiple of 13?
True
Suppose 0 = f + 5*a - 1232, -4*f + 4*a + 3 = -5021. Is 46 a factor of f?
False
Let x = 5015 + -2817. Does 115 divide x?
False
Let a = -1852 + 2174. Is 3 a factor of a?
False
Let m(r) = r**3 + 8*r**2 + 10. Let x be m(-8). Let v(b) = -8 - 11 + x*b + 15. Does 12 divide v(4)?
True
Suppose -4*h + 0 + 32 = 0. Let p be ((-28)/(-112))/(2/96). Suppose -p*t = -h*t - 96. Does 8 divide t?
True
Let z be (-39)/(-12) + (-6)/(-8). Is 10 a factor of z/(12/3) - -17?
False
Let k(u) = 100*u**3. Is 25 a factor of k(1)?
True
Suppose 2*i - 4*s = 1340, i - 315 = 3*s + 357. Is i a multiple of 35?
False
Let u(m) = 5*m**2 - 3*m + 21. Let s be u(4). Suppose -v = -5*j - 15, 2*v + v - 5 = -5*j. Suppose -v*w + 0*g = -g - s, -g = -3*w + 53. Is w a multiple of 6?
True
Let m(i) = -81*i**2 - 4*i + 1. Let l be m(1). Does 9 divide (-1416)/l + (-2)/(-14)?
False
Let x(m) = -37*m + 10. Let z be x(4). Let a = -89 - z. Does 9 divide a?
False
Suppose -18*n = -3139 - 1235. Does 27 divide n?
True
Suppose 3*y + 68580 = 39*y. Does 51 divide y?
False
Let o be -82*(3 + -2)/(-1). Suppose -2*f - 34 = -o. Is 8 a factor of f?
True
Suppose -3*v + 4 = 2*k, k - 6*k + 10 = -4*v. Suppose v = -4*u + 12, 0*b - 2*b = -5*u + 7. Suppose 0*z = b*z - 120. Does 10 divide z?
True
Let a = 4 - -14. Suppose 0 = s + 3*s + 3*b - a, b - 8 = -2*s. Is s even?
False
Let p(c) = -c - 29. Let d be p(-33). Suppose 5*j = d*j + 44. Is 22 a factor of j?
True
Suppose 2*m - 75 = -m. Let f = m + 23. Is 6 a factor of f?
True
Let j = -3 - -6. Suppose -2*n = -j*l + 28, -3*n = 4*l - 5*n - 38. Let b = l - 3. Does 3 divide b?
False
Suppose o - 110 = v, v + 110 - 6 = 3*o. Suppose 4*j + 4*t + 664 = 0, 0 = 5*t + 8 + 2. Let u = v - j. Is u a multiple of 12?
False
Let w(f) = f**3 - 7*f**2 - 6*f - 4. Let a be w(8). Suppose -a*x = -10*x - 26. Is x a multiple of 13?
True
Let t(y) = -y**3 + 11*y**2 - 3 - 2*y - 2*y + 17*y - 6. Let k be t(12). Suppose 0 = -k*m + 5*u + 209 + 25, 0 = 2*u. Is m a multiple of 26?
True
Suppose -w + 4*o = -1, w - 2*o = -0*w + 3. Suppose -4*k + 5*s = -360, 0*s = -2*k + w*s + 170. Is k a multiple of 14?
False
Let q = -31 - -34. Suppose 0 = -q*t - 3*z, 0*t - 4*t - 5*z = 4. Suppose t*s = 6*s - 162. Is 27 a factor of s?
True
Suppose 17*i - 3911 = 7513. Does 48 divide i?
True
Suppose -1112 = -3*c + 454. Does 26 divide (-30)/75 + c/5?
True
Suppose -3*m - 3*c + 36 = 0, -m = -3*m - 3*c + 27. Suppose -4*h + 49 = m. Suppose 0 = 5*q + h, -2*j - q + 41 = -17. Does 6 divide j?
True
Suppose 0 = 6*o - 4*o - 8. Suppose -o*v + 339 = 75. Does 6 divide v?
True
Is 4 a factor of (23/(-115))/(1/(-3415))?
False
Let c = -28 - -22. Let r(p) = -p**3 - 5*p**2 - p + 14. Is r(c) a multiple of 14?
True
Let v = 27 - -117. Suppose -3*s - 3*s = -v. Is s a multiple of 12?
True
Let n be (4/(-5))/(1/5). Let h(m) = 4*m**2 - m - 9. Let x be h(n). Suppose 4*i = x + 17. Is 7 a factor of i?
False
Let v(x) = -4*x + 181. Let o be v(0). Suppose -5*k + 226 = 4*n, -4*k - 2*n - 5 = -o. Is k a multiple of 7?
True
Let a(p) = 12*p**2 - 25*p - 67. Does 6 divide a(-4)?
False
Suppose 5*q - 2*q = 5*f + 46, -f = -2*q + 19. Let b(y) = -10 + 0 + 9*y**2 - 12*y + 6*y - y**3. Is 21 a factor of b(q)?
False
Suppose 0 = 24*o - 28*o + 3*s + 105, -o + s = -27. Is 3 a factor of o?
True
Let z(s) = -s**3 - 7*s**2 - 10*s + 4. Let c be z(-5). Suppose -4*n + 17 = -0*r - r, n = -c*r + 17. Is n even?
False
Suppose 19 + 1 = 5*l. Suppose 3*g - l*g + 42 = 0. Suppose -2*q - 4*d + 26 = -g, 4*d = -3*q + 102. Does 12 divide q?
False
Suppose 7 = 2*r - 1. Suppose r*u - 8*u = 0. Suppose -90 = -4*h - h + 4*b, 4*h + 2*b - 98 = u. Is h a multiple of 7?
False
Let c be (-3 + -35)/((-2)/4). Suppose 3*y = 92 + c. Does 8 divide y?
True
Suppose 8*b - 2838 - 3690 = 0. Is 51 a factor of b?
True
Let z = -41 + 95. Suppose 0 = -z*y + 58*y - 92. Is y a multiple of 23?
True
Suppose 14*g - 2700 = 4*g. Is 9 a factor of g?
True
Let o(a) = -26*a + 55*a + 14 - a**3 + 0*a**3 - 22*a - 8*a**2. Is 18 a factor of o(-10)?
True
Let f(x) = -x**3 - 43*x**2 - 4*x + 38. Is 53 a factor of f(-43)?
False
Let z = 1925 - 873. Is 20 a factor of z?
False
Suppose v - 2511 = -2*r + 4*v, -5020 = -4*r + 4*v. Is 26 a factor of r?
False
Let y(g) be the second derivative of 9*g**4/4 - g**3/3 + 23*g. Is 16 a factor of y(-2)?
True
Let i = 251 - 18. Does 29 divide i?
False
Suppose -5*q - v = -2454, 4*q + 6*v - 5*v - 1964 = 0. Is q a multiple of 35?
True
Suppose m + 4*m + 35 = 0. Let v = m - -10. Suppose -v + 9 = 2*j. Is j a multiple of 2?
False
Is 31 a factor of 7827/18 - 80/96?
True
Let y = 521 + -147. Is 34 a factor of y?
True
Let z be (12/10)/((-3)/(-60)*6). Let i(t) = 13*t**2 - 9*t + 32. Does 12 divide i(z)?
True
Let w(r) = 125*r + 2. Let z be w(1). Suppose 4*c - z = -23. Suppose -5*l = -c - 124. Is l a multiple of 10?
True
Let v(p) = -p**2 + 21*p + 1. Let m(i) = i**3 - i**2 - i + 14. Let x be m(0). Is 18 a factor of v(x)?
False
Suppose -5*c - 2*r = -5495, 1057 = c - 2*r - 42. Is c a multiple of 45?
False
Suppose 5*s = -2*q + q - 97, 3*q + 6 = 0. Let h = s - -29. Is h a multiple of 10?
True
Let o be ((-5)/10)/(3/72). Let q be ((-4)/(-6))/(o/(-72)). Suppose -q*l - 6*a + a + 211 = 0, -2*l = 4*a - 104. Is 18 a factor of l?
True
Let w(d) = -72*d - 664. Does 7 divide w(-29)?
False
Let u = -11 + 90. Suppose -2*k + 73 = -3*g, -4*k + u = -2*k + 3*g. Is 9 a factor of k?
False
Does 54 divide 539 + (4 - 8) - -5?
True
Let n = 222 - -102. Is n a multiple of 12?
True
Suppose 4*d - 5626 = 5*p, 7010 = 5*d + 12*p - 7*p. Is d a multiple of 9?
True
Suppose 8*p - 7*p + 7 = 0. Let v = 52 + p. Suppose -n + 2*c + v = 7*c, 0 = -n + 5*c + 55. Does 18 divide n?
False
Suppose -70 + 0 = -2*m - 4*y, -4*m + 128 = -4*y. Let q = m + -57. Is 3/(-18) + (-76)/q a multiple of 2?
False
Suppose 13 =