ppose 0 = 5*q - 2725 + 455. Let x be (14/35)/((-3)/15). Is 5 a factor of x/5 - q/(-10)?
True
Is (-16623)/36*-23 - 3/(-4) a multiple of 19?
True
Suppose 8*g - 237 = 59. Suppose 0 = g*i - 32*i - 120. Does 2 divide i?
True
Suppose -19*g - 4*q + 13041 = -18*g, 5*g - 65205 = q. Does 161 divide g?
True
Let r be (45/135)/(13/6 - 2). Is r/(8/640 - 0) a multiple of 20?
True
Suppose -3*l + 6*l = -5*z + 160, 0 = l + 3*z - 60. Let k(p) = 9*p + 275. Is k(l) a multiple of 20?
True
Let w(n) = -2*n**2 - 18*n + 20. Let q be w(-11). Let v be (q/15)/(4/(-30)). Does 26 divide 1870/v - 4/(-24)?
True
Let k = 314 + 47. Let o = k + -257. Is 13 a factor of o?
True
Suppose -4*a + 752 = 4*m, 3*m + 5*a - 560 = 10. Let q = m - 117. Is q a multiple of 9?
False
Let x = 44 + -57. Let a = x - -52. Let r = a + -33. Does 3 divide r?
True
Let q(v) = v**3 + 47*v**2 - 39*v + 143. Is q(-47) a multiple of 76?
True
Suppose 2*b - 14 = -z + 5*z, 5*z + 21 = -b. Let d be ((-12)/(-8))/(z/(-8)). Suppose n - 5*k = 6, 0 = -2*n - d*n + 2*k + 99. Does 6 divide n?
False
Let r = -684 - -794. Suppose 6*w - 1300 - r = 0. Is 11 a factor of w?
False
Suppose s - 2*g + 12 = 0, 0*s = -5*s + 4*g - 42. Let k be (-8)/s*(-3)/2. Let f(r) = -15*r**3 + 4*r + 5. Is 23 a factor of f(k)?
False
Let s = 1744 - 1193. Suppose -165 - s = -2*x. Is x a multiple of 12?
False
Let i be -22*4/56 + (-20)/(-35). Does 63 divide (824 - 0) + -4 + i?
True
Let x be (3 - 2)*(7 + -6). Suppose r - 2 = x. Suppose 2*s + 53 = 4*s - 5*u, -5*u - 77 = -r*s. Does 17 divide s?
False
Let l be ((-8)/(-6))/1 + 258680/174. Suppose -3731 = -w - 4*w - 2*t, 0 = 2*w + 3*t - l. Is 18 a factor of w?
False
Suppose -4*p - z + 56049 = 1163, p + 4*z - 13744 = 0. Is p a multiple of 70?
True
Is (55/35*21/(-6))/(1/(-1058)) a multiple of 23?
True
Let j = -52 + 108. Is 4 a factor of 9/((-72)/j) + 202?
False
Suppose 103775 = 34*h + 4733. Suppose h + 1047 = 6*r. Does 39 divide r?
False
Suppose -d - 15 = -4*m, -2*d - 2*m + 24 = 4. Suppose d*y - 1190 = 4*h, 2*y = -2*h + 330 + 128. Does 39 divide y?
True
Let d(u) = -11*u + 6*u - u. Let v be d(-2). Suppose s + 4*z - 22 = 0, 5*z + v + 13 = 4*s. Does 8 divide s?
False
Suppose 561216 = -806*h + 830*h. Does 8 divide h?
True
Suppose 113 = 22*m + 25. Suppose -c + 5*g + 23 + 1 = 0, m*c + 4*g = 72. Is 19 a factor of c?
True
Let o be 7 - 8 - (4 - 2). Let i be (-481)/(-39) + 1/o. Let r = i + 32. Does 11 divide r?
True
Let u(w) = 1717*w - 972. Does 20 divide u(2)?
False
Let h be -8 + 0/(-1 + 8). Let o(z) = 7*z - 4*z - 10*z**2 + z**3 + 20*z**2. Is o(h) a multiple of 13?
True
Let x(i) = -12*i**2 + 8*i + 14. Let j be x(-4). Let y = j + 342. Is y a multiple of 22?
True
Suppose -z + 4*i = -10991, -z - 5*i + 3306 = -7685. Is z a multiple of 124?
False
Is -3 + 5 - 8 - (-27888)/(0 + 6) a multiple of 73?
False
Let v(g) = g - 175. Let w be v(-7). Let b = w + 741. Does 34 divide b?
False
Let o(l) be the third derivative of l**6/120 + 2*l**5/15 - 3*l**4/8 + 19*l**3/6 - 163*l**2. Is 44 a factor of o(6)?
False
Let w = 64 + -64. Is 14 a factor of -1 + -3 + 227 + w?
False
Let t = -81138 - -120890. Does 126 divide t?
False
Let b be -2*6/(-6) + 380/1. Let v = b + -130. Is v a multiple of 42?
True
Let w(b) = -b**2 - 85*b + 278. Does 93 divide w(-19)?
False
Let k(z) = 195*z**3 - 5*z**2 - 6*z - 7. Is 11 a factor of k(5)?
False
Suppose 0*s - 4*s + 120 = 0. Let m = 33 - s. Is 5 a factor of 4/2 + 84/m?
True
Is 18 a factor of (-133)/2*(-1 - 8104/56) + -6?
True
Let u(v) be the third derivative of 3*v**5/20 - v**4/12 - v**3/2 - v**2. Suppose -3*l - 5*m - 31 = 0, -14*m - 18 = -l - 10*m. Is u(l) a multiple of 11?
False
Suppose 0 = -5*y + 715 - 145. Let k be (1*-2)/((-649)/93 - -7). Let s = k + y. Does 3 divide s?
True
Let j = -32 + 40. Suppose -7*x = -j - 20. Suppose 3*m + x*m = 854. Is m a multiple of 29?
False
Suppose 0 = 2*o + 6 + 10. Is (14/o)/((-2788)/464 - -6) a multiple of 9?
False
Let t = -25 - -29. Suppose o - 2 = -5*l, t*o - l + 8 = -5*l. Is 14 a factor of (((-48)/20)/(-2))/(o/(-140))?
True
Let h(i) = -2*i**2 + 57*i + 5. Suppose 5*v - 4*q - 126 = 0, 2*v - 51 = -q + 2*q. Is 9 a factor of h(v)?
True
Suppose -5390*t - 3*l - 71478 = -5393*t, 0 = 4*t - 2*l - 95308. Is t a multiple of 161?
True
Let v = 11 - 0. Suppose -v = -f - 0*f. Is 11 a factor of f?
True
Let o(v) = -804*v + 145. Does 11 divide o(-5)?
False
Let y = -5190 + 8830. Does 70 divide y?
True
Let q(h) = h**2 - 15*h + 25. Let c be q(14). Suppose 55 = c*f - 88. Does 14 divide (3 - 0)/(f/1274)?
True
Let p(i) be the first derivative of 716*i**3/3 - 2*i**2 + 246. Is p(1) a multiple of 23?
False
Let x = 63 + -37. Let r be (22 - 45)/((-2)/x). Suppose 3*o = r - 53. Is o a multiple of 26?
False
Let s = -149 + 3974. Does 88 divide s?
False
Let d(x) = -2034*x**3 + 13*x + 6. Let w(r) = 1015*r**3 - 7*r - 3. Let m(l) = 3*d(l) + 5*w(l). Is m(-1) a multiple of 12?
False
Suppose -2*d = 3*p - 13247, 2*p - 193*d = -192*d + 8815. Is p a multiple of 11?
True
Let p be 21/(-5 - -8)*(-6)/(-7). Let b be -2*(4 - 3)*93/p. Let r = b + 339. Is 28 a factor of r?
True
Is 20 a factor of (210/8)/(4755/(-480) + 10)?
True
Let j be (-10)/(-50) - (-1569)/5. Let t = j + -187. Does 5 divide t?
False
Let o = 38 + -41. Is 55 + (15/o - -10) even?
True
Suppose 12*d + 15*d - 5146 - 16616 = 0. Is d a multiple of 13?
True
Suppose -9*o - 9*o = -6669 - 1845. Is o a multiple of 6?
False
Let s = 80 - 108. Let l be (-8)/s - 54/(-7). Does 10 divide l/(-2) + (-5 - -49)?
True
Let v(q) be the third derivative of q**5/60 + 7*q**4/12 + 10*q**3 + 2*q**2 + 10*q. Does 33 divide v(-29)?
True
Let i(f) = 13*f + 12 + 11*f + 64 + 35. Does 73 divide i(41)?
True
Let j = 7 - 7. Does 5 divide 61 - (1 + 0)*(4 - j)?
False
Is 17 a factor of 144832/6*1/10 + (-256)/(-1920)?
True
Suppose 5*r + 5*t = -320, 2 = -4*r - 5*t - 257. Let c = r - -69. Suppose 19*b - c*b = 374. Does 13 divide b?
False
Let j be 3/2 + (-1528)/16. Let l = j - -143. Suppose 0*u = -3*h - 2*u + 105, l = h - 4*u. Is h a multiple of 7?
False
Is 15 a factor of (-510)/(-357) + 1488496/28*1?
False
Suppose 9*o - 14*o + 6012 = 31*o. Does 36 divide o?
False
Let o(d) = -46*d + 56. Let f be o(-8). Suppose 2*p + 4*u - f = 0, 0 = -2*p - 2*u + 3*u + 444. Is p a multiple of 20?
True
Suppose 23*h - 114570 = -7940 + 3586. Does 27 divide h?
False
Let l(k) = -232*k + 1268. Does 36 divide l(-13)?
True
Suppose -12*s - 35*s + 1038934 + 767746 = 0. Is s a multiple of 20?
True
Let z be 14/77 + 884/(-22). Let w = -1 - z. Is 5 a factor of w?
False
Let k(m) = m + 14. Let l be k(-20). Is 18 a factor of (5 + (-3 - 0))/(l/(-2667))?
False
Let w be 689/106 - 1*1/(-2). Suppose 6*b = w*b - 68. Is b a multiple of 4?
True
Suppose 3*r + 5*d = 8*d + 6, d = -2*r + 13. Suppose -4*v - 2*g + 2040 = 0, 4*v + 2*g = r*g + 2030. Is 42 a factor of v?
False
Suppose 0 = 4*s - 233 - 1071. Suppose 323*i + 750 = s*i. Does 10 divide i?
True
Suppose 4*c - 34 = -19*y + 20*y, -2*c - 5*y = -28. Suppose c*p - 153 = -i + 6*p, 2*p = -5*i + 752. Is 25 a factor of i?
True
Suppose 10*r - 18 = 42. Does 36 divide (-504)/10*(96/(-6) + r)?
True
Let i(b) = -911*b - 71. Let l be i(-3). Let w = -1687 + l. Is w a multiple of 13?
True
Suppose -f + 76849 = 5*p - 108013, 184850 = 5*p - 5*f. Does 316 divide p?
True
Suppose 4*l = -2*m + 111881 - 36411, 0 = -2*m - 2*l + 75460. Is 99 a factor of m?
False
Suppose -5*j + 52 = -4*h + 169, -4*h - 4*j + 72 = 0. Let p(x) = 2 - 16*x - 64*x - h*x. Is 20 a factor of p(-1)?
False
Suppose -2*n + 3 = -a - 0*a, 2*a + 10 = 5*n. Let c(w) = 2*w**3 - 7*w**2 + 2*w + 2. Does 31 divide c(a)?
False
Let p(l) = l**2 + 70*l - 278. Is 3 a factor of p(-82)?
False
Let z(h) = h**2 + 10*h + 4029. Does 57 divide z(-52)?
True
Let m(q) = 68*q**3 + 7*q**2 + 28*q + 84. Is m(7) a multiple of 11?
True
Let a(s) = -1064*s - 3066. Does 14 divide a(-6)?
True
Suppose 0 = 14*t - 113846 - 12392. Is 54 a factor of t?
False
Is (-15)/12*-9106 - (-19 - 897/(-46)) a multiple of 14?
True
Let q(i) = -2*i**3 - 34*i**2 + 33*i - 85. Let h be q(-19). Let c = -459 + h. Is c a multiple of 13?
True
Suppose 0 = 8*r + 26 - 114. Suppose 3*c = r*c - 3472. Is c a multiple of 15?
False
Suppose 0*k + 8*k = 8. Let m be (-14)/(-4) + k/2. Is (-2)/1*(-338)/m a multiple of 43?
False
Let s(k) = k**2 + 2*k + k**3 - k**2 - 23 + 31. Let t be s(0). Suppose -162 = -t*g + 318. Is 10 a fac