 -9 for y.
-3
Let h be 1 + 1 + (-9 - 7). Let z = 18 + h. Solve -11 = 5*u + z for u.
-3
Let y = 106 - 87. Suppose -8 - y = -3*t. Solve -3*x = -0*x - t for x.
3
Suppose 1 - 11 = -5*j. Suppose 2*v = -j*v + 8. Solve -1 = v*k - 7 for k.
3
Suppose -5*q - 3*t - 13 = 7, 5*q - t + 20 = 0. Let d be ((-12)/15)/(q/30). Suppose d*x - x = 25. Solve 2*l - x*l = 0 for l.
0
Suppose 4*b = 2*b - 8. Let x be 4 + ((-20)/b - 0). Solve 0 = j - 4*j - x for j.
-3
Let n = 1182 + -825. Solve n*c = 356*c - 4 for c.
-4
Let y(f) = 3*f - 1 + 0 - 2*f. Suppose -2*w = -2*g - 2*g - 32, 0 = 2*g + 10. Let v be y(w). Solve 15 = v*s - 0*s for s.
3
Let o(t) = t. Let r be o(0). Let j = -331 - -331. Solve j = l - r*l for l.
0
Let v be (-1365)/78*4/(-10). Solve 18*o = v*o for o.
0
Let o be (6/5)/((-12)/40). Let h be o/20 - 1/(-5). Suppose 2*s - 2*l = 2, 2*l + 4 = 3*l. Solve s = -h*m + m for m.
5
Let v = 7 - 3. Let a = 28 - 14. Suppose 16 = v*z - 2*o + 6, -5*z + o = -a. Solve 2*n - z*n = 0 for n.
0
Let x = -432 + 435. Solve -7 - 2 = -x*i for i.
3
Let n(y) = -y**3 + 4*y**2 - 4*y - 5. Let w be n(5). Let l = -34 - w. Solve 4*p - l = -0*p for p.
4
Suppose 3*x = -3*s + 27, -3*x = -2*x + 3*s + 1. Solve 0 + x = -14*h for h.
-1
Let i = -219 - -230. Solve -i*f = -8*f for f.
0
Let r(z) = 6*z**2 - 8*z + 14. Let w be r(7). Solve 248*d = w*d for d.
0
Suppose 78*i = 59*i. Solve i = z + 4 for z.
-4
Let l = -19 - -23. Suppose 0 = l*m + 11 - 19. Suppose -t = -2 - m. Solve -3 + t = a for a.
1
Let h = -12 - -26. Suppose h*q = 9*q. Solve q = -k + 2 for k.
2
Let a be (-61)/(-10) - 2/20. Solve -1 = v - a for v.
5
Let g be 0 + (-17)/(-1) - 0/(-209). Solve -g*r = r for r.
0
Let i = -655 + 669. Solve 4*n + i*n = 90 for n.
5
Let g(k) = -k**2 - k - k**3 + 12*k**2 - 1 + 1. Let v be g(11). Let n = v - -11. Solve z + z = n for z.
0
Let y(b) = 2 + 23*b**2 - 25*b**2 + 0 + 3*b. Let x be y(2). Solve x = -5*p + 2*p + 9 for p.
3
Suppose -4*t = -4*x + 78 + 6, -5*x + 109 = -4*t. Suppose -29 = -5*p - 3*v, 0 = -3*p + 4*v + v - 3. Suppose -p*z + z = 0. Solve 2*w + 3*w + x = z for w.
-5
Suppose 8 = 6*w - w - 2*j, -4*j = -4*w + 4. Let q be (-2)/(-8) + 1/(-4). Solve b - 2 - w = q for b.
4
Suppose -3 = -3*j, -o + 1 = -2*o + 2*j. Solve 7*b - o = -1 for b.
0
Let h(a) = -a**3 + 2*a**2 + 5*a - 2. Let y be h(3). Suppose -y*i + 6*i - 20 = 0. Let c = 15 - i. Solve -16 + 6 = -c*k for k.
2
Let l(n) = n**3 + 5*n**2 + 5*n + 37. Let a be l(-5). Solve 27*q - 23*q = -a for q.
-3
Let i(l) = 6*l**2 - 10 - 3*l**2 + 0*l**2 + 11*l**3 - 10*l**3 - 7*l. Let g be i(-4). Let b = -17 - -26. Solve c + b = -g*c for c.
-3
Let w(b) = -b**3 - 24*b**2 + 23*b - 46. Let h be w(-25). Solve 3*n - h = -10 for n.
-2
Suppose 0 = -3*a + 7 + 23. Solve a*l + 25 = 5*l for l.
-5
Let u = -12 + 15. Solve -u*b = -0 + 6 for b.
-2
Suppose -3*w - 4*k + 24 = -0, -4*k = -3*w. Suppose -3*q + c + w + 20 = 0, 3*c + 32 = 4*q. Solve d = -d + q for d.
4
Let k = -15 - -18. Suppose 0*g - 5*m - 30 = -2*g, -k*m + 24 = 3*g. Solve -5*f = g - 0 for f.
-2
Suppose 0 = -56*g + 61*g. Solve 13*o - 5*o = g for o.
0
Suppose -k + 16 = k. Let p(a) = -6*a + 28. Let z be p(4). Suppose o - 4 = -t, 4*o + 2*t - 16 = -0. Solve -z*j - o = -k*j for j.
1
Let d be (-3 - 44/(-12))*6. Suppose n = -d*n + 20. Solve -5*z - n = 1 for z.
-1
Let j(z) = z**3 - 6*z**2 - 8*z + 7. Let w be j(7). Suppose w = -2*y + 3*y - 14. Suppose -12 = -4*c, 2*r = 5*c - y + 3. Solve 4*l - 2*l + r = 0 for l.
-1
Let x be (-2079)/42*((-9)/3 + 1). Solve 96 = a + x for a.
-3
Let i = -49 - -53. Let q be i/18 - 14/63. Solve q = 2*l - 0*l for l.
0
Suppose 0*z = 3*z + 6, -5*y + 772 = -z. Suppose -7*p - 126 = -y. Solve -14 = -p*x - 6 for x.
2
Suppose -k = 5*g - 14, 5*k = g + 3*g - 46. Let y(a) = a**3 + 7*a**2 + 5*a - 4. Let q be y(k). Solve 0 = h - q - 1 for h.
3
Let g(f) = 4*f**3 + 9*f**2 - 15*f + 8. Let m(r) = 5*r**3 + 10*r**2 - 15*r + 7. Let h(v) = 4*g(v) - 3*m(v). Let k be h(-8). Solve 0 = o - k*o for o.
0
Let z = 225 + -209. Solve 4*j - 8*j = z for j.
-4
Let p = 1 + 2. Let q be (-1 - -2)*(4 + -4). Let j = -484 - -499. Solve -j = p*r - q*r for r.
-5
Let l = 842 + -838. Solve -5*t - l = 1 for t.
-1
Let n = -28 + 32. Suppose -n*r + 9*r - 100 = 0. Solve 5*k + 0 = r for k.
4
Let i be ((-2)/(-5))/(4/20). Let s be 3 - (4 - (i + -1)). Solve 4*m + 12 + 4 = s for m.
-4
Let w = 56 + -40. Solve 7*y = -y - w for y.
-2
Suppose 4*c + 0*c = 16. Suppose 5*g + c*g - 4*g = 0. Solve r + r = g for r.
0
Let m(g) = g**3 - 4*g**2 - 3*g - 7. Let w be m(5). Solve 4*f = 3*f - w for f.
-3
Let d(t) = -t**3 - 5*t**2 - 2*t - 4. Let j be d(-5). Let w = -26 + 28. Solve j*v - 16 = w*v for v.
4
Suppose 0 = -3*j - 5*a - 4, 0*j = -j - 5*a + 2. Let o = j - -5. Let m = -1389 - -1397. Solve 0*x - m = o*x for x.
-4
Suppose -27 = -11*f + 6. Solve -3 - 6 = -f*l for l.
3
Let t = -763 - -769. Solve t = -4*q - 10 for q.
-4
Let k be -1 - (-892)/14 - 2/(-7). Let v = k - 63. Solve -z + v = 1 for z.
-1
Let v be (1 + 0)/((-17)/(-663)). Suppose -4*n = -n + v. Let d be n/(-7) - 4/(-28). Solve 0 = x - d + 6 for x.
-4
Let l be ((-152)/(-2))/4*1. Let r = l - 17. Suppose 0 = -g + 4, -4*g = -r*k - 3*g + 14. Solve c - 4*c = k for c.
-3
Let g = -40 + 44. Suppose y + g = 8. Solve -3*v - y = -19 for v.
5
Let t be (-1)/(-6) + -5 + 1388/24. Solve -5*s - t = -43 for s.
-2
Let v(m) = -3*m + 3*m + 4*m + m**2 - 14*m. Let p be v(10). Let w = 1 + 2. Solve w*y + y = p for y.
0
Let w = 341 + -325. Solve -10*g + 30 = -w*g for g.
-5
Suppose -7*g + 26 = 299. Let z = -37 - g. Solve 4 = z*c - 4 for c.
4
Let r be 71 + -23 + -7 + (-2)/(-1). Solve 13*h + 22 + r = 0 for h.
-5
Let i be (((-120)/28)/5)/((-3)/112). Solve 13*w + i = 6 for w.
-2
Let f be 1757/77 + 4/22. Suppose 7*z = 6*z - f. Let a = z + 27. Solve -t - a = -0*t for t.
-4
Let a = -46 + 49. Solve 0 = -a*i - 4*i - 35 for i.
-5
Let m be (7 + 26)*(-5)/(-15)*3. Solve 0 = 34*x - m*x - 3 for x.
3
Let s(i) = 4*i. Let z be s(1). Suppose 0*j + 2*j - 2*g + 2 = 0, -4*j = 2*g + 4. Let n be -1*(-3 + j + z). Solve -5 = f - n for f.
-5
Let t(x) = 3*x + 24. Let v be t(-11). Let d = v + 21. Solve -5*o - 32 + d = 0 for o.
-4
Let h(a) = -5*a - 43. Let m be h(-10). Solve -21 - 14 = -m*r for r.
5
Let r = -2448 - -2462. Solve -19*b + 25 = -r*b for b.
5
Let r = 106 + -99. Suppose -7 + r = c. Solve 3*t + 15 = -c*t for t.
-5
Let r be (-6)/(-51) + 461/(-17). Let g = r + 27. Suppose -2*b + 16 = 2*p, 4*p = 5*b - g*b + 32. Solve c + p = 5*c for c.
2
Suppose -c + 1 = 2*a + 2, c = -4*a - 5. Solve -5 = c*s + 1 for s.
-2
Suppose -7*v - 3*v + 40 = 0. Let m be 2 - 2 - -2 - 2. Suppose -a + 5 - 1 = m. Solve -v*y = a - 0 for y.
-1
Let a = -177 + 192. Solve -4*s = a + 5 for s.
-5
Suppose 3*c = -5*p, -4*p - 4*c = 6 + 2. Solve -p*f + 2 = -2*f for f.
2
Suppose 0 = 3*q + 9 + 9. Let z = 8 + q. Solve 6 = -m - z*m for m.
-2
Let d = -5 - -8. Solve d*i = -0*i for i.
0
Let i(q) = -12 + 8 - 13 + q. Let m be i(17). Solve m = s + 2*s + 6 for s.
-2
Let o = -36 + -19. Let j = 71 + o. Solve 5*y + 9 + j = 0 for y.
-5
Let n(d) = -d**3 + 4*d + 3. Let h be n(-2). Suppose -2*w = j - 21, j - 5*j - 3*w + 89 = 0. Let v = -23 + j. Solve -h*y = -v*y for y.
0
Let i be (-5)/(214/18 + -12). Solve -4*q - i = -41 for q.
-1
Let z be -2*(23/(-2) + 2). Suppose z*d - 24*d + 15 = 0. Solve -d*r = -2*r for r.
0
Suppose 3*i + 2 = -4*b, -4*i - b + 2 = -4. Let j = 6 - -14. Suppose j = -0*m + 5*m. Solve 0*n - m = i*n for n.
-2
Let m be (-5 + 5)*(-2)/(-4). Suppose 2*r + 4*r = m. Suppose z = 2*c - 2*z - 15, -3 = 2*c + 3*z. Solve r = -c*s + s - 2 for s.
-1
Suppose -141*v + 124*v = -374. Solve -v*p = -p + 84 for p.
-4
Let q(m) = m**2 - 21*m + 29. Let u be q(20). Solve -7*z + u = -4*z for z.
3
Let a = -514 - -519. Solve a = 38*z - 33*z for z.
1
Let j = 19 + 11. Suppose -2*v + 3*y + 26 = -0*v, 0 = 2*v - 5*y - j. Suppose -n + 0*n = 4*t - 9, t + 5*n = 7. Solve v = t*s - 7*s for s.
-2
Let o = -2 - 30. Let y = -27 - o. Solve 0*t = -y*t + 10 for t.
2
Let u(r) be the first derivative of 2*r**2 - 17*r + 8. Let g be u(6). Let m = g - 5. Solve 2*w = -m*w for w.
0
Let p = 474 - 469. Solve -p*t = -9*t + 16 for t.
4
Let t(f) = f**3 - 2*f**2 - 2. Let l be 8 + -19 + (-3)/(-1). Let j(a) = a + 11. Let r be j(l). Let p be t(r). Solve -5 - p = -3*h for h.
4
Let z = 41 - 39. Suppose -s + 3*s = 5*i + 10, -z*i + 5 = s. Solve i = 6*g - g - 15 for g.
3
Let l(p) = -p