e
Let u(i) = -130*i - 114. Does 42 divide u(-5)?
False
Let f = 49 - -8. Is f a multiple of 19?
True
Let b(f) = -8*f**3 - f**2 + f - 12. Is 6 a factor of b(-4)?
True
Let y(t) = -914*t + 12. Is 44 a factor of y(-1)?
False
Let r = -948 - -1486. Let j = -343 + r. Is 15 a factor of j?
True
Let o be 10/15 + (-12)/(-9). Suppose -84 - 188 = -o*n. Is 14 a factor of n?
False
Is 59 a factor of (-168)/(-32)*(-3 - -239)?
True
Suppose -j + 4*c + 17 = c, -4*j = -3*c - 23. Suppose 4*b = 3*h - 0*b + 4, j*b = -2*h - 26. Let s(x) = -x**3 - 8*x**2 - 2*x - 3. Is 3 a factor of s(h)?
False
Let d = -15 + 19. Suppose 0*j = -2*n + j + 479, d*n = -5*j + 979. Let z = n - 161. Is z a multiple of 20?
True
Suppose -240 = 3*b - 13*b. Does 24 divide b?
True
Is 16 a factor of 5177/124 - 6/8?
False
Let s(g) = g**2 + 9*g + 1. Let n be s(-9). Suppose 0*t - t = -n. Does 10 divide 11/(22/108) - t?
False
Suppose 349 = r + 22. Does 11 divide r?
False
Let p(c) = -8*c**2 - 25*c - 7. Let a(o) = -o**2 - o - 1. Let t(h) = -5*a(h) + p(h). Is t(-6) even?
True
Suppose v = -c + 2*c - 5, -2*c + 3*v + 10 = 0. Suppose -114 = -4*g - 5*h, -2*g + 7 + 35 = -c*h. Is 8 a factor of g?
False
Suppose 13 = -2*h + 35. Let c = 7 - h. Let x(s) = -s**3 - 4*s**2 - 6*s - 6. Is 6 a factor of x(c)?
True
Suppose 25*f = 30*f - 5760. Is f a multiple of 18?
True
Let j(c) = -c**2 + 2. Let r be j(-2). Is 1/(12/r) + (-1446)/(-36) a multiple of 7?
False
Let u(x) = x**3 + 11*x**2 - x + 2. Suppose 0 = -3*q - 15, 30 + 15 = -4*z - q. Does 17 divide u(z)?
False
Let z(p) = -p**2 - 8*p - 7. Let g = 23 + -29. Let i be z(g). Suppose s - 5 = -3*y + 2*s, -i*s + 5 = 0. Is 2 a factor of y?
True
Let a(x) = 2*x**2 - 50*x - 72. Let m(q) = -q**2 + 17*q + 24. Let b(u) = -4*a(u) - 11*m(u). Does 6 divide b(-6)?
True
Let y be 2*(22/(-4) - -1). Let p = y - -30. Suppose -b + 0*b = -p. Does 21 divide b?
True
Let g = 111 - 200. Let h = g + 181. Suppose -5*w + w + h = 0. Is 12 a factor of w?
False
Let c(u) = -u**3 - 7*u**2 + 9*u. Let l be c(-8). Let d(r) = r**2 - 3*r - 20. Is 13 a factor of d(l)?
False
Suppose -2*u + 7*u - 1652 = 2*q, 331 = u - q. Does 33 divide u?
True
Suppose 3168 = 17*a + 19*a. Is a a multiple of 4?
True
Let s(k) = -63*k - 66. Does 9 divide s(-3)?
False
Let r(u) = u**2 - 45*u - 40. Does 12 divide r(-16)?
True
Let s = 7 + 4. Let j = -17 + s. Let v = 36 - j. Does 11 divide v?
False
Let j = -2125 + 2468. Is j a multiple of 3?
False
Suppose -3*s + 576 = -0*s. Is s a multiple of 6?
True
Let v = 752 - -125. Is v a multiple of 14?
False
Let a(k) = 6*k**2 - k + 1. Let s be a(1). Let i be s*(0 + 1) + -3. Let p = 20 - i. Is p a multiple of 9?
False
Suppose 684 = 13*r - 19*r. Let q = r + 154. Does 3 divide q?
False
Let q(f) = f**2 - 17*f + 14. Let o be q(16). Let d(b) = 5*b**2 + 4*b + 2*b**2 + 2*b**2 + 19*b**2 + 4. Is 25 a factor of d(o)?
False
Let k(s) = -s. Suppose -2*r = -7*r - 25. Let p be k(r). Suppose l + p = 58. Does 10 divide l?
False
Is ((-18)/(-15))/((-9)/(-7740)) a multiple of 86?
True
Let f(q) = 3 + 0 + 8*q**2 - q**3 + 10*q + 4. Let i be f(9). Suppose 0*g = -4*g + i. Does 3 divide g?
False
Suppose 5*p = f - 36, 3*p + 30 - 4 = f. Let d(i) be the first derivative of i**4/4 - 11*i**3/3 + 9*i**2/2 - 8*i - 33. Does 13 divide d(f)?
True
Let a = 353 + -127. Let w = 351 - a. Is w a multiple of 17?
False
Let r(k) be the second derivative of k**5/20 + k**4/2 + 2*k**3/3 + 11*k. Let y be r(-5). Suppose -d + 180 = y*d. Is d a multiple of 11?
False
Let j(s) = s**2 + 13*s + 2. Let g be j(-13). Is (g/(-15))/((-5)/200)*15 a multiple of 8?
True
Suppose -3*n = -4*f + 2*f - 1005, -n + f + 335 = 0. Is n even?
False
Let n(w) = -23*w + 24. Let a(z) = -8*z + 8. Let o(k) = -17*a(k) + 6*n(k). Let r be o(8). Does 6 divide (5 + -1)/(r/(-12))?
True
Let x(z) = 140 - 2*z**2 + 15*z - 26*z + 10*z. Is x(0) a multiple of 12?
False
Suppose 4*y - 5602 = 5*m, 2*m = -3*y + 7*m + 4204. Is 90 a factor of y?
False
Suppose -146 - 170 = -4*h. Suppose -4*i + 93 = -i. Let t = h - i. Is t a multiple of 16?
True
Suppose 5*v + 2*n - 4849 = 0, 79*v - 5*n + 2898 = 82*v. Is 24 a factor of v?
False
Is 23 a factor of (4 - (1 + -324)) + 0?
False
Let v(q) = 4*q**2 - 42*q + 53. Is 5 a factor of v(-8)?
True
Let c(t) = 5*t - 45. Let j be -4 + (-594)/(-30) + 1/5. Does 9 divide c(j)?
False
Let r = 10 - 10. Let b = r - -6. Let v = b + 20. Is 13 a factor of v?
True
Let h = -47 - -48. Is (14 - 12) + h*182 a multiple of 16?
False
Let w(y) = 7 + 16 - 2*y + 0 + 2. Suppose 3*h = -2*h - 95. Is 21 a factor of w(h)?
True
Let f(v) = v**3 + 6*v**2 + 4*v - 3. Let x be f(-5). Suppose 0 = 3*l - y - 87, 141 = 5*l - x*y - y. Does 2 divide 2/5 + 228/l?
True
Suppose -199 - 26 = -5*f - 4*o, 0 = 3*f + o - 128. Let x = f + -7. Is 8 a factor of x?
False
Let u(m) = -m + 29. Let x(o) = 3*o - 117. Let c(h) = 9*u(h) + 2*x(h). Suppose -5*b = -5*q - 10, 0 = -0*q - 4*q + 5*b - 10. Does 4 divide c(q)?
False
Suppose -2*r - 2*r = -100. Let g = r - -3. Is g a multiple of 14?
True
Suppose 108*c - 3340 = 103*c. Is 13 a factor of c?
False
Suppose 2*w + 4*r - 878 = 0, r - 292 = -2*w + 601. Does 10 divide w?
False
Suppose -5*w + 9 = -0*w + 3*b, w - 4*b + 12 = 0. Suppose 0 = -w*j + 3*j - 111. Does 26 divide j?
False
Let n = 6 - 2. Suppose -5*t = 5*y - 870, 2*y - 344 = 4*t - 5*t. Suppose -r - n*r + y = 0. Does 17 divide r?
True
Let d = -683 - -1736. Is d a multiple of 27?
True
Let l = 2456 + -2287. Is l a multiple of 6?
False
Let g(k) = 3760*k - 90. Does 13 divide g(2)?
False
Let l be 277/3 - 8/24. Let w = 267 - l. Is 31 a factor of w?
False
Suppose 2*f + 6 - 24 = 2*t, 2*f - 33 = 5*t. Let k = 0 + f. Suppose -35 = -k*u + 13. Is 5 a factor of u?
False
Let c = 25 - 29. Is 12 - -1 - (c - -2) a multiple of 5?
True
Suppose 3*c - 147 = 3*s, -142 = -23*c + 20*c - 2*s. Does 8 divide c?
True
Let f be (-4 - 8/(-2))/3. Suppose -5*o + 1279 + 331 = 5*w, f = w - 2. Does 16 divide o?
True
Suppose 9*w = 4*w. Suppose 2*o + w*o - 198 = 0. Is 33 a factor of o?
True
Let y(m) = m**3 + 5*m**2 - 5*m + 2. Let i be y(-5). Let h = i - -21. Let g = h + -22. Is 9 a factor of g?
False
Let u(n) = n**2 + 4*n + 6. Let t(v) = v**2 + 8*v + 13. Suppose -3*r = -r - 26. Let q(i) = r*u(i) - 6*t(i). Is q(-3) a multiple of 27?
False
Is (-560)/80*268/(-14) a multiple of 8?
False
Let p be -1 - 1/(0 + (-3)/9). Suppose 3*l - p*a = 8*l - 214, 5*a + 32 = l. Does 30 divide l?
False
Let t be ((-4)/(-10))/(24/360). Suppose t = -2*u + 42. Does 2 divide u?
True
Suppose -r = 2*u - 1040, 9*u + 5*r = 6*u + 1546. Is 30 a factor of u?
False
Let l be (-1958)/4 - (-7)/(-14) - 4. Let t = -317 - l. Does 22 divide t?
False
Suppose 670 = 4*r + 2*d, -5*r = -2*d - 1188 + 373. Is 7 a factor of r?
False
Let y be (-4)/14 - 210/(-49). Does 4 divide 1012/22 + y + 0/1?
False
Let p = -113 + 206. Suppose -p = -6*g + 321. Does 12 divide g?
False
Let t = -31 + 30. Let j be t/(3 - 32/10). Suppose j*d = 7*d - 48. Does 8 divide d?
True
Suppose -28*y + 408 = -27*y. Is y a multiple of 19?
False
Let g(r) = -4*r - 2. Let m be g(-1). Suppose -4*w + 5 = -3*v, 5*v = 2*v + m*w + 5. Is (4/v)/((-12)/(-450)) a multiple of 7?
False
Suppose -5*z + 45 = -3*l, 5*z - 42 = -2*l + 3. Let w(q) = 4*q + 9. Let m be w(z). Let g = 91 - m. Is g a multiple of 26?
False
Suppose -29 = 4*r - 313. Suppose r = 3*c - 163. Does 27 divide c?
False
Suppose 2*n = 3*h + 2, 0*n + 18 = 5*n - h. Suppose -3 - 13 = -n*u. Suppose -k + u*k = 72. Is 8 a factor of k?
True
Let c(g) = -18*g**3 + 2*g**2 + 4*g + 8. Let y(a) = 18*a**3 - 2*a**2 - 3*a - 7. Let k(j) = 6*c(j) + 7*y(j). Is k(1) a multiple of 3?
True
Let q = -11 + 14. Let h(v) = -11 + 21*v - 57*v**q - 17*v**2 + 32*v**3 + 26*v**3. Does 19 divide h(16)?
False
Let u be (3/(-5))/(2/(-10)). Suppose -3 - 3 = -u*d. Suppose -d*w = -6*w + 132. Is 15 a factor of w?
False
Let j be 56*(6/(-8))/(8/(-80)). Suppose -2*g - j = -8*g. Is g a multiple of 10?
True
Let h(n) = n**3 + 21. Suppose -12*x = -14*x. Suppose 0 = -0*l + l + t, x = 5*l - 3*t. Is 3 a factor of h(l)?
True
Let m(d) = -d**3 - 6*d**2 - d - 3. Let s be m(-6). Suppose 4*k = 4*a + 20, 3*a + s = -5*k + 12. Is 26 a factor of a/3 + 632/12?
True
Suppose -22 + 12 = t + 3*h, -3*t - 4*h = 10. Suppose 192 = t*g + 3*k, 2*k = 5*g - 6*g + 97. Is g a multiple of 27?
False
Let s(x) = 6*x**2 - 4*x - 8. Let z be s(-2). Suppose 5*b - b + n - 46 = 0, 0 = -3