.
0
Let q be 10 - 4/3*-3. Solve -5*c + q - 4 = 0 for c.
2
Let d be 1/(2 - 1)*9. Suppose 162 = -o + 165. Solve o*q + d - 24 = 0 for q.
5
Let q be (-4)/2 - 0 - -2. Suppose -x - 2 = -5. Suppose 5*s - 34 = 3*o, 0 = x*s - q*o + 5*o. Solve 0 = s*z - 0*z - 5 for z.
1
Let d(f) = -f**3 + 8*f**2 - 7*f - 3. Let l(j) = 8*j**2 + j. Let g be l(-1). Let v be d(g). Let a = v - -4. Solve -5*o - a = -6 for o.
1
Let i(r) = r**2 - 12*r + 13. Let g be i(11). Solve g*n + 9 = -n for n.
-3
Let z be (15 + -14)*(1 + -1). Solve z = -0*h - 2*h for h.
0
Let r be (3/1)/1 - 0. Solve l = -r*l for l.
0
Let n(a) = a**2 - 13*a + 15. Suppose -5*c - 12 + 72 = 0. Let o be n(c). Solve -4*u + o = 11 for u.
-2
Let n = -3 + -3. Let t(b) = -b**2 - 8*b - 9. Let u be t(n). Let j be 0/(u + -3 + 2). Solve j*g - g = 0 for g.
0
Let c = 30 + -10. Let g = -20 + c. Suppose -20 = 2*f - 6*f. Solve -h = -g*h - f for h.
5
Suppose -3*x - 2*x = 2*g - 31, 0 = 4*g + 4*x - 32. Suppose -3*h = -0*m + g*m, -3*h = -m. Let p be 4 + m*3/6. Solve p*i = -9 + 1 for i.
-2
Let i = -9 + 12. Solve 0*k - 9 = -i*k for k.
3
Suppose -2*r = -0*r - 2, 22 = 5*y - 3*r. Solve y*o = 3*o for o.
0
Let l be -1*(0 + 1)*-3. Let s = -995 - -997. Solve -s*w = -5 + l for w.
1
Let z be (-120)/(-21) + 2/7. Suppose 0 = -2*k + z*k - 4. Solve -1 = -2*w + k for w.
1
Let f = 18 - 12. Let s(o) = o - 4. Let y be s(f). Solve 2*q + y*q = 4 for q.
1
Let f = -3 - -3. Let n(l) = -l**3 + l + 2. Let g be n(f). Suppose -20 = g*v - 3*v. Solve 4*h - v = -h for h.
4
Let d(z) = z - 4. Let q be d(7). Let p(o) = o - 1. Let l(r) = 4*r - 11. Let k(m) = q*p(m) - l(m). Let u be k(6). Solve 5 = b - u*b for b.
-5
Let x = 4 - 1. Let q be (-16)/12*9/(-2). Solve 0 = q*b - x*b + 12 for b.
-4
Let r(p) = 2*p. Let i be r(2). Solve -3*s = s - i for s.
1
Suppose 0 = 2*b - 10. Let u(c) = -c - 4. Let o be u(-6). Suppose 4*m + 6 = -4*n + m, b*n = m + o. Solve n*j + 2 = j for j.
2
Let n = 0 + 0. Let d = -8 + 12. Suppose d*u - 6 = 2*g, n = -g - 4*g + u + 12. Solve g*s = -s + 12 for s.
3
Let s(q) = 3*q + 23. Let y(m) = -m - 8. Let w(r) = -6*s(r) - 17*y(r). Let d be w(-2). Solve d = x + x for x.
0
Let l(p) = p**2 + 15*p + 48. Let x be l(-11). Solve 0*i = -4*i + x for i.
1
Let f(w) = 5*w. Let u be f(1). Solve u*i - 9 - 16 = 0 for i.
5
Suppose 3*d - 41 = 4*n, -n + 3 = 2*d - 6. Suppose -4*o - 4*x - 22 = -d*o, -5*o - 2 = 3*x. Solve o*k = -k - 15 for k.
-5
Suppose 4*v - 22 = -2*a, 0 = -v + 5*v - 3*a - 27. Solve -3*u + v*u - 6 = 0 for u.
2
Let m(i) = -i + 8. Let o be m(5). Let h = o - 8. Let q(b) = b**2 + 4*b - 5. Let d be q(h). Solve d = -g - 3*g - 4 for g.
-1
Suppose p - 10*p + 108 = 0. Solve -4*n = -n + p for n.
-4
Suppose 10*s = 2*s. Solve s = 3*j - 2*j + 1 for j.
-1
Suppose -s = -4*n + 5, -5*n + 0*n = -2*s - 4. Solve 4*f - 5 = s*f for f.
5
Let f(x) = -x**2 + 2. Let m be f(0). Solve m*q - 5*q = -3 for q.
1
Let b(t) = -t**2 + 6*t - 5. Let x be b(7). Let i be (x + 2)*(3 + -5). Suppose j + 3*v - 7*v = i, 3*j + 5 = -v. Solve -4*g = -j + 12 for g.
-3
Let u(d) = -2*d - 35. Let l(b) = -b - 23. Let f(t) = 8*l(t) - 5*u(t). Let r be f(7). Solve r*w = -3 - 2 for w.
-1
Let i(b) = -b**2 - 4*b + 2. Suppose -3 = -u - 7. Let s be i(u). Solve 0 = -2*a - s*a - 4 for a.
-1
Suppose 0 = 2*l + 6, 2*r - 11 = l + 2. Solve -7 = -3*w + r for w.
4
Let a be 0/4 - (-3 - 0). Suppose 2*d - 16 = -2*d. Solve f = d*f + a for f.
-1
Let t = 40 + -36. Solve -7 = j - t for j.
-3
Let w be (3 + 16/2)/(-1). Let j = -8 - w. Let q(b) = 7*b - 1. Let n be q(j). Solve -n = 6*h - h for h.
-4
Let j(m) = -3*m**3 - 22*m**2 - 2*m - 21. Let q(y) = 2*y**3 + 15*y**2 + y + 14. Let d(f) = 5*j(f) + 7*q(f). Let n be d(-5). Solve -4*l + 8 = -n for l.
4
Suppose 15 + 15 = 10*t. Solve -2*b - t*b = 0 for b.
0
Let x(y) = -5*y - 7. Let f be x(-5). Solve -2 + f = -4*c for c.
-4
Let l(a) be the third derivative of a**4/24 - a**2. Suppose 21*i - 10 = 16*i. Let v be l(i). Solve -12 = v*d - 6*d for d.
3
Let r be 8/(-12)*-2*3. Solve r*b + 0*b = 8 for b.
2
Suppose 0*u - 2*u + 2 = 0. Let b be (1 - (-2 + u)) + 1. Let j(x) = -x**3 + 4*x**2 - 4. Let q be j(b). Solve -5*l - q = -0 for l.
-1
Let m(l) = l + 1. Let q(b) = 2*b + 2. Let a(d) = 7*m(d) - 3*q(d). Let x be a(3). Solve 2 = -3*p - x for p.
-2
Let f = -5 + 5. Suppose -33 = -f*u - 3*u. Solve u - 2 = 3*q for q.
3
Let r = 7 + -3. Suppose i + r = -4. Let t = -5 - i. Solve 0 = t*q + 3 - 0 for q.
-1
Let b be 13 - 6/(-2 + 0). Suppose -3*f - 4*i = -f - b, 4*f + 2*i - 38 = 0. Solve -4*n + f = -2*n for n.
5
Let y be 13 + 7/(7/(-2)). Suppose 0 = y*i - 6*i. Solve x + i*x = 0 for x.
0
Let q(p) = p - 2. Let g be q(6). Suppose -2*w = 2*n - 8, 15 + 1 = -n + g*w. Solve 2*x + n + 2 = 0 for x.
-1
Let r(k) = k. Let j be r(6). Suppose -3*a + a + j = 0. Solve -a*o - 4 = 5 for o.
-3
Let t be (5/2)/((-1)/(-34)). Suppose r + 4*r - t = 0. Solve -r = 5*i + 8 for i.
-5
Let b be (-3)/(((-9)/(-3))/(-12)). Suppose -4*v + b = 4. Let r = 10 + -4. Solve 0 = -g + r - v for g.
4
Suppose -3*b + 4 = -2*b. Suppose 4*g + 4*x = -12, 2*g + 4*x = 4*g - 6. Let w = 1 + g. Solve 12 = b*p - w*p for p.
3
Suppose -4*h + 10 = -3*h. Let x = h + -6. Solve 5 = x*n - 3 for n.
2
Let u be 2 + (1 - (-2 + -1)). Suppose -7 = -5*r + 3. Solve -u = o + r*o for o.
-2
Suppose 5*y - 9 - 1 = 0. Let h be 1 - -2*1/y. Let k = 1 + 0. Solve -k = h*l + 7 for l.
-4
Let u be (-43)/(-3) - (-2)/3. Suppose 5*p - u + 0 = 0. Solve -20 = -p*j - 2*j for j.
4
Suppose -5*o + 2 = -3*o. Let f be (1/(-1) - 1)*-1. Suppose 2*m - m - f = 0. Solve m*u - u = o for u.
1
Let n be 8*(-2 + 1)/(-1). Solve 3*b = 7*b + n for b.
-2
Suppose 4*a = -a - 105. Let z be 12/a - (-192)/42. Solve -j = -0*j + z for j.
-4
Let j(w) = -w + 2. Let c be j(4). Let s = 6 + c. Solve s + 5 = -3*n for n.
-3
Let m(t) = -3*t - 3. Let n be m(-2). Let s = 3 - n. Solve s*i = -i for i.
0
Let o be (5 - 0 - -1) + 2. Suppose -f = o - 22. Suppose 4*p - p - 3 = 0, f = 3*z - 4*p. Solve z*w + 20 = w for w.
-4
Suppose -2*s + 3 = -s. Let y = s - 3. Suppose -5*n - 1 = v, y*n + n = v + 1. Solve n = -5*b - 0 - 5 for b.
-1
Let s be 4 - (-2 + -2)/(-1). Solve -v - 3 + 0 = s for v.
-3
Suppose -5*o = 5 + 55. Let a = -12 - o. Solve a = 5*y - 19 + 4 for y.
3
Suppose 5*f = n - 0*f + 21, 2*f - 2 = 2*n. Solve n*o - 10 = -o for o.
2
Let z(i) = -i**2 - 4*i - 4. Let m be z(-3). Let w = m + 0. Let h be (-5 - -1)/(w + 0). Solve h*v = -0*v for v.
0
Let s(f) = -f**3 + 2*f - 1 - 3 + 0 - 2*f**2 + 1. Suppose -18 = 4*w - 6. Let c be s(w). Solve -5*h - 15 = -c*h for h.
-3
Suppose 24 = 4*h - 3*l - 36, 0 = -4*h - 4*l + 88. Let t = -10 + h. Let u be 75/(-10)*t/(-5). Solve m = 5*m - u for m.
3
Let c(g) = -8*g**2 - 3*g + 3*g - 5*g**3 + 6*g**3 + 10. Let a(o) = -o**3 + 4*o**2 + 3*o - 4. Let m be a(4). Let y be c(m). Solve k - y + 5 = 0 for k.
5
Let p be 6/(-33) - 68/(-11). Let h be (-3)/6*p + 3. Solve 2*z + h*z + 2 = 0 for z.
-1
Suppose -z + 1 = -1. Suppose -2*j + 4*j = 4. Solve j*n + z*n = -16 for n.
-4
Let b(h) = 4*h + 2. Let r(u) = -u. Let g(z) = -b(z) - 3*r(z). Let d be g(-5). Suppose -o = d*o. Solve o = -v - v - 2 for v.
-1
Let z = -5 + -3. Let v = 7 + z. Let k be v/2*(0 + 0). Solve k = -6*f + 3*f - 12 for f.
-4
Suppose -2*i + 15 = i. Suppose -5*d + 2*j + 2*j = -35, -3*d + 34 = -5*j. Suppose d = -l + i. Solve 5*b - 8 = l for b.
2
Let p(t) = -t - 2. Let z be p(-2). Suppose 2*b + 4 = j + 2*j, 0 = 3*b - 4*j + 5. Let u be 2 + (5/b - z). Solve q + u = 3 for q.
-4
Let r be (-16)/(-3) + 4/(-12). Suppose -r*o - 3*m + 10 = 0, 2*m + 3*m = -5*o. Let c be 28 - (o + (0 - 2)). Solve -c = -4*d - d for d.
5
Let n = 6 + -5. Let j be -7 - (-1)/n*1. Let x = -4 - j. Solve x*t = t - 1 for t.
-1
Suppose 0*n - n + 3 = 0. Suppose 5*t - 8 = -c - c, -5*t - 12 = -n*c. Solve c*j = 22 - 2 for j.
5
Let y(h) = h**2 + 2*h - 5. Let i be y(-4). Let k be (-39)/2*2/(-3). Suppose 0 = -4*r - 7 - k, 2*w + 4 = -2*r. Solve 0*l = -i*l + w for l.
1
Let c be 43/(3 - (-1 + 3)). Suppose 41 = 5*g - m, -5*g + 3*m + c = -0. Solve g = -0*b + 2*b for b.
4
Let s(v) = -v + 7 + 4 + 0*v. Let q be s(6). Suppose c = q*c. Solve 0 = 4*j - c*j + 12 for j.
-3
Let n = 0 - 0. Suppose 2*v + 3*g = 4*g + 6, -v + 9 = g. Solve n*u - u = -v for u.
5
Suppose 2*q = -3*q + 10. Solve 0 = x - 2 - q for x.
4
Let p = 16 + -8. Suppose 3*y = -2*l - 6, -p = -4*l - 0*y - y. Solve 0 = -l*z - z for z.
0
Let w = -7 + 4. Let h = 20 - 2