e
Let a be (-12)/24 + (-613)/(-2). Is 33 a factor of -5 + a + 1 - 5?
True
Let y(v) = 10*v - 1. Let j be y(1). Suppose j = -2*u - 1, 2*d - 2*u - 342 = 0. Suppose -2*f + 101 = 3*c, 0*c - f = 5*c - d. Does 10 divide c?
False
Suppose 14 + 26 = -10*g. Let u = 334 + g. Is u a multiple of 15?
True
Let g(v) = -v**3 + 15*v**2 + 5*v - 23. Let r(j) = 2*j + 20. Let o be r(-6). Suppose o = -2*k + 4*p + 34, -2*k - 4*p = -34. Is 26 a factor of g(k)?
True
Suppose -188*t = -162*t - 31174. Does 15 divide t?
False
Let z(t) = -5*t + 6. Let i be z(-8). Suppose 0 = -i*d + 43*d + 21. Suppose -6*c + d*c - 46 = 0. Is c a multiple of 8?
False
Let h be 36*((-15)/12)/(6/8). Let j = 1 + h. Let z = j + 103. Does 8 divide z?
False
Let z(y) = 2*y**2 - 20*y + 17. Let h be z(11). Suppose 7*q + 10560 = h*q. Does 33 divide q?
True
Let j(d) = -36*d + 3103. Is j(32) a multiple of 22?
False
Suppose 12*f - 78419 + 60304 = 97373. Is 40 a factor of f?
False
Let r(b) = -b**2 + 21*b - 16. Let a be r(20). Suppose -4*q - 4*c + 6 = -14, -a*q - 5*c + 17 = 0. Is (146/q)/((-2)/(-8)) a multiple of 8?
False
Does 7 divide 288/(-360)*(-15)/(-114) - 43626/(-19)?
True
Suppose 3*s + 5972 = -5*x, -2*x - 5987 = 3*s - 0*x. Let r = -1356 - s. Is r a multiple of 20?
False
Suppose -13*j + 5*j = -224. Suppose 0 = g - 5*g + j. Suppose 4*i = g*i - 117. Does 28 divide i?
False
Let i = -78 + 553. Let f = i - 179. Suppose -2*h = h + 2*o - f, -3*h + 268 = -5*o. Is 8 a factor of h?
True
Is 4 + (10 - 2) + (-960)/(-10) a multiple of 8?
False
Suppose 6*a = 10*a - 16. Suppose -a*v + 25 = 5*q, 28 - 4 = 5*v - q. Suppose 0 = -5*f - y + v*y + 76, -5*f + 77 = -3*y. Is f a multiple of 4?
True
Let h(z) = 3*z + 23. Let k = -50 - -43. Let q be h(k). Suppose -3*l = q*p - 177, 342 = 3*p - 3*l + 54. Is p a multiple of 41?
False
Suppose -1440*g - 5118 = -1446*g. Let j = g + -381. Is 9 a factor of j?
False
Suppose 392*f = 397*f + 15, -3*w + 3*f + 47946 = 0. Is 29 a factor of w?
True
Let r(k) = 202*k + 5785. Is 30 a factor of r(34)?
False
Suppose 5*a - 1857 = 3*a + 3843. Is 8 a factor of a?
False
Let g(p) = 82*p**2 - p + 1 + 3*p**3 - 80*p**2 + 9. Does 30 divide g(6)?
False
Suppose -5*l + 2113 = 2*f + 808, -3*f = -3*l - 1905. Let y(w) = -w**2 - w + 3. Let j be y(-4). Does 10 divide (j/6)/((-12)/f)?
True
Suppose 641 + 95 = -u - n, -2*u + 5*n - 1472 = 0. Let w = 1153 + u. Does 19 divide w?
False
Let x be ((-1)/(-1))/((-1)/(-5)). Suppose 5*q + 22*q - 50*q + 1173 = 0. Suppose q = x*i + 6. Is i a multiple of 7?
False
Suppose 804 - 29 = 5*d. Let h = 262 - d. Is h a multiple of 9?
False
Suppose -3*i + 6*i - 483 = 0. Suppose 41 = n - i. Does 23 divide n?
False
Let s(g) = -5*g**3 - g - 1. Let d be s(3). Let l = d + 303. Does 16 divide l?
False
Suppose -r + 4227 + 2151 = -5*b, 0 = -4*b - 24. Does 69 divide r?
True
Let s(h) = 14*h**2 + 16*h + 5. Let c be s(12). Let v = c + -1401. Is v a multiple of 32?
False
Let p(s) = -9*s - 64*s**2 - 10 - 2*s - 9 + 63*s**2. Let v be p(-7). Suppose 4*g - v*g = -210. Is 14 a factor of g?
True
Let k(p) = -9*p**2 + 6*p - 9. Let m(b) = 4*b**2 - 3*b + 4. Let o(q) = 3*k(q) + 7*m(q). Let f be o(-10). Let i = f - -1. Is 18 a factor of i?
False
Let h = 1274 - 679. Is h a multiple of 17?
True
Let q(k) = -9*k - 2. Let z be q(-5). Suppose 3*p - 103 = -4*x + z, 0 = -3*p - 2*x + 136. Is 5 a factor of (-1 + -2)/((-7)/p)?
False
Suppose 42*g - 45*g - 45 = 0. Let v(a) = 2*a**2 + 29*a + 21. Is v(g) a multiple of 3?
True
Let n(s) = -s**2 + 26*s - 113. Let w be n(19). Let a = w - -232. Is a a multiple of 28?
True
Let n(x) = 295*x - 28. Let y(k) = -2358*k + 222. Let r(f) = -33*n(f) - 4*y(f). Does 6 divide r(-1)?
False
Let l(o) = -2*o - 32. Let z be l(-8). Let b(p) = -2*p**2 - 40*p - 3. Does 33 divide b(z)?
False
Suppose r - 416 - 533 = 0. Suppose 0 = -5*f, -w - 195 + r = -4*f. Let s = w + -518. Is s a multiple of 13?
False
Let a(n) = n**3 + 2*n**2 - 4*n - 3. Let k be a(-3). Suppose 44*b + 43 = 307. Suppose -b*u + 5*u + 47 = k. Is u a multiple of 47?
True
Let o be 10761/68 - 1/4. Let u = 671 - o. Is 57 a factor of u?
True
Suppose -3 + 195 = -2*f. Let m = f - -112. Is m a multiple of 4?
True
Let v = 8 - 4. Let c be (-506)/(-66) + 2 + (-88)/24. Suppose -r + v*y = -c*r + 15, -2*r + 3*y + 6 = 0. Is r a multiple of 2?
False
Let q = -314 + 492. Suppose -3*u - q = -4*u - n, u = -2*n + 181. Suppose -2*k = 5*k - u. Is k a multiple of 15?
False
Let v(t) = -t - 10. Let w = 53 + -53. Suppose w = -3*u - 15, 2*u = -p - 24 + 2. Is v(p) even?
True
Let s(d) = -85*d + 1. Let h be s(-1). Does 8 divide (h/(-2))/((-25)/75)?
False
Is 55 a factor of 4/(-44) - -3*(-286208)/(-88)?
False
Suppose 1480 = 5*y - s, 14*s - 20 = 10*s. Is y a multiple of 8?
False
Suppose 871 = g - 17*y + 16*y, 2*g - 3*y = 1741. Suppose -g - 312 = -4*r. Is 18 a factor of r?
False
Let v be (-6 - -7)/(-2 + (-18)/(-8)). Suppose 0 = 6*f + v*f - 560. Suppose -2*h + 0*h = -5*o - f, -o = -4*h + 76. Does 4 divide h?
False
Let k = 35 - 30. Suppose 1115 = 3*a - f, -k*a + 7*f = 3*f - 1870. Let i = -167 + a. Is i a multiple of 29?
True
Suppose 3*b = 2*m + 6182, 2*b - 6*m - 4096 = -11*m. Suppose -15*p + b = -6537. Is p a multiple of 51?
False
Suppose -4*q = 5*h - 3*q - 771, -5*h + 769 = -q. Let p = h - 69. Does 17 divide p?
True
Let m = 9756 - 7676. Does 8 divide m?
True
Does 138 divide (-9384)/9*(360/16 + -27)?
True
Let j = -2171 + 6347. Is j a multiple of 3?
True
Suppose -3*p = c - 88, 3*p = -5*c + 8*p + 480. Suppose 9*a - c = 401. Is a a multiple of 3?
False
Let l(b) = -b**3 + b**2 + 2*b + 2. Let r(z) = 2*z + 14. Let j be r(-6). Suppose 5*u = -s - 3, 0 = -3*s + j*s + 3*u - 3. Is l(s) a multiple of 5?
False
Is 110 a factor of ((-4)/((-144)/(-6)))/(6/(-191988))?
False
Let l = 4850 + -3818. Does 24 divide l?
True
Is 58 a factor of ((-72)/(-21))/((-16)/(-8120))?
True
Suppose 2*i = d - 2403, -4*i - d - 1628 = 3169. Let g = -558 - i. Suppose 5*a + q = -191 + g, q = 3*a - 269. Is a a multiple of 10?
True
Let a = 57 - 57. Suppose -303 = -a*o - 3*o. Is o a multiple of 15?
False
Suppose -2*i - 27*h + 17818 = -23*h, -3*i - h = -26712. Does 162 divide i?
False
Suppose 5 = 5*w + 2*x - 11, -5*w - 5*x + 10 = 0. Suppose 432 = 5*j - 3*c, w*j = c + 305 + 35. Does 8 divide j?
False
Suppose -42*j = 145*j - 48*j - 541266. Is 11 a factor of j?
True
Is (-5)/(100/16) + (-1186151)/(-95) a multiple of 24?
False
Is 13 a factor of (3 + 28/7)*1 + 4959?
True
Suppose 0 = -4*s - 1328 - 180. Let b = s - -546. Is b a multiple of 13?
True
Suppose -4*q + 3526 = 2*z, 4*q - 20*z + 17*z - 3501 = 0. Let n = q - 291. Does 4 divide n?
True
Suppose -5*c + 10 = -2*g, 4*c + 2*g - 7 = 1. Suppose h - 3*j + 80 = 236, 5*j = c*h - 313. Let v = h - 56. Is v a multiple of 21?
False
Suppose 16*m = 24*m - 24. Suppose -m*u + 195 + 1629 = 0. Is u a multiple of 19?
True
Let k = -2900 + 3032. Is k even?
True
Let n(v) be the first derivative of 2*v**3/3 - 15*v**2/2 + 3*v + 13. Does 5 divide n(9)?
True
Let x(p) = -177*p + 522. Is x(-10) a multiple of 3?
True
Let a(r) = 35*r - 38. Let o be (-146)/(-9) - (-2 - 20/(-9)). Is 29 a factor of a(o)?
True
Is 16 a factor of 5 + -1 + (-47 - -7140)?
False
Let v = 131 - 131. Let t(u) = u**3 + 3*u**2 - 5*u + 931. Does 45 divide t(v)?
False
Suppose 4*t + 2356 = 332. Suppose -17760 = -41*j + 17*j. Let y = t + j. Does 13 divide y?
True
Suppose -7237 = -16*g + 12315. Suppose -14*b + g = -318. Is b a multiple of 10?
True
Let f(v) = -205*v - 350. Let m be f(-14). Suppose -2*w + 0*j - 3*j = -1012, 5*w + 5*j - m = 0. Does 5 divide w?
True
Suppose 0 = 66*r + 8*r + 324*r - 10941816. Is 237 a factor of r?
True
Suppose -5*n - 34*v + 30*v = -90172, -5*n + 90174 = 3*v. Is 12 a factor of n?
True
Let z(p) be the third derivative of p**6/120 - p**5/10 + 23*p**4/24 - 9*p**3/2 + 166*p**2 + 2*p. Is 15 a factor of z(11)?
False
Suppose -3*k - 3*b - 38619 = -5*k, k - 19299 = -2*b. Does 14 divide k?
False
Let q(r) = -30*r**2 - 57*r**2 - 1 + r + 109*r**2. Let l be q(2). Suppose 3*u = g - l, g - 128 + 35 = u. Is g a multiple of 25?
False
Let d(n) = -5 - 3 + 286*n - 7 + 9 - 5. Does 31 divide d(2)?
False
Suppose 2*h = 26 + 36. Suppose 0 = l - 21 + h. Does 5 divide ((-4)/6)/((l/(-57))/(-5))?
False
Suppose 4*s - 3963 + 1463 = 0. Suppose -4*m + 3*m + 159 = -4*n, 4*m - 5*n = s. Suppose -g + 78 = -2*q, -3*g - 5*q + m = -123. Is g a multiple 