se -3*x + c = -2*g, -g = -4*g - 5*x - 28. Let i(k) = -12*k + 1. Does 11 divide i(g)?
False
Let f(l) = 112*l - 3. Is 9 a factor of f(4)?
False
Let i = -9 - -11. Let j be i/1 + -10 + 8. Suppose 0*h - 2*h + 114 = 3*q, j = -h + 3. Is 12 a factor of q?
True
Suppose 4*n - 1506 = -270. Is n a multiple of 14?
False
Let o(v) be the first derivative of -v**2/2 - 9*v - 2. Let s be o(-12). Suppose -5*u + 232 = s*i, 4*u = -3*i + u + 222. Is i a multiple of 23?
True
Suppose -5*l + 4*l = -4*d, -d = -3*l - 22. Let k = -14 - l. Let s = k + 26. Does 10 divide s?
True
Suppose -23*d = -20*d + 405. Does 22 divide (-4)/(-30) + (-2952)/d?
True
Let p(b) = -b**3 - 7*b**2 + 2*b - 9. Suppose -v = 13 - 5. Does 11 divide p(v)?
False
Let a(b) = b**2 - 9. Let f = 11 + -18. Let r be a(f). Suppose -i + s = -3*s - r, 3*s = -i + 68. Is i a multiple of 14?
True
Let f(r) = r**2 - 5*r + 6. Let i be f(4). Let o be 2*((-1 - -1) + i). Let w(k) = k**3 - 4*k**2 + 4*k + 5. Is w(o) a multiple of 7?
True
Suppose 52*b = 46*b + 2916. Is b a multiple of 71?
False
Suppose 4585 = -36*d + 41*d + 5*f, -d + 4*f = -892. Does 38 divide d?
True
Let y(s) = -11*s - 18. Is 5 a factor of y(-4)?
False
Let d(o) = -2*o**3 + 7*o**2 + 6*o + 10. Is 21 a factor of d(-2)?
True
Let h = -15 - -22. Let k(r) = -r**2 + 11*r - 8. Let j be k(h). Let v = -1 + j. Does 7 divide v?
False
Let u(l) = 10*l**2 + 5*l - 81. Is 18 a factor of u(9)?
True
Suppose 8*x = 3*x + 615. Suppose -36 = m - x. Is m a multiple of 29?
True
Is 2 a factor of (-516)/(-7) - (26/(-91) + 0)?
True
Is 37 a factor of (1406/(-4))/(((-20)/(-4))/(-10))?
True
Let l = 85 - -170. Is l a multiple of 15?
True
Let o = 1105 + -65. Is o a multiple of 13?
True
Let i(w) = 25*w**2 - 21*w - 9. Does 25 divide i(-4)?
True
Let x = -302 - -320. Does 6 divide x?
True
Let k(l) = -l**3 + 12*l**2 - 12*l + 15. Let x be k(11). Suppose j - 28 = -2*q - 3*j, x*q = -3*j + 46. Is q a multiple of 2?
True
Let r(l) = -2*l**3 - 17*l**2 - 10*l + 1. Let z be r(-8). Suppose 2*c + z = 207. Is 19 a factor of c?
True
Let v = -34 - -286. Is v a multiple of 14?
True
Let n be (0 - -5 - 4)/((-1)/(-4)). Suppose d + 547 = 4*y - n*d, -5*y + 674 = -3*d. Does 19 divide y?
True
Suppose 7*n - 9632 = -36*n. Is 12 a factor of n?
False
Suppose -10*f + 12*f - 912 = 0. Is f a multiple of 9?
False
Let g(y) = 5*y**3 - 2*y**2 + 4*y - 5. Let v(b) = -4*b**3 + 3*b**2 - 3*b + 4. Let z(m) = 3*g(m) + 4*v(m). Let h be z(6). Is 30 a factor of (36/42)/(h/35)?
True
Suppose 4 - 1 = b. Suppose -b*z = -z - 152. Is 17 a factor of z?
False
Let m be 5109/12 + (-1)/(-4). Let i be m/18 + 2/(-3). Suppose d - i + 1 = 0. Is d a multiple of 22?
True
Suppose -5*i - u = u - 18, -4*i + 2*u = -18. Suppose i*g - 120 = g. Suppose 5*n - g = n. Is 5 a factor of n?
True
Let k = -74 - -77. Suppose 0 = -b - 7*v + k*v + 255, b + 5*v = 260. Does 37 divide b?
False
Let i = 23 - 14. Let u(a) = 3*a**2 - 24*a + 5. Is 9 a factor of u(i)?
False
Let q = 3937 + -2807. Is 113 a factor of q?
True
Let c = 22 + -22. Suppose c = 2*l - 0*l - 5*d - 195, -d - 93 = -l. Suppose x - 18 = -2*h + h, 5*h - l = -4*x. Is h a multiple of 8?
False
Suppose -629 = -47*w + 4635. Does 28 divide w?
True
Suppose -l - 196 = -4*s, -23*l + 148 = 3*s - 24*l. Is s a multiple of 8?
True
Suppose 2*i - 162 = -118. Let a(o) = o**3 - 21*o**2 - 21*o + 53. Is a(i) a multiple of 45?
False
Suppose 5*u = 2*l + 8, 3*u - 4 = -l + 3. Let i(v) = 0 - 5 - u + 3*v. Is 12 a factor of i(7)?
False
Let p(s) = 15*s**3 - s. Let r be p(-1). Let u be (-4 + 1 + 2)*r. Let d = u - 7. Is d a multiple of 2?
False
Is 1032/15*((-105)/(-7) + -5) a multiple of 16?
True
Let w(t) = 35*t**2 + 7*t - 7. Let c(p) = 1. Let i(g) = -18*g**2 - 4*g + 5. Let k(j) = -c(j) + i(j). Let v(m) = 5*k(m) + 3*w(m). Is v(1) a multiple of 9?
False
Suppose 25*c = 23*c - 10. Suppose -d - 2*s + 43 = 0, 2*s + 148 = 5*d - 19. Does 20 divide 889/d - 3/c?
False
Suppose b = 6*b - 465. Suppose 5*d + b = 6*d. Is d a multiple of 31?
True
Suppose 161 = 7*q - 6*q + 4*n, 3*q - 2*n = 469. Is q a multiple of 7?
False
Let c(d) = 2*d**2 + 6*d + 2. Let n be c(-4). Let z = n - -10. Is 10 a factor of z?
True
Let d(c) = 81*c + 1. Let w be d(-6). Let i = 684 + w. Does 11 divide i?
False
Suppose t - 11 = -f + 3*t, 2*f - 3*t = 18. Let v(g) = 1 - g - 2 - 1 + g**3 - 2. Does 20 divide v(f)?
True
Is 10 + ((-3)/(-1) - -1907) a multiple of 32?
True
Let a = 293 - 150. Is a a multiple of 22?
False
Suppose 8*m + 8048 = -8*m. Let s = m - -767. Is s a multiple of 45?
False
Let p be (-74)/(-14) + (-8)/28. Suppose 5 = 8*o - 7*o, p*o + 230 = 5*g. Is g a multiple of 8?
False
Suppose 0*d - 2*l = 4*d - 224, -d + 62 = 2*l. Suppose -2*p + 98 = -d. Does 19 divide p?
True
Let o = 2680 + -173. Does 100 divide o?
False
Suppose 141 = 2*j + 5*k, -j + 103 - 19 = -2*k. Let y = 195 - 153. Let u = j - y. Does 18 divide u?
True
Let d = 467 - 1387. Is 7 a factor of d/(-22) - (2 - 24/11)?
True
Suppose -592*v + 480 = -590*v. Is 15 a factor of v?
True
Let z(n) = 5*n**3 - 9*n**2 + 11*n - 9. Is 9 a factor of z(4)?
False
Suppose -b = -37 + 55. Let r = 4 - b. Does 2 divide r?
True
Let u(x) = x - 6. Let l be u(8). Suppose 0 = -0*a + l*a - 22. Let w = a + 1. Is 4 a factor of w?
True
Let j = -33 - -15. Let y = j + 17. Let k = y + 49. Is 8 a factor of k?
True
Let l = 17 + -18. Is (-2 + 6)*l/((-1)/24) a multiple of 21?
False
Suppose -3*b + 1287 = -o, -4*b - 3*o = -2*o - 1723. Does 43 divide b?
True
Does 12 divide 7/((-126)/(-4)) + (-14752)/(-36)?
False
Suppose 0 = 3*j + 3*r - 3195, 4*r - 2758 = -3*j + 433. Is j a multiple of 13?
False
Suppose 5*i + 18 = -3*b, 4*i + 5 = -3*b - 10. Does 11 divide 22/((b/5)/(4/(-10)))?
True
Let u be 6*12/9 + -3. Suppose -5*f + 11 = -4. Suppose u - 83 = -f*s. Is s a multiple of 5?
False
Let m = 165 + -34. Is 18 a factor of m?
False
Suppose -10592 + 3860 = -18*v. Is v a multiple of 5?
False
Let g = -69 - -234. Is g a multiple of 15?
True
Suppose 5*x - 248 = x. Let d = x + 7. Does 23 divide d?
True
Let f = 134 - 98. Suppose f*t - 38*t = -340. Is t a multiple of 6?
False
Let i = 124 - 67. Suppose -5 = -5*z, 0*n - i = -4*n - 5*z. Is n a multiple of 7?
False
Suppose -2*d = 6, -4*p + 3*d = 18 + 57. Let h(z) = -5*z - 4. Let w be h(-5). Is 282/w + (-12)/p a multiple of 9?
False
Suppose -22398 = -17*s - 2525. Is 96 a factor of s?
False
Suppose l = h + 33, -2*l + l - 5 = 0. Suppose 4*n = -3*p - 2 - 0, 0 = 4*p + 4*n + 4. Let t = p - h. Is t a multiple of 4?
True
Let i(r) = 34*r**2 - r. Let a be i(2). Let f = a + -14. Does 40 divide f?
True
Suppose -4*a = 5*u - 3285, -192*a + 5*u + 1635 = -190*a. Does 36 divide a?
False
Let m = -23 + 23. Suppose -2*b = m, -3*s + 345 = 2*s - 3*b. Does 10 divide s?
False
Let d(u) = -u**2 + 12*u - 16. Let v be d(10). Suppose 0 = -v*n - 5*s + 395 + 169, 2*s = -5*n + 705. Does 28 divide n?
False
Suppose -514*f + 520*f - 5418 = 0. Is f a multiple of 18?
False
Suppose 15282 = -8*r + 62*r. Is r a multiple of 4?
False
Let j = 36 - 30. Is 31 a factor of ((-39)/j)/(6/(-156))?
False
Suppose 5*x = 4*g + 4868, -2*g + 3 - 7 = 0. Is 29 a factor of x?
False
Suppose 8 = -4*m, 5*b + 2*m = -2*m + 7. Suppose -3*q + 4*n = -125, 0 = b*q + 4*n - 58 - 51. Is 11 a factor of q?
False
Let l(i) = 1004*i + 122. Is 71 a factor of l(2)?
True
Let k = 124 + -134. Let d(b) = -5*b + 16. Does 9 divide d(k)?
False
Let d(n) = 448*n - 233. Is 8 a factor of d(3)?
False
Let d = -2 - -3. Let k be (111 + (d - -1))*1. Suppose -2*o + k = -5*a, -o + a + 40 = 4*a. Is 8 a factor of o?
False
Suppose -13 = j - 59. Is 7 a factor of j?
False
Suppose 0 = -4*t + 16. Suppose -2*z = -3*o - t*z + 65, 0 = -3*z - 15. Is o a multiple of 15?
False
Let i = 27 + -1. Is 4 a factor of 0 - (4/2 - i)?
True
Let k = 15 + -12. Let d be (5/k)/((-3)/(-9)). Suppose 22 = d*u - 4*u. Is 11 a factor of u?
True
Let o(u) = 14*u**2 + 167*u + 15. Is 63 a factor of o(-16)?
False
Suppose -5*k + 15 = -30. Does 30 divide ((-675)/(-2))/k*4?
True
Let i(n) = n**3 - 5*n**2 + 4*n + 8. Let w(u) be the first derivative of -u**4/2 + 11*u**3/3 - 9*u**2/2 - 15*u + 1. Let x(p) = -5*i(p) - 3*w(p). Is x(7) even?
False
Let g(y) = 587*y**2 + 97*y + 192. Does 71 divide g(-2)?
False
Let f(j) = -35*j - 3. Let t be f(3). Suppose -2*a + 393 = -3*s, 2*a - 7*s + 11*s - 372 = 0. Let x = a + t. Is x a multiple of 14?
True
Let f = 664 - -1442. Does 39 div