.
-4
Let v be (-1 + 1)*-1*(-4)/(-8). Let c = 6 + 0. Solve c = 2*u - v for u.
3
Let p(h) = h**3 - h**2 - h + 2. Let c be p(0). Let z be (-3 + 5 - c)/1. Let l = z + 5. Solve -l*j = -j - 12 for j.
3
Let g(m) = 6*m + 31. Let z be g(-5). Solve 2*v + z + 7 = 0 for v.
-4
Let o = -1246 - -1249. Solve o*x + 20 = 17 for x.
-1
Let l = 1060 + -1035. Solve -3*i - 34 = -l for i.
-3
Suppose -h + 3 = 5*j - 4, 7 = h + j. Suppose -6 = -h*o + 4*o. Solve 9 = o*w - 1 for w.
5
Let w = -130 + 132. Solve 2 + 0 = -w*h for h.
-1
Let l = -351 + 354. Solve l*m - 15 = -6 for m.
3
Suppose -6 = -w - 2. Solve -m + 1 + w = 0 for m.
5
Let m(a) = -6*a + 2*a**2 + 22 - 3*a**2 + 0*a**2. Let i be m(-7). Solve -i = 2*y + 3*y for y.
-3
Suppose 5*n - 67 = 2*g - 23, -2*g = -2*n + 20. Suppose -6*f + 2*f = -n. Solve 0 = -s + f - 3 for s.
-1
Let o(y) = -6*y + 1 - 2*y**2 + y - 5 + 3*y**2. Let n be o(5). Let p be (-3)/n - (-24)/(-32). Solve -k + p = -2 for k.
2
Suppose -5*f = -l - 40, f - l - 10 = -6. Solve 22 - 4 = -f*o for o.
-2
Let y(b) = -b**2 + 7*b + 4. Let v be y(7). Let q(o) = 2*o**2 + 30*o - 66. Let p be q(2). Solve -p = -u - v for u.
-2
Let l(f) = -f**3 - 7*f**2 + 4*f + 13. Let m be l(-7). Let r(y) = -y**2 - 14*y + 23. Let g be r(m). Solve 2*q = -2*q + g for q.
2
Suppose -4*r + 28 = 4*p, -r - 5*p + 15 = -0. Solve 5*d = r - 0 for d.
1
Let a = 30 - 32. Let q be (-9)/a - (-9)/18. Solve 0*d - q*d = 0 for d.
0
Let v be (-7)/(147/(-6)) - 72/(-42). Solve -t = -v*t - 3 for t.
-3
Let s = 10 - 0. Suppose -3*c = 2*y - 20, -2*y - 5*c = -0*y - 28. Let b = -5 - -7. Solve -y*i - s = b for i.
-3
Suppose -10*w = -7*w - 6. Suppose -4*y - w*b = -136, y - 4*y = 4*b - 92. Let f be y/15 - (-8)/(-20). Solve 2*g = g - f for g.
-2
Let r = -26 + 36. Suppose -2*b + 12 = r. Solve 0*q = q - b for q.
1
Suppose -3*z - 41 = -4*x - 6, z = -x. Let v = 20055 + -20046. Solve 4*q = v*q + x for q.
-1
Let o(m) = m**2 + 35*m + 124. Let p be o(-31). Suppose 7 + 3 = 2*z. Solve p = 5*b - z - 15 for b.
4
Let c(z) = -7*z + 3. Let d(x) = 18*x - 7. Let k(g) = -5*c(g) - 2*d(g). Let h be ((-3)/(-4))/(1/(-8)). Let r be k(h). Solve -r = -2*p + p for p.
5
Let y(f) = 5*f**2 + 33*f - 11. Let o be y(-7). Solve -11*r = -o*r for r.
0
Let c(u) = 2*u + 23. Let q be c(-10). Suppose 8*f + q*f = -f. Solve -5 = l - f for l.
-5
Suppose -3*k + 6*k + 180 = 0. Let v be (20/k)/(1/3). Let s be (1 + -3)/(v/2). Solve z + s = 3*z for z.
2
Suppose -8 = -2*t - 0. Let q(l) = 23*l**2 + l + 4. Let n(s) = 47*s**2 + 2*s + 9. Let f(g) = -3*n(g) + 7*q(g). Let k be f(-1). Solve -t*o = o + k for o.
-4
Suppose -2*q + 7*q - 25 = 0. Let l be -3 - 1*(-205)/q. Let g = -25 + l. Solve 5*i + g = 3 for i.
-2
Let g(m) = -11*m - 2. Let w be g(-2). Let h be 0/(0 - -2 - 3). Let y(p) = -p**3 + 6*p - 4. Let a be y(-3). Solve w = -a*q - h for q.
-4
Let y = 21 - 12. Suppose -4*m + y*m - 41 = -2*f, 5*f = -5*m + 65. Solve 4*p - 12 = f for p.
5
Suppose -35*j + 1092 = 147. Solve -j*i - 40 = -19*i for i.
-5
Suppose 4*d + 3*k - 15 = 0, -4*d + 5 = -3*k - 4*k. Suppose 2 = 2*p - 4. Suppose -10 = -p*h - 2*h. Solve -4*m = -d*m + h for m.
-2
Let n be 93/6 + 0 + 7/(-14). Solve 20*o + 15 = n*o for o.
-3
Let f(b) = 17 - b - 17. Let g be f(-8). Solve y + g = 5*y for y.
2
Let h(k) = 12*k - 213. Let t be h(18). Solve -t*f = -7*f - 12 for f.
-3
Let z(v) = 4*v**2 - 93*v + 25. Let d be z(23). Let i = -2 - -6. Solve 2*l - i*l = -d for l.
1
Let j = 45 - 46. Let m be j/(-5 - -4) - 9*-1. Solve t + t = -m for t.
-5
Suppose 0 = -4*m - 39*a + 34*a + 12, -5*m + a = -15. Suppose -20 = -4*r - 4*p, 0 = 3*r - p - 12 - 7. Solve -m*q = -q + r for q.
-3
Suppose u + y = 14, 0*u + u - 20 = -4*y. Let b be 54/u*32/6. Let l be b/14 + (-10)/(-35). Solve 2*n + l = 4*n for n.
1
Let q(j) = 10*j - 218. Let i be q(23). Solve 14*d + 2 = i*d for d.
-1
Let h = -12 + -6. Let u be 2/(-12) + (-3)/h. Solve u = -5*g + 10 + 15 for g.
5
Suppose -4*t + 4 = 6*r - r, -3*t = 12. Let d be 190/57 - r/(-6). Solve -h - d + 0 = 0 for h.
-4
Suppose 0 = 3*u - 18 + 18. Solve 0 = -u*w - 2*w + 6 for w.
3
Suppose 0 = -2*l + 4*z - 2, -47 = 5*l - 2*z + 6*z. Let g = l - -9. Suppose -7 + 1 = -j - t, g*t = 3*j - 13. Solve -1 = 3*i + j for i.
-2
Let g(y) = y**3 + y**2 - 5*y - 4. Let s be g(-2). Solve -s = -2*l - 10 for l.
-4
Let m = 1109 + -1107. Solve 0 = -m*g + 96 - 88 for g.
4
Suppose -7*a + y - 192 = -11*a, 200 = 4*a + 3*y. Solve 46*n - a*n = -3 for n.
3
Let a be 6/(-21)*(-8 + 1). Suppose -4*v = -0*v. Suppose 2*l = -5*u - 2*l + 27, -4*u - 3 = -5*l. Solve a*i + u*i = v for i.
0
Let p(a) = -3*a + 43. Let q be p(13). Suppose 5*m + 56 = 3*f + 4*m, 4*f - 96 = -q*m. Solve -6*x + x = -f for x.
4
Suppose 4*b = -h - 17, -h + 0 = 5. Let d be (18/12)/(b/(-4)). Solve p = -p + d for p.
1
Suppose -9 = 3*o - 2*s - 1, -2*o - 4*s + 16 = 0. Suppose -2*z - 2 - 6 = -4*q, -q + 3 = o. Suppose 4*b - b = 0. Solve b*t - z*t = -6 for t.
3
Suppose 8*l - 10*l + 14 = 0. Suppose 2*c = l*c. Solve 0 = -c*o - 2*o for o.
0
Let l(i) = -i**3 - 10*i**2 - 19*i + 3. Let n be l(-8). Solve 3 = n*b - 28*b for b.
-3
Suppose 4*j - 2*u - 4 = 3*j, -3 = 3*u. Suppose 13 = 5*z - j. Solve 2*l = -z*l - 10 for l.
-2
Suppose 2*x - 4 = -0. Let i = -33 + 25. Let h be (48/(-20))/(i/60). Solve x = -4*u - h for u.
-5
Suppose -5*z + 8 = -3*r + 38, -3*z = -4*r + 29. Solve 3*i + r*i = 0 for i.
0
Suppose -3*w + 8 = 2*q - 0*q, 4*q - 3*w - 16 = 0. Let v be (-22)/(-4) - q/(-8). Solve j - 5 = v*j for j.
-1
Let b = 25 + -21. Suppose -12 = 2*y - 3*y + 4*x, -5*y = b*x - 12. Solve -5 = -y*r - 25 for r.
-5
Suppose 0 = -4*l - 2*f + 16, -l + 10 = 4*f - 1. Let x be 2/(-1) - (1 - 8). Suppose -s + p - 11 = -l*p, -45 = -x*s - 5*p. Solve -s = 2*i + 3*i for i.
-1
Let h(w) = -w**3 + 3*w**2 - 3. Let c be h(2). Let d(g) = 21*g**3 - 1. Let s be d(c). Solve 3*k - 7*k - s = 0 for k.
-5
Suppose 0 = -18*h + 365 + 121. Solve -h*z + 32 = -35*z for z.
-4
Let c(y) = -2*y + 30. Let d(i) = -8*i + 90. Let n(w) = -8*c(w) + 3*d(w). Let f be n(3). Solve -2*h + f*h = 0 for h.
0
Let t(v) be the second derivative of -v**5/20 + v**3/3 + 9*v**2 - 2*v. Let y be t(0). Let b = y - 15. Solve p - 16 = -b*p for p.
4
Let a(q) = 3*q + 6. Let z be a(-3). Let t be (z + 1)*(-20)/5. Solve -t = -3*f + 4 for f.
4
Let j be ((-4)/(-11))/(2/33*3). Solve 8 - j = -6*x for x.
-1
Let f(v) = v**2 + v + 2. Let p be f(2). Let q(b) = 31*b + 43. Let o be q(-1). Solve -5*r + o + p = 0 for r.
4
Suppose 2 + 13 = 3*s. Suppose -2*t - 2*r + 3*r + 1 = 0, s*t - 4 = r. Suppose -2*f - 10 = 4*p, -t = f - 0*f + p. Solve -f*h = -h for h.
0
Suppose 0 = l + 3 - 11. Let p(b) = b**2 - 10*b + 18. Let r be p(l). Solve -5 = -r*x + 7*x for x.
-1
Let o = 544 - 485. Solve 49 - o = -2*i for i.
5
Let a(z) = z - 2. Let s be a(2). Let q = 16 - 21. Let r be q/15*-1*2*9. Solve s = -3*u - 0 + r for u.
2
Suppose 0 = -m - 4*m. Suppose -4*u = 2*r - 24, -u + 0*u + 12 = 2*r. Solve m*o = 2*o + r for o.
-2
Let p(g) be the third derivative of g**6/24 + g**5/60 - g**4/24 - 5*g**2. Let o be p(1). Solve 3*y = o - 2 for y.
1
Let y be -7*((0 + -1)*2 - -1). Let g = -90 - -92. Let n = -6 + 11. Solve y*j - n = g*j for j.
1
Let c = 373 + -364. Solve -c + 5 = 4*m for m.
-1
Suppose g - 5*f = 18, 3*g + 3*f = -2*f - 6. Solve g*y = 5*y for y.
0
Let y(n) = n**3 - 5*n**2 + 12*n - 19. Let k be y(4). Solve -l - k + 10 = 0 for l.
-3
Let f be (-630)/28*(-26)/195. Let t(d) = -d + 8. Let j be t(0). Solve 5*z + j = f*z for z.
-4
Let t be (2/8)/((-6)/(-72)). Let f be (2/2 - 2)*142/(-142). Solve -t*s + f = 4 for s.
-1
Let r(x) = 4*x + 28. Let p be r(-7). Suppose s + 15 = 4*s. Suppose -40 = g - 3*g. Solve p = -t + s*t + g for t.
-5
Let j(o) = 15*o**2 + o. Suppose 4*x = 5*x + 15. Let z = x + 16. Let r be j(z). Solve -r - 9 = -5*m for m.
5
Let k = 297 + -252. Solve 21*s = 6*s - k for s.
-3
Let h(c) = -3*c**3 - 2*c**2 - 2*c. Let q be h(-1). Solve q*f + 2 = 5 for f.
1
Suppose 40 = 3*y - 5*o, o + 73 = -5*y + 121. Solve -y*s + 26 = -4 for s.
3
Suppose -2*c = -6 + 2. Let q(d) = -d**2 + 3*d + 4. Let a be q(3). Suppose -a*h + 2*f = 4*f - 18, -h + c*f = -7. Solve -h*l - 11 = -1 for l.
-2
Let y = 50 + -34. Let p(k) = -k**3 - 16*k**2 - 16*k - 11. Suppose 3*u - 5*f = -25, -3*f = -5*u + 11 - 74. Let m be p(u). Solve 5*l + m = -y for l.
-4
Let g(l) = -l**3 + 5*l**2 + 8*l - 8. Let a be g(6). Suppose a = -q + 3*i + 1, -2*i = -3*q + 5. Let m = 23 + -22.