-44*x + 5. Suppose 5*g = 5*s + 10, 5*s + 5*g = -4 - 6. Is 12 a factor of l(s)?
False
Let i(t) = -127*t**2 - 2*t + 4. Let r(d) = -253*d**2 - 5*d + 9. Let b(m) = -7*i(m) + 3*r(m). Does 7 divide b(-1)?
False
Suppose 0 = -u + 7*u - 36. Is 14 a factor of (((-2)/1)/u)/(2/(-342))?
False
Let m = -13 - -14. Let r be 2*m + (1 - 58). Does 14 divide (-980)/r - (-2)/11?
False
Let u(o) = -o**3 + 2*o**2 - 2*o - 16. Let p(s) = -2*s**2 + 2*s + 13. Let x(l) = 4*p(l) + 3*u(l). Suppose -c - 3*c = 12. Does 35 divide x(c)?
False
Let j(d) = d**3 + 22*d**2 + d + 28. Suppose 33*s = 29*s - 88. Is j(s) a multiple of 3?
True
Suppose -525 = -3*a + 3*p, 0 = -2*a + p + 70 + 280. Does 4 divide a?
False
Suppose -3*s = -2*k - 4977, 0*s - 6636 = -4*s - k. Is 84 a factor of s?
False
Let n = 11 - 11. Suppose 0 = -n*d + 3*d - 12. Suppose 79 = 3*x + d*h, 75 = 3*x + h + 2*h. Is x a multiple of 21?
True
Let f(t) = -t + 81. Let m be f(-26). Let k = m + 153. Is 51 a factor of k?
False
Suppose 14*r = 48*r - 6256. Is 23 a factor of r?
True
Is 4*(4/(-30) - 75387/(-90)) a multiple of 43?
False
Let c = 803 - 687. Does 2 divide c?
True
Is 54 a factor of (-6458)/(-5) + 4 - 6/(-15)?
True
Let x(l) = -3*l - 21. Let g = 14 - 8. Let s = g - 24. Is x(s) a multiple of 13?
False
Let i(v) = v**2 - 4*v - 3. Let f be i(6). Suppose -f*u + 2332 = 460. Does 13 divide u?
True
Let j(i) be the second derivative of 5*i**3/3 - 2*i**2 - 16*i. Is 15 a factor of j(2)?
False
Suppose 2*f - 59*a = -60*a + 792, 5*f - a - 1980 = 0. Is 11 a factor of f?
True
Suppose -12*s = 17*s - 38019. Is s a multiple of 69?
True
Suppose 768 = 7*j - 828. Is j a multiple of 19?
True
Let b be 38*(6/(-4))/3. Let p = -14 - b. Suppose -2*n = -5*l - 4*n + 134, -p*n = -2*l + 42. Is l a multiple of 13?
True
Let d(i) = -i**3 - 17*i**2 + 15*i + 44. Is d(-18) a multiple of 7?
True
Let p(d) = d**2 - 4*d - 8. Let s be (-5 - -9)*1/2. Suppose 0 = s*o - o - 8. Does 12 divide p(o)?
True
Let v be 142 - (-5 - (-1 + -2)). Let d = 27 + v. Is 19 a factor of d?
True
Let f(t) be the third derivative of 9*t**2 + 1/12*t**4 - 1/6*t**3 + 0*t + 1/30*t**5 + 0. Is 5 a factor of f(4)?
False
Let k = -232 + 352. Suppose -2*w - k = 2*w. Is (-1706)/(-30) + (-4)/w a multiple of 19?
True
Let f(y) = -2*y**3 - 12*y**2 + 15*y + 31. Is f(-10) a multiple of 4?
False
Suppose g + 4 = d - 5, -2*g = d - 12. Suppose -3*k + 6 = -3*b, -3*b + 1 - d = -4*k. Suppose 77 = 2*w + h, -k*w + 0*w - 2*h + 118 = 0. Is w a multiple of 18?
True
Let f be (105/(-14) + 5)/(5/(-4)). Is 31 a factor of 1046/6 + f/(-6)?
False
Does 19 divide (-1714)/(-30) + 3*2/(-45)?
True
Let i = 198 - 98. Is i a multiple of 5?
True
Let h be (5/10)/((-1)/(-6)). Let q(g) = -5 - 2*g + 9*g - 3*g**2 + 12*g**h - 11*g**3. Is q(5) a multiple of 24?
False
Let w(x) = -3*x - 7. Let f be w(-3). Suppose -q + 12 = f*q, -3*t = -2*q + 20. Let o(c) = -c - 1. Does 3 divide o(t)?
True
Let h(d) = d**2 - 4*d + 1 + 2 + d**2. Let l be h(2). Suppose l*v + 75 = 5*g - 16, 3*g + 4*v = 43. Is g a multiple of 12?
False
Suppose 2*q + 2*q + 4 = 0, -5*q + 131 = -4*d. Let a be d/6*(1 + 2). Let x = a + 37. Does 4 divide x?
True
Let t = -7 - -16. Suppose -t - 9 = -2*j. Let r = 2 + j. Does 11 divide r?
True
Suppose 32*z = 38*z - 2316. Is 17 a factor of z?
False
Let l = -53 - -49. Does 30 divide 0/(-8 - l) - -42?
False
Let f(h) = 25*h - 3. Let z be f(2). Let d = 7 - z. Is -1 - 0 - d - -3 a multiple of 21?
True
Let n(s) = -3*s**3 - 19*s**2 - 10*s + 10. Does 27 divide n(-7)?
False
Suppose -s - 571 = -n, -6*n + 3*n + 1711 = -s. Does 38 divide n?
True
Suppose -52*o - 5495 = -59*o. Does 41 divide o?
False
Let f(h) = h**3 - 11*h**2 + 45*h + 2. Is f(11) a multiple of 55?
False
Suppose -3*f - 624 = -5*f. Suppose -2*s + 6*s - f = 0. Is s a multiple of 13?
True
Suppose -7*v = -2*v - 835. Suppose -v = -2*k + 113. Is k a multiple of 35?
True
Let i(t) = 217*t**2 - 10. Does 67 divide i(3)?
True
Suppose 7910 = 5*r - 4*h, -6322 = -4*r + 6*h - 4*h. Is r a multiple of 9?
False
Let l(k) = 12*k - 4. Let q(v) = 11*v - 3. Let g(a) = -5*l(a) + 6*q(a). Suppose -18 = -5*j + 17. Does 22 divide g(j)?
True
Let q = -49 - -386. Suppose 4*l - w = 8*l - q, -5*l + 425 = 2*w. Is 13 a factor of l?
False
Let s(y) = 5*y**3 - y**2 - y + 1. Let j be s(1). Suppose 4 = -j*i, -4*h + 3*i = -0*h - 87. Does 19 divide ((-46)/(-3))/(7/h)?
False
Let w be ((-54)/10 - -6)*(5 + 0). Suppose -189 = -4*k + w. Is k a multiple of 16?
True
Suppose -22 = -3*r + r. Let m = -7 + r. Suppose 0 = m*v - 0*v - 128. Does 8 divide v?
True
Let f be (-4)/6*21/(-2). Let i be -55 - (-1 - 0/7)*0. Let q = f - i. Is q a multiple of 31?
True
Let a(j) = -11*j + 5. Let i be a(-2). Suppose o = i - 5. Does 19 divide (-5664)/(-66) - (-4)/o?
False
Let y be (-4 - 104/(-28))*-7. Let q be 27/(-18) - y/(-4). Does 11 divide -5*(-1 - 15 - q)?
False
Let m(r) be the second derivative of -r**5/20 - 5*r**4/12 + r**3 + 8*r**2 + 19*r. Does 16 divide m(-6)?
True
Let t = 113 - 52. Let a = t - -3. Does 13 divide a?
False
Let r(f) be the first derivative of -f**4/4 - 6*f**3 - 19*f**2 + 12*f - 28. Is 12 a factor of r(-16)?
True
Let m = -53 + 38. Let q = 89 - 81. Let x = q - m. Does 6 divide x?
False
Suppose -4*x + b + 312 = 0, -3*b + b - 150 = -2*x. Let w = x - 48. Is 6 a factor of w?
False
Let v = -4 - -16. Suppose -3*b - 2*a = 3 + 3, -5*b = -4*a - v. Suppose b = -3*g + 2*g + 35. Is g a multiple of 5?
True
Let i be -69*(-3 + 2) + -4. Suppose 4*m + y = 78 + 107, m - i = -4*y. Is m a multiple of 15?
True
Suppose 0*w - q - 1 = -2*w, -2*w - 5*q = -19. Suppose -w = -2*g + 8. Suppose -28 = -g*l + 7. Is 7 a factor of l?
True
Is 166 a factor of ((-1328)/40)/(21/(-1365))?
True
Let r(q) be the first derivative of q**3/3 - 4*q**2 - 4*q - 4. Let t be r(9). Suppose 0 = -3*o - v + 131, t*o + 2*v - 246 = -27. Is 15 a factor of o?
False
Let x = -27 + 497. Suppose 5*r - x = -0*r. Is 18 a factor of r?
False
Let a(y) be the first derivative of y**3/3 + 11*y**2/2 - 32*y - 21. Does 10 divide a(-17)?
True
Suppose x - 4*f = 79, 2*f + 316 = 2*x + 2*x. Suppose -117 = -5*m - 0*m + y, -5*y - x = -3*m. Does 3 divide m?
False
Let x(q) = 2*q**2 - 13*q - 1. Let y be x(12). Let d = -70 + y. Does 19 divide d?
False
Is ((-25)/(-20))/(5/3520) a multiple of 11?
True
Is (87/9)/(1/135) a multiple of 15?
True
Let g = 59 - 57. Suppose -4*w + 3*w - g*m = -71, 0 = 3*w + 2*m - 201. Is w a multiple of 13?
True
Suppose 2*y + 10 = 5*o - 10, 0 = -2*y. Suppose -429 = -4*k - 3*d, -4*k - o*d = -8*k + 436. Does 11 divide k?
False
Let a(o) = o**2 + 2*o + 12. Let g = 13 - -8. Suppose i - 4*u = 3*i + 4, 3*i + u = -g. Is a(i) a multiple of 30?
True
Let x = 1776 + -1275. Is x a multiple of 12?
False
Let k be 0 - -2 - (1 - -1). Let m be 42/9 - 4*4/24. Suppose k = q + 3*q + 12, m*l + 3*q - 135 = 0. Does 18 divide l?
True
Suppose q = -2*t + 121, 3*t + 8*q - 4*q = 174. Is 10 a factor of t?
False
Let v be (-22)/(-33)*3*(-87)/6. Suppose -2*m - 57 + 19 = 0. Let f = m - v. Is f a multiple of 10?
True
Let t(k) = -k**2 - 12*k + 40. Does 27 divide t(-13)?
True
Let n = -208 + 395. Let h = n - 76. Suppose -2*w + 16 = 2*w, -t = 4*w - h. Is 29 a factor of t?
False
Suppose 5*v - 2*t + 4 = 0, 5*v = 5*t + 4 + 1. Is 22 a factor of (-210)/(-6) - (v - -1)?
False
Let t(p) = -3*p + 12. Let i be t(5). Let a be 1/i - 26/(-6). Suppose 508 = a*g + 152. Is g a multiple of 31?
False
Suppose -4*k = k + 25, 3*u = -2*k - 19. Let v be 5 - (18/u)/(-2). Suppose 0 = -4*d - 5*n + 40, 38 = v*d - n - n. Does 4 divide d?
False
Suppose 4*j + 20 = -4*b, j - 7 = 2*b + 3. Suppose 5*n - 40 - 75 = j. Is 4 a factor of n?
False
Let w = 1141 - 782. Does 36 divide w?
False
Is 1359/6 - (-7)/(-42)*3 a multiple of 6?
False
Let q be (33/(-11))/(2/(-2)). Is 0 + 589/3 - q/9 a multiple of 14?
True
Let k be (0 - 0)/(-3) + 2 + 1. Let g = k + 144. Does 22 divide g?
False
Suppose -4*t = 5*w - 134, 28*w - 41 = -t + 23*w. Does 10 divide t?
False
Let x = 4212 - 2910. Is x a multiple of 93?
True
Let c = -85 - -82. Is 10 a factor of ((-4)/(-10))/(c/(-1350))?
True
Suppose -2 = v + 5*b - 96, 3*b + 6 = 0. Suppose 5*w = 5*y + v + 296, 0 = -y. Does 10 divide w?
True
Does 43 divide 1/(-4) - 28/((-2240)/130740)?
True
Suppose -15*q = 5*q - 120. Let x(v) = 2*v**3 - 9*v**2 + 13*v. Is 15 a factor of x(q)?
False
Let j(k) = -57 + 4*k + 30 - k**3 + 32. Does 4 divide j(-3)?
True
