c**2 - 2. Let x be v(1). Solve 0 = -5*j - x - 3 for j.
-2
Suppose g - 9*g + 120 = 0. Solve -2*h + 5*h = -g for h.
-5
Let f = 3 - 4. Let a be (f + (-2 - -3))*-1. Solve a*z - 5 = z for z.
-5
Suppose 3*v = 4*p + 1 + 16, -p = 2. Solve 15 = -0*u + v*u for u.
5
Suppose p = -u - 0*u, 4*u + p - 9 = 0. Suppose -u*o = -l - 0*o + 10, 3*l - o = 14. Solve 0 = l*f - f - 9 for f.
3
Let r(d) = -d**3 - 5*d**2 - 5*d - 4. Let h be r(-4). Suppose 0 = 3*b - h*b - 45. Solve 0*o = 3*o - b for o.
5
Let t(m) = 8*m - 19. Let s be t(3). Solve 0 = s*j + 1 + 9 for j.
-2
Suppose q - 5*q = -8. Suppose 6 = q*v + v. Solve x - v*x = 4 for x.
-4
Let w(r) = r**3 - 6*r**2 - 4*r + 4. Let u be w(7). Solve -z - u = -6*z for z.
5
Let t be (-4)/(-12) - (-14)/3. Suppose j = -4*i - 3 - 1, -j = -t*i - 5. Solve j = -0*g + 2*g + 6 for g.
-3
Let l(c) = 2*c**2 - 6*c + 9. Let g(d) = -d**2 - 1. Let i(y) = 3*g(y) + l(y). Let v be (1 - -2 - 7) + -2. Let f be i(v). Solve -k + f*k = -5 for k.
-1
Let s be (1 + -3 - -1)*0. Suppose -44 + 124 = 2*c. Let d be (8/(-5))/((-16)/c). Solve s = d*i - 0*i + 20 for i.
-5
Let z(g) = -17*g**3 - 1. Let n be z(-1). Solve v = -3*v + n for v.
4
Suppose 0*t = 4*t - 44. Let j be (-2)/(-3 + (-28)/(-12)). Let x = j - 0. Solve 2 = x*p + t for p.
-3
Suppose -52 = 3*y - 22. Let o be (3 - (y + 3))/2. Solve o = 4*x + x for x.
1
Let u be 29/7 + (-4 - (-243)/63). Solve -u*m + m + 15 = 0 for m.
5
Suppose 0*v = v - g + 28, g = -1. Let n = -27 - v. Solve 0 = 2*l + 2 + n for l.
-2
Suppose a - 4*s = 9, 14 + 58 = 4*a - 4*s. Solve -5*i - a = -6 for i.
-3
Let l = -4 + 6. Suppose -4*q - 24 = -l*x, -15 - 33 = -5*x + 4*q. Let m(i) = -2*i - 6. Let y be m(-4). Solve -x = -y*f + 4*f for f.
-4
Let d = 8 - 8. Suppose d = -2*o + 3*h + 31, 4*h - 2*h - 30 = -5*o. Solve 5*f = 3*f + o for f.
4
Let a be ((-4)/6)/((-1)/3). Let m(q) = 2*q - 1. Let f be m(a). Suppose -4*o - 4*x = -11 - 25, -15 = -2*o - 3*x. Solve -j - f*j - o = 0 for j.
-3
Suppose -c = -3*f - 2*c + 3, -3*c = 2*f - 9. Solve -h + 1 + 3 = f for h.
4
Suppose 2*h - 4*s = s, 4*s = 4*h. Solve h*w + 2*w = 4 for w.
2
Let c be 30*(8/(-4) - -3). Let k be (c/25)/(6/15). Solve 4*o = k*o + 1 for o.
1
Suppose s - 12*v = -10*v + 19, v = 4*s - 41. Solve s*b + 6 = 7*b for b.
-3
Let x be (-4)/(-5 + (-20)/(-5)). Solve a = -x*a - 25 for a.
-5
Let i be 5 + (2 - (-6)/(-2)). Suppose 4*b + 16 = -i*h, b + 2*h + 0 = -8. Let a(z) = z + 5. Let s be a(-5). Solve b = -3*l - s + 3 for l.
1
Let t = -7 + 11. Solve t*a = -0*a for a.
0
Suppose -11 = -4*k + 5. Suppose k*a - 12 = -0*a. Solve -a*x - 7 + 4 = 0 for x.
-1
Let r be (-6 - 28/(-6))*(0 - 6). Solve 3*p - r = p for p.
4
Let m(z) = 4*z - 2. Let o be m(2). Let s = 8 - o. Solve 3*q = q + s for q.
1
Suppose 0 = 8*a - 7*a - 13. Let g be a - (2 - 1 - -2). Solve 0 = -i - i + g for i.
5
Suppose -3*y + 3*l + 13 = 4*l, y = -3*l - 1. Suppose 0 = -4*t + 54 + 10. Suppose -4*u - t = 4*s, 3*s + s + 20 = -5*u. Solve s = -0*i - 5*i - y for i.
-1
Let g be 10/(-3)*(-18)/10. Solve -g = 3*u - 6*u for u.
2
Let j be (-8)/28 + 144/14. Suppose q - j = -8. Solve 0 = q*z + 2*z for z.
0
Let q = -21 + 25. Solve -q*f - 20 = f for f.
-4
Suppose -2*r - 5*i + 10 = -0*i, 4*r - 10 = -5*i. Solve -4*j = -r*j for j.
0
Suppose 0 = -3*m + 2*m. Let v(h) = h**2 + h - 7. Let z be v(m). Let t(w) = w**3 + 7*w**2 - 2*w - 10. Let g be t(z). Solve -g*n = n + 20 for n.
-4
Let a = 12 + 10. Solve -4*s = -a + 2 for s.
5
Suppose -5*x = -2*b + 9, -4*b + 7 = -x + 2*x. Let a(l) = 5*l**2 - l - 1. Let q be a(x). Suppose 3*c - q = 1. Solve 0 = -c*y - y for y.
0
Suppose -3*n = t - 8, 5 = -2*n + 4*t + 1. Solve -b = n*b + 3 for b.
-1
Suppose 2*y - 48 = -8. Solve -y = 2*n + 2*n for n.
-5
Suppose 1 = p, 5*z = 5*p + 14 - 4. Solve -3*i + 0 = z for i.
-1
Let f(j) = 4*j**2 + 2*j + 4. Let k be f(-2). Solve -1 = -3*v - k for v.
-5
Let u be (-6)/2*20/(-30). Suppose 0 = 2*q - q - u*t, -5*q + 8 = -2*t. Solve -q*z - 15 = z for z.
-5
Let w(a) = a**3 - 5*a**2 + a + 11. Let g be w(5). Solve -4*v - g = -4 for v.
-3
Let h = -2 - -5. Suppose -h = -2*t + 9. Solve c = -c - t for c.
-3
Let q be 1/1 - 5 - -4. Suppose -o + 6*o - 50 = q. Solve -3*g = -2 - o for g.
4
Suppose 3*p + 8 = -p - 4*d, 11 = -3*p - 4*d. Solve -p*x + 10 = -5*x for x.
-5
Let l = 48 - 42. Solve 5*u = -l + 1 for u.
-1
Suppose -24*m + 8 = -22*m. Solve 20 = -b - m*b for b.
-4
Suppose -a - z = -5*a + 46, 5*a - 4*z = 63. Let l be ((-2)/(-8))/(2/8). Solve a = 5*y + l for y.
2
Suppose 0 = -d + 5*d + 2*m - 18, -3*d - 5*m = -31. Let c be (2 - 0)/(-2)*-3. Let q be (-2)/4*(3 - c). Solve q = -d*u - 3 + 1 for u.
-1
Suppose -18*o = -23*o + 30. Solve -o = 4*c - 7*c for c.
2
Suppose 4*x - 69 = 11. Let z = 4 - 2. Suppose 0 = o + 2*d, -2*o + 0*d - z*d = -2. Solve x = o*t + 2*t for t.
5
Suppose -z = 3*a - 17, 2*z - 2*a = -3 - 3. Solve -3*v - z = 10 for v.
-4
Suppose 5*l - 19 + 4 = 0. Let r be 30/9 - 1/l. Solve r*o = 6 - 3 for o.
1
Let q = 15 + -9. Let r(t) = 3*t + 4. Let a be r(-3). Let y = 8 + a. Solve -q*n + y = -3*n for n.
1
Suppose 0 = 4*k - 8 - 4. Suppose 0 = -5*x - 14 - 31. Let r = -1 - x. Solve -r*u = -k*u - 20 for u.
4
Suppose 0 = -5*t + 25, -5*c + 36 = t - 24. Let b(l) = l**3 - 11*l**2 - l + 11. Let d be b(c). Solve 2 + d = w for w.
2
Suppose -f = 3*f. Suppose 0 = -f*u + u - 5*d - 17, -u = -2*d - 8. Suppose -6*a = -u*a. Solve 4*m - 3*m - 4 = a for m.
4
Let k be 63/14 + (-3)/6. Suppose -4*a - k*a = 0. Solve 3*l = -a*l for l.
0
Suppose 7*r = 5*r. Solve 2 = -p - r*p for p.
-2
Let g be 26/4 - 2/4. Let z be g/(-2 + 3 - 2). Let k be (z/(-4))/(1/2). Solve -c - k = 2*c for c.
-1
Suppose 11*i - 22 - 33 = 0. Solve 0*c - i*c = 25 for c.
-5
Let x = -9 + 11. Let n be x/(-4) + (-5)/(-2). Solve n*r = -2*r + 12 for r.
3
Let b be ((-3)/2)/((-6)/16). Let n(j) = 6*j - 27. Let d be n(5). Solve 1 = b*u - d for u.
1
Let q = -7 - -10. Solve q*s = -s for s.
0
Suppose -1 = u - 7. Suppose 2*i - a = u, 6*i - i = -5*a. Solve 8 = -i*s + 2 for s.
-3
Let u(y) = y - 4. Let o be u(4). Suppose -3*a + o = -9. Solve -3*f = -0*f - a for f.
1
Let z(d) = d**2 + 3*d. Let m(p) = 4*p - 5. Let g be m(4). Suppose 0 = -4*w - 1 - g. Let r be z(w). Solve 5*q - 5 = -r for q.
1
Let g be (4/(-6))/((-8)/84). Let r = 11 - g. Solve r*o = 8*o - 12 for o.
3
Suppose -6*u - 16 = -4*u. Let z = u - -11. Solve r - z = -2*r for r.
1
Let n = 4 + -6. Suppose 2*y = 5*v - 2, -1 = -3*y + 11. Let a = n + v. Solve g - 4*g = a for g.
0
Suppose -3*r + v + 5 = 0, r + 4*v - 7 + 1 = 0. Suppose 0 = x + x + r. Let m be 2*1 - (x - -1). Solve 0*n - 2 = -m*n for n.
1
Let x(b) = -b + 8. Let n be x(4). Suppose n*d = 3*d. Solve 2*t + 0 + 2 = d for t.
-1
Suppose -2 = 3*z - 11. Solve z*p + p = 0 for p.
0
Suppose -5*z + 192 = 7*z. Let o(w) = -w**2 + w + 2. Let j be o(2). Solve 2*y - 6*y - z = j for y.
-4
Let j be 27/33 - (-4)/22. Let z be ((-3)/6)/(2/24). Let i be ((-7)/3)/(2/z). Solve 0 = -3*n - i + j for n.
-2
Suppose 12 = 60*x - 58*x. Solve -3*g + 9 = -x*g for g.
-3
Let r(u) = -4*u - 24. Let h be r(-7). Solve 6 - h = -2*l for l.
-1
Let u(z) = -36*z - 4. Let m be u(-3). Let k be (-2)/(-9) - m/(-18). Let n be (2 - (-8)/(-6))*k. Solve 0 = n*x - 0*x - 20 for x.
5
Let i be -3 - (1 - -3)*-1. Let c be i*(-3)/6*-2. Solve -14 - c = 5*m for m.
-3
Let a(y) = 4*y**2 - 4*y - 1. Let h be a(-2). Solve 0 = -5*o - 2 - h for o.
-5
Let a(x) = x**3 + 4*x**2 + 3*x + 3. Suppose -4*i = -5*r + 9 - 31, 4*r - 2*i + 14 = 0. Let l be a(r). Solve -4*u - l = 7 for u.
-3
Let g = 13 - 11. Solve 0*z - 8 = g*z for z.
-4
Let k be -1 - ((-6)/(-1) - 3). Let v(n) = -n**3 - 3*n**2 + n. Let w be v(k). Let p be (-11)/(-4) + w/(-16). Solve -p*i = -i - 1 for i.
1
Let u(a) = -a**3 - 5*a**2 - 5*a - 7. Let t be u(-5). Let i = t - 12. Solve -i*f = -f + 25 for f.
-5
Suppose -4 = -5*r + 4*a, 5*r = a + 2*a + 3. Suppose -14*g - 5*h + 19 = -12*g, 5*g = 3*h + 32. Solve r = -5*j - 3 - g for j.
-2
Let n(z) = 2*z**3 - z**2 - 5*z + 2. Let y be n(2). Suppose -5*h - 4 = -104. Suppose 2*d - h = -y. Solve -5*x - d = -x for x.
-2
Suppose g - 16 = -3*g. Suppose 20 = -x + 3*j + 7, -4*x - j + 13 = 0. Let v = 2 + -2. Solve v = 2*r + x*r + g for r.
-1
Let o be -4 + 8/2 + 4. Solve 0 = -3*d + 7*d - o for d.
1
Let r(z) = z**3 + 3*z**2 - 3*z + 5. Let d be r(-4). Let y = 4 - 2. Suppose -5 = -3*a - y*a. Solve 2*f - a = d for f.
1
Let y be 6/15 - 23/(-5). Solve -y*o + 4 = -6 for o.
2
S