
Let n(o) = o**3 + 7*o**2 - 10*o - 10. Let q be (-2)/((5/(-4))/(-5)). Let h be n(q). Suppose h = 2*b - 0*b. Solve -2*t + 5 + b = 0 for t.
4
Let o be (-9)/(-4) + (-1)/4. Solve -o*c - 12 = -5*c for c.
4
Let t be ((-5)/(-4) + 1)/(42/112). Solve -2*d = -4*d + t for d.
3
Let o = 61 - 59. Solve o*s + 8 = 10 for s.
1
Let k(c) = c**2 - c. Let v(y) = 5*y**2 - 6*y. Let z(q) = -4*k(q) + v(q). Let g be z(3). Suppose -26 = -r + 2*n, -n = r - 0 - 17. Solve -g*w + 7*w - r = 0 for w.
5
Let g(n) = 6*n - 3. Let o be 17/5 + 2/(-5). Let j be g(o). Solve 3*k + j = 6*k for k.
5
Let i be 24/16*(-32)/(-6). Let d be -9*1*1/(-3). Solve i - d = r for r.
5
Let q = 2 + 1. Let c be 0/5*(-1)/q. Solve -7*w + 3*w - 20 = c for w.
-5
Let p(g) = 3*g + 1. Let b(l) = -l + 7. Let v be b(6). Let x be p(v). Suppose -5*y - m - 3 = -2, -x*m - 4 = y. Solve y*j = -2*j + 4 for j.
2
Suppose 2*w + y + 0*y = 4, -3*w = -4*y - 6. Solve 2*d = 4*d - w for d.
1
Suppose 8 = -4*v + 5*n, -3*v + 9 + 4 = n. Suppose 2*o = v*d - 66, -39 = -2*d - 5*o - 14. Let l be (-11)/(-5) - 4/d. Solve -g - l = g for g.
-1
Let p be 0*(-4 - 68/(-16)). Let h(x) = 3*x**2 - 1. Let z be h(1). Solve p = 3*j + z*j for j.
0
Let f(s) = s + 16. Let m be f(-13). Let g(k) = -k. Let z be g(-1). Let t be 3 - (-2 - (-1 + z)). Solve -m*v - 2*v - t = 0 for v.
-1
Let o = 13 + -7. Suppose -3*y + l + o = 0, -2*l - 9 = -3. Solve -2 = 3*m + y for m.
-1
Let u(y) = -4*y**3 + y**2 + y + 1. Let x be u(-1). Suppose -2*v - 12 = -x*v. Suppose -v*k - 1 = -s + 11, 5*s + 5*k - 10 = 0. Solve s*f = 22 - 2 for f.
5
Suppose -8*o + 5*o + 9 = 0. Let m = o - -8. Solve 5 = -4*u - m for u.
-4
Let j(t) = 8*t**3 + t. Let v be j(1). Let y = v + -2. Suppose 2 + y = 3*w. Solve -z + 4 - w = 0 for z.
1
Suppose n - 2 = 3*r - 6, 3*n = 4*r - 7. Solve 0 = 2*h - 7 + r for h.
3
Let w(g) = g**2 - 2*g + 4. Let m be w(3). Suppose 2*z + 10 = m*z. Solve -c - z*c = -12 for c.
4
Suppose 13 = 3*p + 2*z, z = -2*p - 4*z + 16. Solve p*m - m = 10 for m.
5
Suppose z + 0*z = -4*v + 7, 2 = 2*v + 2*z. Solve 5*h + v + 8 = 0 for h.
-2
Suppose -3*i + 4*a - 54 = 0, 3*a + 90 = -5*i + 2*a. Let u be (1/3)/((-6)/i). Solve 5 - u = 4*s for s.
1
Let u be 1 - 1*(2 - 5). Suppose 2*y - 2 = -2*y - 5*s, 0 = u*y + 2*s - 8. Suppose -2*p + 2*x = 1 - y, 0 = -3*x + 12. Solve 2*d + 1 = p for d.
2
Let p(o) = o + 20. Let s be p(-15). Suppose 27 = s*z + m + 9, 5*z - 12 = -4*m. Solve z*k - 21 + 1 = 0 for k.
5
Suppose -5 - 10 = 5*f. Let n(o) = o**2 + 2*o. Let m be n(f). Solve -3*s - m + 0 = 0 for s.
-1
Suppose 0*i = -2*i + 4. Solve i*b + 1 = -3 for b.
-2
Suppose -1 + 9 = 2*n. Solve n*o - 10 = -o for o.
2
Suppose -l - 2 = -2*o, 5*l + 4*o - 14 = 2*l. Solve 3*n + 5 = l*n for n.
-5
Let r(a) = -4*a - 1. Let u be r(-2). Suppose 12 = i - 4*i. Let b = u + i. Solve -1 = -b*p + 5 for p.
2
Let m = -23 + 27. Solve 5 = m*t - 7 for t.
3
Let d be (0 + 2)/(-1 - -2). Suppose 2 - 6 = -d*z. Solve 0 = -z*q - 3*q for q.
0
Suppose 0 = -3*r + 2*r - 2. Let g be -5 + 4 - (r - 1). Solve -2*p + g = -p for p.
2
Suppose 5*k - 2*m - 29 = 0, -4*k - 2*m - 2*m + 12 = 0. Let p = 6 - 3. Solve 0 = k*s - p*s for s.
0
Let u be 6/(-15) + (-2)/(-5). Let a = 0 - u. Suppose a = 3*f - 0*f - 12. Solve 1 + 3 = -f*r for r.
-1
Suppose -i - 29 = -2*v, -v - 3*v + 70 = 2*i. Solve -3*q + v = q for q.
4
Let k(m) = m - 5. Let f be k(6). Solve 0 = r - 2*r + f for r.
1
Let t = 1 + 3. Suppose 1 = 5*m + t*l + 2, 0 = -2*m - 5*l - 14. Solve -1 + 10 = -m*g for g.
-3
Let s(h) = h**2 + h + 27. Let l be s(0). Let t = 5 + -3. Suppose 25 = 3*k + t*k. Solve k*c + l - 7 = 0 for c.
-4
Let h be 2/(-5) + (-84)/(-35). Let j(r) = r + 2. Let d be j(-2). Solve -u + h - 1 = d for u.
1
Suppose -4*i = 20, -35 = -5*f + 4*i - 0*i. Solve -k - 5 = -f for k.
-2
Suppose -2*i = 2*i + 24. Let h be (-2)/3*9/i. Solve 3*x + h = -2 for x.
-1
Suppose n = -o + 6*n + 9, 0 = -4*o - n + 15. Suppose j - 2*l - o = 0, -l + 2 = -2*j + 7. Solve -2 = j*u - 6 for u.
2
Let m(i) = -i**3 + 16*i**2 + 17*i + 2. Let f be m(17). Solve -2*v - f - 2 = 0 for v.
-2
Let v(o) = -9*o + 8*o - 12 + 0*o. Let n be v(-14). Solve 0*a = -n*a + 10 for a.
5
Suppose u = -u + 36. Solve -5*y - 7 = u for y.
-5
Let f = 11 - 4. Suppose 0 = 3*b - 5 - f. Suppose 2*j - z = 7, 2*j = z - b*z - 13. Solve 3*r + 11 = -j for r.
-4
Let u be 14/2 + (-9)/((-63)/(-14)). Solve 1 = 4*q + u for q.
-1
Suppose -4*c = -3*c. Suppose -5*m = -2*k - k + 16, c = -m + 1. Solve -3 = -2*b + k for b.
5
Suppose 4*t - 6*t - 2 = 3*f, f = -2*t + 6. Solve 0 = t*q - 2*q - 9 for q.
3
Let m = -12 - -16. Let b(q) = -q + 3. Let h be b(0). Suppose 46 = -g + h*g. Solve -3 = -m*n - g for n.
-5
Let s = 38 - 38. Solve s = -3*x - 3 - 3 for x.
-2
Suppose -5*m = 2 - 22. Let l(o) = o**3 + 6*o**2 + 2*o - 3. Let x be l(-4). Let f be (0 + 1)*(x + -4). Solve m*j - 3 = f for j.
5
Let y(s) = s**2 + 1. Let r be y(0). Solve -o + r = -0 for o.
1
Let p(v) = v - 1. Let h be p(6). Let w be -1 + 1 + 10/h. Solve -f = -w*f for f.
0
Suppose -n = 3*r - 3 + 16, n = 3*r + 17. Suppose -2 = -5*t + 43. Solve -s - t = n*s for s.
-3
Let j = 14 - 12. Suppose j*t - 17 = 23. Solve -4*l - l - t = 0 for l.
-4
Let a be 32/14 - 6/21. Solve 7*g + 20 = a*g for g.
-4
Let h be ((0/(-1))/(-3))/(-2). Suppose -4 = -2*x - h*x. Suppose -i - 9 = x*i, -2*g = -i - 3. Solve 2*c + c = g for c.
0
Suppose -5*v - d + 22 = d, -3*v = -d - 11. Suppose 3*m + p - v = 2*m, 3*m = -p + 14. Solve -4*s + 25 = m for s.
5
Suppose -w + 0 + 3 = 0. Suppose -2*l - z = -l, 0 = w*l - z. Suppose -r + 4*s = -17, -2*r - 3*s + 11 = 2*r. Solve l*p = r*p for p.
0
Let m(a) = -2*a - 31. Let p be m(-19). Solve -2*l + 3 = p for l.
-2
Let h(v) = -v**3 - 2*v**2 + 2*v - 4. Let c be h(-4). Let m be -1*(1 + 0 + -6). Solve 0*n + m*n - c = 0 for n.
4
Suppose -4*u - 14 - 18 = 0. Suppose 0 = 2*v - 4*o + 12, 3*v - 3*o + 16 = v. Let c be v/u - 10/(-40). Solve 3*k = -c*k for k.
0
Let v = -145 - -148. Solve v*i - 12 + 3 = 0 for i.
3
Let d be 2 - (4 + -2) - -5. Let s(n) = n**3 + 9*n**2 + n - 3. Let o be s(-7). Let f be (-1)/(-6) + o/48. Solve 3 = f*i - d for i.
4
Let h be (-1638)/(-66) - (26/(-22) + 1). Let o be 46/3 - 2/6. Suppose s = -2*m - 4, 5*m + 3*s + o = 3. Solve -4*v - v + h = m for v.
5
Let i(k) = -k. Suppose 0 = 3*g - 6*g. Let a be i(g). Solve 0 = -a*h + h for h.
0
Let m(v) = -v**3 - 7*v**2 - 6*v + 5. Let k be m(-6). Suppose -k = 3*d + s - 4, -2 = -5*d + 2*s. Solve d = -j + 2 for j.
2
Let o = 88 - 84. Solve -d = -o + 1 for d.
3
Suppose 0 = -2*p - 10, -2*o + 0*p + 16 = -2*p. Solve o*y + 5 - 20 = 0 for y.
5
Let v = 4 - 0. Let a = -11 - -19. Let z = 0 + 0. Solve a = v*f - z*f for f.
2
Suppose -5*x = -21 - 39. Solve 5*q - q = -x for q.
-3
Let p(b) = b**3 - 13*b**2 + 14*b - 6. Let o be p(12). Let i be (2 - -7)*4/o. Solve i*m = -3*m + 20 for m.
4
Suppose 0*o - 4*o - 3*l + 41 = 0, o = -3*l - 1. Suppose -s = -o + 4. Let k be 341/66 - 2/12. Solve k*r = s - 0 for r.
2
Let x be (-56)/(-21) + 2/6. Suppose 2 = -4*b - 2*a, 0*b - 4*a - 14 = -2*b. Solve b + x = -g for g.
-4
Suppose 0 = 5*p - 16 - 9. Suppose -2*o + p = f, -2*o + 4*f + 4 = -4*o. Solve o*j - j = -6 for j.
-2
Suppose -4*u + 3*u + 7 = 0. Suppose -w = a + 2, 3*w + a = -w + u. Solve 0 = -w*s - 0*s for s.
0
Suppose 3*v - 3 = 4*h - 8, -2*v + 25 = 3*h. Solve 2*o - h*o = 9 for o.
-3
Suppose 0 = f + 3, i + 2*f + 1 = -1. Suppose 5*z + i*p = 2*p + 40, -4*z + 29 = p. Solve z*a = a + 20 for a.
4
Let t = 0 + -4. Let l be 6/15 + t/10. Solve -4*b + 3*b - 4 = l for b.
-4
Suppose -17*m + 13*m + 16 = 0. Solve 0 = -m*c + 2 + 18 for c.
5
Suppose 3*r + 10 = -4*o, 3*r - 5*o - 16 - 10 = 0. Suppose 0 = 4*m + 4*p - 9 - 3, 3 = -2*m + p. Solve r*x = -m*x + 2 for x.
1
Suppose -4*h - 22 + 22 = 0. Solve 5*g - g + 20 = h for g.
-5
Let u(k) be the first derivative of k**2/2 - 2*k + 1. Suppose -3*x = -3, -2*d = 4*x - 6*x - 10. Let w be u(d). Solve w*q + 10 = -q for q.
-2
Suppose 5*a - 21 = 4*n, 5*n = 2*a + 2*a - 24. Solve -a = -5*d - 11 for d.
-2
Suppose 5 = -r, -5*l + 2*r = r - 25. Solve 0 = -t - l*t for t.
0
Let u = -2 + 6. Suppose 4*q - 6*q = -u. Suppose 0*t = -q*t. Solve t = 3*s + s + 12 for s.
-3
Suppose -2*t - 5 = -3*w, -t + 8 = 2*w - 0. Suppose 3*a + 13 = t*h, a - 1 = -0*h + 2*h. Let m = a + 7. Solve 3*u + 7 - 16 = m for u.
3
Let b be ((-5)/2 - -3) + (-6)/(-4). Solve 0 = -b*n + n - 1 for n.
-1
Let d be (-10)/4*(-20)/25. Solve -2*w = -4*w 