 t.
-2
Suppose -5 = -2*z + 7. Let q be (z/9)/(3/9). Solve 0 = w - q - 2 for w.
4
Suppose -2*n + 5*n = 0. Suppose 0 = 5*v - 35 + 5. Suppose 0 = -5*s - p + v, -2 = 2*s + 3*p + 6. Solve -s*b + n*b = 10 for b.
-5
Let w = 7 + -3. Solve 16 = -0*u - w*u for u.
-4
Suppose 14*l - 15*l + 1 = 0. Suppose -5*g + 1 = -4*n + 49, 4*n = -4*g + 12. Solve -l + n = -3*y for y.
-2
Let h(b) = b**2 - 3*b + 3. Let r be h(3). Solve 13 = r*j + 4 for j.
3
Let t = 6 - 4. Solve 2*b = -0*b - t for b.
-1
Suppose 5 = 4*x + 4*z - 3, -4*z = 3*x - 1. Suppose 0 = -l + 19 + 4. Solve 4*d + l = x for d.
-4
Let x(p) = -p**3 + 8*p**2 + p - 9. Let k be x(8). Let s be (k - 0)*(-7 + 3). Solve -s*a = -a for a.
0
Let m be (-28)/(-10) - 4/(-20). Solve w = m*w for w.
0
Let p(q) = -4*q**2 - q**2 + 2*q**2 + 3 + 2*q**3 + 4*q - 3*q**3. Let c be p(-4). Suppose -c*r + 3 = -0*r. Solve m + 0*m = -r for m.
-1
Suppose -2*l + 3*y - 7*y + 4 = 0, 5*y = 2*l - 13. Solve -4*j = -0 + l for j.
-1
Suppose -f = -2*o - 8 - 1, 0 = f + 3*o + 6. Solve -f*g - g = -20 for g.
5
Suppose 5*h + 0*h + 18 = 4*l, 0 = 2*l + 2*h. Suppose -l*m = 4 - 10. Let b be 436/22 - (-26)/143. Solve -2*g - m*g = b for g.
-4
Let x(c) = c**2 - 4*c - 8. Let s be x(8). Let j be (-10)/4*s/(-15). Solve 4 = -2*y - j for y.
-4
Suppose -4*f = -4*o + 72, 5*o + 0*f - 3*f - 86 = 0. Solve 0 = -5*q + q + o for q.
4
Let c(q) = q**3 + 6*q**2 + 4*q - 3. Let p be c(-5). Suppose 2*j = 4*x + x - 3, 5*x = -p*j - 13. Let i(b) = -2*b - 5. Let g be i(j). Solve 7 = -g*t - 8 for t.
-5
Let w = 13 - 3. Suppose 2*y - w = 2*c + 4, -5*y + 3*c = -39. Solve u = -4 + y for u.
5
Let b be (-2 - (-10 + 3))*-3. Let q be 3*(0 + -1) - b. Solve -q = -2*z - 2*z for z.
3
Suppose 7*g = 5*g + 4. Suppose q = g*q - 4. Solve -q = 2*d - 6 for d.
1
Suppose 0 = 4*u - z + 3*z - 16, -u - z + 5 = 0. Solve -5*w + 4*w = -u for w.
3
Let s = 128 - 123. Solve l + s = 2*l for l.
5
Let b be 2/3*(2 - -1). Suppose 0 = -i + 2*q - 4*q + b, 2*i - 5*q = 4. Let y be 4/12 + i/(-6). Solve y = 2*g - 0*g + 8 for g.
-4
Let m be (-64)/(-10) - (-4)/(-10). Suppose -m = -b - 1. Solve 0 = -b*a - 0*a + 20 for a.
4
Suppose 0*r - 5*r = -10. Let m be (0/(-5))/(2/r). Solve m = p - 2*p for p.
0
Suppose -12*k + 7*k = -5. Solve -z = -0*z + k for z.
-1
Let h = -1 - -1. Suppose -l = -4*a - 5, 4*l + 0*a - 5*a - 75 = h. Solve 4*s = -s - l for s.
-5
Suppose 3*q - 3 = 3*j - 0, -4*q = -j - 10. Solve 2*c - q = 5 for c.
4
Let p(u) = u**3 + 7*u**2 + 5*u - 4. Suppose -3*k + 7 = -2. Suppose -n - 8 = 2*a, k*n + 18 = -5*a - 5. Let z be p(n). Solve -z*w = -3*w - 1 for w.
-1
Let o be (-5 - -7)*3/2 - 3. Solve o = -3*f + 9 for f.
3
Let d be 2/(-8) + 45/20. Solve d*y + 20 = -3*y for y.
-4
Suppose -2*f - 47 = -5*l, 4*f - 5*l + 19 = -50. Let u = -5 - f. Solve -u*i = -3*i for i.
0
Suppose a = 3*x - 9, 0*a = 2*a + 4*x - 12. Solve -s = -a - 4 for s.
4
Let v be (-3 + 52/20)*-5. Solve -v*i = -i for i.
0
Suppose 6*v - v = -35. Let c = -4 - v. Solve -c*b = 1 + 8 for b.
-3
Let f = 12 + -8. Suppose -4*m + f = -4. Suppose -28 - m = -2*k. Solve -3*r = 2*r - k for r.
3
Let m(w) = -w**3 + 8*w**2 - 8*w + 9. Let l be m(7). Suppose 5*q - 58 = r - 17, 2*q - 14 = -l*r. Solve 5*b - b + q = 0 for b.
-2
Let q be (-4 - -1)/(3/8). Let l be q/12 - 14/(-3). Solve 0 = -r + 6 - l for r.
2
Suppose -28*x + 80 = -12*x. Solve 0*b + x*b - 15 = 0 for b.
3
Suppose 0 = -v + 4*v - 15. Let g(f) = 4 + 3*f**3 - 2*f**3 + 0. Let c be g(0). Solve -c*d - 3 = v for d.
-2
Suppose 2*i + 3 - 5 = -3*u, 3*u = -3*i - 3. Suppose o - 6 = -2*l, 2*o + 12 = u*l - o. Solve -l*g = -6*g + 6 for g.
2
Let j(t) = t**3 - 10*t**2 - 12*t + 14. Let d be j(11). Let z be d*1*10/3. Suppose 2*n - z = -3*n. Solve -3*f = -2*f + n for f.
-2
Let u(w) = 6*w**2 - 2*w + 1. Let d be u(-2). Suppose -41 = -2*t + d. Suppose 3*g - 11 - 13 = 3*n, 4*g - n = t. Solve -34 = 5*a - g for a.
-5
Suppose -k - k = -50. Solve 0 = -3*q - 2*q - k for q.
-5
Let i be 459/36 + -7 - 2/(-8). Solve -2*u - i + 2 = 0 for u.
-2
Let k(x) = -x**2 - 2*x. Let u be k(-2). Let l = -3 - -6. Let s = -5 - -5. Solve -l*w + s*w + 6 = u for w.
2
Suppose -3*p = -0*a + 4*a - 14, -a + p = 0. Suppose 3*d + 6 = n, 0 = -a*d - 0*d - 4. Solve x - 5*x = n for x.
0
Let m be 25 - (32/(-4))/(-4). Let g be (-1)/(-6) + m/6. Solve o = g*o + 9 for o.
-3
Let x be 0 - 0 - -18 - 1. Let z = -12 + x. Solve -z*t + 10 = -3*t for t.
5
Suppose -8*m = -m. Solve 5*z - z + 16 = m for z.
-4
Let m = -18 + 18. Solve m = -3*r - 12 - 0 for r.
-4
Let l(h) = h**2 - 4*h - 8. Let q be l(6). Let d = -1 + q. Solve b + d = -0*b for b.
-3
Let g(v) = -v**3 + 7*v**2 - 8*v + 9. Let h be g(6). Let c be (4 + h - 2)*-2. Suppose c*j + 5*b + 9 = 0, -3*j - 3 = j + 5*b. Solve -3*i + 0*i = -j for i.
1
Let t(n) = 9*n**3 + n**2 - n. Let m be t(1). Solve 3*r - 3 = m for r.
4
Let b be ((-16)/10)/((-16)/40). Solve -5*v - 6 = b for v.
-2
Let q = -15 - -35. Suppose 5*x - 4*x = q. Solve 7*l - 2*l = -x for l.
-4
Suppose -3*f + 10 = 2*f. Suppose f*i + 5*x = -13, -x + 7 = -0*i + 2*i. Solve -1 = m - i for m.
5
Let h(s) = -s**2 - 15*s - 12. Let p be h(-14). Solve 2*a = -0*a + p for a.
1
Let x = 9 - 3. Let w = 10 - x. Let s(n) = 2*n - 3. Let h be s(w). Solve -3 = h*a + 12 for a.
-3
Suppose -5*n - 24 = j, -2*j + 4*n = -3*j - 19. Solve -j = -g + 2 for g.
3
Suppose 15 = 5*x + 5. Solve 4*s - 6*s + x = 0 for s.
1
Let d be 5 - (40/(-18) + 6/27). Solve d = 4*v + 15 for v.
-2
Let v(o) = o**3 - 3*o**2 + o + 4. Let t be v(2). Solve t*d - 3 - 5 = 0 for d.
4
Suppose m + 21 = -2*u, -m - 18 = 2*u + 3*m. Suppose 0 = -4*f + f. Let b = f - u. Solve -4*o - 27 + b = 0 for o.
-4
Suppose -5*g - 210 = -210. Solve 3*q - 2*q = g for q.
0
Let n(i) = -10 + 14*i + 24 - 13*i. Let f be n(-11). Solve f*k + 15 = -0 for k.
-5
Suppose 84 = -4*k + 96. Solve 3 = -2*f - k for f.
-3
Let k be -1 + (3 - 0) - -1. Solve -g - 8 = -k for g.
-5
Let t be (6/(-4))/((-3)/4). Suppose -16 = z - 5*j, 3*z = -t*z - 4*j + 36. Suppose 0 = -3*o + z*o - 3. Solve -3*r - 9 = o for r.
-4
Let z = 42 + -39. Solve -z*y + y = -4 for y.
2
Let f(r) = r - 1. Let h(y) = -3*y + 2. Let g(l) = -4*f(l) - h(l). Let b be g(-2). Suppose -2*x + 9 = 2*z - 43, 2*x + 6 = 0. Solve b - z = 5*k for k.
-5
Suppose -5 = -7*x + 93. Suppose 2*i = -4*n + x, 9 = n + 2*i + 1. Solve -n + 5 = -3*m for m.
-1
Let g be 0/((0 - -1)*1). Suppose -42 = 4*w - 142. Let c be 1/(-4) + 210/40. Solve c*x - w = -g*x for x.
5
Suppose 2*j - 25 = -3. Solve -3 = -2*q - j for q.
-4
Let f = -64 + 104. Suppose -5*b + 5*x + f = 0, -29 = -4*b - x + 13. Suppose 0 = -5*o + b, -4*r = o - 4*o - 10. Solve -2*i + 8 = -r*i for i.
-4
Suppose 0 = -3*x - 0*x - 3. Let y be 0*1*(x - -2). Let v = 0 - -4. Solve v = -a - y*a for a.
-4
Let k(q) = -q - 6. Let m(u) = u**3 - 2*u**2 + 2*u - 1. Let a be m(1). Suppose -2*x + 0*d + d - 15 = a, 3 = d. Let i be k(x). Solve i = -5*n - 5 for n.
-1
Let x = 56 + -56. Solve -3*z - 2*z + 5 = x for z.
1
Let t = -4 + 4. Suppose 46*b = 41*b + 10. Solve -a - b*a + 6 = t for a.
2
Let f = 8 + -6. Suppose -3*y = 4*x - 22, 0 = -f*y - 3*y + x + 6. Let r(g) = g**2 + 3*g - 7. Let c be r(-5). Solve 20 = -c*d - y*d for d.
-4
Suppose 15 = 4*l + l. Solve 6 = -l*c + c for c.
-3
Suppose 1 = 2*v - 5. Suppose -4*m + 2*l + 18 = 0, 5*l = v*m - 2*m. Solve -g = 1 - m for g.
4
Suppose 8*z - 9*z - 2 = 0. Let h = 7 + z. Solve -h*p = -p for p.
0
Let p(b) = 6*b. Let s be p(2). Let m(z) = z**2 + 6*z - 7. Let q be m(-8). Let x = q + -6. Solve -s = x*v + v for v.
-3
Let g(w) = -w + 13. Let r be g(5). Solve -3*f + 23 = r for f.
5
Suppose 0*g + 4*g + g = 0. Solve g = 3*x - 2*x + 4 for x.
-4
Suppose -g - 4*t + 8 = 0, -4*g - 3*t - 2 + 8 = 0. Suppose -7 = -v - g*v. Solve 0 = 4*y - v*y for y.
0
Let y(f) be the first derivative of -f**2/2 + 9*f + 1. Let q be y(7). Solve 1 + q = -s for s.
-3
Suppose 3*j = 4*j. Solve j = -3*x - 19 + 4 for x.
-5
Let v(k) = 3*k - 3. Let m be v(2). Let w(u) = -2*u**2 + 9*u - 3. Let f be w(6). Let d = -11 - f. Solve -m*q = 2*q - d for q.
2
Let c = 10 - 8. Let d be (0 + 0)*7/(-14). Solve d = 2*y - 6 + c for y.
2
Let b be 10*(-3)/(-4)*2. Suppose 5*a - b = 0, d - 3*d - 3*a + 15 = 0. Let t be (2/4 + 0)*32. Solve 0 = f + d*f - t for f.
4
Let f(t) = 2*t**2 - 2*t - 1 + 3 - 3. Let h be f(2). Suppose 0*u = -5*u + 4*r + 3, u - 2*r = -h. Solve 0*d - u*d = -15 for d.
5
Let j(p) = 2*p**2. Let h be j(-2). Let y(m) = -m**3 + 7*m**2