ose 3*j - 117 = -2*d, -r*d - 84 - 21 = -3*j. Does 19 divide j?
False
Suppose 4*x - 3*x + 5*v = -17, v + 16 = 4*x. Suppose m - 424 = x*b + 391, 4*b = m - 818. Is 23 a factor of m?
False
Let b be 21 - 2*(1 + 2). Suppose 7*u = b*u - 1912. Is 29 a factor of u?
False
Let q = 26398 - -22349. Is q a multiple of 17?
False
Let d = -81 + 72. Is 3/d*-6 - 245/(-1) a multiple of 13?
True
Let z(c) = 27*c - 215. Let j(f) = f. Let i(y) = -4*j(y) - z(y). Does 13 divide i(-18)?
False
Suppose l = -4*l - 4*f - 5, -5*l = -f - 20. Let o(b) = b**3 + 2*b + 4. Is o(l) a multiple of 2?
False
Let w = 5566 - -6763. Does 168 divide w?
False
Suppose 2*s - 3*r - 9 = -0*s, -68 = -4*s - 4*r. Let u(o) = -2*o - 2. Let z be u(-1). Suppose z = -b + s + 8. Is b a multiple of 4?
True
Suppose -44*i + 28138 = 5*n - 42*i, 8*i = 32. Is 29 a factor of n?
True
Suppose -10*w + 9*w - 3 = 0. Let r = 1 - w. Suppose u + 5*o - 6 = 1, 3*u + r*o = 10. Does 2 divide u?
True
Let z(f) = 19*f + 165. Let n be z(-27). Let m = n - -488. Does 9 divide m?
False
Suppose -7*h + 5*h - 4 = 0. Let a be (131796/8 - 0)*(-4)/(-3). Does 25 divide (a/(-15))/(-7) + h/10?
False
Suppose 5*c = 2*v + 48, 3*v - 5*c = -3*c - 72. Let x = -20 - v. Suppose 3*t = 4*f - 231, -x*f - t + 50 + 161 = 0. Does 13 divide f?
False
Let c = -33157 - -46916. Is 40 a factor of c?
False
Suppose -21*m + 28*m - 49 = 0. Suppose m*i - 3657 = 1635. Is 40 a factor of i?
False
Let w(n) = 38*n**2 - n + 14. Let x be w(5). Let k = x - 706. Is k even?
False
Let x(y) = y**2 - 49*y + 9036. Is x(160) a multiple of 174?
True
Let q(v) = v**2 + 3*v + 4. Let i be q(-1). Let h be -3 + (i - (-3 + 5)) - -74. Let b = -62 + h. Is b a multiple of 2?
False
Suppose y - 2985 = 6*y - 5*l, 4*l = 3*y + 1792. Let o = y + 965. Is 13 a factor of o?
False
Let b(u) = u**2 - 20*u + 90. Let g be b(14). Does 20 divide 4/g - 16975/(-21)?
False
Suppose 3 = -4*a + 11. Let p(k) = 2*k + 1. Let h be p(a). Suppose 0 = -h*b + 20 + 85. Is b a multiple of 3?
True
Suppose -5*j - 4*p + 18 = -2, -15 = -3*p. Let q(w) = 4*w - 2*w + 7 + 0*w. Does 7 divide q(j)?
True
Let a = 1477 + -2775. Let j = -218 - a. Is 16 a factor of j?
False
Let h(j) = -68*j - 1535. Does 12 divide h(-83)?
False
Let s be (-3)/(-5) + 99/(-165). Suppose 3*p + 5*a - 6277 = s, 4*p - 2*a = 2941 + 5463. Is 18 a factor of p?
False
Suppose 5*k + 4*c = c - 438, 0 = 2*c - 8. Is ((-1)/6 - (-18345)/k)*-1 a multiple of 12?
True
Let q be (-22)/(-77) + (-26)/(-7). Suppose -51 = q*u + 149. Let o = -37 - u. Does 3 divide o?
False
Suppose 101*p - 401669 = 541663 + 1082425. Does 9 divide p?
False
Let r be 1848/55 + (-2)/(-5). Let o = r + -32. Suppose 14 = 4*d + o, -d + 17 = 2*f. Is 2 a factor of f?
False
Let r(z) = 16*z**3 - 11*z + 14. Let p be r(3). Suppose 2121 = 2*j - p. Is 12 a factor of j?
False
Let a(x) = -x**3 - x**2 - x - 1488. Let c be a(0). Is (2 + 1 - 4)/(3/c) a multiple of 64?
False
Let a(y) = -7*y**2 + 384*y - 89. Does 21 divide a(23)?
True
Suppose 25 = -4*n + 865. Suppose 0 = -685*c + 680*c + n. Does 14 divide c?
True
Let t(d) = d**3 + 5*d**2 - 7*d - 8. Suppose -8*g + 9 = -7. Suppose 0 = 3*x, b - 5*x = -g*b - 15. Is t(b) a multiple of 18?
False
Suppose -74*l + 214396 = -12*l. Is 133 a factor of l?
True
Suppose -685 = 5*i - 5*k, k + 715 = -0*i - 5*i. Let b be 296*-1*(-2 + 1)/1. Let g = i + b. Is g a multiple of 22?
True
Let f be 2/(-6)*3 - (-5)/(15/1944). Suppose -4*h + 5 = -3. Suppose -p = 4*p - 3*g - f, h*p + 4*g = 264. Does 13 divide p?
True
Let v = -12065 + 18854. Is v a multiple of 17?
False
Let w be 0 + 21/(210/3100). Suppose -w - 2330 = -15*y. Does 3 divide y?
False
Suppose -a - 2 = -h, -a + 0 - 12 = 4*h. Is ((-15)/(-12))/5 - 1063/a a multiple of 44?
False
Let u(y) = y**3 - 6*y**2 - 5*y - 19. Suppose -5*l + 2*i + i + 23 = 0, -2*l + 2*i = -6. Let g be u(l). Does 10 divide 2/g - 324/(-10)?
False
Suppose -30*r - 112420 = -100*r. Is r a multiple of 22?
True
Let p(u) = 1583*u**2 - 19*u - 9. Is p(-3) a multiple of 81?
False
Suppose 719362 + 94644 = 136*k - 78154. Does 20 divide k?
True
Let p(z) = z**3 + 55*z**2 - 36*z - 177. Is p(-25) a multiple of 108?
False
Let m(s) = 2*s**3 - 4*s**3 - 2*s + 13304 + 0*s**2 + 4*s**2 - s - 13313. Let y = 5 - 8. Is 3 a factor of m(y)?
True
Let p(h) = -16*h**3 + 30*h**2 - 16*h - 102. Is p(-9) a multiple of 12?
True
Does 37 divide 159560/15*(0 - 18/(-8))?
False
Suppose -2*f + 109 + 647 = -2*j, 0 = -3*f - 5*j + 1134. Suppose -5*l + f = -2*l. Is 7 a factor of l?
True
Let w(y) = y**2 + 2*y + 39. Let a be w(-9). Let f = a + -93. Suppose f*m = 12*m - 303. Does 31 divide m?
False
Let o(d) = 346*d**2 + 3*d + 7. Let x be o(-2). Suppose -2675 = -10*h + x. Is h a multiple of 29?
True
Let u(j) = -11*j - 272. Let i be u(-25). Suppose 3*p = -3*r + 1803, -i*p - 10 = -5*p. Is r a multiple of 24?
False
Suppose 0 = -2*a - 2*m + 8820, 17675 = 4*a + 184*m - 187*m. Is a a multiple of 10?
False
Let v be (-26 - -32)*3/2. Is 60 a factor of ((-387)/6)/(v/(-54))?
False
Let u(f) = -22*f**3 + 6*f**2 + 33*f - 7. Is u(-5) a multiple of 22?
True
Let x(g) = 3*g**2 + 3*g + 28. Let b be x(-7). Is 3 a factor of (33/7)/(22/b)?
True
Let j = -7 - -3. Let i be -4 + (0 - -1) - (j - -2). Is i/(-2) - -89*(-1)/(-2) a multiple of 9?
True
Suppose -6*k + 3*k = -5*q - 37, -15 = 3*q. Let m(p) = 2063 + 5*p**2 + 2058 + 0*p + 2*p - 4125. Does 12 divide m(k)?
True
Let q(w) be the second derivative of w**3 - w**2/2 - 37*w. Let r be q(1). Suppose -2*y = 4*x - x - 307, 4*y - r*x - 603 = 0. Is y a multiple of 38?
True
Let c = 1825 + 497. Does 54 divide c?
True
Let p(n) = -n**2 + 3*n - 5. Suppose 17*a - 14*a = 6. Let x be p(a). Does 12 divide -4 + (4 - x)*10?
False
Suppose -480 = -2*p - 26. Suppose -p*x + 235*x = 2016. Is x a multiple of 12?
True
Let d(k) = -228*k + 24. Let b be d(3). Does 11 divide b/(-2)*((-91)/39)/(-7)?
True
Let f be 21/(-14) - 26/4. Does 47 divide 210920/320 + 1/f?
False
Suppose 2 = -5*c - 3*b, 0 + 8 = 2*c - b. Suppose 5*y = w + 107, w = -c*y - 1 + 48. Is 19 a factor of (-832)/(-22) - y/(-121)?
True
Suppose 5*w = 3*q - 17600, -8*w = 2*q - 10*w - 11740. Is 5 a factor of q?
True
Let m(z) = -z**3 - 9*z**2 + 7*z - 12. Let c(u) = u**3 + 10*u**2 - 7*u + 13. Let p(q) = -3*c(q) - 2*m(q). Is p(-13) a multiple of 3?
True
Suppose 0 = 4*r - 20 - 8. Suppose 0 = -11*y + r*y + 20. Suppose 2*v - 80 = -4*x, 5*v - y*x - 133 = 67. Is v a multiple of 8?
True
Suppose 0 = -5*m + 12*a + 113098, -9*m + 4*m - 4*a = -113034. Does 238 divide m?
True
Let r(u) = -16*u - 125. Let t be r(-8). Suppose 2*p - 4*m = 1962, 1068 = 2*p - t*m - 893. Is 73 a factor of p?
False
Suppose 0 = -2*g - 4*l + 1188, 3*g + 139*l - 1793 = 144*l. Is 17 a factor of g?
False
Suppose -14 = 4*m - i + 5, 0 = 2*m - 5*i + 23. Does 15 divide 2/((-2)/(-167)) + m + 7?
False
Suppose -2*g + 29664 = -a, g + 14*a - 14842 = 17*a. Does 29 divide g?
False
Let x = 3 - 7. Let j be (-60)/(2/x - (-1)/3). Let y = j - 231. Does 18 divide y?
False
Suppose -5*u + 3*u + 8 = 0. Let q be (22 + -4)*22/u. Let m = q - 45. Is 3 a factor of m?
True
Suppose -4*b = -o - 29, -o = -2*b + 4*o + 37. Let v(n) = 11*n + 66. Is 22 a factor of v(b)?
True
Let x(o) = 7*o - 12. Let f be x(5). Suppose 3*p - a - 11 = p, f = p - 4*a. Suppose -z = 2, -p*z + 8*z = -4*d + 758. Is d a multiple of 24?
True
Suppose -q + 18 = -14. Let d = -28 + q. Suppose 2*s = -d*s + 294. Does 7 divide s?
True
Does 9 divide 5 - 615/125 - (4 + 1389740/(-125))?
False
Suppose -2*f + 2*u - 6*u - 1072 = 0, 2674 = -5*f - 4*u. Let x = f + 608. Is x even?
True
Let s be (-2)/1 - 139*(-6)/3. Let y = -144 + s. Does 6 divide y?
True
Let r be -3 - (24/10)/(6/(-15)). Suppose -r*u + 1673 = 5*f, 0 = -3*u - f - f + 1688. Is u a multiple of 13?
False
Suppose -15*v = -198262 - 4178. Does 14 divide v?
True
Is 10 a factor of (21450/24)/((-6)/(-24)) - 30/(-6)?
True
Let q = 3156 - 303. Is q a multiple of 27?
False
Suppose -697 = -4*v - d, -2*v + 1234 = 5*v - 3*d. Suppose -157 - 107 = -k. Let w = k - v. Is 14 a factor of w?
False
Suppose 2*c - 5*c = 4*f + 483, 5*f + c = -590. Is 17 a factor of 8/(24/f)*-4*3?
False
Let i(s) be the third derivative of -2*s**5/15 + s**4/6 - s**3/3 - 30*s**2. Let k be i(3). Let b = k + 162. Is 50 a factor of b?
True
Let z = 46 - 39. Suppose -2*b = -z - 1. Suppose 0 = -t - b*t + 720. Is t a multiple of 17?
False
Let z be (-12)/5*(-150)/(-12