.
-1
Let b(p) = p**2 - 2*p. Let c be b(3). Let n = -4 + 8. Let i(g) = -g**2 + 7*g - 4. Let z be i(6). Solve -z*a + n = -c*a for a.
-4
Let b be 1 + -3*(-5)/15. Solve a = -b*a + 9 for a.
3
Suppose -2 + 4 = g. Let b be (-8 - -3)*(-2)/g. Solve -b*u + 0*u = -25 for u.
5
Suppose -5*q - 4 = 3*c, 2*q + 3*c = -2*c + 6. Let m be 0 + (q/2 - -1). Solve m = r + 1 - 4 for r.
3
Suppose 0*a - 4*a - 3*b - 39 = 0, 0 = a + b + 10. Let p = -4 - a. Suppose 3*o + 8 = t, -4*o - p = o. Solve v - t*v + 20 = 0 for v.
5
Suppose -r - 4*r = -r. Solve r = s - 2 for s.
2
Suppose -2*z - 7 = -9. Solve 0 = r - z - 1 for r.
2
Let k be 6/(-10) + (-4)/10. Let q = k - -2. Let r be -2 - (q - (0 - -3)). Solve -f = -r*f - 3 for f.
3
Suppose -2*n = -2*a - 6*n + 64, 4*n + 20 = a. Solve -5*b - a = -8 for b.
-4
Suppose -5*y + 12 = w - 3, -y = -5*w + 23. Solve -w = -4*l + 7 for l.
3
Suppose 5*k + v - 24 = k, -2*k - 2 = -3*v. Suppose -k*s + 4*s = 0. Solve -3*y + 6 = -s*y for y.
2
Let l(f) = -f**2 - 8*f + 3. Let h be l(-6). Solve 6*s - h = 3*s for s.
5
Let f(m) = -2*m**2 - 27*m + 16. Let k be f(-14). Solve -k = -t - 6 for t.
-4
Let x = 14 - 12. Suppose 26 = 4*w - 4*v + x, -5*w + 6 = v. Solve 0 = 5*h - w - 18 for h.
4
Let l(x) = -2*x**3 - 5*x**2 - 2*x + 5. Let q be l(-2). Solve -4*v - q + 1 = 0 for v.
-1
Let f(c) = -c + 3. Let p be f(-3). Suppose 5*m = -l + m + 8, -5*l + 3*m = p. Solve l = 2*b + 5 + 1 for b.
-3
Let j = 11 - 10. Solve j = k - 0 for k.
1
Suppose -5*t - 3*d - 730 = 2*d, -2*d - 721 = 5*t. Let z be (t/(-26))/(2/4). Solve 4*r + 3 = z for r.
2
Suppose s - 34 = -14. Solve 0*i - s = -4*i for i.
5
Let i = 49 + -46. Solve -2 + 5 = -i*q for q.
-1
Suppose 4*d - 14 = -2*a, 2*a - 17 = -5*d - a. Let f(i) = 3*i + 3. Let v(r) = 4*r + 4. Let w(m) = 3*f(m) - 2*v(m). Let q be w(d). Solve -3*h - 7 = q for h.
-4
Let h be (18/(-81))/((-1)/9). Suppose -r + 4 = -f, -h*r - 2*f + 23 = 7. Solve -2 + r = -4*b for b.
-1
Let y(a) = -a**3. Let j be y(0). Let r be 1 + 0 + j + 2. Solve 0 = -0*g - 3*g + r for g.
1
Let d(f) = f**2 + 12*f - 3. Let g be d(-14). Solve h - g = -4*h for h.
5
Let w(y) = y + 8. Let r be 1/(-2) + 77/(-14). Let v be w(r). Solve -2*m - v = -0 for m.
-1
Suppose 2*v = -3*l - 6, -6*l + 4*v + 12 = -7*l. Solve 0 = -i - 4 - l for i.
-4
Let l(r) = -r**3 + r**2 + r + 2. Let i be l(2). Solve i = -0*g + 5*g for g.
0
Suppose -2*b - b + 24 = 0. Suppose 0 = -5*v + v + b. Suppose -u + 4 = v*g, -u - 3*u + 4 = 2*g. Solve -2*d - 2*d = u for d.
0
Let g(k) = -k**3 + 2*k**2 + 4*k - 1. Let f be g(3). Suppose v - 17 = f. Suppose 3*i - m = -3*m + v, 3*m + 10 = i. Solve 0 = -4*s + i*s - 12 for s.
4
Let p = 7 + -6. Let c be (p - 1) + (-2)/(-2). Suppose c = -2*h + 5. Solve h*l - 7*l + 5 = 0 for l.
1
Suppose -3*j + 16 = -8. Solve 20 = 3*t + j for t.
4
Suppose u = 3*q, 4*u + 2*q + 2*q = 16. Solve -u = 5*v + 12 for v.
-3
Suppose 0*o - 5*o - g = -11, 0 = -4*o + 2*g + 6. Solve 3 = -3*t + o*t for t.
-3
Suppose 24 = -3*i + 2*h + h, -3*i - 2*h = -1. Let b = -5 - i. Let w = b - -6. Solve -w*u - 20 = u for u.
-4
Suppose -4 = -2*z - 0. Let m = -21 - -36. Solve z*c + m = 7*c for c.
3
Let z be 3 + 0 - (-3 + 16). Let u be (2/(-3))/1*-12. Let k be (u/10)/((-4)/z). Solve -4 = k*a - 0 for a.
-2
Let g be (-1)/3 - (-1)/3. Let b(c) = -c - 5. Let m be b(-7). Let x be 56/6 - m/(-3). Solve -2*r = -g*r - x for r.
5
Let l be (-11 - -12) + (-4 - -2)*-1. Solve -l = -3*u + 9 for u.
4
Suppose -5*t + 3*a + 1 = -5, 0 = -3*t + 4*a - 3. Let x be 34/6 - (-3)/9. Suppose x*j = t*j. Solve -4*r + 0*r + 12 = j for r.
3
Suppose 12 = 3*d - 6. Suppose -5*i + 1 = d. Let p be 75/4 - i/4. Solve -4*f = -p + 3 for f.
4
Let a(x) = -x - 6. Let k be a(-6). Let s = 2 + k. Let i be (-4)/(1 + 1) + 2. Solve i*h - s = 2*h for h.
-1
Let z be (62/4)/(2/(-4)). Suppose 25 = 4*o + 81. Let c = o - z. Solve -c + 2 = 3*u for u.
-5
Let m(v) = -v + v - v**2. Let y be m(0). Let j(w) = w**2 - w + 10. Let s be j(y). Solve -2*b = 3*b - s for b.
2
Suppose 2*z - 10 = -3*z. Let h be z - (4/1 - 5). Solve -h*p = -3 - 0 for p.
1
Let r be (-9)/6*4*-1. Suppose -10 = -4*b + r. Suppose q + q = b. Solve 0*g = -q*g for g.
0
Suppose -3*z + 14 = -o, -3*z + 8*z - 30 = 5*o. Solve -z*q + 2*q = 10 for q.
-5
Suppose -3*i - w + 1 = 0, -4*i + 2*w - 5 = -3*w. Suppose -3*c = -i*c. Let s be 4 + 1*(16 + 0). Solve c*r - s = -4*r for r.
5
Suppose -k - r + 2 = 0, 3*k + 0 = r + 6. Suppose -3*w = -5*q + 40, -k*w - 16 = -6*q + 4*q. Solve 2*y - 4*y = q for y.
-4
Suppose 4*n - 5*l = -6, n - 4*l + 4 + 3 = 0. Suppose i - 20 = 4*r, -3*r - 32 = -5*i - 0*r. Suppose -z + n = -i. Solve -4*g + 1 = -z*g for g.
-1
Let v = 1 + 1. Solve 0*q - v*q - 4 = 0 for q.
-2
Let d(f) = f + 1. Let z = -7 - -6. Let k be d(z). Solve k = -r - 4*r + 15 for r.
3
Let r(o) = -o**3 - 2*o**2 + 3*o. Let w be r(-3). Let k be 0 + (w - (2 - 2)). Solve k*c = 2*c - 6 for c.
3
Let a(i) = i**3 + 12*i**2 - 12*i + 13. Let q be a(-13). Solve 3*v - 6*v - 12 = q for v.
-4
Let a be 14/4 - 2/4. Suppose -19 = -4*d - 3, -2*d + 8 = -a*n. Suppose w - 4*w + 3 = n. Solve 5*l + 6 - w = 0 for l.
-1
Let r = 32 + -23. Suppose 6 = 5*g - r. Solve g*d = d for d.
0
Let t be 16/(-7) - (-2)/7. Let j(u) = -u**2 - 5*u - 4. Let v(d) = -6*d**2 - 25*d - 21. Let p(o) = t*v(o) + 11*j(o). Let a be p(6). Solve 0 = -a*i + i for i.
0
Let z be 0/(1 + 0)*-1. Solve -4*u + 2*u - 10 = z for u.
-5
Suppose 6*h - 38 + 20 = 0. Solve -5*a - 7 = h for a.
-2
Let t(r) = -2*r**3 + 8*r**2 + 9*r + 12. Let w be t(5). Solve w*i - 3*i = -8 for i.
-2
Suppose 5*h - 5*m + 11 = 26, -6 = 5*h + 2*m. Solve h = -2*l - 2*l - 12 for l.
-3
Suppose 0 = 4*v - 0*v. Suppose -2*b + 2 + v = 0. Solve -p - b - 1 = 0 for p.
-2
Let b = -24 + 29. Solve -3 - 2 = b*r for r.
-1
Let f = -74 - -80. Solve -f = -2*z - 16 for z.
-5
Let i = -22 + 22. Solve -3*b + 8 - 2 = i for b.
2
Let v be (-1)/(-4) + (-1 - 9/(-12)). Solve 2*s - 2 + 8 = v for s.
-3
Suppose 0*r + 2*r + 20 = 0. Let f = r + 13. Solve 2*t + f = 9 for t.
3
Let a(u) = u**2 + 4*u + 9. Let b be a(-5). Suppose -b*l + 10*l = 0. Solve 2*k + 2 + 0 = l for k.
-1
Let u be (1 - 2) + (-5)/(-5). Suppose u = 2*s + 6, 4*f + 0*s - 14 = 2*s. Solve 0 = f*q + q for q.
0
Let g be 0 - (2/(-1) - 1). Suppose 0 - 8 = -4*f. Solve g*c - 1 = f for c.
1
Let a(h) = 2*h**2 + 8*h + 6. Let l be a(-4). Solve 3*p - 3 = l for p.
3
Let f(w) = w**2 + 4*w + 3. Let m be f(-6). Let v be 2 + -3 + 0 + (-12)/(-3). Suppose 0 = q + r + r - v, -5*q = -r - m. Solve -1 - q = g for g.
-4
Let d = -36 + 38. Solve 4*r = 5*r - d for r.
2
Let s be (-1)/1*-1*2. Suppose z + 3*q - 12 = 0, -3*z + 2*q = -5 - 9. Suppose -2*r + z = -s. Solve r = b - 1 for b.
5
Let k be 70/2 - (-1)/1. Let g(h) = -3*h - 20. Let q be g(-8). Suppose 0 = -q*p + k + 8. Solve 3*o + 1 + p = 0 for o.
-4
Let z = 0 - -2. Let p = -14 + 27. Suppose -p - 17 = -5*h. Solve h = 5*a - z*a for a.
2
Suppose 4*k = 2*d + d + 3, -d = 2*k - 9. Suppose 0*z - d*z = -9. Suppose g - 34 = -z*y, 2*y = -g + 23 + 1. Solve 0 = 3*x - y + 4 for x.
2
Suppose -4 - 14 = 5*u - 4*o, -u + 2*o = 0. Let i be (4/(-3))/(4/u). Suppose 4*a - 2 = i. Solve 0 = -3*c + 4*c + a for c.
-1
Suppose -i + 4*i = 0. Let p be 1 - (-2 + i/(-3)). Suppose -2*x = p*x - 15. Solve 0 = 2*z - x*z + 4 for z.
4
Let j(a) = a**2 + 4*a - 5. Let h be j(-5). Solve h - 2 = v for v.
-2
Suppose 3*s + 1 - 10 = 0. Solve -7*q = -s*q + 20 for q.
-5
Suppose a - 15 = -4*a. Solve -7*t = -a*t - 8 for t.
2
Suppose 2*m + m = 9. Suppose o + 14 = 4*l - o, -m*l + 9 = -o. Solve -2*s - 2 = l for s.
-2
Let h be (-4)/14 - 60/(-14). Suppose 0 = 5*k - 3*m - 6, 2*m - h*m = 5*k + 4. Solve k - 4 = 2*t for t.
-2
Let x = -10 + 20. Suppose -3*b + x = 2*b + 2*t, 2*b - 3*t - 23 = 0. Solve -2*o + 6 + b = 0 for o.
5
Let c(j) = -3*j + 27. Let t be c(8). Solve t*z + z - 20 = 0 for z.
5
Suppose -2*d - 4 = 10. Let k be ((-2)/d)/((-2)/(-14)). Solve -3 - k = -t for t.
5
Let l(r) = -r**3 + r**2 - r + 16. Let a be l(0). Let q = a - 4. Solve -2*w - w - q = 0 for w.
-4
Let l be (-15)/(-45) + (-8)/(-3). Solve -8*n = -l*n for n.
0
Suppose 5*c - 9*c = 40. Let m = -9 - c. Solve h - 4 = -m for h.
3
Let w = -8 + 12. Let q be 17 + -14 + (2*1 - 0). Solve i + w = q*i for i.
1
Suppose 2*r = 2*a - 18, 7*a = 4*a - r + 19. Suppose a*j - 4*j = 0. Suppose j*t + 2*t = 14. Solve -t - 13 = 5*v for v.
-4
Let u(h) = -h - 2. Let i be u(-7). Solve 3 = n + i for n.
-2
Suppose 2*u 