 -5)*(-465)/20?
False
Suppose 2*w + 86*j - 83*j = 10071, 5*w = -4*j + 25209. Is w a multiple of 34?
False
Suppose 3*d - 3049 = 5*g, 5*d - g = -5*g + 5020. Is 3 a factor of d?
True
Is 107574/48 - 12 - (-2)/(-16) a multiple of 9?
False
Let y(s) = -5*s**3 + s**2 - 2*s + 6. Let i(r) = -r**2 + 8*r + 13. Let q be i(9). Suppose -q*a = 4*k - 7*a - 3, -4*k - 3*a = 27. Is y(k) a multiple of 39?
True
Suppose 2809*k - 209040 - 60606 = 2783*k. Is 13 a factor of k?
False
Let n be 0 + -2 + 0 + 16. Suppose n = w + 11. Suppose 4*q + 625 = -m + 4*m, 2*m = w*q + 417. Is m a multiple of 40?
False
Suppose 14*h - 19156 + 2748 = 0. Suppose -h = -4*m - 4*i, -3*m - 2*m + 1465 = -4*i. Is m a multiple of 22?
False
Let l be 5/6*(16 - -2). Suppose -l*c + 5950 = 2*c. Is 35 a factor of c?
True
Let a = 24 + 16. Suppose 0 = 2*r + 5*b - 33, 0 = 5*r - 3*b + 7*b - a. Suppose -5*i - y + 274 = 0, -2*i - r*y + 112 = -3*y. Does 9 divide i?
True
Suppose -3*k - 2*f - 9 = -7*f, 2*k = -3*f + 13. Suppose 2*m = 2*b + 8, -2*m + k + 9 = -5*b. Is 6 a factor of (-5)/((-4)/(-36)*b)?
False
Suppose 5253 = 5*r - 4*g, -6*r + 10*r = -2*g + 4192. Let s(y) = y - 6. Let k be s(11). Suppose k*p + 169 = r. Is 16 a factor of p?
True
Let u(d) = 120*d**2 + 316*d - 2918. Is 72 a factor of u(9)?
False
Suppose -3*p + 0*p - 37 = 5*i, 4*i = 4*p + 60. Let j = -12 - p. Is 7 a factor of 5*(0/j + (-2)/(-1))?
False
Let h(z) = -20*z**3 - 3*z - 3. Let u(m) = -m**2 + 6*m - 10. Let g be u(3). Is 6 a factor of h(g)?
False
Let n(r) = -r**3 + 7*r**2 + 8*r + 4. Let p be n(8). Suppose -11*d = -7 - p. Is 20 a factor of 2/d - 6 - -178?
False
Let m(y) be the second derivative of 113*y**4/12 + y**3/6 + y**2/2 - 58*y. Suppose 3*g - 2*v + 2 = g, 4*v = -4*g - 4. Is m(g) a multiple of 14?
False
Let c(h) = h**3 + 18*h**2 + 22*h - 7. Let t(k) = -4*k**2 - k - 2. Let d be t(-2). Is 9 a factor of c(d)?
True
Suppose -q - 20 = -11*q. Suppose -q*a = -3*p - 2*p - 6, a + 3*p = 3. Suppose -x = a*o - 75, -o + 0*x = -x - 29. Is o a multiple of 13?
True
Suppose 361*a - 364*a = 0. Suppose a = -p + 5*s + 79, 5*p - 5*s + 1 - 296 = 0. Is p a multiple of 9?
True
Suppose s = 6*s - 5. Let g(z) = 166*z + 2 - 42*z - 7 + 115*z. Is 39 a factor of g(s)?
True
Let o be (-10)/(-35) - (-11350)/(-105)*3. Let m = o + 756. Is 27 a factor of m?
True
Let n(q) = -10*q - 2*q**2 + q**2 + 7 + 5*q**2 + 2*q**2. Is 21 a factor of n(4)?
True
Let b be -3 - (3 - 7) - (0 + 0). Let k be 30/3 - b*3/3. Suppose k*u + 475 = 14*u. Does 52 divide u?
False
Suppose 8*j + 4*j - 60 = 0. Suppose 4*x = 4*w + 36, j*w - 13 - 5 = -4*x. Suppose -2*t - 61 = -m - x*t, 4*m + 3*t = 159. Is 6 a factor of m?
True
Let b be (0 - 4)/((-38)/(-40) + -1). Let l(g) = 6*g - 8. Let j be l(5). Let o = b - j. Does 42 divide o?
False
Let s = -317 - -293. Is 50 a factor of (450/s)/((-21)/896)?
True
Suppose -139 = -37*y + 36*y. Suppose -508 = -5*s - 2*p, 3*p + 272 = 4*s - y. Does 8 divide s?
False
Let n(r) = 14*r**3 - 10*r**2 + 39*r - 87. Does 161 divide n(4)?
True
Let t be (42/(-10))/(28/(135 - -5)). Let x(z) = 19*z**2 + z**3 + 2*z**2 - 6*z - 13 - 12. Does 18 divide x(t)?
False
Suppose -5*g + 3*s + 56550 = 0, -5*g - 3*s - 27388 + 83968 = 0. Is g a multiple of 15?
False
Suppose 0 = -7*w + 5*w + 554. Let y = w + -202. Does 5 divide y?
True
Let d(o) = -5 + 14*o + 4*o - o. Let a be (-12 + 9)/(12/(-20)). Is 16 a factor of d(a)?
True
Suppose -6*b + 9*b - 5534 = -5*k, -3*k = 4*b - 7397. Suppose -5*z = -0*z - 3*q - 1847, -b = -5*z - 3*q. Is 23 a factor of z?
False
Suppose -2*a = -4*f + 59280, 3*f + 5313 = 3*a + 49776. Is 203 a factor of f?
True
Suppose -5*w = 5*b - 5, 3*b - 4*w + 6*w = 3. Suppose -b = -s - 2. Let k(n) = -19*n**3 - n**2. Is k(s) a multiple of 10?
False
Suppose 12*d = -1917 - 3843. Let i = d - -710. Is i a multiple of 2?
True
Let x(b) = b**3 - 4*b**2 - 5*b + 4. Let c be x(8). Let r = 176 + c. Is r a multiple of 64?
False
Suppose 22*f = -1 + 23. Does 14 divide 32 + 840 - 4*f?
True
Let z = -1148 + 1850. Suppose 10*d = 4*d + z. Is d even?
False
Suppose 12639 = 6*b + 207. Suppose 31*o + 3108 = 34*o + 2*s, -2*o - 5*s = -b. Is o a multiple of 10?
False
Suppose -s + 2*c - 14 = 0, -5*s - c - 9 = 6. Let f = 22 + s. Let n(d) = d**2 - 16*d - 18. Does 4 divide n(f)?
False
Suppose -48*w + 37*w = -21*w + 130730. Does 125 divide w?
False
Let y(a) = 65*a - 60. Let l be y(3). Is 8 a factor of (l/3 - -4) + 0 + 0?
False
Suppose -4*o = 20, 9*l - 14*l + 95 = -3*o. Let z(t) = t**3 - 17*t**2 + 35*t - 56. Is z(l) a multiple of 71?
False
Let w(h) = -19*h - 2*h**2 + 8 - 8 + 13. Let m be w(-10). Suppose g = -4*q + 61, -48 - 75 = -m*g + 3*q. Is g a multiple of 8?
False
Suppose -v + 4 = 0, 4*d + 7*v = 2*v + 44. Let q(j) = -2*j + 25. Let s(n) = 2*n - 50. Let o(r) = -5*q(r) - 2*s(r). Does 2 divide o(d)?
False
Let q be 12/28 + (18/14)/(-3). Let j = -3 - -1. Does 16 divide (j + q)/(4/(-26)) - -3?
True
Let x(s) = 80*s + 2. Let t be x(-2). Let k = t + 510. Suppose z + 3*z = k. Does 22 divide z?
True
Let n = 5557 - 1894. Is 5 a factor of n?
False
Let q(x) = x**3 - 4*x - 1. Let c be ((-1)/(-2))/(2/12). Let y be q(c). Does 28 divide (-1 + -70)/(13 - y)?
False
Let q(h) = h**3 + 9*h + 2. Is 8 a factor of q(6)?
True
Let d = -291 - -195. Let u = 192 + d. Is 65 a factor of u?
False
Suppose 0 = x + 19 - 29. Suppose -x*n + 4*n + 84 = 0. Is n a multiple of 7?
True
Let m(w) = -23*w + 141. Let h be m(25). Let t = h + 751. Does 8 divide t?
False
Let b(r) be the second derivative of r**5/20 + r**4/4 - 4*r**3/3 - r**2/2 - 12*r. Suppose -2 - 22 = x - 4*c, -5*x - 25 = -c. Is b(x) a multiple of 4?
False
Let s = 5111 - 3116. Is 133 a factor of s?
True
Suppose 108*m + 131628 = 67*m + 69*m. Is 26 a factor of m?
False
Suppose -3*k - 11 = 2*b, -b = 2*b + 5*k + 18. Does 46 divide 8/(40/(-15)) + 230 + b?
False
Let n = 41 - 40. Suppose 206 = -g + 4*v, -v = -n - 0. Let x = g - -374. Does 15 divide x?
False
Let k(b) = -3151*b - 196. Is 15 a factor of k(-1)?
True
Let y be 2793/513 - (2 - (-14)/(-9)). Is 222*(-12)/(-9)*y a multiple of 40?
True
Let n be 15/(-5) + (-39)/3. Let q(p) = p**3 + 15*p**2 - 17*p - 14. Let h be q(n). Is 24 a factor of (-6 + 4)*h + 100?
True
Is (0 + 4161)*((-18)/(-8) + 115/(-92)) a multiple of 73?
True
Suppose -q + 1073 = -3*o - 0*o, 0 = -q + 4*o + 1076. Let p = q + -406. Is p a multiple of 47?
True
Is 19/(-57) + (-19508)/(-6) + (-10 - -14) a multiple of 21?
True
Let p(k) be the third derivative of -k**5/60 - k**4/8 + k**3/2 + 6*k**2. Let a be p(5). Let d = 42 + a. Is d a multiple of 3?
False
Suppose 3*p = 3*q - 6, -5*p + 3 - 8 = -4*q. Suppose 4*w - p*w + 5*h = 14, 4*w + 2*h + 34 = 0. Let u(y) = y**3 + 14*y**2 + 28*y + 16. Is u(w) a multiple of 11?
False
Suppose 6 - 54 = 4*z. Does 7 divide (-38)/(-4) - 3/z*-6?
False
Suppose 285*k - 242 = 284*k + 4*a, -4*k + 934 = a. Is k a multiple of 3?
True
Suppose 365*z = 369*z - 36. Is (z - 6)/(2*1/192) a multiple of 40?
False
Let k be (-1 - -4)*(94/6 - 1). Suppose -k*z + 145 = -471. Does 12 divide z?
False
Let h(b) = 46*b - 55. Suppose -4*k - 5 = -2*f + 45, 2*f - 3*k - 47 = 0. Is 14 a factor of h(f)?
False
Let v = 6 - 1. Suppose 0 = 583*h - 578*h - k - 32, k - 38 = -5*h. Suppose 5*o = v*i + 1225, 6*o + 251 = h*o + 5*i. Is 15 a factor of o?
False
Suppose 5*h = 5*h - 4*h. Suppose 2*q + 2702 = 5*u, -u + 0*q + 4*q + 544 = h. Suppose 5*k - 30 - u = 0. Does 19 divide k?
True
Let y(m) = 27*m + 39. Let o(r) = r**2 - r - 1. Let q(b) = 3*o(b) - y(b). Does 99 divide q(25)?
False
Let a(k) = 5*k**3 - 8*k**2 - 22*k + 61. Let l be a(7). Suppose -4*q + j + l = 0, 5*q - 10*j - 1546 = -13*j. Does 22 divide q?
True
Let q(z) = -596*z - 6479. Let t be q(-11). Let k = 62 - 109. Let a = k + t. Is 6 a factor of a?
True
Let u be 2*3/4*8556/(-279). Is 28 a factor of 11574/14 + u/(-161)?
False
Let p = 7498 - 2482. Is 228 a factor of p?
True
Let g = 229 - 235. Does 12 divide (g/(-8))/(4/192)?
True
Let o(i) = -733*i**3 - i**2 + 13*i + 13. Does 3 divide o(-1)?
True
Let h(w) be the third derivative of -w**5/30 + 8*w**4/3 + 4*w**3/3 + 4*w**2 - 8. Is h(6) a multiple of 8?
True
Suppose 5*n = -5*f + 1130, 2*f + 127 + 84 = n. Let z = 336 - n. Is z a multiple of 5?
True
Let p = 81 + 1. Let n(r) = 23*r**2 + 185*r + 17. Let q be n(-8). Let w = p - q. Is 17 a factor of w?
False
Let b = 62249 + -39390. Is b a multiple of 103?
False
Let q = -1293