 c = 3 for j.
3
Let c = 52 + -21. Let r = c - 29. Solve -r*a - 9 = a for a.
-3
Let m(a) = -2*a + 3. Let t be m(-1). Suppose 8 = -o + 3*o, 0 = -t*u + 2*o - 3. Let n be 1 + -4 - (u - 4). Solve n = -g - 2*g + 9 for g.
3
Suppose 0*h + 9 = 3*h. Let t(m) = -m**2 + 3*m + 2. Let i be t(h). Solve 2*x - i = 2 for x.
2
Let p(t) = -t**2 - 6*t - 6. Let r be p(-2). Suppose 0 = -r*h - 2*q - 4, -13 = -2*h + 2*q - 1. Solve -h*x + 2 = -4 for x.
3
Let y = -61 - -63. Solve r + 0 = y for r.
2
Let x(l) = -l - 1. Let w be x(-3). Let k = w - -2. Let r be 2 - (-1 + 3)/(-2). Solve k*a = -r - 5 for a.
-2
Suppose -3*i - 67 = q + 4*q, -5*i + 3*q - 123 = 0. Let k = i - -28. Suppose 4*c - z - 21 = 0, -6*c + k*z = -5*c - 9. Solve -3 - c = -2*l for l.
4
Let b(z) = 5*z - 12. Let n be b(6). Let l = n + -17. Solve -l = -t - 4 for t.
-3
Suppose -2*y + 0*n = 4*n - 28, 10 = 3*y - 2*n. Suppose -2*m + 0*m = -k + 8, -m = -k + y. Solve -6 = k*b + 14 for b.
-5
Suppose -20*l - l + 3*l = 0. Solve -6*s - 8 + 2 = l for s.
-1
Let d = 971 + -969. Solve 15*j = d*j for j.
0
Let d = 16 + -8. Suppose -2*n + 45 = 4*h - 7*n, -20 = -3*h + n. Suppose 0 = 5*a - 4*r + 2, 0 = -a - h*r + d + 9. Solve 3*s = -a*s + 25 for s.
5
Suppose -25 = 4*u - 8*l + 3*l, l = u + 5. Suppose -39 = -0*i - 3*i. Suppose 2*p + 5 = 4*p - 3*a, u = 2*p + 5*a - i. Solve -3 = p*z + 1 for z.
-1
Let r(o) = 3*o**3 - 13*o**3 - 2 - o - 11*o**3 + 4*o**2. Let h be r(2). Let y be (-2)/(-1) + h/(-12). Solve -m = 2*m - y for m.
5
Let h be (97/(-9))/(66/(-594)). Solve -h + 93 = a for a.
-4
Let k be 0/3 + 2 + -34. Let w be k/(-10) + (-4)/20. Suppose s + 7*g - w*g = -14, -2*s + 2*g = -12. Solve -3*r = s*r + 5 for r.
-1
Let l = 26 + -20. Solve 10*j + 12 = l*j for j.
-3
Let l(a) = a**3 - 14*a**2 + 13*a + 1. Let c be l(14). Suppose -c + 167 = -4*x. Suppose -5*k + 3*k + 4 = 0. Solve -r + x - k = 0 for r.
2
Let o = 1144 - 1135. Solve -81 = -o*i - 54 for i.
3
Let t = -796 - -798. Suppose -22 = -3*s + 8. Let j = t + s. Solve 0*y + j = -3*y for y.
-4
Let u be (9/2)/((-2)/(-16)). Let m be (-10)/(-35) + u/21. Suppose -7 = -3*p + m. Solve -p*g = 2*g - 5 for g.
1
Suppose -2 - 88 = -18*w. Solve 0 = 2*a + 5 + w for a.
-5
Let y(x) = 6*x - 260. Let k be y(44). Solve -t + k*t - 6 = 0 for t.
2
Let s be 16 - (-1 + ((-3)/3 - -4)). Suppose 0 = -2*m + s - 8. Solve m*h + 9 = -0 for h.
-3
Let s = 2 + -1. Let o be s + -2*1 + 1. Suppose -3*y = 7*n - 11*n + 4, -5*n = -2*y - 12. Solve k + n*k + 20 = o for k.
-4
Suppose -3*t - 240 = -18*t. Suppose t = 2*o - 14. Solve -p = -6*p - o for p.
-3
Let p(y) = 11*y + 674. Let w be p(-61). Solve w + 9 = -4*u for u.
-3
Let c = -14 + 8. Let m(q) = -2*q - 13. Let x be m(c). Let p(n) = -4*n**3 - n**2 - n. Let y be p(x). Solve -y*b = b for b.
0
Let w(i) = -2*i**2 - 12*i - 9. Let x be w(-5). Suppose -3*a - 2 = -4*h - 5*a, -5*h = a - x. Solve 0 = 2*l - h - 6 for l.
3
Suppose -j = 3*b - 32 - 1, -b + 5*j + 27 = 0. Suppose -18 + 2 = -2*x + c, -2*x = -3*c - b. Let r = x - 7. Solve -r*i = i + 9 for i.
-3
Let b(x) = 2*x + 14. Let z be 2/(1/((-7)/2)). Let w be b(z). Solve w*p + p = 0 for p.
0
Let n be (240/45)/(2/15). Solve 4*q - n = 12*q for q.
-5
Let t(j) be the first derivative of j**3/3 + j**2/2 + 4*j - 2. Let r be t(3). Solve -4 + r = -3*a for a.
-4
Let l(q) = -q**3 - 5*q**2 + 13*q - 1. Let i be l(-7). Suppose -6*k - i = -9*k. Solve 18 + k = 5*z for z.
4
Let p = 2657 - 2649. Solve -40 = p*h - 16 for h.
-3
Let x(k) = -k**3 + k - 88 + 5*k**2 - 6*k + 91. Let i be x(3). Suppose i*u + 24 = 78. Solve 0 = -q + 4*q + u for q.
-3
Let h(s) = s**2 - 21*s + 23. Let u be h(20). Suppose -2*p - 3*q + 0*q = 0, 3*q = 0. Let g(i) = 8*i**3 - 2*i + 1. Let m be g(1). Solve p = -u*w + m - 1 for w.
2
Let o be (350/385)/((-2)/(-22)). Solve 0 = 28*t - o*t - 18 for t.
1
Let i(x) = -6*x - 50. Let n be i(-9). Solve -20 = h + n*h for h.
-4
Let q be 60/27 - (-2)/(-9). Suppose 0*d - 2*d = a - 12, -2*d = -q*a. Suppose 9*u - d*u - 10 = 0. Solve 2*k + u*k = 20 for k.
5
Suppose -12*a = 14*a. Solve -4*s + s + 6 = a for s.
2
Suppose 6*q = 300 - 276. Solve -4*f - q*f = -2*f for f.
0
Suppose 0 = 15*r - 439 + 319. Solve r*j + 12 = 36 for j.
3
Suppose 81*x = 86*x - u - 20, -4*x - 2*u = -30. Solve 3*z - x = -2*z for z.
1
Let x be (-2)/(-2) + (-8 - 41/(-1)). Solve 49 = 3*p + x for p.
5
Suppose -f + 56 = -2*g, -91*g - 59 = -f - 92*g. Solve -f*l + 60*l = 0 for l.
0
Suppose -2*v = 3*v + p - 38, 5*v = 5*p + 50. Let t be (-36)/24*v/(-6). Solve t*i = -0*i + 8 for i.
4
Let q be (-12)/((-144)/(-2868))*-1. Solve 0 = -235*c + q*c for c.
0
Suppose 0 = -24*p + 17*p + 14. Solve -o = -p*o - 4 for o.
-4
Suppose 4*u - 36 = -4*d, -17 = -5*u + d + 10. Let z = u - -1. Suppose -2*f = -15 + z. Solve f*n - n = -9 for n.
-3
Let y = -2 + -3. Suppose 3*n - 24 = 3*r, -5*n = -5*r + r - 37. Let x = r - y. Solve -15 = -x*j - 3*j for j.
3
Let b(a) = -a**2 + a + 10. Let h be b(0). Suppose 0 = -5*o + h - 0. Let u = o + -1. Solve m = -0 + u for m.
1
Suppose -14*d - 4*k + 257 = -11*d, 4*d = 5*k + 291. Solve 2*b + 81 = d for b.
-1
Let n be 2/8*(21 + -9). Solve -9 = n*f + 6 for f.
-5
Let v(p) = 2*p**2 - 4*p. Let m be v(0). Solve m - 2 = i for i.
-2
Let m(v) = v**3 + 7*v**2 + 5*v - 3. Let p be m(-6). Let x be (-85)/(-15) + (-2)/p. Solve 3*g - x = 8*g for g.
-1
Let w be (56/(-10))/14 - 4/(-10). Solve -2*t - 2*t + 16 = w for t.
4
Suppose -113*h = -119*h. Solve h*o + 14 = 7*o for o.
2
Suppose 0*r = -3*h + 2*r - 81, 4*h + 128 = -4*r. Let q = 59 + h. Suppose 0 = -2*v - v + q. Solve -10 - v = 5*f for f.
-4
Let x = 7 + -5. Let o be (x - (2 - 4)) + -49. Let s be (-8)/(-3) + 30/o. Solve -4*k - s = 2 for k.
-1
Let g be (-4)/18 + (172/(-18))/2. Let f be (g/(-10) - -1)/(6/16). Solve -f*s = s - 10 for s.
2
Let i(v) be the third derivative of -v**5/30 - 3*v**4/8 - v**3 - 15*v**2. Let z be i(-3). Solve z = 3*n - 6*n for n.
-1
Let n = 412 - 407. Solve -n*u - u = 18 for u.
-3
Suppose 0 = 7*h - 11*h. Let w = 0 - -3. Solve -6 + h = w*z for z.
-2
Suppose 0 = 5*l - 0*l - 15. Let y(c) = c**3 - 7*c**2 - 9*c + 8. Let o be y(8). Suppose 6*k - 3*k - 6 = o. Solve -u + l*u = -k for u.
-1
Let d be (-1)/2 - (-45)/6. Suppose 2*g = -4*c - c + 39, 2*g + 4*c = 36. Suppose -g = 3*v, 3*p + 3*v - 16 = 7*v. Solve 5*h + 22 - d = p for h.
-3
Suppose -2*v - 24 = -5*v. Suppose 9*t - v*t = 0. Solve 2*g - 8 - 2 = t for g.
5
Suppose 35*r - 6 = -3*n + 39*r, 0 = r. Solve 0 = n*h - 11 + 7 for h.
2
Suppose 6*p - 3*p = 6. Let s(d) = d**3 - 6*d**2 + 4*d + 19. Let w be s(4). Solve -7 = -w*b + p for b.
3
Let c be 20/15*(3 + -18). Let k be ((-48)/c)/(8/20). Suppose -3*l + 2*n = -0*n - 10, 0 = -4*n - 8. Solve 0 = -k*v + l*v + 16 for v.
4
Let t(h) = -h**3 + 37*h**2 + 39*h - 18. Let g be t(38). Solve g = 17*n - 13*n for n.
5
Suppose m - o = -0*o - 4, m + 2*o + 16 = 0. Let j = -3 - m. Suppose -j*n + 24 = 2*q, 2 = 3*q - n - 0. Solve -q*l + 9 = -5*l for l.
-3
Let n be (26 - 22)/((-8)/(-14)). Solve 0 = n*c + 15 + 20 for c.
-5
Let y(c) = c + 4. Let d be y(5). Suppose 0 = -d*b - 17 + 80. Solve 5*g - b - 8 = 0 for g.
3
Let r be -1 - -1 - (-13 - -4)/3. Suppose -20*z + 28 = -12. Solve z*o + r = o for o.
-3
Suppose v - 2*v = 3, 0 = 5*m - 2*v - 56. Solve 0 = -m*s + 14*s + 12 for s.
-3
Let x = 242 - 227. Solve -2*i = -7*i + x for i.
3
Let s be ((-56)/(-20))/((-1)/5). Let p = s + 2. Let f be (-1)/3 - 100/p. Solve 3*g = g - f for g.
-4
Suppose 0 = 7*a + 2*a. Let m(v) = -2*v + 1. Let g be 22/(-10) + (-5)/(-25). Let r be m(g). Solve -5 = -a*x - r*x for x.
1
Let m = 610 + -594. Solve 0 = -m*w + 14*w - 8 for w.
-4
Suppose -5*b + 101 = 1. Suppose i + 0*i = -2*c + 9, b = 4*c. Let v be i*(4 + (-5 - -1)). Solve v*y = 3*y - 6 for y.
2
Let d(o) = -o + 8. Let h(s) = -s**3 + 8*s**2 + 7*s + 20. Let m be h(9). Let p be d(m). Solve -4*t = -p - 6 for t.
3
Let i = -73 - -78. Suppose 7 + 18 = i*t. Solve t*b = 2*b - 3 for b.
-1
Suppose 4*x = -x + 15. Let q = -1 + x. Let u be -2 - 4*(-1)/q. Solve -6 = 2*z - u*z for z.
-3
Let s(j) = j**3 - 6*j**2 + j - 6. Let b be s(6). Let u(m) = m**3 - 10*m**2 + 10*m - 6. Let h be u(9). Let c be 1 + -1*(b - h). Solve -4 - c = -4*k for k.
2
Suppose 4*z = -11*z + 1140. Solve 3*h - 73 = -z for h.
-1
Let q(l) = l**3 - 5*l**2 - 6*l. Let y be q(6). Let g be ((2 - y) + -2)*3/6. Solve 0*w + 3*w - 9 = g for w.
3
Let b(z) = -z + 40. Let t be b(-19). Let r = -49 + t. Solve 2*g - 