for h.
4
Suppose 46*b - 10 = 41*b, 3*b + 86 = 4*z. Solve 15*t - 40 = z*t for t.
-5
Suppose 0 = -u + p + 11, 2*p - 15 = 5*p. Let z(o) = o**2 - 4*o - 1. Let x be z(5). Suppose 0 = x*a - 18 + 2. Solve -a*t - u = -2 for t.
-1
Let o be (-12 - -18)*9 - -11. Solve -o*f + 225 = 10*f for f.
3
Let x be 5 - (29 - 22 - 77). Solve -51 = -18*l + x for l.
7
Let b(t) = 238*t - 2326. Let p be b(10). Solve -27*n + 0*n = -p for n.
2
Let n be (-15 - -7)*(-2 + 21/12). Suppose 0 = n*c - 140 + 116. Solve c = 3*j + 9 for j.
1
Suppose 4*m = 3*w - 10, 4*w = 2*m + 11 - 1. Let a(x) = x**3 - 2*x**2 + 6*x - 8. Let n be a(w). Solve -4 = -n*f - 0 for f.
1
Let u = -3 + 6. Let z be (0/u)/(-1 + -1). Suppose 0 = -4*d + 5*d - 26*d + 100. Solve d*s - 12 = -z for s.
3
Let h(z) = z**2 + 2*z**3 - 4 + 2*z**3 + 3*z + 0*z**2. Let a be h(1). Suppose w = -2*o - a, -2*o - 2*o - 2 = 3*w. Solve 4*s = s + w for s.
2
Let d = -14 - -22. Let r be 3/(11 + (-451)/44). Let n = -8 - -8. Solve n = -0*c + r*c - d for c.
2
Let o be 544/144 + 40/18 + -2. Suppose -o*d + 88 = 28. Solve 4*g = g - d for g.
-5
Suppose 0 = 4*s - 10 - 2. Let d(p) = 48*p**2 + 1394*p + 67. Let l be d(-29). Solve s*y - 6 = l for y.
5
Suppose -9*h + 37*h = 112. Let i be h/(-6)*42/(-14). Solve -i*r - 2 = 8 for r.
-5
Suppose 7 = s - 3*h, -2*s + 5 = -2*h - 13. Let z be s/15 - (-24)/(-9). Let j be 5 + 6 + z/2. Solve 0*c + j = 2*c for c.
5
Let v be 36/(8/(-144)*-9). Solve -102 = 5*h - v for h.
-6
Let d = 289 + -278. Solve 59 - d = 16*i for i.
3
Suppose -u - 5*b + 103 = u, -2*u - b = -91. Let p = 56 + -15. Let g = u - p. Solve -g*y = 2*y + 20 for y.
-4
Suppose 0 = 4*l + 2*d - 40, 0 = -23*l + 18*l + 3*d + 28. Suppose -3*w = a - l*w - 13, a - w = 9. Solve 32*s = 34*s - a for s.
4
Suppose -22*n + 26*n - 2*x - 78 = 0, 0 = -4*n + 4*x + 76. Solve -15 = -n*g - 35 for g.
-1
Suppose -50 = -14*r + 6. Let b be (-13)/2 + 5 - (-82)/r. Solve -c + b = 24 for c.
-5
Let n(q) = -154*q - 64 + 99*q + 77*q. Let z be n(3). Solve -5*b = -z*b - 6 for b.
2
Let c be (152 - (2 - -3)) + -4. Let q(s) = 140*s + c*s - 284*s + 0 + 5. Let y be q(-8). Solve -2*u - 5 = -y for u.
4
Suppose 3 = 5*u + 2*m, 2*u = -182*m + 177*m - 3. Let s be -2 + 12/3 - 5. Let a = s - -7. Solve -u - a = w for w.
-5
Let c(r) = 103*r - 6523. Let v be c(64). Solve 125 = -28*z + v for z.
-2
Let l be (((-13760)/12)/(-4))/(10/15). Let d = l + -417. Solve 2*c - d + 3 = 0 for c.
5
Suppose -18*d = -3*g - 17*d + 37, 1 = -d. Let s = -122 + 122. Solve s = -g*v - 3*v + 30 for v.
2
Let p be 39/(-2)*(-26910)/3887. Solve -p*i = -69*i + 330 for i.
-5
Let v(j) = -j**2 + 20*j - 75. Let w be v(15). Suppose 2*k + 2*s - 63 - 43 = w, -4*k - 5*s = -210. Solve -8*n - k + 15 = 0 for n.
-5
Let u be 13 + 6*(-98)/(-42). Solve -u*o + 42 = -120 for o.
6
Let x be (-560)/(-11) - ((-49)/1078)/((-2)/(-4)). Solve 11*u + x = 28*u for u.
3
Let h(i) = i**2 + 2*i + 1. Let v be h(-3). Suppose v*q - 101 = 3*o, 7*q - 2*o = 4*q + 77. Suppose -16 - q = -15*s. Solve -s*c + c = -2 for c.
1
Suppose 1585 + 1609 = 25*v + 3094. Let p = 49 + -19. Solve -2*q - v*q = -p for q.
5
Let q(y) = 2*y**2 + 151*y - 829. Let g be q(6). Solve g = 40*i + 69 for i.
2
Let s(r) = -r**3 - 4*r**2 - 5*r + 7. Let u be s(-4). Let l = 13 + 11. Suppose -4*h + 5*b = -u, 7*b + l = 3*h + 2*b. Solve 15 = h*k - 6*k for k.
-5
Let z(s) = 2*s**2 - 3*s - 3. Let u(f) = -f**2 + 15*f - 1. Suppose 0 = -l - 2*b + 13, -10 = b - 9. Let j be u(l). Let y be z(j). Solve -2*g + y = -g for g.
2
Let s be 2 - -27 - (-18)/6. Let d be 24*23/(759/22). Solve -4*n - d = -s for n.
4
Suppose 2*y + 80 = 7*y. Let i(v) = 9*v - 177. Let w be i(20). Suppose y - 1 = w*k. Solve 2*l + k = 1 for l.
-2
Let w(m) be the first derivative of m**3 + 2*m**2 + 3*m - 76. Let u be w(-1). Solve h - u*h - h = 0 for h.
0
Let g(j) = j**3 + 11*j**2 - 37*j + 335. Let x be g(-14). Solve 275*n + 40 = x*n for n.
-4
Let y be 2/(2/25) - 1. Let p = -19590 + 19600. Solve p = -y*u + 29*u for u.
2
Let v be 1/(-4) + (-2 - (-30)/(-8)). Let q be 3 + 1 + v/6. Suppose q*b - 6*b = -12. Solve -3*l + b = -2 for l.
2
Suppose w - 1 = -h, 4*w - h + 1 = 2*w. Solve 19*m - 112 + 17 = w for m.
5
Let m(l) = -950*l + 1142. Let s be m(1). Solve -f + 196 = s for f.
4
Let x(s) = -s**3 + 15*s**2 + 67*s - 552. Let l be x(17). Solve l*q - 18 = 3*q for q.
3
Suppose 2*p - 8*p = -168. Let m be 14/(22/6 - 3). Suppose m*d = p*d. Solve -4*k + 10 + 2 = d for k.
3
Let q = 641 + -641. Suppose 5*t + 3*m - 34 = q, 0*m - 17 = -4*t + m. Solve f - t = -1 for f.
4
Let i be 8/14 + (-480)/56 - -4. Let t be i + (-4 - -26) + 0. Solve -z + t = 13 for z.
5
Let b be (-447)/(-2) + -1 + (-10)/20. Suppose -9*n + b = 42. Let s = n + -15. Solve 8*v = s*v + 6 for v.
2
Let q(z) be the first derivative of -21*z - 6*z**2 - z**2 + 31 + 5*z**2. Let y be q(-6). Solve y*n - 5*n - 6 = 0 for n.
-3
Let u = 260 - 258. Suppose 4*p - 12 = -3*t, -u*t - 3 = 3*t - p. Solve t = s + 2*s for s.
0
Let y(m) = -9*m**2 - 158*m - 177. Let x be y(-15). Solve 33*h - x = 12*h for h.
8
Let a = -37 + 41. Let i(w) = w**2 + w + 1. Let r(t) = -t**3 - 5*t**2 - t - 3. Let n(h) = -4*i(h) - r(h). Let y be n(-2). Solve 3*s - a*s = y for s.
-1
Let q(h) = -h**2 + 10*h - 2. Let g = -1 - -10. Let s be q(g). Solve 4*c - 15 = s*c for c.
-5
Let d(c) = 151*c + 1689. Let i be d(-7). Solve -625*p + 28 = -i*p for p.
-4
Let n(o) = 285*o**3 + o**2 - 2*o - 2. Let f be n(-1). Let w be 6/4*(f/(-12) - -3). Suppose -w = 23*h - 28*h. Solve -3*z - h = 1 for z.
-3
Let u be 2660/98 + (-3)/21. Solve -u*n + 6*n - 21 = 0 for n.
-1
Suppose 2*j + 4*f = 18, 0 = -3*j - 6*f + 3*f + 18. Suppose 19*p + 23 = 23*p - j*t, -t = 4*p - 3. Solve -2 = -p*h - 6 for h.
-2
Let x = -2299 - -2309. Solve 0 = x*k - 110 + 160 for k.
-5
Let v(a) = -8*a - 569. Let i be v(-72). Solve -8*h = -9 - i for h.
2
Let k(p) = -4*p - 15. Let j be k(-5). Suppose j*v = r + 4*v - 42, r + 4*v - 42 = 0. Let n = -38 + r. Solve u - n = -2 for u.
2
Let l = 22678 + -21401. Solve l*o = 1267*o + 90 for o.
9
Suppose -4*d = -8*d + 2*u - 116, 4*u + 128 = -4*d. Let z be ((-32)/(-20))/2 - 126/d. Suppose -3*f = -5*f + 14. Solve -z*k = -f*k - 8 for k.
-4
Let h be (-1 + 1)/(15 - (-24 + 18) - 19). Solve 89*d - 127*d = h for d.
0
Let d = 12916 + -12856. Solve -d = 72*h - 87*h for h.
4
Suppose 5*g - a = 430, -2*g + 4*a + 127 + 45 = 0. Let w = g + 12. Let v = 98 - w. Solve v*f + 4*f = -4 for f.
-1
Let v(s) = -s**2 + 7*s - 2. Let q be v(5). Let u = 275 + -269. Suppose 0 = 4*f + 9*r - u*r + 3, -2*r = -4*f + 2. Solve -q = -f*o + 2*o for o.
-4
Suppose -u - 219 = 2*s - 206, 0 = u - 3*s - 27. Solve u*l = -11 + 14 for l.
1
Let t(a) = -19*a**2 + 13*a + 16. Let s(j) = -66*j**2 + 38*j + 48. Let i(c) = -2*s(c) + 7*t(c). Let w be i(-1). Solve 4 = 2*m - w for m.
2
Let w = 60 + -60. Suppose -l + w*l + 6*l = 0. Let b be (0 - (4/8)/1)*l. Solve 2*g + b*g + 4 = 0 for g.
-2
Suppose 5*a - 25 = -c, 0 = 3*a - 0*a + 4*c + 2. Suppose -2 = 4*q + u, -7*q + a*q - 6 = 3*u. Solve 12*y - 7*y = q for y.
0
Let b(t) = -t + 30. Let p be b(25). Solve 170 - 175 = -p*j for j.
1
Suppose 179 + 25 = 4*a - 3*w, -3*a + 4*w + 160 = 0. Solve -17 - a = 13*z for z.
-5
Let f = -3 + -3. Let c be 4/12 - (-2 + 0)/f. Solve -2 = -k - c*k for k.
2
Let i(b) = -32*b + 179. Let c be i(26). Let m = -652 - c. Solve h = -m - 3 for h.
-4
Let o(t) = -t**2 + 4*t - 1. Let k be o(3). Suppose k*q + 6 = 36. Let r = 16962 + -16959. Solve 0 = r*b - 0*b - q for b.
5
Suppose 12*r + 8*r = 760. Let j = -14 + r. Solve -j = 5*h - 4 for h.
-4
Let l(j) = -j**2 + 3*j + 10. Let z(b) = -5*b**2 + 14*b + 50. Let t(f) = 11*l(f) - 2*z(f). Let w be t(6). Solve -d - w = -3*d for d.
2
Let w be ((-4)/5)/(16/10 - 2). Suppose w = -g + 2*r - 2, -4 = -2*r. Solve 5*q - 3 - 7 = g for q.
2
Let c = 2311 + -946. Solve -c*z + 1369*z = 24 for z.
6
Let h = -2 + 3. Suppose -581*u = -586*u. Let y be 9 - (u - (6 + -10)). Solve -11 = y*o - h for o.
-2
Let y be -9*(21/(-9) - -2). Let s be (0/((-5 - -1) + (-21 - -24)))/2. Let v(g) = -g - 1. Let x be v(-10). Solve -2*p + x - y = s for p.
3
Suppose 0*j - p = 2*j + 2, -4*j - 4*p - 8 = 0. Let z be ((1 - -1) + -1)*5. Suppose -f + z*f = j. Solve f*o = -4*o - 12 for o.
-3
Let o(a) = a**3 + 8*a**2 + 13*a + 10. Let u be o(-6). Suppose u*z + 3*i - 243 = z, z + 5*i = 97. Let v = 87 - z. Solve 3*c - v = -4 for c.
2
Let m(t) be the first derivative of t**3 +