. Let f(z) = -z + 2. Let r be f(c). Let i(l) = 4*l**2 - 5*l + 10. Is 15 a factor of i(r)?
True
Let t = -276 - -249. Let g(x) = -17*x**2 + 4*x - 2. Let h be g(2). Let b = t - h. Does 7 divide b?
True
Let h(y) = 209*y + 56. Let w be h(11). Is 23 a factor of w/6 + 18/(-12)?
True
Let y(f) = 5*f**3 - f**2 + 20*f + 4. Let z be y(4). Suppose 5*b + 15 = 0, 0 = 2*x + 5*b - 3*b - z. Is 28 a factor of x?
False
Let l = -1150 - -3505. Is 15 a factor of l?
True
Let n be (-1)/4*1 + (-726)/8. Let i = -17 - n. Suppose -3*d + 144 = -3*h, -3*d + 50 + i = 2*h. Is d a multiple of 15?
False
Let o be (-134)/(-6) - (-10 + 196/21). Does 6 divide 92/(-1058) - (-140)/o?
True
Suppose 4*x + 5*b - 5271 = 72071, -3*x - 5*b + 58009 = 0. Is x a multiple of 70?
False
Suppose -5*o = -0*o - 90. Is -1*3/(o/(-1842)) a multiple of 21?
False
Let t(l) = -355*l - 176. Is t(-1) a multiple of 3?
False
Let g = 3011 + -2728. Is 4 a factor of g?
False
Let q = -22867 + 50440. Does 11 divide q?
False
Suppose 0 = 3*b + 153*g - 149*g - 166356, -b + 55476 = 4*g. Is b a multiple of 35?
True
Let r(h) = 10*h**2 - 2*h + 7. Suppose 23 + 8 = -5*q + 4*z, -2*z = -3*q - 17. Is 20 a factor of r(q)?
False
Suppose -3*z + 5*t + 141 + 344 = 0, 2*t + 670 = 4*z. Let o = -124 + z. Is 2 a factor of o?
True
Let f = 355 + -281. Let m = f - -151. Is 45 a factor of m?
True
Let i = -723 - -475. Let u = 703 + i. Let z = u - 295. Is 20 a factor of z?
True
Let z(m) = -5*m + 14. Let f be z(3). Let o be (f - 0)*(-1064 + (7 - 3)). Suppose o = 8*a - 3*a. Is 13 a factor of a?
False
Let z = 8483 - -2391. Is z a multiple of 11?
False
Let w = -1417 - -2704. Does 13 divide w?
True
Let g(l) be the third derivative of l**6/120 + 11*l**5/60 + l**4/8 - 22*l**3/3 - 9*l**2. Let q be g(-10). Suppose -230 = -28*a + q*a. Is a a multiple of 24?
False
Let s = 715 + -115. Suppose 4*b + r = -0*r + 603, 4*r - s = -4*b. Suppose 9*n + 16 = b. Is 3 a factor of n?
True
Let i(n) = -16*n**3 - n. Let g be i(1). Let h(u) = -18*u + 90. Does 23 divide h(g)?
False
Suppose -510578 = -12*o - 107054. Is o a multiple of 11?
True
Let v(y) be the second derivative of -y**4/12 + 3*y**3/2 - 9*y**2/2 + 12*y. Let g be v(7). Suppose 3*l = -5*p + 333, g*p = 2*p + 3*l + 195. Is 22 a factor of p?
True
Let o = -47 - -51. Let n(q) = 3*q**3 + 3*q**2 - 8*q + 35. Is n(o) a multiple of 36?
False
Let k(q) = -q**2 + 28*q + 3. Let z be k(28). Suppose 0 = -z*h + 7*h + 2*a - 64, 0 = -3*a + 6. Does 18 divide (h + -25)*(-36)/2?
True
Suppose 27*x = -19*x + 92. Suppose -5*d + x*d = -2370. Is d a multiple of 10?
True
Let t(v) = 2543*v + 2260. Is t(4) a multiple of 168?
True
Let a = -878 + 1362. Suppose 1615 = 4*h - 9*h. Let b = h + a. Is 13 a factor of b?
False
Let l = 67 + 57. Does 4 divide l?
True
Let g be 0 - 1/(4 - 27/6). Let r be -1*1990/(-15) - g/3. Let q = r + -96. Is 36 a factor of q?
True
Let l(o) = -o**3 - 11 + 5*o**2 + o - 2*o + 3*o**2. Let q(u) = 14*u - 246. Let d be q(18). Is l(d) a multiple of 10?
False
Let r = 415 + -256. Let u = 459 - r. Does 25 divide u?
True
Suppose -7*u - 4*w = -6*u - 22, -5*u + w = -47. Let x(t) = 10 + t**2 + 21 + 23 - t. Is 16 a factor of x(u)?
True
Let r = -2 + 9. Suppose 7 - r = -t. Suppose t = 4*n - 277 - 171. Is 22 a factor of n?
False
Let s = -25 + -19. Does 32 divide (-24)/(-3 - 129/s)?
True
Is 35/(-7)*9584/(-120)*(-66)/(-4) a multiple of 54?
False
Let l(q) = q**2 - 4*q - 7. Let z be l(-2). Suppose 4*c + 12*a - 1332 = 9*a, z*a - 1340 = -4*c. Is 33 a factor of c?
True
Suppose -148 = -3*z - 0*z + c, 4*z = -2*c + 204. Suppose -u + 75 = z. Does 2 divide u?
False
Let q(d) = -95*d - 525. Is q(-8) a multiple of 47?
True
Suppose 2*w - 2*b - 206 = 186, -3*w + 573 = 2*b. Suppose 5*n + 0*n = -375. Let i = n + w. Is i a multiple of 32?
False
Let h(g) = g**3 + 6*g**2 + 2*g - 7. Let v be h(-5). Suppose m + v = 3*d - 6*d, -2 = 5*d - 4*m. Is 15 + -10 - 4/d a multiple of 7?
True
Is ((-140)/(-3) - -2)/(4/66) a multiple of 7?
False
Let q(n) = 2*n**3 - 61*n**2 + 86*n - 183. Does 44 divide q(36)?
False
Suppose 0 = 1756*s - 1863*s + 3758482. Is s a multiple of 13?
True
Let u(k) = -3*k + 22. Let r(n) = 12*n**2 - 3*n. Let i be r(1). Let j be u(i). Is 82*j*(-3)/30 a multiple of 29?
False
Suppose 0 = 258*f - 190*f - 36720. Is 54 a factor of f?
True
Suppose 22*i - 26*i = 456. Let w = -24 - i. Is w a multiple of 45?
True
Suppose f + 9*z - 5*z + 28 = 0, 3*f - 2*z + 112 = 0. Does 13 divide (19 + f)/((-2)/10)?
False
Suppose 0 = -101*p + 97*p + 1188. Let g = 878 - p. Is 7 a factor of g?
True
Let p(w) = 1138*w**2 + 10*w - 9. Is 179 a factor of p(-3)?
True
Let v(u) = -15*u + 8*u - 2*u**2 - 4*u**3 + 6*u**3 - u**3 + 20. Does 12 divide v(5)?
True
Let u = -2187 - -3651. Is u a multiple of 24?
True
Suppose -d - 16390 = -2*d - d. Is d a multiple of 24?
False
Let x = -26 + 21. Let i(d) = 51*d**2 - 4*d - 17. Let w be i(x). Is 17 a factor of w/11 + (-22)/121?
False
Let m(i) = -5*i - 11. Let k(h) = 4*h**3 - h**2 + 3*h - 2. Let v be k(1). Suppose v*g + 9 = -19. Does 12 divide m(g)?
True
Let z(l) = l**3 + 6*l**2 + 3*l - 10. Let i be z(-5). Suppose i = 10*a - 31*a + 5859. Is 17 a factor of a?
False
Let o(t) = -6*t**2 - 11*t + 8. Let q be o(-5). Let u be (-6)/(-4) - 3065/(-10). Let p = u + q. Does 13 divide p?
True
Suppose 3*s - 3*c - 27 = 246, 99 = s + c. Let k = s + 742. Is 9 a factor of k?
True
Suppose 0 = m + 1, s = -2*s - 2*m + 316. Suppose 0 = 2*g - 2*d - 38, -s + 0 = -4*g - 2*d. Does 16 divide (-580)/(-14) + g/42?
False
Suppose -2*v + 42876 = -10*x + 14*x, -v = -3*x - 21443. Is 16 a factor of v?
True
Suppose -112*j = -107*j - 45, -4*a + 5269 = j. Is 19 a factor of a?
False
Suppose 4*l + 5*x + 5790 = 0, 220 = 3*l - 4*x + 4547. Let t = -977 - l. Suppose 8*q = 5*q + t. Is q a multiple of 37?
False
Let g(i) be the third derivative of i**6/120 - i**5/15 + i**4/12 - 5*i**3/3 - i**2 - 23*i. Does 37 divide g(6)?
True
Let u(v) = 6*v**2 - 44*v + 21. Is u(18) a multiple of 3?
True
Let d be 4/(-20) + 6/5 - 33. Does 4 divide (-34)/(-8) + 8/d?
True
Let f = 12555 + -6696. Does 12 divide f?
False
Does 6 divide (648/342 - 2/(-19)) + 1366?
True
Let n be 5*2/5 + 37. Suppose 2*f = -10, -2*l - 22 = 5*f + n. Is 37 a factor of l/(-6) - 108/(-1)?
True
Does 8 divide ((-32769)/(-30))/((-2)/(-8)) - 288/(-360)?
False
Suppose 7*z - 895 = -293. Suppose 84*x + 12 = z*x. Let j = x - -27. Is j a multiple of 33?
True
Let n be (24/(-56))/(1/(-7)). Suppose 0 = n*j + 6*j - 684. Suppose 3*y = 4*y - j. Is 14 a factor of y?
False
Is 19 a factor of 32332/5 - 140/100?
False
Is -11 - (-675)/(-252)*-4 - 816906/(-21) a multiple of 50?
True
Let j(l) = -25*l - 168. Let v be j(-7). Is (1 - 35)*(6 - v) a multiple of 17?
True
Let n(o) = -3*o + 18. Let q be n(5). Suppose -q*p - 18 = -12*p. Suppose 2*w - p - 16 = 0. Is 5 a factor of w?
False
Let m(a) = -17*a - 65. Let s(d) = -18*d - 67. Let g(u) = -4*m(u) + 3*s(u). Is 14 a factor of g(14)?
False
Let k = 9 + -12. Let w(a) = 19*a - 6. Let b(o) = 11*o - 5. Let j(y) = 3*b(y) - 2*w(y). Is j(k) a multiple of 5?
False
Let a(s) = -35*s**2 - 368*s + 21. Is a(-9) a multiple of 83?
True
Let v(h) = h**2 + 2*h + 84. Let l(t) = 3*t**2 + 5*t + 167. Let d(m) = -2*l(m) + 5*v(m). Let n be d(0). Let x = 133 - n. Is 21 a factor of x?
False
Let b = -25 + 25. Suppose b = -3*z + 42 + 18. Does 15 divide (2/4)/(5/z) + 28?
True
Let w(n) = -n**2 + 141. Let d(p) = p**3 - 16*p**2 + 15*p - 8. Let t be d(15). Let b be 6/(-8) + 1/(t/(-6)). Is 9 a factor of w(b)?
False
Let f(b) = -1522*b - 5265. Is f(-14) a multiple of 7?
False
Let x(j) = -j**3 + 9*j**2 - 12*j + 1. Let v be x(7). Let f(l) = 5*l - 35. Let w be f(v). Let d = 45 - w. Is d a multiple of 2?
False
Let a be ((-3)/3 + 0)*1*0. Suppose 2*m - 23 = -b, m - 20 = -b - a*b. Suppose -b - 4 = -w. Is w a multiple of 3?
True
Is 154 a factor of (3 - -3)/(4/186)*(264 + -85)?
False
Suppose 42646 = n - 3*z, 4*n - 5*z = 9*n - 213190. Is 8 a factor of n?
True
Let j be 22/55 + (-102)/5. Let h be 258/(-8)*j/(-5). Does 9 divide (-8)/8 + (-2 - h)?
True
Suppose -4*t = -6*t. Suppose t = 2*a + i - 1084, 0 = -5*a + 6*a - 4*i - 524. Is 20 a factor of a?
True
Let f(z) = 121*z**2 + 38*z - 32. Is f(9) a multiple of 5?
False
Let m(v) = -v**3 - 8*v**2 - 7*v + 5. Let t be m(-7). Suppose -5 - 3 = 2*a, 2*y - 3*a - 108 = 0. Suppose y = t*u + 3*u. Is u a multiple of 4?
False
Let w = -