- 23, i + 2*i + 1 = -n. Let m be ((-4)/(-8))/(1/i). Does 11 divide (-18)/(-36) - ((-117)/2 + m)?
False
Let f = -45 - -49. Let w be (-80)/(-4) - f/(-1). Let x = 51 - w. Does 8 divide x?
False
Suppose -4*n + 14 = 2*c - 0*c, -5*c + 15 = 5*n. Suppose -n*z = -298 - 150. Is 16 a factor of z?
True
Let b(c) = 49*c**2 - 1. Let h be 16/(-20) + 416/20. Let d(r) = r**3 - 18*r**2 - 40*r + 1. Let q be d(h). Does 8 divide b(q)?
True
Let h(w) = 1570*w + 811. Is 42 a factor of h(3)?
False
Let u = -8 + 7. Let k(v) = 23*v**2 + 3*v + 1. Let y be k(u). Suppose 2*q - y = 177. Is 33 a factor of q?
True
Let c(g) = 264*g - 70. Let b = 730 - 726. Is 58 a factor of c(b)?
True
Suppose 3*h - 1007 = -5*j - 59, 5*h - 1580 = -4*j. Suppose 9*c = -3*u + 7*c + h, 77 = u - 5*c. Is 4 a factor of u?
False
Let a(y) = -2 - 3*y**2 - 3 + 3 - 3*y**2 + 2*y + y**3. Let p be a(6). Is 23 a factor of (12/p)/((-10)/(-425))?
False
Suppose 0*h + 65*h - 345307 = -81277. Is 23 a factor of h?
False
Let s be 6 + -2 + (4 - 10). Is 32 a factor of ((-224)/5)/(s/10)?
True
Let u(i) = 6*i - 2 - 9 - 2*i**2 + 26. Let j be u(-4). Let t = j - -49. Does 5 divide t?
False
Let o(v) = 78*v**3 + v**2 - 3*v - 5. Let k be o(-1). Let t = 221 - k. Is t a multiple of 5?
True
Suppose 18*a - 2274 = -4*j + 20*a, -2271 = -4*j + 3*a. Suppose j = 4*c - 422. Does 31 divide c?
True
Suppose -5*u + 79 = -261. Let s be 1/(-3) + 122/6. Suppose j = d - 2*d + s, u = 3*j + 5*d. Is 4 a factor of j?
True
Let i = 20393 - 18463. Is 5 a factor of i?
True
Suppose 4*m - v = 1, 21*v = -2*m + 17*v - 4. Suppose m = 32*i - 42*i + 720. Does 4 divide i?
True
Suppose -s - 117973 = -11*u + 74828, -5*s - 52549 = -3*u. Is 23 a factor of u?
False
Suppose 5*w - 21792 = 5*m + 10673, 2*m = -2*w + 12994. Does 15 divide w?
True
Let b = -771 + 926. Suppose b*o - 320 = 150*o. Is 8 a factor of o?
True
Let g(p) = -3*p**3 - 6*p**2 + 23*p - 7. Let f be g(5). Let k = f - -622. Is 65 a factor of k?
False
Suppose 32674 = 14*w - 19686. Is 55 a factor of w?
True
Let o be (-1624)/(-8) + 8/4. Does 73 divide (-82)/o + 1912/5?
False
Let q = -5472 - -8115. Is q a multiple of 26?
False
Suppose -3*r = -18*r - 660. Is 14 a factor of 6*-7*r*12/72?
True
Let m(j) be the second derivative of -j**3/6 + 19*j**2/2 - j. Suppose 64 = 12*r - 28*r. Is 12 a factor of m(r)?
False
Suppose 1765 = -6*c - 971. Let g = c - -476. Is g a multiple of 19?
False
Let m = -4515 - -5587. Is m a multiple of 67?
True
Let s = 50 + -48. Is 15 a factor of (s + (-33)/3)*73/(-3)?
False
Suppose -39959 = -9*u - 197. Is u a multiple of 94?
True
Let s be 2*(-1 - (-5292)/8). Let w = -891 + s. Is 18 a factor of w?
False
Let t(b) = 22*b**2 - 19*b + 856. Does 29 divide t(27)?
False
Let f(o) = 2*o**3 - 3*o**2 - 4*o + 5. Let v be f(3). Suppose -6*k = -4*k + v. Does 21 divide 2674/35 - (-4)/k?
False
Let k = 674 - 512. Is 7 a factor of 2/(-12) - (-79407)/k?
True
Let t(w) = w**3 - 4*w**2 - w + 6. Let m(g) = g**2 - g + 4. Let h be m(0). Let c be t(h). Suppose -c*y + 33 = -3. Is 6 a factor of y?
True
Let t(n) = -5*n**3 + 3*n**2 - 2*n - 1. Let g = 54 + -53. Let c be t(g). Is 28 a factor of (c/(-15))/(5/3180)?
False
Suppose v - 453 = -36. Suppose 0*g + 24 = 5*g + 14. Suppose 0 = g*k - v - 13. Does 10 divide k?
False
Let p be (15/6)/5*(20 - 18). Is (589*(-9)/18)/(p/(-4)) a multiple of 62?
True
Suppose 2 = 2*i, q - i - 291 - 489 = 0. Suppose 6*b = 47 + q. Suppose 4*y - b = y. Is y a multiple of 14?
False
Suppose -c = -2*v - 428, -3*c + 3*v + 857 = -c. Let x = -14045 + 14045. Suppose 4*l + 10 - c = x. Is 21 a factor of l?
True
Let b = 1235 + -1169. Let d(t) = -65*t + 4. Let j be d(-10). Does 22 divide b/99*j/4?
False
Let f(t) = 21*t**2 - 132*t + 1698. Is 69 a factor of f(24)?
True
Let h = 5249 + -2045. Let g = h + -2214. Is g a multiple of 9?
True
Let w be 2088/27 + (-2)/6. Let g = -5 - -83. Suppose 2*t - g = -f, -5*f = -2*t + w + 1. Is t a multiple of 14?
False
Let w be (-3)/(-7) + 3046/14. Let u = 315 - w. Does 10 divide u?
False
Let u(v) = -v - 26. Let r be u(16). Is (1 - 42)/(2*3/r) a multiple of 41?
True
Let l be 42/(-8)*(0 + 9 - 85). Is 153/3*l/63 a multiple of 17?
True
Let f(w) = 3*w - 40. Let o be f(13). Is o - -106 - (-2 - (-2 + -1)) a multiple of 36?
False
Let v(j) = 8*j - 57. Let p be v(8). Let m(a) be the third derivative of -a**5/60 + a**4/3 + 5*a**3/2 - 2*a**2. Is m(p) a multiple of 11?
True
Let l(n) = 45*n**2 - 12*n - 15. Let i(s) = -30*s**2 + 8*s + 10. Let b(y) = 7*i(y) + 5*l(y). Does 11 divide b(4)?
False
Suppose 0 = -60*s + 56*s + 40. Let l(k) = 12*k + 47. Is l(s) a multiple of 8?
False
Let w = -16108 - -26701. Is w a multiple of 33?
True
Let j = 255 + 1424. Let h = 2409 - j. Is h a multiple of 20?
False
Let r(d) = 118*d**2 - 44*d - 222. Is r(-6) a multiple of 33?
True
Let s(j) = -13*j**3 - 2*j**2 + 30*j + 4. Does 15 divide s(-16)?
True
Let o(j) = -3*j - 46. Let z be o(-17). Suppose -z*a = 4*a - 261. Suppose 2*l + 131 = 5*b, 2*l - a = -4*b + 65. Is 4 a factor of b?
False
Let d(c) = 729*c - 1577. Does 30 divide d(10)?
False
Let u(x) = 41*x + 272. Let n be u(-8). Let w = 101 + n. Is 13 a factor of w?
False
Suppose -6*w = -13*w + 7. Let d = -16 - -8. Does 2 divide (-4)/(d/10) - (w + 0)?
True
Suppose 4*l + 14*l = 21196 + 98. Is 10 a factor of l?
False
Let n(b) = -307*b**3 + 6*b**2 - 8*b + 5. Let z(d) = 614*d**3 - 11*d**2 + 15*d - 9. Let k(a) = 5*n(a) + 3*z(a). Does 32 divide k(1)?
False
Suppose 884 = 27*h - 14*h. Let n = 131 - h. Does 14 divide n*(1 - 5/15)?
True
Let g = -18594 + 26222. Is g a multiple of 43?
False
Let k(u) = 23*u**2 - 22*u**2 + u**3 + 4 + 6*u**2 + 11*u + 7*u**2. Suppose -5*c + 6*c + 12 = 0. Does 16 divide k(c)?
True
Let u be 2 - -187 - (-33)/11. Suppose 4*q + 16 - u = 0. Is q a multiple of 11?
True
Let j be ((-48)/40)/((-6)/740). Suppose -3*q + 3*s = 22 - 502, -q - 5*s + j = 0. Suppose -q - 6 = -k. Is k a multiple of 13?
False
Let y(l) = 5*l**2 - 2*l - 40. Let w(u) = -5*u**2 + 2*u + 40. Let b(n) = 3*w(n) + 4*y(n). Is 44 a factor of b(-6)?
False
Suppose -4*s + 27702 = -3*c, -13856 = -2*s + 22*c - 23*c. Suppose 0 = -10*u + s - 1777. Does 4 divide u?
False
Let f(o) = 83*o + 7728. Is 28 a factor of f(0)?
True
Let u = -8356 + 13529. Does 74 divide u?
False
Let b = -241 + 947. Suppose -r = r - 5*f - 488, 3*r - b = f. Does 39 divide r?
True
Let v(o) = -o**2 - 2*o + 212. Let h be v(-16). Is 9 a factor of (194 + -1)*6/h*-6?
False
Let o(h) be the first derivative of -h**2/2 + 45*h - 323. Let g = 62 - 44. Does 5 divide o(g)?
False
Let o(l) = 2*l**3 - 13*l**2 - 8*l + 9. Let r be o(7). Let n(j) = 1 + 6 - 3 + 18*j + r. Is 20 a factor of n(3)?
True
Suppose -32*l = -157111 - 2509513. Is l a multiple of 23?
False
Let w be ((-66)/(-5))/((-3)/(-40)). Let y be (-126)/420 - 63/(-10). Suppose y*v - 1012 = w. Is v a multiple of 11?
True
Let b = -192 - -192. Suppose -122*v + 124*v - 160 = b. Is 16 a factor of v?
True
Let p(k) = k**3 + k**2 + 4*k + 9. Let s be p(0). Let u(g) = 73*g + 3. Let z be u(4). Suppose z = s*r - 4*r. Does 13 divide r?
False
Let t(u) be the first derivative of -3*u**2 - 38*u + 2. Let i be t(-7). Suppose i*n - 374 = 2*v, -3*n + 3*v - 267 = -6*n. Is 18 a factor of n?
False
Let r(s) = s**3 + 9*s**2 - 3*s - 34. Let h be r(-7). Let c = h + 81. Is 46 a factor of c?
False
Is (3 - 7788/20)*(-2220)/37 a multiple of 126?
True
Let f = 217 + -227. Does 30 divide ((-4)/f)/(2/(-7 - -2467))?
False
Let q = 2633 - 1723. Suppose -11*f = -q - 278. Is 36 a factor of f?
True
Let i(c) = -c**2 + c + 1. Let j(z) = -87*z**2 - z - 7. Let w(f) = 2*i(f) - 2*j(f). Is 17 a factor of w(-2)?
False
Let a = -2397 - -3937. Is 11 a factor of a?
True
Let n(o) = -o**3 - 17*o**2 - 2*o - 35. Let u be n(-17). Let z(k) = -437*k**3 - 2*k**2 + 2*k + 5. Does 12 divide z(u)?
False
Let l = -824 - -1455. Suppose 12*y - 4315 = -l. Suppose 5*f - y = -3*c, -2*c = -3*f - 4*c + 185. Does 14 divide f?
False
Suppose 1 = 4*c - 11. Suppose -2*j - 3*h + 386 = 0, -c*h - 594 = -j - 2*j. Is j a multiple of 28?
True
Let z(a) = -a**2 + 4*a - 10. Let j be z(4). Let d = j - -10. Suppose d = -2*i + 8, -3*r + 5*i + 268 = 0. Is 43 a factor of r?
False
Let p be (-2939)/5 + (-2)/10. Is 4 a factor of p/(-6) + (-42)/(-6)?
False
Let r(u) = -161*u + 428. Is 6 a factor of r(-9)?
False
Let u(a) = -2*a - 1. Let q be u(-3). Let v(o) = 5*o - 9 - 2*o**3 - 6 + 8 + 4*o**