3. Suppose 28*a - x*a + 14837 = 0. Is a a multiple of 2?
False
Let s(h) = -h**3 + 10*h**2 - 3*h - 6. Let m be s(0). Let o(u) = -18 + 2*u**2 - 7*u + u + u. Is 21 a factor of o(m)?
True
Let f = -170 - -656. Suppose 0 = 11*s - 38*s + f. Is s a multiple of 6?
True
Suppose -h = 4*r + 4*h + 2621, 0 = -h - 5. Let w = 710 + r. Is w a multiple of 61?
True
Let a = -3025 + 5807. Does 107 divide a?
True
Let o = 717 - 903. Does 3 divide (49 + 0)*(o/42 - -7)?
True
Suppose 7*f - 1186 = -2*o + 9*f, 0 = o + 2*f - 593. Let k = -221 + o. Does 7 divide k?
False
Suppose 7*l + 15228 = 3*b + 12*l, -b - 3*l + 5076 = 0. Does 36 divide b?
True
Suppose -521 = -c + 6*f - f, 5*f + 1047 = 2*c. Does 8 divide 2*c*8/32?
False
Let n = -96 - -419. Let z = 339 + n. Is z a multiple of 11?
False
Let f(h) = 2*h**3 + 13*h**2 + 15*h + 3. Let i be f(-5). Suppose i*x = -4*d - 198 + 1397, -286 = -d + 2*x. Is d a multiple of 37?
True
Let m = 52 - 38. Suppose 3*a + m = -v - 2*a, 0 = 5*v - a - 8. Is 33 a factor of (v*-1)/(15/(-2475))?
True
Let a(r) = r**3 + r**2 + r + 1. Let d(w) = -33*w - 4 - 3*w**2 + 30*w - 2*w**2 - 3. Let n(x) = -4*a(x) - d(x). Does 3 divide n(-2)?
False
Suppose -5*w = 9*w + 8596. Let u = w + 706. Is u a multiple of 46?
True
Let r = -304 + 65. Let j = r + 344. Is j a multiple of 7?
True
Let v(h) = 16*h - 3. Let b be v(-1). Let m = b + 21. Suppose 3*o - 224 = -4*l, o - 84 = -m*l + 3*l. Is o a multiple of 8?
True
Is (10 + (8 - 6))*27 a multiple of 18?
True
Suppose 3*g - 105 = 5*q, 0 = -g + 4*q - q + 35. Let p(w) = -2*w**2 + 75*w - 129. Does 23 divide p(g)?
True
Suppose -41*d + 63*d = 49896. Does 54 divide d?
True
Let p(t) = -3*t + 17. Let s be p(4). Suppose 3*n - 12 = i, s*n - 2*i - 13 = 2*i. Suppose n*u + 54 = 169. Is 23 a factor of u?
True
Let x(g) = -3*g - 5. Let u(o) = o - 2. Let n(q) = -2*u(q) - x(q). Is n(4) even?
False
Suppose 0 = -5*z + 2*c + 24240, 2*z - 87*c = -88*c + 9696. Is 8 a factor of z?
True
Suppose 34923 = 3*h - 2*z, 4*h + 4*z - 11613 = 3*h. Is h a multiple of 23?
False
Does 137 divide 3/(-15) + (-472665)/(-75)?
True
Let s(g) = g + 13. Let x(f) = 6*f + 64. Let w(b) = -22*s(b) + 4*x(b). Let n be w(15). Suppose n = 5*m - 96 + 6. Is 18 a factor of m?
True
Suppose 104622 = 43*b - 74602. Does 17 divide b?
False
Let n = -974 - -950. Is 28 a factor of n/20 + 1 + (-24656)/(-80)?
True
Let g = -40718 + 65099. Is 8 a factor of g?
False
Let m(s) be the first derivative of 6*s - 5/3*s**3 - 1/2*s**4 + 12 + s**2. Is 29 a factor of m(-4)?
False
Does 111 divide 115315/25 - 19/(285/9)?
False
Is 19 a factor of (11314 - (-2 + 1)) + -1?
False
Let y(m) = 2*m - 16*m - 3*m - 147. Does 46 divide y(-21)?
False
Let b(u) = 133*u + 418. Is b(73) a multiple of 13?
True
Let p(i) = i**3 - 14*i**2 - 4*i + 1155. Does 55 divide p(0)?
True
Let h(j) = j**3 - 14*j**2 - 47*j + 78. Let v(a) = -a**3 + 9*a**2 - 80. Let g be v(7). Is 22 a factor of h(g)?
True
Let x(k) = 4*k + 16 + 2*k + 12*k + 5*k. Let i be x(4). Suppose 4*p - i = 3*c, -22 = -4*p - 5*c + 54. Is p a multiple of 6?
True
Suppose -72*o + 33*o = 80*o - 282387. Does 11 divide o?
False
Suppose 3*m + 12 = 3*i, -5*m + 3*i = -0*m + 28. Is 4 a factor of 3/((1/m)/(142/(-24)))?
False
Let i(y) = -435*y - 9. Let w(p) = 218*p + 5. Let c(b) = -3*i(b) - 5*w(b). Is c(2) a multiple of 18?
True
Let w(c) = 39*c - 1096. Is w(57) a multiple of 78?
False
Let g(x) = -2*x**2 + 37*x - 13. Let f be g(15). Let m be 1 + 4*177/6. Let u = f + m. Is u a multiple of 46?
False
Suppose -n - 506 = -q, 0 = -2*q - q - 5*n + 1494. Let g(o) = -8*o**3 + 9*o**2 + 9*o - 19. Let c be g(-3). Let s = q - c. Does 36 divide s?
True
Suppose 5*s - 924 = -d, 52*s - 54*s = 0. Is 12 a factor of d?
True
Suppose 13*h - 6879 = -6484 + 22381. Is 12 a factor of h?
True
Is 60 a factor of (-10 - -2 - 16)*-9?
False
Suppose 5*u = -18*o + 13*o + 12360, 4*u - 4*o = 9840. Is u a multiple of 9?
True
Let l be (2 + -9)*(-4)/(-12)*-3. Let v(g) = 24*g - 40. Is 8 a factor of v(l)?
True
Suppose 0*l - 18 = -6*l. Let u be 5*l*20/6. Suppose 3*r + 3*v = 54, u = 3*r - v - 16. Is 7 a factor of r?
True
Suppose -8*v = 3*h - 7*v - 12, 5*v = -5*h + 40. Suppose -2*i = -6*i + 1168. Suppose -640 = -4*u - 4*x - 248, i = 3*u + h*x. Is u a multiple of 24?
True
Suppose 7*v = 9 + 12. Suppose -3 - 93 = -v*z. Is z even?
True
Let t(j) be the first derivative of -j**3 + 39*j**2 - 15*j - 135. Is t(17) a multiple of 37?
True
Let r(u) = 4021*u**3 + 18*u**2 - 30*u - 2. Is r(2) a multiple of 90?
False
Let u = 65650 + -46290. Is u a multiple of 88?
True
Suppose -16490 = -3*w - 4*d, 96*d - 16 = 94*d. Does 13 divide w?
True
Let n(u) = u**2 + 14*u - 16. Let p be n(-16). Suppose 0 = 6*j + 4 - p. Suppose -j*l = -2*b + 81 - 15, -5*l = 0. Is b a multiple of 10?
False
Let u = -70 - -76. Let v(n) = -u - 6*n + 18*n**2 - 14*n**2 + 2*n. Is v(-3) a multiple of 18?
False
Let x(s) = 5*s - 1. Let q be x(5). Let c be ((-4590)/q)/((-6)/16). Suppose 32*o = 37*o - c. Does 51 divide o?
True
Is (-564184)/(-24) - (-5)/(-3)*102/255 a multiple of 8?
False
Suppose 0 = -0*s + 4*s - 32. Let q be 72*((-22)/s + 4). Let d = q + -5. Is d a multiple of 17?
True
Let b be 6629/14*6/3. Suppose 9*m - 2720 = -b. Is m a multiple of 27?
False
Let w = -112 - -166. Suppose 2*u = 4*o - w, 4*u = 5*u - 5. Suppose -z + o = r, 38 + 36 = 5*z - r. Is z a multiple of 7?
False
Suppose 2*a - 2*f = 9510, 5*f = -2*a + 2496 + 6993. Is 38 a factor of a?
False
Let x(h) = 2*h**3 - 4*h**2 + 2*h + 11. Let g be x(4). Suppose -a + 554 = g. Does 9 divide a?
False
Let h(l) = -l**3 - 16*l**2 - 20*l + 85. Let x = 904 + -919. Is h(x) a multiple of 8?
True
Let r be 1*6/(18/15). Let m(d) = 10*d + 52. Is 6 a factor of m(r)?
True
Suppose -4056 = -8*s + 5*s - j, s - 1357 = -2*j. Does 13 divide s?
False
Is 97 a factor of ((-36)/(-90))/(8/(-20))*-6693?
True
Let l(z) = -z - 3. Let b be l(5). Let x be (-1)/(-1)*(10 + b). Suppose 4*m = x*m + 60. Is 12 a factor of m?
False
Let i(j) = 1175*j - 566. Is i(10) a multiple of 24?
True
Is 10071*861/(-126)*2/(-3) a multiple of 41?
True
Let f be (0 + 2/(-3))*(81 + 0). Does 10 divide f/(-15)*1295/14?
False
Suppose -c = -2 - 3. Suppose c*x - 170 = -2*q, x - 2*q + 2 = 24. Suppose -26 = x*u - 34*u. Does 13 divide u?
True
Suppose d = m + 352, -8*m = 5*d - 7*m - 1736. Suppose 0 = 2*c - 3*c + 4*b + d, 1030 = 3*c - 5*b. Is 29 a factor of c?
False
Does 27 divide -4 + (1268/(-12))/((-4)/84)?
False
Suppose 0 = 2*j - 15 - 37. Let v = j + -28. Let s(m) = -26*m - 12. Does 8 divide s(v)?
True
Let k(t) be the second derivative of 5*t**5/4 - t**4/12 - 23*t. Let o(n) = -2*n + 9. Let i be o(4). Is k(i) a multiple of 8?
True
Is 14 a factor of (18140/(-15))/((-9)/54)?
False
Let s = -29542 - -41470. Does 142 divide s?
True
Suppose -v + 127 = -q, 4*q + 137 = v + q. Let p = v + -80. Does 40 divide p?
False
Suppose -36*j + 60629 + 46687 = 0. Is j a multiple of 48?
False
Suppose 10 = -5*i, -4*n + 7 + 27 = 3*i. Let d be (n + -9)*13*5. Suppose -9*y + d + 853 = 0. Is y a multiple of 34?
True
Let k = -21 - -37. Suppose -2*z + 2*b = 42, z + 21 = -3*b - k. Let c = z + 55. Does 14 divide c?
False
Let z(p) = p**2 + 6*p - 20. Let m be z(-9). Suppose 7*u - m = 14. Suppose w = 3 - 1, 0 = -3*o + u*w + 105. Does 12 divide o?
False
Suppose -v = t - 10203, v + 77*t - 75*t = 10200. Is 14 a factor of v?
True
Let k be 12*(-1 - (0 - 7)). Suppose 2*g - 3*g + k = 0. Does 6 divide g?
True
Suppose -2*m - 8 = 0, 3*b - 5*m = -0*b + 710. Suppose p = 4*o + b, 3*o + 448 = 2*p + o. Does 25 divide p?
False
Does 13 divide 89106/27 - -2 - 172/774?
True
Suppose -4*n - 28 = -2*m, -12 = -3*m + 2*n + 10. Let c be ((-998)/7)/(112/(-392)). Suppose m*j + 67 = c. Is j a multiple of 27?
True
Let j(o) = -7*o + 63. Let m be j(9). Suppose 967 - 202 = 4*s - 3*n, m = 5*s - 4*n - 956. Is s a multiple of 12?
True
Let f = -658 + 665. Suppose -f*b + 1320 = 4*b. Is 8 a factor of b?
True
Suppose 20 + 12 = 8*a. Is 21 a factor of 6/a + (11 - (-12290)/20)?
False
Suppose 0 = 3*w + 5*u - 2*u - 81030, w + 5*u = 27026. Is (-10)/(-6) - w/(-126) a multiple of 24?
True
Let t = 4417 - 553. Is 21 a factor of t?
True
Suppose -15*z + 17*z - 10 = 0. Suppose -z*w - 21 = -2*p, 0 = 5*w + 5*p - 0*p. Is 13 a factor of 100/1 - w*(-2)/3?
False
Suppose l - 4*n = 377, 5*l - 1919 = 75*n - 72*n. Does 8 divide l?
False
Suppose -10*c = -5*c - 90. Let o(l) = -l**3 