3 for y.
-1
Let w = 1 - 1. Let y be 86/10 - (-6)/15. Solve -2*r - r + y = w for r.
3
Let b be (31 - 5) + 2*1. Suppose 5*z - 10 = 2*a, 0*z - 2*z + b = 4*a. Let g = 0 + a. Solve -g*i - 6 = 9 for i.
-3
Suppose -3*p + 2*i + 34 = 5, 0 = -2*p - 4*i - 2. Let j = 12 - p. Solve -u - j + 2 = 0 for u.
-3
Let v(r) = r**2 + r - 1. Let y be v(1). Let z be 2 - ((y - -1) + -3). Solve 0 = -q + z*q - 8 for q.
4
Suppose 5*h - 3*i - 20 = 0, 4*i - 11 - 1 = -3*h. Let x = h + -1. Let t = 3 - x. Solve 0 = -t*r - 2*r + 10 for r.
5
Suppose -w + 55 = 10*w. Solve 9*d = w*d for d.
0
Let o(m) = -m**3 - 23*m**2 - 23*m - 15. Let j be o(-22). Solve -j*r + 20 = -2*r for r.
4
Let z be ((-42)/(-4))/((-1)/(-2)). Let r(g) = -g**3 - 5*g**2 - 5*g - 2. Let t be r(-4). Suppose -s + z = -t*b + b, 37 = s + 3*b. Solve v + 4*v - s = 0 for v.
5
Let p(n) = -n + 3. Let d be p(0). Solve 2*i = i - d for i.
-3
Let n = -3 + 8. Suppose -n = -3*d - 2. Solve -2*y + d = -1 for y.
1
Suppose 2*o + 20 - 20 = 0. Solve o = -5*g + 3*g - 6 for g.
-3
Suppose 0 = -m - 0*m. Suppose -4*s = -20 - 0. Solve m*u + u - s = 0 for u.
5
Let l be 558/(-465)*35*1/(-2). Solve -l = -4*x - 13 for x.
2
Suppose 0 = 2*y - 6 - 2. Suppose v - y*u = 16, u - 1 = -5. Suppose v = i - 1 - 2. Solve 2 = -s - i for s.
-5
Let d be 2/(-4)*-1*6. Suppose -3*o = 3*u - 2 + 11, 3*o - 2*u - 6 = 0. Suppose 2*n + 48 = 6*n. Solve o*k - n = d*k for k.
-4
Let p be (-20)/3*-2*(-27)/(-30). Solve 0 = -2*a + 6*a + p for a.
-3
Let i = -9 + 8. Let w = i + 2. Solve -v = -5 + w for v.
4
Let p = -35 + 41. Solve 0 = h + 3 - p for h.
3
Suppose -2*f + 46 = 5*h, f - 4*f - h + 69 = 0. Suppose -2*t - p + f = -4*p, t = 5*p + 29. Solve -2*c + 8 = -t*c for c.
-4
Let o(y) = 3*y - 15. Let v(r) = 2*r - 8. Let j(c) = 3*o(c) - 5*v(c). Let b be j(-5). Suppose -2*h + 0 = -u - 8, -5*u - 4*h = -30. Solve u*g = -b*g + 10 for g.
5
Let z(s) = s - 5. Let g be z(6). Suppose y - 2*y + g = 0. Solve -5*h + y = -9 for h.
2
Suppose 2*m - k - 2*k - 22 = 0, -5*k = 20. Let x be (29 - 11)*7/(-3). Let a = x - -62. Solve -a = m*g - 5 for g.
-3
Suppose -n = o - 4*n - 1, 0 = -5*o + 2*n + 31. Solve 2*x + 20 = o*x for x.
4
Suppose 6*y = y + 135. Let t be (-114)/(-27) - 6/y. Suppose 2 = -4*g + 22. Solve -t*l - g = -3*l for l.
-5
Let h(z) be the second derivative of -4*z**3/3 + 2*z. Let c be h(-1). Suppose -4*i + 20 = -c. Solve 3*j = -i - 5 for j.
-4
Suppose 2*z = 5*z + z. Solve z + 4 = -2*d for d.
-2
Let f = -1 - 1. Let j be f/6 + (-26)/(-6). Solve -j*c = -0*c for c.
0
Suppose 0 = 4*v - 4*c, 0*v + 4*c = 2*v. Let o be (6 - 6) + 2 + v. Solve o*k = -k + 3 for k.
1
Let t be 3 - (-2 + 15) - 2. Let g = t - -19. Solve -1 = -4*z + g for z.
2
Let c be 1 + (-2 - (-1 - 0)). Let m = 200 - 196. Solve c = m*s - 7*s + 12 for s.
4
Let m(l) = l + 22. Let t be m(-20). Solve t*g = 5*g for g.
0
Let s = -1 - -21. Let m be (0 - -1)*12/3. Suppose -m - 8 = -4*r - 4*b, -b - 1 = 0. Solve r*w + 0*w = -s for w.
-5
Let s(m) = 28*m**2 - 1. Let a be s(1). Suppose -4*z = -w - 7, 5*w - a = -3*z + 7. Solve -5*g + 5 = -w for g.
2
Suppose 0 = -4*j - 12. Let k be (-5 - j) + (2 - -2). Solve 0 = k*i + 3*i - 15 for i.
3
Let j = 102 - 98. Solve 2 = -2*w + j for w.
1
Suppose 3*y - 1 = t, -4*y - 5 + 1 = -4*t. Let z be 0/y - (-4 + 2). Solve -3*a + 10 + z = 0 for a.
4
Suppose 0*u - 12 = -4*u. Suppose 0 = 3*h + 2*h - u*p - 7, -p = h - 3. Let k be (-3)/(3/(-4)*1). Solve -2 = -k*q + h*q for q.
1
Let c(f) = -f. Suppose -v - 2*t = 12, -v - 4*t = -3*v. Let g be c(v). Let b(n) = n**3 - 7*n**2 + 7*n - 4. Let q be b(g). Solve y = -q*y - 6 for y.
-2
Suppose -3*c = c - 12. Let s be ((-12)/8)/(c/(-14)). Let p = 7 - s. Solve p = -0*l - 3*l + 3 for l.
1
Let g be (2/3)/((-2)/(-27)). Let d = 6 - 4. Let c be d - ((0 - -1) + -3). Solve c*p - p = g for p.
3
Let g(k) = -k**3 + 2*k - 1. Let t be g(1). Let q = 1 + t. Let l = 7 + -5. Solve -j = -q - l for j.
3
Suppose 13 = 3*r - 14. Suppose 3*w + 0*w = r. Solve 0*b - 3 = -w*b for b.
1
Suppose -3*x = -10 - 2. Let l(g) = -g**2 - g - 1. Let k(i) = -2*i**2 - 2*i - 3. Let v(f) = 2*k(f) - 5*l(f). Let a be v(-3). Solve x*z - a = 11 for z.
4
Let s be -3 - ((-4)/2 + 2). Let c(m) = m**3 + 3*m**2 - 2*m - 3. Let q be c(s). Solve 0 = r - q for r.
3
Let p be 7/(-28) - (-82)/8. Solve 0*d - p = 5*d for d.
-2
Let o be 1 + 3*12/9. Solve -q + o*q = 0 for q.
0
Let l(o) = 4 - 8*o + 9*o + 10. Let r be l(-6). Solve z = -3*z + r for z.
2
Let x(c) = -c + c**2 - c + 3*c. Suppose 1 - 7 = -3*g. Let n be x(g). Solve s - n = -1 for s.
5
Suppose 0*b - 12 = -3*b. Solve b = k + 3*k for k.
1
Let o = 0 + 4. Suppose 0 = -o*a + 5 - 21. Let t be a/10 + 136/40. Solve -t*y - 8 = -y for y.
-4
Let l = -5 - -7. Suppose -l*v + 55 = 3*v. Let k = -7 + v. Solve 6*z - 2*z = -k for z.
-1
Let m(s) be the first derivative of 9/4*s**4 - 1 + 2/3*s**3 - s + 0*s**2. Let n be m(1). Solve -2 = -3*p + n for p.
4
Suppose -2*z + 10 - 8 = 0. Solve -4 = j - z for j.
-3
Suppose -3*x + 34 = -4*b, -6 = x + 3*b - 0*b. Let t be (x/(-4))/(6/(-12)). Suppose -6*c + 15 = -5*c. Solve -t*h + 0 = c for h.
-5
Suppose 3*l + 4*p - 6 = 0, 0 = 5*l - 2*p - 0*p - 10. Let o be 1 + -1*(0 - l). Let i = -2 + 11. Solve 0*x + o*x = i for x.
3
Suppose -18 = -2*y + 14. Let b = y - 12. Let p(h) = h**2 + 4. Let u be p(0). Solve b*t - u = 3*t for t.
4
Let d = -9 - -16. Suppose 3 = 2*b - d. Solve -4*n = -b - 7 for n.
3
Let z be ((-4)/6)/(18/297). Let l be z/44 + (-26)/(-8). Solve -l + 1 = -h for h.
2
Suppose 0 = -7*s + 3*s. Solve s*b + b = 0 for b.
0
Let a = 96 + -92. Solve -o + a = o for o.
2
Let l = 49 - 48. Solve -3*s + l - 7 = 0 for s.
-2
Suppose -h = -5, -2*o + h - 9 = -2*h. Let j = o + -3. Suppose 0 = -5*b + 3*b + 2*i - 8, j = -4*b - 5*i + 20. Solve b*d = 2*d - 10 for d.
5
Suppose -4*o - 8 = -0*o. Let f(d) = d**2 + 3*d + 2. Let j be f(o). Solve 12 = 4*x - j*x for x.
3
Suppose 5*v = 5*c + 30, 3*v + 4*c = -c - 14. Solve -m + 2 = -v*m for m.
-2
Suppose -13 = 2*x + 17. Let a be 12/(-15)*x/2. Solve a*y - 20 = y for y.
4
Let s(y) = -10*y - 3. Let q be s(-2). Let v = -11 + q. Suppose -v*l + l = 0. Solve -h + l = 3 for h.
-3
Let x(s) = -s**2 - 11*s + 14. Let u be x(-12). Solve 10 = -0*o - u*o for o.
-5
Let l = 8 + -8. Let i(z) = -3*z - 7. Let y(g) = 7*g + 13. Let a(j) = -5*i(j) - 2*y(j). Let x be a(l). Solve 3*v - x = -0 for v.
3
Let s be (-4)/(-24)*6 - -3. Solve 12 = s*h - h for h.
4
Suppose 0 = -q - 3 + 5. Solve q*t + t + 3 = 0 for t.
-1
Let u = -14 - -17. Solve 1 = -u*w + 7 for w.
2
Suppose -2*h + 9 = -5*v, h - 2*v - 5 = v. Suppose 9 = h*p + p. Solve -3*f + 0*f = p for f.
-1
Let a be (16/(-40))/((-2)/25). Solve a*b + 12 = b for b.
-3
Let q(c) = c**3 + 9*c**2 + 3*c + 31. Let f be q(-9). Solve l - 3 = -f for l.
-1
Suppose 0*h = -3*h + 99. Suppose -2*r = 3*r - 5*g - 35, 4*r - 5*g = h. Solve r*q - 20 = 6*q for q.
-5
Let b be (-1 - (-28 + -2))*1. Let i = b - 25. Solve 3 = i*h - h for h.
1
Suppose 4 = 2*w + j, -4*w + 5*j + 12 = 4. Let a = w - -3. Let s = -113 + 115. Solve s*u = 1 + a for u.
3
Suppose s = -s + 4. Suppose 4 + 4 = s*w. Solve -w*l + 4 + 0 = 0 for l.
1
Let q be -12*1/(2/1). Let t be (-10)/25 - q/15. Solve t = -2*d + 4 - 14 for d.
-5
Let i be 81/5 - (-12)/15. Solve 5*m - 2 = -i for m.
-3
Suppose -6*c - 76 = -2*c - 4*k, c + 4 = -4*k. Let x be (-12)/c + (-322)/(-8). Suppose -3*p + 50 = -4*g, -4*p + x = 2*g + 11. Solve -8*t + p = -3*t for t.
2
Let z be (-14)/2*6/(-21). Let w be (z/4)/(2/28). Solve -1 + w = 3*y for y.
2
Suppose -i + 6*i - 32 = 4*v, -3*i = -4*v - 16. Solve -4*z - i + 0 = 0 for z.
-2
Let z be 2/(-4) - 1/2. Let l be z/(3 - 57/18). Suppose -l*q = -4*q - 16. Solve 5*c = 7 + q for c.
3
Suppose 2*x = -2 + 6. Suppose 4*n - 10 = -x. Let g be (-1)/(-1 - (-1 + 1)). Solve -3*m + n = -g for m.
1
Let p = 59 - 55. Suppose -3*s = -6*m + m + 10, s - 10 = -5*m. Solve 2 + p = m*n for n.
3
Suppose 0 + 4 = -4*j + 5*z, 3*j - 4*z = -4. Solve -3*o - 1 = -j for o.
1
Suppose 0*a - 2 = 2*z - 4*a, 0 = 5*z + a - 17. Let i = z - -2. Suppose l = 5*b + i, -3*b + 4 = l - 1. Solve t + b*t = -3 for t.
-3
Let f = 24 - 14. Let g = 20 - 15. Suppose -17 = -2*l + 3*m, -l - g*m + 5 = 4*l. Solve l*h + f = -h for h.
-2
Let n(h) = 13*h**2 - 2*h + 1. Let s be n(1). Let k(v) = v**2 - 12*v + 4. Let r be k(s). Solve -r = 2*z - 0*z for z.
-2
Suppose 2*t - 35 = -5*n, 0 = -5*n + 3*t - 0*t + 35. Solve 3*w = n*w + 8 for w.
-2
Suppo