*x - 3*x - 12 = 0 for x.
4
Let z be ((-561)/(-55))/(2/10). Let y be (-2)/(-17) - (-249)/z. Suppose h + 5*h - 18 = 0. Solve 22 = -y*l - h for l.
-5
Let f(g) = 4*g**2 + 2. Let h be f(1). Suppose 4*x - 2*x = h. Solve -s - 6 = -x*s for s.
3
Let q be (-1 - -2)*(-1 - -6). Suppose -21*d - 66 + 87 = 0. Solve q*v - 6 + d = 0 for v.
1
Let j(c) = -c**2 - 8*c + 1. Let l be j(-7). Let i be (-51)/12 + 2/l. Let n = i + 29. Solve 2*d - n = -3*d for d.
5
Let h(z) = -z**2 + 4*z - 2. Let l(b) = 7*b + b**2 - 4 + b**2 - 4*b**2. Let k(j) = 5*h(j) - 3*l(j). Let i be k(0). Solve -y = -1 + i for y.
-1
Let x = -24 - -32. Suppose -3*h + x = 2. Solve -3*b - 2 = -h*b for b.
-2
Let d = -213 + 226. Solve -4*i = 9 - d for i.
1
Suppose 5 = 5*p + a - 0*a, 4*p + 5*a + 17 = 0. Solve -12*f - p = -11*f for f.
-2
Let x be 3 + 8/(-16) + 1/(-2). Let i be 1*-1*(-7 - -4). Let h be (-12)/(-4 + 0) + 2. Solve -h*t + i + x = 0 for t.
1
Let p = 56 + 0. Let d = -56 + p. Solve d = i + 2*i - 12 for i.
4
Suppose 2*p = -3*m - 322, -4*m - 315 = 2*p + 115. Let u be (-16)/(-88) + m/(-11). Solve -u = 4*l + l for l.
-2
Let u be (-6)/(-1) - (-4 - -6). Suppose -u - 5 = -3*y. Solve 3*x = y - 12 for x.
-3
Suppose 4*u + 3*v - 31 = 3*u, -u + 28 = 4*v. Suppose 8*w = 3*w + u. Let f(l) = -l**3 + 6*l**2. Let h be f(6). Solve 2*x + 2*x + w = h for x.
-2
Let q(y) = -y**3 + 11*y**2 - 27*y + 9. Let i be q(3). Solve i = -o - 0 - 5 for o.
-5
Suppose 0 = 4*x - 4*d - 124, 185 = -7*x + 12*x + 5*d. Solve x = 6*u + 10 for u.
4
Suppose -12 + 28 = 4*m. Let j = -37 + 39. Let q = m + j. Solve -y = y - q for y.
3
Let u be (-47)/(-15) + 80/(-600). Solve -v = u - 2 for v.
-1
Suppose x + 2*m = 56, 2*m + 204 = -0*x + 4*x. Let g = -48 + x. Solve 3*t - t - g = 0 for t.
2
Suppose 2*a = 3 + 5. Solve 0 = -2*s - a*s - 24 for s.
-4
Suppose 0 = 4*s + 4*a - 12, -4*a + 15 = s - 7*a. Suppose -14 = -l + 8*l. Let y = l + s. Solve -f + 5*f = y for f.
1
Let p be 0/(2/8*(3 + 1)). Suppose -6*v = -p*v - 18. Solve 0 = -v*j + 3 + 6 for j.
3
Let g(s) = -s + 7. Let y be g(3). Let q(c) be the third derivative of c**5/30 - c**4/8 - 5*c**3/6 + c**2 - 11. Let k be q(y). Solve 0*r - k = -5*r for r.
3
Let y = -643 + 643. Solve 0 = -y*w + 8*w - 40 for w.
5
Let w = 497 - 491. Solve -17 = w*p - 47 for p.
5
Let k be (2 - 1)/(2204/95 + -23). Solve 7*p + k*p = 10*p for p.
0
Suppose -t - 3*j - 25 = 0, -4*t - j - 3*j - 60 = 0. Let n(o) = o**3 + 10*o**2 - 2*o. Let q be n(t). Solve k - q = 6*k for k.
-4
Let u(n) = -11*n - 34. Let h be u(-4). Solve -5*q + h*q = -10 for q.
-2
Let m be -3*(-1 + 1/3). Suppose 2 + 4 = m*o. Solve 2*s - s + o = 0 for s.
-3
Suppose -4*x + 10 = -14. Suppose -5*l = -37 - 98. Suppose c - l = -2*c. Solve c = 3*i - x*i for i.
-3
Let x = 10 + -9. Suppose 66 = 36*c - 25*c. Solve -u + x = c for u.
-5
Suppose -22*r = 13*r - 70. Solve 0*q = -r*q + 6 for q.
3
Let f(w) = w**2 + 9*w - 15. Let x be f(-11). Suppose 3*d = 2*d + 3*i - 13, -30 = -5*d - 4*i. Solve -1 = -d*y - x for y.
-3
Let l(d) = 4*d**2 - 5*d + 17. Let b be l(2). Let j(p) = p**3 - 2*p. Let i be j(3). Let h = b - i. Solve h*f = -2*f for f.
0
Let k(o) = 7*o + 1. Let m be k(-1). Let x(c) = c**3 + 6*c**2 + 7. Let l be x(m). Suppose l = t + 2*b, -2*b - b = -t + 7. Solve 0 = t*u - 2*u - 20 for u.
4
Let z(y) = y**3 - 9*y**2 + 9*y - 7. Let f be z(8). Let u(r) = 2*r - r - f - 2*r + 0*r. Let i be u(-1). Solve i = j - 5*j + 20 for j.
5
Suppose 15 = 5*n - 2*n. Suppose -46*f = -2*a - 49*f - 11, -a - 3*f = 13. Solve 3 + a = -n*r for r.
-1
Let s = -108 - -111. Suppose -v + d = 0, 3*d + d - 6 = v. Suppose -v*g = 3*g. Solve 0 = -g*n + n + s for n.
-3
Let o(b) = 5*b - 2. Let g be o(1). Let s be -12*((-32)/(-12) - g) - 0. Solve -v = -0*v + s for v.
-4
Let v(j) = 2*j**2 + j**3 + j - 3 + j + 4. Let g be v(-1). Let m be 5/(90/39) - ((-44)/24)/(-11). Solve -m*y = -g*y - 10 for y.
5
Let l be (-1)/(8/980) - 1/2. Let i = l - -136. Solve 2*c - i + 5 = 0 for c.
4
Suppose 280 = -5*g + 12*g. Solve 8*z = -2*z - g for z.
-4
Suppose 3 = p - 3*s, 5*p = 3*s - 4 + 7. Let i(v) be the second derivative of -v**4/12 + 7*v**3/6 + 11*v**2/2 - 2*v. Let j be i(8). Solve j + p = -3*k for k.
-1
Suppose -5*t = 2*p + 3*p - 10, 0 = t + 3*p - 6. Solve -j - j = t for j.
0
Let t(n) = -n**2 + 10*n + 2. Let m be t(9). Suppose -25*x + 26*x = 6. Let r = m - x. Solve r*d = 3 - 13 for d.
-2
Suppose 5*o - 15 = 0, 4*b - 2*o - 3 = 7. Let x(s) = -2 - 2 + 5 + s. Let i be x(4). Solve -i*l + b = -1 for l.
1
Let n be 4/(-4) - 1*-4. Let r be 1/((-8)/n - -3). Solve -v = -r*v - 10 for v.
-5
Suppose -2 = -m - z, -5*z + 9 = -1. Let h(c) = 0*c + 0*c - 3 + m + c. Let b be h(8). Solve 0*a = b*a for a.
0
Suppose b - p - 8 = -3*p, -4*p + 14 = b. Suppose 7*v - 19 = b. Solve -4*s + v*s = 0 for s.
0
Let a(t) = -2*t + 37. Let u be a(13). Suppose -5*p = -21 + u. Solve -7*d = -p*d + 5 for d.
-1
Let z be (8/(-14))/(2*(-4)/84). Solve 92*o + z = 94*o for o.
3
Let l(g) = 5*g + 110. Let b be l(-21). Solve h - b*h = -12 for h.
3
Suppose -5*j - 6*m + 20 = -2*m, -3*j + 3*m + 12 = 0. Suppose 0 = -j*u + 16, 4*u - 2*u + 16 = 4*k. Let s = -3 + k. Solve 19 = 4*l + s for l.
4
Let a be (5 + -45)/(-10) - 6/3. Solve -3*x - a*x = 15 for x.
-3
Suppose -9*g - 8*g + 459 = 0. Solve 4*z - g = -5*z for z.
3
Let w = 9 - 6. Let m be -6 + 7 - (-1)/1. Suppose d + m*d = 0. Solve 0 = w*v - d*v + 9 for v.
-3
Let i = 25 + -25. Suppose 3*s - 2*s - 15 = i. Suppose 13*r + 12 = s*r. Solve -l - r = l for l.
-3
Let f = -17 + 17. Suppose f*x + x - 5 = 0. Solve -10 = -5*s + x for s.
3
Suppose 2*c + 3*c = -4*o - 10, 15 = -5*c - 3*o. Let t(l) = l**3 + 7*l**2 + 7*l + 9. Let i be t(c). Let n be (-4)/i*(-18)/12. Solve -n*r = 2*r - 8 for r.
2
Let x = 115 + -161. Let l be 10/3 + x/(-69). Solve -l*i = -8 - 8 for i.
4
Suppose 26*t = t + 75. Solve t + 9 = 3*d for d.
4
Let m = 5 + -2. Suppose 20 = 5*x + 5*o, -4 = -2*x + m*o - 1. Solve -x = 3*p + 3 for p.
-2
Let f = 87 + -43. Suppose 2*m + 0*m - f = -3*z, -4*m + 5*z + 88 = 0. Solve -6 + m = -4*s for s.
-4
Let l = 446 - 443. Solve v + l - 1 = 0 for v.
-2
Suppose 5*a = -4*z + 22, z + 1 = 5*a - 6. Solve 4*r - z = 5 for r.
2
Suppose 4*i + 15 = 47. Solve -i*c - 27 = -17*c for c.
3
Suppose -2*m + n = 1, -12*m + n = -9*m - 1. Solve -m*i - 27 = -35 for i.
4
Let w(z) = -z**3 - 6*z**2 - 10*z + 3. Suppose -6 = 3*f + 9. Let l be w(f). Solve 0 = -5*p - l + 8 for p.
-4
Suppose 7*u + 60 = 8*u. Suppose -u = 3*k + 2*k. Let g be -1 + k/(-8 - -4). Solve g*y + 12 = -y for y.
-4
Let f(a) = -2*a**2 + 3*a + 3. Let o be f(4). Let r = o - -18. Suppose 16 - 3 = j. Solve -3*x + r = j for x.
-4
Let q(k) be the third derivative of k**4/24 + 2*k**3 + 4*k**2. Let w be q(-6). Suppose -26 = -4*v - w. Solve v*u + 0*u = -5 for u.
-1
Let r be (-2)/(1 + (-6)/3). Let i = 3 - r. Let l be (0/i)/(0 - 3). Solve l*d = -4*d - 20 for d.
-5
Let o(v) = 0 + 27*v - 31*v - 2 + v**2. Let z be o(5). Suppose -3*r - 21 = -0*c - z*c, 3*c + 5*r + 19 = 0. Solve c*a + 20 = -2*a for a.
-5
Let w(z) = z**2 + 2*z + 1. Let o be w(-1). Suppose o = d - 4 + 3. Solve 4*f = 3*f - d for f.
-1
Let o = 433 + -422. Solve -85 = -o*w - 6*w for w.
5
Let g(q) = 57*q - 31*q - 15 - 31*q. Let r be g(-6). Let s be ((-18)/(-15))/(3/r). Solve s = j + j for j.
3
Let y(x) = -x**2 - x + 2. Let h be y(0). Let b be (3/4)/3*(-1 + 1). Solve -r + h - 1 = b for r.
1
Let n = -1053 - -1102. Solve n*f = 41*f - 32 for f.
-4
Let b(v) = -v**3 - 6*v**2 + 8*v + 15. Let c be b(-7). Suppose 5*s + c = 23. Solve 3*p = -s - 12 for p.
-5
Suppose 0 = -b + 4 - 2. Suppose b*h + 2*f = -22, -5*h + 1 = -h - 5*f. Let w = h - -15. Solve 6*y = 3*y + w for y.
3
Let z = 977 - 960. Solve 4*h + z*h = 84 for h.
4
Suppose 115*h - 112*h = 3. Solve 0 = -3*z - 16 + h for z.
-5
Suppose -n = 2*i + 5, 0 = -2*n - 2*i + 7*i + 26. Solve -n*m - 4 = -m for m.
-2
Suppose -17 = -4*v - 9. Solve -5*b = 7 - v for b.
-1
Let f(d) = d**3 + 8*d**2 - 11*d - 13. Let s be f(-9). Suppose -v + 21 = -s. Suppose -5*b + v = -4. Solve -b = -5*n - 21 for n.
-3
Let n(d) = 13*d**2 - 10*d + 1. Let p be n(3). Solve 0 = -w + p - 85 for w.
3
Let a be (-7)/((-2)/((-20)/(-10))). Solve a*m - 16 = 19 for m.
5
Let q = -135 - -135. Solve 0 = b - q + 1 for b.
-1
Suppose 49*t - 45 = 34*t. Solve -t*r + 9*r = 30 for r.
5
Let d = 71 + -118. Let y = d - -51. Solve y*i + 0 = 8 for i.
2
Let l = 155 - 150. Solve -l*a = -3*a + 8 for a.
