 -2*y + 5 = -n - 0*y for n.
3
Let h = -23 + 24. Let t(c) = -2*c + 9*c**3 + 7 + 4*c - 9 - c**2. Let i be t(h). Solve -3*j + 5*q = -i*j, -j + 5*q + 18 = 0 for j.
3
Suppose 19*b - 431 = 234. Suppose b*p - 40*p + 10 = 0. Solve 0 = -p*d - 2*m + 2, -4*d - 2 = -2*d + m for d.
-3
Let r be (14/(-6))/(8/(312/(-13))). Solve 0 = 2*b - 5*w, -4*b + 4*w = r*w + 26 for b.
-5
Let u be (-3)/((-90)/116) + 510/3825. Solve 0 = 3*p - 3*j + 15, u*p + 3*j = -3 + 11 for p.
-1
Let v(h) = 108*h**2 + 4*h + 4. Let s be v(-1). Let w = -104 + s. Solve 4*r = -12, -3*k - w*r = -8 + 23 for k.
-1
Let o be 1*2 - (-624)/78. Solve -14*b - o = -5*i - 9*b, 2*i + 4*b = -20 for i.
-2
Let s(w) = w**2 - 15*w + 16. Let r be s(14). Solve 4*g + 24 = -32*o + 28*o, o = r*g for o.
-4
Let p(u) = 2*u**3 + 23*u**2 - 11*u + 23. Let n be p(-12). Solve 0 = -5*b + 3*t + n, t - 1 = -b + 2*t for b.
4
Let r be (-21)/(-12) + 3/12. Suppose -4*t = -r*t - 138. Let o = t - 67. Solve -2*s + o = -2*q + 6*q, -2*s - 2*q + 2 = 0 for s.
1
Let d = 708 - 703. Suppose -19 = -7*c - d. Solve -5*h + 17 = i, -4 = 2*i - c*h + 10 for i.
-3
Let h be 26/(-6) - (-10)/(-15). Let z(t) = 7*t - 67. Let a be z(h). Let x = 105 + a. Solve 4*q + 2*f - 14 = 4*f, 0 = -2*q + 5*f + x for q.
4
Let r(l) = -l**3 - 5*l**2 + 11*l - 23. Let y be r(-7). Let s be y/(((-30)/12)/5). Solve 0 = 4*f + s*d - 8*d - 28, 0 = 2*f - 4*d - 24 for f.
2
Let r(c) = -c**3 - 7*c**2 + 11*c + 24. Let a be r(-10). Suppose 136 + a = 5*g. Let j = 74 - g. Solve 2*s = 3*t + 7 + 4, 2*t + j = 3*s for t.
-5
Let q be (-20)/5 - -22*1. Suppose 8*a = -a + q. Suppose w = -p + a, 0*p - 3*p - 5*w = 0. Solve -2*k - 3*k + p = -2*j, 5*j = -2*k - 27 for j.
-5
Let k(z) = 303*z + 4563. Let v be k(-15). Solve 119*y - 115*y + 16 = -4*u, 5*y + v = -3*u for u.
-1
Suppose 13*j - 12*j = -5*w - 31, 0 = -2*j + 3*w - 101. Let b be (-7)/(-5)*(51 + j). Solve -2*p + a + 1 = 0, 5*p + 0*a - b = a for p.
2
Suppose 9*t - 7*t - a = -854, -3*t + 4*a - 1271 = 0. Let m = t - -431. Solve -2*n + n = -5*i + 12, m*n = -i - 2 for i.
2
Let f be (-4*2/8)/(-1). Suppose w - 10 = -5*k, -w - 9 + f = -4*k. Solve -5*c - 1 - 15 = -2*y, -2*y = 2*c - k for y.
3
Let q(d) = -d - 12. Let o be q(-14). Let t(z) = -z**2 - 47*z - 207. Let n be t(-42). Solve n*s = 4*f - s, -f = -3*s - o for f.
-1
Let i(u) = 246*u - 1963. Let v be i(8). Solve -b = -f + 3, v*f - 21 = 8*b - 6*b for f.
5
Suppose -13*t + 27 = -4*t. Let x be t + 12/(-4) + 6. Suppose -4*s - x = -14. Solve s*r + 17 = -h + 4*h, -5*r + 5*h = 30 for r.
-1
Let l = -95 + 117. Let z be 3 + (l + -21)/(-1 + 0). Solve -z*p - 2*t = -3*p + 3, 21 = 5*p - 4*t for p.
5
Suppose 0 = 26*a - 21*a - 225. Let n = a + -53. Let t = n - -13. Solve -3*c - 20 = -t*o + c, o = 2*c + 10 for o.
0
Suppose 662*w - 684*w = -44. Solve 0*j - w*j = -3*l - 12, 4*l + 2*j = -2 for l.
-2
Let p be (-2)/(-3) - 724/(-12). Suppose -3*l + 3*c - c + 152 = 0, 0 = c + 4. Suppose -p*b + 57*b + l = 0. Solve -f - 4 = 3*v, v + 3*f = -0*v + b for v.
-3
Let t = -7256 + 7343. Solve 4*k - 92*m + 5 = -t*m, -m = k + 8 for k.
-5
Suppose 3*w + 0*r - 2*r - 6 = 0, 2*w - r = 4. Solve w*j = c + j + 7, 2*c - 1 = -j for c.
-2
Let q = -39 + -8. Let p(j) = -53*j**3 + j**2 + 2*j + 1. Let t be p(-1). Let h = q + t. Solve h*r = 3*b + r + 16, r = -2*b - 2 for b.
-2
Let h = 12612 + -12605. Solve -4*q + 5*k + h = 0, -5*k + 30 = 4*q + 13 for q.
3
Let d = -21406 + 21410. Solve 3*s = d*k + 10, -2*k + 0*s - 16 = 4*s for k.
-4
Suppose 39*k - 10 = 146. Solve 5*j = 15, 5*j - 5 = k*f + 6*j for f.
-2
Suppose -z + 4*h - 8 = 0, -2*z + 3*h - 25 = -6*z. Suppose 0 = -4*g - 155 + 147, 26*g = -4*k - 28. Solve -2*p + c - 20 = -3*c, z*c = -5*p + k for p.
-2
Let k = 366 + -366. Suppose g = 5*g - k*g. Solve -3*w - 17 = -2*s, g = -w + s - 4 - 3 for w.
-3
Let j(i) = -3 + 16*i - i**2 - 7*i + 6*i**2 - 11*i. Let s be j(-1). Solve s = 2*f - 4, -5*n + 3*f - 32 = 0 for n.
-4
Suppose -98 = 19*b - 155. Suppose 3*p + 38 = o, 3*p - 58 = -o - o. Suppose 4*y + 5*u - 73 = 0, -y = -2*u + 6*u - o. Solve f - x = 2, 2*x - 5*x = b*f - y for f.
3
Let h = 18 - 11. Let k be (-1 + (-14)/(-4))*380/475. Suppose 9 = 2*i - 11. Solve -2*f = -k*j - h*f, 0 = -4*j - 5*f + i for j.
5
Let u be (405/54)/((-3)/(-2)). Solve -u*d = 5*n - 20, 7*d - 4*d + 5*n = 18 for d.
1
Let i(l) be the first derivative of l**3/3 - 21*l**2/2 + 41*l - 27. Let q be i(20). Solve -p - d = -6, 5*p + 3*d = 3 + q for p.
3
Let h be 72/828 - 832/46. Let l be 9 + (-13)/26 + h/4. Let k = 16 + -1. Solve l*x + 24 = -4*t, t - 4*x - k = 4 for t.
-1
Let p be (-6 - -5)*7 + 5. Let d be (-1 - p)*-6*8/(-3). Solve -c + 5*x = 2*c + 2, -3*c - d = 2*x for c.
-4
Suppose 5*y - t - 27 = 0, 0 = 5*y + 14*t - 13*t - 13. Solve y*a + 4*j = 0, -a + 1 - 9 = -3*j for a.
-2
Let p = -530 + 520. Let b be (7 - 2 - p)/(3/1). Solve 3*n = -5*v + 11, -v + b*v + 3*n = 7 for v.
4
Suppose 2010 = 2116*l - 2049*l. Solve 0 = r - 4*q - 18, -26*q + 30*q = -5*r - l for r.
-2
Let a be 2 - (28 - 4 - -1). Let g(w) = -4*w - 87. Let q be g(a). Let n be (-54)/(-10) - 15/(-25). Solve -j + n = 2*j - 3*s, -q*j + 2*s + 4 = 0 for j.
0
Let a = -9393 + 9606. Solve 5*r = 3*g + 15, 3*r = -a*g + 217*g + 20 for g.
-5
Let u be (-1)/(-12) - 8602/408. Let y(g) = -3*g**3 - 63*g**2 + g + 23. Let s be y(u). Solve 2 = 3*f + s*z + 3, -f = -3*z + 4 for f.
-1
Let t be ((-12)/5)/(204/(-255)). Solve -3*x = i - 6 + 19, t*i + 14 = -4*x for i.
2
Let w be 2/(1 - 3/6). Let i(t) = t**3 - 10*t**2 + 26*t - 8. Let a be i(6). Suppose -a*z + 4 + w = 0. Solve 2 = z*m - 4*y - 0*y, -m = 5*y + 13 for m.
-3
Let g = -41111 - -41113. Solve -v - 14*x - 5 = -13*x, -4*x + 10 = -g*v for v.
-5
Suppose z = -3*m - 66, 2*m + 4 = -4*z - 30. Let h = -17 - m. Suppose h = 3*d + 5*l, d = -l + 1 + 1. Solve -3*i - u = u + 1, 5*i + 7 = -d*u for i.
-3
Suppose -h = -4*v + 27, 4 = 5*v - 5*h - 41. Let p be (-87)/(-58)*(80/v)/4. Solve p*x = -5*z - 16 - 4, -5*z = 2*x + 11 for x.
-3
Suppose 0 = 5*b - q - 5, 3*q - 29 = -2*b - 2*q. Let u = -27029 + 27031. Solve -6 + b = -g - y, -y = -u*g + 5 for g.
3
Let q = -12 - -18. Suppose 0 = 3*p - q*p - 2*p. Let t be p*-1*(-3)/(-3). Solve -v = -t*v + 3*b + 5, 5*v = -3*b + 11 for v.
4
Let n = 8 - 5. Suppose 86*o - 81*o = -35. Let j be (0 + 0)/(o - -6). Solve w - 2*a + 4 = 7, 3*a - n = j for w.
5
Let q = 145 - 137. Suppose j + 28 = q*j. Solve 0 = -y - j*u + 1, 8 = -4*y - 0*u - 4*u for y.
-3
Suppose -6*x - 2*x = -40. Let w be (-6 - -5) + -2 + 22. Let v = w - 15. Solve 15 = -5*j + x*n, 5 = j - v*j + n for j.
-1
Let z be -1 + 6 - ((-8)/48 - (-465)/90). Solve -y + 4*k + 11 = z, -5*k = 3*y + 12 + 6 for y.
-1
Let y be (0 + 2/(-4))/(7/(-14)). Suppose y = -12*z + 37. Solve -3*a = 3*v + 21, -4*a + 14 = -5*v - z for v.
-5
Suppose -283 = -6*v + 7*v. Let l = v + 288. Solve -l*w = -4*g - 5, 0*w + 2*g = -2*w + 20 for w.
5
Suppose -23*u - 35*u + 141 = -11*u. Solve 5*j + 3*f + 6 = 0, -3 = 3*f + u for j.
0
Let x = -3286 - -3288. Solve 3*a - 31 = 5*b, x*b + 12*a = 15*a - 16 for b.
-5
Suppose 25*q - 148 + 62 - 214 = 0. Solve 2*y - 4*p = -6, 4*y - 185*p + q = -190*p for y.
-3
Suppose -3*f = 4*p - 19, 112 - 130 = -4*p - 2*f. Solve 0 = -4*m - x + p, 3*m + 2 - 12 = x for m.
2
Let b(t) = -498*t + 15438. Let i be b(31). Solve 14*s = 10*s - o - 20, -2*s - 4*o - 24 = i for s.
-4
Suppose 0 = 2*i - 4*i - 44. Let q be (i/33)/(2/(-6)). Solve -5*n - 21 = 2*p, -q*n - 2 = -4*p + 16 for p.
2
Let c = 19 - 14. Suppose -z + 1 = c. Let u(b) = b**2 + 2*b + 12. Let w be u(z). Solve -5*r + 4*s + 20 = 0, 0*r - 4*s = 3*r + w for r.
0
Let k be (-1 + (-2)/6)*-6. Let t(a) = -128*a**3 + a**2 + a - 2. Let x be t(-1). Suppose x*v = 129*v - 9. Solve 4*q = -8, -29 = 3*r + v*q - k for r.
-5
Let v(t) = 9*t - 7. Let n be v(4). Suppose -x = -n - 48. Let g = x - 64. Solve -5*j - g = -3*c, 4*j = -j + 5*c - 5 for j.
-5
Suppose 16*d = -47 + 191. Suppose 7*j - 1 = d*j - g, 0 = j + 5*g - 5. Solve 5*p - 4*n + 16 = j, -n + 2*n = 5*p + 4 for p.
0
Let o be (0 - -8) + -7 - (-4 - -1). Let b be 60/o*(0 - (-2)/(-6)). Let a be 20/4 + b + 0. Solve u = -5*h + 2*h + 2, -4*u - 4*h + 8 = a for u.
2
Let a(c) = c + 125*c**3 + 35*c - 36*c**2 - 123*c**3 - 27. Let q be a(17). Solve 3 = q*z - 4*z, 3*z + 1 = -4*v for v.
-1
Let y = -798 + 216. Let o = -570 - y. Solve 0 = -a - 3*a - s + 4, -a + 3*s - o = 0 for a.
0
Suppose 4*c - 11 = l, 5*l = 7*c - 9*c - 11. Solve -8 = -c*d +