 for j.
-4
Let g be ((18 - 17 - 4) + (-2 - -6))*22. Let m be (-184)/(-40) - 2/(-5). Let x = 0 + 0. Solve 5*l + 4*c - g = 0, l + m*c = -x*l + 17 for l.
2
Let w = -29 - -31. Suppose w*h - 88 = -5*u - 68, h + 2*u = 8. Solve h = f - 3*r + 8, 5*r + 8 - 28 = 5*f for f.
-2
Let q(g) = -g**3 - 7*g**2 + 15*g - 27. Let j(h) = -15*h - 234. Let b be j(-15). Let k be q(b). Solve -2*m + 5*y + 1 = 16, k = 2*m + 4*y + 6 for m.
-5
Let d = -6383 - -6385. Solve -2*h - 5*a - 25 = -15, -h = d*a + 4 for h.
0
Suppose -5*g = 5*y - 2*g - 79, 0 = 5*g + 10. Let p be (-1)/(10/(-80)*(0 - -1)). Suppose p*t - 25 = 3*t. Solve -m + 2*m = -t, -4*v + y = -m for v.
3
Suppose 40 + 75 = -5*p. Let c(q) = q**3 - 4*q**2 - 6*q - 9. Let d be c(6). Let f = d + p. Solve f*z - 4 + 1 = s, -3*s = -2*z - 11 for z.
2
Let q(h) = -h**3 - 14*h**2 - 24*h. Let g be q(-12). Suppose g = -4*w + 9*w - y - 14, -4*w + 15 = 3*y. Solve w*s = j + 6*s - 10, -2*j = 2*s - 12 for j.
4
Let b(v) = 22*v + 333. Let f be b(-15). Solve 2*m + 15 = -0*c + f*c, -4*c + 20 = m for m.
0
Let r(a) = 6*a - 18. Let t(l) = 7*l - 19. Let b(d) = 5*r(d) - 4*t(d). Let o be b(-6). Let z = 31 + o. Solve q + z*j + 24 = 0, -18 = 3*j - 3 for q.
1
Let p be (0 + 13/1)*9. Suppose 0 = -3*r + 3*t + 300, -403*r + 4*t - 554 = -408*r. Let k = p - r. Solve i + 5*s - 9 + 2 = 0, i - 4*s = -k for i.
-3
Let u(n) = -n**2 + 70*n - 647. Let h be u(11). Solve -2*i + h = -r, 0 = -r - 4 + 2 for i.
0
Let j be (-2732)/(-13) - 2/13. Let n = j - 188. Solve -4*f - 9 = 5*o + n, 0 = 4*o + 5*f + 32 for o.
-3
Let w(h) be the first derivative of h**4/4 + h**3/3 - 3*h**2 + 10. Let l be w(2). Suppose l = 4*p - 18 + 6. Solve 3*s - 3 = p*d, 2*s - 6 - 2 = -d for s.
3
Suppose -5*n + 50 = -5*s, 19*n - 14*n + 2*s = -6. Suppose 0 = -0*h + h - 5. Solve 14 = -0*d - h*d - 2*j, n*d - 2*j = 0 for d.
-2
Let u be 9 - (0 - 3)/(-3). Let f = u - 3. Let p = 382 - 382. Solve p = 5*t + 20, 5*j - 4*j - 2*t - f = 0 for j.
-3
Suppose 123 + 157 = -8*p. Suppose -q - 47 = -2*u + 5*u, 5*u = q - 73. Let s = u - p. Solve -5*j = -5*x - s, 7 = -j - 2*x - 1 for j.
0
Let n(y) = 11*y**2 + 52*y - 30. Let d be n(-6). Solve 2*p - 3*w = 3, 5*p = -2*w + 33 - d for p.
-3
Suppose 5*k - 12 = 3. Let c(w) = w**3 - 16*w**2 + 12*w + 61. Let i be c(15). Let z be (-11)/33 + i/k. Solve 5*o - 14 = 4*l - 3*l, -z*o - 5*l + 20 = 0 for o.
3
Let b(l) = -3*l**3 + 18*l**2 - 15*l. Let t be b(5). Suppose -31*r + 28*r + 15 = t. Solve -3*u - 17 = -5*i, -22 = 4*i + r*u - 6 for i.
1
Let g = 3989 + -3987. Solve -b + 4*b - 13 = g*l, -4 = -4*b for l.
-5
Suppose -6 = 3*j, 5*p - 3*j + 79 = 25. Let c be p/(-30) + 46/20*2. Solve 0 = o + 3*x - c, -o - 5*x = -11 for o.
-4
Suppose -3*n + y = -0*y - 12, 3*n + 3*y - 12 = 0. Let b be (-1)/(34/(-8) + n). Let j be (15/(-9) - 0)/(b/(-12)). Solve -j*r - 3*a - 32 = 0, 4*a + 4 = 3*a for r.
-4
Suppose 3*j - 90 = -3*z, 4*j = 3*z - 76 + 210. Solve -5*r = -4*o - j + 57, 0 = 2*r + 3*o + 10 for r.
-5
Suppose 0 = 5*c - a - 21, -1 = c + 3*a + 2*a. Let x = -299 - -303. Solve 9 = 2*g + 5*z, c*z - 3*z + 9 = -x*g for g.
-3
Let i be 38/10 - 8/10. Solve -5*b + 15 = 2*v, 3*b + 0 = i for v.
5
Suppose r = -1, 0 = f + 5*r + 10 + 1. Let a be (2/(-1) + 2)*(-3)/f. Let l be (-2)/(0 - 1/2). Solve l*p - 3*x = -a*x + 10, p - 5*x = -6 for p.
4
Let l be (-10)/(-3) + 1/((-6)/(-4)). Let v(f) = 5 + 21*f**2 + 1 - f**3 - 18*f**2 + 3*f. Let t be v(l). Solve -8 = -t*j - 4*q - 2, -4*j = 3*q - 2 for j.
-1
Let m(j) = -18 + 2 + 6 + 10 - 3*j. Let f(k) = k - 5. Let x be f(5). Let p be m(x). Solve -u - g + p = -4, 0 = 2*u + 5*g - 23 for u.
-1
Let u be ((-130)/(-4))/(10/140). Suppose -40 = -15*z + u. Solve 2*y + z = -4*o - 3*y, 25 = -5*y for o.
-2
Let a be 1/(9/(-12))*-3. Suppose 0 = -3*q + a*v - 14, q + 3*v - v - 12 = 0. Solve -h = -5*r + 16, -3*h = -q*h + r - 8 for h.
4
Suppose 5 = q - 99*c + 103*c, 4*q + 3*c - 33 = 0. Solve b = 5, -3*b = 4*v - 2 - q for v.
-1
Let b(c) = -c**3 + 3*c**2 - 73*c + 154. Let t be b(2). Solve 3*l - 2*h + 6 = 7*l, l - 4*h = -t for l.
0
Suppose 0 = i + 5*c - 36, -16*c + 11*c = 3*i - 68. Let v(w) = -w - 10. Let z be v(-15). Solve 2*k + 0*k - i = 5*j, 4*k - 2 = -z*j for j.
-2
Let q(x) = 3*x - 142. Let f = 420 + -370. Let b be q(f). Solve 4*t = -o + 3 - b, 3*o = 4*t + 1 for t.
-1
Let i(m) = 2896*m + 6. Let c be i(0). Solve -3*p + 3*o = -c, 5*p - 15 + 1 = o for p.
3
Let r be (21/(-4))/(6/24). Let f = 23 + r. Let d be (0 - -3) + (0 - (-3 + 1)). Solve d*z - f*z - 4 = -5*b, -10 = -4*b + z for b.
2
Let t = 29 + -23. Let s be (-3 - 2*t/(-4))/2. Suppose -3*j = -s*j - 4*j. Solve j = 3*d - 4*c + 13, 12 = 3*c - 0*c for d.
1
Let i = 2116 - 2110. Solve i = -2*o - 0*o + 5*s, 0 = -3*s + 6 for o.
2
Let j = -257 - -255. Let p be -2*(-7 - -4) + j. Solve p = 2*o, 0 = 5*c - 3*o + 7*o - 33 for c.
5
Let g = 52 + -52. Let b = 198 - 193. Solve -3*t = o - 2*o + 14, b*o + 5 = g for t.
-5
Let t = -10 - -8. Suppose -3*c + 27 = 4*s - 0*c, 0 = -3*s - 3*c + 24. Let x be (64/(-6))/(t/s). Solve 6*o - x = 2*q + 3*o, 2*o = -2*q + 4 for q.
-2
Suppose 0 = 7*k + 36*k + 115*k - 474. Solve -v - 27 = -4*h, -3*v = -4*h + k + 22 for v.
1
Let k be 1/6*-3*-60. Suppose 4*o - 19 = 2*i + 5, -3*i + k = 5*o. Suppose 0*x + 9 = x. Solve z - 5*b - x = 0, -o = -b + 4*b for z.
-1
Suppose 0 = 41*v + 46 - 5. Let z(s) = -2*s**3. Let i be z(v). Solve 4*c = -3*w + 4, 0*w = 2*w + 5*c + i for w.
4
Let h(q) = -13*q + 13. Let f be h(-3). Let c be (f/(-8))/((-1)/8). Let a = c + -47. Solve -3*l - 9 = a*g + l, -5*g = -4*l + 41 for g.
-5
Let f(m) = -118*m + 2009. Let g be f(17). Let h = 22 + -18. Suppose 5*o = h*v - 2*v + 12, v = -5*o + 24. Solve 5*w + g = -3*q - 1, -3*w + v = 5*q for w.
-2
Suppose 140*k - 146*k = 0. Solve k = -3*q - 7*x + 4*x - 6, 2*x = 3*q + 16 for q.
-4
Let l(d) = -31*d**2 - 2137*d + 142. Let o be l(-69). Suppose 0 = -y + 2*y - 25. Solve -a + o*x - y = 0, -30 = 3*a + x - 4*x for a.
-5
Let n = 52 + -17. Let u = n + -25. Suppose -13 = -3*d - r, -5*r = 4*d - 0*d - u. Solve -5*v + g + 26 = 0, -v + d*g + 30 = 4*v for v.
5
Let b(p) = p**3 + 6*p**2 - 5*p - 30. Let a be b(-6). Let k(t) = 2*t + 12. Let w be k(9). Let f = -27 + w. Solve 0 = -2*r + z - a + 9, -f*r - 5*z - 6 = 0 for r.
3
Let a = -4937 + 4940. Solve 14*m - 16*m - x - 4 = 0, 6 = -a*m + 2*x for m.
-2
Suppose -12*t + 24*t + 12 = 0. Let r be (2/4)/(45/(-54) - t). Solve -x + 3 - 6 = 0, 3*x + 15 = -r*m for m.
-2
Let u(x) = 2*x**2 - 18*x - 11. Let s be u(10). Let q be (-16)/(-6) - 1/(-3). Suppose s = q*g - 33. Solve 3*d + 2*d = -10, 2*d + g = -5*t for t.
-2
Suppose 3*t + 54 = 63. Solve 0 = -12*k + 15*k - t*x + 24, 5*k + 22 = -x for k.
-5
Let f be (-128)/(-60) - 2 - (-731)/255. Solve q + 5*m = 19, f*m = 5*q + 13 + 4 for q.
-1
Let q = -11673 - -11679. Solve s + 5 = -x + q*s, -5*x - 5*s - 25 = 0 for x.
-5
Let w = -5534 + 5545. Solve 12 = 3*a - w*f + 10*f, -5*a - 3*f = -34 for a.
5
Let w(t) = t**2 + 8*t + 9. Let v(n) = n**2 + 8*n + 10. Let c(x) = 2*v(x) - 3*w(x). Let b be c(-6). Solve z = -2*u + 8, -b*u + 20 = 3*z + 2*z for u.
4
Suppose -62 = -32*t + 134 + 60. Solve -t*w + 2 = 3*z - 7*w, 5*z + 2*w = 5 for z.
-1
Suppose -3*i + 60 = -3*f + 84, 2*f = -5*i - 12. Solve -f*n - 7 = x, 5*x - 40 = -12*n + 17*n for n.
-3
Suppose 9*o + 77 = 329. Let w be (-48)/80 + o/5. Solve 4*b + 12 = 2*y, 2*y + w*b = -20 - 13 for y.
-4
Let y(c) = -59*c + 62. Let q be y(1). Solve -1 = -2*r - r - 4*o, q*o - 7 = -r for r.
-5
Let b(k) = 43*k + 303. Let l be ((-3)/(-2)*(-98)/(-21))/(-1). Let h be b(l). Solve 17 = 2*r + 2*r - 3*a, -5*r - h = 4*a for r.
2
Let k be (-3 - (-4 + 1))/1. Let v(b) = -84 - 8*b + k*b + b**2 + 64. Let j be v(10). Solve -4*z - a = -3*a + 22, -z - 5*a = j for z.
-5
Suppose -452*o - 601*o + 5040 = -333*o. Let i(r) = r + 6. Let w be i(0). Solve -3*h + w + 1 = 4*v, -2*v - 5*h = -o for v.
1
Let c(z) = 1. Let q(j) = 20*j - 153. Let g(a) = -4*c(a) + q(a). Let l be g(8). Solve -22 = -4*y + l*w, -w + 6*w + 30 = 5*y for y.
4
Let s be 429/132 - 1/(4/(-3)). Solve 4*j = 4*u - 16, -10*j = -13*j - 5*u + s for j.
-2
Suppose -3*b = 5*f + 166, 0 = 5*f - 4*b + 183 + 4. Let l be (-4 + f/7)/(-3). Solve 5*n - 4 = n - 4*v, -4*n - 31 = -l*v for n.
-4
Suppose 5*s = -2*t + 634, -5*t - s + 6*s = -1515. Let p = -303 + t. Solve -5*q - 6*d + 13 = -2*d, 2*q + p*d + 2 = 0 for q.
5
Let v = -32 + 35. Suppose 0 = d + 2*l - 7 - 4, v*d - 3*l - 24 = 0. Supp