Let u = x + 98. Is 24 a factor of u?
True
Let p(x) = 61*x + 79. Let o be p(-11). Let r = 1012 + o. Is r a multiple of 28?
True
Let h = 3234 + -2274. Is 60 a factor of h?
True
Let u = 455 - -980. Suppose p = -2*m + 189 + 89, -m + u = 5*p. Is p a multiple of 4?
True
Let n = 712 - 431. Suppose 6*z - 7*z = 2*k - n, -5 = z. Does 18 divide k?
False
Suppose -5*v - 2*t + 8 = 0, 3*t - 6*t + 12 = -4*v. Suppose 11*u - 25*u + 4368 = v. Is 12 a factor of u?
True
Let v(u) = 4028*u - 29. Is v(1) a multiple of 14?
False
Let a(j) = 5*j**3 + 14*j**2 + 14*j - 33. Let z(m) = -m**3 + m - 1. Let k(w) = -a(w) - 4*z(w). Is k(-16) a multiple of 25?
False
Let z = 38862 - 26642. Is z a multiple of 47?
True
Suppose 3 = -4*f + 15. Suppose 4*n + 5*v = 5*n - 107, 2*n = f*v + 179. Suppose -3*s + 512 = -n. Is s a multiple of 22?
True
Suppose -12 = -4*v - 2*g, v + 2*g - 5*g - 10 = 0. Suppose -5*r + 127 = -v*u, -2*r = u + 3*r + 38. Is 15 a factor of (-1491)/u + 2/(-11)?
True
Suppose 506*m + 4298 = 520*m. Is 4 a factor of m?
False
Let b = -5208 + 5485. Is b even?
False
Let o = 3139 - 1048. Is 51 a factor of o?
True
Let c = 845 + -849. Let p(j) = -5*j**3 + 11*j**2 + 21*j - 13. Is p(c) a multiple of 7?
True
Suppose 2*v + w - 2586 = 0, 0*v + 5*v - 2*w - 6456 = 0. Does 38 divide v?
True
Does 87 divide 6089 + (11/9 + 0 - 860/3870)?
True
Let t = -8 + 6. Let s(l) be the third derivative of 23*l**5/60 - l**4/24 - l**3/2 - 205*l**2. Is s(t) a multiple of 15?
False
Let n(u) be the third derivative of 5*u**4/24 - 13*u**3 - 27*u**2. Is n(20) a multiple of 7?
False
Let k = 3723 - -7859. Does 10 divide k?
False
Suppose 3*z - x = 28795, 0 = z - 2*x - 9262 - 333. Is z a multiple of 22?
False
Let i(g) = 3*g**2 + 5*g + 4. Let z be i(-2). Suppose -4*k - z = -3*k. Is (15/k + 2)*0 - -117 a multiple of 20?
False
Suppose 118 - 127 = -9*w. Is (2 + w - (-945 - 2)) + -2 a multiple of 13?
False
Let f = 9201 - 3525. Does 43 divide f?
True
Suppose 3*x - 62140 - 45566 = -3*t, -2*t + 71792 = -x. Does 93 divide t?
True
Let s(t) = -t - 13. Let r be s(-15). Let c(m) = 6*m - r*m - m - 8*m - 13. Is c(-6) a multiple of 2?
False
Let p be (6/(-63)*6)/(6/21). Let i(n) = -90*n**2 - 5*n - 6. Let c be i(p). Let z = -200 - c. Is 6 a factor of z?
True
Suppose -21 = -5*z - 3*t, -2*t = 2*z + t - 12. Suppose -z*f = -5*f. Does 5 divide f - (-2)/5 - 76/(-10)?
False
Let q(l) = -122*l + 76. Let t be q(7). Is 6 a factor of t/(-13) + (-22)/(-143)?
True
Let x(p) = -11*p + 70. Let c be x(6). Is 42 a factor of 2 - c*375/(-2)?
False
Let q(o) = 2*o**2 + 3*o + 1. Let t(g) = -g**2 - g - 1. Let h(r) = 4*q(r) + 7*t(r). Let z be h(-3). Does 13 divide 6/z*(-183)/2?
False
Suppose -5*t + 3*h + 53 = 0, -h + 8 = 4*t - 31. Suppose -t*q - 1397 = -6967. Does 41 divide q?
False
Let p(a) = 2*a**3 + 2*a - 7 + a + 6*a**2 - 8*a**3 + 7*a**3. Let h be p(-5). Suppose 19 = 2*b + 3*c + 1, -6 = -b - h*c. Does 6 divide b?
True
Let k be (-1)/((-38772)/(-9696) - 1*4). Suppose -482 = k*n - 810*n. Is 7 a factor of n?
False
Suppose 16*u - 1128 = -56. Let j = 95 - u. Does 8 divide j?
False
Suppose 3*m - 3*i - 471 = 0, 6*m - m = i + 773. Suppose -m*b + 151*b + 1950 = 0. Is b a multiple of 50?
True
Let i be (-12)/30 - ((-891)/15 - 3). Is 3 a factor of (-5)/((-10)/(-28))*(-155)/i?
False
Suppose 6*n - 77 + 41 = 0. Suppose -7*b = -n*b - 315. Is 29 a factor of b?
False
Is 802459/236 - 3/(-36)*-3 a multiple of 85?
True
Let q(a) = 1 + 30 - 10 + 14 - 70*a - 1. Is q(-5) a multiple of 63?
False
Let v be -4 - -45 - (24 + -30). Let w(n) = -2*n + 7. Let a be w(5). Let c = a + v. Is 13 a factor of c?
False
Suppose 1606*a - 1602*a - 62914 = -3*h, -14 = -2*a. Is 94 a factor of h?
True
Let d(s) = -419*s - 18. Suppose 20 = -3*z + 14. Does 41 divide d(z)?
True
Let h(r) = -3*r + 2*r + 143*r**2 + 2 + 154*r**2. Is h(1) a multiple of 17?
False
Let g = -57 - -61. Suppose -g*d + 169 = -3*d. Let s = 319 - d. Is 30 a factor of s?
True
Let a = 17687 - 9782. Is 42 a factor of a?
False
Let a = -14 - 29. Let c = -33 - a. Suppose 9*f = -c + 37. Is 3 a factor of f?
True
Let o = 98 + -9. Suppose -90*m + 12 = -o*m. Is -2 + m/9 - (-762)/9 a multiple of 7?
True
Suppose 8*w = -8*w + 19152. Suppose -6*r + 627 + w = 0. Does 29 divide r?
False
Let j(m) = 3*m**2 + 4*m + 1. Let o be j(-4). Let q = 24 - o. Does 5 divide (-111)/q - (-2)/3?
False
Let g(i) = i**2 + 12*i + 36. Let s be g(-6). Suppose 3*l + 3*r + 33 = 0, -3*l - l + 4*r - 4 = s. Does 11 divide (-40)/(-3 + l/(-4))*3?
False
Suppose 4 = 2*k - 14. Suppose -5*l + 1 = -k. Suppose -l*z = -0*z - 164. Does 10 divide z?
False
Let t(n) = -76*n - 276. Is t(-26) a multiple of 18?
False
Suppose 5*r = q + 45, -3*r + 3*q = 6*q - 27. Let m be 47 - r/12*(-2 - 2). Suppose -m*i - 336 = -54*i. Is 7 a factor of i?
True
Let s be 5/(25/30) - 1. Suppose 3*o - 6 = -s*k + 25, 0 = -4*k + 5*o + 47. Suppose k*g + 14 = 15*g. Is g a multiple of 2?
True
Let z(r) = r + 1. Let n be 1/1*(-19 + -17). Let y(p) = 30*p + 24. Let c(b) = n*z(b) + y(b). Does 6 divide c(-3)?
True
Suppose 0 = j + 5*f - 11 + 7, -2*j - f + 8 = 0. Suppose -61 = j*y - 1493. Is y a multiple of 10?
False
Is 16 a factor of 319059/13 + -2 + -18?
False
Let d(q) = -43*q**3 + 6*q + 9. Let o be d(-2). Suppose -2*k = 4*w - 822, -3*k + o = -4*w - 872. Is k a multiple of 17?
False
Suppose 3*u - 6*u + 6 = 0, -5*u = -3*c - 10. Suppose 5*g - 30 = -5*v, 3*v - 1 + 7 = c. Let d = g - -40. Is d a multiple of 12?
True
Let o = 114 + -124. Is 39 a factor of 650/(-20)*12/o?
True
Let s be 4*(4 + (-450)/(-12)). Suppose 0 = -3*f + s + 134. Suppose 0 = 5*u - 55 - f. Is u a multiple of 3?
False
Let d = 407 + -1467. Let x = d + 1843. Suppose 4*b - x = -27. Is 41 a factor of b?
False
Let t = -120 - -128. Suppose t*v - 2276 = -356. Does 15 divide v?
True
Suppose -4*j = -n + 137, 3*j - 5*n + 0*n = -90. Let x be (2/(-12))/(9/(-54)) - -56. Let k = x + j. Is 7 a factor of k?
False
Let o(c) = 2*c**2 - 6*c - 3. Let y be o(13). Suppose -6*h = y - 851. Is h a multiple of 17?
False
Let f = 30 - -33. Suppose 8*n = 754 - 730. Suppose n*s - f = 48. Does 18 divide s?
False
Suppose 3*r = 4*p - 669, -1 = 3*p - 10. Suppose -4*o + 17*i - 16*i - 1335 = 0, 0 = 5*o + i + 1680. Let l = r - o. Does 13 divide l?
False
Suppose 0 = 4*u + 2*a - 8686, -9*u + 11*u - 4*a - 4328 = 0. Does 31 divide u?
True
Suppose -1897293 = 569*m - 662*m. Is 121 a factor of m?
False
Let v(h) = -5*h**3 - 2*h**3 - 3*h**2 - 280 + 274 - 6*h. Is 8 a factor of v(-2)?
False
Let p be 390/(-75)*3*10. Let t = 259 + p. Suppose 48 = -5*r + t. Is r a multiple of 5?
False
Let i = 49 - 33. Let p(u) = 12*u - 24. Is 24 a factor of p(i)?
True
Let b(l) = l**2 + 2*l + 6. Let t(z) = 2*z**2 + 5*z + 11. Let y(c) = -5*b(c) + 3*t(c). Let h be y(-9). Let k = h + -18. Does 7 divide k?
True
Suppose 164*f = 159*f + 32850. Is 219 a factor of f?
True
Is ((-2266)/(-3))/((-6 - (-549)/(-81)) + 13) a multiple of 3?
True
Let l = 15 + -15. Suppose 5*u = -l*u + 8*u. Suppose -91 = -2*t + 5*j, -2*j = 4*t - u*t - 194. Is t a multiple of 5?
False
Is (-1)/((-2)/(-7352))*(-2)/8 a multiple of 49?
False
Suppose -4*z = -702 - 258. Let p(t) = -20*t - 28. Let y be p(4). Let r = z + y. Is r a multiple of 22?
True
Let j be 4 + 34 - (-2 - -2). Suppose -7*q + j - 10 = 0. Suppose -15 + 111 = q*l. Is l a multiple of 6?
True
Let m = 18157 - 3967. Let f be 4/14 - (-1)/(21/m). Let q = -429 + f. Does 17 divide q?
False
Let g(d) = -122*d - 8. Let o(w) = -4*w + 42. Let p be o(11). Does 13 divide g(p)?
False
Let n = 437 - 225. Let a = n + -205. Is a even?
False
Let u(l) = 7*l - 11. Let b be u(3). Let v = b + -8. Suppose v*h = -5*k + 114, -2*k = h - 3*h - 54. Is k a multiple of 8?
True
Let u be (-145483)/(-217) + (-3)/7. Suppose -36*j + 35*j + u = 0. Is 16 a factor of j?
False
Suppose 0 = 2*q + 5*j - 2934 - 6580, 0 = -3*q + j + 14237. Does 21 divide q?
False
Let w be 11*(-6)/(12/(-106)). Suppose w = 9*x - 389. Is x a multiple of 36?
True
Suppose 8*d = 5*o + 13*d - 70, 46 = 4*o + 2*d. Does 22 divide 150/12*(93 + (4 - o))?
True
Let g(l) = 8*l**2 - 3*l + 5. Suppose 199 = -22*c + 67. Is g(c) a multiple of 13?
False
Let t = -2285 + 7741. Is 5 a factor of t?
False
Let o = -2864 + 3137. Is o a multiple of 5?
False
Suppose 0 = 4*y - 3*s - 98892, -4*s + 123615 = 5*y - 9*s. Is 9 a factor of y?
True
Let a(r) = 885 - 909 - 4*r**3 - 12*r**2 - 21*r - r. Does 1