+ c*r - 142 = 0 for r.
2
Let i(u) = -2*u + 20. Let d be i(5). Let x be d - 5 - (4 - 6). Solve -12 = 4*h - x*h for h.
4
Let l = -3470 + 3480. Solve 41*o - l = 39*o for o.
5
Let f be 6*1*(20/12)/(-5). Let w be 1 + (-1)/(-2) - f/4. Solve -2*t + w - 4 = 0 for t.
-1
Suppose 2869 = 14*l + 2869. Solve l = -6*k + 1427 - 1391 for k.
6
Let t(x) = 18*x**2 + 3*x + 8. Let a be t(-2). Suppose 11*r = 113 + a. Solve -2*h - 15 + r = 0 for h.
1
Let f = -263 + 263. Let z be (-1 + 0)*(2 + (-1 - 1)). Suppose z = 2*t + t - 6. Solve t*l - 2 = -f for l.
1
Let j be 0 - 2*(0 + -2). Let k be (-2 + 2)*4/4. Suppose -u + h + 5 = 0, h - 4*h - 6 = k. Solve u*v + 3 = j*v for v.
3
Let x(y) = -y**3 - 9*y**2 + 11*y + 10. Let a be x(-10). Suppose g + 2*h - 26 = a, -h + 0 + 2 = 0. Let w = g - 20. Solve 2 = -0*z + w*z for z.
1
Let p be (18 + -15 - 1)/(2/25). Suppose -2*w + p - 1 = 0. Solve w = 18*a - 14*a for a.
3
Let t be (9/(-30))/((-163)/128770). Solve 10 = -t*b + 227*b for b.
-1
Suppose -15 + 5 - 16 = -2*f. Solve 0 = 18*m - 103 + f for m.
5
Suppose -5*l = 20, 5*y - 3*l - 22 - 20 = 0. Suppose 10*k = 4 + y. Suppose -9 = -2*z + k. Solve -z - 10 = -3*a for a.
5
Let y(p) be the second derivative of p**5/20 + p**4/3 - p**3 - p**2 - p + 1. Let t be y(-5). Solve 2*a - 25 = -t*a for a.
5
Let b = -249 - -354. Suppose 107*l = 89*l + 90. Suppose -5*q = 3*f - 70, f + 3*f - b = l*q. Solve -6*o = -o + f for o.
-5
Suppose 0 = 5*t + 21 + 4, 2*t - 752 = 3*a. Let h = -234 - a. Solve 4*g + 0 = -h for g.
-5
Let u(c) = 91*c + 1523. Let r be u(-7). Solve -912 = -13*v - r for v.
2
Let k(m) = -m**3 - 17*m**2 - 19*m - 43. Let q be ((-40)/25)/(3/30). Let h be k(q). Solve -h*r - r - 6 = 0 for r.
-1
Suppose -83 = 3*i - p - 334, -5*i = -4*p - 409. Suppose m - 9 = -5*j + 46, -m = -5*j - i. Solve m = 12*g + 22 for g.
4
Suppose 11*r - 374 - 110 = 0. Suppose -r*t + 42*t = 0. Solve 8*a - 5 - 11 = t for a.
2
Let r(o) = 79*o + 4. Let q be r(-3). Let x = -232 - q. Solve 7*m - x = 6*m for m.
1
Let t be 4/(-22) - (-23768)/528 - 160/192. Solve 19*s + 75 = t*s for s.
3
Let f = -6151 - -6229. Solve 0 = 20*w - 22 - f for w.
5
Let j(a) = a**2 - 5*a - 3. Let w be j(6). Let b(t) be the first derivative of -51*t**2/2 + 664*t - 87. Let v be b(13). Solve h + w = -v for h.
-4
Suppose -4*h + 14 = 3*t, 11*h + 4*t - 10 = 10*h. Suppose -3*a - 10 + 23 = -i, -h*a + i + 10 = 0. Solve c = a - 1 for c.
2
Let x = -2976 + 5151. Solve -5*m + 2205 = x for m.
6
Let t be (-80)/(-32) - 1458/4. Let q = t + 382. Solve 2*j + q = 26 for j.
3
Let m = -4626 + 5235. Solve -606 + m = -j for j.
-3
Let k(r) = -27*r + 272. Let c be k(10). Solve c*o - 3*o = -0*o for o.
0
Let m(t) = -26*t - 608. Let p be m(-24). Solve 5*i = p*i - 33 for i.
3
Let z = 4229 - 4224. Solve z*j = -6*j - 11 for j.
-1
Suppose 157*t - 29*t - 1028 = -129*t. Suppose -6 = 2*u + 12. Let f be (-12)/u*(0 + 3). Solve -f*w = -2*w - t for w.
2
Let w(z) be the second derivative of -z**4/6 + 3*z**3/2 + 19*z**2/2 + 5*z. Let u be w(6). Let m be -5 - -6 - (u - 0). Solve 0 = -h - m*h for h.
0
Let r(b) be the third derivative of -13*b**4/24 - 113*b**3/3 - 83*b**2 - 2*b. Let u be r(-18). Solve u*y - 12*y + 16 = 0 for y.
4
Let t be (4/14)/((-26)/(-91)). Let s be (-6)/1 - (-9 + t). Solve 1 = -u + s*u for u.
1
Let r = -106 + 148. Suppose 9*i - r = 6*i. Solve -i*b + 11*b - 15 = 0 for b.
-5
Let c(z) = -z**2 - 8*z - 12. Let k be c(-5). Suppose -4 = -u, 5*u = k*a + a. Suppose -a*i - x = -19, -i + 0*x = -5*x - 9. Solve -i*o = -2*o + 2 for o.
-1
Let h be (663/(-6) + 2)*(174/21 - 10). Solve 167*t + 76 = h*t for t.
4
Suppose -61*b = -168 - 1174. Let j = -49 + 69. Solve -b*f + j*f - 2 = 0 for f.
-1
Let n(i) = 7*i**2 + 117*i + 12. Let g be n(-17). Solve 27*t + g = 4*t for t.
-2
Let s(u) = -u**3 + 5*u**2 - 5*u + 7. Let k be s(5). Let j be (-26 - k)/(4/(-18)). Let q = j - 36. Solve -t + q - 3 = 0 for t.
-3
Let k = -410 + 771. Suppose 63 = -k*p + 368*p. Solve 3 - p = -2*q for q.
3
Let d(w) = w**3 + 7*w**2 + 2*w - 2. Let o be d(-6). Let y be ((-420)/378)/((30/(-6))/90). Solve o - y = -2*m for m.
-1
Let q(h) = -3*h**2 + 13*h - 5*h + 6*h**2. Suppose -32*m = -41*m - 27. Let y be q(m). Solve y - 7 = -v for v.
4
Let z(n) = -3*n**3 + 14*n**2 + 6*n - 1. Let a = 268 + -263. Let w be z(a). Solve w*m - 10*m = -24 for m.
4
Suppose 3104 = 4*g - 4*k, 7*g = 3*g - k + 3104. Let l = g - 772. Solve 0 = -73*a + 71*a + l for a.
2
Let s(j) = -3*j**2 - 25*j - 7. Let m be s(-10). Let o = m + 48. Let l be (12/o)/(2/(-9)). Solve -l*x + x = 0 for x.
0
Let y be 10 - 4 - (1 - -11). Let h be (180/25)/4*(-20)/y. Solve -1 = -b - h for b.
-5
Suppose 8*u = -0*u + 264. Suppose 17*s = -u + 84. Solve -1 = 4*p + s for p.
-1
Suppose 0 = 56*l - 8*l - 432. Let z(y) = y**3 + 6*y**2 - 5*y - 16. Let i be z(-6). Solve l*f - 2*f = i for f.
2
Suppose -7*p + 0*p - 13*p + 320 = 0. Suppose -5*v - 23 = -2*t + 2, -3*v - 15 = 2*t. Solve -w + 5*w - p = t for w.
4
Let j(p) = -2*p**3 - 8*p**2 - 4*p - 14. Let h be j(-4). Suppose k + l - 3 = 0, -11 = 2*k - 5*l - 3. Solve -h = f - k for f.
-1
Let v = 382 + -356. Solve -15 = 23*n - v*n for n.
5
Let x = 559 + -554. Suppose -5*w = x*w - 150. Solve -w*m + 2 = -13*m for m.
1
Suppose 282*d = 433*d - 2718. Solve 9*o = -d + 9 for o.
-1
Let l = 3949 + -3693. Solve -249*c = -l*c + 42 for c.
6
Suppose -2*i + 17 = x, 65*i - 62*i + x - 24 = 0. Let s(v) = v**3 - 3*v**2 - 24*v - 23. Let r be s(i). Solve 3 = -t + r for t.
2
Suppose 2*w + 2*w = -4*f + 20, -f = -4*w. Suppose -i + f*i - 5*v = 10, -4*v = 4*i - 24. Solve i = -4*u - u for u.
-1
Suppose -3*u - 5*f + 74 = -2*u, 0 = 2*u - 3*f - 109. Let h = u - 55. Solve -h*w = -3*w for w.
0
Let v = 220 - 212. Let a be v/(-2) - ((-462)/(-6))/(-11). Solve 0 = -z + a - 6 for z.
-3
Let n(q) = 3*q**2 - 11*q + 51. Let m(i) = -4*i**2 + 10*i - 51. Let v(b) = 2*m(b) + 3*n(b). Let w be v(9). Solve -2*h - h = w for h.
-5
Suppose -2*w = -m - 5*w + 28, -m + 4 = -5*w. Let r(b) = m*b + 17 - 33*b + 13*b. Let n be r(15). Solve h + 6 = -n*h for h.
-2
Let g be 831*((4/(-18))/(136/(-204)) - 0). Solve -217 = 12*m - g for m.
5
Let c(v) = -18*v + 471. Let i be c(26). Solve 49*h = -i*h - 104 for h.
-2
Let h be (-7 - (-38)/6)*45/(-6). Suppose -h*t + 2*a = -25, -2*t - t = 2*a - 15. Solve -5 = -5*i + t for i.
2
Let f(q) = -14*q - 119. Suppose -g - z - 6 = 0, -2*g - 3*z = -0*g + 9. Let m be f(g). Solve -7*t = -14 - m for t.
3
Let i be -7 - (-1 - -7) - -211. Solve i*h - 16 = 206*h for h.
-2
Let f(i) = 2*i**2 - 4*i - 3. Let w(z) = -z**2 + z. Let r(d) = -f(d) - w(d). Let a be r(-1). Let v be ((-8)/(-12))/a*-3. Solve t - v + 0 = 0 for t.
2
Let d be 38/(-4) - (-9)/18. Let p = -7 - d. Let f be ((-2)/6)/(7/(-168)). Solve 0 = p*x - f - 0 for x.
4
Let a(s) = -12*s + 14. Suppose 0 = -0*d + 4*d + 56. Let g be a(d). Suppose -11*b + g = 3*b. Solve o - b = -8 for o.
5
Let c = 26098 + -26048. Solve -176 = 28*r - c*r for r.
8
Suppose -8*d + 4 = 20. Let j(u) = -4*u - 4. Let g be j(d). Solve 4*a - 2*a = -g for a.
-2
Let d(k) = -995*k + 4185. Let x be d(4). Solve 0 = -6*l - 187 + x for l.
3
Let a(q) = 1270*q + 10172. Let f be a(-8). Let b = 9 + -15. Let h(u) = u**3 + 6*u**2 - u + 7. Let m be h(b). Solve f = -5*l - m for l.
-5
Suppose -37 = -4*l - 5. Suppose l*g + 4*g = g. Solve g = r - 2 + 5 for r.
-3
Let f(l) = l**3 - 32*l**2 - 708*l - 35. Let b be f(-15). Solve 56*a - b*a = 46 for a.
1
Let t be (-16)/(-56) - 191/7. Let n be t/(-15) + (-1)/(-5). Solve -y = n*y - 15 for y.
5
Let r(l) = 22*l - 83. Let o be r(5). Suppose -4*c + o + 30 = 3*k, -c + 17 = -2*k. Solve 10*n = c + 15 for n.
3
Let m(v) = 314*v - 1254. Let q be m(4). Solve 293 = q*a + 289 for a.
2
Suppose -29*w = 4*b - 25*w - 20, 4*b - w - 40 = 0. Solve -b*o = 2 - 11 for o.
1
Suppose 3*m - f - 14 = 4*f, 2*f - 10 = -4*m. Let l be m/((18/4)/3). Suppose -11*y = 1959 - 2003. Solve -y = 3*a - l*a for a.
-4
Let h(t) = t**2 - 521*t + 7110. Let m be h(14). Solve 14*c = -m*c - 78 for c.
-3
Let w = 522 - 507. Let s be (-5)/(w/(-2)) - (-22)/(-33). Solve 0*d - 2*d - 10 = s for d.
-5
Let v be 2*(6/8)/(9/24). Let u be v/(4/49) + 0 + 3. Suppose -u = -4*y - 52. Solve y = -q - q + 6 for q.
3
Suppose 3555 = 5*c + 5*u, 210*c + 720 = 211*c + 2*u. Solve c = 25*t + 53*t for t.
9
Suppose -2*s - 60 = 7*h - 12*h, 5*h + 3*s = 35. Let k(v) = -6*v - 34. Let d be k(-6). Solve -d = 4*n - h for n.
2
Let h be (