(-20) - (-118)/5?
True
Let z(u) be the third derivative of -u**5/60 + 64*u**3/3 + 8*u**2. Is 8 a factor of z(0)?
True
Let q be (12 + -4)/2 - -152. Suppose -3*i + 4*l + q = l, -l = 3*i - 148. Does 10 divide i?
True
Suppose 6*b = 8*b - 798. Let m = 2 + 4. Suppose 135 = -m*o + b. Is o a multiple of 11?
True
Let z(q) = -q**3 - 9*q**2 - 8*q. Let v be z(-8). Suppose 36 = 3*c + 3*b, c + 5*b - 2 - 2 = v. Is 2 a factor of c?
True
Let r(u) = 137*u**2 + 2*u - 69*u**2 - 67*u**2. Suppose g + 0*g + 8 = 0. Is 12 a factor of r(g)?
True
Suppose f - 22 = -l + 12, -133 = -4*l - f. Is -2 + l - (5 - 1) a multiple of 12?
False
Let t be -4 - (1 + -4 + -5). Suppose -u + 5*u - 3*v - 1419 = 0, 1766 = 5*u + t*v. Does 12 divide u?
False
Let c(i) = -i**3 - 29*i**2 + 2*i + 210. Is 42 a factor of c(-30)?
True
Suppose 16*z - 585 = 231. Is 18 a factor of z?
False
Is 88/22 - (-2 + -412 + 3) a multiple of 8?
False
Let a be (-201)/(-21) + (-6)/(-14). Suppose a = 4*t - 10. Suppose 0 = -u + 2*u + t*p - 6, 4*p = 2*u - 82. Does 26 divide u?
False
Suppose -5*d - 8 = -2*x, -3*d - 16 = -x - 3*x. Suppose -r - r - 146 = -2*o, 3*r = -x*o + 264. Is 8 a factor of o?
False
Suppose 3 = -5*j + 18. Suppose -2*l - 3*o + 278 = 0, -j*l - l = 3*o - 550. Does 17 divide l?
True
Let o(a) = 2*a**3 + a**2 - 3*a + 3. Let j be o(1). Let i(h) = h**3 - 2*h**2 + 5*h + 6. Is i(j) a multiple of 7?
False
Does 88 divide 1/(28/903)*4?
False
Let g = 7 - 4. Suppose -3*u + g*v + 354 = -78, 5*u - v = 724. Does 38 divide u?
False
Let l(r) = 9*r**3 - r**2 - r + 1. Let g be l(1). Suppose g*k - 3*k = 20. Suppose 4*q = f - 44, -k*f - 6*q = -2*q - 76. Does 8 divide f?
True
Let j(q) = 3*q + 11. Let o be j(-3). Is 7 a factor of o - -23 - (-2 - 7)/3?
True
Suppose 3*h = -2*x + 191, 0 = -h - h - 3*x + 124. Suppose -5*k = -h - 10. Suppose -k = -5*t, -m + 2*t = -2 - 4. Is m a multiple of 3?
True
Suppose -6*k = -2*k + 4. Let q = 3 - k. Suppose q*y + 4*p = 52, -50 = y - 5*y - 3*p. Does 11 divide y?
True
Let c(s) = s + 48 - 7*s + 3*s. Is 6 a factor of c(14)?
True
Does 31 divide (1357 - -3) + (3 - 5 - -6)?
True
Let k = 9 - 7. Suppose 0*m - 46 = -4*y + k*m, -m = 1. Let v = y - -13. Is v a multiple of 4?
True
Suppose 0*t - 4*t - 21 = -o, 0 = -5*t - o - 33. Let h(q) = -4*q - 3. Does 21 divide h(t)?
True
Let p(q) = q**2 - 8*q + 1. Let n be p(9). Let g(l) = -l**2 + 9*l + 16. Let m be g(n). Is ((-10)/4)/((-1)/m) a multiple of 2?
False
Let y(b) = 52*b - 6. Let o = -12 - -15. Does 18 divide y(o)?
False
Let x(k) = 6*k - 3. Let n be x(1). Suppose 3*y - 169 = -2*y - n*s, -y + 17 = -5*s. Is 8 a factor of y?
True
Let c(k) = -k + 13. Let s be c(8). Suppose -s*t + 8 = -3*t. Is 7 a factor of (-105)/(-9) + t/(-6)?
False
Let p(l) = l**3 - 8*l**2 + 8*l - 3. Let w be p(7). Suppose 3*z + 9 = 2*f, -w*f = -z + 3*z - 26. Is ((-20)/f)/((-5)/15) a multiple of 10?
True
Is (-2)/4 - (-3 + 2475/(-10)) a multiple of 25?
True
Let j = 40 + 21. Suppose 18 = 64*z - j*z. Does 3 divide z?
True
Suppose j - 104 = 256. Does 30 divide j?
True
Does 18 divide ((-357)/(-14) - 2)*38?
False
Suppose -4*v + v + 2361 = -4*h, 2*h = -5*v + 3961. Is 7 a factor of v?
True
Suppose -27*n + 29*n = 0, -3*n = -5*z + 4320. Does 6 divide z?
True
Suppose 5*f + m - 4291 = 0, 2*f + 2*m - 8*m - 1710 = 0. Does 25 divide f?
False
Let v = -51 - -208. Is v a multiple of 6?
False
Let r(f) = 3*f**3 - 3*f**2 - 3*f + 6. Let v be r(2). Is 19 a factor of v/(12/3) - (-3 - 108)?
True
Suppose 10 = 2*x - 4*t, x + 3*t - 25 = -5. Suppose -1 = -x*r + 175. Is r even?
True
Suppose 7*l = 13*l - 2778. Is 58 a factor of l?
False
Let j = 624 - -536. Is 9 a factor of j?
False
Is 6140/6*(-89 + 92) a multiple of 80?
False
Let w be 104 - (1 + -4 + 5). Suppose 5*g - 927 = -w. Is 12 a factor of g?
False
Suppose 4*g + 1548 = -2*g. Let y = 465 + g. Is 9 a factor of y?
True
Let h = 53 - -335. Is h a multiple of 5?
False
Suppose -126 = -4*z - 6. Is (-4)/z + 7282/165 a multiple of 11?
True
Let z(l) = -l**2 + 8*l - 6. Let d be z(7). Let p(t) = -89*t**3 + t**2 + t - 1. Let s be p(d). Let c = s + 127. Is c a multiple of 30?
False
Suppose 0 = -3*s + 3. Let j(c) = 41*c**3 - 3*c + 2. Does 5 divide j(s)?
True
Suppose -11 = -i - 3*c, 0 = -3*i + i + 3*c - 5. Let n(x) = -4*x + x + 4*x + x**2 + i*x - 18. Is 35 a factor of n(8)?
True
Suppose -3*l = -15, -4*f + 9*f - 1115 = 5*l. Is f a multiple of 4?
True
Let t(p) = -p + 2. Let d be t(11). Is -31*d/(27/6) a multiple of 26?
False
Suppose -297 = -m - 5*p, 4*p + 90 = m - 234. Does 35 divide m?
False
Let i(f) = 18*f + 13. Let p be i(4). Let u(w) = -w**3 - 7*w**2 + 8*w + 4. Let x be u(-8). Suppose -p = -l - x*l. Is l a multiple of 4?
False
Suppose 0 = 2*l - i - 2010, -5*l + i + 2545 = -2474. Does 59 divide l?
True
Suppose -5*m + 5153 = -c, -5165 = 2*m - 7*m - 5*c. Is m a multiple of 67?
False
Suppose -2*k = k + 24. Let w be 13/(-2) - (-12)/k. Let c = 1 - w. Does 3 divide c?
True
Does 14 divide 12/36 + (-21586)/(-6)?
True
Let j(o) = -o**3 - 20*o**2 + 33*o + 28. Does 52 divide j(-22)?
False
Let z(a) = -a**2 - 18*a + 11. Is z(-18) even?
False
Suppose -2*v + 24 = -5*h, -3*h - 25 = -2*v - 9. Let s be (5*(-4 + v))/(-2). Suppose s*k - 2*b = -3*b + 71, 0 = -2*k + 3*b + 42. Is k a multiple of 5?
True
Suppose -f - 106 = f. Let m = f + 117. Suppose 3*l - m - 134 = 0. Does 22 divide l?
True
Suppose 4*f = 4*q - 812, -q = -10*f + 5*f - 219. Is 3 a factor of q?
False
Let f be 1 - (-3 + (3 - 3)). Let i(h) = -1 + 8*h - 5 - h**2 + 4 - f. Does 10 divide i(4)?
True
Suppose -16*r + 4013 = 221. Is r a multiple of 29?
False
Suppose -8 = -2*k - 4. Suppose 3*a - 5*s - 36 = 0, -k*s + s - 12 = -a. Let t(d) = d**3 - 11*d**2 - 11*d - 10. Is 2 a factor of t(a)?
True
Suppose -103*z + 106*z = 237. Let y = 93 + -37. Suppose 5*u - y = z. Is 9 a factor of u?
True
Is -26 + 1359 + 9/(-3) a multiple of 38?
True
Suppose -5*f - 1 = -2*t - 2*t, -t + 13 = 3*f. Suppose t*g - 250 = -86. Let v = 59 - g. Is v a multiple of 9?
True
Let b be -2 + 0 - -5 - (-1 + 4). Suppose -3*h + 3*y + 21 = b, -4*h - 2*y = -2*h + 2. Is h even?
False
Let i(u) = -8*u**2 + 33*u + 30. Let a(f) = -3*f**2 + 11*f + 10. Let t(o) = 11*a(o) - 4*i(o). Is t(-7) a multiple of 2?
True
Let s(j) = -j**3 + 33*j**2 - 13*j + 102. Is s(12) a multiple of 33?
True
Let g(m) = m + 10 - 4*m + 5*m + 12*m. Does 22 divide g(4)?
True
Does 27 divide ((-5)/40 - (-7755)/24) + 1?
True
Suppose -76 + 68 = -2*h. Suppose -45 = -g - 3*w + 23, -4*w = h*g - 272. Does 15 divide g?
False
Suppose -5*l + 107 = 2. Let c = 108 - 107. Let b = l + c. Does 22 divide b?
True
Suppose -1 - 1 = 5*r - s, 10 = -r - 3*s. Let w be (7 - r)*(-8)/(-16). Suppose -85 - 91 = -w*d. Is d a multiple of 8?
False
Let q = 37 - 13. Does 2 divide q/(-56) + (-73)/(-7)?
True
Suppose -3*x = -14*r + 11*r + 534, 0 = 4*x + 3*r + 726. Does 8 divide -2 + 1 + x/(-5)?
False
Let f(o) = -664*o**2 + 9*o + 665*o**2 - 4*o + 8. Is f(-8) a multiple of 16?
True
Is 17 a factor of (-6)/(-13) + 1018800/585?
False
Let c = -166 - -489. Is 17 a factor of c?
True
Let t = 36 + -23. Suppose -4*v = 3*x - 86, t = -3*v + 1. Does 3 divide x?
False
Let h(t) = 5*t + 15. Let w be h(-3). Suppose w*v = 4*v + 3*a - 229, -v = -4*a - 62. Is v a multiple of 19?
False
Suppose 5*v - 20 = 0, 4*v = -4*r + 83 + 25. Suppose -23 = -x + r. Is 13 a factor of 8/12 - x/(-3)?
False
Suppose 71*b - 48*b - 119186 = 0. Is 13 a factor of b?
False
Let d be (8/(-10))/((-30)/825). Let z = -2 - -6. Suppose -d = 3*q - 3*s - 97, s = z*q - 94. Is q a multiple of 6?
False
Let y = 163 + -171. Is (3822/396 - y/44)*6 a multiple of 3?
False
Let k = 97 - 489. Is k/(-3) - 4/6 a multiple of 13?
True
Let v(u) = u**2 - 4*u - 3. Let b(s) = -s**2 + s + 1. Let q(c) = -2*b(c) + v(c). Is 25 a factor of q(-5)?
True
Suppose -j + 340 = -m, -3*j + 20*m - 24*m + 1048 = 0. Does 4 divide j?
True
Let z = -153 - -150. Let x(c) = -8*c**3 - 3*c**2 - 2. Is 11 a factor of x(z)?
True
Let d(t) = 17*t**3 + t**2 + 4*t - 4. Let c be d(1). Let b(j) = j**3 - 18*j**2 + 5*j - 15. Does 15 divide b(c)?
True
Let o = -362 + 2079. Is 17 a factor of o?
True
Let d(u) = 389*u**2 + 2*u. Is d(1) a multiple of 20?
False
Let w be (-3 - -1)/(4/(-16)). Let j(k) = 3*k**2 - 29*k + 5. Let z(p) = -p**2 + 10*p - 2. Let t(v) = 4*j(v) + 11*z(v). Is t(w) a multiple of 7?
True
Let h(j) = -j**2 + 10*j - 11. Let y be h(8). Let f(c) = 8*c**2 - 5*c - 