9*v + 4 + 119*v - v**2 + 6. Is l(-19) a multiple of 14?
False
Let p(d) = -6*d - 3. Suppose -5*n + 8*n + 3 = 0. Let j be p(n). Suppose -j*v - 10 = -67. Does 4 divide v?
False
Let l(r) = 21*r - 2. Let j = -12 + 15. Let u be l(j). Suppose -z = -0*m - 3*m + 45, 4*m = z + u. Does 16 divide m?
True
Suppose -11 - 15 = -t. Let b be (-33)/132 - 2/(-8)*97. Suppose 172 = 3*l - 4*d, l = 5*d + t + b. Does 20 divide l?
True
Suppose h = -0*h + 94. Let n = h + -50. Is n a multiple of 11?
True
Let s be (10/4)/(6 - 22/4). Let u = -12 + 287. Suppose -s*y + u = 5*m, 3*m = -0*m - y + 159. Is 18 a factor of m?
False
Suppose j + 5*u - 344 = 0, 2*j - 748 = -3*u + 8*u. Is 28 a factor of j?
True
Let y = -14 - -14. Suppose -m + 4*m = 3*f + 6, y = -3*f + 5*m - 2. Does 6 divide (-9)/f*48/18?
True
Is 2 a factor of 395 - (-4 - 5 - -6)?
True
Let q = 295 - 92. Is q a multiple of 19?
False
Let g be (7 - 14/2)/2. Suppose -4*a + 212 = k - 6*a, a + 1 = 0. Suppose g*x + 2*x = k. Does 35 divide x?
True
Suppose 78*v = 46*v + 5760. Does 4 divide v?
True
Let h(o) be the first derivative of 43*o**2/2 + 4*o + 13. Is h(2) a multiple of 18?
True
Suppose -51*o = -53*o + 1052. Does 8 divide o?
False
Suppose -5*q - 5 = 0, 17 = -5*c + 4*q + 41. Let b(t) = 3*t**2 + 7*t - 8. Let p be b(c). Let x = 112 - p. Does 12 divide x?
False
Let o be 12/4*(-3 - -22). Suppose -5*s - t + 0*t + o = 0, 3*t + 45 = 3*s. Is s a multiple of 4?
True
Suppose -8*a + 1 = -7. Is ((-2752)/16)/(a/(-2)) a multiple of 43?
True
Let b(l) = 5*l**2 - 3*l + 1. Let f be b(2). Suppose 2*c + 0*c - 18 = -2*w, -c = 4*w - f. Does 7 divide c?
True
Let v(z) = 2*z**2 - 2*z + 38. Suppose 4*u + 2 = -3*h - 6, 0 = h - u - 2. Does 19 divide v(h)?
True
Suppose 5*s - 152 + 32 = 0. Let k(a) = s*a**2 - 2*a + 2 - 9*a**2 - 1 - 2. Is 16 a factor of k(-1)?
True
Suppose -52*i - 66 = -54*i. Does 11 divide i?
True
Suppose -60 = -6*z - 4*z. Is (-17)/51 + 950/z a multiple of 17?
False
Let o(b) = b**3 - 5*b**2 - 5*b + 1. Suppose 5*q = -5*m + 50, -5*q - 3*m = -50 + 6. Let v be o(q). Let u = v - 9. Is 21 a factor of u?
False
Let c(k) be the first derivative of -2*k**3/3 - 31*k**2/2 + 21*k - 36. Does 2 divide c(-16)?
False
Let a(j) = -21*j - 3. Let f(v) = -v**3 + 14*v**2 - 14*v + 10. Let c be f(13). Let p be a(c). Suppose -p = -q - q. Is 13 a factor of q?
False
Suppose 417 = -9*s + 651. Is 12 a factor of s?
False
Let k be -1*(-2)/(2/(-15)). Let d(r) = 3*r**2 + 14*r + 9. Let z(j) = 4*j**2 + 14*j + 11. Let i(f) = 3*d(f) - 2*z(f). Is i(k) a multiple of 20?
True
Let x = -715 - -1046. Does 16 divide x?
False
Let b be (-76)/133 + (-1600)/(-7). Is 10 a factor of 2/(8/b) + 3?
True
Suppose -2*o + 3*v - 21 = o, v = 2*o + 11. Let n be (19 + -3 + 6)*(-7)/(-14). Let f = n + o. Is 3 a factor of f?
False
Suppose 4*a - 3*x = 876, 4*a - 486 = -4*x + 362. Is (a/(-60))/(2/(-20)) a multiple of 8?
False
Suppose 5*l + 2*d = 1213 + 1063, -d = -3*l + 1370. Is 9 a factor of l?
False
Suppose 20*i - 522 = 11*i. Is i a multiple of 7?
False
Let x(s) = -s**3 + 56*s**2 - 34*s - 364. Is 89 a factor of x(54)?
False
Let w = 3452 - 2439. Is w a multiple of 13?
False
Let i(f) = 12*f + 60. Does 8 divide i(33)?
True
Suppose 17*z = 21*z - 24. Does 12 divide 70 - (9/z - 14/4)?
True
Let q = 737 - -1490. Is q a multiple of 59?
False
Let w = -994 + 2844. Does 37 divide w?
True
Suppose 20*j + 8 = 22*j. Suppose 0 = 6*d - j*d - 78. Is d a multiple of 13?
True
Let a = 335 - 301. Is a a multiple of 13?
False
Suppose 4*v = 2*r - 1150, -5*v + r - 387 = 1046. Let m = v + 429. Does 22 divide m?
False
Suppose -7 = t - 6*o + 5*o, 0 = 3*t - 5*o + 21. Let d = 246 + t. Does 37 divide d?
False
Let m be 49/21 + (-2 - (-24)/9). Suppose 3*l + o = -m*o, -4*o = 12. Is 3 a factor of l?
False
Let d(m) = m**2 + 2*m - 10. Does 38 divide d(6)?
True
Let g = 88 + -85. Is 7 a factor of (-5)/(15/(-154)) + 2/g?
False
Let a(d) = -466*d + 82. Is a(-2) a multiple of 15?
False
Suppose 3*a = -4*b - 490, 6*a - 2*a = -4*b - 488. Let r = 201 + b. Is 14 a factor of r?
False
Let w(p) = 8*p + 9. Let g be w(-12). Let h = 143 + g. Does 12 divide h?
False
Suppose -m + 51 = -4*m. Let l = -12 - m. Suppose 0 = l*s - 6*a + a - 30, -4*a + 3 = -s. Is s a multiple of 4?
False
Suppose 0 = -m + 4 - 7. Does 13 divide (-5352)/(-36)*m/(-2)?
False
Let u(w) = -w**3 - 5*w**2 - 4*w - 4. Let i be u(-4). Let f be (3 - 1/(-1))*i. Let t = 13 - f. Is 14 a factor of t?
False
Suppose -10560 = -24*v + 7152. Is 82 a factor of v?
True
Suppose 5*i - 159 + 435 = 4*d, 0 = -5*d + 5*i + 340. Is 9 a factor of d?
False
Suppose -2*s - 6 = -5*j + j, -11 = -3*s + 2*j. Let u = s - 4. Suppose u*v - 96 = v. Does 16 divide v?
True
Let s = 19 + -15. Let o(k) = k**2 - 2*k - 4. Let w be o(s). Suppose 0*g = w*g - 32. Is 2 a factor of g?
True
Suppose -34*f + 4085 = -15*f. Does 5 divide f?
True
Let t(m) = 8*m**2 - 34*m - 12. Is 70 a factor of t(-11)?
True
Let x(m) = -m - 8. Let l be x(-10). Is l/(1/180*5) a multiple of 18?
True
Let b(i) = i**3 + 34*i**2 + 4*i - 71. Is 79 a factor of b(-24)?
False
Let i be (-6)/18 - (-355)/3. Suppose 2*u = 3*f - 6, 4*f + 0 = -2*u - 6. Suppose f*m + 53 = m - p, 2*m + p = i. Does 19 divide m?
True
Let q(f) = 268*f + 37. Let v be q(13). Suppose v - 176 = 15*k. Does 28 divide k?
False
Let m = 952 + -224. Does 13 divide m?
True
Is 24 a factor of -3 + (-2 - 9296/(-7))?
False
Let o(d) = -10*d - 3*d**3 + 3*d**3 - d**2 - d**3 - 5*d**2 - 7. Let v be o(-6). Suppose 76 = 3*a - 5*t, 2*a + 2*t - 19 = v. Does 8 divide a?
True
Let n = 220 + 462. Does 82 divide n?
False
Suppose -f = 5*r - 3605, -5*r + 9*f = 4*f - 3605. Is 7 a factor of r?
True
Let n(p) = p**2 + p + 273. Is 20 a factor of n(0)?
False
Suppose 5*c - 990 - 6670 = -3*l, 3*l = c - 1514. Is c a multiple of 90?
False
Suppose d - 2*a - 1 = 0, 2*d + 3*a + 6 = 4*d. Suppose 3*l + d = 6*l. Suppose -3*y + l*p + 18 = -y, -3*y = -3*p - 33. Is 5 a factor of y?
True
Suppose -114 = 3*u + 177. Suppose -65 = -4*h - 701. Let b = u - h. Does 13 divide b?
False
Let t(d) = 2*d**3 + 2*d**2 + 1. Let n(o) = -3*o**3 + 3*o**2 + o + 4. Let c(l) = -n(l) + 3*t(l). Let v(s) = 2*s - 1. Let z be v(1). Does 2 divide c(z)?
True
Let t be 12/8 - 181/(-2). Suppose 3*d - 3*l - 312 = 0, 6*l = d + l - t. Does 15 divide d?
False
Let v be -1 + -6 + 6 + -5. Let u = 18 - v. Does 6 divide u?
True
Let l be 208/20 - 2/5. Suppose -276 = 4*i - l*i. Is i a multiple of 9?
False
Let v be 15/9 - (-7)/21. Suppose v*k + 371 = 2*x - k, 749 = 4*x + k. Suppose 0 = 4*i - x - 9. Is i a multiple of 19?
False
Let h be 3*(10/6 + -1). Let u(t) = -t**2 + 11*t + 28. Let d be u(13). Is (-4 - h*-26) + d a multiple of 25?
True
Let r(a) = -a**2 + 10*a - 3. Let i be r(7). Let n be i/(-99) + (-62)/22. Does 4 divide -12*(-1)/(n - -4)?
True
Let s(t) = 3*t + 37. Let f be s(29). Let i be 2/(8/5)*4. Suppose 4*m - f = -m - 3*g, -i*m + 2*g + 134 = 0. Is 10 a factor of m?
False
Suppose 307*s + 744 = 319*s. Does 31 divide s?
True
Let n(l) = 77*l**2 - 22*l + 78. Is n(3) a multiple of 141?
True
Let q = -2561 - -2966. Is 35 a factor of q?
False
Let k(g) = 6*g + 12. Let t(r) = 11*r + 24. Let o(l) = -7*k(l) + 4*t(l). Let h be o(-5). Does 25 divide 15/10*26 + h?
False
Suppose 1424 - 474 = 5*p. Is 24 a factor of p?
False
Let i(p) = -2*p**2 + 45*p + 43. Suppose -2*s - 6 = 4*h - 32, 67 = 3*s - h. Does 12 divide i(s)?
False
Suppose 0 = 20*a - 10*a - 220. Is a a multiple of 22?
True
Let n be 273/6 + (-7)/(-14). Suppose 2*p - 4*w = -0*w + n, 4*p + 4*w - 56 = 0. Suppose 3*l - 3*c = 24, -4*c + 5*c + p = 4*l. Is l a multiple of 2?
False
Let j = 6 + 20. Let w = 36 - j. Is 10/(-25) - (-44)/w a multiple of 4?
True
Let d(u) = 2*u**3 + 28*u**2 + 22*u - 6. Is 18 a factor of d(-12)?
True
Suppose -2*w + 3*y + 1 = -12, 4*w = 2*y + 22. Suppose 31 - 11 = -w*v. Let m = v + 12. Is m a multiple of 2?
True
Suppose 41*l = 49*l - 1024. Is l a multiple of 7?
False
Suppose -5*y = -0*j - 5*j + 25, 0 = 5*y + 5*j - 15. Let w = 127 + -170. Let h = y - w. Is 14 a factor of h?
True
Let m be (1194/(-12))/(1/(-4)). Suppose -5*r = -52 - m. Is r a multiple of 9?
True
Let o(a) = 23*a**2 - 19*a - 7. Is 23 a factor of o(6)?
False
Suppose 4*s = 4*d + 3*s - 21, 4 = d + s. Does 2 divide 2 + (-68)/(-6) + d/(-15)?
False
Suppose 5*v + 3*i - 23 = 0, 4*i - i = -v + 7. Let a = v + 21. Suppose 5*s - a = 4*s. Is s a multiple of 25?
True
Supp