Let x(l) = -1 + 8 + 2 - l - 1. Let o be x(5). Solve -1 - o = -4*v for v.
1
Suppose -4*d + 3*y + 26 = 0, 3*d - 5*y - 1 = 13. Let x(f) = -2*f - 26. Let o be x(-19). Solve d = -5*h - o for h.
-4
Suppose 13 = -0*n + n. Suppose n = 5*a + 3. Suppose 2*l + t = l + a, 2 = -t. Solve u + u = l for u.
2
Suppose -10 = -4*x - 2*d, x = -0*d + 3*d + 13. Suppose 4*b - 4*j = j, 0 = 5*b - x*j. Solve g - 3*g = b for g.
0
Suppose -2 = 2*n - 3*n. Suppose 3*c - 8 = 4*c. Let z = c - -12. Solve z*r - 14 - n = 0 for r.
4
Let q be 48/20 + 6/(-15). Solve -q = 3*h + 13 for h.
-5
Suppose -5*l - 6*l + 99 = 0. Solve 4*r + 11 + l = 0 for r.
-5
Let j(d) = d**2 - d. Let s be j(2). Suppose -26 = 3*p - 5*z, 3*z - 5*z + 12 = -2*p. Let u = 6 + p. Solve 14 = -u*m + s for m.
-3
Let c be -1*5*(-2 - -1). Suppose -5*v + 22 = -3*v. Suppose 3*q = -2*g - v, 7 + 18 = -c*q. Solve 0*w - g*w = 4 for w.
-2
Suppose 11 = -5*c - 4*o - 4, -o = -2*c - 6. Suppose 0 = -n + 3. Let t = n + c. Solve 4*k + 10 + 6 = t for k.
-4
Suppose 0*b + 149 = -5*h + 3*b, 2*b = 4*h + 118. Let s = h - -43. Solve 5 + s = 5*d for d.
4
Let n(u) = -u - 4. Let c be n(-4). Let t = 10 - 10. Solve f + t*f = c for f.
0
Suppose -2*b + 2*o + 9 = -1, -o = -3*b + 5. Solve -3*f + 4 + 2 = b for f.
2
Let t be (-22)/5 - (-4)/10. Let f = -4 - t. Let v be (-4)/(-2) + -1 - -1. Solve w + v + 2 = f for w.
-4
Suppose 0 = 3*a - 10 - 5. Suppose -a*z + 6 = -2*z. Solve -15 = 3*o + z*o for o.
-3
Suppose -4*i - 4*p = -24, -5 = -5*i + 4*p + 7. Suppose -8*q = -4*q. Solve i + q = -a for a.
-4
Let g be ((-6)/(-9))/(2/(-9)). Let z be g - 4/(2 + -3). Solve 0 = h + z - 2 for h.
1
Let m be (0 - 1) + 2/2. Suppose 2*b = 4*d, 0 = -3*d + b - m*b. Suppose -26 = -5*k - 6. Solve 16 = -d*y + k*y for y.
4
Let l(w) = -w + 9. Let n be l(6). Solve -2*u = u + n for u.
-1
Let s = 8 - 3. Let k = 1 - -1. Let x = s - k. Solve -8 - 1 = x*l for l.
-3
Suppose 0 = 4*b + 15*b. Solve b = -2*y + 4 - 2 for y.
1
Let w = 5 - 9. Let c be (-10)/(-15) - w/(-6). Solve 0 = -c*h + 5*h for h.
0
Let r be (4 + 5)/((-3)/(-2)). Suppose -r*x + 5 = -7. Solve 2 + x = -2*u for u.
-2
Let z be -3 + 0 + (0 - -4). Solve -3*x = -4*x - z for x.
-1
Suppose 8*o + 3*o - 22 = 0. Solve g - o = -g for g.
1
Let d(j) = 21*j + 2. Let l be d(-4). Let k = -46 - l. Suppose -y = 2*y - k. Solve y = 3*h - 6*h for h.
-4
Let i = -12 - -36. Suppose -5*k + 0*u - 4*u = 8, -5*k + 2*u - 26 = 0. Let l be ((-6)/4)/(k/i). Solve 0 = c - 4*c - l for c.
-3
Let p(i) = 4*i**2 + 1. Let q = -13 - -12. Let r be p(q). Let f = 28 + -17. Solve -r*j + f = -4 for j.
3
Let r(b) = b + 3. Suppose 3 = p - 2*p. Let x be r(p). Solve x*u - 4*u = 16 for u.
-4
Let h be (-2)/7 - (-80)/35. Suppose -4*m + h - 18 = 0. Let b be 14/4 + (-2)/m. Solve 0 = 3*n + 2 + b for n.
-2
Let s be (-4 + 2)/(9/(-18)). Solve -s*d - 18 = 2 for d.
-5
Let b(k) be the first derivative of k**3/3 - k**2 + 2*k + 10. Let s be b(2). Solve -s = -g + 3*g for g.
-1
Let m(y) = -y + 1. Let h be m(-4). Suppose 0 = 2*p - h*p + 9. Suppose 2*f - p*b + b = 2, 0 = 5*f + b + 1. Solve f = -r - 2*r + 3 for r.
1
Let x(u) = -u**2 + 4*u + 9. Let m be x(5). Solve m*z - 4 - 12 = 0 for z.
4
Let u(o) = -19*o - 76. Let f be u(-5). Let l = 12 + -7. Solve -l*q - f = -4 for q.
-3
Suppose -h + 5*k = 13, -2*h = k + k - 10. Solve -h*i - 15 = 3*i for i.
-3
Suppose -7*l - g = -2*l - 43, -l - 4 = -4*g. Let q be (2 - 2) + l + 1. Solve q = -f - 2*f for f.
-3
Suppose 27 - 22 = r. Solve -r = -z - 4*z for z.
1
Let d be 2/(-9) - 94/(-18). Let a(w) = -d + 3 + 1 + w + 0. Let p be a(2). Solve -b + p = -0*b for b.
1
Let n be ((-3)/(-6))/(1/8). Suppose g - 5*t + 7 = 3*g, -4*t + 6 = 2*g. Suppose 4*y = 3*x + 13, 0*y + y = 3*x + g. Solve -n*a = -y - 8 for a.
3
Let l(g) = -g**2 + 7*g - 9. Let q be l(4). Solve 0 = 2*j + q + 7 for j.
-5
Let d be ((-24)/10)/((-1)/5). Solve 6*g = 3*g - d for g.
-4
Let j be 0 + (-1 + -1)*(-6)/4. Solve -j*r + 6 = -r for r.
3
Let i be 3/12 + (-9)/(-12). Solve -2*c - i + 3 = 0 for c.
1
Suppose 8 - 8 = 3*a. Solve 5*i + 25 + a = 0 for i.
-5
Let j be (-11 + 12)*3*1. Solve -2*r = j*r for r.
0
Let u(v) = -v**2 + 7*v - 3. Let c be u(5). Let d = c - -8. Solve 0*p - d = -5*p for p.
3
Suppose 2*d + 0 = 4. Suppose 3*z - 33 = -5*t - 0*t, -d*z = 2*t - 22. Solve -4*x = -1 - z for x.
3
Let n = -9 - -23. Let u = -12 + n. Solve u*b - 5 - 5 = 0 for b.
5
Let j(n) = -n + 15. Let c be j(13). Let o = 8 - 5. Solve c = o*i - 1 for i.
1
Let g(c) = -2*c - 1. Let d be g(-2). Suppose 0 = -d*m + 4*m - 2*n - 13, 0 = 4*m - 5*n - 37. Solve -y = -2 - m for y.
5
Let c(b) = -b**2 + b + 1. Let i(p) = -5*p**2 + 12*p - 3. Let x(d) = -4*c(d) + i(d). Let u be x(6). Solve u*f - 14 + 4 = 0 for f.
2
Suppose -2*z + 9 = -3*v, -2*z - z - 2*v - 6 = 0. Suppose -4*x = -12 - z. Let f be -1 + x - (0 + 0). Solve -f*i - 3*i - 25 = 0 for i.
-5
Suppose 5*l + 50 = -0*l. Let p = l - -12. Solve 3*b + p + 7 = 0 for b.
-3
Let c(n) = -n**2 + n + 10. Let w be c(0). Let g(i) = -i**3 + 6. Let o be g(0). Solve o*a + w = a for a.
-2
Let n be 4 - (0 + (-4)/4). Solve n*o - 2 = 6*o for o.
-2
Let u(a) = 16*a + 6. Let n be u(5). Suppose -4*v + 2*z + n = 0, 68 + 12 = 4*v - 4*z. Suppose y - 5*l = v, 3*y - 2*l - 9 - 8 = 0. Solve y + 0 = -i for i.
-3
Let h be (-8)/28 - (-216)/21. Solve 4*t = 2*t - h for t.
-5
Suppose 4*p + 4*s - 9 - 11 = 0, -6 = -2*s. Let d be 2 + (-4)/p + 0. Solve -3*w + d*w = 6 for w.
-2
Suppose d = b + 2, 0 = 2*b + 4*d + 1 + 15. Let r = 4 + b. Solve r = 4*i - 0*i for i.
0
Let c(g) be the first derivative of g**3/3 + g - 1. Let w be c(-1). Suppose b - 5 = 5*b + 5*x, 3*b - w*x = 2. Solve 0 = 3*n - b*n + 9 for n.
-3
Suppose -1 = h - 0*h, 5*u + 3*h - 17 = 0. Suppose -u*f + 4 = -4. Let m be (-2 - (f + 1))*-1. Solve -y + m*y - 12 = 0 for y.
3
Suppose 3*y - 7 = -5*g - 0, 4*g - 8 = -3*y. Solve -x = y*x for x.
0
Let q be (32/(-20))/(2/(-40)). Let c = -20 + q. Solve -3*z - z - c = 0 for z.
-3
Let c be ((-90)/(-21))/5*-7. Let t be (12/(-15))/(c/15). Solve t*k + k - 9 = 0 for k.
3
Suppose -8*p + 110 - 46 = 0. Solve p = 2*o + 6 for o.
1
Let v be (-4)/(-22) - 4/22. Solve v = 3*q + 1 - 7 for q.
2
Suppose 0 = -a - 2*g, -3*a + 0*g - 4*g - 8 = 0. Let q be 2/(-8) - 50/a. Suppose 3*h = q*h. Solve l + 2 - 5 = h for l.
3
Let m = 13 + -7. Suppose m*j - j - 20 = 0. Suppose 0*x + 4 = j*x. Solve -2*y = -1 - x for y.
1
Suppose 4*u + 16 = -3*m, 4*u + 16 = -3*m + 7*m. Let x = 36 + -17. Suppose 4*b - 5 = x. Solve -b = -2*p - m*p for p.
3
Let c be (-15)/25 - (-43)/5. Suppose -c*q = -13*q. Solve q = -4*y - 4 for y.
-1
Let z = 32 + -19. Let x = 7 + z. Solve 5*b = b + x for b.
5
Suppose 6 + 6 = 4*c. Solve -y - c = 1 for y.
-4
Suppose 3*u = a + 10, 12 = -3*u + 7*u - a. Solve u*y = 5*y + 9 for y.
-3
Let i(a) = -a**3 - 4*a**2 + 4*a - 3. Let h be i(-5). Let f be 4 + (5 + -2 - h). Let b be 2/f + (-84)/(-15). Solve 0 = 3*j + b for j.
-2
Let y = -13 + 22. Let o = -2 + 6. Suppose o*x = x + y. Solve -x*n - 7 = 8 for n.
-5
Let h be 2/5 + (0 - 4/10). Solve h + 5 = 5*w for w.
1
Let m = 8 + -6. Let f = 7 - 4. Suppose -f*i = -7*i + 60. Solve m*z + z = -i for z.
-5
Let m = -105 + 106. Solve m = 5*v - 14 for v.
3
Let v be ((-2)/10)/((-2)/10). Let o = 1 - v. Solve o*k + 12 = -4*k for k.
-3
Let n be 27/15 - 1/(-5). Suppose 2*h - 9 + 35 = 4*f, 0 = 5*f + 5*h - 55. Suppose -5*t = -t - f. Solve -t*w + 3*w = n for w.
2
Suppose o = 1 + 2. Let z = o - -1. Solve -5*s + z = 14 for s.
-2
Suppose 1 = -3*d + 10. Solve -5*f - d = 17 for f.
-4
Let c = -20 - -21. Solve 4*y + c = 13 for y.
3
Suppose 3*t - 22 = v, -t = 5*v + 4*t + 50. Let a = v + 23. Let r be (18/a - 1)*5. Solve 0 = -g - r*g - 25 for g.
-5
Let p(o) = o - 4. Let y be p(6). Let k(t) be the first derivative of t**2 - 3*t + 2. Let v be k(y). Solve v = 5*c - 4 for c.
1
Let f(c) = -c**2 - 17*c + 43. Let o be f(-19). Solve 0 = x - o + 7 for x.
-2
Let w = 134 + -90. Suppose w + 4 = 4*o. Solve -q - 3*q = o for q.
-3
Let b be 1/2 + (-2)/4. Let p = -2 + 3. Let c = 7 + p. Solve b = 3*z - c - 7 for z.
5
Let f = 14 - 12. Solve f*w - 1 + 5 = 0 for w.
-2
Suppose -3 = 3*x + 2*m + 10, 4*x - 4*m + 4 = 0. Let b be (x - 34/(-10))*5. Let o be 0/(b - 0/3). Solve o = 3*s + s - 4 for s.
1
Let f = 18 - 12. Suppose 9 = -0*a + 3*a. Solve 3 + f = -a*n for n.
-3
Let f be 0 - -1*(1 - -1). Let t be ((-6)/(-8))/((-48)/(-128)). Solve q - t*q = -f for q.
2
Let v(p) = p**3 - 10*p**2