 + 10*u + 3. Let y be a(3). Suppose 0 = -y*i + 57*i - 12. Solve 0 = -i*o + 5*o for o.
0
Suppose 4*o - 3 = 1. Let j = o - -7. Suppose -5*c + j = -c. Solve 2*p + c = 3*p for p.
2
Let m be 1/(-3) - (-140)/15. Let u = 5 - m. Let f be 3/(-6)*(u + 4). Solve 0 = -5*k - f*k + 15 for k.
3
Suppose 0 = 4*n - v - 428, 5*v + 612 - 62 = 5*n. Solve 0 = 102*g - n*g + 20 for g.
5
Let o be -4*-3*(-436)/48. Let f = o - -109. Solve -3*a + f*a = 0 for a.
0
Let b be (-3)/(-7) + 156/(-364). Solve b = -i - 6 + 9 for i.
3
Suppose -m - 24*m + 50 = 0. Solve m*u = u for u.
0
Suppose 14 = 4*i - a, -i + 6 = -0*i + a. Solve 8 = i*y + 4 for y.
1
Let g(z) = -3*z - 68 - 3*z - z**2 + 60. Let o be g(-4). Solve 5*y - 16 - 4 = o for y.
4
Let l(g) = g**3 + 6*g**2 - g - 3. Let b = 6 - 12. Let u be l(b). Solve 0 = -5*j + u - 8 for j.
-1
Let y = -114 - -124. Solve -3*d - 16 + y = 0 for d.
-2
Let f(h) = 2*h - 2. Let x be f(3). Suppose 2*n = 6*n - 20. Suppose -2*i - 1 = -3*i, -8 = -n*r - 3*i. Solve -r + x = z for z.
3
Let w(r) = r**2 - 2*r + 31. Let d be w(0). Suppose d = 5*b - 4*b. Solve b = -5*h + 6 for h.
-5
Let x be (-1)/(-4) + (-134)/(-8). Suppose 5 = -2*o + x. Let a = 0 + 3. Solve o - a = u for u.
3
Let h be (3/(-6) - 1) + 153/6. Suppose -f + h = 2*f. Solve -5*k + 7 + f = 0 for k.
3
Suppose 54*o = 55*o - 12. Solve -6*k + o = -0*k for k.
2
Suppose 28 = 4*l - 0*l. Suppose 3*f - l - 5 = 0. Solve -2*m = f + 4 for m.
-4
Let b be (3/2 - 1)*4. Suppose 0 = -g + 10 - 0. Suppose -13*z + g*z = -30. Solve 0*o + b*o = -z for o.
-5
Suppose -255 = -9*c - 6*c. Solve 4*m + 29 - c = 0 for m.
-3
Suppose -2*k - 15 = -5*h, 6*h - 2*h - 12 = -2*k. Let d = h + 22. Suppose -2*y - g = -5, -y + 3*g + 10 = d. Solve 5*r + 20 = -y*r for r.
-4
Let n(v) = 2*v**2 + 12*v + 7. Let c(z) = z**2 + 6*z + 3. Let h(u) = 5*c(u) - 3*n(u). Let d be h(-9). Let y = d + 60. Solve 5*s - 7 = -y for s.
-4
Let v = -70 - -73. Let n(y) = -y - 5. Let h be n(-6). Solve 0 = v*l - 2*l - h for l.
1
Let a be 54/13 - (-10)/(-65). Suppose -2*c + 3*j = -j, -6 = -c - a*j. Solve -5 = -p + c*p for p.
-5
Let t be (70/(-25))/(2 - 12/5). Let b be (-1)/((2/(-14))/1). Let a = b - t. Solve p - 3*p + 4 = a for p.
2
Let k(b) = -2*b**2 + 4*b + 13. Let j be k(-4). Let r = -2 - j. Let v = 33 - r. Solve v = -0*d + 5*d + 20 for d.
-4
Suppose -4*z + 3*l + 81 = 18, -3*z - l = -57. Solve -6*a + 12 = -z for a.
5
Suppose -11*u + 15*u - 20 = 0. Let a(t) = t**2 - 3*t + 5. Let s be a(u). Suppose 6*k - s = k. Solve 4 = b + k*b for b.
1
Let m(r) = r**3 - 27*r**2 + 29*r - 57. Let b be m(26). Solve -8*j + 19 = -b for j.
5
Let m(j) = 66*j**2 + 6*j. Let w be m(1). Solve 18*s + 0*s - w = 0 for s.
4
Let d = -11 - 1. Let v = d + 12. Solve 4*x - 19 + 3 = v for x.
4
Suppose 0*d + d = 5. Suppose -19 = -d*w - u - 4, 5*w = 2*u. Let f be -2*(-9)/6*1. Solve c + w = f*c for c.
1
Let q be ((-4)/10)/(4/(-40)). Let a be 14/(-3*(-3)/(6*-3)). Let f = a + 32. Solve 0 = q*m - 0 - f for m.
1
Suppose 19 = -4*d + 43. Let j(f) = f**2 - 9*f - 8. Let m be j(d). Let w = -22 - m. Solve 0 = 4*t - 8 + w for t.
1
Let d = 508 - 506. Solve 21 - 29 = -d*f for f.
4
Suppose 4*n + n + 29 = 2*r, -3*n + 20 = r. Solve -25*g = -r*g + 24 for g.
-3
Let r(f) = -f**2 - 8*f - 4. Let q be r(-6). Let p be ((-2)/(-3))/(q/36). Let k be ((-4)/(-12)*p)/1. Solve c = -k - 1 for c.
-2
Suppose 20 = 4*j - 3*z, 0 = -0*j + 2*j - 5*z - 24. Suppose 0 = 5*l - j*l - 246. Let i be l/7 - (-6)/21. Solve -2*x = 2*x - i for x.
3
Let c be 2 + -1 + (12 - 9). Solve -i - 2 = -c for i.
2
Suppose r - 4 = -f, 3*r + r - 4*f = 32. Let u = -66 - -67. Solve r = t + u for t.
5
Suppose -3*s = -12, -v - 2*v - 11 = s. Let t be -2 + 1/(v/(-25)). Solve 5 = t*q - 1 for q.
2
Let m(k) = -k**2 - 17*k + 58. Suppose b + 0*a + 14 = -5*a, 0 = 2*b + 2*a + 36. Let q be m(b). Solve -3*w = -8*w + q for w.
4
Suppose -u = -1 - 8. Suppose 3*o - 2*o = 6. Let b = u - o. Solve -b*z - 2*z = 0 for z.
0
Let l = -74 - -74. Let o(x) = 6 + 5*x + x**2 + 2 - 2. Let f be o(-4). Solve l = -m - f*m for m.
0
Suppose 17*s + 2964 = 95*s. Solve s*f - 44*f + 30 = 0 for f.
5
Let o(c) = -13*c**2 - 33 + 33 - c**3 + 14*c. Let y be o(-14). Solve -l - l + 8 = y for l.
4
Let t(u) be the second derivative of u**4/12 + 5*u**3/3 + 7*u**2 - 35*u. Let i be t(-9). Solve 0 = 2*d - i*d + 3 for d.
1
Suppose 0*i - 4*i = 4*h + 28, 5*i + 31 = -3*h. Let f be 162/(-27)*1/h. Let x be 0 - 5/((-10)/24). Solve -j - f*j = -x for j.
3
Let w = -1004 + 1027. Solve 0 = -21*j + w*j + 2 for j.
-1
Suppose 255 = -62*g + 147*g. Suppose 0 = -2*a - 3*a + 15. Solve -3 - a = g*j for j.
-2
Let h = -12 - -11. Let l = h + 21. Let b = -36 - -44. Solve 4*a + b = l for a.
3
Let x(l) = l + 14. Let w be x(-17). Let h be (-9)/w + 0 + -1. Suppose -2*f + 0 = 3*d - 23, 0 = 2*f - 2*d + h. Solve 0 = f*q + 13 + 7 for q.
-5
Let o be (-810)/(-66) + 24/(-88). Solve 4*t = o - 8 for t.
1
Let p(b) = b**2 - b. Let q(g) = -g**3 - 3*g**2 + 7*g. Let l(j) = 4*p(j) + q(j). Let o be l(-2). Solve 0 = -0*w - 2*w + o for w.
3
Let w(t) = 2*t**2 - t + 1. Let y be w(1). Suppose -c = -y*c + 4. Let m be 2/(-6) - c/(-12). Solve m = 2*v + 2*v - 20 for v.
5
Let l(k) = -k**3 + 2*k**2 - k + 1. Let u be l(2). Let b be 4*((-12)/(-8) + u). Solve b = -h + 1 for h.
-1
Let r = 0 - -6. Let w = -4 + r. Suppose -4*o = -0*o. Solve w*v + o + 2 = 0 for v.
-1
Suppose -l - 2 + 7 = 0. Suppose -120 = -l*j + 45. Suppose -2*d - j = -5*s, 2*s - 30 = 4*d + d. Solve -4 = b - s for b.
1
Let v = -17 - -13. Let y(p) = -p - 1. Let q(s) = -s - 2. Let o(c) = v*q(c) + 3*y(c). Let t be o(-4). Solve 1 = -2*l - t for l.
-1
Let f = -3382 + 3391. Suppose 0*p = -3*p + 3*u + 6, 5*p - 2*u = 19. Solve p*c - f = 6 for c.
3
Let a be (14/(-84) + (-46)/12)*-1. Solve a*l + 10 = 2*l for l.
-5
Let v = 128 - 119. Solve 29 = -5*c + v for c.
-4
Let y be 6*((-10)/(-6) + -1). Suppose 0 = -5*d - y*z + 4 + 1, -d = z. Suppose -13 = -5*a - l + 29, 0 = a - 4*l. Solve 7 + a = -d*j for j.
-3
Let i = 171 - 151. Solve i*a = 7*a + 5*a for a.
0
Let n = 124 - 124. Solve -5 = -5*b - n*b for b.
1
Let s be (-9)/7 + (-8)/(-28). Let p(m) = 12*m + 2. Let w be p(s). Let o be (4/w)/(1/(-5)). Solve -o*x = -4*x + 10 for x.
5
Let d(b) = -b**3 + 7*b**2 - 5*b - 4. Let j be d(6). Suppose -31 = -k + 3*a, k + a - j*a = 21. Let p(u) = 41*u - 161. Let q be p(4). Solve -v + k = q*v for v.
4
Suppose -2*j = 3*d - 119, 308 = -3*j + 8*j + 4*d. Solve -x = -17*x + j for x.
4
Let m = -2 - -3. Let f(a) be the first derivative of 2*a**2 - 4*a - 53. Let c be f(m). Solve -5*g + 2*g - 9 = c for g.
-3
Let b = -55 - -80. Solve 2*z + b = 21 for z.
-2
Suppose -8*a = -7*a + 10. Let o = a + 15. Solve o = -5*s - 5 for s.
-2
Suppose -36 - 2 = -5*x - 2*v, 3*x - 26 = -2*v. Solve x*k + 14 = -16 for k.
-5
Suppose 10*l - 8*l - 4*j = 14, 4*j + 8 = 0. Solve l*n = -5*n + 24 for n.
3
Let j(v) = -v**2 + 5*v - 2. Suppose -2*f + 570 = 3*f. Let t be (-4)/18 - f/(-27). Let s be j(t). Solve 0 = -s*x - 1 - 1 for x.
-1
Let j be 7 - ((-108)/243 - 120/(-27)). Suppose -p + 5*u + 5 = -21, -2*p + 2*u = -36. Solve 1 = j*c + p for c.
-5
Suppose -2*c = 5*d - 16, 0 = 5*c - 2*d - 14 + 3. Suppose -1 + 16 = c*i. Solve -i*s + 4*s = 1 for s.
-1
Let o = -7 + 10. Suppose 2*r = o*r - 20. Solve 2*c = -2*c - r for c.
-5
Let c = 1380 + -1377. Solve 0 = -9*n - c*n + 12 for n.
1
Suppose -29 = 5*d - 4*p + 1, 0 = p - 5. Let m be (-7)/(28/(-12)) - d. Solve -m*b - 1 = -11 for b.
2
Suppose 4*q = 15 - 11. Let x be q/4 + 60/16. Solve b = -b - x for b.
-2
Let a(t) = -3*t**2 + 21*t + 5. Suppose 4*u - 38 = -10. Let y be a(u). Solve y*v = -1 - 24 for v.
-5
Suppose -p - 11*p + 108 = 0. Solve 4*v - v + p = 0 for v.
-3
Let r(v) be the third derivative of -v**5/60 + v**4/6 + 23*v**3/6 + 32*v**2. Let j be r(7). Solve h - j*h + 5 = 0 for h.
5
Let f(h) = -h**2 - 5*h + 9. Let b be f(-8). Let i be (66/b)/((-8)/20). Let m = i + -8. Solve 0*t - 9 = m*t for t.
-3
Suppose -8 = -10*m + 8*m. Suppose 2*p = 5*p - 72. Suppose 4*i - m*t = 64, 0 = 3*i + t + p - 68. Solve -3*l = -0*l + i for l.
-5
Let f(x) = -x**2 + 6*x - 3. Let r be f(5). Let c be (48 - -1) + 1 + r. Let u be (-7)/(-4) - (-13)/c. Solve -6*j + u*j = 4 for j.
-1
Suppose -j + 20 - 15 = 0. Suppose 5 = -5*m + 3*m - 3*b, j*m + 3*b = 1. Let h be 0 - 18/(-3*1). Solve -m*v = 2 - h for v.
2
Suppose 2*p - 19 = -9. Let k be ((-1)/(-2))/(p*4/120). Solve -n = k*n + 20 for n