y.
0
Let k(c) = -4*c**3 + 2*c**2 - 1. Let p be k(-1). Suppose -1 = p*j - 16. Let g = j + 0. Solve -g*h = -0*h for h.
0
Suppose 3 = 2*a - 7, -5*m = -5*a + 35. Let v = m + 17. Let f = -23 + 28. Solve f*x + 0*x - v = 0 for x.
3
Let h(r) = -4*r - 87. Let p be h(-23). Solve -p - 1 = 3*t for t.
-2
Let u be 90/27*(3 + (-36)/20). Solve -3*p - 5 = u for p.
-3
Let y = 468 + -463. Solve -22 = -y*x - 7 for x.
3
Suppose -52 + 56 = 4*m. Solve 7 = -2*z - m for z.
-4
Let y(z) = -z**2 + 4*z. Let q be y(4). Suppose 3*h + 3*u = 15, q = -5*h + u + 4 + 3. Let a be (7 - 6)/(h/2). Solve 0 = -3*n - a - 2 for n.
-1
Suppose 0 = 5*r - j, -2*r = j - 0*j. Let w be -4 + 4 - 6/(-2). Solve w*t + 2*t - 20 = r for t.
4
Suppose -2*m + 19 = -101. Let f = m + -40. Let v = 35 - f. Solve 3*b + v = -2*b for b.
-3
Let r be (-9)/(2 - -1) - -5. Suppose 10 = r*x + 6. Solve 0*u = -x*u - 8 for u.
-4
Let j = 31 - 29. Suppose -5*i - 4 = -j*o, 3*o + i = -0*o + 6. Solve -4 = -o*y + 4 for y.
4
Let d(h) = h**2 + 11*h + 29. Let k be d(-8). Suppose -16 = -2*t + 4*z, 0 = 4*t - k*z - 8 - 12. Solve t = -4*s + 2*s - 10 for s.
-5
Suppose 3*b = 15 - 6. Let h be 0*(-2)/(b - -1). Solve -4*d + 8 = -h*d for d.
2
Suppose -26*r + 2550 - 990 = 0. Solve -18*x = -6*x - r for x.
5
Let r = 10 - 7. Suppose 2*s = 5*s - 15, 0 = r*h - s + 5. Solve h = -4*c + c - 6 for c.
-2
Let s be (-1)/2*(2 - (-24)/(-1)). Let g(m) = 2*m - 18. Let x be g(s). Solve 0*d = d + x for d.
-4
Let q(z) = z**2 + 2*z - 1. Let j be q(4). Suppose -20*r = -j*r. Solve 4*g = -r*g - 8 for g.
-2
Suppose l + 5 = -2*o, 2*o + 1 = 2*l - 13. Suppose 20 = l*x + 8. Solve -x*u + 0*u = 20 for u.
-5
Suppose 0 = 3*i + u - 30, -2*u = 2*i - 6*u - 6. Let b be (-1)/(-3) + 51/i. Solve 0 = 3*f - b*f - 3 for f.
-1
Suppose c - 89 = -87. Solve 4*z - c*z = 3*z for z.
0
Let b = 81 + -75. Solve 20 = -b*m + m for m.
-4
Let c(s) = 6*s + 9. Let r be c(-1). Let j be (1 + -1)*r*7/(-21). Solve j = 4*h - 4 - 0 for h.
1
Let t be -6 - -13 - (-7 - -9). Solve 40 = t*x + 3*x for x.
5
Let i be (-32)/72 + 350/18. Solve 24*m = i*m for m.
0
Suppose 4*f - 5*m - 44 = -0*f, -2 = -f - m. Let v(o) = 3*o - 2. Let r(h) = 4*h - 2. Let x(l) = -2*r(l) + 3*v(l). Let b be x(f). Solve -3*n + 7*n = b for n.
1
Let b = 1 - 9. Let j be 8/6*(-24)/b. Suppose -s - 5*p + 31 = 0, 2*s - 35 = -0*s - p. Solve -j*h = -0*h - s for h.
4
Let v(x) = 3*x**3 - x**2 - 3*x - 1. Let q be v(-1). Let r be 5 - (-1 + -1 + q)/(-2). Solve 5*t - r = -23 for t.
-4
Suppose 321 = 10*u - 79. Solve -16*t + u = -6*t for t.
4
Suppose -2*d = -5*n + 73, 4 = 5*d - 1. Let z = -15 + n. Suppose 3*m - m - 20 = z. Solve u + m = 3*u for u.
5
Let t be 1/(-2) - 116/8. Let d = 41 + t. Let q = -22 + d. Solve 3*a = q*a + 4 for a.
-4
Let d be (-12 - -5)*(-4 - 12/(-4)). Solve 2*k - 9*k + d = 0 for k.
1
Let p(z) = z**3 + 5*z**2 + 4*z + 5. Let t be p(-4). Suppose -3*m = -m - 3*w - 2, t*w = 4*m - 8. Suppose -b - 2*l = 4, -5*l - m = 8. Solve y - b*y = -4 for y.
4
Suppose -2*u - 3*y + 10 = -u, u = -2*y + 12. Suppose 14*n - u*n = 0. Solve 3*z + n = 3 for z.
1
Let s(b) = b**3 + 21*b**2 - 134*b - 84. Let d be s(-26). Solve 19*j - d = 9*j for j.
2
Let w = 133 - 110. Let p = 32 - w. Solve -4*t - p = 11 for t.
-5
Suppose 0 = 6*y + 9*y - 4*y. Solve y = 5*g - 9*g for g.
0
Suppose 44 = l + 3*l. Suppose -4*w + l = 3. Solve 0 = w*p + 4 for p.
-2
Let s be ((-9)/27)/(2/(-6)). Let w = s + 3. Suppose -4 + 28 = w*g. Solve 14 = -4*a - g for a.
-5
Let p = 7 + -1. Let m = -16 + 17. Let t be m/p - (-46)/12. Solve -t*a + 15 = -5 for a.
5
Suppose a + 1 - 5 = 0. Let z = a + 4. Suppose o = -z*k + 3*k + 16, 4*k + 3*o - 15 = 0. Solve -1 = k*i + 5 for i.
-2
Let a(n) = 4*n**2 + 27*n - 7. Let m be a(-7). Solve m = -0*k - 3*k + 3 for k.
1
Let h be ((-14)/105*12)/((-4)/10). Solve p - 10 = -h*p for p.
2
Let y = 5 - 10. Let n be (3 - 4)*(0 + y). Suppose -47 = -3*i - n. Solve -3*p = 1 + i for p.
-5
Let w = -18 + 21. Suppose l = 2*y + 2*l + 2, -2*y + 14 = -w*l. Solve 4*n = y + 3 for n.
1
Let t = 33 + -17. Let a = -7 + t. Solve 3*c = -0*c - a for c.
-3
Let j(b) = 3*b**2 + 2*b - 1. Let y be j(1). Suppose 3*g + 3*c = -6 - 6, 16 = y*g - 4*c. Suppose f + 0 = 1, r = -4*f + 14. Solve g*k = -2*k - r for k.
-5
Suppose 4*p - 11 - 5 = 0. Let t be (-24)/(-168) + (-27)/(-7). Suppose 0 = -4*l + p + t. Solve -12 + l = 2*w for w.
-5
Let d = -233 - -246. Solve -32 = -d*q + 5*q for q.
4
Let x be ((-45)/18)/(1/(-2)). Solve -12 + 37 = x*w for w.
5
Suppose 59*k - 69*k = -40. Solve 3 = k*z - 17 for z.
5
Suppose 0 = 14*f - 11*f - 2*z + 2, 1 = f + z. Solve -37*q + 38*q = f for q.
0
Suppose 0 = -16*b - 4*b + 42*b - 198. Let c(y) be the third derivative of y**4/12 - y**3/2 - y**2. Let i be c(2). Solve -b = 5*k + i for k.
-2
Let f(m) = 3*m**2 - 40*m + 17. Let p be f(13). Solve p*t = -13 + 33 for t.
5
Let m = 525 + -480. Solve -44*r + m*r = 3 for r.
3
Let d be (-32 + 2/(-1))/((-4)/2). Solve -5*i = d - 2 for i.
-3
Suppose 7 + 5 = 4*f. Suppose k + 16 = 19. Let y be (2 - (-5)/(-3)) + 2/k. Solve y = -j + f for j.
2
Let d = 44 - 41. Solve 0 = h + d - 2 for h.
-1
Let d be 0/(-15)*1/2. Suppose 2*o - 20 = 4*x, d = -x - 8 + 4. Solve 4 = -r + o*r for r.
4
Let j(f) = 10*f**2 - 42*f - 53. Let h(t) = 3*t**2 - 14*t - 18. Let m(p) = 7*h(p) - 2*j(p). Let n be m(14). Let a = -16 - n. Solve -19 + 3 = -a*y for y.
4
Suppose 0 = -5*b - 5, 3*u + 3*b = 2*u - 10. Let y(d) = -d**2 - 8*d - 3. Let w be y(u). Solve w = -v - 0*v for v.
-4
Suppose 2*b - 9 = -5. Suppose -15*s + 41 - 26 = 0. Solve -s = u - b for u.
1
Let b(p) = p**2 + 7*p + 14. Let v = 29 - 32. Let l be (-10)/v*21/(-14). Let f be b(l). Solve f = -2*j - 2 for j.
-3
Suppose 64 = p + x, -7*p + 2*p - x = -316. Suppose -12*r = -p - 45. Solve 0 = -r*k + 4*k + 15 for k.
3
Let h be 10/(-1)*12/(-30). Suppose 3*t + 2*t = 25, h*s - 5*t = -1. Let v(m) = m**3 - 6*m**2 + m - 4. Let z be v(s). Solve -z*w + 7*w = -15 for w.
-3
Let o = -199 + 206. Solve 0 = o*d - 11*d + 16 for d.
4
Suppose -3*r = -2*w + 48, -141 = -5*w - 0*r - 3*r. Solve 3*j + 36 = w for j.
-3
Let z(f) = f**2 + 11*f + 22. Let j be z(-10). Suppose 4*v = -5*c + j + 14, 4*v = 4*c + 8. Solve 3 = -c*m + 9 for m.
3
Suppose -30 = 5*n + 4*u, 2*n = -n + 4*u + 14. Let l = n + 7. Let y = 0 - 0. Solve -4*s - s - l = y for s.
-1
Let b be 16/6 + ((-180)/27)/10. Solve 0 = b*f - 5*f + 9 for f.
3
Let y = 43 - 37. Let t(v) = -v**3 + 4*v**2 + 14*v - 7. Let q be t(y). Solve q*o - 4*o = -5 for o.
-5
Let x be (-3)/6 - (-30)/12. Suppose -x*q + 2 = -6. Solve 0*t = -q*t - 4 for t.
-1
Let n(r) = -4*r**2 - 2*r - 2. Let j be n(-2). Let l = -6 - j. Let p = l + 1. Solve 0*d = 3*d + p for d.
-3
Let h(v) = -4*v - 16. Let o be h(-6). Suppose 0 = o*r - 4*r. Solve 3*s - 8*s + 10 = r for s.
2
Let j = -14 - -29. Let r(o) = 5 + 1 - 5 - 4*o - 4 + o**2. Let h be r(5). Solve h*d + j = -d for d.
-5
Suppose -p - 4*p + 10 = 0, -3*a + 4*p = -1. Solve 0 = -a*d - 14*d - 34 for d.
-2
Suppose -2*b + 3*h + 30 = h, -68 = -4*b - 4*h. Suppose 5*n - 146 + b = 0. Suppose 0 = 2*d + 5*i + 1 - n, -5 = 4*d - i. Solve l = -d*l for l.
0
Let a = 12 + -10. Suppose 2*v - 4 = -4*n, -a*v + 4*n = -0*n + 4. Solve 0*m - 2*m = v for m.
0
Let a = -39 - -42. Suppose -a*r = -7*r + 24. Solve -r*t + 3*t = -15 for t.
5
Let y = -5 - -11. Solve -9 - 3 = y*u for u.
-2
Suppose 2*i - 10 = -6. Let y(a) = 2*a**2 - 4*a + 2. Let n be y(i). Let h be ((-1)/n)/(7/(-42)). Solve 25 = 2*f + h*f for f.
5
Let s(m) = -10*m + 203. Let w be s(19). Solve -w*u = -8*u - 20 for u.
4
Let n(c) = -c + 3*c - 7 + 0*c. Let h be n(4). Solve -2 = x + h for x.
-3
Let t = -57 - -69. Solve -t*k = -9*k - 15 for k.
5
Let t(r) = -r**3 - 8*r**2 - 6*r + 6. Let a be t(-7). Let l be a*2/2 + 7. Let i be 25/3 - l/18. Solve -i + 2 = -2*n for n.
3
Let u = -11 + 23. Suppose 6*n + u = 8*n. Suppose n = 4*c - 2. Solve c*v = -4 - 4 for v.
-4
Suppose -17*v = -4*v - 780. Suppose -22*k + 7*k = -v. Solve k*x + 9 + 3 = 0 for x.
-3
Let c = -136 + 138. Solve 4 = 3*o - c for o.
2
Let k be (((-80)/5)/(-2))/(2/(-12)). Let o = -40 - k. Solve -o = -3*z - 2 for z.
2
Let k be 2 + 1/(3 + -2). Let a be -4 + (15/6)/(15/30) - -3. Solve a*s - k = s for s.
1
Suppose -d - 15 = -4*d, 0 = k + d - 8. Suppose -k*c = -8*c. Solve 0 = -c*n - n + 3 for n.
3
Let y(g) = g**2 - 8*g + 14. Let m be y(6). Suppose 0*z = -m*l - 4*z + 20, -3*l + z = 5. Solve 4*n - 6 + 18 = l for n.
-3
Let 