 of f(-11)?
True
Does 13 divide -3*1/(-3) + 4327?
False
Suppose 136*c = 156*c - 212780. Is c a multiple of 19?
False
Let c(o) = 1569*o + 262. Is 79 a factor of c(1)?
False
Let l(b) = -451*b + 222. Does 5 divide l(-13)?
True
Let g = 1297 - 85. Let q = -665 + g. Suppose y + 4*d - 122 = 0, 6*y = y + d + q. Does 22 divide y?
True
Suppose -4*f + 13 = 13. Suppose -3*i - s - 22 - 16 = 0, 2*i + s + 26 = f. Let w = -5 - i. Is w a multiple of 2?
False
Suppose 3*s = -2*p - s + 4892, 5*p - s - 12175 = 0. Let x = -1348 + p. Does 55 divide x?
False
Suppose 21461 = -145*m + 163*m - 46903. Does 5 divide m?
False
Let k be ((-1176)/32 + 1/4)*-20. Suppose -2*a = 4*w - 5*w - 359, 0 = -4*a - 2*w + k. Does 12 divide a?
False
Does 24 divide -543*(-32 - (6 - 15))?
False
Suppose 5*p - 2563 = -603. Suppose -296 = -4*u + p. Does 12 divide u?
False
Suppose 18*i + 46707 - 959361 = 0. Is i a multiple of 103?
False
Let f(u) = -3*u - 1. Let d(n) = -19*n + 58. Let k(i) = d(i) - 6*f(i). Is 4 a factor of k(32)?
True
Let c be -5*(-4)/(-70) + 74/14. Suppose -457 = c*x - 1117. Does 24 divide x?
False
Let n be (-46)/(-10) - (-34)/85. Let u(t) = -1 - 5*t**3 + n - 7*t**2 + 6*t**3 - 6*t. Is 10 a factor of u(8)?
True
Let z = -141 - -149. Suppose -z*v + 1014 = 326. Is v a multiple of 7?
False
Let g be ((-6)/(-12))/(3/12). Suppose 2*s + s + g*y = 91, -3*y = -2*s + 78. Suppose 422 + s = 5*d. Does 12 divide d?
False
Let x = 26070 + -15240. Is x a multiple of 14?
False
Suppose 561 = 2*x - 51. Let l(u) = -u**3 - 48*u**2 - 7*u - 3. Let p be l(-48). Suppose 4*s + w - p + 30 = 0, -4*s = 2*w - x. Does 25 divide s?
True
Let x(m) = -2*m**3 - 47*m**2 + 50*m + 135. Is 45 a factor of x(-33)?
False
Is -1 - 75211/(-11) - 124/341 a multiple of 151?
False
Let c be 2/(-10) + 511/5. Suppose 0 = 28*m - 32*m - 4. Is (-1)/1 + c + m a multiple of 35?
False
Suppose 4*f + 1576 = 4*i, -i + 5*f - 208 + 614 = 0. Let w = i + -326. Is 2 a factor of w?
False
Let m(i) = -12*i - 273. Let z be m(-22). Is 10 a factor of (-132)/18 + 6 + (-1524)/z?
False
Suppose 7*x - 4*x + 79*x - 169084 = 0. Is x a multiple of 3?
False
Let y(s) = -5*s**2 - 8*s + 77. Let h be y(-19). Does 4 divide (76/(-6))/(-11 - h/144)?
True
Suppose -9*t + 8920 = 2575. Is 15 a factor of t?
True
Suppose 3*m - 4*g + 4 = 0, -7*m + 2*m + 2*g - 2 = 0. Is 7 a factor of 138 - -9 - 4 - (m - -3)?
True
Suppose -4*a - 862 = 3*l + 1826, -2*l - 1792 = 4*a. Let d = l + 1321. Does 17 divide d?
True
Suppose -u = -0*q + 2*q - 8, 0 = 2*q - 3*u - 16. Suppose -q*x + 203 = -917. Is 6 a factor of x?
False
Let g(c) = 25 - c**2 + 1789*c - 1803*c + 11. Let x be g(8). Let p = -60 - x. Is p a multiple of 4?
True
Let b(v) = 822*v**2 - 11*v - 5. Does 211 divide b(-9)?
True
Suppose 12*p = 3*k - 9979 - 61595, -4*k + p + 95372 = 0. Does 91 divide k?
True
Let d(g) = 2*g**3 - 22*g**2 - 2*g + 25. Let n be d(11). Suppose -2*q - 136 = -n*v, 3*v = 8*v - 5*q - 235. Suppose -6*t = -3*t - v. Does 7 divide t?
True
Let t = 1825 + -205. Let v = t - 520. Is v a multiple of 43?
False
Suppose u + 2 = 0, 3*c + 2*u + 0 - 8 = 0. Does 21 divide 378*(c + -2 + -4 - -3)?
True
Let p = -12119 - -12871. Is 7 a factor of p?
False
Suppose 26*t = -45*t + 1301005 + 648371. Does 192 divide t?
True
Let n(o) = 4*o - 5*o + 10 - o + 3*o. Let r(l) = -l**3 + 9*l**2 + 8*l + 25. Let i be r(10). Does 3 divide n(i)?
True
Does 13 divide (10004/16)/((-17)/(-12376)*14)?
True
Let w(c) = c**3 - 8*c**2 - 6*c. Let f = 64 + -60. Let o be 1 - (-18)/(f/2). Is 10 a factor of w(o)?
True
Suppose 0 = 14*g - 11*g - 12. Suppose -48 = 4*n + g*h, -h + 37 = -4*n - 11. Is 1332/16 + (-4 - 57/n) a multiple of 14?
True
Let b = 4 + 37. Suppose l + 40 = 5*j, 0 = -3*j + 5*l - l + b. Suppose 0 = -9*i + j*i + 26. Does 9 divide i?
False
Let i = -43 - -45. Suppose -3*y - 3*a + 162 = -6*a, -y + i*a + 50 = 0. Is 58 a factor of y?
True
Suppose -7*o + 18*o = -19*o + 60570. Does 3 divide o?
True
Let f be (666/15)/(6/(-20)). Let c = f - -159. Is 11 a factor of c?
True
Let h(p) = -p**2 + 5*p - 10. Let a(g) = -g**2 + 4*g - 11. Let c(s) = 6*a(s) - 7*h(s). Let q = -20 - -33. Is 6 a factor of c(q)?
True
Let g = 121 + -114. Suppose g*w + 1125 = 1209. Does 6 divide w?
True
Let u(r) be the third derivative of 5*r**4/24 - 7*r**3/2 + 5*r**2. Let j be u(5). Suppose j*w + 14 = 154. Is w a multiple of 17?
False
Let a(c) = 1054*c**2 - 59*c + 31. Does 37 divide a(-3)?
True
Let b(z) = 3*z**3 - 31*z**2 - 27*z + 53. Let g(k) = -2*k**3 + 15*k**2 + 14*k - 26. Let m(q) = 3*b(q) + 5*g(q). Is 51 a factor of m(-18)?
False
Let c(m) = 51*m**2 - 25*m + 44. Let s be c(8). Let r be s/(-70)*(-10)/3. Let w = r + -110. Is w a multiple of 19?
True
Let j = -30 - -34. Suppose 280 = j*b - 1292. Suppose -5*f = -b + 73. Does 16 divide f?
True
Suppose -129*c - 103100 + 351567 = -593645. Is 68 a factor of c?
True
Let y = 21332 + -8978. Is 87 a factor of y?
True
Let a = 862 + -513. Suppose -m - 3*o + a = 0, 2*m + 2*o - 704 = -2*o. Is 10 a factor of m?
False
Let u(m) = m**3 - 20*m**2 + 20*m + 51. Let p be u(18). Let f = p - -381. Is 39 a factor of f?
False
Let p = -38914 - -67700. Is 37 a factor of p?
True
Let a be 2/(-4 + 478/120). Let w = a - -165. Is w a multiple of 6?
False
Suppose h - 19 = -3*n - 225, 2*h + 5*n = -415. Let l = h - -392. Is l a multiple of 20?
False
Suppose -4*a - g - 4*g + 29 = 0, -a - 2*g + 5 = 0. Suppose 0 = -2*u - 4*n - 0*n - 8, 0 = -3*u - 3*n - 6. Suppose -a*d + 931 + 3337 = u. Does 41 divide d?
False
Let a be 190/(-57)*(-12)/10. Suppose 3*v = 2*o - 1294, -a*v - 11 + 19 = 0. Is o a multiple of 25?
True
Let p = 277 + -275. Suppose p*s - 95 = 729. Does 35 divide s?
False
Suppose 4*f + 18506 = 5*i, -5*i + 379*f = 384*f - 18560. Is 19 a factor of i?
False
Let p(t) = 110*t**2 - 2*t + 4. Let i = 125 + -127. Let v be p(i). Suppose -49*j + 47*j + v = 0. Is 28 a factor of j?
True
Suppose -45 = -5*z, -3*z = -4*v + 25093 + 12928. Is 164 a factor of v?
True
Suppose 409 = -5*y - 496. Let q = y + 357. Does 11 divide q?
True
Suppose -5*n + 5 = 0, n + 3*n = -3*b + 109. Suppose z + 4*t + 25 = 0, -2*z - b = 2*t + 3*t. Does 3 divide -3*z*(-5)/(-15)?
False
Let g be (14/1)/((-16)/(-8)). Let c(v) = -14*v + 41. Let z(k) = -13*k + 40. Let h(r) = 6*c(r) - 7*z(r). Is h(g) a multiple of 6?
False
Let w = 358 - 213. Suppose 6*h - 1745 - w = 0. Does 15 divide h?
True
Let y(a) = -3*a + 50. Let t be y(15). Suppose b + 178 = 3*v, t*v - b + 2*b = 294. Let x = -41 + v. Is x a multiple of 18?
True
Let v(u) = 110*u - 21. Let r = -136 - -139. Does 76 divide v(r)?
False
Let n(l) = -6*l**2 - 102*l - 9. Let h(k) = -6*k**2 - 101*k - 10. Let i(s) = -4*h(s) + 5*n(s). Is i(-17) a multiple of 3?
True
Suppose 94711 = 169*g - 79190. Is g a multiple of 47?
False
Let x = -79664 - -115231. Is x a multiple of 104?
False
Suppose -2*x = 56 - 66. Suppose -x*d + 322 = l, l + 2*l = 4*d + 966. Is 5 a factor of l?
False
Suppose -143*q + 7705668 = 164*q + 1494444. Does 84 divide q?
False
Let v be -5*(-5 + (-96)/(-20)). Let z be (-1)/v + 3 + (-1106)/(-7). Suppose -6*l + 8*l = z. Does 8 divide l?
True
Suppose -x = -0*x - 2*y - 17, -3*x - 4*y = -101. Let l = x + -19. Is 35 a factor of (2/(l/(-28)))/(3/(-15))?
True
Suppose -23613 = -13*l - 2446 + 5730. Is 102 a factor of l?
False
Suppose 3*k + 6*v + 86 = v, -5*v + 62 = -k. Let a be k/2*(-16 - -12). Suppose 2*b - 196 = 4*s, b + 3*s = -s + a. Does 18 divide b?
True
Let g(x) = -47*x + 36. Let c(h) = h**3 + 15*h**2 + 37*h + 7. Let a be c(-12). Is 12 a factor of g(a)?
False
Let l be 1/(5 - (-20)/(-5)). Let w be (15 - 11)*(l - (-33)/2). Let u = 139 - w. Does 14 divide u?
False
Suppose -43 = 4*f - 5*q, 8 + 6 = -2*f + 4*q. Let c(h) = -4*h + 99. Does 5 divide c(f)?
False
Let r(z) = -487*z + 20. Let n be r(1). Let x = -278 - n. Is 7 a factor of x?
True
Let f = -515 + 542. Suppose -8*a = -f*a + 2736. Is 36 a factor of a?
True
Let g(u) = 71*u + 22. Let b(p) = -p + 1. Let w(d) = 6*b(d) - g(d). Does 6 divide w(-2)?
True
Suppose -7*k - 1545629 = -57*k - 221079. Does 59 divide k?
True
Let s = -35 + 31. Let m(w) = w + 9. Let b be m(s). Suppose b*c = 10, -9*o = -5*o - 5*c - 118. Is 16 a factor of o?
True
Suppose -2*u = 2*u + 2*a + 54, -u - 5*a = -9. Does 35 divide (266/8)/(u/(-320))?
True
Let g(c) = -131*c - 2040. Is g(-21) a multiple of 9?
True
Is 6 a factor of (-62 - -57) + 92*67 - 9?
True
Let o(c) =