0
Let f = 35 - 23. Suppose 5*a - o - 10 = 0, -2*o = -2*a - 0*o + f. Let b = 3 - a. Solve -b*h + 2 = -0*h for h.
1
Suppose -11*t + 105 = -27. Solve -t = -2*l - 4 for l.
4
Let g = -19 - -9. Let s = g - -16. Solve 0*i - s = -2*i for i.
3
Let j be -1 - ((0 - 4) + 1). Solve 0 = -j*k - 9 + 1 for k.
-4
Let x be (-15)/2*4/(-3). Let i be 135/(-18)*(-8)/x. Let p = -2 + i. Solve o = -o - p for o.
-2
Let v(o) = o + 1. Suppose -4*f + 12 = -2*r, -4 = 5*f - 5*r - 19. Let t be v(f). Suppose 2*s = 2*n + 10, 0 = t*s - 3*n + 4*n - 25. Solve 5*k = -s + 1 for k.
-1
Let f(l) = 2*l - 4. Let m be f(-3). Let s be 708/30 + (-4)/m. Suppose 0 = -0*d - 3*d + s. Solve d = -2*b + 2 for b.
-3
Suppose 0*w = w. Solve 0 = -3*i - w*i for i.
0
Let u be -1 - ((-3 - 33) + 2). Solve -5*l - 8 = -u for l.
5
Let m(z) = z**3 + z**2 - 3*z - 3. Let k = -6 - -4. Let c be m(k). Let b be c - (-2 + (-2)/(-2)). Solve -l + b*l = -1 for l.
1
Suppose -20 = 5*a + 2*o + 22, -o = -2*a - 24. Let g = 10 + a. Solve g = -4*w + 27 - 7 for w.
5
Suppose 5 - 21 = -2*m + 2*u, -2*u = 8. Solve m - 1 = q for q.
3
Let v be 0*(-1 - 3/(-2)). Suppose -4*q + 17 + 3 = v. Suppose q*j + x = -0*x - 5, 5*j = x + 5. Solve j = -4*c - 1 + 5 for c.
1
Let l be -4 - (-35)/(8 - 3). Solve 1 = -2*k - l for k.
-2
Let q = 11 - -9. Let h(a) = -a**3 + 4*a**2 - a - 2. Let y be h(2). Solve -y*x + q = x for x.
4
Let i(y) = y**3 + 3*y**2 + y + 1. Let h be i(-3). Let v be 95/20 + h/(-8). Solve -v*f = -3*f for f.
0
Suppose 0*y - 2 = -2*y. Let p = 1 - y. Solve 3*o - 6 - 3 = p for o.
3
Let n be (-3 - 6)*(1 + -2). Suppose 11 = 5*f - 4*s - 0*s, 2*f + 3*s = n. Let w(q) = q**3 + 2*q**2 - 4*q + 3. Let u be w(2). Solve -f*r = -u + 2 for r.
3
Suppose c - 5*j - 15 = 0, -3*c + 5*j = 2*c + 5. Let m = c - -5. Suppose 5*t - 15 = -0*t. Solve m = -t*n + 19 - 4 for n.
5
Suppose i - 2*c = -0*c + 13, -5*i + c = -74. Solve 3 = 3*v + i for v.
-4
Let f be 36/3*(0 - 1). Let a be 0/((f/(-2))/3). Let n be (a*3/6)/(-1). Solve m - 7 + 2 = n for m.
5
Let y(j) = j + 3. Let i be y(-3). Suppose -2*h + 41 = -5*w, -h - 24 = 3*w - 2*h. Let o(s) = s + 9. Let k be o(w). Solve k*g + 4 = -i*g for g.
-2
Let v be ((-2)/3)/(6/(-9)). Solve -2*f + v - 7 = 0 for f.
-3
Let u be (-8)/((-12)/3) - 0. Solve 2*l + 16 = -u*l for l.
-4
Let n = -7 - -5. Let w be 2 + (n - 24/(-2)). Solve 0*o + w = -3*o for o.
-4
Let l be ((-1)/(-3))/((-10)/30)*-4. Solve 9 = -u + l*u for u.
3
Suppose -7*c = -3*c. Suppose 4*w = -0*w + 20. Solve c*r + w*r = 0 for r.
0
Let w(o) = -o**3 - 5*o**2 - 3*o + 4. Let j be w(-4). Suppose 4*x - 6 + 2 = j. Solve -4*p + 3 = -x for p.
1
Let u be (-1)/6*-9*(-56)/(-6). Solve -4*b + 2 = u for b.
-3
Let t be 0 + 2/(-2) + -1. Let o(d) = 14*d**2 - 17*d - 11. Let j(g) = 5*g**2 - 6*g - 4. Let q(h) = 17*j(h) - 6*o(h). Let m be q(t). Solve -m*s = -3*s + 2 for s.
2
Let k be ((-6)/4)/(33/(-22)). Solve 3*s - k = -4 for s.
-1
Let q = -5 - -9. Let m be 2/2*(0 + -3). Let r = 3 + m. Solve -q*x + r = -8 for x.
2
Let d be ((-4)/3)/(4/(-6)). Let f(c) = c**3 + 11*c**2 + 11*c + 13. Let v be f(-10). Solve 5 - v = -d*r for r.
-1
Suppose c + 0*c = 2. Let m = -19 - -35. Solve 0 = -6*q + c*q + m for q.
4
Let z(k) = -k**2 - 8*k + 1. Let h be z(-3). Solve 3*w - h = 7*w for w.
-4
Let p = 15 - 10. Let d be (5 - p) + 9*1. Solve d = f - 4*f for f.
-3
Suppose 4*i = 5*y + 24, 5 + 7 = 2*i - y. Solve 0 = v - 3 + i for v.
-3
Let c be -1 - 3/((-9)/12). Solve c*s + 20 = -s for s.
-5
Let r(i) = -i**3 - 4*i**2 - 4*i + 1. Let n be r(-3). Suppose 6*p - n = 5*p. Suppose -2*h - 58 = -5*a - 7, 3*a - 2*h - 33 = 0. Solve 5 = -a*z + p*z for z.
-1
Suppose -2*j = 5*g - 3*j - 3, -4*j - 12 = 4*g. Solve 0*l - l = g for l.
0
Let m(t) be the first derivative of -t**2/2 - 3*t - 2. Let u be m(-5). Suppose 3*i - 10 = -2*i + w, 3*i = -3*w + 24. Solve i*p = u*p + 5 for p.
5
Let f be 7 + -11 + 9 + -2. Solve 0 = -f*v - 0*v - 9 for v.
-3
Let s(b) = b**3 + 5*b**2 - 2*b - 5. Let t be s(-5). Suppose 0 = -t*l - 1 + 16. Solve l*a - a + 6 = 0 for a.
-3
Let b be ((-1)/2)/(11/(-44)). Suppose -b = 3*f - 11. Solve -2 = -h + f*h for h.
-1
Let x be 3/18*-2*-12. Suppose 5*h - 2*h - 4 = 2*c, x = -5*h - 2*c. Solve 3*o - 6 - 3 = h for o.
3
Let a(x) = x**2 - 3*x + 2 - 2*x**2 - 4*x. Let f be a(-6). Let j = 1 - 1. Solve j = b - 3*b - f for b.
-4
Suppose 0 = -3*g + g. Let p be (-3)/((-6)/(-4)) - -8. Solve g = -p*a + a for a.
0
Suppose 0 = b + 2*b - 6. Suppose 5*q + b*m - 19 = 57, -47 = -4*q + 3*m. Solve 4*v + q + 6 = 0 for v.
-5
Let q(k) = -20*k**2 - 32*k. Let u(r) = 7*r**2 + 11*r. Let x(b) = -6*q(b) - 17*u(b). Let d be x(-5). Suppose d = 3*c + c. Solve -2*s + 3*s - 3 = c for s.
3
Let x = -54 + 57. Solve x*w = 6*w + 6 for w.
-2
Let l = 7 - 3. Suppose 0*z = 5*t - 2*z - 17, 0 = z - l. Solve a = t*a + 20 for a.
-5
Let q be (0 - 6)*(13 - 11). Let p be 18/q*(-4)/3. Solve n - 1 = p for n.
3
Suppose 3*z + 0 - 12 = 0. Suppose -27 = p + 5*n, 0*n = 3*p - 2*n - z. Let o be p + (2 - (-2 + -1)). Solve 2*a = -o + 1 for a.
-1
Let t = 3 - 1. Let y(r) = 2*r**3 + 2 - r**3 + 1 + t*r - 3*r. Let w be y(0). Solve d = -w*d for d.
0
Let h = 83 + -79. Solve 14 - h = -2*f for f.
-5
Let s = -3 - -1. Let i be (s + 1 - 0)*-3. Suppose h = i + 4. Solve h + 1 = 2*r for r.
4
Suppose -4*u = 2*m + 2, -5*m + 0 = -2*u - 31. Suppose -m*d + 10*d + 45 = 0. Let c = d - -13. Solve c*y - 8 = 8 for y.
4
Let t = 57 - 52. Solve -4*d = -3*d + t for d.
-5
Let c be 4/(-32) - 147/(-24). Solve -3*f - 9 - c = 0 for f.
-5
Let n be (15/(-10))/((-6)/(-16)). Let p be ((-3)/6)/1*n. Solve 4*c - p*c = 4 for c.
2
Let q = 8 + -4. Solve 0 = -h - q*h for h.
0
Let z be 4*45/20*1. Solve 3*t = -z - 0 for t.
-3
Let u be (-20)/(-9) - 4/18. Suppose -3*r + u*z - 3 = 1, z - 2 = 2*r. Solve r = g + g + 6 for g.
-3
Let w(s) = 3*s**2 + s + 1. Let z be w(-1). Suppose 0 = -z*l - h + 1, -4*h + 4 = 3*l - 2*l. Let y = 11 - l. Solve 4*m - y + 3 = 0 for m.
2
Let y be (21/3 - 2)*-3. Let n = y + 41. Suppose p + 22 = -5*z, 7*z = 2*p + 3*z - n. Solve -p*i + 6 = -i for i.
3
Let h be (-63)/(-13) + (-801)/117 + 7. Solve -4*i - 7 = h for i.
-3
Suppose 2*i = 4*l - 10, 3*l - 6*l + i + 9 = 0. Solve -7 = l*u + 9 for u.
-4
Let f = 2 + 0. Let m = f + 1. Suppose 0*q = 4*q. Solve q - m = -w for w.
3
Suppose u + 4 = 5. Solve u = -2*q + 5 for q.
2
Let i(t) = t**3 + 5*t**2 + 5. Let a be i(-5). Suppose a*z - 9 - 6 = 0. Let p be (z/4)/(9/36). Solve -o = -p + 4 for o.
-1
Let f(y) = y**2 - 7*y + 9. Let j be f(6). Let a be ((j - 5) + 3)*5. Solve -n + 2 = a for n.
-3
Let m(j) = j**2 + 12*j - 45. Let i be m(-15). Solve -l = -2 - i for l.
2
Suppose -2*m = 3*m - 25. Solve 0 = m*p + 7 + 3 for p.
-2
Suppose 5*c + 14 = -3*y + y, -c = 5*y - 11. Suppose -4 - 4 = -3*b - 4*g, 6 = -b + y*g. Solve b = -2*o + 3*o for o.
0
Suppose -10 = -2*a, 2*a - 20 = -5*q - 2*a. Let t be 1/(-2)*(-24)/6. Suppose 4*x - 2*i + 12 = -5*i, -x - i - 4 = 0. Solve x = 2*h - q + t for h.
-1
Let s(o) = 3*o - 1. Let r be s(1). Let i be ((-9)/6)/(r/(-4)). Solve 9 = 2*p + i for p.
3
Let y = 4 + -2. Suppose 0 = -3*c - c + 2*d + 28, -5*c + 5*d = -30. Suppose 0 = -4*a - 5*a + 18. Solve -c = -a*j + y for j.
5
Let s be (-4)/8*0/1. Suppose 3*y = 9, 3*i + s*y = -y + 3. Let j be (-2)/(-1) + (0 - 2). Solve i*g - 2*g + 4 = j for g.
2
Let y be ((-30)/165 + 15/22)*12. Solve y = 2*o - 0 for o.
3
Let d(c) = -c**2 + 5*c - 2. Let p be d(4). Solve 4 = -p*o + 4*o for o.
2
Let q be (1 - 2 - 0)*1. Let n = q + 1. Solve n = -0*y - y + 1 for y.
1
Suppose -10*u + 85 = 25. Solve 0 = u*w - w - 5 for w.
1
Let q = 10 - -3. Let n = q + -8. Let h = n - 2. Solve 3 = h*i + 18 for i.
-5
Let x(y) = y**3 + 2*y**2 - 4*y - 1. Let o be x(-3). Let q be (-1 - -1)*(-1 - 0). Solve 4*t - 2 - o = q for t.
1
Let g(z) = 8 - 1 + z + 10. Let v be 1/(37/(-12) + 3). Let i be g(v). Solve n + i = 2*n for n.
5
Suppose 5*l + 21 = 4*m, -6 - 3 = -m + 5*l. Suppose -2*n - 66 = -3*a, -2*n = 2*a - m*a + 68. Let u be (n/10)/(2/(-5)). Solve s + u = 4*s for s.
3
Suppose -q + 12 = 2*q. Suppose 2*s = q*s. Solve s = 4*l - 0*l for l.
0
Suppose -2 = -7*m + 26. Solve -r = r - m for r.
2
Let f = 24 - 22. Suppose -5*x + 3*n = -n - 19, 0 = f*x + 5*n - 1. Solve 2*j = -1 + x for j.
1
Let i(x) be the third derivative of 3*x**4/8 + x**3/6 - 4*x**2. Let u be i(1). Solve 3*p = 5 + u for p.
5
Suppose 0 = -o + 3 - 1. Suppose 0 = -p - o*p. Solve 5 = -f - p for f.
-5
Let h(m) = -m