-5*i + 23 = -4*i - 5*v, 0 = -i - 3*v - h for i.
-2
Suppose 0 = 20*z - 19*z - 2. Suppose -3*v + 1 = 2*w - 0*v, z*v + 2 = 0. Solve -3*i - w*h = -7, -h + 5 = 4*i - 1 for i.
1
Let a = -40 + 41. Let y be a - (1 + -2)*1. Let h be (-4)/10 + (-17)/(-5). Solve 11 = 5*j + h*k + y, 5*j = -4*k + 12 for j.
0
Let d = -32 - -32. Let a be (2 + d)*(-5)/(-10)*0. Solve g = -3*m + 3, a = -g - 4*m - 0*m + 4 for g.
0
Let y(h) = h**3 + 11*h**2 - 10*h + 27. Let j be y(-12). Solve -2*l - j*l = 4*t - 17, 3*t = -5*l + 14 for l.
1
Let j = 4 - 6. Let i(q) = -2*q**3 - q**2 - q + 1. Let o be i(j). Solve -3*l + 2*w = -2*w - o, w = 5*l - 8 for l.
1
Suppose 0 = -3260*w + 3247*w + 26. Solve 2*u + 31 = 5*a, 3*a = -4*u + 1 + w for a.
5
Let a = 100 + -98. Solve b = -0*y + a*y - 6, 0 = 2*y + 4*b + 14 for y.
1
Let o(y) = 5*y. Let x be o(1). Suppose 0 = -11*v + 32 + 12. Solve v*u - 2*t = 0, 5*u = x*t - 10*t for u.
0
Let g(q) = -8*q - 32. Let m(v) = -5*v + 35. Let x be m(8). Let l be g(x). Solve -4*p - 5*b = 6 - 30, -4*p + l = b for p.
1
Suppose -15*h = -10*h - 5. Suppose r = h + 1. Solve -y + 5*f = 13, -r*y = y - 2*f + 13 for y.
-3
Suppose 0 = q + 2*l - 8, -5*q + 10 + 6 = 2*l. Solve 5*m = q*p + 17 - 0, 3*m - 3*p = 12 for m.
3
Let g(c) = 7*c + 18. Let v be g(8). Let d = -64 + v. Solve -4*y + 9*y - d = -2*q, 13 = -q + 2*y for q.
-5
Suppose -l = 4*x + 4*l + 105, 5*l - 35 = 3*x. Let t = x + 22. Solve 3*z + 7 = t*a, -2*z - 3*a + 17 = -0*z for z.
1
Suppose s = 2*a - 4, 4*a + s + 1 = 5*a. Solve 5*l + a*k = 7, l = -5*k + 8 + 11 for l.
-1
Let x = 19 + -9. Let u be ((-1)/(-2))/(-3*1/(-72)). Let l = u - x. Solve 5*j + l + 3 = -5*a, -32 = 4*a - 3*j for a.
-5
Let r(y) = 2*y**2 - 3*y - 2. Let b be r(3). Let l(i) = -i**2 + 8*i + 9. Let t be l(9). Suppose -4*h - h + 20 = t. Solve 4*u - 8 = 0, 0*x + 5*x = h*u + b for x.
3
Let l(z) = z**3 + 6*z**2 + z - 11. Let h be l(-2). Solve -s - 6 = -x, -2*s - h*x - 2 + 5 = 0 for s.
-3
Suppose -71*h + 81*h - 50 = 0. Let o be 3/(-2)*12/(-9). Solve 3*w + 4 + h = -o*u, -5*u - 12 = -3*w for w.
-1
Let v = 0 - -4. Suppose 57*f = 257 + 256. Suppose -v*p = -f*p + 5. Solve -p = -2*r + 3*w, -5*r + w + 4*w = 5 for r.
-4
Let k = 24 - 21. Let d = k - 0. Let o be 80/30 - (-1)/d. Solve -m = o*w - 10, 3*w + 1 = 4*m + 2*w for m.
1
Suppose 3*r + 3 + 10 = 4*t, -2*r + 5*t = 11. Let f = -28 + 49. Let h be r/6 - f/(-6). Solve m - 5*l + 11 = 0, h*m + 12 = m + 5*l for m.
-1
Let h be 11 + -10 - (-7)/1. Suppose -4*j - 3*a = -1, h*a + 20 = 4*a. Solve v - 4 = -m - 0, 23 = j*m - 3*v for m.
5
Let v(w) be the second derivative of 4*w**2 - 1/12*w**4 + 0 + 7/6*w**3 + 4*w. Let j be v(8). Solve j = -3*a - f - 3 - 1, a + 3*f = 4 for a.
-2
Let w = 49 - 44. Suppose 0 = -7*u + 2*u + w. Solve -5*d - u = 3*t, -7*t - 9 = d - 2*t for d.
1
Suppose s - 19*s = -252. Solve m = d - 2*d + 6, 0 = m + 3*d - s for m.
2
Suppose 2*d - 3*t - 2*t = 11, 4*d + 4*t = 8. Suppose 0 = d*c - 8*c. Solve -5*o - 20 = 0, -3*o + c*o = -2*f + 10 for f.
-1
Let n = 5 + 4. Suppose 13 - n = 4*i. Let f = 6 - 3. Solve f*g - t + 6 = 0, -3*g - 2*t + i = -2 for g.
-1
Let q(s) = s**3 - 2*s**2 + 2*s. Let m be q(2). Suppose -34 = -4*i - 10. Suppose i = b + 2*b. Solve 2*z + z + 28 = -m*a, -20 = b*z + 3*a for z.
-4
Let d = -27 + 47. Let k = 8 + -5. Suppose -g + 0 = -k. Solve -5 = -h - r, -g*h + 4*r - d = -0 for h.
0
Let k be (-30)/12*(70/25 + -4). Solve -5*m + 4*g + g = 20, 0 = -k*g + 6 for m.
-2
Let u(q) = -137*q - 948. Let y be u(-7). Solve l - 4*j = -12, -3*l + j = -y + 3 for l.
4
Let b be -1 + (-2)/(-2) - (78 + -78). Solve t + b = 2*a - 1, -4*t + 3 = -a for t.
1
Let b be 12 - (-8 + 96)/11. Solve -i = 2*v - 3*v + 1, 0 = 2*i + b for v.
-1
Let l(f) = f + 1. Let t be l(5). Let m be 68/11 - t/33. Suppose -d + m + 4 = 0. Solve h - 2*c = -5, -5*c = -5*h - d*c + 50 for h.
5
Let a(w) = -w**3 - 9*w**2 - 8*w. Let x be a(-8). Let l be 10/3 - x - 11/33. Solve 0 = -y + 5, -2*y + 4 = -l*v - 0 for v.
2
Let a = -329 - -335. Solve -2*b = 2, -3*z - 3*b - a + 18 = 0 for z.
5
Suppose 0 = -3*c - 206 + 224. Solve -i - 3*y = -y + c, i - 4*y - 24 = 0 for i.
4
Let q be 80/6 + 2*3/9. Let a = -10 + q. Solve -5*m - 2*x - 5 = -4*x, 0 = -a*x - 20 for m.
-3
Let q(i) = 2*i + 7. Let p be q(4). Suppose 0 = -h - 2*h - 5*c - 25, -4*h + 3*c = 14. Let k = p + h. Solve 0 = f + 5*w - 10 - k, -f + 2*w = 1 for f.
5
Suppose 461*b = 484*b - 115. Solve -5*z - b = -o, -2*z = -4*z - 2*o + 10 for z.
0
Let i(q) = -2*q - 1. Let c = 20 - 14. Suppose -2*d + c*d = -20. Let h be i(d). Solve -5*b - 11 = 2*u, -3*b - h = 3*u - u for b.
-1
Let x be (-15)/(-6)*24/6. Suppose -2 = 4*q - x. Suppose y = 7*y. Solve -21 = q*s - 3*o, y*s + s - 17 = -4*o for s.
-3
Let i = 50 + -46. Suppose 3*z + 0*t + 4*t = -i, -z + 4*t + 20 = 0. Solve 5*c - 4*d + 15 = z, 2*c + 4*d = -10 for c.
-3
Let u(k) = -44*k + 177. Let m be u(4). Solve 4*c - 11 = -3*v, -c = -v + 7 - m for c.
-1
Let s(q) = -q**2 + 9*q + 11. Let n be s(9). Let t = 15 - n. Suppose -b + t + 1 = 2*u, 0 = -3*b - 9. Solve -m - 6 = 6*i - i, -u*m + i = -18 for m.
4
Suppose 3*u + 39 = 4*o, -2*u + 7*u + 7 = -3*o. Solve i - o*h + 3*h + 12 = 0, 5*h - 20 = 2*i for i.
0
Let k be (-3)/5 + 8/5. Suppose -6*o + o + 10 = -5*j, -5*j + 8 = 4*o. Solve -2*w - 3*m = -3, -3*m - k - 2 = j for w.
3
Let j = -145 - -147. Solve 5*s + 2*l + 22 = 3*l, j*s + 12 = 2*l for s.
-4
Let f = -51 + 53. Let b(v) = 2*v**2 - 4*v + 2. Let s be b(f). Solve -3 = -2*a - j, 3*a + 2*j - 7 = -s*a for a.
1
Suppose 2*v = 3*y + 4, -5*v - y + 10 = -6*y. Solve p - 4*p + v = 4*j, 6 = -3*p for j.
2
Let r(c) = 5*c**2 + 212*c + 89. Let x be r(-42). Solve 5*o - x*n - 20 = 0, -3*n + 5 = o + 1 for o.
4
Suppose -2 = -u - 4. Let z be u/(-5) - (-108)/30. Let r be 1/2 + 14/4. Solve 4 = -r*q + z*y, q - 4*q - 3*y = -9 for q.
1
Let g be -2*4/20*-5. Solve 5*m - 18 = h, g*h + 6*m = 2*m + 6 for h.
-3
Let x = -31 + 34. Suppose l - 9 = -d, x*d - 35 = -2*d - 3*l. Solve 3*a - 15 = d*k, 5*a - 3*k - 12 = 2 for a.
1
Let h(s) = -s**3 - 17*s**2 - 54*s - 23. Let k be h(-13). Solve -o + 6*t - 16 = t, k*t = 9 for o.
-1
Suppose 2*y - 3*f = 64, -3*f = -0*y - 3*y + 99. Let g = y + -33. Solve -x = -5*n - 8, g*n - 5*x - 8 = -2 for n.
-2
Let a be 1 + 2 - 3 - -12. Let f = -4 + a. Solve 3*h - 2 = -s, 2*s = -3*h + h + f for s.
5
Let a = -28 - -24. Let h be (a - -8 - -2) + -4. Suppose -5*x = -2*z - 17, -z + 6*z = 4*x - 17. Solve m - h*d - 4 = -x*m, -3*d = 5*m - 16 for m.
2
Let b = 140 + -94. Let f = -41 + b. Solve -3*p - 6 = u + f, -3*p - 5*u = 7 for p.
-4
Suppose 7 = -4*c - 5. Let j = -3 - c. Let w = 4 + j. Solve 5*u + 7 = d, d + 21 = -3*u - w*d for u.
-2
Let n = -85 + 87. Let v = -117 + 120. Solve -v*u = -4*s + 2*u + 37, -13 = -s + n*u for s.
3
Let t = 2343 - 2338. Suppose -d = 3*y + 5, -5*y + 5*d + 36 = 11. Solve y = -t*i - 5, -2*z - 3*i - 1 = -0 for z.
1
Suppose 5*t = -4*t - 306. Let h = -34 - t. Solve -4*q + h*i = i + 20, 3*q = -2*i - 15 for q.
-5
Suppose -14*w = -33*w. Solve 4*s = -3*k + 12 + 1, w = -4*s + k + 17 for s.
4
Suppose -6*z + 8 + 4 = 0. Suppose m + z*j - 1 = 6, 3*m + j - 11 = 0. Solve 4*t + 16 = 0, p + p - m*t = 6 for p.
-3
Let b = 127 - 111. Let r be (-3)/(-2*6/(-80)). Let t be ((-3)/1)/(4/r). Solve 3*w = 2*z + t, -5*w + 40 - b = -3*z for w.
3
Let r(q) = q + 6. Let i be r(-6). Suppose -4*z + i = -8. Suppose 4*t + 2 = z*f, -t - t + 2 = 0. Solve -3*l + 3*d = 12, 1 + 2 = f*d for l.
-3
Let o(s) = s**3 - 3*s**2 - 3*s - 4. Let n be o(4). Suppose n*g = 2*g - 32. Solve g = 3*u - 2*f, -5*u + 4*f = -10 - 20 for u.
2
Let d = -371 - -371. Solve d = 2*s - 4*z - 11 - 7, -3*z = -3*s + 12 for s.
-1
Let s = -16 - -27. Let p = -13 + s. Let n be -1*1/p*4. Solve 3 + 15 = 4*z - n*c, -2*z - 3*c + 13 = 0 for z.
5
Let g be 10/40*-2*-14. Solve -3*r - 2*i - g = 0, 2*r + 3 + 9 = -5*i for r.
-1
Suppose 23*a - 73 = -4. Solve 0 = 5*d - 4*z + 3*z + 24, -2*z = a*d + 17 for d.
-5
Suppose 0 = -5*f - 5*o + 45, 22 = 2*f + 3*o - 1. Suppose -f = -4*l + 4. Solve l*b + 4*s = -10, 0 = 3*s - 5*s - 2 for b.
-3
Let f be 7 + 3/(15/(-20)). Let q be (6/2)/(0 + -1). Let x be (f - q/(-1))/1. Solve -4*j = -4*m - 24, -j - 5*m = -x*j + 24 for j.
1
Let d(t) = -2*t - 4. Let x be d(-3). Suppose 0 = -2*b - 8 - 2. Let i(l) = -2*l - 7. Let w be i(b). Solve w*h + 14 = x*s, 2*h - s = 3*h - 2 for h.
-2
Let r(o) = o**2 + 14*o - 39. Let x be r(3). Solve 5*i - 2*p + 4*p = 13, 2*p - x =