e
Let n(c) = -855*c - 6911. Is n(-13) a multiple of 13?
False
Suppose -24 = -2*o - 3*f, -3*o - 8 = -3*f - 59. Suppose 21*i - o*i - 2592 = 0. Does 18 divide i?
True
Let m = 11 + -48. Let v = m - -39. Suppose 0 = v*d - 2, 5*r - 4*d - 1215 = 41. Does 14 divide r?
True
Suppose -3*l + 23 = -1. Suppose -21*n = 12*n - 8316. Suppose 0 = l*o - 1092 + n. Is 37 a factor of o?
False
Let x(s) = -2*s**3 - 11*s**2 - 6*s + 14. Let z be x(-4). Let p(m) = 5*m**2 + 10*m + 9. Is p(z) a multiple of 11?
False
Suppose -4*h = -2*m - 395 - 231, -442 = -3*h - 4*m. Let t = -33 + h. Suppose -b + 56 = 4*l - t, -4*l + 4*b = -192. Does 15 divide l?
True
Suppose 0 = 169*c - 785 - 2302779 - 584815. Is c a multiple of 123?
False
Suppose -72 = 11*k - 248. Let n(d) = -4 - 4 - 15 + 10*d - 11. Is n(k) a multiple of 12?
False
Let h = -1135 - -1733. Let f be (h/69)/((-1)/(-12)*2). Let p = f - 32. Is 15 a factor of p?
False
Let v = 508 - 517. Is 5 a factor of 6 + (v - -4) - (-7)/1?
False
Let y(v) = v**2 + 21*v - 26. Let d be y(-22). Let o(c) = -4*c - 11. Let f be o(d). Suppose -i - 2*i + 142 = f*x, 0 = -x - 2*i + 27. Is 2 a factor of x?
False
Suppose -4*f + 4808 = 3*v - v, 12 = 4*f. Suppose 3602 = 16*j - v. Is 11 a factor of j?
False
Let d = 6814 - 2107. Is d a multiple of 68?
False
Does 18 divide -61 + 55 + 4*1779?
True
Let q be (-1)/(-3) - 64/(-24). Let k be q/6*(-13 - -1). Is 4 a factor of (-10 - -14)*k/(-1)?
True
Let u be 0 + (-5)/5*1 + -674. Does 18 divide 2/(-16)*-20 + u/(-2)?
False
Is 46 a factor of 21443 + ((-47)/799 - (-507)/(-51))?
False
Let z(o) = -3*o + 42. Let f be z(14). Suppose 5*d + 54 - 24 = f. Let k(w) = -w**3 - w**2 + 14*w - 2. Is 7 a factor of k(d)?
False
Let q(h) = -7*h - 15. Let n(w) = -6*w - 14. Let z(i) = 4*n(i) - 5*q(i). Suppose -30 = -6*b + b. Is 12 a factor of z(b)?
False
Let s = 11822 - 3864. Is s a multiple of 173?
True
Let u(z) = 4*z - 20. Let i(g) = -g**2 + 14*g - 29. Let n be i(5). Let o = -1 + n. Is u(o) a multiple of 10?
True
Let w = 1505 + 19. Is 42 a factor of ((-80)/15)/8 + w/18?
True
Let o = 3796 - 3397. Does 19 divide o?
True
Let a(f) = -f**2 + 110*f + 1352. Is a(106) a multiple of 48?
True
Let b = -2703 + 4926. Does 39 divide b?
True
Suppose 0 = -16*f + 6*f - 1130. Let s = f + 220. Is 31 a factor of s?
False
Let f(i) = i**3 - 6*i**2 + 14*i - 40. Let b be f(5). Suppose 2*l - 20*a + 25*a - 445 = 0, 3*l + b*a = 655. Is l a multiple of 18?
False
Suppose 15*u - 624 = 9*u. Let p = -107 + u. Does 11 divide 13 - (p/(-1) + -7)?
False
Let h(l) = l**2 + 5*l + 26. Let m be h(-6). Let t = m - 27. Suppose -2*i + 60 = v, -t*i + 160 = 4*v + v. Is i a multiple of 4?
True
Let l(q) be the first derivative of -114*q**2 - 34*q - 99. Is 25 a factor of l(-3)?
True
Let z(d) = -d + 7. Let x be z(-6). Let f(t) = -t**3 + 12*t**2 + 17*t - 28. Let i be f(x). Does 10 divide (i/32)/(3/8) + 118?
True
Suppose -12*t = -18*t + 7422. Let d = -418 + t. Is 63 a factor of d?
True
Let z(n) = -3*n + 82. Let b be z(29). Does 5 divide ((-68)/b)/(74/370)?
False
Is 157 a factor of (-65 + 183)/((-3)/(402/(-2)))?
False
Suppose 33*s = -2*b + 32*s + 20192, -4*b = -3*s - 40394. Is b a multiple of 224?
False
Let w(n) = n**2 - 7*n + 9. Let j be w(6). Let i be (-8)/(-6)*j/2. Does 8 divide i + 0 + 1/(-1)*-80?
False
Let u = -144 - -154. Suppose -u*x + 404 = -226. Is 3 a factor of x?
True
Suppose r + 2*n = 865, 0 = -2*r - 0*n - 2*n + 1736. Let u = r - 507. Does 31 divide u?
False
Let f = 25978 - 20473. Does 54 divide f?
False
Let k be 90/(-120) + (-2514)/8. Let o = k + 1407. Does 84 divide o?
True
Let b(k) = -k**3 + 45*k**2 + 261*k + 19. Does 3 divide b(-8)?
True
Let j(m) be the first derivative of m**4/2 + 7*m**3/3 + 5*m**2 - 9*m + 148. Does 35 divide j(6)?
True
Let j be (15 + -18)/(1/(2 + 137)). Let v = -188 - j. Suppose -5*t + t = q - 72, v = 3*q - t. Is 46 a factor of q?
False
Let o = -9475 + 13291. Is 6 a factor of o?
True
Let w = 19820 - 18135. Is 3 a factor of w?
False
Let t(b) be the first derivative of 745*b**3/3 + 5*b**2 + b - 343. Is 42 a factor of t(1)?
True
Let n = -31 + 36. Let s = -15 + 18. Suppose 4*v - 317 = -6*r + s*r, -n*v - r + 388 = 0. Is 11 a factor of v?
True
Let o = 73 + 116. Let w = 107 + -2. Let s = o - w. Is s a multiple of 21?
True
Let c = -4807 + 6557. Is 103 a factor of c?
False
Let b = -2 - -12. Suppose -o + 6*o = b. Suppose 4*t + 312 = o*s, 177 = 3*s - 2*s + 5*t. Is s a multiple of 18?
True
Suppose d - 90 = 110. Let n = -3930 - -3934. Suppose 3*w - 2*g = d, -4*w + n*g + 50 = -3*w. Is 14 a factor of w?
True
Let n(d) = -8*d - 5. Let i be n(-7). Let j = -1 - -57. Suppose -i*t - 525 = -j*t. Is t a multiple of 15?
True
Let s(t) = -t + 23. Let j(b) = 27. Let l(d) = 4*j(d) - s(d). Let n be ((-100)/(-12))/(1/(-3)). Is l(n) a multiple of 20?
True
Suppose -3*f + 17 = 2*o, -5*o - 3*f = -o - 37. Is 11 a factor of (-4)/o + 3/((-75)/(-10535))?
False
Suppose -4*s = 4*s + 288. Let f(m) = -m**2 - 45*m + 129. Does 28 divide f(s)?
False
Suppose 4*z = -4 + 12, -n + 2*z = 399. Let g = 1375 + n. Is g a multiple of 49?
True
Suppose 0 = s + 4*h - 1642, -2960 = -3*s - 4*h + 1982. Does 33 divide s?
True
Suppose 13*a - 9*a + 216 = 0. Is 9 a factor of 3 - a/12*2?
False
Let l(m) = -2*m**2 + 11*m - 5. Let u be l(4). Let v(f) = 21*f**2 - 17*f + 98. Is 13 a factor of v(u)?
False
Let s(b) be the third derivative of b**5/60 - b**4 - 7*b**3/2 - 14*b**2. Let u be s(25). Is u/(-14) + (-4700)/(-35) a multiple of 30?
False
Suppose -36*a - 22822 = 2*a - 538406. Does 41 divide a?
False
Suppose 8449 = 109*q - 108*q - 4*o, -3*q = -5*o - 25354. Is 165 a factor of q?
False
Suppose -144 = 4*z - 12*z. Suppose 0 = -2*g + 3*g + z. Is ((-7)/(-14))/((-1)/g) a multiple of 4?
False
Let b = -53 - -56. Suppose 4*j - 183 = -b*t - 0*t, -5*j = t - 226. Suppose 0 = -2*o + l + 22 + j, 9 = -3*l. Is o a multiple of 6?
False
Let l(p) = -4*p**3 - 31*p**2 - 21*p + 2. Let d be l(-9). Suppose 2*t + 3*n = t + d, 3*t - 1788 = -n. Is 11 a factor of t?
False
Suppose -q = -2*c - 94 - 28, -q + 124 = -c. Let p = 80 + 46. Suppose -q - p = -4*d. Is d a multiple of 14?
False
Is 76 a factor of 43/((-3096)/(-16)) - 815810/(-18)?
False
Let b = -3144 + 12562. Is b a multiple of 17?
True
Let l = -9099 - -9102. Does 3 divide l?
True
Let t(c) = 3*c + 15. Let z be t(-2). Suppose 0 = 4*q - 2*i - 2464, -q - z*i + 7*i + 611 = 0. Is 41 a factor of q?
True
Suppose 0 = -5*m - 5*c + 51045, c + 70073 - 19034 = 5*m. Is m a multiple of 88?
True
Suppose 322 = 16*a - 9*a. Let i = a + -199. Let m = i + 359. Is 20 a factor of m?
False
Let s(t) = 331*t**2 + 19*t - 4. Does 14 divide s(2)?
True
Let o(i) = 1672*i**3 - 24*i - 1673*i**3 + 13*i**2 + 22 + 3. Is 38 a factor of o(10)?
False
Let d(s) = -s**2 + 3*s + 195. Let a be d(19). Let z = 202 - 365. Let m = a - z. Does 18 divide m?
True
Suppose 0 = 4*w - 5*g - 105985, -596*w + 591*w + 3*g = -132504. Is w a multiple of 156?
False
Let l(u) = -2*u + 46. Let y(j) = j - 23. Let f(z) = -3*l(z) - 5*y(z). Let t be f(27). Suppose t*a - 415 = -a. Is a a multiple of 14?
False
Is 74 a factor of 96/(-4)*(-17760)/45?
True
Suppose -8*x = -18*x + 410. Does 21 divide 864/(-192)*4*x/(-2)?
False
Let x(c) = 0 + 27 - 3 - 12 - 3*c + 10*c**2. Is 28 a factor of x(-6)?
False
Does 36 divide (2296/(-123) + 0)*(-1 + 0 + -458)?
True
Suppose 5*p - 3*g + 972 = 350, 0 = -2*p + 2*g - 252. Let t = p - -266. Is 4 a factor of t?
True
Let l(f) = -672*f - 2377. Does 10 divide l(-14)?
False
Is 7/(133/(-180120))*(-2)/3 a multiple of 10?
True
Let p(b) = 3*b - 4. Let f be p(2). Suppose 11 - 3 = f*s. Suppose 884 = 5*v + c, -s*v - c + 878 = 170. Is v a multiple of 11?
True
Suppose -12*j - 9 = -3*j. Is 5 + 14/(-2) - (j - 101) a multiple of 10?
True
Suppose 784 = -3*q + 11*q. Let n = 98 - q. Suppose -5*t - 2*t + 616 = n. Does 22 divide t?
True
Does 50 divide (-4)/(0 + 2/(-1250) + 0)?
True
Let w be -2 + 50 - (-1 + -3 + 6). Let v = w + 20. Does 21 divide v?
False
Suppose -3*x + 2126 = -15*u + 11*u, 4*x = u + 2839. Does 142 divide x?
True
Suppose -l = 3*w - 11382, -3*l - 6620 + 25590 = 5*w. Is w a multiple of 3?
False
Suppose -4*w + 24 = 2*n + 3*n, -7 = -2*n + w. Suppose -2*g - 5*t - 107 = -802, -5*g = n*t - 1712. Let m = g + -229. Does 37 divide m?
True
Let d(z) = -4*z**2 - 5*z + 15. Let k(i) = i**2 - i + 1. Let q(y) = -d(y) - 5*k(y). Let s be q(6). Is 37 a fact