(-70)/(-5) - 7) + 51/3. Is f(b) a multiple of 50?
False
Let p = 102 - -166. Suppose 2*w - 503 = i, 470 = 3*w + 4*i - p. Is 25 a factor of w?
True
Suppose 8110 = 15*n - 8600. Suppose 5*o + 927 = 5*k - 1858, 2*k + 5*o = n. Is k a multiple of 56?
False
Suppose 0 = -2*t - 6 + 2. Let y be (-6)/(t/19*1). Let a = y - 21. Is a a multiple of 18?
True
Suppose -2*r = -3*u + 61, -5 - 5 = 2*r. Suppose 5*o = 5 + 15, -5*o = -2*j. Let f = j + u. Is 3 a factor of f?
True
Suppose 3*p + 2*v - 15 = 30, 77 = 5*p + 4*v. Let t(u) = -2 + 24*u - p + 4. Does 12 divide t(3)?
False
Suppose 304*q = 292*q + 71193 - 12333. Is 15 a factor of q?
True
Suppose 5*n - 2*k - 5842 + 631 = 0, -5*n = -3*k - 5214. Suppose -6*f + 1575 + n = 0. Is 27 a factor of f?
False
Let g = -9254 - -13402. Does 122 divide g?
True
Let g = -48 - -46. Let d be 2/g + 0 + -3. Does 13 divide 23 - ((0 - 0) + d)?
False
Let d be 36/4*(-3)/(-9). Suppose -2*x + 8*l - 4*l = -1760, -d*x - l = -2619. Does 28 divide x?
False
Let g(j) = 3*j**2 + 197*j - 7102. Is g(86) a multiple of 314?
True
Suppose -r + 819 = 4*m - 6*m, 2*r = -4*m - 1634. Let q = -229 - m. Does 20 divide q?
True
Is (-227074)/(-22) + 624/(-1144) a multiple of 2?
False
Suppose 0 = v + 5*j - 19, -4*j - 17 = 5*v - 7. Is 36 + 2 - (v - -4) a multiple of 20?
True
Let d = -4543 + 5767. Does 24 divide d?
True
Does 21 divide 2*(4 + (-1962)/(-12)) + 1?
True
Suppose 5*v - 13 = i, 6*v - 2*v - 16 = -2*i. Let b be (0 + v)/1*-141. Let n = b - -635. Does 31 divide n?
False
Suppose 270 = -21*n + 30*n. Suppose 2*r + r + 185 = 5*c, -165 = -4*c - r. Let s = c - n. Is s a multiple of 6?
False
Let d(f) = f**3 - 14*f**2 - 33*f + 21. Let a be d(16). Suppose n + a*u = 209, 2*u + 20 - 244 = -n. Is 10 a factor of n?
False
Let k be (-2)/8 + -4*68/(-64). Suppose 0 = -4*v - 2*y - 32, -k*v + 3*v = 2*y + 8. Let p(t) = -t**3 - 7*t**2 - 6*t + 8. Is 12 a factor of p(v)?
True
Suppose -5*v - 60 = -15*v. Suppose -v*f + 1420 = -f. Is f a multiple of 71?
True
Does 195 divide ((-2874)/(-14) - 1)/((-25)/(-4725))?
True
Suppose -5*f - 3*h + 207 = -49, -5*h = -5*f + 240. Is 10 a factor of f?
True
Suppose 0 = -252*u + 349*u - 2592228. Does 262 divide u?
True
Let l(n) = -17*n - 6. Let p be l(-3). Let f be 170/14 + (-2)/14. Let g = p - f. Does 5 divide g?
False
Let g be ((-6)/3 - -4)*-1. Is (320/(-15))/(g/6) a multiple of 4?
True
Suppose -63*h - 2*l - 11146 = -65*h, 0 = -5*l + 30. Is 9 a factor of h?
False
Suppose 18*b - 17*b - 448 = 0. Suppose -3*p = -w - 354, b + 24 = 4*p - 2*w. Is 12 a factor of p?
False
Let r be -1*(6 + -5 + 0). Is (451 + r)/2*2112/440 a multiple of 8?
True
Let b(g) = 8 - 4 - g**2 + 0*g + 0 + 9*g. Let z be b(10). Is 5 a factor of 18/9*((-75)/z)/1?
True
Suppose 1600 = -9*n - n. Does 26 divide (-755)/(-4) + 10/(n/12)?
False
Let q(p) = 17*p**3 + p**2 + p + 2. Let u be q(2). Is (-3 - -7) + -5 - (0 - u) a multiple of 13?
True
Let x = 2965 + -1671. Is 3 a factor of 36/(-270) - x/(-30)?
False
Suppose 0 = 73*b - 66*b - 707. Suppose -96*p - 2330 = -b*p. Is 11 a factor of p?
False
Suppose 0 = -27*l - 139*l + 862536. Is 6 a factor of l?
True
Does 103 divide 42/231 + (-86100)/(-44)?
True
Suppose -4852 = -3*j + 3485. Suppose w = -63*y + 66*y + 921, 3*w - y - j = 0. Is w a multiple of 13?
False
Let j(x) = -11*x + 1471. Is 31 a factor of j(-72)?
True
Let p(n) = 12*n + 15. Let q be p(-11). Let f = q + 266. Is f a multiple of 20?
False
Let h(d) = -882*d + 2572. Is 17 a factor of h(-11)?
True
Let d(z) = 1798*z**2 - 41*z - 29. Is d(-3) a multiple of 14?
False
Suppose 5336 + 151537 = 42*d - 1173. Does 120 divide d?
False
Let q = 1227 - -463. Is q a multiple of 10?
True
Let o(t) = 297*t**2 + 23*t + 47. Does 31 divide o(-2)?
False
Suppose 14 = 9*d - 7*d. Let q(i) = i - 5. Let x be q(d). Suppose x*h - 1295 = -5*h. Does 19 divide h?
False
Suppose -2*i + 99653 = 39*p - 36*p, 2*i = 5*p + 99629. Does 99 divide i?
False
Let u(t) be the first derivative of -2*t**2 - 11*t - 3. Suppose -27*v + 51 = 213. Is u(v) even?
False
Suppose -11 = -3*x + 1. Suppose -2*r + 690 = 2*l + 72, x*r + 1554 = 5*l. Does 47 divide l?
False
Suppose -3*x - 494 = 3*v - 164, -2*x - 223 = -v. Let c = x - -138. Does 5 divide c?
False
Let c = 783 - 444. Let v = -217 + c. Is 10 a factor of v?
False
Let y(k) = -21*k - 10*k**2 + 5*k**2 - 10*k**2 + 0 - 50*k**3 + 34 + 51*k**3. Does 17 divide y(17)?
True
Is (-1 - -15 - (-112 + 118))/((-4)/(-14362)) a multiple of 172?
True
Let r(q) = 3*q**2 + 3*q - 3. Let d be r(2). Let a be 1134/d - 4/(-10). Is 16*(-4)/((-64)/a) a multiple of 38?
True
Let j(c) = 27*c**3 - 9*c**2 + 54*c + 3. Is 5 a factor of j(8)?
False
Let b(d) be the first derivative of 2*d**3/3 - 41*d**2/2 + 22*d + 5. Let g be b(20). Suppose -k + 152 = m - 3*k, -g*m + 2*k + 308 = 0. Is m a multiple of 13?
True
Suppose 13*m - 27*m - 7910 = 0. Let f = 633 + m. Is f a multiple of 4?
True
Let l(b) = b**2 - 6*b + 12. Let f(d) = d**3 + 2*d**2 - 11*d - 6. Suppose 0*z - 16 = 4*z. Let c be f(z). Is l(c) a multiple of 6?
True
Let r = -261 - -1056. Let v = 1464 - r. Is 67 a factor of v?
False
Let c = 88 + -86. Suppose -3*k + 221 = -5*l, -c*k + 67 = -k - 5*l. Is k a multiple of 17?
False
Let d = -370 + 451. Suppose 0 = 73*g - d*g + 1632. Does 7 divide g?
False
Let a(f) = 339*f**3 - 13*f**2 + 8*f - 18. Is 84 a factor of a(3)?
False
Let u(t) = -24*t**3 - 4*t**2 + 6*t + 5. Let j(l) = -49*l**3 - 9*l**2 + 13*l + 11. Let y(r) = -6*j(r) + 13*u(r). Is y(-2) a multiple of 4?
False
Let n = -32 + 25. Let j(z) = 66*z**2 - 8*z + 4. Let w be j(n). Is 10 a factor of w/81 + (-3)/((-9)/(-2))?
True
Let k = 113 - 88. Suppose k*b = 20*b + 990. Does 9 divide b?
True
Suppose 2*u + 0*u = 22. Suppose b - 46 = -4*o, -3*b + 4*b - 3*o - 53 = 0. Suppose -9*g - b = -u*g. Is 8 a factor of g?
False
Let t be (-12)/(-30) + 19365/25. Let h = t + -455. Does 8 divide h?
True
Does 19 divide 688/258*19017/12?
False
Let q = -4 - -7. Suppose g - 5*m - 139 = 0, 19*m - 22*m - 6 = 0. Suppose 2*r - 98 = -0*k - 5*k, q*k - g = -3*r. Is r a multiple of 12?
False
Let c(u) = -u**2 + 17*u - 22. Let r be c(13). Let t be ((-1)/(-3))/(((-115)/r)/(-23)). Is 4 a factor of t/(-8) + 0 + (-7975)/(-220)?
True
Suppose 80*p = 72*p + 2256. Let g = 399 - p. Does 4 divide g?
False
Let u be (4 - 11)*(-8 - -3). Let t(g) = 5 - 2*g - 7 + 1 + u*g**2. Does 6 divide t(-1)?
True
Let f(s) = s**2 + 24*s + 915. Is 16 a factor of f(-22)?
False
Suppose 0 = -d - 5*q + 13, -d = 3*q - 23 + 18. Is 8/(d/(-88 - -4)) a multiple of 4?
True
Suppose 2*f = 2*o + 148, f = -2*o - 3*f - 160. Let g = 55 - o. Let d = g - 28. Is d a multiple of 19?
False
Let x(l) = l**3 - 27*l**2 - l - 16. Let g(u) = -7*u + 175. Let f be g(21). Is x(f) a multiple of 10?
True
Suppose -4*v + 8*v - 132 = 0. Suppose -3*d + 335 = 89. Let m = d - v. Does 40 divide m?
False
Let n be 1/4 - (-6)/(-48)*-790. Let z = n - -71. Is 10 a factor of z?
True
Suppose 0 = 79*z - 82*z + 147. Suppose -3241 = -19*b - z. Does 8 divide b?
True
Let c = -6 - -13. Let o be (-2)/c - -1522*(-6)/84. Let d = o + 190. Is d a multiple of 18?
False
Let b = 84 - 60. Suppose 3*d + b = d. Let n(i) = i**3 + 13*i**2 + 10*i - 12. Does 12 divide n(d)?
True
Suppose 0 = -96*a + 1341633 + 987711. Is a a multiple of 8?
True
Let w(m) = -18 - 12*m - m + 7*m. Let i be w(-8). Let j = 85 + i. Does 12 divide j?
False
Let u(a) = 3*a**3 - 8*a**2 + 6*a - 4. Suppose 0 = -18*z + 4 + 104. Does 28 divide u(z)?
True
Let f(i) = -2317*i - 47. Let j be f(1). Let u = -1284 - j. Is u a multiple of 30?
True
Suppose 5*k = -2*h + 21, -3*k - h + 9 = 2*h. Suppose -3*m + 384 = -4*n + 48, -k*m + 546 = -2*n. Is 18 a factor of m?
True
Let b(a) be the second derivative of -a**6/20 + 3*a**5/40 + a**4 - 24*a. Let n(y) be the third derivative of b(y). Is n(-3) a multiple of 13?
True
Let u = 14447 + -12779. Is 20 a factor of u?
False
Let s(q) = 2*q**2 - 9*q - 17. Let v(n) = -21*n + 124. Let x be v(7). Is 42 a factor of s(x)?
False
Let v(h) = 2680*h - 2. Let l be -3*-3*2/18*-1. Let f be v(l). Is 4/30 + f/(-135) a multiple of 4?
True
Let y = 15098 - 9459. Does 18 divide y?
False
Suppose -47*d = -53*d + 30. Is 29 a factor of (101 - d)*5/2?
False
Let m be 1 + -5 + (-69 + -3)/(-8). Suppose 5*z = -5*n + z + 657, m*z = 4*n - 542. Is n a multiple of 11?
False
Let b = -452 + 451. Does 19 divide 29 - -2 - (0 + b + -3)?
False
Let t = 1152 -