*t, 3*t + v = 3*w. Suppose 0*f - 2*f + 4 = 0. Solve -2*m = -w - f for m.
2
Let m be 2 - (0*(-4)/(-4))/(-1). Let n be ((-6)/(-18))/(m/(-12)*-1). Solve 0 = 7*y - n*y for y.
0
Let f be (-2)/5 - 258/30. Let j = -7 - f. Solve j*a - 2 + 4 = 0 for a.
-1
Let u be (-70)/(0 + -1) + 2. Let y = 77 - u. Solve 5 = y*h - 0*h for h.
1
Suppose 90 + 18 = 12*c. Solve -c*p = -13*p + 20 for p.
5
Let b = -36 - -45. Let d(a) = 5*a**2 + 7*a + 18. Let y(x) = -x**2. Let k(q) = d(q) + 6*y(q). Let l be k(b). Solve l = t - 4 for t.
4
Let k be (-18)/(10/30*2/(-1)). Suppose -a = -4*a + 3*f + k, -11 = a + 3*f. Solve a*r = r - 6 for r.
-2
Let u(k) = k**3 + 6*k**2 + 4*k - 2. Let b be u(-5). Let g = -371 - -372. Solve 4*l - g - b = 0 for l.
1
Let y = -22 + 23. Let c be y*(-4)/14 + 23/7. Solve 2 = c*v - 2*v for v.
2
Let v(i) = -12*i + 111. Let b be v(9). Solve 0 = b*t - 2*t + 2 for t.
-2
Suppose -5*o - x = -23, o + 2*x - 5*x - 11 = 0. Solve q + o = -0*q for q.
-5
Suppose -n + w = -5, -4*n + 14*w - 9*w = -23. Suppose -5*p - 2*b = -61, 0 = n*p + 4*b - 18. Solve 7 + p = 4*c for c.
5
Suppose -5*j = 71 + 14. Let w = -14 - j. Let r be (w/(-9))/((-2)/18). Solve 0 = r*q - 2*q + 1 for q.
-1
Let z = 13 - 13. Let w be (-2 - (-2 - z)) + 2. Solve -h = w*h for h.
0
Let r(o) = o**3 - 8*o**2 + 7*o + 12. Let a(w) = w**2 + 11*w + 7. Let s be a(-11). Let z be r(s). Solve -3*c = -z + 3 for c.
3
Let t = 14 - 9. Let f(h) = 4*h**2 + 5*h - 7. Let v(a) = 3*a**2 + 3*a - 5. Let j(y) = -5*f(y) + 7*v(y). Let b be j(t). Solve b*u + 0*u = -10 for u.
-2
Let r = -102 + 103. Solve r = 3*s - 8 for s.
3
Let f(k) = 24*k**3 - k - 1. Let s be f(-1). Let h = 26 + s. Solve 0 = -h*j - j - 12 for j.
-4
Let v = 785 - 783. Solve v*c = c - 2 for c.
-2
Let u(v) = v**2 - v + 16. Suppose 2*o - 10 = 5*q, -4*o + 2*q + 2 + 2 = 0. Let p be u(o). Suppose p*n - 13*n = 0. Solve n = -b - 3*b - 4 for b.
-1
Let g = 29 + -46. Suppose -5*n = -3*b + 7 + 1, 4*n + 3*b = -1. Let z be g/(-2) + n/2. Solve z + 1 = 3*r for r.
3
Suppose -j - 25 = -3*c - 13, 4*j = c - 15. Solve -2*q + 3*q + c = 0 for q.
-3
Let q(w) = w**3 + 3*w**2 - 9*w + 10. Let v be q(-5). Solve u = -v*u for u.
0
Suppose 4*b - 11 = 53. Let m be (b/(-4))/4 + 5. Suppose -m*x = 2*x. Solve 5*s + 25 = -x for s.
-5
Suppose 3*p - 4*p = -8. Solve 6*z = -p - 4 for z.
-2
Let j(b) = 8*b**2 - 3. Let l be j(2). Let k be (l/87)/(1/27). Solve -5*g + 2*g + k = 0 for g.
3
Let x be 78/22 - 24/44. Solve 0*k = -x*k - 3 for k.
-1
Suppose -40*v + 334 - 14 = 0. Solve v*f + 49 - 17 = 0 for f.
-4
Suppose 5*y - 20 = -0*y, 0 = 2*d - 5*y + 18. Let h be d/(-2)*4/4*0. Suppose -2*j + 1 = -1. Solve h = 4*i + j + 15 for i.
-4
Suppose 22 + 50 = 9*f. Solve -f = -4*a + 12 for a.
5
Let x = -57 + 67. Suppose t - 4 + 1 = 0. Suppose u + 2*u = 2*z + 19, -u - 1 = t*z. Solve -u*s - 5 = -x*s for s.
1
Suppose 0*x - 4*x + b + 421 = 0, 0 = -2*x + 4*b + 228. Let i be x/65 + 4/10 + 0. Solve i*j + 6 = -2 for j.
-4
Let r be (4 - 4)*1*-1. Suppose -3*q - 12 + 14 = 2*x, 4*x = 4*q - 16. Solve -v - q + 5 = r for v.
3
Let b(o) = 4*o + 26. Let h be b(-6). Let z be 8 - 3/(-9)*-3. Suppose h*j - 22 = -5*x, -3*j = x - 0 - z. Solve 0*t + x = t for t.
4
Let o be ((-16)/24)/((-4)/270). Let v = o - 45. Solve 3*t + 4 + 5 = v for t.
-3
Suppose 0*v - 3*v + 25 = -5*g, g + 4*v = 18. Let y(c) = 1 + 3 - 3*c - 5. Let n be y(g). Solve -n*m = -0*m + 5 for m.
-1
Suppose 0 = -790*s + 782*s. Solve -3*o + 14*o - 11 = s for o.
1
Suppose 2*r - 2*c - 16 = 0, -5*r + 27 = -c - 1. Solve -6*l + r*l = -5 for l.
5
Let k be (-5)/10*6 - 18/(-3). Suppose k*l - 48 = -33. Solve -17 = -l*y + 3 for y.
4
Let g(a) = -a + 16. Suppose 0 = i + 4*i - 10. Suppose x - 2*z + 24 = 6*x, i*z = -4*x + 18. Let f be g(x). Solve 0 = -2*s + f for s.
5
Let k = 1430 + -1430. Solve -f - 18 + 14 = k for f.
-4
Let d(r) = -5*r**2 + 4*r + 3. Let w(i) = -i**3 - 5*i**2 - 2*i + 5. Let p be w(-4). Let n be d(p). Let b be 2/5 - n/15. Solve 3*y + 13 = b for y.
-3
Suppose 0 = -30*a + 21*a + 72. Solve 0*w - 32 = -a*w for w.
4
Let n(o) = o**2 - 31*o + 254. Let d be n(16). Solve d = -w - 13*w for w.
-1
Let c(o) = -o + 7. Let p be c(5). Suppose 0 = u + 5 + 37. Let j be 9/21 + (-192)/u. Solve -j = p*d + 5 for d.
-5
Let t be 1 - (2 - (-10)/1). Suppose 72 = -4*s + 4*l, -5*l + 0*l - 54 = 4*s. Let o = t - s. Solve 0 = o*q - 0 - 15 for q.
3
Suppose 0 = 5*h + 5*s - 15, h + 2*s - 3 = 3*s. Let y be (18/4)/(3/10). Suppose 2*o - 6*o - 3*i = -y, 4*i = 2*o + 20. Solve o = -h*u - 0 - 3 for u.
-1
Let a be (-27)/(-6) + (-108)/24. Solve -5*b - b = a for b.
0
Suppose -30*z = -54*z + 120. Solve -4*j + 1 = z for j.
-1
Suppose -4*i = 2*w - 46 - 6, 3 = i. Solve w*b = 24*b - 12 for b.
3
Let g be (25 - -3)*((-44)/16 + 3). Suppose 60 = -g*o + 19*o. Solve -a = 4*a + o for a.
-1
Suppose i - 162 = -3*u, -4*i + 2*i = -u - 324. Let x = 164 - i. Solve 0 = -x*r - 4 - 0 for r.
-2
Let l(s) = s**3 + 5*s**2 - 2*s + 6. Let y be l(-5). Suppose y = 2*a + 2*a. Let j be a/((-8)/(-6))*1. Solve -b = j*b for b.
0
Suppose -5*k + 9 = -2*k. Let x(y) = -y - 1. Let j be x(k). Let u be j + (4 - -4) + 11. Solve -3*m + 0*m - u = 0 for m.
-5
Let p(k) be the second derivative of k**5/20 + k**4/3 + k**3/2 + k**2/2 - k + 7. Suppose 0 = 4*o + 11 - 3. Let y be p(o). Solve 0*m + 15 = -y*m for m.
-5
Let y(x) = -6*x**2 + 85*x + 19. Let k be y(14). Solve -37*j = -k*j + 20 for j.
-5
Let i(s) = s**2 + 27*s + 18. Let l be i(-27). Solve 4*y = -2 + l for y.
4
Suppose 0 = 113*b - 42*b - 781. Solve 2*x = -b + 15 for x.
2
Let a(g) = 12*g + 13. Let d be a(2). Let v = d + -35. Solve -v*w = -w for w.
0
Let n be (-1 + -2)*(0 - 2). Suppose h - 5*l + 2 = -3*l, n = -3*h + 4*l. Let m be 3 - (-1 - h/1). Solve m*o = -o for o.
0
Let p be (11 - -10)/((-3)/(-2)). Solve 0 = -5*q - p + 9 for q.
-1
Suppose 5*f + 4*v = 2*f + 7, 2*f - 3*v = 16. Let c(a) = a**3 - 4*a**2 - 5*a. Let g be c(f). Suppose g*p = -p + 3. Solve 0*o + o = p for o.
3
Let x be ((-13)/104)/((-4)/32). Solve 7*w = 13 + x for w.
2
Let c be (18/24)/(-3 - 25/(-8)). Suppose 2*y + 7 = 2*f - 9, 3*f = 5*y + 34. Suppose -2*v = -f*o + 13, 0 = -0*o + 2*o - 2*v - 10. Solve c = n - o*n for n.
-3
Let p(v) = 14*v**2 + 266*v + 2. Let w be p(-19). Let s(t) = t + 5. Let h be s(-5). Solve h = w*g - 7*g - 20 for g.
-4
Suppose 31 = -3*s + 5*m - 0*m, 4*s + 20 = -4*m. Let f be s/196*-7 - 38/(-8). Solve 1 - f = -2*d for d.
2
Let y be (4*10/(-40))/((-1)/5). Solve y*s = s - 12 for s.
-3
Let m = -276 + 276. Solve -4*q - 12 - 8 = m for q.
-5
Let u be -3 + (4/(-4) - 1). Let s be u*(2 + -3) - 1. Suppose -s*n = -2*n. Solve n = 4*z + z - 20 for z.
4
Let u(k) = k**2 - 37. Let z be u(8). Let h = z + -22. Solve -h*r = -8 + 23 for r.
-3
Suppose 13 = -14*m + 15*m + 2*f, -2*f = -4*m + 92. Solve 6*k = -m + 9 for k.
-2
Let o = 1 - -1. Let p be (-5)/(250/(-604)) + (-28)/3850*11. Solve 0 = u + o*u + p for u.
-4
Let q = 63 + -63. Suppose -5*w - 2 + 12 = q. Solve g = w*g for g.
0
Suppose 72*n - 3177 = -1017. Solve 0 = -11*m - 4*m - n for m.
-2
Suppose 0 = -o - 6*o + 42. Suppose -o*w = -8*w + 2. Solve 0 = 4*f - 5*f - w for f.
-1
Let r be ((-5)/1)/(2/(-10)). Suppose -12*w + r = -7*w. Solve w = -5*l + 10 for l.
1
Suppose -2*q + 5*i - 5 = 0, -5*q + i + 5 - 6 = 0. Suppose -4*f = 2*a - f - 13, 3*f - 11 = -a. Solve q = k + a + 2 for k.
-4
Let d be -7*(30/35)/(-6). Solve -4*s - d = 15 for s.
-4
Let m(k) = -k**3 - 11*k**2 + 13*k + 14. Let o be m(-12). Let u be ((-1)/o)/((33/18)/(-11)). Solve 8 = -5*l + u for l.
-1
Let r(o) = -o**2 + 4*o + 10. Let h be r(5). Suppose 16 = p - 2*a, 10 = h*p + 3*a + a. Solve 0 = -2*s - 4 + p for s.
1
Let n(c) = -c**3 - 5*c**2 - 4*c. Let y be n(-4). Suppose -3*b + y*b + 39 = 0. Let o be -2 + b/2*2. Solve 14 = -5*a - o for a.
-5
Suppose s - 4*k + 4 + 8 = 0, 4*s - 5*k = -4. Suppose 2*d = -0 + 6. Solve -d*n + s = -n for n.
2
Let r = 122 + -115. Solve 0 = -4*v + r - 3 for v.
1
Let p(y) = y**2 - 8*y + 8. Suppose 14 = -5*b - 6. Let r(t) = t**3 + 3*t**2 - 6*t - 1. Let h be r(b). Let x be p(h). Solve -x - 3 = -2*w for w.
2
Let k(d) = 8*d**2 + 13*d - 8. Let y(n) = -23*n**2 - 38*n + 23. Let b(u) = 17*k(u) + 6*y(u). Let r be b(-5). Let t = r + 15. Solve -3 = m + t for m.
-5
Let i(z) be the first derivative of z**2/2 + 5. Let o be i(2). Suppose 4*s = -o*g + 6, -s = -0*s - 4*g + 12. Solve 0 = -3*b - s*b for b.
0
Suppose 89 + 121 = 3*v. Solve -v*q = -65*q - 