be r(-3). Let d be (-8)/(-28) - (-410)/(-14). Let z = p + d. Is z even?
False
Let m be 144/15 - (-2)/5. Let l(a) = a**3 - 7 + 15 - 2511*a - 11*a**2 + 2521*a. Is l(m) a multiple of 8?
True
Does 39 divide 1714 - (3 - (-42)/(-12))*-16?
False
Let z(i) = 161*i + 82. Is 4 a factor of z(6)?
True
Suppose -2*a = -3840 - 564. Suppose -5*o + v = -a, v - 1767 = -6*o + 2*o. Is o a multiple of 43?
False
Let r(i) = i**2 + 10*i - 52. Let l be r(4). Suppose 4*o = 3*v + 422, -4*o + l*v = -567 + 147. Does 33 divide o?
False
Let k(v) = 21*v**3 + v**2 - 78*v + 181. Is k(13) a multiple of 37?
True
Let i = 100 + -140. Let v be (-2918)/4 - (-20)/i. Let b = -496 - v. Does 10 divide b?
False
Suppose 4*l - 8*q = -4*q, -4*l - q - 10 = 0. Is 18 a factor of ((-1)/l)/((-20)/(-6480))?
True
Let o(b) = 2*b**3 - 20*b**2 - 2*b - 15. Let v(r) = r**3 - 10*r**2 - r - 7. Let q(u) = 4*o(u) - 7*v(u). Is 7 a factor of q(11)?
False
Let s(v) = 10*v + 4*v + 28 - v - 4*v. Let l(o) = o**3 - 7*o**2 + 15*o + 7. Let x be l(4). Is s(x) a multiple of 40?
False
Suppose -6*w = 4*v - 5*w - 23114, 4*v - 11*w - 23090 = 0. Is v a multiple of 18?
True
Suppose 0 = 3*w, -4*g + 4149 = 2*w - 4563. Does 16 divide g?
False
Suppose 2*b = -0*b + 24*b - 64372. Is 65 a factor of b?
False
Let q = 7 - 19. Let z = -7 - -6. Let w = z - q. Is w a multiple of 11?
True
Suppose 2*a = -5*r, 4*r = 8*a - 5*a + 23. Suppose 0 = 5*v + 3*i + 15, 4 + 1 = r*v - i. Suppose s - 12 - 135 = v. Is s a multiple of 22?
False
Suppose 2*w + 19*k - 15970 = 21*k, 4*w - 5*k = 31945. Is 105 a factor of w?
True
Suppose 0 = 11*q - 95*q + 891812 + 666388. Is q a multiple of 50?
True
Let v = 119 + -119. Suppose v = -g - 2*g - 108. Is -3 + g/(-8) - 261/(-6) a multiple of 2?
False
Is 28 a factor of ((-11)/121)/(16/(-752048))?
False
Suppose -2*f = -330*y + 325*y - 42314, -4*f + y + 84592 = 0. Is f a multiple of 21?
True
Suppose -36*g = -23236 - 47396. Is 9 a factor of g?
True
Let w be (-4)/(-2) - (0 + 1). Suppose -n = -3*j + 8, -j + w = -4*n + 2. Let r(m) = 75*m - 8. Is 15 a factor of r(n)?
False
Suppose 18*b = 12*b + 30. Suppose 0 = -o + 4*j + 1 + 29, b*o = j + 55. Is 13 a factor of (o/(-15))/((-2)/468)?
True
Suppose 2*u - 2*j = 0, -4 - 2 = -2*u - j. Suppose u*d - 3*s = 138 + 3, -166 = -2*d - 2*s. Does 26 divide d?
True
Is 20 a factor of ((-8544)/120)/(2/(-30))?
False
Is (-9)/270*12 - 68444/(-10) a multiple of 118?
True
Suppose d - 27*x = -30*x + 44, -d + 12 = -5*x. Is d a multiple of 32?
True
Suppose 0*c - 4*c - 12 = 0, 3*c - 27 = -3*k. Suppose -k*x = -x - 22. Suppose 5*i = 25, x*i + 140 = 4*b + b. Is 5 a factor of b?
True
Suppose -5*i + 288 = -2*i. Suppose 8 = 9*x - 100. Suppose -i = -4*b - 2*k, 0 = -0*k - 3*k + x. Is 11 a factor of b?
True
Let b(n) = n**2 + 27*n - 81. Let l = 10 + 66. Let p = -110 + l. Is b(p) a multiple of 10?
False
Let l(k) = -k**3 - 7*k**2 - 13*k + 1. Let w be l(-6). Suppose w*x - 19092 = 14018. Is 22 a factor of x?
True
Suppose 4*h = 2*x + 49846, -4*x = -53*h + 58*h - 62340. Does 304 divide h?
True
Does 48 divide 4*(1486 + -5 - -7)?
True
Let u = 2438 + -1460. Suppose r - 4*j = u, -5*r + 0*j + j = -4928. Is 27 a factor of r?
False
Let z(m) be the third derivative of 8*m**5/15 + 5*m**4/24 + 7*m**3/3 - 31*m**2 - 4. Is z(3) a multiple of 4?
False
Suppose u + 4 = 0, -6*x - u = -4*x + 1486. Let o be (x + 2)*(4 + -5). Suppose -o = -7*g + 374. Is g a multiple of 11?
False
Let p(v) = 2*v + 5. Let m be p(3). Suppose 69*o - 68*o = m. Let j = o + 77. Does 13 divide j?
False
Let a(r) be the second derivative of -r**3/3 - 23*r**2/2 - 17*r. Let z be a(-13). Suppose 0 = z*m - m - 212. Does 23 divide m?
False
Let m(r) = 5*r**2 - 7*r - 45. Let j be m(-10). Suppose 9*c - 339 = j. Is 12 a factor of c?
True
Suppose 12*i = 14*i - q - 7445, -5*q = 2*i - 7451. Is 44 a factor of i?
False
Is 41 a factor of 39*(287 - (1/12 + (-6)/72))?
True
Suppose 2*o - 3 = k, 0 = 5*o + 3*k - 5*k - 8. Suppose -5*z - 4*t - 24 = 36, -o*z = 2*t + 24. Is 15 a factor of -3*(2 - 36) + (-36)/z?
True
Let f(c) be the third derivative of 11*c**4/8 - 17*c**3/6 + c**2 + 133*c. Does 5 divide f(4)?
True
Let l = 2981 - 1089. Is 86 a factor of l?
True
Suppose -31 = -6*f - 8*u + 7*u, -5*f + 30 = 5*u. Suppose -26*g = f*g - 6076. Is 4 a factor of g?
True
Suppose 4*t - 10492 = -2*u, 26329 - 5342 = 4*u + 5*t. Does 82 divide u?
True
Suppose 11*v + 4601 = 784. Let r = v + 575. Is 19 a factor of r?
True
Suppose 13*p - 72 = 16*p. Is 30*(p/(-15))/(6/35) a multiple of 56?
True
Suppose 13*x - 18*x + 4*t = -1400, -3*t = -x + 269. Is x a multiple of 18?
False
Let t = 22016 + -12747. Does 19 divide t?
False
Suppose q = -5*y + 124, 2*y - y + q = 28. Does 7 divide -1*6/(y/(-236))?
False
Let a be 5946/36*-3*-2. Suppose 7*y - a + 305 = 0. Is y a multiple of 7?
True
Let j = 111 + -127. Let y(t) = -3*t**2 - 52*t + 11. Is 5 a factor of y(j)?
True
Let x(u) = 5*u - 6. Let v be 4/7 + (-195)/35. Let m be x(v). Let q = 47 + m. Is q a multiple of 6?
False
Let w(n) = -11*n**2 + 2*n + 6. Let t be w(4). Does 22 divide (-36)/t - 4165/(-9) - 3?
False
Suppose -4*m - 2460 = -4*t, 3*t = -0*t + m + 1857. Is t a multiple of 13?
False
Is 11*270/1485*20606/4 a multiple of 9?
False
Let v(n) = -41*n**3 - n**2 + 9*n + 43. Is v(-4) a multiple of 45?
False
Suppose 0 = 88*a - 357575 - 5092969. Is a a multiple of 279?
True
Let b(s) = 13*s**2 + 89*s + 121. Is 16 a factor of b(-20)?
False
Let y be (-1 - 0)*7*(35 - 36). Suppose -y*k + k + 12 = 0. Suppose r - 126 = 2*d, 0*d + 646 = 5*r - k*d. Is r a multiple of 26?
True
Suppose f - 21 = -4*t, -4*t + 2 = -2*f - t. Suppose 5*w = -h - 22, -20*h - 5*w = -23*h + 34. Suppose -f*b + 1376 = h*b. Does 20 divide b?
False
Let q be (-1)/2*(54 + -60). Suppose -4*n + 637 = -q*n. Does 49 divide n?
True
Suppose 2*j = u + 29 + 325, 5*j + 4*u = 885. Does 4 divide 2/9 + (-20)/9 + j?
False
Suppose 5*f = -3*a + 157, 3*f - 5*a = 140 - 39. Let u = f + -91. Is (-15 + 18 - u/(-2))*-2 a multiple of 7?
False
Let w = 98 - -76. Suppose k - w = 24. Does 18 divide k?
True
Suppose 5*a = -2*l - 621 - 204, -3*a - 5*l - 476 = 0. Let z = a - -302. Does 15 divide z?
True
Suppose -22*v + 2*v = -5*v - 24765. Does 13 divide v?
True
Let b(d) = -247*d + 40. Let m be (-1 + 1/(-3))*(-333)/(-222). Does 42 divide b(m)?
False
Let d = -4072 - -4630. Is d a multiple of 186?
True
Let o(z) = 29*z - 9. Let g be o(3). Let k = -54 + g. Is 3 a factor of k?
True
Let w(n) = n**3 + 12*n**2 - n - 13. Let c be w(-12). Let r be -2*(c - 0) + 0 + 970. Suppose 13*t = t + r. Is 6 a factor of t?
False
Let l be 3*7864/120 + (-4)/(-10). Let k = l - 190. Is 4 a factor of k?
False
Let h(n) = -99*n + 87. Let v be h(-7). Suppose 11*p - v = 6*p. Is p a multiple of 13?
True
Let i = 7553 + -4969. Is i a multiple of 12?
False
Suppose -24*z + 163033 + 17303 = 0. Is z a multiple of 184?
False
Suppose 5*r - 4*s - 116759 = 0, -5*s - 274 = -294. Does 27 divide r?
True
Suppose -4*c + 2*p = -50574, -248*p = -3*c - 252*p + 37892. Does 20 divide c?
True
Let a(w) be the second derivative of w**6/180 - w**5/24 + w**4 + 8*w**3/3 - 10*w. Let x(z) be the second derivative of a(z). Does 17 divide x(-10)?
False
Let n(c) = c**3 - 2*c**2 - 5*c + 10. Let k be n(3). Suppose 0 = 2*h + 4*t - 1334, 369 + 2299 = k*h + 4*t. Is h a multiple of 35?
False
Suppose -3*b + 13 = 2*r, 0 = -b - 4*r - 9 - 0. Suppose b*v = 4*m + 11*v - 1152, 3*m + v = 856. Is m a multiple of 14?
False
Suppose 4*m + 11*p - 2840 = 7*p, 4*m - 2822 = 5*p. Let j = m + -570. Is j a multiple of 6?
True
Let y(f) = -f**2 + 9*f - 14. Let d be y(6). Let m(x) = x - 2. Let q be m(d). Suppose -51 = -4*h - 5*k, 2*h - q*k = 7 + 23. Is h a multiple of 14?
True
Is -1 + ((-24639)/(-12) - 1)/(69/276) a multiple of 16?
True
Let d(m) = 3*m - 3. Let z be d(-3). Let a(j) = 3*j - 24. Let k(f) = -5*f + 49. Let u(s) = 7*a(s) + 4*k(s). Is u(z) a multiple of 16?
True
Let z(b) = 1213*b - 64. Is z(9) a multiple of 17?
False
Let i(s) = 11*s**2 + 22*s - 49. Let h be i(-18). Let b = h - 1459. Does 16 divide b?
False
Suppose 7*v - 27 = 10*v. Let h be 208/12 + 3/v. Suppose -j = -13 - h. Is j a multiple of 30?
True
Let f = 107 - 158. Let p be (-18)/4*680/f. Does 19 divide (3 + (-21)/(-12))/(3/p)?
True
Let s(q) = -q**3 + 10*q**2 - 11*q + 13. Let u be s(9). Is 26 a factor of (5260/12 + u)*(-3)/(-2)?
True
Let l(c) = 29*c - 68*c + 4*c + 222. I