 for u.
8
Suppose -25 + 7 = -9*l. Let h(i) = -7*i + 14. Let j be h(l). Solve -x - x = j for x.
0
Let v be 28/112 - (-2)/(-3)*3/8. Solve -19*t = -v*t for t.
0
Let l(r) = -3*r + 60. Let z be l(20). Solve z = 3*i - 342 + 354 for i.
-4
Let c = 70 - 65. Suppose 0 = c*t + 2*z - 67, -3*z - 27 = t - 2*t. Suppose 3*k = 6*k - t. Solve 0 = a - k*a for a.
0
Let q = -206 - -226. Suppose -3*y + 2*x + 33 = 0, -3*y - 47*x = -46*x - 24. Solve b = -y*b + q for b.
2
Let u = -64 - -113. Suppose -6*s - 7 + u = 0. Solve 0 = 3*r + 4 - s for r.
1
Suppose -5*v = -215 - 215. Suppose -120 = 5*z - 2*z - 3*c, 2*z - 4*c + v = 0. Let a = -36 - z. Solve -3 = 2*t - a for t.
-1
Let j(u) = -3*u**3 + 26*u**2 + 3 + 19 - 7*u + 6*u**3. Let p be j(-9). Solve 20 - 4 = p*n for n.
4
Let s(z) = -z**3 + 11*z**2 + 41*z + 19. Let h be s(14). Let m be 30*3/9 - h. Solve -4*q - m = -3*q for q.
-5
Let x = 314 + -317. Let p be (0 + 3 + x)/(-9 - -7). Solve -4*a + 0 + 8 = p for a.
2
Suppose 1068*y + 2611 = 1061*y. Let t = y - -376. Solve -2*o = -t*o + 2*o for o.
0
Let a(q) = 8*q - 611. Let k be a(79). Solve 0 = -157*x + 164*x + k for x.
-3
Let o(s) be the first derivative of -2*s + 1/3*s**3 - 29 + 3*s**2. Let q be o(-7). Solve -q*w + w - 4 = 0 for w.
-1
Let g = 18 + -16. Let j(o) = 6*o - 9*o + 5*o - 3*o + g. Let s be j(-2). Solve n + s = -0 for n.
-4
Suppose -42*j - 12*j = 38*j - 460. Solve 108 - 143 = -j*z for z.
7
Suppose -188*q = -523 - 605. Solve -66*k = -60*k + q for k.
-1
Let d(p) = 2*p**2 + 1. Let v be d(1). Let j be (8/(-36))/(((-20)/18)/5). Suppose i - 2*i = -1, -3*i - j = -2*s. Solve 0 = -s*y + v*y - 5 for y.
5
Let v be (-1)/3 + (-13)/(-3). Let c = v + 3. Let b be 17 - ((-3)/(-6) + -2*(-49)/(-28)). Solve -b = c*n - 2*n for n.
-4
Let y = -2576 - -2618. Solve 11*t + y = 18*t for t.
6
Suppose 14*l = 27*l + 1404. Let x be (-99)/(-2)*(-24)/l. Solve 0 = 2*t + x - 3 for t.
-4
Let f = 69 + 31. Suppose 4*a - 4*y = y + 51, -5*a + f = y. Solve 6*m + 1 = a for m.
3
Let l be 0 + 11 - (-255 - -260). Solve 0 = -l*k - 74*k - 400 for k.
-5
Suppose -4142 + 1682 = -28*f - 32*f. Solve 29*h + 210 = -f*h for h.
-3
Suppose -1114 = -76*f + 801 + 1201. Solve -f*h = -h + 240 for h.
-6
Let a = 1378 - 791. Let s = a - 528. Solve -9*k - 14 = -s for k.
5
Let o(u) = u**2 + 2*u - 315. Let c be o(18). Solve 158 + 67 = -c*h for h.
-5
Let t = 446 + -431. Suppose -3*s = 5*r - t, 22 = -3*s + 37. Solve -2*u = -r*u - 8 for u.
4
Suppose 267 = 5*q - 4*j - 95, 2*q = 5*j + 155. Let z be ((-24)/(-21))/(20/q). Let d be (10/6)/(z/36). Solve -d = -2*k + 7*k for k.
-3
Suppose 2*l - 382 = 4*d, 2*d + 541 = 6*l - 3*l. Solve 131 = -11*i + l for i.
4
Let m(x) = -9*x + 8. Let w be m(-2). Let b = w - 16. Suppose 4*f = 6*f + b, 2*f = 2*q - 14. Solve -q*k = k - 6 for k.
2
Let z(r) = -3*r**3 - 4*r**2 - 8*r - 2. Let d(x) = -10*x**3 - 12*x**2 - 25*x - 5. Let s(l) = 2*d(l) - 7*z(l). Let n be s(-2). Solve n = -6*h + 5*h + 3 for h.
3
Let t = -31 + 35. Let v = -3417 - -3419. Solve -v = -t*z - 6 for z.
-1
Suppose 27*p = -36*p + 69*p - 138. Solve -p*h + 71 = -90 for h.
7
Suppose 4 = -b + 2*i + 2, 0 = 4*b - 2*i + 8. Let o(w) = 8*w**2 - 25*w - 2. Let v be o(b). Solve -78*n = -v*n for n.
0
Suppose 9*l - 176 = l. Suppose -2*a + y + y + l = 0, -y = -2*a + 19. Solve -a*m - 15 = -13*m for m.
3
Let x(u) = 66*u + 402. Let g be x(-6). Suppose -8*w + 41 + 39 = 0. Solve 12 = g*z - w*z for z.
-3
Let b(u) = -u + 14. Let v be b(12). Suppose 3*n = -5*c + 29, v*n + 5*c - c - 18 = 0. Suppose n*q - 17*q = -20. Solve -6 = -2*d + q*d for d.
-2
Suppose -2*d - 3*b + 0*b + 30 = 0, 3*d - 4*b - 79 = 0. Suppose 15*z - 39 = d. Solve j + z*j + 15 = 0 for j.
-3
Suppose 30*d = 31*d, 0 = -3*y - 2*d + 402. Solve 104 = -5*z + y for z.
6
Let z = 12 - 9. Suppose -43*w + 2537 = 16*w. Suppose 0 = z*v - 49 + w. Solve 0 = v*n + 2*n for n.
0
Suppose 0 = -4*b + 4*z + 32, -4*b + 147*z - 149*z - 4 = 0. Solve 34*o = b + 32 for o.
1
Let c(d) = -6*d - 1 - 15 - 48. Let a be c(-11). Solve -17 + 7 = a*s for s.
-5
Suppose 358 = 7*r + 106. Let i = 52 + r. Suppose 2*o + i = 13*o. Solve -p - p = -o for p.
4
Let r(y) = y**3 - 28*y**2 + 90*y - 373. Let d be r(25). Suppose 0*q + q = 0. Solve -d*b = -q*b for b.
0
Suppose 2*l = -2, 4*z - z - 2*l + 4 = 0. Let r be (2/(-10))/((-8)/(-100))*z. Solve -w + 3 - r = 0 for w.
-2
Suppose 5*h - 2*d - 46 = 0, 32*d - 29*d = -3*h + 15. Solve -h*o - 266 = -306 for o.
5
Let r = 1771 + -1769. Solve -r*u = -11*u - 9 for u.
-1
Suppose 34*w = 31*w + 3. Let m be (3 - 0 - w) + -2. Suppose 6*c = -2*c + 40. Solve m + 5 = c*z for z.
1
Let m(k) = k**2 - k - 70. Let x(v) = 19*v + 30. Let p be x(-2). Let j be m(p). Solve 2*g - 6 + j = 0 for g.
2
Suppose 0 = 22*h - 21*h + 3*s - 24, h - s = 8. Solve -h*p + 13 = 85 for p.
-6
Let h(n) = n**2 - 53*n + 198. Let o be h(49). Suppose 35 = -o*j + 7*j. Solve -j*c - 10 = -12*c for c.
2
Let m be (133/(-14) - -8)/(6/(-440)). Suppose m = 9*f + 13*f. Let q be 0/3*(-1)/2. Solve x = -q - f for x.
-5
Let a(g) = -2*g + 38. Let v be a(13). Suppose p - v*p + 220 = 0. Solve 0 = -4*j - j + p for j.
4
Let m be -10 - (-94 - (-3 + -6)). Let r(u) = 3*u + 1. Let l be r(1). Suppose 5*h - f - m = 0, -l*h + 2*h + 4*f + 30 = 0. Solve 4*a = a + h for a.
5
Suppose -3*y - 2*a = 422, 282 + 430 = -5*y + a. Let r = y - -142. Solve r*d - 5 = -5*d for d.
1
Suppose 31830 + 6620 = 73*c + 2972. Solve 466 = -4*a + c for a.
5
Let b(h) = -2*h - 16. Let i(c) = c**2 - 15*c - 12. Let t be i(15). Let d be b(t). Let u be (-6)/(-16)*d/1. Solve u*m = -m - 16 for m.
-4
Let k be (3/(-9))/(6/(-144)). Suppose k*g + 130 = 410. Let d = g + -33. Solve d*m = m for m.
0
Let m be (490/(-28) - 1)*(1 + -3)*2. Solve m = 68*x - 130 for x.
3
Let o = 48 + -211. Let l = o - -165. Solve -l*b + 6 = -4*b for b.
-3
Suppose -19 = -4*o - f, -3*o - 2*f = f - 3. Suppose -5*a + 2*a - 26 = -2*l, -a = -4*l + 72. Suppose 1 = -9*d + l. Solve d*z + 2 = -o for z.
-4
Let l(k) = -k**3 - 7*k**2 - 2*k + 101. Let v be l(0). Solve -7*m = 94 - v for m.
1
Suppose b + 10*j - 204 = 4, 3*b + 4*j - 832 = 0. Solve b = -9*r - 63*r for r.
-4
Let r = -40 - -45. Suppose -2*j - j = 3*c - 12, j = r*c - 8. Solve 2*d + 0 - j = 0 for d.
1
Suppose -43*r - 192 = -4*b, -6*r = b - 4*r + 3. Suppose 3*k + 33 = -2*a, -8 - 5 = a + 5*k. Let q = a - -30. Solve 8*z = b*z - q for z.
-4
Let q(n) = -n**2 - 11*n - 14. Suppose 103 = 3*j - 4*f + 5*f, -f = 5*j - 171. Suppose 2*k = w - 18, -2*k = 2*k - w + j. Let z be q(k). Solve -3*v = -v + z for v.
-5
Suppose -41*d = -112*d + 284. Solve 127*y - 129*y = d for y.
-2
Let f(c) = c**3 + 12*c**2 + 11*c - 13. Let r be f(-11). Let p = r - -16. Suppose 2*v + 0 = -2*z + 18, -3*z - v = -25. Solve -z = p*y + 4 for y.
-4
Suppose 4*t + 33 + 97 = -5*k, -2*k - 52 = -t. Let l = -12 - k. Suppose 4*w = 3*s - l, 4*w = 1 + 3. Solve 3*u = u + s for u.
3
Let p(a) = -8*a**3 - 3*a**2 - a + 3. Let n be p(-1). Solve -6*k + n = 3 for k.
1
Let v = -57 - -59. Let w(r) = -r**2 + 19*r - 30. Let c be w(17). Suppose -6 = c*m - 34. Solve 3 = -v*n + m for n.
2
Let y(k) = 9*k**3 + 11*k**2 + 3*k. Let i be y(-2). Let d be 72/i + 2 + 420/102. Solve 0*f = -f - d for f.
-4
Let d be -63 - -59 - 2*84/(-8). Solve 0 = d*m - 331 + 263 for m.
4
Suppose -23*y - 444 = -1318. Let i = y - 37. Suppose -5*s + 4*s = -7. Solve 6*b + i = s*b for b.
1
Let v be 0/(-1)*85/((-6460)/(-76)). Suppose -t + 5 = -2. Solve t*o - 3*o = v for o.
0
Let b(f) be the second derivative of -f**4/12 - 5*f**3/6 + 4*f**2 - f. Let a be b(-6). Suppose 0 = 2*v + 2*i + 2, 2*v + v - 37 = 5*i. Solve q - v = -a for q.
2
Let q = -2 - -3. Let n be 0 + q - (-5 + 9 + -9). Suppose 5*s = -n*c + 2*c + 14, 5*s = 5*c + 5. Solve -16 = -s*h + 6*h for h.
-4
Let z be ((-372)/54 + 8)/(23/207). Solve 22*o - 32 = -z*o for o.
1
Suppose -5*v - 201 = 224. Let y = v - -94. Solve 0 = -5*x + 8*x - y for x.
3
Let f be (-1 - 5910/(-50)) + 2/(-10). Let j = f + -111. Solve 5 + 1 = j*l for l.
1
Let v(t) = t**3 + 6*t**2 - 16*t + 1. Let y be v(-8). Let l be (-6 - (y + -2)) + 16. Solve 2*k - l + 3 = 0 for k.
4
Let b be 5/25 + (656/(-5) - 3). Let s = 140 + b. Solve -6*n + 8*n = -s for n.
-3
Let w be (6/2)/(18/312). Let q be -1 + w/5 - 84/210. Let h = q - 7. Solve 15 = -a - h*a for a.
-5
Suppose -104 = 5*c + 36. Suppose 3*b + 8 = j + 19, -4*j + b - 11 = 0. Let v be 8/c + j/(-7). Solve -2*o + v + 6 = 0 for o.
3
Let u(h) 