 - 1 + 11. Is 48 a factor of i(6)?
False
Let x(a) = 7*a. Let q = -10 + 7. Let h(j) = 84*j. Let d(y) = q*h(y) + 35*x(y). Does 6 divide d(-1)?
False
Let n = 1042 - 785. Does 16 divide n?
False
Let r(t) = 7*t + 42. Is 38 a factor of r(24)?
False
Let f(t) = 6*t + 1. Let w(r) = -17*r - 3. Let h(u) = -8*f(u) - 3*w(u). Suppose 0 = -4*i + 2*i + 10. Is h(i) a multiple of 16?
True
Suppose 0 = d - 6*d + 20, -4 = 2*p - 3*d. Does 8 divide p/7 - 1295/(-49)?
False
Let k(b) = -2*b + 11. Let o be k(-9). Suppose -2*w + 101 + o = 0. Suppose 0*p = -p + w. Is p a multiple of 13?
True
Let r(o) = -2*o**3 - 35*o**2 + 18*o + 38. Is r(-19) a multiple of 55?
False
Let g = 42 - -6. Suppose -2*n - 5*t + 32 = 0, -3*n - 4*t + 7*t = -g. Suppose -n*q - 96 = -20*q. Is q a multiple of 16?
False
Let z(a) = a**2 - 31*a + 214. Does 32 divide z(38)?
True
Let h be -3 + 2/5*5/2. Let v(p) be the second derivative of -p**5/5 + p**3/2 + p**2/2 - p. Is 15 a factor of v(h)?
False
Let h = -990 - -1380. Is 4 a factor of h?
False
Suppose 4*h = -v + 1741, 5*v + 529 + 1182 = 4*h. Does 31 divide h?
True
Let j(o) = -3*o**2 - 26*o - 79. Let n(w) = 2*w**2 + 26*w + 77. Let l(m) = 3*j(m) + 4*n(m). Does 24 divide l(25)?
True
Let t(i) = -i. Let r be (-4)/6*(-429)/(-22). Let x be t(r). Is 2/(-1) - (-299)/x a multiple of 8?
False
Let s = -56 + 21. Let p = s + 62. Is 8 a factor of p?
False
Let p be 171/(-33) - -5 - 53/11. Suppose -5*v - 11 - 169 = 0. Let a = p - v. Is a a multiple of 17?
False
Let m = 42 + -57. Is ((-6)/8)/(m/2580) a multiple of 11?
False
Suppose 0 = 2*r - 5 + 1, 0 = -5*k - 4*r - 62. Let y be 70/(-15)*36/k. Suppose -16*f = -y*f - 152. Is 5 a factor of f?
False
Suppose 2*p + 276 = -2*i, -3*p - 299 - 254 = 4*i. Let r = i - -195. Let c = -27 + r. Is 6 a factor of c?
False
Suppose 11 = a + 4*s, 68 = -5*a + 3*s + 8. Let t(j) = j**3 + 8*j**2 - 11*j - 2. Let d be t(a). Suppose o - d = 3. Is 14 a factor of o?
False
Suppose 0 = -2*s + 19 - 59. Let n = s + 30. Is n a multiple of 5?
True
Let k(o) = -50*o + 1. Let x be k(-1). Let l = 19 + x. Does 10 divide l?
True
Let z = -35 + 41. Let l be (-5)/(-10) - (-9)/z. Suppose -l*f = -3*d + 152, -3 = 5*f - 13. Is 13 a factor of d?
True
Suppose 43328 = -61*a + 125*a. Is a a multiple of 19?
False
Let v(m) = -53*m + 5. Let q be v(5). Is (q/(-6))/(-2 - (-24)/9) a multiple of 13?
True
Suppose -g - 4*x + 2 = 0, -3*x - 37 = -0*g - 2*g. Let b(o) = -o**3 + 15*o**2 - 15*o + 7. Let v be b(g). Let m = v - -12. Is m a multiple of 4?
False
Suppose 7*c = 39 - 4. Suppose c*k = 3*n - 175, 4*n = -4*k + k + 243. Is 15 a factor of n?
True
Let v(r) = -5*r + 21. Let b(u) = 10*u - 42. Let t(k) = 3*b(k) + 7*v(k). Is 3 a factor of t(3)?
True
Suppose -2*g - 4*o + 3 = 7, 2*o + 4 = 0. Suppose g*j - 12 = -2*j - 3*k, -16 = -5*j - 4*k. Suppose -216 = -j*i - 6*i. Does 9 divide i?
True
Let p be 5/((-1)/2*4/(-4)). Let v(d) = 8*d - 12. Is v(p) a multiple of 10?
False
Let j(y) = y**3 + 9*y**2 - 11*y - 10. Let l be j(-10). Suppose -3*t - 3*a = -a + 657, l = 2*t + 4*a + 430. Let v = -136 - t. Is 24 a factor of v?
False
Suppose d - 468 = -d. Suppose -5*m - 22 + 7 = 4*s, 0 = 5*s - m - 3. Suppose -w + 4*w - d = s. Does 26 divide w?
True
Let o = 315 + -206. Is 11 a factor of o?
False
Suppose 5*y = -5*u + 13150, 5*u + 10 + 5 = 0. Is 79 a factor of y?
False
Let z be -6 - -3 - -119 - -3. Suppose 0 = -6*j + z + 703. Is j a multiple of 14?
False
Suppose -858*h + 862*h - 468 = 0. Is h even?
False
Suppose -4*p - 40 = 2*h, 5*h = 4*p - 0*p - 44. Is (-6)/(-4) + -2 + (-1686)/h a multiple of 10?
True
Does 4 divide ((-580)/8)/((-1)/2)?
False
Suppose -2 = 4*a + h + 2, 4*h + 16 = 4*a. Let q(v) = v**2 + 2 - 7*v - 5 - 2 + a. Does 3 divide q(8)?
True
Suppose 2*v - 4*d - 13 = 3*v, 2*v - 4*d = 22. Suppose 4*x = -2*m + 230, -220 = -v*m - x + 100. Is m a multiple of 27?
False
Suppose -u + 1345 + 87 = -4*o, 0 = -4*o - 16. Suppose 22*h + u = 30*h. Is h a multiple of 15?
False
Let b be 91/21 + 4/6. Suppose 0 = -4*i - 3*l + 81, -4*l + 3 = b*i - 97. Does 10 divide i?
False
Let v = 22 - 17. Suppose 5*d = v*b + 70, 5*d - 2*b - 48 = d. Does 2 divide d?
True
Let g(t) = 10*t**3 - t**2 + 2*t - 1. Let a be g(1). Suppose a*s - 5*s = -60. Is (6/s)/((-1)/12) a multiple of 2?
True
Let o(b) = 216*b + 120. Is o(5) a multiple of 24?
True
Suppose 5*n - 15 = -4*k, -5*k + n = -8*k + 3. Does 17 divide (-2)/4*k - -34*5?
True
Let o = -13 + -18. Let i = -16 - o. Is 15 a factor of i?
True
Let v(q) = -q**3 - q**2 + 8*q + 10. Let b be v(-4). Suppose 0 = -g + 7 + b. Is g a multiple of 12?
False
Let s be ((-2)/1 - 2) + (-109)/(-1). Let n = s - 81. Is n a multiple of 19?
False
Let b(g) = -35*g - 79. Does 28 divide b(-5)?
False
Let x(c) = 15*c**3 - 4*c**2 - 7*c + 58. Is x(6) a multiple of 41?
False
Suppose 43*v + 4160 = 47*v. Does 16 divide v?
True
Let l = 52 - 59. Is 192/7 - 4/l a multiple of 16?
False
Suppose -l = 2*m - 8, 20 = -m + 6*m - 3*l. Is 4 a factor of 90/m + 1/(-2)?
False
Suppose -2*m = -16 - 112. Suppose i + m = 4*d + 17, 2*i = -4*d + 50. Suppose 3*q = p + 8 + 4, 4*p - d = -3*q. Does 2 divide q?
True
Suppose 5*n - 38 = 122. Suppose -28*g + n*g = 176. Does 26 divide g?
False
Let d(z) = 9*z + 632. Does 26 divide d(54)?
True
Let k(s) = 4*s + 15. Let h be k(-8). Let g = 48 + h. Let f = g + -11. Does 6 divide f?
False
Suppose -26*d + 64*d = 1824. Does 24 divide d?
True
Let j(m) = 5*m**2 + 5*m - 13. Let t(v) = 24*v**2 + 26*v - 64. Let r(h) = -14*j(h) + 3*t(h). Is 8 a factor of r(-7)?
True
Let v be (428/10)/((-8)/(-80)). Let f = v - 148. Is 50 a factor of f?
False
Let k(p) = 209*p**2 + 12*p - 42. Is k(4) a multiple of 50?
True
Let c = -1058 + 3314. Is 83 a factor of c?
False
Suppose n + 5*d - 431 = 0, 434 = 3*n + 3*d - 799. Does 5 divide n?
False
Let y = 733 + -421. Is 26 a factor of y?
True
Let k(x) = -30*x**3 - 3*x + 2. Let m be k(2). Is (m/8 - 6)/((-2)/12) a multiple of 43?
False
Let n(m) = 11*m**3 - 2*m + 3. Let a be n(2). Suppose -3*f - x + 76 = -a, 5*f = -2*x + 273. Suppose 2*r = -9 + f. Is r a multiple of 7?
False
Is (-76)/10*-19 + (-12)/30 a multiple of 24?
True
Let p be (-4)/10 - (-24)/60. Let t(g) = g**3 + g**2 - g + 4. Let x be t(p). Suppose x*z - 54 = -3*f - 10, 52 = 4*z + f. Is z a multiple of 7?
True
Let y(i) = i**2 + 5*i + 1. Let t be y(-6). Let c = t + -7. Suppose 3*j = 3*o - 90, -2*o - 2*j + 42 + 34 = c. Is o a multiple of 26?
False
Is (0/2 - -2) + 17100/228 a multiple of 2?
False
Suppose r + 21*l - 253 = 18*l, -1239 = -5*r - 2*l. Is 11 a factor of r?
False
Suppose -3*s - 21 = 21. Does 2 divide -1 + (-4 - -4) - s?
False
Suppose -4*r - 289 = 5*o - 1812, r = 3*o + 385. Is r a multiple of 23?
False
Let l = -632 + 645. Does 8 divide l?
False
Suppose -3*t + 4*i + 1374 = 409, -4*t = 4*i - 1296. Is 23 a factor of t?
False
Let b be 2*(-1 - 0) + 6. Let x(j) = j**2 + 14*j + 7. Let s be x(-20). Suppose b*n + 16 = 0, 6*p - p = -2*n + s. Does 27 divide p?
True
Suppose 0 = -10*v - 259 + 19. Suppose -23 = -4*u + 9. Does 9 divide (-3)/u*2*v?
True
Let x(l) = 201*l - 189. Is 27 a factor of x(14)?
False
Let d(o) be the third derivative of 23*o**5/60 + 15*o**2. Let r(x) = x - 1. Let u be r(2). Is d(u) a multiple of 6?
False
Suppose 0*n + 3*n - 160 = 2*p, -3*p = -12. Is 2 a factor of n?
True
Suppose -107 = 5*l - 12. Let n = 28 + l. Does 2 divide n?
False
Let u be (-2 + -35)/(1/(-2)). Let w = u - 205. Let o = -65 - w. Is o a multiple of 28?
False
Let i(l) = -l**3 - 13*l**2 - 13*l - 14. Suppose -k - 3*r - 9 - 3 = 0, 2*k - 5*r = -24. Let n be i(k). Does 4 divide 3/n*20/(-3)?
False
Let h(y) = -4*y**2 - 216*y + 76. Is h(-49) a multiple of 24?
True
Let h(o) = 3*o**3 - 1. Let p be h(-1). Suppose -w - 2*w = k - 52, 3*w - 64 = -4*k. Let f = w + p. Is 12 a factor of f?
True
Let f = -134 + 1072. Does 5 divide f?
False
Let d be (48/10)/((-6)/(-30)). Suppose -3*w - l + 17 - 1 = 0, -3*w + 3*l = -d. Is 11 a factor of (w/3)/(-2) - -16?
False
Is 5 a factor of 577 + (-7 + -3 + 4 - -4)?
True
Let k be (-28)/(-6) - (-15)/45. Suppose -4*l + 20 = 0, -k*f + 25 = 3*l - 2*l. Suppose f*u = u + 210. Is u a multiple of 22?
False
Let r = -55 + 47. Does 22 divide r + 30/4 - (-397)/2?
True
Is 10/4*(-6)/(-4)*16 a multiple of 5?
True
Let u(p) = p**2 + 4*p - 8. Suppose 16 = -4*f, 0 = 5*w - w - 2*f + 16. Let g be u(w). Suppose g*b + 216 = 5*q, 2*b - 112 = -3*q - 0*b. Does 14 divide