e
Does 34 divide ((5834/5)/(60/(-50)))/(1/(-33))?
False
Let w(m) = 10*m - 9 - 305*m + 3 + 601*m. Does 5 divide w(1)?
True
Let t(l) = 27*l + 15. Suppose -11 = -7*m - 4. Is 8 a factor of t(m)?
False
Let u(t) = 12*t**2 + 215*t - 55. Is 22 a factor of u(-39)?
True
Suppose -10 = -0*h - 5*h. Suppose -h*g - l + 12 = l, 2*g = l. Suppose -114 = -a - g*t, -t - 537 = -4*a - a. Is 27 a factor of a?
True
Suppose 0 = 2*b - 7*p - 3884 - 1977, p = 3*b - 8744. Does 62 divide b?
False
Does 6 divide 299636/(-519)*(-45)/2 + 11?
False
Let a = 63539 - 19011. Does 16 divide a?
True
Let p(b) = 0*b + 52*b + 12*b + 28*b - 98. Does 16 divide p(5)?
False
Suppose -2306 = -q + y, -3*y - 4125 = -4*q + 5097. Suppose 2*z + 2*z - q = 0. Does 16 divide z?
True
Suppose j - 3*n = 6, -j - 2*n = 2*n + 15. Let l be (4 + -2)*j/2 + 6. Suppose l*z = 2*z + 90. Is z a multiple of 18?
True
Let g = 645 + -224. Suppose -i + 446 = g. Is 2 a factor of i?
False
Suppose -11954*z + 11952*z = -9432. Does 12 divide z?
True
Suppose 10*s - 3 = 27. Suppose 3*b + 80 = x, s*b + 166 = 4*x - 190. Is x a multiple of 4?
True
Suppose 30436 + 182504 = 9*l. Does 52 divide l/(-56)*2*-1?
False
Suppose 0 = 6*p - 7*p + 3*t + 2927, t = -3. Is 8 a factor of p?
False
Suppose -161*j = -157*j - 100. Does 46 divide 325 - (1 + 0)*(28 - j)?
True
Let p(o) = 76*o - 9. Let w be p(1). Suppose 0 = -5*q + 4*x + 244, 2*q - x - w = 30. Is 11 a factor of q?
False
Let b = -284 - -271. Let h(i) be the first derivative of i**3 + 8*i**2 + 32*i + 2. Does 35 divide h(b)?
False
Let j(i) = i**3 - 9*i**2 - 9*i - 23. Let x be j(10). Let a = -504 - x. Is (-8)/(-16) + a/(-2) a multiple of 34?
False
Suppose -3*v - 9 = 0, -2*z + 1042 = -6*v + 10*v. Suppose d - 3*i - z = 0, 5*i = -2*d + 913 + 108. Does 5 divide d?
False
Suppose 0 = 2*o - 14 + 8. Let s(j) = -3*j + 5*j - 8*j + 4 - j**o + 7*j**2. Is 2 a factor of s(6)?
True
Suppose -2*b - 8 = 0, 5*m + 24*b - 2666 = 28*b. Is m a multiple of 7?
False
Suppose -5*m = 5*a - 2975, -100 = 3*m + 2*a - 1888. Suppose 39*h - m = 26*h. Is 2 a factor of h?
True
Suppose 81*p - 77*p - 28 = 0. Suppose -1080 = -p*h - 198. Is h a multiple of 26?
False
Let a(d) = 61*d + 108. Let b be a(12). Let y = b - 456. Is 29 a factor of y?
False
Let h be 33/18 - (-2)/12. Suppose -d + 5*c - 22 = -h*d, 4*d - 2*c = 44. Suppose 4*i = -2*u + 34, -3*i + d = -i + 2*u. Is i a multiple of 4?
False
Let p(i) = -29*i - 138. Suppose -10*s - 123 = 117. Does 38 divide p(s)?
False
Let o = 40 - 41. Let a = o + 19. Suppose a = x + 4*x + 4*n, -5*x = -2*n - 36. Is 3 a factor of x?
True
Let r = 20813 - 20490. Is 2 a factor of r?
False
Is (14 + -17)*(-88136)/12 a multiple of 46?
True
Let d(l) = 8*l - 33. Let z = 98 - 57. Is d(z) a multiple of 18?
False
Let u = 32755 + -21586. Is u a multiple of 51?
True
Let v = 402 - -582. Suppose 0 = 15*i - 19*i + 16, 0 = -4*w + 4*i + v. Is 3 a factor of w?
False
Let j(y) = 124*y**2 + 1096*y - 7610. Is j(7) a multiple of 62?
True
Suppose -273*d + 5996 = -272*d - 6388. Is d a multiple of 10?
False
Is (5 + -1 - (-22706)/10) + (-4)/(-10) a multiple of 65?
True
Let o(h) = h - 2. Let m(u) = 16*u - 75. Let b(v) = 2*m(v) - 6*o(v). Is b(23) a multiple of 92?
True
Let l = 30440 + -21010. Is l a multiple of 10?
True
Let q(x) be the third derivative of x**6/120 + 5*x**5/12 + 25*x**4/8 + 4*x**3 + 4*x**2 - 23*x. Is 40 a factor of q(-20)?
False
Suppose 5*r - 202 = -52. Let j be 16 - ((-12)/r)/((-2)/(-20)). Suppose -7715 = -j*o - 1735. Is 21 a factor of o?
False
Let a(y) = 144*y**2 - 77*y + 1066. Is a(12) a multiple of 13?
True
Let j(z) = -5*z - 37. Let c be j(-11). Suppose 0 = c*a - 663 + 141. Does 29 divide a?
True
Does 4 divide -24 + (-15895)/(-20) + (-1)/(-4)?
False
Let k(u) = 148*u - 2581. Is 173 a factor of k(49)?
True
Let h(a) = -193*a - 4. Suppose 16 = -2*y - 2*l, 2*l + 7 = 4*y + 9. Does 19 divide h(y)?
False
Let b = -10944 + 14454. Is b a multiple of 6?
True
Let p be (-7)/(14/(-144)) - (-6)/(-3). Let a = -61 + 61. Suppose a = -r + 26 + p. Is 16 a factor of r?
True
Let d be 11364/96*(7 + 1). Suppose 5*r + 282 = d. Is 3 a factor of r?
False
Is ((-540)/(-40) + -12)*(-4 + 0) - -5342 a multiple of 52?
False
Let j(d) = -3*d - 32. Let k be j(-8). Let n(f) = -f**2 - 4*f + 35. Let g be n(k). Suppose t - 265 = g*v, -3*t + 0*v = 3*v - 771. Is t a multiple of 37?
True
Suppose 3*f + 372 = -5*j - 10, 3*j - 5*f + 236 = 0. Suppose 0 = -7*n + 3*n + 5*s + 593, 3*n = -5*s + 401. Let z = j + n. Does 5 divide z?
True
Suppose 3 = 14*l - 13*l. Suppose 7*i - l*i = 28. Suppose 5*x = i*x - 90. Does 15 divide x?
True
Let m(x) = x**2 + 3*x - 2. Let g be m(-3). Let n be -7 + 1/(3 + g). Let a = n - -94. Is 22 a factor of a?
True
Let d(a) = -1066*a - 6624. Is d(-14) a multiple of 5?
True
Let k(q) = 3*q**3 + 5*q**2 + 11*q + 77. Let d be k(-5). Is 10 a factor of (-10)/25*(d - -3)?
True
Suppose -2*o = -3*m - 79 - 12, 4*o - 127 = -5*m. Suppose 36*j - o*j + 110 = 0. Does 11 divide j?
True
Let k(u) = -318*u + 1. Let t be k(-1). Let v(y) = -22 - 615*y + t*y + 337*y. Is 36 a factor of v(4)?
False
Let j be (6 - (-56)/(-8))/((-1)/103). Suppose -n = 2*n - 183. Let d = j - n. Does 23 divide d?
False
Let r be 3 + (445/15)/((-3)/(-9)). Suppose z + r - 399 = 0. Is 12 a factor of z?
False
Let d(c) = -2*c + 30. Let f be d(13). Suppose -f*z - 723 = -1847. Let o = -201 + z. Is o a multiple of 28?
False
Suppose 188*h - 1801510 = -247*h - 305980. Is 18 a factor of h?
True
Let k = -7462 + 19436. Is k a multiple of 9?
False
Suppose m + 2*m - 210 = 3*q, 4*m + 164 = -2*q. Does 30 divide (-6 - q)*(14 + -6)?
False
Suppose -51*c + 2548 = -9590. Does 14 divide c?
True
Is 7 a factor of 91*(-6 + 24 + -14)?
True
Suppose 0 = -4*a + 2*x + 50, -19*x = 5*a - 14*x - 70. Suppose -2*u + 234 = -5*i, a*i + 16 = 9*i. Is u a multiple of 28?
False
Let r(g) = 158*g - 1128. Is 10 a factor of r(16)?
True
Is 14 a factor of (-8)/((-120)/(-195)) - -12557?
True
Is 82 a factor of (6/(-45)*5 - 34/(-6)) + 4095?
True
Suppose -9*l + 25 + 11 = 0. Suppose -2 - 28 = -10*q. Suppose 2*s - s - 65 = -l*r, 3 = q*r. Is 19 a factor of s?
False
Let o(a) = -a**3 - 23*a**2 + 11*a + 80. Suppose 504 = -12*q - 9*q. Is o(q) a multiple of 28?
True
Suppose 0 = -5*q - 4*l + 31989, 4*q - 15421 = l + 10187. Is 151 a factor of q?
False
Let m(a) = 19*a**2 + 32*a + 143. Let x be m(-5). Suppose -3*z - 35 - 206 = -2*q, 4*q + 2*z - x = 0. Is q a multiple of 23?
False
Suppose 4*s - 17 = -2*l + 27, -3*l + 11 = s. Let a be (-1)/(-2)*0 + s/1. Suppose 2380 = a*h - h. Is 46 a factor of h?
False
Does 141 divide 24/80*(-410302)/(-3) - 40/(-50)?
True
Suppose -16*s - 5796 = -12*s - 5*o, -s - 2*o - 1436 = 0. Let c = s + 2669. Is c a multiple of 17?
False
Let v(f) = f**3 - 6845*f - 8 - 7*f**2 + f**2 + 0*f**2 + 6877*f. Is v(7) a multiple of 17?
False
Let g = 147 - 112. Suppose 13685 = g*t - 9170. Does 66 divide t?
False
Let y = -11622 - -14532. Does 291 divide y?
True
Suppose -471960 = 44*j + 65*j - 163*j. Does 4 divide j?
True
Let b(l) = -l**3 + 2*l**2 + 27*l + 9*l**2 + 0*l - 11 + 2*l. Suppose 5*w + 6 = 3*r + 74, 4*r = 5*w - 69. Does 8 divide b(w)?
False
Suppose 4*l = -0*l, 4*m - 1228 = 2*l. Suppose 0 = -2*d - 3*d + 25, 0 = -k - 3*d + m. Is k a multiple of 20?
False
Let h(f) = -f**3 + f**2 + 2*f - 16. Let u be h(0). Let n = u - -21. Suppose 5*q - 16 = 3*g, 0*g - 4*q + 35 = n*g. Does 3 divide g?
True
Is 1/(-7 + (-88)/(-12)) - 3 - -8954 a multiple of 37?
True
Let h be (13 + -14)/(3 - (-3 + 5)). Let o be 1/(-6) + (-98)/(-12). Is 10 a factor of 39 - h/2*(o + -6)?
True
Let q be (-2)/(-30)*-3 + (-2418)/(-15). Suppose 5*i + 0*i = 30. Suppose -3*p = -3*h - 120, 4*h - q = -3*p - i. Is p a multiple of 25?
False
Suppose 180*o - 176*o = 4. Is ((-760)/16 + -7)/(o/(-2)) a multiple of 6?
False
Let k(d) be the third derivative of -d**6/120 - d**4/24 - 4*d**3/3 + d**2. Let i be 7/(-1)*(-7 + 297/42)*8. Is 3 a factor of k(i)?
True
Let y = 259 + 611. Suppose -5*z - 4*t + 3*t - y = 0, 2*z - 3*t + 331 = 0. Is 19 a factor of (-8 - -6) + z/(-1)?
True
Suppose 2*f - 4*f = 4*i - 390, 0 = -2*f + 5*i + 435. Suppose 5*u - 2 = 3*r + 246, 341 = -5*r - 2*u. Let y = f + r. Does 18 divide y?
False
Suppose 2*f + 5*g = 50, 5*f + 45 - 143 = g. Suppose 0 = f*t - 15*t - 615. Does 14 divide t?
False
Let d(o) = -4*o**2 + 11*o - 15. Let q(y) = 3*y**2 - 11*y + 16. Let w(s) = -3*d(s) 