= f. Let y = w - 16. Is 15 a factor of y?
True
Suppose 0 = 5*c - 103 - 172. Suppose -w - c + 92 = 0. Does 2 divide w?
False
Let b = 16564 + -12664. Does 130 divide b?
True
Let u = 1366 + -911. Suppose -u = 8*d - 1831. Is d a multiple of 86?
True
Let z = 31087 + -26597. Is z a multiple of 19?
False
Suppose 226*a - 26*a = 846800. Does 73 divide a?
True
Let q be (5 + -4 + -1)*(1 - 0). Suppose q = 5*z - 7*z - 2. Is (6/(-4) - z)/((-6)/396) a multiple of 33?
True
Let d(m) = -11*m + 42. Let c be d(-5). Let n = 157 - c. Suppose -2*t - 3*t + n = 0. Does 10 divide t?
False
Suppose 4*v - 12 = -j, -4*j = -v - 0*j + 20. Suppose y - 2*k = 8, 3*y + v*k - 35 = 19. Is 3 a factor of 2/y + (-333)/(-21)?
False
Let i = -181 - -859. Suppose -l + i = 85. Is l a multiple of 62?
False
Is (-1)/4 + 3862/12*(-5061)/(-482) a multiple of 9?
False
Suppose 5*x - 192560 = -5*o, -104*x + 3*o = -103*x - 38548. Does 39 divide x?
False
Let b(j) be the second derivative of j**5/20 - 2*j**4/3 - 7*j**3/2 - 4*j**2 + 7*j. Let u be b(9). Let y = -76 - u. Does 3 divide y?
False
Let n = -257 + 597. Suppose f = -5*c + 5 + 355, f - 5*c - n = 0. Is f a multiple of 27?
False
Suppose -4*v + 4100 = 4*z - 90484, -4*z - v = -94575. Is 5 a factor of z?
False
Let b be ((-20)/30)/(6/1341). Let r = -125 - b. Is 6 a factor of r?
True
Let c = -184 - -175. Does 12 divide (-3753)/(c/3) + -3?
True
Suppose 0 = -5*s + 43 + 27. Suppose -164 = s*d - 2516. Is 21 a factor of d?
True
Suppose 0 = 3*r - 5*z - 1330, r - 3*z - z - 455 = 0. Suppose r = -11*c + 16*c. Is c a multiple of 2?
False
Let j be 4/26 - (-972111)/273. Suppose -321 + j = 20*u. Does 27 divide u?
True
Let q be (-6)/(-5)*30/12. Suppose 2*o - 3 = l, -o = q*o - l - 11. Suppose -4*j = 12, 0 = 4*v - j + o*j - 63. Does 6 divide v?
True
Suppose -189 = 2*b + 4*p - 245, -76 = -4*b - 2*p. Is 2 a factor of b?
True
Suppose 76*o = 71*o - 870. Let h = 385 + o. Is h a multiple of 7?
False
Let t(k) = -2612*k + 42884. Is t(0) a multiple of 71?
True
Does 96 divide (((-61632)/5)/(-9))/((-16)/(-120))?
True
Let k be (4/6*12/(-1))/(-2). Let g = 8 - k. Does 19 divide 2/(-4) + 542/g?
False
Suppose 4*o = -o - 15. Let p be 10/(2/(42/o)). Is 4 a factor of 24/10*p/(-28)?
False
Is 10 a factor of (-2)/(-25) - 13323636/(-1425)?
True
Is 51 a factor of (380/(-38) + 7)*(1 - 78)?
False
Does 47 divide (1 + -7 - -8)*36101/26?
False
Is (-3396230)/(-685) - (6 + 2/(-2)) a multiple of 105?
False
Let g = 3182 + -38. Does 24 divide g?
True
Let n(y) = 260*y**2 - 91*y - 153. Is n(9) a multiple of 24?
True
Let q be 3/(-1) - 30*118/6. Let a = q + 863. Does 30 divide a?
True
Suppose -h + 6 = -a - 4*a, -2*a - 8 = h. Let u(g) = -34*g - 20. Let y be u(h). Let m = -103 + y. Is m a multiple of 11?
False
Let v be (-4)/12 - (1 + 1/(-3)). Let y be ((-48)/144)/((-46)/45 - v). Suppose y*a - 12*a = 30. Is a a multiple of 5?
True
Suppose -3*a + 14841 = 3*o, 0 = -2*a - 466*o + 461*o + 9876. Is 127 a factor of a?
True
Suppose -32496 = -10*v - 14*v. Let p = -537 + v. Is 46 a factor of p?
False
Suppose -6 = 3*q, -15492 = 17*l - 18*l - 4*q. Does 12 divide l?
False
Is (55*17/374)/(2/21188) a multiple of 54?
False
Let f be (-2)/(-6)*207/23. Let w(g) = 27*g - 31. Is 5 a factor of w(f)?
True
Suppose k = q + 4*q - 1554, -3*k = -2*q + 4688. Let w = -1012 - k. Does 15 divide w?
False
Let a = -3 - -7. Suppose -a*f = -1650 + 270. Is f a multiple of 26?
False
Let l be (-11436)/(-22) + 18/(-693)*-7. Suppose -8*r + 3*r + l = 2*f, 2*r + f = 208. Does 13 divide r?
True
Let r(m) = 5*m - 26. Let g(d) = 3*d**2 - 14*d + 3. Let i be g(7). Let n be (2 - (3 + -2))*i/4. Is r(n) a multiple of 39?
True
Does 10 divide 64/128 + 606/(-4)*-93?
True
Let z be 187/68 + (-1)/(-4). Suppose z*i - 480 = -3*i. Let m = i - 31. Is 7 a factor of m?
True
Let b be (-5355)/(-51)*(-4 + -1). Suppose 5 = -4*a - 7. Is a/(b/129 - -4) a multiple of 25?
False
Let z(g) = 7*g**2 + 8*g + 10. Let s be z(13). Let o = -866 + s. Is 15 a factor of o?
False
Let j = 89 - 87. Suppose -j*f = 12 + 6. Is 5 a factor of f/(-1*(-15)/(-50))?
True
Let m = 9 + -5. Suppose 0 = f + s - 2379, 0 = -m*f + s + s + 9522. Does 17 divide (4/(-2) + -1)*f/(-30)?
True
Suppose 20*q = 6*q + 499578 + 140558. Does 46 divide q?
True
Suppose -215*a = -114*a - 1882741. Is 97 a factor of a?
False
Let l(w) = -22*w - 48. Let v be (22/6)/((-114)/18 + 6). Is l(v) a multiple of 27?
False
Let r(u) be the second derivative of -u**5/20 + u**4/2 - 5*u**3/3 - u**2/2 + 5*u. Let z be r(6). Let y = -27 - z. Is y a multiple of 17?
True
Let h be (252/(-1 + -1))/((-327)/20710). Suppose 170*s - h = 156*s. Is 10 a factor of s?
True
Suppose -28 = -2*o + 32. Suppose 274*y - 48 = 280*y. Is 2 a factor of (24 - 0)*(-3 - o/y)?
True
Let b(x) = -5*x - 12. Let s(m) = 36*m + 84. Let n(u) = -27*b(u) - 4*s(u). Let v(i) = 2*i - 15. Let c be v(5). Does 11 divide n(c)?
True
Suppose 2*f = -4*m + 62, f + 65 = 2*m + 2*m. Suppose 21*b - m*b + 5 = 0. Let x(o) = 134*o**2 + 2*o + 1. Is x(b) a multiple of 25?
False
Suppose 35*v - 18*v = -82*v + 37917. Does 30 divide v?
False
Let d be ((-4)/(-3))/(6 - 800/132). Let c be -8*(d/4 + (-10 - -10)). Suppose 38*n - c*n = -900. Is n a multiple of 10?
True
Let o be ((-4)/2 + 2)/(-7 - -9). Suppose 2*x + 219 = -3*y + 12, o = 2*x + 5*y + 209. Let s = 161 + x. Does 5 divide s?
False
Is 40 a factor of 4887 - ((-25)/1 - -32)?
True
Suppose 18*u - 32 = 4. Suppose -s - 3*f = -672, s + 675 = u*s + 2*f. Is 16 a factor of s?
False
Suppose 15*y - 16*y + 5 = -m, 0 = 4*m. Suppose -4*a = 3*f - 1772, f - 1124 = -y*a + 1091. Is a a multiple of 9?
False
Suppose 74*l - 1024457 = -28713. Is 16 a factor of l?
True
Suppose 2*o = -5*t + 11662 + 53508, 2*o - 3*t - 65218 = 0. Is 50 a factor of o?
True
Let f(r) = 169*r**2 - 17*r - 40. Does 13 divide f(3)?
True
Let j = 10 - 5. Let m be (-3)/(-1) - j - -11. Suppose 6*i + 633 = m*i. Does 8 divide i?
False
Let u(p) = -p**2 + 33*p - 109. Let v be u(4). Suppose 0 = -v*h + 277 + 248. Is h a multiple of 9?
False
Let t(i) = 7*i**3 + 4*i**2 - 3*i + 2. Let u(g) = -6*g**3 - 3*g**2 + 2*g - 3. Let y(m) = -3*t(m) - 4*u(m). Does 5 divide y(3)?
True
Let h = -25 - -30. Let r(c) = 6*c - h - 24 + 11. Does 16 divide r(19)?
True
Let a = 29241 + -13763. Is 28 a factor of a?
False
Let d(u) = -11 + 2*u + 12*u - 96*u**2 - 115*u**2 + 238*u**2. Does 9 divide d(4)?
True
Is (((-6727)/14)/(-31))/(1/4) even?
True
Is 6 a factor of 456/(-14)*(-504)/144?
True
Let s(y) = y**2 - 2*y - 24. Let v be s(-4). Suppose v = -4*z - 3*f + 2190, 3*z = -f + 893 + 747. Does 14 divide z?
True
Let b(n) be the first derivative of n**2 + 10*n - 30. Let h be b(1). Is 5 a factor of (1024/h)/8 - 2/3?
True
Let m be (-16)/(-3) + 2*2/(-12). Does 21 divide -5 - (-5 + m) - -509?
True
Suppose 3*a - 6 = n + n, -2*n = -2*a + 8. Let o(v) = -v**2 - 10*v - 20. Let l be o(n). Is 23 a factor of 161 + 1/(8/l)*0?
True
Let x(z) = z**2 + 7*z - 14. Let u be x(2). Suppose u*a - 4*m - 2108 = 0, -2*a + a = -4*m - 533. Does 25 divide a?
True
Suppose -1809 = -6*g + 3*s, 25 - 349 = -g - 4*s. Let v be 57/15 - 1/(-5). Suppose -v*w + g + 160 = 0. Does 58 divide w?
True
Let d = -47167 - -85807. Does 24 divide d?
True
Let w(m) = 35114*m + 350. Does 248 divide w(1)?
True
Suppose 3*h + 22 = -14. Is 13 a factor of h*1/((-6)/156)?
True
Let d be (8 + -6)*(-6)/(48/1340). Let o = d + 428. Does 24 divide o?
False
Suppose -j = j - 28. Let f be 63/j - (2 - 6/4). Does 9 divide 4/16 + -1 + 363/f?
True
Suppose f + 67367 = 4*a, 3*a - 49192 - 1352 = -3*f. Does 16 divide a?
False
Suppose -4*r + 7189 = -2459. Is 36 a factor of r?
True
Let x = -48 + 88. Is (96/x)/(1/25) a multiple of 21?
False
Suppose -2375858 = 85*g + 12*g - 8951779. Is g a multiple of 80?
False
Let i = 12584 + -12113. Is 36 a factor of i?
False
Let u = 38 + -26. Suppose t = 2*s - 6, u = -5*s + 37. Does 11 divide ((-18)/t)/(6/(-88))?
True
Does 14 divide -1555*8/(-60)*21?
True
Let y(p) = 2*p**2 + 25*p + 20. Suppose 31 = -5*a - 49. Is y(a) a multiple of 33?
True
Suppose -3*y - 3*g - 15 = 0, y + g + 2*g + 7 = 0. Does 24 divide y + -1 + 6 + 271?
False
Let b(r) = 39 - 20 - 10*r - 17. Let l be b(0). Suppose 59 + 696 = 5*g - l*f, -2*f - 143 = -g. Does 51 divide g?
True
Let s(a) = 9*a**2 + 11*a + 11. Let v be (-11)/(44/(-20))*(-4)/10. Is s(v) a multiple of 4?
False
Suppose -170*c = -175*c + 755. Let s = c - 143