(j) = -5*j + 31. Let i(y) = -9*o(y) - 4*r(y). Is 41 a factor of i(-16)?
True
Let o(s) = 18*s + 221. Is 5 a factor of o(8)?
True
Suppose z = -u - 4, -4*u + 3*z - 18 = -u. Does 7 divide (u - -17) + 4/2?
True
Let h = -2535 + 3441. Is 6 a factor of h?
True
Let g be (-6 + 1 - -3) + 4. Suppose 2*j - g = -5*v, j - 24 = 5*j - 4*v. Is 24/9*(-18)/j a multiple of 6?
True
Suppose -4*b - 8 = -2*t, -7 = -3*t + 2*b + 3*b. Let f(y) = y**3 + 5*y**2 + 3*y - 9. Let n be f(t). Let c = -36 - n. Is 10 a factor of c?
False
Does 14 divide 7 + 0 + -7 + 2092 - 6?
True
Let i = -235 - -1473. Is i a multiple of 5?
False
Let x(y) = 20*y**2 - 10*y + 48. Is x(3) a multiple of 27?
False
Let d be 190/70 + 2/7. Suppose -h - 24 = d*h. Is 30 a factor of 61 + 1/((-2)/h)?
False
Suppose 0 = -4*o + 4*a + 1220, 225 = o + 2*a - 65. Is o a multiple of 30?
True
Suppose -q = 4*s + q - 62, q + 8 = s. Is 4 a factor of s?
False
Let w be (356/1)/(6/12). Let z be ((-1)/1)/((-4)/w). Suppose -2*y = -4*t + 138, -5*t + y - 4*y = -z. Is 12 a factor of t?
False
Let t = -119 - -187. Does 12 divide t?
False
Let u(n) = -n**3 - 9*n**2 - 6*n + 10. Let s be u(-8). Let t be -19 + (0 - -1)*2. Let x = s - t. Is 5 a factor of x?
False
Let d = 8333 + -3405. Is 14 a factor of d?
True
Suppose 7*a + 289 = -180. Let k = 139 + a. Is k a multiple of 13?
False
Let b(v) = -2*v**3 - 27*v**2 + 19*v + 6. Is b(-15) a multiple of 36?
True
Is (-8)/52 - 4296/(-39) a multiple of 5?
True
Let n(q) = -130*q + 290. Does 96 divide n(-27)?
False
Suppose 3202 = 6*y - 98. Is 7 a factor of y?
False
Suppose 2*i + 1686 = 5*i. Suppose -3*l + i = 166. Suppose l = 5*r - r. Is r a multiple of 11?
True
Suppose 3*b - 132 = 3*a + 114, 3*b + a - 262 = 0. Is b a multiple of 3?
False
Let k(a) = -3*a + 19 - 16*a - 2*a**2 - 2*a - 3*a**2 + a**3. Is 36 a factor of k(10)?
False
Suppose 5*a = -l - l - 7, 0 = 5*l + 4*a + 9. Let f = 6 + l. Suppose f*k = -2*n - 3*n + 110, -n + 28 = -5*k. Is n a multiple of 10?
False
Is 23 a factor of 776 + (-10)/20*-12?
True
Suppose 2*v = 3*w - 425, -5*w - 54*v + 59*v + 700 = 0. Does 29 divide w?
True
Let v(c) = c + 15. Let z(k) = k**2 - 8*k. Let p be z(9). Let b be v(p). Let o = b - -36. Is o a multiple of 15?
True
Let b(n) = n**3 + n + 9. Let g(r) = r**3 - 11*r**2 + r - 11. Let q be g(11). Let i be b(q). Suppose 4*w - 23 - i = -j, 0 = 3*j + 5*w - 124. Is 8 a factor of j?
True
Suppose 0 = u - 2*a - 6, -5*a - 15 = -u - u. Suppose -5*r - 27 - 23 = -l, u = -3*l + 2*r + 189. Is 27 a factor of l?
False
Let n be 1 - (-1 - 0) - 0. Suppose -k + 140 = v, 6*v - v - 700 = -n*k. Let t = v - 86. Is t a multiple of 18?
True
Let b = -38 - -41. Suppose -2*i + 152 = -i + 4*w, -4*i + b*w = -570. Is i a multiple of 29?
False
Let t = -162 - -171. Does 2 divide t?
False
Let s = -104 + 530. Does 15 divide s?
False
Suppose b = -0 + 28. Let a(o) = 3*o**2 - 5*o + 4. Let l be a(2). Suppose 2*p - l*p + b = 0. Does 2 divide p?
False
Let r(j) = -5*j**3 + 2*j**2 + 15*j - 2. Is 9 a factor of r(-3)?
False
Suppose 0*b = 5*b + 5. Let w(t) = 23*t**2 + 3*t - 6 - 3*t + 7. Does 5 divide w(b)?
False
Let d = -86 + 188. Suppose -2*p + d + 26 = 0. Is 11 a factor of p?
False
Let u(i) = 41*i**2 + 12*i - 21. Is u(-7) a multiple of 123?
False
Suppose -4*v + 12 = -v. Does 6 divide 8/1 - v - -2?
True
Let n(o) = o**3 - 4*o**2 + 3*o - 2. Let d be n(5). Suppose 135 = 8*h - 1. Let x = d - h. Is x a multiple of 12?
False
Let x(l) = -9*l**2 + 2*l - 2. Let p(b) = -18*b**2 + 4*b - 4. Let y(z) = 2*p(z) - 5*x(z). Let g be y(1). Does 21 divide (g + -6)/((-1)/(-12))?
False
Suppose -4*b + 3*l = -5117, -2*l = 5*b - 4*l - 6405. Does 14 divide b?
False
Let l be -3*(-141)/81 + (-2)/9. Suppose -l*z + 655 = -35. Is 21 a factor of z?
False
Let i = 11 - 70. Let u = i - -76. Is 5 a factor of u?
False
Let v = -1562 - -2486. Is v a multiple of 11?
True
Is (1 + -3)/(2/5) + 593 a multiple of 10?
False
Let k = 1221 + -296. Does 37 divide k?
True
Suppose 5 + 0 = i. Suppose -l - 4*d - 2 = -i, -3*d - 9 = 0. Does 2 divide l?
False
Suppose d = 5*p + 58, 5*d - 6*d + 31 = 4*p. Let x = 1 - -1. Suppose -4*k = x*c - 150, 3*c = k - 2*c - d. Is k a multiple of 38?
True
Suppose -4*j + 14708 = -4*b, 0 = -5*j - 2*b - 9081 + 27445. Is j a multiple of 10?
False
Let d = -2981 + 4264. Does 8 divide d?
False
Let v(n) = n**3 - 21*n**2 + 4*n - 25. Is 2 a factor of v(21)?
False
Let y(j) = 3*j - 24. Let p be y(13). Suppose 0 = q + 2*q - p, 0 = -2*k + q + 75. Is 40 a factor of k?
True
Does 13 divide 2/(92/91490) + (-112)/(-1288)?
True
Let c(i) be the third derivative of -i**7/630 + 23*i**6/720 - i**5/6 + 9*i**2. Let f(j) be the third derivative of c(j). Does 40 divide f(-18)?
False
Let o(d) = d + 18. Let p(s) be the third derivative of -s**6/120 - s**5/10 - s**4/6 - 4*s**3/3 + 9*s**2. Let u be p(-6). Does 17 divide o(u)?
True
Let l = -377 + 977. Does 40 divide l?
True
Suppose -j + 4*j - g - 8 = 0, 2*j - g = 6. Suppose 0 = -x - j, 0*x = -2*h + x + 80. Is h a multiple of 20?
False
Suppose -3*y - 25 = -2*s, -3*y - 3*s - 71 = -26. Let r = 15 + y. Suppose -26 = -f + r*j, -2*f - 4*j = -16 - 0. Is f a multiple of 14?
True
Suppose -19 = -4*d - 3*y + 105, -2*d - 3*y + 62 = 0. Let k = d - 29. Suppose k*g - c = 103, -2*c + c = 4*g - 209. Is 18 a factor of g?
False
Suppose 5*d = d - 2*o + 700, -3*d - 3*o = -522. Is 11 a factor of d?
True
Let n = -83 - -150. Let t be (-11)/(-7) - (-102)/238. Suppose -n = -t*c - 17. Does 25 divide c?
True
Suppose -2*d = 7 + 17. Let o = 10 - d. Is o a multiple of 3?
False
Let o = 3268 - 1606. Is o a multiple of 96?
False
Let h = -176 - -309. Let r = h + -36. Is 23 a factor of r?
False
Suppose 0*z = -3*t - 3*z - 9, 5*t + 4*z + 14 = 0. Is -7*(t - -14)*3/(-6) a multiple of 14?
True
Suppose 3*v = 177 - 57. Let p = 80 - v. Is p a multiple of 9?
False
Suppose 0 = -5*r + 2*r + 423. Suppose 23*y - r = 22*y. Is y a multiple of 26?
False
Let d = -285 - -389. Is d a multiple of 26?
True
Is 10 a factor of (-5 - -8)/((-6)/1280*-1)?
True
Suppose -88 = -a + 3*a. Let x be (-1312)/a + 4/22. Is 27 a factor of (-828)/x*(-15)/6?
False
Let d be 458/(-6) + 5/(-3). Let p = 148 + d. Is p a multiple of 35?
True
Suppose -10 = -2*s - 2*c, 0*s + 24 = 4*s + 2*c. Suppose v = -3*m + 43, 4*v + 53 = s*m - 4*m. Is m a multiple of 7?
False
Let a = 2806 + -838. Is a a multiple of 24?
True
Let b(v) = -4*v - v**2 - 78*v**3 - 7*v**3 + 4*v - v. Does 5 divide b(-1)?
True
Let o be 4378/18 - (-22)/(-99). Suppose z - 4*z + o = 0. Does 20 divide z?
False
Suppose -5*n = 33 - 43. Suppose -n*w + 6*w = 244. Does 12 divide w?
False
Let g(d) = 4*d**2 + 3*d + 15. Let j be g(7). Let p = 2 - 2. Suppose 5*x - j + 32 = p. Does 26 divide x?
False
Let q(f) = 821*f**3 + f**2 + 4*f - 4. Is q(1) a multiple of 9?
False
Suppose -4*p + 8 = -8. Let r(w) = -17*w + 6. Let f be r(p). Let g = -42 - f. Is 11 a factor of g?
False
Suppose -3*g - 2*g + 45 = 0. Suppose 10*l = g*l + 30. Is 6 a factor of l?
True
Let s(f) = f + 18. Let o be s(-6). Suppose -p + x = -6*p + o, 2*p = -x + 3. Is p a multiple of 2?
False
Suppose 0 = -129*c + 123*c + 8718. Is c a multiple of 9?
False
Let c = -3 - -8. Let h be (1 + 140/(-15))*-3. Suppose -c*n = h, 2*j = 7*j + 4*n - 70. Is j a multiple of 5?
False
Let z be (-132)/54*-23 - 8/36. Suppose 0*s = -4*s + 8. Suppose -s*b = -b - z. Is b a multiple of 17?
False
Is 238 - (-8*5/(-20) + -6) a multiple of 121?
True
Suppose -16*y = -18*y + 260. Let z = y - 15. Does 6 divide z?
False
Let w = 774 + -525. Is 3 a factor of w?
True
Let y(z) = z**3 + 36*z**2 - 74*z + 98. Does 22 divide y(-38)?
True
Is 4 a factor of (-7 - 2381/(-13)) + (-4)/26?
True
Let k be (-3)/(-2)*(-70)/15. Let o = k - -51. Is o a multiple of 13?
False
Let h = 856 + -436. Is 43 a factor of h?
False
Suppose 0 = -3*q + v + 1314, v - 433 = -q + 3*v. Let s = q - 271. Suppose s = 6*i - 4*i. Is i a multiple of 18?
False
Let d(s) = -36*s + 1. Let j be d(-3). Let u = j - 64. Is u a multiple of 9?
True
Let z(i) = i**3 - 16*i**2 + 27*i + 15. Let h be z(14). Does 22 divide -3*h - (4 - 139)?
True
Suppose -20 = -3*b + 2*q, q = 2*b - q - 12. Suppose d + 686 = b*d. Is d a multiple of 8?
False
Let d(t) = t**3 - 13*t**2 + 12*t + 3. Let a(r) = -r**2 - 7*r. Let i be a(-3). Let o be d(i). Suppose -o*l + 0*g - 5*g = -23, 2*l - 24 = g. Is 11 a factor of l?
True
Is 278*3 + (-575)/115 a multiple of 11?
