 (-32)/(-160) + (-18)/v. Is 15 a factor of 637/13 + (2 - p/2)?
False
Suppose 2*g - 39 = -33, 3*g = -m + 18181. Does 11 divide m?
True
Suppose -3*f - 345*g + 467 = -344*g, -f = -3*g - 139. Does 11 divide f?
True
Suppose 592410 = 7*c + 58*c - 0*c. Is 31 a factor of c?
True
Suppose -2*g - 5*y + 2714 = 0, 4*g - 3*y + 125 = 5527. Is 174 a factor of g?
False
Let m(c) = c**3 - 24*c**2 + 42*c + 92. Suppose -4*t + 2*f = 6*f - 68, 0 = -5*t - 2*f + 100. Is 4 a factor of m(t)?
True
Suppose -4*c - 94 - 82 = 0. Let q = c - -47. Suppose q*m + 2*u = 166, 4*m + 4*u = 19 + 209. Is m a multiple of 19?
False
Let q be ((-304)/(-14))/(-19)*(-7)/2. Suppose 4*z - 3*m - 6377 = 0, q*z + 8*m = 4*m + 6384. Does 57 divide z?
False
Suppose -89*t - 116040 = -458067. Is t a multiple of 6?
False
Suppose -5*l + 69051 = y - 25795, -l - y + 18966 = 0. Is l a multiple of 70?
True
Suppose 6 = -z + 23. Let b = -16 + z. Does 12 divide 2 + (-4 - (-50 + b))?
False
Is 164550/63 - 2 - 216/(-2268) a multiple of 10?
True
Suppose -t = 2*j - 24 - 6, -10 = -j - 3*t. Suppose -30*m = -34*m + j. Is 6 a factor of (-6)/(-4)*3*m?
True
Let l = 320 + -191. Suppose 0 = -19*n + 18*n + l. Let i = n - 70. Is 46 a factor of i?
False
Suppose 0*t = -31*t - t + 438912. Is 81 a factor of t?
False
Suppose 4 = -w - y + 8, 2*w - y + 4 = 0. Suppose 4*g - 18 = -w*g + 5*u, 2*u = -2*g. Is g even?
True
Let m(h) = -h**3 - 27*h**2 + 60*h + 68. Let f be m(-29). Suppose 5*b = f*b - 3*p - 3429, b - 693 = 3*p. Is b a multiple of 57?
True
Let f be (-35)/10*8/(-7). Suppose -f*g + 820 = 4*x, 7*x - 5 = 8*x. Is 14 a factor of g?
True
Let i(u) be the first derivative of u**3/3 + 19*u**2/2 + 98*u - 250. Does 5 divide i(-21)?
True
Let o(i) = -i + 2. Let m(g) = -5*g - 19. Let k be m(-3). Let v be o(k). Suppose 14*s = v*s + 816. Is s a multiple of 14?
False
Let o be 0 + -3 - 16 - -1. Let u = -15 - o. Suppose 2*g - u*g + 73 = 0. Does 35 divide g?
False
Is 222 a factor of (391608/54)/((-2)/(-3))?
True
Suppose 2*h + 25 = 4*j - 5, -5*h - 45 = 5*j. Let q(o) = 5*o**2 + 32*o + 18. Is q(h) a multiple of 17?
False
Let m = 2138 + -1340. Is 19 a factor of m?
True
Suppose -4*y + 22 = 70. Let c(b) = -b**3 - 6*b**2 + 4*b - 16. Does 23 divide c(y)?
False
Let z = -499 - -494. Let n(g) = 40*g**2 + 113*g - 11. Is 4 a factor of n(z)?
True
Suppose 3*u + 3*i = -0*i + 4125, -5*i - 4125 = -3*u. Suppose -u = 2*o - 13*o. Does 6 divide o?
False
Let v be 5/(4/(48/15)). Let w be 14574/(-78) + v/(-26). Let l = -82 - w. Does 16 divide l?
False
Suppose 3*s - 7*s = -4*q - 7460, 11*q = s - 1885. Is s a multiple of 23?
True
Suppose 20*d + 19852 = 5612. Let f = d + 1189. Does 33 divide f?
False
Is ((19/12 - 1)*-2427)/((-5576)/44608) a multiple of 28?
False
Let c be (21 - 16) + (19 - 2). Suppose 6*u = c*u - 6784. Is u a multiple of 70?
False
Let z(s) = -2*s**3 - 10*s**2 - 3*s - 11. Let b be z(-5). Suppose -12 + 51 = y - 3*r, b*y + r - 169 = 0. Is y a multiple of 7?
True
Suppose 16 = 5*u - 24. Let j = u + -5. Suppose 5*a - 30 = j*a. Does 5 divide a?
True
Suppose -4*o - g = -8, o + 3*g = 5*o - 24. Suppose 8*f + b = 5*f + 490, -2*b = o*f - 494. Does 6 divide f?
True
Let m = -160 + 171. Suppose -3*n + 34 = -m. Is 14 a factor of n?
False
Let c(m) = 1477*m + 12. Does 3 divide c(1)?
False
Let n(a) = -11*a**2 + 54*a + 7. Let j be n(5). Suppose 7182 = 18*m - 13*m + 3*u, j*u = -3*m + 4309. Is m a multiple of 12?
False
Let m(v) = 2*v + 53. Let p be m(-25). Suppose -c + 12 = -p*b, -2*c - b - 2*b - 3 = 0. Suppose -3*x - 5*y + 38 = 0, 0*x + c*x - 6 = 3*y. Is x even?
True
Suppose 9*m + 5*m = 1792. Suppose 64 + m = 4*c. Is c a multiple of 8?
True
Let t(w) = -6*w + 28. Let h be t(5). Is 8 a factor of (h*21 - 0)/(-2)?
False
Suppose -8*v = 12*v + 152880. Is 26 a factor of (1 - (-8)/(-6))/(14/v)?
True
Suppose -15*y + 14*y - 7 = 0. Does 9 divide (-1046)/y + 2 + 17/(-7)?
False
Suppose -14*v + 24*v = -17*v + 165591. Is 21 a factor of v?
False
Let j(s) = -22*s + 643. Let g be j(-9). Let t be 1 + (-7)/(1 - 2). Suppose t*c + 89 = g. Is 26 a factor of c?
False
Let u = -248 + 122. Let k = u + 266. Is k a multiple of 14?
True
Let c = 723 - 167. Suppose 0 = -9*w + c + 479. Suppose 40 = -s + w. Is s a multiple of 12?
False
Let y be ((-3273)/2)/(60/(-40)). Suppose -6*d + 1177 + y = 0. Is d a multiple of 21?
True
Let o(v) = -v**3 - 2*v**2 + 8*v + 9. Let l(k) = -k**3 + k + 8. Let b be l(0). Suppose -12 = b*w - 5*w. Is o(w) a multiple of 3?
True
Let o be (-1110)/(-69) + 4/(-46). Let u(n) = 2*n**2 + 7*n + 21. Let l(q) = -3*q**2 - 6*q - 20. Let i(a) = -3*l(a) - 4*u(a). Is 8 a factor of i(o)?
True
Let p be -1 + 0/(-1)*(-3)/(-3). Let w(l) = 74*l**2 - 8*l - 9. Is 50 a factor of w(p)?
False
Let u(f) be the second derivative of -10*f - 5/6*f**3 + 0 + 1/4*f**4 - 2*f**2. Is u(4) a multiple of 10?
False
Suppose -h = -17 + 13. Let j be 4*(-4)/(-8)*2/h. Suppose -4*u + 96 = 3*t - 45, -t = j. Does 18 divide u?
True
Let g(o) = -8*o - 174. Let a(v) = -3. Let t(u) = 4*a(u) - g(u). Is 9 a factor of t(-9)?
True
Suppose 43 = 24*o - 101. Suppose 3*f = -2*k + o*k - 2467, 0 = 2*k + 2*f - 1230. Is k a multiple of 13?
False
Suppose -48*n + 2*n + 492048 = 56*n. Is 16 a factor of n?
False
Let j be ((-4)/(-18) + 1818/(-162))*-321. Suppose 0 = -5*q - 4*g + j, 3*q - 3*g = 2195 - 98. Is 22 a factor of q?
False
Let p = 33409 + -24726. Does 16 divide p?
False
Let p(b) = 2*b**2 - 12*b + 23. Let v be p(6). Suppose -8*j - v*j + 558 = 0. Is j a multiple of 3?
True
Let t(q) = -5*q - 25. Suppose -2*p = -31 + 41. Let x be t(p). Let z(g) = 2*g**2 + 2*g + 126. Does 14 divide z(x)?
True
Suppose -18 = 2*a - 50. Suppose 2*n + 8 = -3*i - 2*i, a = -4*n. Suppose i = -2*x - 4*x + 420. Does 12 divide x?
False
Let s(p) = 8*p - 36. Let o be s(6). Suppose o*g - 7*g = 2275. Does 35 divide g?
True
Is (830 + -1)*(-23 + 24) a multiple of 13?
False
Suppose -2*j = 3*l - 0*j - 151, -3*j - 79 = -2*l. Suppose 980 = -l*x + 54*x. Is 14 a factor of x?
True
Suppose -3*s = 16 - 10. Let h be ((-4 - s) + 3)*1*-30. Let d = -6 - h. Is d a multiple of 3?
True
Let i be 30/12*(1 - -3). Does 6 divide (4 - (0 - 2))*i?
True
Let m be (-1 - 1/(3/(-87)))*16. Suppose -16*n + 12*n = -m. Suppose 4*w - 6 - 3 = -v, -3*w = -4*v + n. Is v a multiple of 5?
True
Let n(o) be the first derivative of -9*o**2/2 + 12*o + 99. Does 2 divide n(1)?
False
Let o be ((-96)/(-18) + -5)/((-4)/(-65904)). Suppose 5*n - o + 1012 = -4*c, 0 = n. Is c a multiple of 14?
True
Let p(o) = 18*o**2 - 246*o - 1900. Is 3 a factor of p(-8)?
False
Let o(a) = -a**2 + 10*a - 5. Let j(c) = -c**2 - 6*c - 17. Let u be j(-5). Let f be (-6)/u*9*2. Does 4 divide o(f)?
True
Let z(q) = -51*q - 124. Let s(j) = 13*j + 31. Let f(g) = -9*s(g) - 2*z(g). Let m be f(11). Let l = m + 352. Does 13 divide l?
True
Let j(s) = -3*s - 13 + 3*s - s**3 - 15*s**2 - s + 0*s**3. Let o be j(-15). Suppose -4*p + 141 = p + k, o*k - 108 = -4*p. Does 29 divide p?
True
Let z = -9395 - -50131. Is z a multiple of 76?
True
Let v = 93 + -23. Let a = 100 - v. Let q = -22 + a. Is q a multiple of 5?
False
Suppose 4*l + 3*s - 640 = 2654, -8 = 4*s. Suppose -l = -2*i - 3*v - 100, 4*i - 5*v = 1483. Does 21 divide i?
False
Does 45 divide 20/((-440)/462) + 9450?
False
Let t(s) = -4*s**3 - 5*s**2 + 5*s + 6. Let c be t(4). Let n = -154 - c. Does 26 divide n?
True
Let l be 12/42 + (-2)/((-14)/495). Suppose l*m - 72*m = -43. Suppose p - g = -p + m, -p - 5*g - 6 = 0. Is 19 a factor of p?
True
Let i = 46 + -44. Let g be (7/(-2) + i)*(-2 + 6). Is 1*19*(g + 11) a multiple of 13?
False
Suppose 0 = -2*j - 0*h - h + 53, j - 5*h - 10 = 0. Let c = -10 + j. Suppose -3*z = c, 20 - 51 = -m - z. Does 4 divide m?
True
Let g(v) = -v + 16. Let s be g(12). Suppose -2*h + a = 2*h - 2316, -s*a = -4*h + 2328. Is h a multiple of 17?
True
Suppose 0 = 7*z + 15445 - 18371. Is 40 a factor of z?
False
Suppose 2*k + 32 = -2*u, -2*u = 4*k + 24 + 14. Let g = 47 + u. Is g a multiple of 11?
False
Let a(z) = 49*z**2 - 54*z + 240. Let x(m) = 32*m**2 - 36*m + 160. Let r(y) = 5*a(y) - 7*x(y). Is r(5) a multiple of 6?
False
Let a(u) = -53*u - 15. Let p be a(2). Let v = -121 - p. Suppose -10*b - 68 + 438 = v. Is 11 a factor of b?
False
Suppose -3*z - 5969 + 1289 = -13*z. Is 39 a factor of z?
True
Let l = 1735 + -779. Suppose 0 = 4*w - i - l, 15*i = -5*w + 13*i + 1208. Does 20 divide w?
True
Let f be 