e of 103?
True
Let g(n) = n**3 + 2*n**2 - 1. Let b be g(2). Let v = -11 + b. Let f(s) = 4*s - 4. Is 6 a factor of f(v)?
True
Let b = -34 + 37. Suppose b*f - w - 287 = 0, 2*w - 50 = -f + 41. Is 12 a factor of f?
False
Let l(s) = 4*s**2 + 5*s + 25. Is 8 a factor of l(10)?
False
Suppose 5*u = 4*i - 41, -2*i - 2*u + 0*u = 2. Suppose -i*d = -g - d + 5, 5*d - 20 = -4*g. Suppose -48 = -2*b + 3*s, -4*s - 50 = -g*b + 3*b. Does 21 divide b?
True
Suppose -5*k = -3*c - 298, -3*c + c - 186 = 3*k. Let r be (-1 - c)*(-8)/(-10). Let s = r + -16. Is 14 a factor of s?
False
Does 9 divide ((-18)/(-45))/(3*2/3720)?
False
Let i(k) = k**2 + 13*k - 15. Is 33 a factor of i(14)?
True
Suppose 13*u - 12*u + 236 = 0. Let z = u + 414. Suppose -x = 3*v - z + 11, 4*x - 128 = -2*v. Does 18 divide v?
True
Let b = 12 + -7. Suppose -b*s - 3*p + 71 = 15, -52 = -5*s - p. Is 10 a factor of s?
True
Suppose 261*b + 68208 = 289*b. Does 28 divide b?
True
Suppose -2*l = -7*l + v + 329, 0 = 4*l - 5*v - 280. Does 54 divide l?
False
Let s(o) = -o**3 - 10*o**2 + 6*o - 53. Does 42 divide s(-14)?
False
Suppose 26 = 2*c + 70. Let l(k) = -31*k**2 + 10*k - 6. Let t be l(8). Is t/c + (-2)/(-11) a multiple of 27?
False
Let s(a) = 2*a**2 + 19*a - 89. Does 11 divide s(4)?
False
Is (280/6)/(10/(24 + 6)) a multiple of 56?
False
Let q(k) = -2*k + 3. Let h be q(0). Let l be (-1)/h - (-8)/(-3). Is (0 + -1)/(1/l) a multiple of 2?
False
Let d = -1664 + 2529. Is d a multiple of 3?
False
Suppose 0 = 5*w + t - 2708, 4*t = 2*w - 3*w + 534. Does 11 divide w?
False
Suppose -3*h = 3*i - i - 109, h - 41 = -3*i. Let m = h + -14. Is m a multiple of 2?
False
Suppose -3*h = v - 4, -6 = -3*h - 7*v + 4*v. Let k be (h - -3)/((-7)/49). Is 10 a factor of (40/k)/((-1)/14)?
True
Does 19 divide (0 - 332/8)*-16?
False
Suppose 3*y = y + 208. Let w be 6/(-45) + 141/45. Suppose -w*t = -y - 16. Does 8 divide t?
True
Let m be -6 + 2 - (3 + -8). Does 32 divide (1 - 191)*12/(-24) + m?
True
Let x = -1120 - -1799. Is x a multiple of 21?
False
Suppose -18 = 2*i - 3*h, 0 = 5*i - 4*h - 3 + 41. Is (128/i)/(-1*1/3) a multiple of 8?
True
Let s(a) = 2*a - 2. Let f(o) = -3*o - 4. Let r be f(-3). Let v be s(r). Suppose v = -2*k, d = 5*k + 43 + 1. Is d a multiple of 8?
True
Suppose -4*b + 344 = 3*u, 4*b - 339 = -4*u + 9. Does 21 divide b?
False
Suppose -30 = 3*b - 0*b. Is (-5 + -1)/(-3 - 27/b) a multiple of 5?
True
Let j(l) = -l**3 - 6*l**2 - 8*l - 3. Let v be (-110)/(-25) - (-4)/(-10). Suppose v*m + 20 = -0. Is j(m) a multiple of 7?
False
Let c be 10/(-35) - 4020/(-7). Let s = c - 197. Is 13 a factor of s?
True
Let d be (0 - -2) + 2/1. Suppose 0 = -5*a + v + 24 + 65, 0 = -3*a - d*v + 35. Suppose -3*p + 70 = 5*h + 28, -2*h - p + a = 0. Is 5 a factor of h?
False
Let g = 3 + -3. Let q be g - (-1 + (0 - 2)). Suppose -q*h - 2*r = -14, -r = -4*h - 0*h + 4. Is 2 a factor of h?
True
Let h(p) = 5*p**2 + p + 4. Let m be h(0). Suppose -2*n - 3*f + 188 = 0, -m*f - 28 = -2*n + 160. Does 15 divide n?
False
Suppose 3007 = 15*t - 12368. Is t a multiple of 7?
False
Suppose 0 = -3*r + 8 - 2. Suppose -5*a = -3*z + 19, 0 = r*a - 0*z + z + 1. Is (0 + a)/(10/(-240)) a multiple of 24?
True
Let n = 581 + -434. Is n a multiple of 7?
True
Let c(b) = -b**2 - 27*b - 60. Let d be c(-24). Suppose -d*r - 600 = -17*r. Is r a multiple of 20?
True
Suppose 21*a + 7160 = 43364. Is a a multiple of 23?
False
Suppose -4*g - 1054 = -2*t, -4*t + g - 4*g = -2108. Is t a multiple of 19?
False
Let n(f) = -f**3 - 7*f**2 - 9*f - 6. Let b be n(-7). Let k = -40 + b. Is 17 a factor of k?
True
Let r(x) = 3*x - 6. Let l be r(-4). Suppose 5*h + 24 = -11. Let a = h - l. Does 11 divide a?
True
Let g(t) = 12*t**2 + 3*t + 4. Let v(b) = 2*b**2 - 8*b + 6. Let y be v(5). Suppose -h = -2*i - 4, -4*i - h = h + y. Is g(i) a multiple of 23?
False
Let l(w) = 57*w + 2. Let o(h) = -3*h + 3. Let p be o(-4). Let v = 16 - p. Is l(v) a multiple of 18?
False
Suppose 0 = -4*s + 2 + 6. Suppose 341*j - 338*j - 558 = 0. Suppose -s*t + j = 10. Does 20 divide t?
False
Let f(s) = -11*s - 3 + 2*s**2 + 71*s**3 - 3*s**2 - 11*s + 25*s. Does 14 divide f(1)?
True
Let s(r) = 2*r**2 - 14*r + 15. Let j be s(10). Let t = j - -45. Suppose a - 5*a = -t. Is a a multiple of 15?
True
Let z = 66 - 63. Let a = 16 - z. Is 3 a factor of a?
False
Let w = -512 - -2042. Is w a multiple of 69?
False
Is 8 a factor of (6/(11 + 1))/((-1)/(-544))?
True
Let l(u) = u**2 - 16*u + 19. Let b be l(15). Suppose 0 = m + b*m. Suppose 9*k - 14*k + 380 = m. Does 38 divide k?
True
Let k = 137 + -148. Let h = k - -160. Is 14 a factor of h?
False
Let h(o) = o**2 + 3*o - 2. Let u be h(1). Suppose 53 = 4*a - 3*k - 2*k, -3*a - u*k = -34. Is a a multiple of 6?
True
Is (-36)/(-8) + -4 - 12306/(-12) a multiple of 6?
True
Let x = -46 + 58. Is x/6 - (4 - 9) a multiple of 4?
False
Let n(v) = 2*v**3 - 7*v**2 - 5*v + 141. Does 4 divide n(8)?
False
Let k(y) = -y**2 - 7*y + 9. Let r be k(-8). Let w be (-10)/1*r/(-2). Suppose w*d + 22 = 2*b - 22, -2*b + 3*d = -40. Does 17 divide b?
True
Does 81 divide (-20)/(-150) - 1/(-15)*18223?
True
Let v be 44/3 - 4/(-12). Suppose -5*n + 14 - 99 = 0. Let j = v - n. Is 11 a factor of j?
False
Let r(v) = -v**3 + 9*v**2 - 12*v - 8. Let y be r(7). Let n(c) = c**3 - 7*c**2 + 11*c - 8. Does 22 divide n(y)?
True
Let b be 15*(3/(-18) + 235/30). Let q = -66 + b. Is 5 a factor of q?
False
Suppose -2*t = 3*t + p + 96, 43 = -2*t - 5*p. Let c = 175 + -131. Let s = t + c. Is 25 a factor of s?
True
Let z(x) = x**2 - 16*x + 15. Let b be z(10). Let c = -24 - b. Does 17 divide c?
False
Suppose -5*n - 4 = -64. Let z be (n/16)/((-2)/(-8)). Suppose -63 - 34 = -5*c + z*a, 2*c + a = 41. Is c a multiple of 5?
True
Let w(z) = 19*z**2 - 2*z + 4. Suppose 6*u + 6 = 3*u. Is w(u) a multiple of 21?
True
Let k(j) = 8*j**2 + 4*j + 6. Suppose u - 5*u = a - 15, -7 = -u + 3*a. Does 30 divide k(u)?
True
Let h(l) be the third derivative of 7*l**2 + 0*l + 0 + 1/60*l**5 - 1/24*l**4 + l**3. Does 26 divide h(-4)?
True
Let y(k) = 16*k + 38. Let x be y(-6). Let n = x - -136. Does 26 divide n?
True
Let p(x) = -48*x - 93. Is 15 a factor of p(-6)?
True
Let i(k) = -37*k**3 + 2*k**2 - k - 12. Is 14 a factor of i(-3)?
True
Suppose 2*y = x + 1963, -10*x - 1966 = -2*y - 8*x. Is y a multiple of 56?
False
Suppose -42*a = -41*a - 2*p - 101, 0 = -a - p + 116. Is a a multiple of 5?
False
Let u = -2766 + 5359. Does 9 divide u?
False
Suppose -4*i + 60 = 5*z, 5*i = -0*z + z - 41. Suppose 0 = r - 1 - z. Let c = 26 - r. Does 9 divide c?
True
Does 5 divide 9/18 - 26247/(-26)?
True
Suppose 2*t - 1062 = -4*r, 0 = 5*t - 7*r + 2*r - 2625. Does 13 divide t?
False
Suppose 48 = n - 2*n - k, -5*n - 4*k - 245 = 0. Let w be ((-18)/(-12))/((-6)/(-368)). Let q = n + w. Does 13 divide q?
True
Suppose 22 = m - 1042. Is 19 a factor of m?
True
Let c(j) = -196*j**3 - 5*j**2 - 6*j + 4. Is c(-2) a multiple of 17?
True
Let o be -14 - (-8)/((-12)/(-3)). Does 22 divide (-1038)/(-12) - -2*(-9)/o?
True
Let k(o) = 42*o**2 + 23*o + 13. Is k(-6) a multiple of 20?
False
Let h = -49 + 71. Suppose 5*j - 12 = 2*j. Suppose -2*l + j*l = h. Does 11 divide l?
True
Let s(w) = 370*w**3 - 2*w**2 - 2*w + 1. Let h be s(-1). Does 5 divide 0 + ((-6)/3)/(6/h)?
False
Let l = -22 - -25. Suppose -4*p = -l*p + 2, -o - p + 110 = 0. Is 16 a factor of o?
True
Suppose -69*u = -51*u - 5400. Is u a multiple of 50?
True
Let u = -38 + 38. Suppose 3*o - q - 125 - 152 = 0, -o + q + 93 = u. Does 37 divide o?
False
Suppose -3*x = -4*c + 262, c - 4*x = 2 + 57. Suppose 0 = 4*n - 4*q - 316, 3*q + 2 = n - c. Is n a multiple of 28?
True
Let j(f) be the second derivative of f**5/30 - f**3 - 4*f. Let d(z) be the second derivative of j(z). Does 2 divide d(1)?
True
Suppose 0*i = i. Suppose i = -4*l + l - 12. Is 8 a factor of 246/15 + l/10?
True
Does 73 divide 329087/154 + 8/112?
False
Suppose 0 = -4*s - 3*x + 3460, -4*x - 3432 = -s - 3*s. Does 28 divide s?
False
Suppose -3*n - 4*h + 4580 = -0*h, 2*h = -2. Is 23 a factor of n?
False
Suppose 7*c - 4646 - 562 = 0. Is 62 a factor of c?
True
Let k(g) = g**3 + g**2 + g - 1. Let s be k(1). Suppose -s*z + 69 = z. Suppose 5*a - 4*l = 4 + 52, 2*a = l + z. Is a a multiple of 6?
True
Suppose 4*d = -3*m + m + 2346, 0 = -3*m + 15. Is d a multiple of 16?
False
Let o be (3/(-9))/(5/345). Let y = o - -21. Is ((-5)/10)/(y/96) a