0 for j.
-5
Let q(d) = -17*d + 9. Let v be q(0). Suppose 0 = -4*r + v + 11, 0 = -t + r. Solve -20 = t*x, 20 = 4*s - 4*x - 12 for s.
4
Suppose a + 2 = 4*m - 6, -3*m + 6 = 3*a. Suppose 7*p + 26 - 47 = a. Solve 0*y = p*d - 4*y - 7, -y = d for d.
1
Let m be (-12)/(-48)*3/(8 + -2)*0. Solve 2*o + 5*t - 10 = m, t - 20 = -4*o + 6*t for o.
5
Let t be -2 + ((-1)/2)/(2/(-12)). Let p be t*6*(-54)/(-12). Solve 3*l - 5*o + p = -o, 2*o - 16 = 2*l for l.
-5
Suppose -5*t - 44 = -3*c, 7 = 5*c + 4*t - 17. Suppose c*g + 94 = 118. Solve 3*y + 4*a + 3 = 0, -5*y - 4*a - g = 2 for y.
-1
Let c = 34582 - 34577. Solve -3*s - 4*n - 10 = -2*n, -5*n + 25 = -c*s for s.
-4
Suppose 3*x = -12, -19 = 3*d + 3*x - 22. Solve -11 = d*s + m, -5*s + m - 3 = -3*s for s.
-2
Let c(t) = -t**2 + 16*t + 24. Let y be c(17). Suppose 2*n - 8 = -2*a, -9*n + 14 = -y*n - 4*a. Solve -f - n*m = 1, -f + 5*f - 11 = -5*m for f.
4
Suppose 0 = -3*o - o + 4*f - 40, -o - 7 = 2*f. Let u be (-26)/(-8) + o/36. Solve 2*z - 14 = -4*c, -2*c - u*c = -10 for z.
3
Let a(i) = i**2 + 335*i + 1009. Let f be a(-3). Solve l - 3*w - 3 = 0, 21*w - 22*w + f = -5*l for l.
-3
Suppose a = 4*l - 15, -2*a = -6*l + 8*l - 20. Solve -2*n = 3*t + 28 - 30, l*n + 2 = -4*t for t.
2
Let m be 3 - 4*(-2)/4. Let i be (-21 - -1)/(-5) - 10. Let q(c) = -c - 1. Let r be q(i). Solve -2*n = n - r*u - 10, 0 = m*n + 3*u + 40 for n.
-5
Let q be 11 - 5 - (-25 - -26). Solve -2*p + b + 10 = 0, 5*p = 7*p + q*b - 10 for p.
5
Let z = -118 + 191. Let r = z - 66. Suppose -2*a = -j - 6, r*a - 2*a + 4*j - 2 = 0. Solve 4*k + 6 = -2*g, g = 3*k + 5 + a for k.
-2
Suppose -2*b = 2, -b = 5*u - 70 - 14. Suppose 0 = -u*y + 6*y + 55. Solve -6 = -k - 4, y*q = -3*k - 14 for q.
-4
Let j be -7 + (-578)/(-18) - (-250)/(-225). Solve -i - 4 = 0, p - j*i = -21*i + 9 for p.
-3
Let g(s) = s**3 + 126*s**2 + 375*s + 750. Let u be g(-123). Solve 5*o + i + 24 = 0, 2*o - 2*i = -3*i - u for o.
-4
Suppose 3*v - 69*q + 64*q = 2, 0 = -6*v + 2*q + 20. Solve -v*k + 62 = -l + 69, 3*l = -4*k - 11 for k.
-2
Let o = -107 - -161. Suppose -57*p = -o*p - 39. Suppose p*l = 14*l. Solve l = 2*a - y - 4, 0*a = a + 5*y + 9 for a.
1
Suppose -2*t + 69 - 94 = 5*h, h + 5 = t. Suppose 5*f - 70 + 60 = t. Solve -5*q + r = 20, q - f*r - 12 = 4*q for q.
-4
Let l = -4964 + 4967. Solve -i - q = 0, 1 + 7 = -l*i + q for i.
-2
Suppose -2*u - 2*u - 2*h = -550, 0 = 5*u + 5*h - 690. Suppose 0 = -8*q + 10*q + 274. Let k = q + u. Solve 10 = -5*n + 2*n + j, -3*n - 4*j - 5 = k for n.
-3
Let r = -21440 - -21443. Solve -354*f - i + r = -356*f, 0 = 5*f - i + 6 for f.
-1
Suppose 3*g + h - 28 = 0, 4 = g - 5*h + 4*h. Suppose -57 = g*q - 89. Solve -4*u = q*a, -2*u + 6 = -5*a - 1 for u.
1
Let i(v) = 14*v**3 + 6*v**2 - v + 1. Let s be i(1). Suppose 4*j - h - 20 = 2*h, 0 = -4*j - h + s. Solve -j*w - 2*f + 2 = 0, 5*w - 4*f - 26 = -0*f for w.
2
Let g be (7 + 7)/(44/66) + (-8)/2. Solve -v = 2*q + 6 - g, -5*v = -4*q + 1 for q.
4
Suppose 5*c = 2*c. Suppose 3*j = 2*b + 19, c = -5*j + 3*b + 14 + 18. Suppose -j + 2 = -5*w - 4*h, -w = h. Solve -3 = -t - u + 3, 3*t - 20 = -w*u for t.
5
Let o = -502 - -625. Suppose 171 + o = 14*y. Solve 5*x + y = -3*c, -c - 2*x + 4 = 12 for c.
-2
Let z = -2164 - -2166. Solve z*w + w + 3 = r, 0 = -w for r.
3
Let i(j) = 141*j**2 - 10*j + 82 - 3*j**3 - 2*j**3 - 3*j**3 - 134*j**2 + 7*j**3. Let l be i(7). Solve 4*o = l, -2*d + 3*d + o = 4 for d.
1
Let n(u) = -7*u - 23. Let q = 343 + -347. Let r be n(q). Let y(b) = 2*b - 8. Let o be y(6). Solve -2*s - r*m + 18 = 0, -2 = -o*s + 5*s - 3*m for s.
4
Let s be ((-3)/(9/(-18)*4))/((-2)/(-4)). Solve 6*a = a - 2*q - 19, 0 = -4*a + s*q - 29 for a.
-5
Suppose 0 = -8*t + 5*t + 3*f + 18, 2*t = -f. Solve 0 = -t*h - a, -4*h + 8*h + 5*a = -12 for h.
2
Suppose 172*u - 522 = -2*u. Solve u*v = 2*w - 4, 3*v + 6 = 4*w - 2 for w.
2
Suppose -75 = -35*p - 46*p + 56*p. Solve 2*c = q - 12, -2*q - 5 = -p*c - 23 for q.
0
Let f be 78*(427/21 - 19). Solve -w + 7 = 2*h, w - f*h = -109*h + 19 for w.
-1
Let h be (0 - 1)*(-5*14/70 - -1). Solve h = -i - m + 3, -3*m + 10 = -8*m for i.
5
Let u be (-2)/(-52)*-4 + 1*(-804)/(-156). Solve 5*o + u*h - 10 = 0, 4*h = 5*o + 12 + 23 for o.
-3
Let y(m) = m + 25. Let r be y(-24). Let k be r/3 - (4 + (-154)/42). Solve 0*a + g - 7 = -5*a, -3*a - 4*g - 6 = k for a.
2
Suppose 4 = -j, 54*c - j = 50*c + 24. Suppose c*t = 39*p - 44*p, -3*p - 6 = 0. Solve -t*i - 5*u + 7 = -3*i, 0 = i + 5*u - 13 for i.
3
Let h = -399 + 403. Solve 4*k + 3*p = -2, 1 = h*k + p + 7 for k.
-2
Let p be 100/(-60)*(-6)/(-4)*-2. Solve p*n = -6*s + 9*s - 7, -3*n + 23 = 5*s for s.
4
Suppose 41*i = 56*i - 168*i + 3672. Solve p + i = 3*p + 5*g, 4*g - 6 = 5*p for p.
2
Let j be (-12)/15*1 + (-984)/(-205). Solve -5*q + 30 = -3*u, 9*u - j*u = -4*q - 13 for q.
3
Suppose 822 = -6*d + 846. Solve -2*o + 2*r = 0, 0 = -d*o - 4*r - r - 27 for o.
-3
Suppose -4*w = -b - 3*b + 64, 2*w + b = -29. Let j be 11/5 - (-3)/w. Let i be 2/(16/(-120))*(-9 + 52/6). Solve -5*r = 3*a - 2, i*a + 7 = -0*r + j*r for a.
-1
Let l = 128 - 126. Suppose -6*m + 5*m + l = 0. Let g = 4 + -2. Solve -3*q - s = m*s + 24, -g*q = s + 11 for q.
-3
Let l(w) = -w**3 + 28*w**2 - 30*w + 96. Let n be l(27). Let u be 3*n/((-270)/(-12)). Solve r + 4 = -u*i - i, r + 2 = -2*i for i.
-2
Let f = -431 - 16. Let d = -427 - f. Solve 17 = 4*g + s, -d = -g - 0*s + 5*s for g.
5
Let s(t) = t**3 - 6*t**2 - 9*t - 40. Let z be s(8). Suppose -4*j + 4*h = -z, 2*h = -4*j + 28 - 24. Solve 14 = 4*m + j*p, 2*p = 3*m - 2 - 19 for m.
5
Let r = -1600 + 1604. Solve -4*z - z = -r*s - 16, 2*s - 2*z = -6 for s.
1
Suppose -52*p + 111 - 33 = -26*p. Let t be (3/(-9) - 0)*-6. Solve 4*l - 1 - p = -4*c, t*c - 10 = 2*l for c.
3
Let c = -3455 + 3458. Solve 4*z - 8 = q + 4, -4*z + 28 = c*q for z.
4
Suppose 5*i - 55 = -4*j, i - 10*j + 5*j - 40 = 0. Suppose -2*v + 6*v = 0. Let r be v/5 + 0 + i. Solve 0 = s - 3*s + 3*a + r, s = -4*a - 9 for s.
3
Let x(k) = k**3 - 5*k**2 - 11*k + 30. Let c be x(6). Suppose -9*f - 9 + 27 = c. Solve d = t - 2 - f, 5*d = 0 for t.
4
Let q be (6/4)/((-3)/(-8)). Let i(o) = 11*o + 85. Let w(y) = 2*y**2 + 34*y - 83. Let l be w(-19). Let j be i(l). Solve 3*n = 3*k - j - 22, q*k = -4*n for k.
5
Suppose -5*f = -3*p + 168, 5*p + 4*f + 3 - 283 = 0. Suppose 44 = -6*c + p. Solve 4*b = r, -c*b = 4*r - 0*b + 18 for r.
-4
Let d(a) = -112*a - 2794. Let g be d(-25). Solve 4 = 2*u + 2*x, -g*u - 3*x + 10 = -u for u.
2
Let g(y) = -y**2 + 7*y + 125. Let l be g(-8). Solve -15 = -q - 5*o + l, o = 5*q + 30 for q.
-5
Let o(x) = -49*x - 289. Let g = -231 + 225. Let b be o(g). Let i(l) = 3*l. Let u be i(5). Solve c + h + h = 3, u = b*c - h for c.
3
Let x = 1273 + -1259. Solve -3*j - 5*z + x = 0, 0*j + 5*j = 4*z + 11 for j.
3
Let m = -3 - -4. Suppose -3*l - 137 = -5*j - 5*l, 0*l = l - 6. Solve 5*h + 5*u = -j, m - 4 = h - u for h.
-4
Let i(m) = -2*m**3 - 314*m**2 - 285*m + 4217. Let j be i(-156). Let a(k) = -k**2 - 8*k - 6. Let d be a(-5). Solve 0 = j*y + 5, d = -4*n - 0*n - y for n.
-2
Let q be 1/2 - (-6)/4. Suppose 58*v - 2*t + 689 = 57*v, -5*v - 2*t - 3397 = 0. Let b = v - -686. Solve -2*y - 2*y = -b*m + 15, -22 = 4*y + q*m for y.
-5
Suppose -4*t + 7*h = 9*h + 1100, -4*t + 3*h = 1080. Let v be (t/(-26) - 11) + (-2)/(-4). Solve -4*k = 2*b + b + 11, v = -3*b + 4*k + 5 for b.
-1
Let x(n) be the third derivative of -n**4/24 - 17*n**3/6 + 112*n**2. Let k be x(-19). Solve 4*l + 5*d - 13 = 0, 3*d = k*l - 0*l + 21 for l.
-3
Suppose -67*k + 55*k + 36 = 0. Solve 5*s - 7 = -z + s, -k*s = 2*z - 4 for z.
-1
Let r be -2 + 4 + -12 - -6. Let o be (65 - 64)/((-3 + 1)/r). Solve -4*a + 2 = 2*u, 8*u + 26 = o*a + 4*u for a.
3
Suppose 0 = 4*l + 16*l - 28*l + 16. Solve -l*g - 4*t = 10, 89*g - 85*g + 17 = -5*t for g.
-3
Suppose 0 = 28*z + 23 - 134 - 29. Solve z*y + k + 5 = 4*k, -4*y - 4 = 4*k for y.
-1
Let k = -517 + 521. Let t(m) = m**2 + 7*m + 2. Suppose 4*y - 12 = 0, -2*y = 4*i - 3*y + 31. Let z be t(i). Solve -z*v = 2*a + 8, k*a - 4 - 12 = 4*v for a.
0
Let n(i) = -2*i**3 + 2*i**2 + 2*i + 1. Let r be n(-1). Let o be (-1476)/123 - 17/((-119)/98). Solve -c - 1 = 0, -o*c = -b + c + r for b.
0
Suppose 45 = 3*g + 2*l, g - 4*l = -50 + 37. Solve 2*r - 2*j + 1 = -3, 0 = -5*r + 4*j - g for r.
-3
Let x be ((130/(-15))/(-1))/(6/9). Let o = -10 + x. Suppose -2*k = o*r + 2*k - 35, 3*r = -5*k + 40. Solve -r*t