e
Let r(x) = x**3 - x**2 + x - 5. Suppose 0 = -5*f + 3*y - y + 19, 5*y + 16 = 2*f. Is r(f) a multiple of 9?
False
Suppose -3*y - 3*o = o - 40, -4*y + 45 = -3*o. Does 14 divide (-42*1)/(-2*9/y)?
True
Suppose 19*r - 7850 - 2828 = 0. Is 26 a factor of r?
False
Suppose -10*r + 8*r = 3*l - 229, -l - 327 = -3*r. Does 10 divide r?
True
Let m(b) = -12*b - 11. Let k(r) = 4*r - 12. Let n be k(6). Suppose 14 = -2*g + u + 2, 2*g - 3*u = -n. Is m(g) a multiple of 21?
False
Let i(h) = -h**2 - 8*h - 5. Let l be 3/((-36)/28)*3. Let d be i(l). Suppose -43 = -b + d*y - 3*y, -105 = -3*b + 5*y. Is b a multiple of 11?
False
Let g(p) = -21*p + 24. Suppose -2*s - 6 = 6. Is g(s) a multiple of 10?
True
Let a(o) = -4*o + 8 + 2*o - 10 + 3. Is 7 a factor of a(-8)?
False
Suppose 15*t - 12*t = 534. Is 20 a factor of t - -21 - (-1)/1?
True
Let x(y) = 12*y**2 - 7*y + 7. Let z be x(5). Let h = -55 + z. Suppose -5*t - 2*p + h = 0, -4*t + 2*p = -151 - 37. Is t a multiple of 15?
True
Does 7 divide 200/350*(119/2 - 0)?
False
Suppose 4*t - 282 = -2*f - 72, -5*t - 201 = -2*f. Suppose 0 = 4*d - f - 221. Is d a multiple of 18?
False
Suppose 0 = -8*q - 2824 + 9320. Suppose -152 = 3*l - q. Is 44 a factor of l?
True
Suppose s + 5*w = -42, -4*w = -4*s - 217 + 1. Does 4 divide (-8)/s + 646/26?
False
Suppose 3*g - 1215 = 2*m, 5*g = -3*m + 718 + 1307. Is g a multiple of 26?
False
Let i = -74 - -78. Does 8 divide (i/(-3))/2*-60?
True
Let m be 1/(4 + 1332/(-332)). Let y = -33 - m. Does 10 divide y?
True
Suppose 6 - 78 = -3*q. Let f = -19 + q. Suppose 34 + 92 = 2*x - f*k, 2*x = -3*k + 94. Is x a multiple of 12?
False
Suppose 11*a - 1380 = 5*a. Does 14 divide a?
False
Let p(a) be the third derivative of -10*a**2 + 7/6*a**3 + 1/12*a**4 + 0 + 0*a + 1/60*a**5. Is 13 a factor of p(6)?
False
Let q(r) = 4*r**2 - 10*r - 9. Does 9 divide q(-6)?
False
Let i(k) = k**3 + 12*k**2 - 13*k - 4. Let a be i(-13). Let l(t) = t**2 + 3*t - 2. Let b be l(a). Suppose 2*z = y - 70, 3*y - z - 65 = b*y. Is 10 a factor of y?
True
Let r(z) = -5 - 3*z**2 - z**3 - 2*z**2 + 7*z + 3 + 0. Let u be r(-6). Let i(f) = -f**3 - 6*f**2 + 11*f + 8. Is 12 a factor of i(u)?
True
Suppose -2*u - 95 - 67 = -3*h, u + 221 = 4*h. Suppose -4*j + 11*j = h. Does 2 divide j?
True
Suppose 0*b - 2*b = 0. Let n = -97 - -160. Suppose b = 2*p + 2*p - t - 45, -t + n = 5*p. Does 12 divide p?
True
Let q(f) = 80*f**3 - 4*f**2 - 7*f + 11. Is q(2) a multiple of 23?
True
Suppose 137 = 3*u + 2*q + 487, -476 = 4*u + 5*q. Let s = -18 - u. Is 15 a factor of s?
False
Suppose 13*a = 14793 - 5056. Is a a multiple of 29?
False
Suppose -2*s + 192 = 4*m, -200 = -s - s + 4*m. Is s a multiple of 7?
True
Does 51 divide ((-112)/64)/((-1)/408)?
True
Let m(a) = -4 + 2 + 0 + a**2 - 46*a + 48*a + 29*a**3. Let n(o) = o**3 - 6*o**2 - o + 7. Let l be n(6). Is 5 a factor of m(l)?
True
Let b(q) = q + 15. Let r be b(8). Let i = -5 + r. Suppose -i*l = -13*l - 95. Does 7 divide l?
False
Suppose 3*a = 2*w + 194, -4*a - 13*w = -15*w - 260. Does 33 divide a?
True
Let b = -1154 - -2313. Does 4 divide b?
False
Let a be -97 - (-3 + 6)*1. Let b = a + 233. Let o = b - 95. Is o a multiple of 8?
False
Let w = 117 - 61. Suppose w - 210 = -7*q. Suppose j - 21 - q = 0. Is j a multiple of 12?
False
Let d(i) = i**3 - 5*i**2 + i + 4. Let w be d(5). Suppose 27 = 113*h - 110*h. Let y = h + w. Is 9 a factor of y?
True
Let n(c) = -c**2 + 11. Let h(q) = -q + 1. Let l be h(6). Let a = l - -5. Is n(a) a multiple of 10?
False
Does 29 divide (20/6)/((72/(-6615))/(-4))?
False
Is (7/3)/(((-35)/(-609))/5) a multiple of 7?
True
Let b(i) = 25*i**2 + 1. Let j(z) = 2*z + 21. Let m be j(-10). Is b(m) a multiple of 11?
False
Suppose -61*m - 13*m + 184704 = 0. Is 24 a factor of m?
True
Let m(x) = -x**3 - 5*x**2 + 2*x - 3. Let y be m(-5). Let l = y + 66. Is l a multiple of 4?
False
Let i(c) = -27*c - 98. Does 23 divide i(-13)?
True
Suppose 73*z = 79*z - 1056. Does 3 divide z?
False
Suppose 5*g + 2*h = -2, 3*g - g - 2*h = 2. Suppose 6*n + 5*i = n + 1005, -n + i + 195 = g. Does 22 divide n?
True
Suppose 0 = r - 1. Let a = -476 - -491. Let j = r + a. Does 5 divide j?
False
Let a(d) = d + 9. Suppose -4*n = -3*n - 2*u + 12, 0 = 3*n + u + 8. Is 5 a factor of a(n)?
True
Let n(k) = -3*k**3 - 2*k**2 + 1. Let t be 5/(-10) - 2/4. Let o be n(t). Suppose o*c - 2*j - 68 = 0, 2*j - 4 = 5*c - 162. Does 10 divide c?
True
Let h(r) = 8*r**2 + 2*r - 75. Is h(10) a multiple of 15?
False
Let v be (-6)/(-4)*(-12)/(-18). Let o(k) = 4*k - 1. Let l be o(v). Suppose l*n + 4 = y - 19, -y + 35 = n. Is 24 a factor of y?
False
Suppose -j - 3*j - n = -33, -5*j + 4*n + 15 = 0. Let a(y) = -1 + 10*y**2 + 7*y**2 - 16*y**2. Is a(j) a multiple of 15?
False
Suppose -7*y + 2*y + 2 = 2*j, -j - 8 = -2*y. Suppose 3*b = -y*m + 5*m + 141, -5*m = b - 29. Is b a multiple of 20?
False
Suppose -5*a + 203 = -542. Let z = a - -13. Does 43 divide z?
False
Let s(g) = -92*g + 90. Is s(-3) a multiple of 61?
True
Let u(l) = 62*l + 193. Is u(4) a multiple of 9?
True
Let m = 1513 + -582. Is 7 a factor of m?
True
Suppose 0 = -k + 3*i - 134, 3*k + i = 6*i - 418. Let s = 87 - 170. Let m = s - k. Is m a multiple of 21?
True
Let w = 2002 - 1705. Is 11 a factor of w?
True
Suppose -6*v - 290 + 1046 = 0. Suppose -3*r - r + 16 = 0, -3*r - 3 = 5*f. Is f/(-1)*v/27 a multiple of 7?
True
Let n(w) = 5*w**2 - 1. Let v be n(1). Suppose 0*p - 6 = -2*p. Suppose v*i - 289 - p = 0. Is 22 a factor of i?
False
Let d(i) = i**2 + 73. Is 14 a factor of d(19)?
True
Suppose 10 = -2*g + 20. Suppose 0*z + 50 = -g*z. Let v(c) = -c + 9. Is 6 a factor of v(z)?
False
Let w = 1196 - 656. Suppose 0 = 79*a - 85*a + w. Is a a multiple of 5?
True
Let v = -687 + 1062. Does 15 divide v?
True
Let l = -156 - -158. Suppose 5*w - 72 = -l*b - 0*w, -b - w = -36. Is 3 a factor of b?
True
Suppose -3*u - 201 = -3*d, -u = 3*u. Is d even?
False
Suppose 21*p + 7042 = 42532. Is 65 a factor of p?
True
Suppose 10*t = 9*t + 4*r + 464, 0 = 5*t - 2*r - 2266. Does 61 divide t?
False
Let x(k) = -9. Let j(q) = -q - 17. Let a(l) = -3*j(l) + 5*x(l). Let u be a(-8). Let w = u - -31. Does 3 divide w?
False
Does 15 divide ((-6)/(-5))/((-111)/(-145780))?
False
Let w be 0 + -5 - (1 + -4). Let a be (-18)/(-27)*(-12)/w. Suppose -3*l + 3*s + 69 = 0, -a*l + 0*l = -5*s - 97. Is 6 a factor of l?
True
Let q be -16*(-11)/4*-3. Does 2 divide q/(-14) + (-12)/(-21)?
True
Let w = -3120 - -5958. Does 22 divide w?
True
Let g be (-10)/(-3)*288/(-60). Is g/(-104) - (-750)/26 a multiple of 4?
False
Let t = -2 + -3. Let m = -27 - t. Let v = m + 56. Does 17 divide v?
True
Let x = 218 + -202. Is x a multiple of 8?
True
Suppose 3*l + 3*j = 9, 5*l - 13 = j + 14. Suppose -416 = h - l*h. Is h a multiple of 26?
True
Let g(l) = -l + 6. Let q be g(4). Let m = -4 - q. Is (1 - -2) + -5 - m a multiple of 2?
True
Does 15 divide (-60)/(-7)*693/22?
True
Suppose 65*z = 57*z + 6824. Is 23 a factor of z?
False
Let a = 705 - 29. Does 52 divide a?
True
Suppose t - 170 = -t. Let i = t - 53. Suppose -3*v + i = -16. Is 5 a factor of v?
False
Let h = -188 - -405. Is 36 a factor of h?
False
Let y = -5 + 5. Suppose 3*p + 5*h - 22 = y, -4*h = -10 + 2. Suppose 2*k = -p*m + m + 67, -63 = -3*k + 3*m. Does 13 divide k?
True
Let l = 377 - 332. Does 14 divide l?
False
Let t be (-71)/(-6) + (-4)/(-24). Suppose -4*f = -t - 20. Let w = 63 - f. Is w a multiple of 29?
False
Suppose -2*p - 18 = -o + 5, 89 = 3*o - 2*p. Let b = -4 - -8. Is (b - 1) + 2 + o a multiple of 20?
False
Let m = -441 - -457. Is m a multiple of 4?
True
Let o(t) = -60*t - 32. Let s be o(-3). Let g = s + -82. Does 33 divide g?
True
Is 22 a factor of ((-286)/(-77))/(4/308)?
True
Let g be -3*((-28)/35 - 1/5). Suppose 2*v = -2*f - 38, -f = 4*f - 2*v + 81. Is (1 + -3 - f) + g a multiple of 5?
False
Let p = 16 + -16. Suppose -2*n + l + 94 = -3*l, p = 3*n - 2*l - 153. Is n a multiple of 10?
False
Let o = 135 + 528. Is 13 a factor of o?
True
Suppose -5*a - y - 2*y - 27 = 0, 0 = a + 2*y + 4. Does 11 divide 22/(a/(-3))*2?
True
Let o = -65 + 31. Let k = 56 + o. Is 18 a factor of k*(-2)/(-2) + -4?
True
Let w(v) = v**2 + 3*v. Let n be w(-7). Suppose -u - 6*u = -n. Is 4 a factor of u?
True
Let c(w) = 13*w**3 - w**2 - 2*w. Let h = 40 + -38. Does 24 divide c(h)?
True
Let c(z) be the third derivative of z**6/120 - z**5/15 - z**4/8 - z**3