olve s = h + h for h.
0
Let f(d) = -10*d - 198. Let u be f(-24). Solve -10 = -u*k + 47*k for k.
-2
Let b = -648 - -655. Solve 1 - b = 3*j for j.
-2
Let f(b) = -b**2 + 10*b + 11. Let d be f(9). Suppose -2*q + d = 3*q. Let o = 7 - 5. Solve o*t + 0 = q for t.
2
Let x(p) = -17*p - 23. Let c be x(-5). Let i = 65 - c. Solve -i*j = -j + 4 for j.
-2
Let a = -2059 - -2087. Solve 0 = -a*q + 22*q for q.
0
Suppose 0 = -7*y - 9 + 30. Let b(n) = n**2 - n + 1. Let q be b(1). Solve y*i - q = 11 for i.
4
Suppose 2 = -l - 2*j, 4*l - 2*j = -0*j + 22. Let o be (-8 - -18)*2/l. Solve 3*z = -o - 1 for z.
-2
Let v = -98 - -173. Suppose v = 9*u - 4*u. Solve 6*m + u = m for m.
-3
Suppose 0 = a + 2*z + 5, -5*a - 3*z = -0*z + 25. Let c(y) = y**3 + 6*y**2 + 3*y - 7. Let r be c(a). Suppose -l + 8 = -0*l. Solve 2 - l = -r*v for v.
2
Let x = -14 + 14. Suppose -2*n + 2*z + 10 = 0, 9 = -3*n - 5*z - x*z. Suppose -2*v + 3*s - 3 = v, 5 = n*v + 5*s. Solve v - 12 = -4*i for i.
3
Suppose -c = -w, 3 + 2 = 5*c. Let a be 11 + 54/(-45) + w/5. Suppose -v = v. Solve -3*s + s + a = v for s.
5
Let b be (-25)/(-2) - 1/2. Suppose -57 + 753 = 4*a. Let q = a + -172. Solve q*v + v = b for v.
4
Suppose -153 = -4*v + 3*t, 0 = -26*v + 28*v + 2*t - 80. Solve v*p - 33*p = 24 for p.
4
Suppose 0 = -l + 151 - 143. Solve 6*d - 4*d = -l for d.
-4
Let x be 1/(15/25) + (-12)/(-9). Solve 0 = -y - x + 2 for y.
-1
Let r(b) = 3*b**2 + 6*b + 7. Let y be r(-6). Suppose 71 + y = 5*o. Let c be (o/20)/((-3)/(-20)). Solve -c = g + 4*g for g.
-2
Suppose -98 = 6*q - 344. Let z = q + -38. Solve 0 = b + 2 - z for b.
1
Let w be (-4471)/(-153) + (-4)/18. Let q = -26 + w. Solve 0 = -q*c + c for c.
0
Let f(c) = 2*c - 2. Let a be f(2). Suppose -3*n = -5*n - 5*s - 5, 0 = 3*n + 2*s + 2. Solve n*y = -a*y + 8 for y.
4
Suppose 42*f - 121 = 467. Solve 0 = b - f*b + 52 for b.
4
Let x = -19 + 21. Suppose i + x = 4. Solve j - 12 = -i*j for j.
4
Let t(s) be the third derivative of s**6/120 + s**5/15 - s**4/12 - 2*s**3/3 - 6*s**2. Let w be t(-4). Suppose -w*y - 15 = -39. Solve y = p + p for p.
3
Suppose -29 = -3*b + 52. Let y = 58 - b. Let n = y - 21. Solve 5 = 5*r - n for r.
3
Let j be 3/3 + 11/1. Suppose -2*y + j = 2*a, 2*a - 2*y = -0*a. Suppose -30 = -2*g - 3*o, -75 + 28 = -3*g - 5*o. Solve g = a*n - 3 for n.
4
Let v(z) = -z**3 + 4*z**2 + 6*z. Let r be v(5). Suppose 0 = -4*h - 16, r*c + 0 = 4*h + 26. Solve -7*d = -c*d - 5 for d.
1
Suppose 0 = 3*p - 2*l - 70, -2*p + 3*l + 22 = -33. Suppose -10 = -8*t + 62. Solve -4*x + p = -t*x for x.
-4
Let o(j) = 38*j + 123. Let l be o(-3). Solve -l*v + 2*v - 28 = 0 for v.
-4
Suppose 3*w = 5 + 28. Let n = 11 - w. Suppose 0 = -2*q + 2*s + 6, 4*q + 5*s - s - 44 = n. Solve -3 = z - q for z.
4
Let g = 5 - 4. Let v be (-5)/(-7) + (-6)/(-21). Let h = 2 + v. Solve 4*t - h*t = -g for t.
-1
Let s(g) = -8*g**3 + 3*g**2 - 2*g - 3. Let m be s(-1). Solve 20 - m = 5*b for b.
2
Suppose 2*o + 0 = 2*m - 8, -o - 4 = -4*m. Suppose -2*v + 5 + 1 = m. Solve 2*j = v*j + 1 for j.
-1
Let l = 2 + 4. Suppose -2 = -4*g + l. Suppose 0 = 5*x - 5*j, -3*x = g*x - 3*j - 8. Solve -p = x*p + 5 for p.
-1
Suppose 0 = 4*c - 24 - 12. Suppose 0 = o - c*o + 88. Suppose -4*l - 3*q = -o, 5*l - 10 = -0*l - 5*q. Solve -l = 3*u + 10 for u.
-5
Suppose 0 = 2*u + 4*k - 9 + 5, 3*u = -3*k + 6. Solve -2*n + 0*n = u for n.
-1
Let u(d) = -d**3 - 10*d**2 + 10*d - 8. Let n be u(-11). Solve 5*j - n = 7 for j.
2
Let c(m) = -m**2 - 6 - 5*m**3 - 20*m + 0*m**3 + 13*m + 0*m**3. Let z be c(-1). Solve i - z*i = 12 for i.
-3
Let b be 12*(7/2 + -2). Let m = 44 - 39. Suppose 0 = -n - n - m*k - 9, -4*k = -2*n + 18. Solve -5*l - n = -b for l.
3
Suppose 4*j - 8 = 3*b, -16*j - 2*b - 10 = -21*j. Solve -4 = -j*o - 8 for o.
-2
Suppose h = 3*k - 6, -3*h - 3*k + 36 = h. Let t be 2/(-4)*(-1)/3*h. Solve 4*d - 3 = t for d.
1
Let u(o) = o - 8. Let m be u(13). Let a be -1 - (-1)/(2/6). Suppose -m*n + 23 = 3*d, d - a*d - 18 = -2*n. Solve -3*l - 22 + n = 0 for l.
-5
Let q be -5 - (34 + (4 - 1)). Let l = 44 + q. Solve l = -j + 3 for j.
1
Let y be ((-1)/2)/((-7)/14). Solve 4*f - y - 19 = 0 for f.
5
Let d(j) = j**2 - 14*j + 50. Let r be d(9). Suppose -r*o - 39 + 49 = 0. Solve -8 = -o*q + 2 for q.
5
Let v = 40 + -17. Let b = v + -22. Let c = 3 + b. Solve -c*j = j for j.
0
Suppose -5*l + 23 = -q, 0*q - 12 = 4*q. Suppose 3*k = -l*k. Solve k*b - 1 = b for b.
-1
Suppose -2*c = -y - 2 + 9, 2*c - 35 = -5*y. Solve 11*q + 8 = y*q for q.
-2
Suppose 5*g + 17 = 3*v, v + 0 = 3*g + 7. Suppose 4*f + v - 20 = 0. Solve -i + f - 1 = 0 for i.
3
Suppose -7*v + 5*v = -4*k + 24, 0 = -2*k - v + 4. Suppose -4*t - 4*q + 14 = -6, 0 = 2*q. Solve -1 - k = t*x for x.
-1
Suppose -3*i + 44 = -1. Solve -9*l + i = -12*l for l.
-5
Let v(t) = 2*t**2 - 4*t - 3. Let y(p) = -p**3 + 23*p**2 - 23*p + 25. Let j be y(22). Let m be v(j). Solve -2*b - 1 = -m for b.
1
Suppose -39 = -j - 10*l + 7*l, -3*j + 101 = 5*l. Solve 0 = -j*k + 22*k + 20 for k.
4
Suppose 0 = 3*u - 7 + 1. Let x be 100/(-8)*6/(-3 - 0). Solve -u*k = 3*k + x for k.
-5
Let l(n) = 2*n + 35. Let y be l(-18). Let v = y + 3. Solve v*i = -2*i for i.
0
Let n(a) = -2*a - 7. Let r be n(-6). Let b be 5*(-2 + 2/r). Let u(l) = l**3 + 9*l**2 + 6*l - 9. Let o be u(b). Solve -5*d - 3 = o for d.
-2
Let y = 8 + -6. Let k = -73 - -73. Suppose k = -y*b + b. Solve b = 3*i - 2*i for i.
0
Suppose 11*s - 56 = 7*s. Suppose -5*u = -2*m - 15, 4*u = -5*m - 2 + s. Solve m = -4*l - 13 - 3 for l.
-4
Suppose -266 - 664 = -31*y. Solve y*j - 26*j - 16 = 0 for j.
4
Let b(f) = -2*f - 33. Let q be b(-16). Let n = 2 - q. Solve n = h - 2 for h.
5
Let u be (3*1/6)/((-2)/308). Let r = u + 85. Solve 2*d - r = -2*d for d.
2
Suppose 5 = 4*d - 43. Let w be (-14)/(-3) - d/18. Solve -t + w = -2*t for t.
-4
Let p be (60/14)/((-4)/28). Let d = p - -33. Solve d*j + 0 = -3 for j.
-1
Let m(g) = g - 7. Let h = -8 - -19. Let p be m(h). Suppose 0 = -v + w + p, 5*w = 2*v + v - 14. Solve a + 0*a = v for a.
3
Let f be 4*(-2)/24*-15. Solve 6 = -f*m - 4 for m.
-2
Let k = -431 + 432. Solve -k = -4*v + 3 for v.
1
Let p be 14*(44/52 + 2/13). Solve p*t = 9*t for t.
0
Suppose 0*o = -o + 10. Let x be (-2)/(-5) + 6/o. Solve x = 5*j - 9 for j.
2
Suppose -4*w + 9*w = -5*u + 45, -5*u - w + 45 = 0. Solve -u*l = l + l for l.
0
Let f be -8*((-2)/(-24))/(12/(-36)). Solve 18 = -5*h - f for h.
-4
Let d(b) be the third derivative of b**6/15 + b**5/60 + b**4/12 - b**3/3 - 2*b**2 + 2. Let t be d(1). Solve 2*n = -n + t for n.
3
Let k be -5 - (-25 - 6/6) - -1. Solve k*p = 19*p + 3 for p.
1
Let h be 975/100 + 1/4. Solve 0 = -h*s + 12 - 52 for s.
-4
Suppose -4*i = -3*u - 17, -u + 8 + 18 = 5*i. Let c be i - ((0 - -2) + (1 - 0)). Solve -c*z = -3*z - 4 for z.
-4
Suppose -12*a = -329 - 211. Solve -4*x = 5*x + a for x.
-5
Let u = -11 + 20. Suppose u*f = 8*f. Solve f = -4*j - 3 - 5 for j.
-2
Suppose 0 = -2*y - 5*b + 40, 4*y = -2*b + 41 + 55. Suppose 7 = 2*n - x, -3*x = -5*n + 5 + 10. Solve -n*k = -k + y for k.
-5
Let p be (-10)/1*(-23 - -24). Let s = 17 + p. Suppose 12*v = s*v + 20. Solve 5*n + v = -1 for n.
-1
Let t be 9/1 + (-8)/2. Let m be (2 - 0)*(4 + 0). Suppose d + 8 = u - 2*d, -m = -t*u - d. Solve k - 12 = -u*k for k.
4
Suppose x = -2*x + t + 41, 4*x = -t + 64. Suppose -5*w = 5 - x. Solve 2*o - 20 = -w*o for o.
5
Let t = 250 - 206. Solve 45*j - t*j - 4 = 0 for j.
4
Let i be (-42)/(-28) + (-37)/(-2). Solve 23*o + 6 = i*o for o.
-2
Let z = -32 + 37. Suppose -z*k = -3*i - 223, 2*k + 0*k + 2*i = 86. Let n be k/8 + 2/4. Solve n*s = 2*s for s.
0
Let d = 42 + -40. Suppose 6 = -3*r + 3*y - 2*y, 0 = 3*r + 5*y - 12. Let i be r/4 + 39/12. Solve -i*q - 4 = -d*q for q.
-4
Let h be ((-23)/4)/((-3)/(12 - 0)). Suppose -7*y + h = -5. Solve 2 = -y*k - 2 for k.
-1
Suppose -7 + 15 = 4*b. Let g(n) = -n**2 - 2*n. Let h be g(-2). Solve h*d - 4 = -b*d for d.
2
Let w(u) = 6*u**2 - 7*u + 5. Let t be w(1). Solve -i = i + t for i.
-2
Let j = -42236 - -42241. Let r = -4 - -3. Let h = r - -1. Solve j = w - h for w.
5
Let p(s) = -s + 1. Let v(h) = h**2 - 2*h + 4. Let q(m) = -4*p(m) + v(m). Let j be q(0). Solve 0 = -5*g - j*g for g.
0
Let x(g) be the third derivative of g**4/24 - g**3 - 2*g**2. Let i = -197 + 206. Let b be x(i). Solve -b = -l - 7 for l.
-4
Let d(k) = 18*k + 383. Let w be d(-21). Solve -w = 14*l + 37 for l.
-3
Suppose 5*a + 12 = d, -3*d - 5*a = -2*a 