n = 18 + -20. Let p(d) = 2*d**2 + 2*d - 2. Let f be p(n). Let i be (f + -4 + 2)*1. Solve i = 6*t - t - 10 for t.
2
Suppose -5*a = 142 + 18. Let o = a - -34. Suppose -3*i + 5*c + 18 - 8 = 0, i - 14 = -c. Solve 0 = -2*d - o + i for d.
4
Suppose 0 = -4*n + k - 2*k + 4, -k = n - 4. Suppose -5*h + 45 = 5*b, -4*b = -n*b - 3*h - 57. Suppose -60 = 20*c - 40*c. Solve 0 + b = -c*p for p.
-4
Let o(y) = y**3 + 11*y**2 + 9*y - 11. Let w be o(-10). Let j(u) = -3*u**3 + 3*u + 2. Let d be j(w). Solve 6 = -5*n + d*n for n.
-2
Let y(x) = -x**2 - 6*x + 80. Let o be y(-12). Solve -o = 10*f - 6*f for f.
-2
Let j(t) = t**2 + 35*t - 36. Let v be j(-36). Solve r - 4*r = v for r.
0
Let i(m) = -m**2 + 8*m + 2. Let v(c) = -8*c**3 - 2*c - 2. Let k be v(-1). Let d be i(k). Solve -d = 3*s + 4 for s.
-2
Suppose 4*d = 3*d - 1, -4*q + 60 = 4*d. Suppose -5*a + 4*s = q, -4*a = -5*a - 4*s + 16. Suppose a = 3*r - 3. Solve 2*t + r = -1 for t.
-1
Let d(q) = -q**2 + 21. Let u be d(-6). Let k(j) = -j**3 - 14*j**2 + 15*j + 2. Let t be k(u). Solve t*b = 4*b for b.
0
Let a be -12*((-1)/2 - -1). Let c = a - -10. Let q be (-30)/20 - (-14)/c. Solve -q*b = 2*b for b.
0
Let b = 17 + -8. Let w(a) = 3*a - 9. Let o be w(b). Let h be 4/o*-3*-6. Solve -y + 3*y = -h for y.
-2
Let y be ((-12)/8)/((-1)/2). Suppose 6 = -3*q + 5*z, 0 = y*q + 5*z - 22 - 2. Solve 8 = c - q*c for c.
-4
Suppose -5*v + 9 = -1. Solve c + 4 = v for c.
-2
Let f = -96 + 96. Suppose k - 5*d + 9 = f, -3 = -4*k - 4*d + 9. Solve -2 = u + k for u.
-3
Let j be (37/111)/((-1)/6). Let q = 6 - 4. Let k be (3 + j + -1)/q. Solve k = -o - 0*o + 4 for o.
4
Let j(x) = -x**2 + 3*x. Let f be j(3). Suppose -4*p = 2*a - 34, f = -4*a + 5*a + 3*p - 22. Let u(q) = 2*q - 10. Let c be u(a). Solve 0 = -c*k + 12 for k.
3
Let n(c) = -c**3 - 8*c**2 + 10*c + 12. Let k be n(-9). Let z be -2*(-1 - k)/8. Let q = 7 + z. Solve s - q = -s for s.
4
Let p(c) = -6*c - 4*c**3 - 4 - 4*c**2 + 5*c**3 - 3*c - 5*c**2. Suppose z + 0 = -3*i - 2, 16 = 2*z + i. Let q be p(z). Solve -q*j = -j for j.
0
Suppose s - 18 = -b + 4*b, -2*s - b + 8 = 0. Suppose 22 = 4*k - 5*d, 0 = 4*k + s*d - 2*d - 4. Solve -k*g + 5 = -7 for g.
4
Let u be ((-48)/18)/((-2)/6). Let w(q) = 3 + 158*q - 159*q - 6. Let r be w(-20). Solve 5*s = -r - u for s.
-5
Suppose -j - 3*p = 0, -3*p + 2*p - 26 = -4*j. Solve j*o + 10 - 28 = 0 for o.
3
Let n(h) = -h**3 - 2*h**2 - 2*h + 1. Let s be n(-3). Solve s*c = 6*c + 15*c for c.
0
Suppose 0 = -b - 5*v - 6, b + 11 = -3*v + 3. Let o(i) = i**2 + 11*i + 4. Let s be o(b). Solve -j + 10 = s*j for j.
2
Suppose 24 = 6*k - 0. Solve -k*l - 2 = -2*l for l.
-1
Let g = -11 + 17. Solve -v = g - 3 for v.
-3
Suppose 0 = -6*y - 8*y + 168. Solve -3 = 3*i + y for i.
-5
Suppose 49*u + 26 = 51*u. Suppose -2*y - u = -29. Let z(a) = a**2 - 6*a - 5. Let p be z(7). Solve -p*v - y = 2*v for v.
-2
Let c = 340 + -322. Solve 14 = -p + c for p.
4
Let z(o) = o**3 - 11*o**2 - o + 10. Let v be z(11). Let h be (10/30)/(v/(-6)). Let f be -6*((-15)/10 + 1). Solve h*m + 5 = -f for m.
-4
Let k = -744 + 1158. Solve -k + 413 = y for y.
-1
Suppose 2*k + 112 = -5*k. Let l be (11/(-44))/(2/k). Solve -l*g + 4 = -2 for g.
3
Suppose 5*k + 30 = 3*k. Let w be k/4*(-4)/3. Solve -4*a + w = -3*a for a.
5
Let h = -1176 - -1187. Solve i - 48 = -h*i for i.
4
Let q be 0 - (-2 + 1)*2. Suppose 0 = q*r + 5*b - 37, 4*r + 3*b = 2*r + 27. Suppose 5*c = -a + 11, -2*a - r = -5*c + c. Solve 4*o - c = -10 for o.
-2
Let z be 22*(130/340 - (-4)/34). Suppose 4*h - 24 = 12. Let v = z - h. Solve 0 = -v*k - 2*k + 16 for k.
4
Let p = 22 - 22. Suppose p*o + 4*o = 3*o. Solve 0*x + 4*x + 8 = o for x.
-2
Let g = 159 - 68. Solve -g = 6*p - 73 for p.
-3
Suppose q = 6*n - 8*n + 71, -4*n + 132 = 4*q. Solve -18*v = v - n for v.
2
Let i = -242 + 248. Solve 3*w - 5*w + i = 0 for w.
3
Suppose 4*s + z - 100 = -z, 0 = s - 5*z - 47. Suppose -s*h + 4 = -26*h. Suppose 2*q - 8 = c, -3 - 5 = -2*q + h*c. Solve 0*v - 16 = q*v for v.
-4
Let w(k) = k**2 - 3*k + 5. Let l be w(2). Let r be -4 + l/5*130/13. Solve 0*m - r*m = 0 for m.
0
Let j = -131 - -79. Let y = 52 + j. Solve r + y + 2 = 0 for r.
-2
Let g(i) = -5*i - 4. Suppose 12*q - 13*q - 2 = 0. Let s be g(q). Solve -2*x + s = -0*x for x.
3
Suppose -21*l = -19*l. Suppose -x = 3 - 5. Solve l = -x*v - 2 - 8 for v.
-5
Suppose -z - 22 = -13. Let h(a) be the first derivative of a**3/3 + 4*a**2 - 7*a + 1. Let c be h(z). Solve f = -c*f - 6 for f.
-2
Let z(g) = 2*g**2 + 5*g - 8. Let m be z(-4). Suppose -5*t = 5*x - 45, -10 - 14 = -t - m*x. Solve t*c = -c - 20 for c.
-4
Suppose -3*p - 5 = -5*f - 8*p, -4*p + 4 = 0. Solve 2*l + f = 6 for l.
3
Suppose 16 = -336*p + 340*p. Solve 0 = -5*a - p*a + 36 for a.
4
Let q be (-44)/(-33) - (-56)/(-6). Let o be (2 + 0)*20/q*-3. Let r = 8 + -3. Solve -o = 5*s + r for s.
-4
Suppose -4*g + b + 4 = -3, -2*b + 4 = g. Let c be g/12 - (3/18 - 2). Solve -c*i - 15 = 3*i for i.
-3
Suppose y = -4*y. Suppose -3*f + 30 = -y. Let i = -10 + f. Solve i = 2*j - 4*j - 2 for j.
-1
Let j = -90 - -93. Suppose 13 = c - 4*d, -j*c + 12 = c + 4*d. Solve c = 2*u - 3 for u.
4
Let b = -821 - -822. Solve k + 4 = -b for k.
-5
Suppose 0*b + 6*b - 12 = 0. Suppose b*r - 6*r = 32. Let p = r - -11. Solve p = 5*f - 12 for f.
3
Let i = 1306 + -1086. Solve -2*s = 222 - i for s.
-1
Let w(f) = 3*f**2 + 4*f. Let h(b) = b**3 - 5*b**2 - 5*b - 8. Let t be h(6). Let q be w(t). Solve -20 = q*c + c for c.
-4
Let b(k) = 2*k - 4. Let y be b(5). Let t(i) = -31*i - 493. Let u be t(-16). Solve y*j = u*j - 9 for j.
-3
Let y = -26 - -29. Suppose 0 = -8*s + y*s + 50. Solve -2*g + s = 2 for g.
4
Let m = 1302 - 1300. Solve m*w = w for w.
0
Suppose -8*x + 7*x + 4 = 0. Suppose x*f - 8 = 16. Suppose 0 = n + 4 - 6. Solve n*y - f = -y for y.
2
Suppose 0*m - 9*m + 72 = 0. Solve m*k - 11*k = 9 for k.
-3
Let u = 6 - -19. Solve -21*a = -u*a + 20 for a.
5
Let s(j) = -j + 4. Let t be s(-2). Let c be (9/2)/(t/12). Suppose -4*f + f = -c. Solve -8 = -f*h - h for h.
2
Let b be (-1)/(-3*(-5)/(-45)). Suppose -b = -z - 0. Solve -6 = z*f - 15 for f.
3
Let p be (6 + -3)*5/3. Solve 3*f - 2*f = p for f.
5
Suppose -9*y + 11*y - 12 = 0. Suppose -4*t = 2*c + 4, 3*t - y*t + 3*c = -6. Solve t = 3*j - j - 4 for j.
2
Let j(g) = -1 - g - g - 2*g + 5*g. Let i be j(1). Suppose 0 = 3*z - 6 - i. Solve 2 - 10 = -z*d for d.
4
Let j(m) = 3*m. Let y be j(1). Suppose 0*v = -5*o - 3*v - 32, 0 = y*o - 3*v. Let w be 87/27 + o/18. Solve -w + 6 = 3*a for a.
1
Suppose 10*f + 6 = 12*f, 5*h = f - 3. Solve h = 11*u + 7 + 15 for u.
-2
Let v be (24/(-120))/((-1)/15). Solve -v*c = 4*c - 14 for c.
2
Let r be 0/(3*6/18). Solve -1 = d - r*d for d.
-1
Suppose -4*d + 3 = 3*t - 2*t, 28 = t - d. Let u be (-10)/(-4) + 14/28. Solve -t = u*r - 8 for r.
-5
Suppose 0 = 5*a - 4*b - 70, 2*b = -4 - 6. Solve 0 = -3*m - a + 7 for m.
-1
Suppose -8*v + 10*v - 28 = 0. Suppose 18 = 2*p + v. Solve p*u - u - 3 = 0 for u.
3
Let i(j) = 7*j + 6. Let y be i(-6). Let q = -34 - y. Solve c = -q - 0 for c.
-2
Let o = -627 - -633. Solve 12 + 0 = -o*b for b.
-2
Let q(z) = -2*z**3 - z**2 - z. Let d be q(-1). Suppose d*c + 112 = -2*c. Let p be 8/c + (-8)/(-28). Solve -5*h + 4*h = p for h.
0
Let i be 4/((-16)/(-6))*(6 + 12). Solve 0 = -3*g + 15 - i for g.
-4
Suppose 4*s = -5*x + 40, 6*x = -5*s + 8*x + 50. Solve 2*v - 4*v - s = 0 for v.
-5
Suppose 7*o - 64 = -8. Let p be -1 - 6 - (-1 - -1). Let b = o + p. Solve 6 = d + b for d.
5
Let b be -2 + 69/6*12. Let i be b/36 + 4/18. Solve r - i = -1 for r.
3
Let n(x) = 2*x**2 + 1. Let r be n(1). Suppose -r*b - b - 8 = 2*m, -2*b + 2*m + 8 = 0. Solve -3*u = -b*u - 6 for u.
2
Suppose 2*z + 3*z = 0. Let r(y) = 2*y**2 + 22*y + 2. Let x be r(-11). Solve z = -0*n - x*n for n.
0
Let x(u) = -2*u**3 + 26*u**2 + 3*u - 14. Let s be x(13). Solve -s = 6*d - d for d.
-5
Let h(f) = -2*f + 34. Let b be h(17). Suppose 13*q - 10 = 11*q. Solve b = q*o - 0*o for o.
0
Let p = -11 + 17. Let r = -5 - -10. Let c be (-61)/(-183)*1*12. Solve -r*a = p + c for a.
-2
Let d be (102/15)/((-15)/(-75)). Solve -3*a + d = 14*a for a.
2
Let s be (1 - (3 + -2))/2. Suppose s = -4*g - 2*n - 1 + 21, 5*g = 3*n + 25. Solve g + 0 = q for q.
5
Let f be 18/(-12)*56/(-6). Suppose 5*y = f + 6. Let v be (48/10)/(y/10). Solve 3*b + b = -v for b.
-3
Suppose 5*t + 5*o = 150, t - o - 22 = -0*t. Let z = -18 + t. Solve z = -2*a -