et w = j + -144. Is 9 a factor of w?
False
Let a(y) = 10*y - 29. Let o(s) = s**2 - 3*s - 2. Let n be o(-4). Suppose 4*v + q - n = 0, 4*q + 16 = -v + 5*v. Is 4 a factor of a(v)?
False
Let i = 53 - 73. Let u(f) = f - 28. Let y be u(i). Does 13 divide 7*21*y/(-56)?
False
Suppose 2*y + 4*l = 20, -6*y + 4*y + 3*l = -55. Suppose 0 = -15*k + y*k - 35. Suppose -k*n - x = -2*n - 87, n - 3*x = 27. Is n a multiple of 8?
False
Suppose -95*h + 35377 = -78*h. Does 24 divide h?
False
Let w = -128 - -162. Suppose -1589 = -w*b + 27*b. Does 7 divide b?
False
Suppose 201*m - 40556 - 49738 - 8598 = 0. Is m even?
True
Suppose -32*v + 1080201 = -64149 - 464578. Is 259 a factor of v?
False
Suppose 10*w - 120 = 5*w. Suppose 0 = -21*m + w*m - 69. Is m a multiple of 2?
False
Suppose 22 = -5*b - 3, -w + 2*b = -99. Let v = 150 - w. Is 4 a factor of v?
False
Suppose -5*c + f - 5 = -4*c, 5*c - 2*f + 16 = 0. Let m be c/(-7) - 48/168. Suppose -3*k - 38 + 206 = 5*u, m = -5*u + 15. Is 17 a factor of k?
True
Suppose -1 = -y - 2*r, -3 = 4*r + 5. Suppose 0 = y*i - 1169 - 7151. Is i a multiple of 13?
True
Suppose 12766 + 10466 = 22*t. Suppose 2764 = 7*k + t. Does 61 divide k?
True
Let s = 45 - 27. Let b be (-2 - 0)/((-10)/20). Suppose 10*n - s = b*n. Is n a multiple of 3?
True
Suppose -14*v + 120046 + 295081 = 9*v. Does 40 divide v?
False
Let s(c) = -526*c + 1294. Is 109 a factor of s(-5)?
True
Suppose -6 = 2*f, f - 3*f = 5*c - 15774. Does 31 divide c?
False
Suppose -2*b - 3*d - 43 = -4*b, 4*d = -4. Let h(m) = 8*m + 8. Does 24 divide h(b)?
True
Let q(m) be the third derivative of -m**6/120 - m**5/30 - m**4/3 - m**3/3 + 18*m**2. Let o be q(-4). Suppose -2*c + 126 = -o. Is 11 a factor of c?
False
Let c(j) be the first derivative of j**4/4 - 9*j**3 + 55*j**2/2 - 27*j - 101. Is c(25) a multiple of 3?
False
Let m(j) = 961*j**2 - 3*j - 4. Let z be m(-1). Is 19 a factor of (z/35 - (-4)/7)*2?
False
Suppose 472920 = -33*k + 1324138 + 301142. Is k a multiple of 291?
True
Let h(x) = 4*x + 3. Let q be h(10). Let j = -46 + q. Is (j/9)/1 - (-1768)/12 a multiple of 21?
True
Let g = 1703 + -1140. Let o = g + -514. Is 7 a factor of o?
True
Suppose 13 = a + 3*i, -2*a + 81 = 3*a - i. Suppose -x + 78 - a = 0. Does 6 divide x?
False
Does 86 divide 6/(-14) - 5624800/(-700)?
False
Let q(g) = -g**3 + 10*g**2 - 10*g + 7. Let r = -16 - -16. Let y be 7 - 5/(-10)*r. Is q(y) a multiple of 12?
True
Let s = -758 - -470. Is 33 a factor of (44/(-16))/(2/s)?
True
Let g be 9/((-90)/(-20))*-14*1. Does 47 divide (-19698)/g + (-15)/(-10)?
True
Suppose 0 = -h - 4*t + 2341, 0*h - 2*t = -2*h + 4712. Let x = h - 1319. Is x a multiple of 16?
False
Suppose -7*k = -13*k + 8868. Suppose -3*d = 2*t - 735, -4*t + 5*d - 3*d + k = 0. Let y = -155 + t. Is 16 a factor of y?
False
Suppose -2*v = -31*z + 30*z + 1587, -4764 = -3*z + 3*v. Suppose -2649 = -5*t + 3*p, -2*p + 0*p = -3*t + z. Does 26 divide t?
False
Let z(g) = g**2 - 130*g - 1037. Is z(-8) a multiple of 2?
False
Let y = -37600 + 53459. Does 49 divide y?
False
Is 104 a factor of (-8 - (-4 + 2)) + (2744 - (-3 - -24))?
False
Let u(j) = 183*j + 7351. Is 149 a factor of u(-4)?
False
Let r(k) = -k**3 + 10*k**2 - 20*k - 8. Let m be r(7). Does 13 divide m + (127 - 2/4*2)?
False
Let s be 25*(-4 + (-176)/(-20)). Let p = -232 + s. Is 30 a factor of ((-30)/8)/(7/p)?
True
Let f(g) = g**3 + 3*g**2 - 248*g + 49. Is 12 a factor of f(21)?
False
Let o = 956 + 2054. Is 14 a factor of o?
True
Suppose -12*m + 7*m = -25. Suppose 15 = -5*c + 5, 3*j - 1123 = m*c. Does 8 divide j?
False
Suppose 40*b - 52023 = 37*b. Suppose -4825 + b = 21*w. Does 16 divide w?
False
Suppose 5*k = f + 44 + 253, -f - 293 = -3*k. Let o = -184 - f. Does 3 divide o?
False
Let h = -23 - -29. Let o be (3 + 144/(-30))/(h/(-10)). Suppose -12*b = -o*b - 234. Does 3 divide b?
False
Suppose 4 - 5 = j. Is 57 a factor of (3 - -133) + (j - -5)?
False
Suppose -2*j = -0*j + 8. Let w be j/10 + 492/(-20). Let p = w - -47. Is p a multiple of 5?
False
Let o be ((-22)/(-10) + -1)/(22/440). Suppose -284 = -5*t - o. Does 19 divide t?
False
Let u(c) be the second derivative of c**4/12 + 3*c**3/2 + 13*c**2 + 2*c. Suppose 1993 - 1938 = -5*h. Does 4 divide u(h)?
True
Suppose 0 = 2*t - 4*s - 32, 0*t - 33 = -3*t + 3*s. Suppose -t = -v - 0*g - g, v - 3*g = 14. Suppose v*x - 498 = 5*x. Is 24 a factor of x?
False
Is 58 a factor of 7 - 1 - (10/20)/((-32)/1321088)?
True
Let o(k) = 4*k**2 + 13*k + 13. Let y(l) = l**2 - 31*l + 22. Let x be y(30). Does 33 divide o(x)?
True
Suppose -127*r = -68*r - 61*r + 6484. Is 81 a factor of r?
False
Let u = -304 - -314. Suppose u*n - 339 - 741 = 0. Is 9 a factor of n?
True
Suppose -59*y - 61772 = -62*y + 20080. Is y a multiple of 17?
False
Is 34 a factor of ((-168)/4)/(12/(-2244))?
True
Let k(l) = -5*l - 8. Let p be k(-7). Suppose 29*q = p*q + 10034. Is 41 a factor of 1*(0 + 2)*q/58?
False
Let w = -35757 + 47513. Is w a multiple of 5?
False
Let u be 4 - (4 - 4) - 12. Let q(j) = j**2 + 5*j - 19. Let f be q(u). Suppose 44 = 2*s + 2*m - m, 5*m = f*s - 140. Is 8 a factor of s?
True
Suppose 12*m + 1088 = 8*m. Let h = -50 - m. Is 19 a factor of h?
False
Let v = -744 + 723. Does 36 divide v/(-35)*-4*-210?
True
Let u(d) = d**3 - 10*d**2 + 13*d - 32. Let j be u(9). Suppose 0 = 3*l - 15, -31 = -5*a + j*a - 2*l. Is a a multiple of 21?
True
Let u = -10414 + 14014. Is u a multiple of 18?
True
Suppose -10*m - 5 = -5*m, -5*m - 521 = -4*x. Suppose 0 = -3*c - 3*w + x, 3*w - 127 = -5*c + 84. Does 3 divide c?
False
Let f = 5425 + -2000. Is f a multiple of 25?
True
Suppose -z - 6*k + 96 = -9*k, -k = z - 76. Let u = 27 + z. Is u a multiple of 12?
True
Let f be (-8 + 5)/(12/(-32)). Suppose 0 = t + f - 12. Suppose 0 = w + 4, -5*m + t*w - 241 + 957 = 0. Is m a multiple of 22?
False
Let y(u) = u**3 + 6*u**2 + 37. Let c be y(-7). Is -5*(-9)/(-270) + (-2054)/c a multiple of 3?
True
Suppose 291*j = 285*j + 23868. Is j a multiple of 16?
False
Is (-882 + -15 + 12)*(950/(-6))/5 a multiple of 32?
False
Let q(v) be the first derivative of 2*v**3 + 24*v**2 + 45*v + 115. Does 9 divide q(-20)?
True
Let w(i) = -4*i + 2*i**3 + 5*i**3 - 9 - 18*i**3 + 2*i**2. Let v be w(-2). Let z = -35 + v. Is z a multiple of 4?
True
Let g be (-1)/((-100)/(-33) - 1 - 2). Let i(a) = -40*a + 5. Let q be i(-4). Let n = q + g. Does 20 divide n?
False
Suppose -84184 = -35*a + 50951. Does 39 divide a?
True
Let q(j) = 15*j**2 - 368*j - 17. Is q(29) a multiple of 6?
True
Let t(u) = -2*u**3 - 101*u**2 - 57*u - 23. Let m = 730 - 780. Is t(m) a multiple of 27?
False
Let i(b) = -b + 5. Let z be i(-3). Let q(s) = -s**3 + 9*s**2 - 12 - 15 + 13 - 2 + s. Is 14 a factor of q(z)?
True
Let q(n) = 3*n - 4. Let d be q(6). Suppose 5*f - 4 + d = 0, -12 = -2*i - 5*f. Is i a multiple of 11?
True
Let o(p) = 2*p**2 - 11*p - 14. Let f be o(7). Is (f/(294/(-144)))/(1/(-28)) a multiple of 8?
True
Let k(n) = -3*n + 39 + 2*n - 27 - 23. Let r be k(-10). Let u(c) = -39*c - 3. Is u(r) a multiple of 6?
True
Suppose 3*z + 7*a = 10*a + 9273, 3 = -3*a. Suppose z = -16*w + 22*w. Is 76 a factor of w?
False
Suppose 3*i + 440 = 5*i. Suppose -3*v - i = -5*v + 2*k, 3*v + 5*k - 330 = 0. Suppose 4*n = -b - 2, -5*b + 4*n = -0*n - v. Does 12 divide b?
False
Let j(i) = 6*i**3 - 4*i**2 + i + 9. Let n(t) = -7*t**3 + 5*t**2 - 2*t - 9. Let x(o) = -6*j(o) - 5*n(o). Let z be x(4). Let g = 137 + z. Is g a multiple of 8?
True
Let b = 13417 + -2719. Does 6 divide b?
True
Suppose 2 = -2*d, -2*d = 4*p - 4174 + 648. Does 98 divide p?
True
Suppose -45777 = -6*v + v - 4377. Does 23 divide v?
True
Let n(h) = -h + 4. Let q be n(2). Let s be q - (-1 + -2 - (-401 - 1)). Let d = -257 - s. Is 28 a factor of d?
True
Is 286*(-1*(-2 + 5))/(-1) even?
True
Suppose -9 = -2*f - 239. Let x be (69/(-6) - -7)/(24/80). Let y = x - f. Is 20 a factor of y?
True
Let r(j) = 2*j**2 - 19*j + 10. Let w(u) = -4*u - 9. Let g be w(-4). Suppose 46 = 4*o - 2*h, g*h = o + 5*h - 10. Is r(o) a multiple of 18?
False
Suppose 238810 = -110*r + 120*r. Is r a multiple of 24?
False
Suppose 3*w - 737 = 3*v + 925, -1138 = -2*w - 4*v. Let q = 946 - 1325. Let a = q + w. Does 15 divide a?
True
Suppose 15*b - 378579 = 243501. Does 18 divide b?
True
Let u(n) = -n**3 - 5*n**2 - 4*n + 1. Let c be u(-4). Let g(z) = 45*z**2 + 5*z - z + z + c. Is 10 a factor of g(-1)?
False
Let