(-1)/w*2 + (-3059)/(-38)?
False
Suppose -5*i - 2 - 32 = -l, 0 = 3*l - i - 74. Let d be -9*(26/5)/(l/20). Let b = d + 48. Is 6 a factor of b?
False
Is 4 + 7 + 1784 + 5 a multiple of 50?
True
Suppose 0 = 2*v + 2*j - 550, 810 = 5*v - 2*v - 2*j. Suppose 4*d = 5*k - 343, -5*d = -4*k - d + v. Is k a multiple of 5?
False
Let o be 1/2 + (-2386)/(-4) + 3. Suppose -37*p + 33*p = -o. Does 15 divide p?
True
Let j(w) = w**3 + 5*w**2 - 2*w + 5. Let g be j(0). Suppose g*u = -u + 2496. Is 16 a factor of u?
True
Is 37 a factor of 4*-3972*(-30)/120*(-3)/(-4)?
False
Let p be (6/(-10))/((-55)/275). Suppose p*z = 8*z - 880. Does 11 divide z?
True
Let s(j) = 10*j**2 + 13*j - 34. Does 6 divide s(6)?
False
Let b(h) = h**2 + 7*h - 18. Let i be b(2). Suppose -248*a + 245*a + 105 = i. Does 2 divide a?
False
Let v = 897 + -625. Suppose 539*j = 537*j + v. Is j a multiple of 4?
True
Let j be ((-1)/3)/(2/(-1392)). Let k = 240 - j. Is k even?
True
Let u = 19296 - 8320. Does 260 divide u?
False
Suppose 897*t - 51*t - 8790957 = 123*t. Does 9 divide t?
True
Let z be (1 - 3)/(10/325). Let u = -63 - z. Suppose 2*r + u*f - 146 = -0*r, -5*r = f - 345. Does 11 divide r?
False
Let s(h) = h**3 - 6*h**2 - 26*h - 2. Let g be s(11). Suppose -1509 = -2*r - 3*y, -4094 + g = -5*r - 3*y. Does 36 divide r?
True
Suppose -3*y - 12892 = -10*d + 6*d, 5*d - 16115 = 5*y. Does 12 divide d?
False
Let a(k) = -981*k + 2639. Is 94 a factor of a(-9)?
True
Let m = 1992 - -9403. Does 19 divide m?
False
Suppose -7*i - 777 = 224. Let d = 96 + i. Let z = 72 - d. Does 17 divide z?
True
Let m = 25033 + -17033. Does 16 divide m?
True
Let o(d) = -d - 1. Let m be o(5). Let f be 6/(-4)*(m - 0). Let t(r) = 5*r - 32. Is t(f) a multiple of 4?
False
Let q(v) = -22*v**2 + 19*v - 25. Let t(p) = -15*p**2 + 13*p - 17. Let l(k) = -5*q(k) + 7*t(k). Let o = -151 - -155. Is 10 a factor of l(o)?
True
Suppose 5*t + 14*t - 133 = 0. Is 5 a factor of -4*(-45 - -5) - (2 - t)?
True
Let k be (7 - (8 + -3)) + -1 + 1. Let c be 21/1 + -6 + k + 1. Suppose 0 = -2*f + c + 8. Does 2 divide f?
False
Suppose 11 - 101 = -5*m. Suppose 2*r - n - 4 = n, 5*n - m = -2*r. Is r even?
True
Let j(h) = h**3 + 12*h**2 - h - 10. Let f be j(-12). Let d = 75 + 159. Suppose 0 = -2*t + 7*t + 4*w - d, -f*t - 3*w = -95. Is 12 a factor of t?
False
Suppose -53*h + 48*h + 4*b + 3264 = 0, -b + 1316 = 2*h. Does 16 divide h?
True
Let j(s) = -3*s - 16. Let f be j(-7). Suppose f*v = -t + 7982, 3*v - 3190 = v + t. Is 45 a factor of v?
False
Let h(c) = c**2 - 34*c + 33. Let p be h(28). Let b = 202 + p. Is 2 a factor of b?
False
Let z be (-90)/((12/(-56))/((-60)/14)). Is (16/10 + -2)/(6/z) a multiple of 5?
True
Suppose 4*q - 8080 = 5*p, 17*q = 19*q + 3*p - 4018. Does 7 divide q?
False
Suppose m - 3*x + 3662 = -4*m, -2*m + 3*x = 1472. Let k = m + 1117. Is k a multiple of 45?
False
Let f(n) = 7*n + 33. Let z(b) = -4*b - 32. Let a(q) = 3*f(q) + 4*z(q). Suppose 0*l - 32 = -2*l. Does 17 divide a(l)?
True
Let t(k) = -k**3 - 10*k**2 - 12*k - 1. Let z = -42 - -44. Suppose z*h = -0*h - 18. Is 2 a factor of t(h)?
True
Suppose -2*j - 11 = -7*j - v, 4*v = -j - 13. Let l be (5 - 2) + 2 + j. Does 7 divide ((-4440)/9)/(-5) + l/(-12)?
True
Let m = 12998 - 1982. Is 68 a factor of m?
True
Let j(d) = d**3 + d + 42. Let a be (3/(-6) + 1)*8/(-2). Let x = -2 - a. Does 14 divide j(x)?
True
Let q = 130 + -130. Suppose -3*m + 40 = -5*x, 5*x + 3 = -3*m - 7. Suppose -5*o + 3*n + n + 550 = q, -m*n + 481 = 4*o. Is 21 a factor of o?
False
Let u(f) = 32*f**2 - 17*f - 73. Is u(-13) a multiple of 6?
True
Let d(n) = -6*n**3 - 5*n**2 - 6*n. Let k be d(-2). Let t = -41 + k. Let u(a) = 21*a**2 - 1. Is 11 a factor of u(t)?
False
Suppose -3*p = 5*q - 30018, 190*p - 185*p - 3*q - 49996 = 0. Is 137 a factor of p?
True
Let t(k) = -3*k + 94. Let f be t(-9). Suppose 5*l + n + f = 373, -2*n = l - 54. Is l a multiple of 4?
False
Let o be ((-8316)/66)/(3/(-20)). Suppose 0 = -4*q, 8*q - 13*q + o = 5*l. Does 24 divide l?
True
Let l be 1700/(-40)*(-166)/5. Let i = -935 + l. Is 20 a factor of i?
False
Does 9 divide ((-3)/2)/((-1)/2) + (-3262224)/(-1022)?
True
Is 227 a factor of (3 - -37)*25/30*681/4?
True
Let f(g) = -g**2 - 25*g - 18. Let z be f(-24). Is (0 - (9 - -105))/((-1)/z) a multiple of 38?
True
Let a be (-148)/(-10) + 2/40*4. Suppose 5*r + 1 = -3*g, -5*r + g + a = -4*g. Does 11 divide 72 - r*(-3 + 1)?
False
Suppose -3*j + 236 = -334. Let x be j/(-2) - 0*(-7)/(-49). Let b = x - -172. Is 7 a factor of b?
True
Let h = 110337 - 69057. Is 12 a factor of h?
True
Let i(t) = -6*t + 46. Let o be i(6). Suppose 11*n - 3*g = o*n - 2, 3*n - 5*g - 2 = 0. Suppose 0*h = 4*w + 4*h - 692, 3*w - 520 = -n*h. Does 43 divide w?
True
Suppose 4887 = -24*h + 33*h. Suppose 21*c - 5331 = -h. Does 3 divide c?
True
Suppose -5*o - 34 = -3*r - 0*o, 2*o = -4. Let l be 22/r*2*14. Suppose 203 + l = 7*s. Does 8 divide s?
True
Let a = -77 + 78. Let x be (-1)/((a - 0)*-1)*15. Suppose 4*t - 60 = -2*o, -3*t = -o - 2*t + x. Is 5 a factor of o?
True
Let n = -7003 + 22872. Is n a multiple of 4?
False
Suppose 2*x + 4*x = 240. Let u = 47 - x. Suppose 0 = u*q - 12*q + 70. Is 7 a factor of q?
True
Let m(n) = 2*n - 10. Let j be m(4). Let z be (-5 - j) + (-110)/(-5). Let g = z - 2. Does 5 divide g?
False
Let t(l) = -27*l + 11. Let g be t(4). Let j = 155 - g. Does 21 divide j?
True
Let g(d) be the second derivative of 63*d**5/20 + d**3 - 5*d**2/2 + 75*d. Does 10 divide g(1)?
False
Let s(u) be the second derivative of -u**5/20 + 7*u**4/6 - 7*u**3/3 - 2*u**2 - 213*u. Does 5 divide s(6)?
True
Let m(h) = -137*h + 1112. Does 55 divide m(-5)?
False
Suppose 6 = 2*i, 7*i = -4*u + 6*i + 15. Suppose -4533 = -5*g - z, 4*g + u*z - 2781 - 841 = 0. Is g a multiple of 16?
False
Let n be (-26)/(-39) - (0 + 8058/(-9)). Suppose -2*r + k + 916 = 0, -2*r + k - 5*k + n = 0. Is r a multiple of 24?
True
Suppose 3*r - o - 1161 = 0, -5*r = -7*r - 5*o + 791. Is 2/(3 + r/(-132)) a multiple of 2?
False
Let i be 2/(-8) - (-4641)/84. Suppose -6*r + 77 + i = 0. Is r a multiple of 22?
True
Does 25 divide 12/(-8) + 546238/44?
False
Let u(g) = g + 5. Let h(x) = x - 60. Let l(y) = -15. Let a(f) = -2*h(f) + 9*l(f). Let r(p) = -6*a(p) - 17*u(p). Does 15 divide r(-5)?
True
Is (-90)/(-27)*4050/20 a multiple of 9?
True
Let f(w) = w**3 - w**2 + w - 1. Let s(r) = 3*r**3 - 24*r**2 - 24*r + 7. Let h(z) = -2*f(z) + s(z). Let x be h(11). Is x/(-30) - (-8)/20 a multiple of 13?
False
Let s(u) = 18*u + 6. Let j be s(29). Suppose -39*x + 42*x = j. Is 25 a factor of x?
False
Let l be (108/90)/((-9)/30*-1). Does 3 divide (0 - l/8)*0 + 98?
False
Let k(h) = -h**3 + 25*h**2 + 17*h - 178. Is k(17) a multiple of 55?
False
Suppose 2*o - 15451 = -5*c, 0*o + 7724 = o + 4*c. Suppose 36*w - 33*w - o = 0. Is 10 a factor of (w/69)/(2/6)?
False
Suppose -2*g - 4 = 0, o - 2*g + 11 - 35 = 0. Does 4 divide -3 + (8/o - (-4690)/25)?
False
Is 22 a factor of 22483/3 + 1*45/27?
False
Let o = -8658 - -48984. Is 141 a factor of o?
True
Let y(d) = -d**3 - 8*d**2 + 32*d - 7. Let a be y(-11). Suppose -5*g = a*o - 558, 2*g + 2*o = -g + 334. Is 55 a factor of g?
True
Let u be (1/(-3) - (-48)/(-18)) + 31. Let x(p) = u*p**2 - 3*p + 7*p - 2 - 3 + 10*p**2. Is 31 a factor of x(2)?
True
Suppose -28*m = -68*m + 28*m + 284784. Is m a multiple of 93?
False
Let y(v) = -274*v + 16. Let o be y(-1). Suppose -16*b + o = -142. Does 14 divide b?
False
Let n(v) = 224*v**2 + 262*v + 90. Is 22 a factor of n(8)?
True
Suppose m + 18 = 23. Suppose x - 59 = -m*l, l - 14 + 9 = 0. Is x a multiple of 21?
False
Suppose 0 = x - 4*d + 2*d + 866, 0 = 4*x + 3*d + 3508. Let l = x - -2698. Is 38 a factor of l?
True
Suppose -5*y - 4*x + 12 = -30, -39 = -4*y - 5*x. Suppose 0 = -150*t + 142*t - 24. Is 4 a factor of 35 - 2/y*t?
True
Suppose 17*d - 9 = 14*d, -2*t - 4*d = -18612. Is 100 a factor of t?
True
Suppose -14*q - 313 = 2991. Let a = -92 + -27. Let s = a - q. Is 18 a factor of s?
False
Let f(g) = -2*g - 14. Let u be f(-8). Let n be 8 - 12 - u*(0 - 6). Suppose 260 = n*w - 572. Is w a multiple of 7?
False
Let q = 1253 + -888. Suppose -q = 21*p - 26*p. Let s = p + -33. Does 40 divide s?
True
Suppose -8*l + 8179 + 7389 = 0. Let q = -1375 + l. Is 7 a factor of q?
False
Let s = -23327 + 24195. Is s a multiple of 2?
True
Suppose -b + 5*q = -25, -4*b - 1 = -4*q - 21. Suppose 