h + 10 for h.
-5
Suppose 5*p - 2*q = q + 5, -4*p - 2*q + 4 = 0. Let f(h) = -h**2 + 55. Let a be f(0). Let g = a + -53. Solve -g*k - 9 - p = 0 for k.
-5
Let k(v) = -2*v**2 - 29*v + 18. Let a be k(-15). Solve a = -5*i + 8 for i.
1
Suppose -3*c - 15 = -3*a, 2*c - 25 = 5*c - 5*a. Solve c*u = -u + 2*u for u.
0
Let o = 41 - 26. Suppose o = -2*d + 7*d. Solve 1 = -d*f - 5 for f.
-2
Suppose -72 = -4*g - 0*g - 5*t, -2*g - 3*t + 38 = 0. Solve 10*m = g*m for m.
0
Let y be (2/5)/(4 + 57/(-15)). Suppose -4*w - 4*f = 0, y*w - 3*f + 7*f = -4. Solve 4 = -w*g + 10 for g.
3
Suppose 2*p - 20 = -22. Let f be (-22)/(-4) + 3/6*p. Solve -h = -f*h + 20 for h.
5
Suppose -4*c + 32 = -2*u, -3*u + u = c - 13. Solve 0 = 2*o - 5*o - c for o.
-3
Suppose 2*u = 5*k - 5 + 17, -u + 3*k + 6 = 0. Let r be 8/2 - 9/1. Let p = 9 + r. Solve -u*m = -p*m + 4 for m.
-2
Suppose 4*v - 85 = -5*m - 8, -m = -2*v + 35. Let t = 19 - v. Let o be (0/(-3 + 4))/t. Solve o*w = 3*w for w.
0
Suppose 0*c - 5*c - 5 = 0, 3*m - c = 49. Suppose -3*d + 4*x = m, x - 4 = -d - 4*d. Solve d = 4*w + 8 for w.
-2
Let c(r) = -r**3 + 15*r**2 + 16*r + 12. Let z be c(16). Solve 0 = z*y - 0*y - 24 for y.
2
Let o be -4 + (-34)/(-8) - (-2)/(-8). Suppose o*y = 7*y - 42. Solve 19 + y = 5*d for d.
5
Suppose 4*r - 463 = 5*t, 2*r - 4*t = 166 + 58. Solve -3*c + r = 107 for c.
5
Suppose -5*c - 74 = u, -5*c = u + 2*u + 72. Suppose 0 = -4*m + 10 + 14. Let l be 0*(c/m)/5. Solve 2*r - 3 + 5 = l for r.
-1
Suppose 3*q + 2*q = z + 28, -3*z = 9. Suppose q*x + o = 76, 0 = 4*x + 5*o + 11 - 55. Suppose -2*i - x = -3*c, c + 5*i = 4*c - 31. Solve c*y = 1 + 3 for y.
2
Suppose -28*t + 20*t - 16 = 0. Let r be t - (-2*2 + (-4)/4). Solve -r*n - 9 = 3 for n.
-4
Suppose -3*c = 0, 62*c - 235 = -5*j + 61*c. Solve -j + 42 = x for x.
-5
Suppose 45 = 9*k - 4*k. Suppose 5*z + 0*t - 3 = 2*t, 5*t = -4*z + k. Solve -b - 4 = z for b.
-5
Suppose j + g = 1 - 4, 4*g + 26 = 3*j. Let o(n) = -n**3 + n**2. Let t be o(1). Suppose -f + 0*f + 4 = t. Solve f*h + 10 = -j for h.
-3
Let r = -176 - -117. Let y = 62 + r. Solve y*l = -l - 8 for l.
-2
Let v(s) = -s**2 - 44*s + 317. Let h be v(6). Solve 21*f + 12 = h*f for f.
-3
Let k(i) be the second derivative of i**5/20 - 3*i**4/4 - 5*i**3/3 + 7*i**2/2 + 10*i. Let j be k(10). Solve -8 = 5*v + j for v.
-3
Let g = 18 - 8. Suppose -5 + 1 = -3*i + 2*b, -i + 4*b - 2 = 0. Let r be 144/(-90)*(-5)/2. Solve -r*z = i + g for z.
-3
Let v(d) be the third derivative of -d**4/24 + 17*d**3/6 + 32*d**2. Let o(g) = -g**3 - g**2 + 8. Let a be o(0). Let f be v(a). Solve 0 = -0*w + 3*w + f for w.
-3
Suppose 4*o = -3*v + 6, 0 = -3*v - 3*o + 1 + 2. Let y be v - (-1)/(-1) - -17. Suppose -2*x = 5*f + 2*x - 19, -5*f = -x - y. Solve -f = -5*c - 8 for c.
-1
Let p(w) = -6*w**2 + 7*w**2 + 8 + 0*w**2 + 9*w. Let f be p(-8). Let m = 34 - 19. Solve f = 5*n - 2*n - m for n.
5
Let f(r) be the third derivative of -r**4/24 - r**3/2 + r**2 - 2*r. Suppose -2*n = 10 + 2. Let x be f(n). Solve -x*q + 8*q = -20 for q.
-4
Let s be (6/21)/(5/35). Suppose -2*d + 4*o + 28 = 0, -o = s*d + 3*o + 12. Solve d*p - 10 = 2*p for p.
5
Let c be (-4)/6 - 22/(-6). Suppose -x = -3 - c. Let k be 7/(21/6) + 3. Solve 5*y = x*y + k for y.
-5
Let g(o) = 7*o**2. Let w = 8 - 14. Let i = 5 + w. Let t be g(i). Solve -2*v = -t*v for v.
0
Suppose -3*w = 6, 2*x - 2*w - 11 = -1. Suppose 2*u = -x*u + 25. Let d be (-2)/5 - (-468)/20. Solve 2 = -u*r - d for r.
-5
Let g(p) = 12*p + 294. Let j be g(-23). Solve j = 10*q - 2 for q.
2
Suppose -5*m + 22 = -3*n - m, 0 = 3*n + 4*m + 14. Suppose r + 11 = t - 0, -35 = -3*t + 5*r. Let w = n + t. Solve -s + w*s = 0 for s.
0
Let u = -403 - -405. Solve 0 = u*f + 21 - 13 for f.
-4
Let b = 406 - 401. Solve 0 = -b*u - 1 + 26 for u.
5
Suppose 17*x - 35 = -18*x. Let j(p) = p**3 - 6*p**2 + p - 2. Let g be j(6). Let o be (x + 1)/g*34. Solve 5*m - 8 = o for m.
5
Let n be (4/3)/((-10)/(-15)). Suppose 4 = n*g - 0. Solve -i - g*i + 6 = 0 for i.
2
Suppose -z - 4*z = -2*q - 44, 2*q = 2*z - 14. Solve -z = -11*f + 13*f for f.
-5
Let d(w) = 10*w**2 - 7*w + 1. Let x be d(1). Solve -2*m = x - 2 for m.
-1
Suppose 3*c = -31 - 8. Let f = c - -18. Let j be 51/15 + 3/f. Solve j*m - 16 = -0*m for m.
4
Let q = -18 + 18. Suppose 0 = 4*s - 5*y - 92, -2*s - 3*s + y + 115 = q. Let l = s + -19. Solve k + l = -0*k for k.
-4
Let s(f) = f**2 - 6*f + 10. Let u be 0 - (4/(-2) - 1). Let b be s(u). Solve -g + b = -4 for g.
5
Let m be (-54)/(-10) + 38/(-95). Let f be (-75)/m*2/2. Let s = f - -18. Solve 0 = v + s*v - 20 for v.
5
Let n = -192 - -194. Solve -15*h = -16*h + n for h.
2
Let b(n) = -n**2 - 15*n + 16. Let o(d) = -d + 1. Let f(q) = b(q) - 6*o(q). Let u be f(-10). Suppose u = z - 6*z + 10. Solve -z*j + 0 - 2 = 0 for j.
-1
Let f(h) be the third derivative of h**4/24 + 19*h**3/6 - 13*h**2. Let x be f(-9). Suppose 2*s = -3*s + x. Solve -5*l + 4*l - s = 0 for l.
-2
Let u(h) = -5*h - 1. Let f be u(-5). Let z = 69 + -67. Suppose 4*j - 43 = -o, z*j - o - o = f. Solve -4 - j = -5*c for c.
3
Let x(q) = -q**2 - 11*q - 23. Let m be x(-8). Let r be m/(21/30 - 2/4). Solve 8*y - r*y + 9 = 0 for y.
-3
Suppose 1 = y + 13. Let x be 1*17 - y/(-4). Let p = x - 4. Solve -z = z - p for z.
5
Let b(v) be the first derivative of -v**2/2 - 5*v - 13. Let x be b(-8). Solve -l + x*l = 0 for l.
0
Suppose -11 = -13*y + 14*y. Let z = y + 17. Solve 0*n + 2*n = -z for n.
-3
Let p(d) = -d**2 - 7*d - 5. Let k be p(-4). Let h(c) = -2*c**3 - 5*c**2 - 8*c - 2. Let y be h(-2). Solve y*x = k*x for x.
0
Let j be 207/345*10/3. Solve 0 = j*b - 216 + 206 for b.
5
Let b be ((-2)/2)/(7/(-3) + 2). Suppose b*i + 0*i = -0*i. Solve i + 2 = -z for z.
-2
Suppose -15 = -l + 4*b, -l - 2*l = -4*b - 21. Suppose l*w = 7*w - 8. Solve w*u - 20 = -2*u for u.
5
Let r(x) = -x**3 - 12*x**2 + 11*x - 16. Let y be r(-13). Solve -5*u = -7*u + y for u.
5
Let o be ((-91)/(-273))/(-1 + (-14)/(-15)). Let r be (6 + o)*(7/1 + -3). Solve -t - r = -2 for t.
-2
Let t = -865 + 894. Solve 0 = -30*h + t*h for h.
0
Let h be (-5)/(25/(-80)) - 9. Solve 0*f = -h*f + f for f.
0
Let w be (-2)/8*1 + (-22)/8. Let o be ((-15)/10)/(w/8). Solve -2*j - 4 = o for j.
-4
Let p = 1908 + -1793. Solve 15 = p*n - 118*n for n.
-5
Suppose f + 18 = 3*j - 2*f, 3*f = -4*j - 4. Suppose j*b - 7 = 9. Suppose -n - 36 = -5*u - 5*n, -u = n - b. Solve u = t - 5*t for t.
-1
Suppose 16*r - 110 = 5*r. Solve r = -z - z for z.
-5
Suppose 9 = -5*t + 34. Suppose 2*h = -k + 3 - 0, -4*h = t*k + 3. Solve x - 16 = -h*x for x.
4
Let p = -226 - -231. Solve 0 = -0*o + o + p for o.
-5
Let i = -148 - -91. Let a = -57 - i. Solve a = -3*w - 0 + 12 for w.
4
Let i(n) = -2*n - 42. Let h be i(-22). Solve -c - h = 2 for c.
-4
Suppose 5*h + 4*j - 8 = 4, -12 = -4*j. Suppose 2*i + 1 - 7 = h. Let o be (i/(-5))/(2/(-10)). Solve 0 = -o*p + 3 + 3 for p.
2
Suppose 0 = -17*r + 177 - 109. Solve 6*i = 2*i + r for i.
1
Let i(t) = -t + 1. Let w be i(0). Let u = -1030 - -1033. Suppose -y - 8 = -3*y. Solve -u*f + y = w for f.
1
Suppose 0 = -3*v + 12 + 3. Suppose 0*h = -4*h + 8, 5*p + 4*h = 13. Solve 0 = -c - v + p for c.
-4
Let m be -2*(0 - 2/1). Suppose -m*c + c = -12. Suppose 0 = 4*g - 4 - c. Solve h - g = -h for h.
1
Let y = 9 + -9. Let b = -2 + y. Let t be 6/(-3) + 2 - b. Solve 7*f = t*f for f.
0
Let w be (-7)/(-1) + (-3 - -1). Solve w*m + 2 = -13 for m.
-3
Suppose 192*t - 197*t - 4*l + 240 = 0, -3*t = -3*l - 117. Solve 35*z = t*z for z.
0
Let q(a) = -a**3 + 12*a**2 + 15*a - 22. Let w be q(13). Let k = 0 - -2. Suppose 2*l + 16 = -4*s, 2*s - 6 = k*l + w*s. Solve 0 = -b + l - 4 for b.
-2
Let x be 5 + -2 + 1 + 1. Suppose 4*w - u = 9, 0*u - 5 = -x*w - 5*u. Solve -4*o - 2 = w for o.
-1
Suppose 181 - 77 = 4*j. Suppose 19*d = j*d. Solve -5 = t - d for t.
-5
Suppose 0 = 3*y - i - 14, 32 = 4*y + 5*i - 9*i. Solve q - 1 - y = 0 for q.
4
Let r = -25 + 24. Let y be (-4)/(48/(-27)) - r/(-4). Solve y*f - 13 = -3 for f.
5
Let n be (20 + 7 - 3) + 0. Solve -n*b = -20*b for b.
0
Suppose 3*d = 14*d - 99. Suppose -2*a = h - d, -4*a + 3*h + 14 + 9 = 0. Solve -15 = -0*j + a*j for j.
-3
Let q be 32/(-10)*15/(-6). Let n be 2*(-14)/4*-2. Let p = -14 + n. Solve -3*u - q - 4 = p for u.
-4
Let i = -35 + 45. Suppose -4*y + 2 = -i. Let w = -4 - -7. Solve y*f + 3 = -w for f.
-2
Suppose -5*d = 3*v - 48 + 9, 2*v = 4*d + 48. Solve v = -s + 14 for s.
-4
Suppose 