se 0 = -2*t - 9*t + y. Suppose -26*u = -t*u + 2. Is u a multiple of 2?
True
Let q be (5 + 5)/(-20) + (-2742)/(-4). Let u = q + -266. Does 21 divide u?
False
Suppose 4*w + 68 = 4. Suppose -2*s = 3*s - j - 353, -4*s = -2*j - 286. Let t = w + s. Is t a multiple of 18?
True
Let x(w) = 4*w**2 - 48*w - 4. Let b(c) = -9*c**2 + 98*c + 9. Let v(m) = -2*b(m) - 5*x(m). Let n be v(22). Suppose -n*q + 32 + 68 = 0. Is q a multiple of 6?
False
Let k(h) = 2*h**3 + 4*h**2 - 4. Suppose 104 = r + 2*l - 4*l, 214 = 2*r + 2*l. Let a = 109 - r. Is k(a) a multiple of 18?
False
Suppose 0*r + 4*y = r - 4252, -3*r - 4*y = -12740. Does 24 divide r?
True
Does 111 divide -1*2760*(-1081)/282*(-3)/(-2)?
False
Suppose 4*b - 3*r - 5422 = 7884, 2*b = -5*r + 6640. Is 133 a factor of b?
True
Let n be (10/(-20) - (-1)/2)/(-1). Suppose n = 5*h - 4*h - 10. Let a(l) = -l + 50. Is a(h) a multiple of 8?
True
Let k(l) = 5*l + 5*l - 12 + 5. Let m be k(1). Suppose 2*y - 2 = 2*n - 128, 0 = m*n + 5*y - 213. Does 33 divide n?
True
Let r = 87 - 81. Let y be 4/r + (510/(-9))/(-5). Suppose -1920 = 4*a - y*a. Is a a multiple of 19?
False
Let f = 27516 - 19896. Does 127 divide f?
True
Suppose -3*o + 18 = -i, 17*o = i + 18*o - 2. Let t(d) = -5*d**3 - d**2 - d - 3. Does 21 divide t(i)?
True
Let o = 46 + 58. Suppose 9*p - o = p. Suppose -i = -p - 21. Does 12 divide i?
False
Let o(d) = d + 7. Let j be o(-4). Suppose -x = 4, -2*l - x + 182 = -j*x. Let k = l + -39. Is k a multiple of 16?
True
Suppose 4*i = 7*i - 9. Let d be -1*(25/4 - i/12). Does 7 divide -35*(d + 12/3)?
True
Suppose -3*k + 160 = 163. Let d(n) = 920*n**2 - n - 4. Is 39 a factor of d(k)?
False
Let o(u) = -23*u + 2662. Is o(-60) a multiple of 67?
False
Suppose -6*k + 27 = -207. Let n = 40 - k. Let d(r) = 78*r**3 + r**2 + 2*r - 3. Is 14 a factor of d(n)?
False
Let r be ((-867)/(-9))/((-15)/(-45)). Let j = 497 - r. Does 68 divide j?
False
Suppose -5*l + 20 = k, -3*k - 4 = l - 22. Let u(g) = k + 5 - 3 - g**3 - 3 - 6*g**2. Is 20 a factor of u(-7)?
False
Let b = 6287 - -16504. Is b a multiple of 13?
False
Let m(x) = -x - 1. Let o be m(7). Let w be o/44 + (3968/44 - -3). Suppose -3*k + 89 + 19 = 3*y, 2*y - w = 5*k. Is 39 a factor of y?
True
Suppose -o - 6*c = -10*c - 24, 2*c = -o. Suppose 3*t = o*t - 270. Suppose 18 = -6*p + t. Does 5 divide p?
False
Suppose -167*g = -114630 - 178121. Does 77 divide g?
False
Let i = 134 - 104. Let c = i + -33. Does 11 divide 24 - c/((-3)/2)?
True
Let a = -532 - -505. Let r = 152 + a. Is 31 a factor of r?
False
Suppose 59*g - 13390 + 9764 = 53604. Does 3 divide g?
False
Suppose 11*o = o - 21*o + 307272. Does 28 divide o?
True
Is 14929 - ((8 - 2) + -4) a multiple of 23?
True
Let z be 3 - 120/4 - (0 - 0). Let d be (2 - (-48)/z) + (-96)/(-54). Suppose 0 = -d*q + 4*l + 562, 8*q - 3*q - 1433 = -4*l. Is q a multiple of 15?
True
Suppose -25*d + 22*d = -4*q - 9744, 0 = -4*d - 5*q + 12930. Is d a multiple of 8?
True
Let a(l) = 343*l - 1219. Is 9 a factor of a(30)?
False
Let b = -361 + 898. Let t = -292 + b. Is 25 a factor of t?
False
Suppose 41*q + 128196 = 149*q. Is q a multiple of 9?
False
Suppose -186 = 30*b - 27*b. Let f = b + 67. Suppose f - 2 = 3*r, 59 = g + 5*r. Is g a multiple of 3?
True
Is 15 a factor of 13/((-1144)/(-24)) - 1/((-11)/207281)?
False
Suppose -g + 93 = 17. Suppose -93*d + g*d = -24395. Does 11 divide d?
False
Let i(c) be the second derivative of 19*c**6/240 - c**5/20 - c**4/3 - 22*c. Let b(x) be the third derivative of i(x). Is 41 a factor of b(5)?
False
Let f(i) be the first derivative of 289*i**2/2 - i + 39. Does 16 divide f(1)?
True
Let t(o) = -33*o - 7*o**2 + 6*o**2 + 12 + 3*o**2 - 26*o. Is 15 a factor of t(31)?
True
Suppose 2*u = 5*z + 37365, -2*u - 5*z = -1634 - 35741. Does 101 divide u?
True
Let s(n) be the third derivative of -5*n**4/12 - 22*n**3/3 - 31*n**2. Is s(-6) a multiple of 4?
True
Let f = -521 + 523. Suppose 0 = -f*z - 10, -5*h - 6*z = -11*z - 3775. Does 50 divide h?
True
Let n be 3/(-5) + (-741)/15 + 0. Let t be -1 - (-14)/10 - 230/n. Let a(z) = -2*z + 15. Does 2 divide a(t)?
False
Is 6 a factor of 52716/322 - 4/(-14)*1?
False
Suppose -9*n + 629 - 188 = 0. Suppose -388 = -5*y + c, n = y + 4*c - 16. Does 21 divide y?
False
Let l(c) = c**2 - 6*c - 4. Let k be l(7). Suppose -8*g + k*g = -515. Does 14 divide g?
False
Suppose 3*p - 1223 = -2*g - 310, 4*g = -5*p + 1829. Let l = 582 - g. Does 14 divide l?
False
Suppose -778 = 5*z + 2*g - 11, -2*z = 4*g + 294. Let m = -99 - z. Does 18 divide 23/(4/10 + m/(-240))?
False
Let u(o) = -1 + 78*o**2 + 1 + 174*o + 166*o - 333*o. Does 13 divide u(-3)?
False
Let f = -211 - -214. Suppose -4*i = 4*w - 412, 0 = f*i + w - 256 - 55. Is i a multiple of 8?
True
Does 41 divide -1 + (1 - -4) - (6 - 3) - -5903?
True
Let u be -2 + 118 + 112/(-14). Suppose 0 = z + z - 120. Let i = u - z. Is i a multiple of 6?
True
Suppose l + o - 3396 = 5*o, -5*l - 4*o + 16932 = 0. Suppose -4*n + 3*i = -l, -5*n - 5*i - 2190 + 6390 = 0. Is n a multiple of 40?
False
Does 38 divide -7 - -5*1105/13?
True
Let j = 262 - -105. Let w = -109 + j. Is 9 a factor of w?
False
Let t(y) = -884*y + 27. Let l be t(-1). Suppose -l = 5*x - 3956. Is x a multiple of 29?
True
Suppose 25 = -5*q, 3*p + 4*q = -15 - 5. Suppose 29*v - 8*v - 21420 = p. Does 17 divide v?
True
Let m(i) = 36 + 13*i - 25*i + 39. Is m(-5) a multiple of 7?
False
Let v(i) be the second derivative of i**5/20 - 5*i**4/12 - 5*i**3/3 + 13*i**2 + 56*i. Is v(8) a multiple of 23?
True
Suppose 2648 = 59*u - 892. Let t be 2/6 + (-113)/(-3). Let z = u - t. Is z a multiple of 22?
True
Suppose -256*d + 259*d + 43119 = 3*f, -2*f + d + 28739 = 0. Is f a multiple of 11?
True
Let g = 11 - 3. Let f(p) = p - 12. Let x be f(g). Does 25 divide 63*(0 - x)/4?
False
Let s(q) = 7*q**2 - 128*q - 32. Suppose 2*v - w = 48, w + 7 = 11. Is s(v) a multiple of 28?
True
Let w be (-4634)/126 - 2/9. Let d = -26 - w. Suppose d*i - 8*i - 45 = 0. Is i a multiple of 2?
False
Let c be (-6)/(-4)*-1*(-720)/27. Is 14 a factor of ((-672)/c)/(((-16)/(-30))/(-8))?
True
Let v(m) = 6*m**2 - 3*m - 1. Let i(k) = k**2 + 15*k + 24. Let p be (-26*(-4)/(-8))/1. Let g be i(p). Is v(g) a multiple of 29?
True
Is 13/3 - (-4156)/6 a multiple of 2?
False
Suppose -6*n + 48 + 6 = 0. Suppose -12 - n = -3*l. Suppose -3*j + l*j = -2*w + 26, -16 = 4*j. Is 7 a factor of w?
True
Suppose 10*w = 212 - 162. Is 6*101 + (9 - w) a multiple of 41?
False
Let t(m) = -1 + 4*m + 38*m + 5 - 122*m. Is t(-8) a multiple of 14?
True
Suppose -47 = -j + 93. Let c = j - 89. Is c a multiple of 10?
False
Let k = 75 + 329. Suppose 2*l = -5*m + 795, 3*m + m + k = l. Does 25 divide l?
True
Suppose 6*b = 42 - 48. Let o be b*((-6)/(-27) - 1329/27). Suppose 5*i + o = 2*m - 67, 5*i - 174 = -3*m. Does 29 divide m?
True
Suppose 2*f - 4*f - x + 1502 = 0, f - 760 = 4*x. Suppose -5*c - 44 = 2*n, -5*c - 7*n - 29 = -0*n. Does 21 divide c/(-35) + f/14?
False
Let u(i) = 4*i**2 - 2. Let p be u(4). Let f = -5 - p. Let w = f - -80. Does 6 divide w?
False
Let c = 56060 - 26883. Is c a multiple of 17?
False
Suppose 5*u - 7 = -x - x, -3*x + u - 32 = 0. Let m be x/(-15)*4*260/6. Let g = 145 - m. Is 7 a factor of g?
False
Let o = -147 + 147. Let b(d) = -d - 2. Let u be b(-7). Suppose -1 = -y - u, v + y - 6 = o. Is 10 a factor of v?
True
Suppose 3*p - 2*k - 2 = -0*k, -16 = 4*p + 2*k. Is 7 a factor of (-5)/p*-28*(-35)/25?
True
Suppose 237*z - 2892587 = 2774083. Is 10 a factor of z?
True
Suppose 20 = 4*y, 2*r - 7*y + 98 = -3*y. Let s be (r/(-9) - 5)/(2/(-732)). Is (-27)/63 + s/14 a multiple of 3?
False
Suppose 10*r = 577 - 17. Suppose 5*u - r = -k, 3*k + 0*u + 4*u - 157 = 0. Suppose 0 = 4*h - k - 73. Is 7 a factor of h?
False
Let l(i) = 15*i - 46. Let m be l(8). Is 3 a factor of m + 3*(-25)/15?
True
Suppose -2*f + 0*f + 2 = 0, 5*z - 2*f + 2 = 0. Suppose 2*q - 486 = 2*c, -4*q + c - 66 + 1047 = z. Suppose 4*p - q = 70. Does 16 divide p?
False
Let w(d) be the first derivative of 25*d**2/2 - 12*d + 14. Let c be w(17). Suppose -5*n = -c - 7. Is 21 a factor of n?
True
Suppose 5*d + 4*f = 40, 21 = -3*d + 2*f + 23. Suppose -d*m - 805 = -w, 0 = -5*w - 20*m + 18*m + 3915. Is 5 a factor of w?
True
Suppose -12*q + 8225 = 23*q + 12*q. Is q a multiple of 7?
True
Suppose -40*m + 254520 = 61*m. Is m a multiple of 35?
True
Let j(u) = -7039*u - 447. Do