 for z.
3
Suppose -c = 2*c - 180. Let a be ((-1)/(-2))/((-5)/c). Let s = a - -9. Solve s*b = b for b.
0
Let x be (3/(2/2))/1. Solve -x*d = -6*d - 12 for d.
-4
Let v = 0 - -4. Let b be (-14)/77 - v/(-22). Solve -s - 4 = -b*s for s.
-4
Let r be (-1 + 1)/(-2) - 0/3. Solve r*n = n for n.
0
Let y = -8 - -11. Suppose -2*j = -26 - 24. Suppose 0*d - 5*d = -j. Solve -2 = -y*u - d for u.
-1
Let w be (-6)/((-2)/4*3). Suppose -v = w*v - 50. Suppose 0*g = 3*g - 6. Solve 0*s = g*s - v for s.
5
Let k be -2 + (-2 - -2) + 3. Let p be 0 + k*(0 - -1). Solve b - 2 = -p for b.
1
Let z be (4/6)/(10/(-15)). Let u be (-4 - (-5 - -2))*z. Let w be u + 0 - (-15 + -1). Solve -8 - w = 5*q for q.
-5
Let n be 0/(2/2*-1). Solve 2 = -o - n*o for o.
-2
Let f(u) = u + 6. Let s be f(-5). Let l = s - -2. Suppose -3*d = -2*c + 9, 6 = -l*d + 3. Solve -c*w - w = 0 for w.
0
Let x(y) = y**2 + 5*y + 5. Let n be x(-5). Suppose -29 = -n*w - 4. Let d be 9/w + (-1)/(-5). Solve -3*t = -1 - d for t.
1
Let w(s) = -7*s - 10. Let j(h) = -8*h - 11. Let q(m) = -6*j(m) + 7*w(m). Let k be q(-9). Solve -5*c - 30 + k = 0 for c.
-5
Suppose 0 = a + 3*a - 44. Let k = a + -7. Let s = 2 - -1. Solve k*r - 19 = -s for r.
4
Let h(r) = -r**3 + 8*r**2 + 8*r + 11. Let q be h(9). Suppose u - 2*b - 2 = 0, 0*u + 2 = 2*u - 5*b. Solve 12 = q*g - u*g for g.
-3
Let x be -10*(-1 + 0)/2. Solve t = x*t + 8 for t.
-2
Let n be (-3)/12 + (-26)/(-8). Suppose 0 = -8*p + 7*p + n. Solve -p*q + 0*q = 6 for q.
-2
Let t be (-4)/12 - 69/9. Let o = -4 - t. Solve -o*g = g for g.
0
Let m = 1 - 1. Let h(t) = -t**2 - 9*t - 8. Let x be h(-6). Suppose -9*z - 8 = -13*z. Solve -3*v - z - x = m for v.
-4
Suppose 0 = 4*g - 6 - 10. Let w = 14 - g. Suppose s - 2*v - w = 2*v, -s - 2*v = -4. Solve -n = 2*n + s for n.
-2
Let b(y) = -3. Let h(q) = q - 7. Let u(f) = -9*b(f) + 4*h(f). Let t be u(2). Solve -t*a - 15 = -2*a for a.
-3
Suppose q + 8 = -2*q + 2*z, 0 = q - z + 4. Suppose 2*t + 1 - 7 = q. Solve 0 = n + t*n - 20 for n.
5
Suppose -4*p + 4*d = -0*p - 80, 3*p + 4*d - 60 = 0. Suppose 6*k - p = k. Let x = k + -1. Solve -x*c + 2 = -c for c.
1
Let n(f) = f**2 - 5*f + 10. Let d = -10 - -14. Let c be n(d). Solve -h = -c*h for h.
0
Let d be ((-2)/(-4))/((-15)/(-90)). Solve 0 = d*a - 7*a + 20 for a.
5
Suppose 3*w - 9 = w - y, -3*w + y = -11. Solve -12 = w*q - 32 for q.
5
Let k be 11 - 2 - (-4 - -5). Suppose 4*c = k*c - 16. Solve -5*l + c = -l for l.
1
Suppose -3*g + 3*o = 4*o - 30, 3*g - 2*o - 30 = 0. Solve -13*i = -g*i + 3 for i.
-1
Suppose 0 = 4*w + 5*s - 37, -3*w + 4*s - 6*s = -19. Let c be 15/10*4/w. Suppose -c*i - 4 = -12. Solve l = -i*l - 15 for l.
-3
Suppose -1 = 4*i - 9. Suppose 2*n + 22 = -4*p + 100, 186 = 4*n - 2*p. Suppose 3*l - 3*b = n, 3*l - 15 = -l - 5*b. Solve 0*a = -i*a - l for a.
-5
Let o = 36 + -30. Solve o = 7*f - 4*f for f.
2
Suppose g + 10 = 3*g. Suppose -4*r + 2*s + 148 = 0, -30 = 5*r + s - 201. Let f be (-10)/r + (-60)/(-14). Solve 17 = f*m + g for m.
3
Let l(p) = -p**3 - 5*p**2 + 4*p - 6. Let q = 7 - 13. Let r be l(q). Solve 3*v - 3 = -r for v.
-1
Let i(v) = 3*v**2 - 61*v + 23. Let k be i(20). Solve -k*a - 10 = -a for a.
-5
Suppose -2*c - 9 - 1 = 0. Let x(s) = -s**3 - 3*s**2 + 7*s + 1. Let h be x(c). Suppose -12*v = 16*v - 140. Solve -h = v*b - 6 for b.
-2
Suppose 5*m - 2*t - 5 = 0, -2*m = -3*m + 3*t + 1. Let a be -1 + 0 - (0 - m). Solve -3*z - z - 16 = a for z.
-4
Let s(f) = -f**2 + 4*f. Suppose 3*u + 15 = 8*u. Let x be s(u). Solve x*g + 20 = 7*g for g.
5
Suppose -2*d = -0*g - 4*g + 28, 5*g = 4*d + 41. Let j = -1 + g. Suppose 5*c - 8*l + 3*l = 15, -5*c - 3*l = -23. Solve -2*f = -j*f - c for f.
-2
Suppose 0 = -2*i - n - 1 + 8, -4 = i + 3*n. Let g be 0/((-1)/(3/9)). Solve -i = -g*b + 5*b for b.
-1
Let m(r) = r + 1. Let o be m(-1). Solve -3*j + 2*j - 3 = o for j.
-3
Let n = 0 - -2. Let d = 2 - n. Suppose -16 = -2*f - 2*f. Solve -v = -d + f for v.
-4
Suppose -6*n + 32 = -2*n. Let k = -5 + n. Solve -7 = k*t + 2 for t.
-3
Let d be (-22)/77 - (-116)/14. Suppose -d = -2*b - 2*b. Solve -b*s - 3 = s for s.
-1
Suppose 0 = -2*p - 0*p + 32. Solve -5*v - 4 = p for v.
-4
Suppose 25 + 50 = -5*r. Let n be (9/r)/(2/(-10)). Solve -l + 2 = n for l.
-1
Let d(g) = -g**3 + g**2 - g + 1. Let b(f) = -f**3 + 2*f**2 + 2*f - 3. Let y be b(2). Let h be d(y). Solve -3*a - 6 + 21 = h for a.
5
Suppose -6*b + b + 10 = 0, -3*b = -f. Let q(h) = -7 + f - h + 0*h. Let x be q(-9). Solve 5*u + 2 = -x for u.
-2
Suppose 0 = 5*x - 11 - 9. Suppose 0*o + o = x. Solve o = 4*b - 0 for b.
1
Let m(k) = 3*k + 9. Let u(x) = 2*x + 8. Let c(s) = -3*m(s) + 4*u(s). Let y be c(4). Let j = 19 - 16. Solve y = -j*o + 2*o for o.
-1
Let x be -3 + -4 + 9 + 2. Solve 0*c - 20 = x*c for c.
-5
Let v = 9 + -7. Let j = v + -1. Solve 0 = -z + 2*z - j for z.
1
Suppose u = -0*u. Suppose b + 3 - 14 = u. Suppose 9 = 5*d - b. Solve j = -d*j + 20 for j.
4
Let x = -2 + 3. Suppose -c + 1 = -x. Let k = -77 + 84. Solve c*z - k*z = 0 for z.
0
Let k(f) = -f**2 + 3*f + 10. Let l be k(-7). Let d be 1/(-2)*(10 + l). Solve 0 = r + 4*r - d for r.
5
Suppose 0 = -5*p + 99 + 56. Let d = p + -20. Suppose -d = -4*l + 5. Solve l*b - 3 - 17 = 0 for b.
5
Let p = 13 - 13. Solve -j = -p*j - 1 for j.
1
Suppose 0 = c + 4, -2*r + 2*c - 5*c = 6. Suppose -2*u = 2*u + 2*v + 6, r*u - 5*v - 28 = 0. Let a be ((-3)/(-5))/((-3)/(-15)). Solve x + a + u = 0 for x.
-4
Let k be 1/3 - (-12)/18. Solve -v + 0*v - k = 0 for v.
-1
Let v = -75 + 125. Suppose 5*j - h - v = 0, 2*h - 30 = -5*j + 7*h. Suppose k - j = 5. Solve -k = -2*q + 6*q for q.
-4
Let g(l) = -l + 8. Let q = -17 + 24. Let s be g(q). Solve -z = 4 - s for z.
-3
Let p = 50 - 50. Let o = -1 - -4. Solve -c + p*c = o for c.
-3
Suppose 7*r - 150 = 2*r. Solve 5*s + 5 = r for s.
5
Let f(w) = -w**2 - 13*w - 20. Let q be f(-11). Solve -7*s = -q*s for s.
0
Suppose 3 - 2 = r. Let k = r - -4. Solve k*b - 19 = -4 for b.
3
Let a = -10 - -18. Suppose 2 = 5*d - a. Solve d*q + 4 = -6 for q.
-5
Let a(l) = -l**2 - 3*l. Suppose 0 = -2*q + 3*w - 12, 0 = 4*q + 2*w + 2*w + 4. Let b be a(q). Solve 2*g + b = 2 for g.
1
Let b = -5 + 5. Suppose -h = -b*h - 4. Let p be 5 - ((-9)/(-3) + -2). Solve 8*m = h*m + p for m.
1
Suppose 0 = 2*t + 2*o - 350, 2*t = -0*t + o + 341. Let s be (-2)/(-3) - t/(-12). Solve -s = q + 2*q for q.
-5
Suppose 0 = n + 3*n - 48. Solve 0 = -3*p - n for p.
-4
Let d = 9 - 4. Suppose d*p + 0*r - 16 = 3*r, 0 = -5*p + r + 12. Solve -s = p*s for s.
0
Let x = -2 - -5. Suppose 10 = 2*p, 2*k = -x*p - 0*p + 27. Solve 0*c - k = 2*c for c.
-3
Suppose 3 = 4*b - 1. Let a = 1 - b. Let z be (-1 + 5)/(3 - 2). Solve t + z = -a*t for t.
-4
Let n be (5 - 2 - 5) + 2. Suppose w + n = 2. Solve c = -w*c for c.
0
Suppose 1 + 3 = w. Suppose -w*i = 2*b + 20, 3*i + 11 = -4. Suppose b = n + 2*n - 6. Solve -6*o - 12 = -n*o for o.
-3
Suppose -7 = -3*t + 2*t. Let i(j) = j**3 - 8*j**2 + 8*j - 5. Let l be i(t). Solve 4*x - l = 3*x for x.
2
Suppose 7*c - 20 = 2*c. Solve r = c*r for r.
0
Let o = -11 + 17. Solve o = 3*f + 21 for f.
-5
Let k = 22 - 18. Suppose 2*s = -3*y + 43, -5*y - k*s + 19 = -52. Solve 4*c + c + y = 0 for c.
-3
Let k = 22 + -19. Solve -k*w + 9 + 6 = 0 for w.
5
Suppose 2*b = 2, 3*t + 3*b - 34 = -b. Suppose 38 = 2*y + 4*g + t, 0 = 2*y - 5*g + 17. Solve 3*q + 2 = -y for q.
-2
Suppose 4*g + 32 = -2*s - 2*s, 0 = -s + 5*g - 2. Suppose -2*c + 5*p - 8 = 0, 5*c + 26 = -2*p + 6. Let h = c - s. Solve -5*j = -18 + h for j.
3
Let q(c) = -c**3 - 5*c**2 + 6*c + 4. Let r be q(-6). Suppose -8 = -r*j + 4*x, -5*x + x - 6 = -5*j. Let f be 1/(j + (-38)/(-18)). Solve -v = 2*v - f for v.
3
Let h = -28 - -30. Solve h = 2*n - 4 for n.
3
Suppose -40 = -2*m - 2*m. Suppose -2*c + 6*h = 10*h + 6, -2*c - 5*h = 10. Solve 0*y = -c*y - m for y.
-2
Let q(s) = -s - 3. Let g be q(-5). Suppose -4*b + 18 = g. Let c = 6 - b. Solve 3*k = -c*k for k.
0
Let v be (-3 - -1 - 0)*2. Suppose 0 = -l - 0*l - 6. Let r = v - l. Solve -p = r*p for p.
0
Let q be ((-1)/1 - 2) + 4. Let i(y) = 2 - q + 1 + y + 8. Let l be i(-8). Solve 0 = -3*m - l*m - 10 for m.
-2
Let s be (195/13)/((-1)/(-1)). Suppose 0*l + 5*l = 4*n + 25, -s = -3*n. Solve l*y = 4*y + 15 for y.
3
Let c = 0 + -5. Let k = 9 + c. Suppose -h = -0*h - 6. Solve -6*z + k*z = h for z.
-3
Suppose 0 = 3*a - 8*a - 10. Suppose 0*b + 10 = 5*b. Let j = b + a. Solve j*s + 3 = s for s.
3
Let z(s) = 