es 11 divide f?
False
Let y = -18 - -29. Suppose 4*z - 22 = t, z + 3*t + y = 2*z. Suppose -x + 144 = -z*o, -3*o - 175 - 589 = -5*x. Is 22 a factor of x?
True
Suppose -4*h + 3*f = -9984, 11*f + 5002 = 2*h + 7*f. Is h a multiple of 4?
False
Suppose 3*q - 11 = 4*d, -4*d - 10 = d - 3*q. Let i(n) = 416*n**2 + 4*n - 3. Does 23 divide i(d)?
False
Let a(d) be the third derivative of -6*d**2 + 1/60*d**5 - 25/6*d**3 + 0*d + 1/6*d**4 + 0. Is a(-8) a multiple of 7?
True
Suppose -2115 = 7*f - 57. Let u = f + 412. Suppose -4*k + u = v - 62, 0 = 3*v + 2*k - 520. Does 27 divide v?
False
Let k = 282 + -300. Let t = -2417 - -3839. Is -2 + (t/(-27))/(4/k) a multiple of 16?
False
Suppose -y - 3*v + 2126 = -567, -v = 5*y - 13451. Is 10 a factor of y?
True
Suppose 0 = 6*j - 14*l + 10*l - 9152, -j - 5*l + 1531 = 0. Does 7 divide j?
True
Let m = -82 - -86. Let b(r) = 62*r. Let z be b(m). Suppose -k - 147 = -3*o + z, 135 = o - k. Is o a multiple of 16?
False
Let r be (-2)/(((-20)/55)/2). Let y be 2*-1 - (6 - r). Suppose -270 = y*l - 6*l. Does 8 divide l?
False
Is -73 + 81 + (-7 - -8178) a multiple of 23?
False
Let k = -245 + 171. Let v = k - -400. Is 28 a factor of v?
False
Let v(f) = -8*f - 3. Let j be v(-4). Let g = j + -3. Suppose -23*w + g*w = 180. Is 15 a factor of w?
True
Suppose -31*k = -7*k + 18240. Let v = -352 - k. Does 12 divide v?
True
Let j(g) = -6*g**3 - 5*g**2 - 13*g - 46. Suppose -5*s - 29 = l, -6 + 31 = -5*s. Is j(l) a multiple of 8?
False
Suppose 6*p - p = -5*o + 5, 20 = -5*o. Suppose 4*l - p*m = 4, 3*l - 2*l = 3*m - 6. Suppose 1440 = l*a + 2*a. Is a a multiple of 45?
True
Let f(c) = 17314 + c**3 - 17254 + 0*c**3 + 4*c. Is f(0) a multiple of 15?
True
Let v(q) = q - 1995. Let f be v(0). Let y be -1*6/14 - (-407)/(-259). Is ((f/10)/7)/(y/4) a multiple of 13?
False
Suppose -8*q + 72 = -40. Let c be 8/q*(-112)/(-32). Suppose -5*j = -c*j - 120. Is j a multiple of 8?
True
Let v(a) be the first derivative of 19*a + 13 + 9/2*a**2. Is 6 a factor of v(0)?
False
Suppose -190 + 2350 = -20*r. Suppose -s - 2*s + 828 = 0. Let y = s + r. Is y a multiple of 42?
True
Let r = -245 + 586. Suppose 5*l - 2036 = -o - 394, -4*o = -l + r. Is l a multiple of 47?
True
Is 13214 - (0 + 2)*(8 + (-11)/2) a multiple of 11?
False
Suppose -3*t + 2*n - 17 = -6*t, 3 = 3*n. Suppose -t*a + 1 = l - 6, -28 = -4*l + 2*a. Suppose -l*r + 179 = 18. Does 23 divide r?
True
Is 99 a factor of (6723/12)/(465/6820)?
True
Let u = 51 - 47. Let t(h) = 11*h + 7. Let l be t(u). Does 12 divide 1 - (-244)/3 - (-34)/l?
False
Let p be 6/(-8) - (-38)/8. Suppose -3*l - 2*v + 167 = 0, -p*l = -9*l - 2*v + 277. Suppose -l*i + 59*i - 92 = 0. Does 12 divide i?
False
Suppose -20 = 3*x + 13. Let k(s) = -s - 7. Let l be k(x). Is (l + 8/(-3))/((-2)/(-33)) a multiple of 5?
False
Suppose 816 = 5*s - 414. Let r = s - 233. Is 10 a factor of r?
False
Let s = 10589 - 10035. Does 10 divide s?
False
Let y(u) = 9*u**2 - 3*u + 1. Let z be y(-4). Suppose -35*j - 60 - 3230 = 0. Let n = j + z. Is n a multiple of 9?
True
Let v be (-8)/1 + 3 + -11 + 349. Let u = 729 - v. Is 31 a factor of u?
False
Suppose -y + 7*y = 7296. Suppose -12*x + 4840 = y. Is x a multiple of 35?
False
Let o(z) = -z**2 - 5*z - 3. Suppose 6*n + n + 21 = 0. Let m be o(n). Suppose -3*g - 261 = -m*i, 2*i = -2*g - g + 199. Is 23 a factor of i?
True
Let a(d) be the third derivative of -d**6/120 - 11*d**5/30 + 2*d**4/3 - 55*d**3/6 + 30*d**2. Is a(-23) a multiple of 19?
False
Let w be ((-18)/(-21))/((10/2212)/5). Suppose -4*s - 5*f + 3*f + w = 0, -474 = -2*s + 3*f. Does 39 divide s?
False
Let i = 30795 + -24635. Is i a multiple of 5?
True
Suppose 0 = -3*h + 16 - 13. Does 3 divide 6 - h - (11 - 60)?
True
Let m be -1 - 20*((-45)/10 - 1). Suppose l - 61 = -8*u + 3*u, 2*l = 3*u + m. Does 3 divide l?
False
Let o be (-8 - (4 + -9))*474/(-9). Let m = 319 + o. Is m a multiple of 8?
False
Suppose 133*v = 144*v - 1661. Suppose -150*r = -v*r + 330. Is r a multiple of 10?
True
Let l(n) = n**3 - 15*n**2 - 30*n + 13. Let f be l(14). Let d = -200 - f. Is 30 a factor of d?
False
Let p be (1/(-2))/((-5)/60). Suppose -15 = p*i - i. Is (112/((-6)/i))/(2 + -1) a multiple of 14?
True
Suppose 10*t - 1252 - 52837 = -7499. Does 49 divide t?
False
Suppose 528*a - v - 6608 = 526*a, -a + 5*v = -3313. Is a a multiple of 30?
False
Let o = -6 - -11. Suppose 2380 = o*t - t - 3*f, t + 3*f = 610. Is t a multiple of 41?
False
Let r(u) = 16*u**2 + 14*u - 2. Let s be 28/6 - (-2)/6*1. Let j be r(s). Suppose 6*h - 9*h = -j. Does 6 divide h?
True
Let g(w) = 52*w**2 - 72*w + 20. Does 24 divide g(-5)?
True
Let u(m) = 10*m - 10. Let r(l) = l**2 - 11*l + 34. Let a be r(5). Is u(a) a multiple of 9?
False
Let q(j) = 329*j - 1 + 5 + 1 - 13 - 1. Is 10 a factor of q(1)?
True
Let f = 629 + -563. Does 20 divide 33480/341 - -3*(-4)/f?
False
Suppose 18*c = 9*c + 144. Suppose 4 - c = -3*h. Suppose -w + h*r - 17 + 99 = 0, r = -2*w + 128. Is 11 a factor of w?
True
Suppose 9*u + 12*u = 7*u + 114002. Is u a multiple of 47?
False
Let f = 329 - 324. Suppose 129 = f*o - 541. Does 10 divide o?
False
Let z = -2012 + 2061. Let x(r) = 13*r**2 + 2*r. Let w be x(3). Let j = w - z. Is j a multiple of 37?
True
Let c(j) be the second derivative of 86*j**3/3 - 20*j**2 - 20*j. Is 11 a factor of c(4)?
False
Let t = 14398 - -12694. Does 191 divide t?
False
Let b = -55 + 145. Suppose -b = -21*v + 16*v. Does 18 divide v?
True
Suppose 21*t - 25*t = w - 390, t + 2118 = 5*w. Is 6 a factor of w?
False
Let w(h) = 3*h + 134. Let n(b) = -38*b + 176. Let j be n(5). Is 5 a factor of w(j)?
False
Let r be 18 + -1 - 12 - 5/1. Suppose 4*h + 3548 = 3*g, r = -3*h - 10 - 5. Is 13 a factor of g?
False
Suppose -8*o = 4*o - 1536. Suppose -3*b + o = -1339. Let x = -265 + b. Is x a multiple of 14?
True
Let s(g) = 14*g - 4. Let a be s(1). Suppose a*i - 523 - 157 = 0. Does 9 divide i?
False
Let j(q) = -2*q**2 + 66*q + 19. Let k be j(31). Let p = 502 - k. Is p a multiple of 18?
False
Let x(b) be the first derivative of -37*b**5/40 - b**4/12 + 11*b**3/3 - 17. Let u(i) be the third derivative of x(i). Does 33 divide u(-1)?
False
Is 652*(-30)/(-18)*3 a multiple of 10?
True
Let y(d) = -3*d**2 + 7*d + 7. Let r be y(13). Let h = 436 + r. Does 3 divide h?
True
Is (1 - -122 - 1) + 2/2 + -2 a multiple of 9?
False
Suppose 145 = 3*u + 3*a - 242, 3*u + 5*a = 397. Suppose -3*q + u = 2*y, 5*q - 38 = 4*q - 4*y. Does 4 divide q?
False
Let v = -7847 + 8920. Is v a multiple of 37?
True
Let r = -109 + 258. Suppose 0 = r*q - 140*q - 414. Is q a multiple of 2?
True
Let f be 270/8 + (-11)/(-44). Let h = 36 - f. Is (h/(-6))/((-6)/630) a multiple of 35?
True
Let l be (-14)/105 - 9/(270/10076). Let p = -630 + 440. Let j = p - l. Does 12 divide j?
False
Suppose -5*u = 11*u - 9488. Let i = u - 393. Is 20 a factor of i?
True
Let c = -75 + 77. Suppose 0 = 5*g + c*g - 1134. Is 9 a factor of g?
True
Let z(u) = 803*u - 961. Is 8 a factor of z(43)?
True
Let u(z) = 7*z - 34 - 6 - 15*z + 5*z. Let y be u(-16). Suppose -2*o = -y - 78. Is 15 a factor of o?
False
Does 26 divide ((-990)/(-440))/(3/11056)?
False
Let j = -1772 - -19199. Is 24 a factor of j?
False
Let r(s) = s**3 - 20*s**2 + 4*s - 44. Let t be r(19). Let a = -311 - t. Does 2 divide a?
True
Suppose 0 = 134*s - 112*s - 154. Suppose s*b - 602 = 322. Is b a multiple of 4?
True
Let p = -35 + 40. Let j(m) = -3*m**2 + 4*m - 4. Let d be j(p). Is 29 a factor of d/(-2) - (-1)/(-2)?
True
Suppose 3 = -4*m - 21. Let r = 70 + m. Let a = r - 59. Does 2 divide a?
False
Let g = -3 + 13. Let n be g/4*36/(-45). Does 13 divide (-5)/(-10) - (-2 - (-145)/n)?
False
Let w = 0 + 4. Suppose w*n = 3*b - 1408, -b + 2*n = -3*b + 948. Suppose -7*x + 15*x - b = 0. Does 8 divide x?
False
Let g = 30 - 10. Suppose 9*d - g - 88 = 0. Is d a multiple of 6?
True
Let y(c) = 14*c**2 - 3. Suppose 4*q + 3*f = 2*f + 16, -q + 2*f + 4 = 0. Is y(q) a multiple of 17?
True
Let y = 111 - 61. Let x = y + -56. Let s(k) = -2*k**3 - 6*k**2 + 13*k + 5. Is s(x) a multiple of 10?
False
Is 12169 + -2*(-63)/(-18) + 4 a multiple of 79?
True
Let n = -944 + 4892. Does 14 divide n?
True
Suppose 37*b + 63*b = 636300. Does 13 divide b?
False
Let b be 16/(-24)*1/((-3)/1359). Let p = b - 58. Is p a multiple of 5?
False
Let m(u) be the first derivative of -3*u**4/4 - u**3/3 + u**2/2 + 2*u + 1. Suppose