e of 8?
False
Let i(w) = -w**2 + w + 12. Let h be i(0). Let s = h + -10. Suppose 29 = s*c - 5*f, -f = -2*c + 3*f + 26. Is 7 a factor of c?
True
Suppose -3*l + 19 = -c, 0 = -6*c + c - 3*l - 167. Let d = 51 + c. Does 6 divide d?
False
Suppose -b = -108 - 7. Suppose 314 = 3*o - b. Does 26 divide o?
False
Let i = 365 + -61. Does 19 divide i?
True
Let q(x) = -x**2 + 3*x - 2. Let w be q(5). Let n = -217 - -235. Let j = n + w. Does 6 divide j?
True
Let h(u) be the third derivative of u**6/20 - u**5/20 + u**4/8 - u**3/3 + u**2 - 7. Let s be (3 + -2 - 2) + 3. Is h(s) a multiple of 10?
True
Suppose 3*z - 1620 = 624. Is 68 a factor of z?
True
Let t(a) = -178*a + 197. Is 13 a factor of t(-11)?
False
Suppose -3*s + 302 = -5*x, 0 = 2*s + 8*x - 4*x - 216. Is 5 a factor of s?
False
Let q be -2 - (-2 - (-8)/2). Let r = q + 12. Suppose -f = 3 - r. Is 4 a factor of f?
False
Suppose -1485 + 612 = -9*j. Is j a multiple of 2?
False
Suppose 2*j = 4*n - 1694, 3*n + 5*j - 1268 = 4*j. Is n a multiple of 15?
False
Let y(n) = -n**3 - 4*n**2 - n + 3. Let b be y(-2). Does 11 divide (6/(-4))/((b + 2)/22)?
True
Let z(g) = -g**3 + 10*g**2 + g - 8. Let l be z(10). Let v(u) = -7 - 3*u**l - 3*u + 2*u**3 - 7 + 11. Is 6 a factor of v(3)?
False
Let s(t) = 16*t**2 - 5*t + 16. Is 17 a factor of s(7)?
True
Let w(b) = -15*b**3 - 2*b**2 + b + 19. Let k(d) = -7*d**3 - d**2 + d + 9. Let a be 43/(-7) + 2/14. Let l(i) = a*w(i) + 13*k(i). Is l(-5) a multiple of 23?
False
Let i be -1*(1 - 2)*39. Suppose 0 = -4*s + 4*a - 44, -29 = 4*s - 3*a + 19. Let g = i + s. Is 4 a factor of g?
True
Suppose 12 = 459*x - 463*x. Let t be (3/(-2))/(3/4). Is 10 a factor of x/6*-34 + t?
False
Suppose -2*a = -5*a + 81. Suppose -9*p + 864 = -a. Is 11 a factor of p?
True
Let x(f) be the first derivative of 2*f**3/3 - 15*f**2/2 + 15*f + 2. Is x(9) a multiple of 7?
True
Let j be (-5 + 125)/((-3)/(-8)). Suppose 2*w = -i - 112, 3*i - w = w - j. Let f = i + 168. Is f a multiple of 30?
True
Let r(q) = -12*q**3 - 7*q**2 - 9*q + 12. Is 13 a factor of r(-7)?
True
Suppose -5*d + 1045 = 85. Does 23 divide d?
False
Is (1 - -6) + 75960/60 a multiple of 19?
True
Is 3 a factor of 290 + (4 + 86)/9?
True
Suppose 21*v = 11*v. Let g(k) = 4*k + 84. Is g(v) a multiple of 12?
True
Is ((-93)/(-24) - 4) + 5605/40 a multiple of 14?
True
Let w(n) = -n**3 - 5*n**2 + 6*n + 2. Let r be w(-6). Suppose -i + 3 = 0, -5*h + 666 = -h + r*i. Is h a multiple of 8?
False
Suppose 3009*y = 3005*y + 972. Does 81 divide y?
True
Suppose 0 = -5*w + 3*w - 24. Let n be (w/4)/3*6. Let j = n + 10. Is 2 a factor of j?
True
Let m(o) = 267*o + 6. Let t(g) = -133*g - 3. Let j(n) = 2*m(n) + 5*t(n). Is 32 a factor of j(-1)?
True
Suppose 5*y = -n - n + 220, 3*n = -4*y + 344. Is 30 a factor of n?
True
Let m = 258 - -269. Let g = m - 290. Suppose -a - 2*a = -g. Is 25 a factor of a?
False
Let n = 505 + -156. Does 14 divide n?
False
Suppose -5*u - 2*t - 9 = -0*t, 4*u + 4*t = -12. Is (u - -1) + 41 + -3 a multiple of 9?
False
Let b(p) be the third derivative of -p**6/120 + p**5/6 + p**4/12 - 4*p**3/3 - 14*p**2. Does 12 divide b(10)?
True
Let t = 246 + 236. Is 20 a factor of t?
False
Let w be -1 + (65 - (0 - -4)). Suppose y - w - 2 = 0. Does 31 divide y?
True
Suppose 4 = t, 165*y + 4*t = 161*y + 18536. Is 12 a factor of y?
False
Suppose 103*u - 515 = 102*u. Let s = u + -295. Does 44 divide s?
True
Let h = 16207 - 10532. Does 80 divide h?
False
Let t(q) = 261*q**2 + 19*q - 19. Is 29 a factor of t(1)?
True
Let n be (-5 - -3)*(1 - 2). Is 7 a factor of ((-51)/n)/(2/(-4))?
False
Let s(h) = h - 1. Let l be s(-2). Is (l + 320/5)*1 a multiple of 15?
False
Suppose 343 + 153 = 4*a. Does 3 divide a?
False
Let w(o) = 2*o**2 - 12*o - 44. Is w(12) a multiple of 25?
True
Suppose 5*m - 24500 = -9*m. Does 70 divide m?
True
Suppose -7*b + 2683 + 1552 = 0. Does 55 divide b?
True
Let o be ((-4)/(-12))/((-4)/(-60)). Suppose -j = -o*g - 29, -j = 3*j - 4*g - 100. Is j a multiple of 24?
True
Let j be -61 + ((-12)/4 - -3). Let r = 97 + j. Is 9 a factor of r?
True
Suppose -1405 = -10*i - 215. Is i a multiple of 75?
False
Suppose -4*b + d = -82, 5*b + 0*b - 110 = 5*d. Suppose -13*h = -15*h - b. Is 5 a factor of (-74)/(-5) - 2/h?
True
Let y(u) = -u**2 + 19*u + 13. Let g be y(22). Let o = -20 - g. Is 5 a factor of o?
False
Suppose 0 = 3*j + a + 2*a - 114, -3*j + 3*a + 120 = 0. Is 9 a factor of j/((-15)/(-8 + 3))?
False
Let j(n) = -n**3 + 4*n**2 + 4*n - 5. Let z be j(5). Let g = z + 37. Let q = -15 + g. Is 12 a factor of q?
True
Does 44 divide (-22*1)/((-5287)/1751 + 3)?
False
Let a = 470 + -341. Is 24 a factor of a?
False
Let d(a) = -a**2 - 19*a + 10. Let k be d(-19). Suppose 3*v - 4 = 2, -2*v = l - k. Does 8 divide (-20)/l*768/(-80)?
True
Let k be -3 + 3/(3/32). Let r = -20 + k. Does 5 divide r?
False
Let l be -1 + (-1 - 1) + 4. Suppose x + 0*x = h + l, 0 = 4*h - x - 8. Suppose -h*k - n + 12 = 0, -k + 5*n = 3*k + 3. Is k even?
False
Let l(t) = t**3 - 4*t**2 - 5. Let h be l(5). Let x(w) = -w + 8. Let k be x(8). Suppose -4*r + 8 = -2*o - h, k = -4*r - o + 34. Does 3 divide r?
False
Let x(j) = -2*j**3 + 7*j**2 + 2*j - 11. Let d(o) = 5*o**3 - 22*o**2 - 7*o + 32. Let s(f) = -3*d(f) - 8*x(f). Is s(-8) a multiple of 16?
True
Let m(i) = 72*i - 175. Is m(9) a multiple of 54?
False
Is 8 a factor of (-74734)/(-258) - (-8)/6?
False
Let n be 0 - 4 - 1/(-1). Let v = 68 + n. Does 23 divide v?
False
Let z = 12 + 106. Is z a multiple of 4?
False
Let v = -198 - -282. Let c = 24 + v. Does 36 divide c?
True
Let a(p) = 8*p - 7. Suppose -5*l + 6 = -19. Let v be l/((-5 - -2)/(-3)). Is a(v) a multiple of 11?
True
Suppose -5*m = -4*f + 573, 2*f - 121 = -m + 148. Does 8 divide f?
False
Let j = -4 + 7. Suppose u - 78 = 3*t, 0*u + 234 = j*u + 5*t. Let y = 140 - u. Is 17 a factor of y?
False
Suppose 0 = 2*r, 4*s + 6*r - 48 = 10*r. Suppose 2312 = 5*w + s*w. Is 17 a factor of w?
True
Suppose -16*k = 15*k - 100719. Is k a multiple of 57?
True
Suppose 18 - 6 = 4*j. Suppose 2*z = j + 227. Is 23 a factor of z?
True
Suppose v = 2*x + 107, 40 = -4*x + 3*x + 5*v. Let p = 11 + x. Is 15 a factor of 15/(p/(-20) - 2)?
True
Let r(j) = j**3 - 7*j**2 - 10*j + 23. Let k be r(8). Suppose -69 - 25 = -2*u. Suppose 2*q - u = k. Is q a multiple of 14?
False
Let g(v) = 7*v**2 - v - 36. Is 15 a factor of g(7)?
True
Suppose -b = -4*r - 11, -5*b + 19 = 5*r - 11. Let s = -7 + b. Suppose 3*c - 5*k = 130, 2*k = -2*c - s*k + 76. Is 8 a factor of c?
True
Let w(u) = -5*u + 4 - 21*u**2 + 1 + 16*u**2 - 1 + 2*u**3. Let j(g) = -g**3 - 4*g**2 + 5*g + 4. Let i be j(-5). Is w(i) a multiple of 8?
True
Suppose 4*i - 22 - 54 = 0. Suppose 4*z - 20 = 4*y, -2*z + 0*y - y + i = 0. Is z a multiple of 7?
False
Let f(l) = -344*l - 37. Does 30 divide f(-5)?
False
Let m = 18 + -12. Suppose -3*f + m = 4*u, 0 = 3*u + f - 2*f + 2. Is (u + -4)/((-1)/2) a multiple of 5?
False
Suppose -5*i - 4 = -34. Suppose -384 + 1194 = i*c. Is c a multiple of 45?
True
Let w = 2387 + -1165. Is w a multiple of 23?
False
Let m(b) = 5*b**2 + 103*b - 49. Does 76 divide m(-25)?
False
Suppose -490*g + 495*g - 1335 = 0. Is g a multiple of 89?
True
Let h = -200 - -235. Is 31 a factor of h?
False
Let f be 8/2 - (-1 - -3). Let y be 100/(-16) + f/8. Let d(g) = g**3 + 8*g**2 + 6*g. Is d(y) a multiple of 17?
False
Let i = -252 + 447. Is 19 a factor of i?
False
Let w(q) = q**3 + 8*q**2. Let p be w(-8). Let j be (6 - 3) + p - 1. Suppose 0 = -o - j*o - 2*m + 262, -5*o + 462 = -3*m. Is 30 a factor of o?
True
Let n = -40 + 12. Let z = -455 + 325. Let x = n - z. Is 31 a factor of x?
False
Suppose -4*p + 36*h + 5260 = 33*h, -3*h = 2*p - 2612. Is p a multiple of 16?
True
Does 5 divide ((-4)/(-6))/((-944)/(-156) + -6)?
False
Suppose -1566*i = -1559*i - 616. Is 3 a factor of i?
False
Let i = 567 - 447. Is i a multiple of 14?
False
Let d be 87/((-3)/(-1)) + (-1)/1. Let z = 41 + d. Is 23 a factor of z?
True
Let j = -120 + 216. Let x = 39 + j. Is 15 a factor of x?
True
Let l be 4/(-18) + 2740/18. Suppose 0 = 4*p - 0*p - l. Is 7 a factor of p?
False
Let p(w) = 12*w - 3. Let s(z) = 12*z - 2. Let y(a) = 5*p(a) - 6*s(a). Let g(c) = c**3 + c**2 - 3. Let k be g(0). Does 17 divide y(k)?
False
Suppose 127 = x - 109. Is 56 a factor of x?
False
Let q(l) = -l**3 + 9*l**2 - 13*l - 8. Let a be q(7). Let m be a/3 - 20/(-6). Suppose 4*c 