ide -1 + 2786 - 0 - (54 - 46)?
False
Is 103 a factor of 942/9 - (-420)/(-252)?
True
Let y = -39 - -46. Suppose 2*p = p + y. Suppose p*r = 2*r + 660. Does 33 divide r?
True
Suppose -g = 5*i - 5070, 131*g + 1014 = i + 134*g. Is 6 a factor of i?
True
Let o = -17963 + 27387. Is 124 a factor of o?
True
Let k = 86 + -84. Suppose -k*y + 36 = 16*y. Suppose 170 = y*d + 4*c - 132, d - 5*c = 123. Is 11 a factor of d?
True
Let f = 218 - 204. Suppose -12*y + f*y + 2520 = 4*a, -a = -2*y - 633. Does 12 divide a?
False
Suppose -3*c + 5352 = 5*z, 44 = -3*c + 26. Is 6 a factor of z?
True
Suppose 0 = -0*b - 3*b - 5*m + 120, -3*b - 3*m = -114. Suppose 0 = b*w - 31*w - 1704. Suppose h - 2*f - w = -3*h, 0 = -2*h - 2*f + 204. Does 15 divide h?
True
Let u = 256 - 210. Suppose -u*g + 432 = -44*g. Is g a multiple of 12?
True
Does 10 divide 803832/(-4 + -8)*(-5 + (-2 - -6))?
False
Let t be -27*(0 - 1*4). Let x be (-1780)/(-20) + (164/32 - 6/48). Let j = t - x. Is 7 a factor of j?
True
Let b = 18310 + -14664. Is b a multiple of 40?
False
Suppose y - 2*z + 4 = 1, 4*z - 3 = 3*y. Suppose 0*p - 3*p + 2040 = y*d, -5*d = -2*p + 1388. Is 12 a factor of p?
True
Suppose -8600 = -23*f - 2*f. Let v = -248 + f. Is 8 a factor of v?
True
Let u = -846 - -848. Suppose 2*h + j + 494 = -0*h, 2*h - 5*j = -494. Is h/(-39) + u/(-6) even?
True
Is 54 a factor of ((-870)/(-60))/(2 - 6015/3010)?
False
Suppose -2746 = -3*r - w - 970, -5*r + 2968 = -w. Let z = -128 + r. Suppose 5*x = 2*q - 455, -q - 3*x - z = -3*q. Does 20 divide q?
True
Let z(w) = -w**3 + 26*w**2 - 46*w + 50. Let g be z(24). Let p = 1274 + g. Is 22 a factor of p?
False
Let p be (1/(-2))/(9/(-4878)). Suppose 7*t + p = 103. Is 5 a factor of ((-1 + 2)*-1 - t)*1?
False
Let k be 15/5 + 2 + (-1 - 1). Let w(c) = k - 47*c - 4 - 1 - 40*c. Is 15 a factor of w(-2)?
False
Suppose -3*r + 2*u = -5, 6 = 3*r - 5*u + 2*u. Let p = 9012 + -9007. Is 28 a factor of (28 - r) + 5/p?
True
Suppose 9174 + 474 = 12*u. Suppose -6*g = -u - 1176. Does 30 divide g?
True
Let f(q) = -q**3 - 17*q**2 - 24*q - 63. Let x be f(-16). Suppose x*k = 50*k + 15120. Is k a multiple of 63?
True
Let l = -322 - -162. Let w = -56 - l. Does 15 divide w?
False
Let a(y) = 1663*y**2 + 499*y + 2506. Is a(-5) a multiple of 29?
True
Suppose 45*g + 234 = 48*g + p, -3*p = 4*g - 322. Does 13 divide g?
False
Let q(z) = 306*z - 70. Let f be q(12). Suppose 0 = b + b + 3*r - 1806, -r = 4*b - f. Is b a multiple of 20?
True
Suppose -9*h - 13658 = -d - 12*h, 27306 = 2*d - 4*h. Does 5 divide d?
True
Suppose -6*l + 10*l = 532. Let g(t) = 7*t + l + 3*t - 7*t - 2*t. Does 19 divide g(0)?
True
Suppose -1403 - 53 = -4*r. Let s = -244 + r. Is 24 a factor of s?
True
Let s = 9649 - -4662. Does 49 divide s?
False
Is (-3 - 451/3)*(-2936)/(-120)*-18 a multiple of 367?
True
Let t(w) = -1 + 4*w + 3 + 14 - 5*w. Let n be t(14). Suppose 2*h - n*m - 258 = 0, -2*h + 3*m + 70 = -190. Is h a multiple of 27?
False
Suppose -3*d - 71 = 4. Let l = d + 7. Let x(s) = -6*s - 47. Is x(l) a multiple of 50?
False
Let y = -1172 + 13477. Is y a multiple of 107?
True
Let a(x) = -34*x**3 - 9*x**2 + 10*x + 60. Does 18 divide a(-8)?
True
Suppose -2*a - 8 = 3*u, 0 = -7*a + 2*a - 3*u - 2. Let v be 0 - (-3 + (-178)/4)*2. Does 8 divide -3*v/(-30)*(0 + a)?
False
Let s(u) be the first derivative of u**4/2 - 10*u**3/3 - 5*u**2 + 12*u + 31. Let t be s(6). Let m(o) = -o**3 + 23*o**2 + 29*o - 32. Is 8 a factor of m(t)?
True
Is (-31574)/(-4) + (-40)/(-80) a multiple of 22?
False
Let c = 10642 + -7572. Suppose 36*n - c - 30302 = 0. Does 12 divide n?
False
Let d be 70*(-558)/(-4) - 1. Suppose -15*y - 2354 + d = 0. Does 21 divide y?
False
Suppose 3*o = -2*x + 7, -2*x - 3*x = 5*o - 15. Suppose -6*y + x*y = -4. Does 16 divide (2112/110)/(y/5)?
True
Let h(f) = 151 + f + 6*f - 148 - f. Is h(14) a multiple of 6?
False
Let a = 29811 + -10374. Does 57 divide a?
True
Let q = 2665 + -1895. Suppose 0 = -6*s + s + q. Does 17 divide s?
False
Let l be 4/(-18) + (-9247)/63 - 4. Let o = l - -259. Suppose -2*k + o = 2*k. Is 4 a factor of k?
False
Let u = -19469 + 36250. Is u a multiple of 6?
False
Let g(z) = -14*z**3 + 6*z - 6. Let j be g(4). Let w = -448 - j. Does 10 divide w?
True
Suppose 7*n = 5*s + 11*n - 5567, 0 = 2*s - 5*n - 2207. Suppose 0 = -36*k - s + 7159. Is k a multiple of 21?
True
Let h be -20*((-1518)/12)/(-11). Let n = h + 446. Is 18 a factor of n?
True
Let b = -2323 + 3055. Is b a multiple of 35?
False
Let r(g) = 5*g**2 - g + 38. Let f(n) = -6*n**2 + 2*n - 38. Let v(j) = 2*f(j) + 3*r(j). Let m be v(-13). Is m/57*9/2 a multiple of 3?
True
Suppose 26*z = 21*z - 25. Let j(v) = -v - 8. Let y be j(z). Is 13 a factor of (1/(-3))/(y/522 + 0)?
False
Suppose -2*o - d - 6355 = -7*o, 0 = -d. Suppose -s + 2*l - 5*l = -265, -3*l = -5*s + o. Is 64 a factor of s?
True
Suppose 10*c - 4*c = 12. Suppose 0 = c*q - 70 + 16. Does 3 divide q?
True
Suppose -4*k = 3*y - 1, y = 5*k + 3*y - 10. Suppose -10*t + k*t = -1440. Is 8 a factor of t?
True
Let m(f) = -f**2 + 19*f + 197. Let b be m(23). Suppose 156*u = 153*u + b. Is 35 a factor of u?
True
Let i = -6 - -4. Let l(j) = -6*j**2 - j - 2. Let o be l(i). Does 25 divide (153 + 3)*3*(-4)/o?
False
Does 63 divide (5/(-2))/((-4)/(464832/60))?
False
Let d be ((-30)/10 + 3)*1/2. Let q be (1 + -9)/(2/(-2)). Suppose -4*k - q = -0*n - 3*n, n + 3*k - 20 = d. Is n a multiple of 4?
True
Suppose -344000 = 96*n - 74*n - 65*n. Does 25 divide n?
True
Does 83 divide (-84)/30*80/(-24)*498?
True
Let t(g) = -15*g**2 + 21*g**2 - 4*g**2 - 6*g. Suppose -4*v = 3*k + 3, 3*k = -3*v - 0*v - 6. Is t(k) a multiple of 10?
True
Suppose -5*y = -52 - 33. Suppose y*i + 622 - 4447 = 0. Does 25 divide i?
True
Let l(v) = -v**3 - 3*v**2 + 17*v + 7. Let t be l(-6). Suppose -3 = -4*j + t. Suppose 4*p - 216 = 2*g, -p - j*g + 30 = -15. Does 7 divide p?
False
Let q(i) = 3*i**2 - 35*i + 17. Let t = 33 - 108. Let j = 91 + t. Does 44 divide q(j)?
False
Suppose 264*w - 277*w + 68263 = 0. Does 59 divide w?
True
Suppose -4*t + 7 = 5*d, -4*t + 18 = -3*t - 2*d. Let q = 11 - t. Suppose 4*h + 4*j - 596 = 0, 2*h - 705 = -3*h + q*j. Is 20 a factor of h?
False
Let m(f) = -2964 + 73*f**2 + 4*f - 10*f + 2959. Is 13 a factor of m(-3)?
False
Suppose 0 = 2*m - 3*f - 201, 5*m + 3*f + 2*f = 540. Suppose -10*j = -15*j + m. Is 18 a factor of j?
False
Let j(a) = 13*a - 6. Let s be j(4). Let i(m) = m**2 + 6*m + 6. Let n be i(-8). Let p = s - n. Is 24 a factor of p?
True
Let x(b) = -11*b**3 - 14*b**2 - 43*b - 197. Is 48 a factor of x(-6)?
False
Suppose 17*k - 18*k = -4. Let v be k*3/4 - -12. Does 16 divide (12/v)/4 + 1995/25?
True
Let f = 37070 + -23714. Does 18 divide f?
True
Suppose 0*o = 4*n - 5*o - 2019, 0 = n - 5*o - 486. Suppose -n - 705 = -4*q. Is q a multiple of 19?
True
Suppose 0 = 124*h - 44171 - 225901. Is 18 a factor of h?
True
Let f = 23051 - 13503. Is f a multiple of 31?
True
Let f = 137 - 127. Does 14 divide ((1616/f)/2)/((-2)/(-15))?
False
Let p be ((-9)/5)/(21/(-35)). Suppose -71 = p*b + 196. Let z = b + 114. Is 2 a factor of z?
False
Let o = 8871 - 5678. Is 118 a factor of o?
False
Suppose 27*n - 32*n = -25, -4*n = -4*f + 94160. Is f a multiple of 85?
True
Suppose -7*u + 2*u - 10446 = -2*m, -m = u - 5244. Does 18 divide m?
True
Suppose 15*m = -62*m + 63027 + 95439. Does 9 divide m?
False
Let g(h) = -h + 13. Let y be g(-6). Let i = 186 - y. Is 9 a factor of i?
False
Suppose -4*t + 9904 = 4*c, 3*t - 5*c - 8894 + 1506 = 0. Is t a multiple of 72?
False
Let o = -32332 - -51296. Does 44 divide o?
True
Let w(p) = -290*p - 3. Let y be w(-5). Let k = 2143 - y. Is 24 a factor of k?
True
Let q(t) = 21*t**2 - 14*t - 13. Let r(b) = -b**2 + b + 1. Let s(l) = q(l) + 6*r(l). Does 3 divide s(-1)?
False
Suppose -750 = -0*m + 6*m. Let p = 4 - m. Let r = 13 + p. Does 13 divide r?
False
Suppose 5*v - 3*q - 94 = 0, -5*v = -2*v + 4*q - 68. Let c be 37/5 - 8/v. Suppose 0 = -5*d + c*d - 72. Is d a multiple of 20?
False
Let m(y) = -1252*y - 10. Let i be m(-1). Let r = i - 787. Is r a multiple of 5?
True
Let h(y) = y**3 + 140*y**2 + 256*y - 268. Does 14 divide h(-138)?
True
Let m be 13/((-104)/16)*2/2. Let f(c) = -41*c - 10. Let g(o) = o + 1. Let u(q) = f(q) + 2*g(q). Is u(m) a multiple of 11?
False
Let g be (-2 + -1)*(-6)/9. Let u(y) = -15*y + 242. Let k be u(16). Suppose k*s - 4 = 0, -g*x 