iple of 9?
True
Let y = 41 - 90. Let b = 29 - y. Does 17 divide b?
False
Suppose -5*q = -t + 12600, -4*q - 22870 - 14941 = -3*t. Does 14 divide t?
False
Let j be (-580 + 2 + -7)*(-294)/15. Is 11 a factor of 5/(-4) + (j/8 - 13)?
True
Let z(k) = -332*k + 2105. Does 7 divide z(5)?
False
Let u = -83 + 142. Suppose 208 = -45*n + 149*n. Suppose u = n*c - 77. Is 17 a factor of c?
True
Let p(q) = 2*q - 1. Let m(j) = -12*j**2 + 6*j + 2. Let a(z) = z + 1. Let x(v) = 3*a(v) - m(v). Let l be x(1). Is 5 a factor of p(l)?
False
Let y be 8570/(-12) - (-34)/204. Is 6 a factor of 4 - y/2 - 1?
True
Suppose x + 10 = 2*c, x - 7 = -c - 2. Suppose t - 493 = -2*t + w, w - 2 = x. Does 15 divide t?
True
Suppose -13*o + 142 = -274. Let t = 81 - o. Suppose 2*m - t = -5. Does 8 divide m?
False
Let m(z) be the first derivative of -3*z**2/2 - 31*z + 96. Suppose -4*a - 5*b = -2*b + 62, -a + 5*b = 27. Is m(a) a multiple of 9?
False
Suppose 2*k - 2*o + 3 = 9, -4*k = -5*o - 10. Suppose 0 = 4*y, 3*v - 6 = -k*y - 0*y. Suppose j + 5*g = 28, -2*g = v*j + 3*g - 51. Is j a multiple of 6?
False
Let d be 18*(33/(-9) - -4). Let x be ((-42)/(-9))/(2/d). Is 100/((-56)/x + 9/2) a multiple of 30?
False
Let y(m) = 5*m - 113. Let x be y(22). Does 5 divide ((-2184)/8)/x + -6?
True
Let b = -1390 + 3502. Is b a multiple of 4?
True
Let x be 7456/11 - (-6)/33. Let m be (2/(-4))/(1 + (-675)/x). Let s = -99 - m. Is s a multiple of 4?
False
Is 2 a factor of 1439 - ((-6 + 5)*4 + 10)?
False
Let t = 44125 - 18340. Is t a multiple of 196?
False
Suppose 0 = 13*s - 6*s - 14. Let b be (2/5)/(s/5) + 3. Suppose b + 16 = c. Is c a multiple of 10?
True
Let d be (-9196)/33*(87/(-6) + 1). Suppose -3*z = 6*z - d. Does 39 divide z?
False
Is 9 a factor of 230/(-207) + 279601/63?
True
Let i = 208 + -208. Does 6 divide 122 - 1 - (4 + 0 - i)?
False
Is 75 a factor of 2 + ((-50)/(-10) + 6*-1)*-6598?
True
Suppose d + 64 = -4*j - 5, 0 = -5*j - 5*d - 90. Let l = -140 - j. Let t = -108 - l. Is t a multiple of 5?
True
Let b(l) be the first derivative of -l**3/3 + 9*l**2 - 13*l - 10. Let g be b(12). Let y = 11 + g. Is y a multiple of 14?
True
Suppose 0*m - 6388 = -2*m. Suppose 0 = 6*a - m + 560. Is 16 a factor of a?
False
Suppose -3*t - 59 = 2*x, t + 30 + 8 = 3*x. Is t/46 - -31*(-3)/(-6) a multiple of 11?
False
Suppose f - 2*g = 14324, -1540*g + 1543*g = -5*f + 71659. Does 144 divide f?
False
Let x(j) = -15*j**2 + 3*j - 1. Let p be x(4). Let s(h) = -3*h**2 - 252*h - 1050. Let d be s(-81). Let m = p - d. Is 16 a factor of m?
False
Suppose v = 979 + 1143. Suppose 20*b - 22*b + 2132 = 4*r, -2*r = 2*b - v. Does 24 divide b?
True
Suppose 0 = 4*o - 3*x - 3827 - 5410, -4*o = -5*x - 9235. Is o a multiple of 42?
True
Suppose -5*v = -4*y + 29, y + 0*y = 2*v + 14. Let r(k) = -11*k - 29. Let u be r(v). Is 22 a factor of u + (-7 + 3)/1?
True
Let j be -6*(-9)/(-6) + 701. Suppose j + 588 = q. Does 80 divide q?
True
Suppose -3*j = 10 + 5. Let f = -37 - -25. Is 20 a factor of (j - 31)*f/16?
False
Let h = -43236 + 89140. Is h a multiple of 14?
False
Let h be 1536 + 14/(-10) + 10/25. Let g = -908 + h. Is g a multiple of 19?
True
Suppose 3*g + j = 36114, 4*j + 60190 = -18*g + 23*g. Does 123 divide g?
False
Suppose 2*r - 3*x = 1, -2*r + x + 0 + 7 = 0. Suppose 11*t - 16*t = -r*g + 5465, -3*g - 2*t = -3254. Does 64 divide g?
True
Suppose -8*y + 157 = -3*y + q, 5*y + 4*q - 163 = 0. Let z = y + -22. Is ((-78)/z)/((-4)/30) a multiple of 13?
True
Suppose 0 = 5*c + 4*m - 10094 - 148350, 0 = -2*c - 2*m + 63374. Is c a multiple of 289?
False
Let v be 27 - 19 - (-18 + 2). Let s(i) = 7*i - 84. Is s(v) a multiple of 4?
True
Let y be 1 + 4 + 60/20. Does 9 divide 1*-3 + (355 - (-16)/y)?
False
Let j(v) = 27*v + 28. Let x(z) be the first derivative of 3*z**2 - 12*z + 19. Let i be x(3). Is 10 a factor of j(i)?
True
Is (5065/6)/((92/(-690))/(8/(-10))) a multiple of 7?
False
Let p be 2/(2/(-59)) - (-12 + 9). Let a = p + 95. Does 5 divide -2 - a/(-18) - (-137)/6?
False
Suppose 5*l - 147 = 3*i, 3*l + 0*i = -11*i + 37. Does 18 divide l?
False
Let s = 135 - 35. Let q = s + -75. Let t = q - -263. Is t a multiple of 32?
True
Let v = -1 - -160. Suppose 5*a - 17*b - v = -20*b, 4*a - 3*b = 111. Does 5 divide a?
True
Suppose -2*q - 2 = -m + 4, -24 = -4*m - q. Let l(y) be the second derivative of 17*y**3/6 + 19*y**2 + 278*y. Is 20 a factor of l(m)?
True
Does 181 divide ((-20)/(-12) + 159/9)/((-10)/(-21720))?
True
Suppose 3971 = -5*h + 18761. Let n = h - 2106. Is n a multiple of 9?
False
Let w(h) be the first derivative of -5*h**4/4 + h**2/2 - 10*h - 257. Does 9 divide w(-4)?
True
Does 22 divide (977/(-2931))/(((-4)/(-15954))/(-2))?
False
Let k = 0 + 0. Suppose 5*l + 6 + 4 = k. Is (3 + 6)*11 - l a multiple of 19?
False
Suppose v = 3*i + 14, -18 = 5*i - 0*v + v. Let o be (-4 + 14/i)*2/(-3). Suppose 58 = -4*k + o*k. Is 6 a factor of k?
False
Let o(a) = -a**3 + 2*a**2 - a + 3. Let f be o(3). Let k be (f/(-15))/(4/380). Suppose 4*y - 123 = -m, y = -y - 5*m + k. Is y a multiple of 18?
False
Suppose 2*y - 3499 = -3*t + 415, -t + 1306 = y. Let k = t - 312. Is 22 a factor of k?
True
Suppose 63*n = 78*n - 8928 - 1617. Is n a multiple of 37?
True
Let k(b) = -34*b + 12. Let x be k(6). Let m be (x/10)/((-5)/25). Suppose -3*h + 180 + m = 0. Does 23 divide h?
True
Suppose -2651423 - 412601 = -562*r. Is r a multiple of 4?
True
Suppose 7*u + 12065 = 9*u - f, -3*f - 6025 = -u. Does 14 divide u?
True
Let j(k) = 2*k**2 - 38 + 31 + 14 - 9*k. Let p be j(5). Is p/3*(3 - 2)*5 a multiple of 5?
True
Let v be 1 - (4 - (8 - -2)). Let p(u) = 2*u**2 + 10*u - 39. Does 21 divide p(v)?
False
Suppose s + 0*q + q - 52 = 0, -5*q - 164 = -3*s. Is s/(5*6/330) a multiple of 11?
True
Let r(c) = 21*c**2 + 4*c - 1. Let i be 0 + ((-5)/(-2))/((-13)/(-26)). Suppose l - 19 = -2*f + 5*f, -2*l - i*f - 17 = 0. Is r(l) a multiple of 18?
False
Suppose 2*q = -5*j + 3*j + 218, 5*j - 433 = -4*q. Suppose -3*l - l - 4*d = q, -l - 31 = 4*d. Is 22 a factor of 20/(-5) + (-1 - l)?
True
Let w = -16 - -42. Let f be w*22/4 + 1 + 0. Suppose f = 3*d + 2*t - 34, -5*t = -3*d + 185. Does 20 divide d?
True
Let d(j) = j**2 - 5*j - 22. Let g be d(8). Let v be 130 + 0*(1 - g). Let i = v + -88. Is 14 a factor of i?
True
Let l(h) = 2*h**3 + 28*h**2 - 10*h - 16. Let u be l(-14). Is 9 a factor of (2 + -1)*(u - (-7 + 5))?
True
Let i be 1/((-2)/26) - -3. Let b be ((-4)/i)/((-3)/(1 - 1786)). Let h = 401 - b. Is 17 a factor of h?
False
Let a = 7148 + 4059. Does 9 divide a?
False
Suppose -27 = -3*o + 3*p, -2*o + 6*p - 3*p = -22. Suppose -3*a - o*s = -83, -a + s = 6*s - 31. Does 2 divide a?
True
Suppose 3*x + 5*z = 888, 0 = -47*x + 46*x - 2*z + 295. Is x a multiple of 16?
False
Suppose 2*f = 25*f - 575. Does 11 divide ((2 - 7) + 16)*f?
True
Suppose 3331*o - 2248938 = 3277*o. Is o a multiple of 19?
False
Suppose -5*j - 17842 = -23062. Does 7 divide j?
False
Let n = 4882 + 8105. Is n a multiple of 39?
True
Does 71 divide (142568/10)/(2*((-8)/(-80))/1)?
True
Does 54 divide (-11)/(-22) - (-34085)/10?
False
Let c(t) = -67*t**3 + 60*t**2 + 429*t. Is c(-6) a multiple of 99?
True
Let p(o) = o**3 - 4*o**2 - 13*o - 14. Let z(v) = -v + 11. Let n be z(10). Let g(f) = 1. Let r(j) = n*p(j) + 6*g(j). Is 15 a factor of r(7)?
False
Suppose 0 = -0*i + 5*i - 3*g + 3855, -2*g = 2*i + 1558. Is 5 a factor of (i/(-14) - -1) + (-6)/21?
False
Let d(f) = f**2 - 28*f - 9. Let t be d(31). Does 3 divide 7434/t*(1/(-3) + 1)?
False
Let s be -1*(-15)/(-10)*-2. Let p(l) = -10*l**2 - l - 3. Let b be p(s). Is (1 + -8)*-8*(-168)/b a multiple of 24?
False
Does 12 divide (((-2626520)/13)/(-10))/(-2)*-6?
True
Suppose k - l = -3, -3*l - 4 = -5*l. Let f(z) = 3*z**2 - z. Let d be f(k). Suppose -132 = -d*x + 340. Is x a multiple of 24?
False
Let j(c) = 2*c**2 + 4*c + 3. Let y be j(0). Suppose y*r = 5*r + 2*p - 344, 0 = 5*p. Does 26 divide r?
False
Let g = 19784 - 12729. Does 15 divide g?
False
Suppose 5*y - 24 = -3*k, -2*y + 0*k + 2*k = 0. Let a = -366 - -366. Suppose a = r - 3*s + 8*s - 14, 0 = -y*r + 3*s + 42. Is 5 a factor of r?
False
Let x(f) = 32*f**2 - 131*f - 115. Does 12 divide x(-37)?
True
Suppose 0*x - 292 = 4*x. Let z = 144 - 183. Let b = z - x. Is b a multiple of 14?
False
Let u(l) = l**3 - 77*l**2 + 86*l - 72. Does 5 divide u(77)?
True
Let o = 0 - -13. Suppose -27 = -8*u + o. Supp