(-20). Let b = -4 - p. Suppose 5*d = 3*v - 40, 0 = -b*v + 6*v - 5*d - 25. Is 2 a factor of v?
False
Let m(f) = 48*f - 58. Let l(w) = -12*w + 15. Let v(k) = -9*l(k) - 2*m(k). Let b be v(9). Let a = b - 54. Does 5 divide a?
True
Suppose u - 123*l - 1753 = -126*l, 3*u + 2*l - 5231 = 0. Does 8 divide u?
False
Let m(r) = -r**3 + 40*r**2 - 205*r + 6. Is m(32) a multiple of 2?
True
Suppose -3*n + t = -10, -2*n + 4*n - 8 = t. Let i = 229 - 229. Is 11 a factor of (-24 - -26)/(n/133 - i)?
False
Let a(y) = 2*y**3 + 4*y + 0*y - 7 + 22*y**2 - 6*y**2. Is 18 a factor of a(-7)?
False
Suppose -21*d - 7*d = -3584. Is 48 a factor of (-270)/(0 + -1)*64/d?
False
Suppose -3*o + 11628 = n, -139*o = -140*o - 2*n + 3866. Does 15 divide o?
False
Is (3 + 23/(-5))/(4*3/(-56490)) a multiple of 133?
False
Let b = -316 - -316. Suppose b = -n + 4*h + 4, 18 + 22 = n + 5*h. Is n a multiple of 5?
True
Suppose 17*b - 46505 = 20747. Does 19 divide b?
False
Let k(o) = -o**3 + 3*o**2 + 29*o + 16. Let n be k(7). Suppose 2*u + 3*p = 161, 0 = 5*p - 2 - n. Is u even?
False
Suppose -v - 2 = -226. Let x = v + -140. Suppose -5*o + x = -96. Is 12 a factor of o?
True
Let d be (6*12/27)/(1/(-3)). Let b = d + 8. Suppose -6*h = -b*h - 564. Is 16 a factor of h?
False
Suppose a + 1 = 0, -2*f = -2*a - 3 - 7. Let u be 6/f*8/6. Suppose 50 = u*r - 232. Is 13 a factor of r?
False
Is 10242729/231 + (-18)/(-99) a multiple of 29?
True
Let a(w) = 119*w + 2450. Does 70 divide a(80)?
True
Let t(q) = -q**3 + 26*q**2 + 62*q - 54. Let d be t(28). Suppose -d - 1296 = -10*s. Does 9 divide s?
False
Let u be (8/6)/((-2)/1122). Let i be 6/(-1)*u/33. Let p = i - -14. Is 25 a factor of p?
True
Suppose 5*c - 2883 - 1262 = 0. Is 4 a factor of c?
False
Let p be (-2 + 7474)/8*(5 + -1). Suppose -2*n + p = 5*v, n = 6*v - 5*v + 1861. Is 15 a factor of n?
False
Let a = -7887 + 12767. Is 40 a factor of a?
True
Let x(o) = 7*o**3 - 14*o**2 + 165*o - 1887. Is x(12) a multiple of 7?
False
Suppose -12*x = -7*x - 15. Suppose w = 1 - x, 5*w + 14 = 2*l. Suppose -4*c = -3*t + 104, t - 5*c - l = 51. Is t a multiple of 7?
True
Let g(f) = f**3 + f**2 - 1. Let v(p) = 2*p**3 + 12*p**2 - 6*p - 10. Let r(n) = 4*g(n) - v(n). Let k be r(5). Suppose -81*i + k*i - 75 = 0. Is 4 a factor of i?
False
Let n(i) = -53*i - 3. Let u(v) = 1. Let w(t) = n(t) + 6*u(t). Let x be w(-1). Suppose -10*g + 3*g + x = 0. Does 8 divide g?
True
Suppose 0 = 3*x - 92*i + 89*i - 65871, -x + 21963 = -2*i. Is 37 a factor of x?
False
Let x(h) be the second derivative of h**4/6 - h**3/2 - 33*h**2/2 - h + 48. Is 12 a factor of x(15)?
True
Suppose 43*y = 44*y + 11. Let q = y + 37. Suppose -3*i = 8 - q. Is i a multiple of 4?
False
Let n(t) = 26*t - 282. Does 24 divide n(21)?
True
Let p be (-5)/15*(-10 + 1). Suppose 3*a + a - 308 = -2*n, -4*a + 460 = p*n. Is n a multiple of 19?
True
Does 75 divide -7 - -11 - (0 + -1211 + -4)?
False
Let h(o) = o**2 - 8*o + 5. Let u be h(-6). Let k = u - -91. Is 10 a factor of k?
True
Let q be ((-126)/168)/(2*(-1)/(-8)). Is 12 a factor of q + 657 - (-12 + 12)?
False
Suppose -5*o - 5 = 0, -97*z = -100*z + 3*o + 6933. Is 21 a factor of z?
True
Suppose 3*m = 5*k + 868, 2*m - 5*k - 569 = 18. Suppose 0 = -5*r + 1061 - m. Suppose 2*u - r = -u. Does 26 divide u?
True
Let x(g) = -7*g**2 - 48*g - 5. Let n = -522 + 517. Is 2 a factor of x(n)?
True
Let j(s) = 4*s**3 - 3*s**2 - 6*s - 48. Let c be j(-10). Let n = -3002 - c. Is n a multiple of 11?
False
Suppose -4*x = -m - 18955 + 3306, -15 = 3*m. Suppose -3289 = -30*c + x. Is 30 a factor of c?
True
Suppose b - 81 = -2*b. Let c(d) = -d**3 + 16*d**2 - 28*d + 1. Let r be c(14). Let x = r + b. Is x a multiple of 28?
True
Suppose -4*j + 4669 = 1109. Let r = -163 + j. Is 12 a factor of r?
False
Suppose -7*l = -1443 - 2862. Suppose 2*v - l = -23. Does 8 divide v?
True
Suppose -4*b - t = -65399, t - 186 = -195. Does 7 divide b?
True
Let q(r) be the first derivative of -3*r**2/2 + 3*r + 8. Let w be q(1). Suppose -9*z + 10*z - 120 = w. Is 15 a factor of z?
True
Let i(x) = -x**3 - 5*x**2 + 8*x + 40. Let z be i(-5). Suppose z = 318*n - 315*n - 1242. Is 51 a factor of n?
False
Let z(i) = -i**2 + 18*i - 12. Let b be -1 + 17 - 2 - (-16)/(-4). Let a be z(b). Is 25 a factor of (0 - -1)*(a + (-70)/(-10))?
True
Let y(a) = -14081*a**3 + 37*a**2 + 38*a. Does 110 divide y(-1)?
True
Suppose 6020 = -2*m + 6*m + 2*y, 3*m + y = 4518. Is 5 a factor of m?
False
Let l(o) = -o**3 - 4*o**2 + 9*o + 14. Let d be l(-5). Let t be (-7 - d)*(2 + 271). Is t/2*(-4 + 50/15) a multiple of 13?
True
Let x = -28118 + 43670. Is 72 a factor of x?
True
Suppose h = 3*g + 711, -2*g + 701 = 47*h - 46*h. Suppose -r + 3*x + 365 = 0, -2*r + 4*x + h = 3*x. Does 14 divide r?
True
Let b(i) = 2*i**2 + 24*i. Let k be 8/(-28) + 410/(-35). Let j be b(k). Suppose j = -4*y - 5*s + 424, -218 = 2*y - 4*y - 4*s. Is 8 a factor of y?
False
Let i be 414/(-72) - 3/12. Let d(b) = -26*b + 106. Is d(i) a multiple of 5?
False
Let x = -9584 - -9724. Is x a multiple of 10?
True
Does 9 divide 295729/21 + 2 + 6/(-18) - 4?
False
Suppose -4*p = -p + 177. Let q = p + 33. Let m(a) = a**2 + 27*a + 69. Is m(q) a multiple of 8?
False
Suppose 0 = -33*o + 337 + 224. Suppose -13*j = o*j - 36570. Is 23 a factor of j?
True
Let j be 18/27 - (1 - (-1034)/(-6)). Does 30 divide 4/(-18) - j/(-36)*44?
True
Let i = -40447 + 79199. Is 28 a factor of i?
True
Let w(z) = 3*z + 1094. Let t be w(0). Let o = 1827 - t. Is o a multiple of 25?
False
Let b = 89 - 92. Let g be (-2 + b + 1)*(-2)/8. Let u = g + 67. Is u a multiple of 12?
False
Does 6 divide (117/(-468) - (-6)/88) + 29475/33?
False
Let a = -391 + 148. Let b = a - -345. Suppose 4*x - 7*x = 3*q - b, 28 = q + 3*x. Is q a multiple of 10?
False
Suppose -27104 = -14*k - 8*k. Suppose 0 = 9*t - 64 - k. Does 18 divide t?
True
Suppose 0 = -120*g + 122*g. Suppose 19*p - 718 - 7832 = g. Does 45 divide p?
True
Suppose 2*l + 4*m + 4943 = 21313, -2*l + 16361 = 5*m. Is 32 a factor of l?
False
Suppose -15*f + 4*p = -20*f + 52239, 3*p = -5*f + 52238. Is 42 a factor of f?
False
Let x be (-12)/(-18) - (-73)/3. Suppose 21*o - 8 = x*o. Does 8 divide (19 - o)/((-33)/(-44))?
False
Let v(t) = t**2 - 5*t + 8. Let m be ((-12)/(-9))/(5/15). Suppose g + 2*s + 20 = 2, m*s - 4 = 3*g. Is 28 a factor of v(g)?
True
Does 11 divide (-53006)/(-10) + (-94)/(-10) + -8?
True
Let f = -60 - -61. Is 9 a factor of (-3814)/(-14) + f/7*-3?
False
Suppose -521852 = -36*m - 28888 + 166556. Is 40 a factor of m?
True
Let k = 501 + -289. Suppose -k = 203*h - 205*h. Is h a multiple of 5?
False
Let u be 13 - -4*6/24. Suppose -u*y - 2904 = -38*y. Is 11 a factor of y?
True
Suppose 37*w + 16*w - 14739 - 193286 = 0. Does 25 divide w?
True
Suppose 2*o - 4*j = -4344, -4*o + 4*j = o + 10830. Let h = o + 3264. Is 29 a factor of h?
True
Let t(k) = k + 1. Let c(u) = -24. Suppose -3*q + 1 = -4*d, q = 5*d - 2 + 6. Let i(w) = d*c(w) - t(w). Is 4 a factor of i(14)?
False
Let m = -7059 - -4169. Let o be (-34)/51 - m/6. Suppose 0 = -7*p - 89 + o. Is p a multiple of 7?
True
Suppose -155234 = -610*k + 6793886. Is k a multiple of 178?
True
Suppose 3*f - 3*m = -174, -2*m - 162 = 3*f - m. Let g = f - -53. Is (230/(-20))/(1/g) a multiple of 6?
False
Suppose 4*v = 3*c - 308, 4*v = -5*c + 2*v + 470. Let k = c + -71. Suppose 23 = 8*i - k. Is 3 a factor of i?
True
Let m be 8 + -2 + 3 + -5. Suppose 2 = -6*k - m. Is 30 a factor of ((-264)/(-10))/(k/(-5))?
False
Does 361 divide (-2 + (-280)/(-21))/((-28)/(-45486))?
True
Suppose 121 = 2*y - 3*q, -3*q = 4*y - q - 250. Suppose -p + y = -228. Suppose 13*i = 3*i + p. Does 6 divide i?
False
Let n = 1148 + -801. Let l = n + -27. Is 16 a factor of l?
True
Let q(v) = 15*v**2 - 2*v + 1. Let d(c) = 11*c**2 + 4*c - 3. Let i be d(1). Suppose 22*g = 28*g - i. Is 8 a factor of q(g)?
False
Let m = -52931 + 93043. Suppose 25*f + m = 48*f. Does 109 divide f?
True
Let l(z) = -15*z - 17849. Let d be l(0). Does 28 divide 1/(-7) + d/(-91)?
True
Suppose 184*o - 1845 = 179*o. Suppose q = i - o, 2*i + 4*q - 1436 = -2*i. Does 28 divide i?
True
Suppose 3 = -a + 2*b, 3*a + 0*b + 2*b - 23 = 0. Let h(w) = w**3 + 4*w**2 - 15*w + 60. Is h(a) a multiple of 48?
False
Let m(k) = -315*k. Let w be m(-4). Suppose 141*t - 147*t + w = 0. Does 14 divide t?
True
Let y be (-5)/5 - -52 - 1. Let n = -50 + y. Does 6 divi