44*x + 8 for x.
1
Let j = 137 + -230. Let q = j + 94. Let o be (q/(-5))/((-10)/100). Solve -15 = -u - 4*t, 30 = -5*u + o*t - t for u.
-5
Suppose 0 = -18*r - 223 + 1105. Let a = r + -38. Solve 3*k = -m + 2*m - 13, a = -m - 3*k for m.
1
Suppose -2*b - 4*n + 52 = 0, -n - 1221 + 1135 = -5*b. Solve -2*x - 29*z - 3 = -30*z, 0 = -2*x - 2*z - b for x.
-4
Let b be (10/8)/(1/4). Let w be 1611/(-358) + 6/(-4). Let n be b + 3/w*6. Solve -f = -5*x + 28, -17 = -4*x - 3*f + n*f for x.
5
Suppose 40 = 3*u + 2*u - 5*m, 2*u = 5*m + 22. Let s be (-39)/4*240/(-9). Let y be ((-8)/6 - -1) + s/78. Solve -2*w = -6*x + x + u, y*x - 15 = 5*w for x.
0
Let k(i) = i**3 - 27*i**2 - 34*i - 2. Let n be k(28). Let w = -166 - n. Solve -3 = -b - 2*s - 2, -2*s = -w*b + 24 for b.
5
Let f be (-57)/(-24) - (-5)/8. Solve 148*z = f*r + 145*z - 6, 5*r + 4*z = 19 for r.
3
Let l be 4*1 - (-1 - -1). Let z be (144/27 + -6)/((-55)/27 - -2). Solve s + 0*m - 3 = -m, 2*m = l*s + z for s.
-2
Suppose 5*l - 58 = r, -3*l + 468*r - 466*r = -32. Solve 16 = 4*q - 2*c, 3*c = -2*q + 4 - l for q.
2
Let g be 27/((-2)/4 - -2). Suppose -28 = -5*z - g. Suppose -14 = -z*x - 4. Solve 2*c - 27 = 5*v, -x*c - v - 15 = 3*v for c.
1
Suppose -8*o - 2*w + 130 = -4*o, 0 = 4*w + 4. Suppose 44*u - 48*u + 8 = 0. Solve -3*g + 5*a = 13, -u*g - 5*a = -0*a - o for g.
4
Let l = -98842 - -98842. Suppose -4*f + 4 = -3*f. Solve -f*a - 9 = -3*m - 4, l = 4*m - 2*a for m.
-1
Suppose 125 = 3*v - 103. Let d = -75 + v. Let i = -11 - -18. Solve -5*t + i = 4*m - d, 3*t - 12 = 0 for m.
-3
Let q = -225 - -238. Let u be -6 + -7 + q + (0 - -3). Solve -2*n = -4*y + 4, -3*y - 2*n = -n - u for y.
1
Let d(o) = -653*o + 2701. Let b be d(4). Solve 84*p - b*p + 16 = -3*u, -5*u = -3*p for u.
3
Suppose -5 = -5*m + 15. Suppose -2*t = w - 3*w - 6, 3*t + 5*w = 9. Solve 3*y + 6 = 0, m*h + t*y - y + 16 = 0 for h.
-3
Let t be 7/14*(-9 + 15 + 6). Suppose 0 = -4*p - j + 3, j - 3 = 3*p - 0*p. Solve 2*n + t = -p*n, -3*b - 3 = 3*n for b.
2
Let q(m) = 13*m - 388. Let w be q(30). Solve 3*a + 11 = w*k, 2*a + 6 = k - 1 for a.
-3
Let p = -62 + 68. Suppose -g = 7*g - p*g. Suppose -s + 11*s - 70 = g. Solve 2*j - 2 = -4*t, -2*t + 4*j + s = -9 for t.
2
Let t = 3678 - 3674. Solve 8*f - 5*j - 8 = 4*f, 0 = -t*f + 4*j + 4 for f.
-3
Let r = 2 - -1. Suppose 10 = -2*z, 5*z = -3*q + 18 - 61. Let n(s) = 3*s + 21. Let y be n(q). Solve y*o = j + 1, o = -3*j - r*o - 3 for j.
-1
Let l(b) = b**2 + 19*b + 93. Let r be l(-9). Solve -3*p + r*g = p, -4*g = p - 19 for p.
3
Suppose -37 = -9*r - 1. Suppose -96 = r*w + 32. Let f = -30 - w. Solve 0 = 4*b - f*d - 4, b + 3*b - 28 = -4*d for b.
3
Let x = -45 - -39. Let a be 4 - 0 - 12/x. Suppose -4*s = -a*s + 44. Solve d + 4*d = 3*v + s, 2*v + 10 = d for v.
-4
Let d be 16*(10/8 - (-60)/(-60)). Solve -d*g = -4*v + 8, 11*v + 2 = 8*v + g for v.
-2
Let b = 22229 - 22225. Solve 7 = -b*g + 5*j + 17, 0 = 4*j - 8 for g.
5
Suppose -159 = 120*k - 519. Solve -t = 4*f + 12, f + 1 + 2 = -k*t for t.
0
Suppose 0 = 29*j - 20*j - 45. Solve j*x = f + 3, -9 = -2*x - 3*f + 6*f for x.
0
Suppose 4*t = 5*z + 3, 85 = 5*t + 3*z + 72. Solve 7*r - 2*r = -t*b - 23, -4*b - 22 = 2*r for b.
-4
Let i be (56/6)/7*21. Suppose -27*q = -i*q + 4. Suppose -r = -5*w + 12 - 5, -q*w - 4*r = 4. Solve -w + 8 = -5*f + 3*b, 5 = -4*f + 3*b for f.
-2
Let w be (3/(-3))/(1/(-29)). Suppose 23*p + 24 = w*p. Solve -5*z + p*l = -0*z + 26, -4*z = -2*l + 16 for z.
-2
Suppose 4*v - 5 - 6 = 1. Solve 5*x - 4 = -m, -v*m - 24 = -21 for x.
1
Suppose 4*g - 2*t + 476 = 0, 6*t - 4*t - 593 = 5*g. Let q = g - -120. Solve -3*k = 4*o + 4, 1 = k - 4*o + q*o for k.
0
Let t = -177 + 189. Suppose 0 = 16*l - 13*l - t. Solve 4*v - 12 = 2*v + 4*n, -4*v - l*n = 0 for v.
2
Let d = 30 + -49. Let y = 23 + d. Suppose -4*p - 1 = -i, -3*i + 3 = -0*i - y*p. Solve 4*l + i = -3*o, 5*o - 3*o = -5*l + 4 for o.
-3
Suppose 0 = -4*k - 122 - 382. Let i = k - -131. Solve i*s - 4*s = -2*j - 10, 0 = 3*j + 15 for s.
0
Let u be (-2)/119*-34*(490/4)/7. Solve -4*z = 3*j + 3, -u*j + 2*z + 15 = -7*j for j.
3
Suppose -36*i + 14*i = -110. Let t(b) = b**3 - 4*b**2 - 6*b - 1. Let n be t(5). Let r = n - -6. Solve i*m - 4*d = -41 + 1, r = 3*m + 5*d - 13 for m.
-4
Suppose -6*s + 1296 = 42. Suppose 0 = -7*v - 4*v + s. Solve u + 10 = 2*h, -u + 7*h - v = 2*h for u.
-4
Suppose -p - p + 5*s - 91 = 0, -s + 117 = -3*p. Let j(c) = -c**2 - 49*c - 38. Let u be j(-49). Let q = p - u. Solve q = -2*g + 5*y - 8 - 8, y - 8 = -2*g for g.
2
Suppose -2*l - 5*c - 32 = 38, 0 = 4*c - 8. Let y be (l - -41)*(1 + 2). Solve -5*i = 2*q + 1, -y*q + 5 = -5*i - 6 for i.
-1
Let d be 765/20 - ((-9)/4)/3. Let p = d - 27. Suppose p = 2*h + i, -4*h + 13 = -h - i. Solve 0 = h*j + 2*t + 13, 4*j + 2*t = -2*t - 8 for j.
-3
Let r(u) be the second derivative of -5*u**3/6 - 13*u**2/2 - 13*u. Let a be r(-3). Let v be -3*(4 - (a + 5)). Solve -x = 2*x - v, -4*s = 3*x - 13 for s.
1
Suppose 5*z + 4*q - 13 = 0, 3*z - 20 - 10 = 5*q. Suppose -4*l - 15 = -9*l. Suppose -l - 8 = -d. Solve 5*j - d = -f, -z*j + 27 = -2*f - f for j.
3
Let l be (-1 + 1)*4/(8 + 0). Suppose v + l*v = 28. Suppose -4*y + v = 3*c, -5*y + c = -2*y - 8. Solve -y*k - x + 35 = 4*x, 2*k + 5 = 5*x for k.
5
Suppose 12 = -14*q + 12. Suppose 0 = 2*m + 3*o - 57, q*m + 4*o - 54 = -2*m. Solve 5*z - z = -5*p - m, 3*p - z = -13 for p.
-5
Suppose -18*t + 15*t = -4*g - 883, 584 = 2*t - 2*g. Solve -290*v + 4*p = -t*v, 3*v + p = 17 for v.
4
Let y be (-9)/6*3/(18/8). Let z(x) = -13*x - 25. Let o be z(y). Solve i + o + 4 = u, -3*i + 25 = 5*u for u.
5
Let g(x) = 2*x**3 - 164*x**2 + 322*x - 154. Let m be g(80). Solve 3*n = 4*k - 28, m + 2 = n + 3*k for n.
-4
Suppose -95*x + 87*x - 5864 = 0. Let v = x + 736. Solve -s = 5*l + s + 14, v*s + 3 = -3*l for l.
-4
Let p(w) = -2*w**3 - 3*w**2 - w + 4. Let u be p(0). Suppose u*f - 42 = -34. Solve -f*m = 4*k - 3*k + 15, -2*k = -5*m - 15 for k.
-5
Let p = 6226 - 6221. Solve 5*k + m = -8, 0 = -p*k - 18*m + 20*m - 14 for k.
-2
Let b(p) = 5*p + 37. Let m be b(-10). Let t be m/((-156)/306)*4/6. Solve l - 4*j = t, 0 = -3*l + 5*j + 23 - 0 for l.
1
Let g be 33/(-44) - 9/(-12). Let j(c) = c**3 - 2*c. Let l be j(2). Solve g = -y + q, -y + 2*y + q = l for y.
2
Let u = 4545 + -4540. Solve -3*a - u*t = 14, -2*a + 4*t + 24 = 2*a for a.
2
Let p be 3/9 + 30/45. Let t be p/(-7)*-7 - -1. Solve 2*q + 2*m + 12 = 0, 3*m - t + 8 = 0 for q.
-4
Suppose 727*r - 773*r = -230. Solve 8*v - 10*v - 6 = -w, r*v + 45 = -5*w for w.
-4
Let x = -415 + 414. Let r be 561/198 - x/(-12)*-2. Solve n - 5*v - 21 = 0, 1 = -r*n + 2*v - 3*v for n.
1
Let d(j) = -2*j**2 + j - 5. Let h be 2/3 + (-26)/39. Let l be d(h). Let r be -4 + 21/3 - l. Solve -19 = -5*c + 4*w, -3*c - 3*w + 2*w + r = 0 for c.
3
Suppose -6*o - 3*g = -o - 3, o + g = 1. Let c = -26 + 39. Let j = c + -10. Solve -10 = 4*r + j*q, -r + 0*r + 4*q - 12 = o for r.
-4
Let j = -2755 - -2760. Solve j*m + 40 = 3*o, 46*m - 3*o = 47*m - 10 for m.
-5
Let v(a) = 4 + 0 + a - 5. Let w be v(0). Let k(x) = -x + 3. Let b be k(w). Solve -5*j = -s - 3*s + 7, 20 = -b*j - 4*s for j.
-3
Suppose 2*o + 4*f = -694 - 320, 0 = -3*o - 4*f - 1527. Let m = -505 - o. Solve 4*d = 2*n + m, -d - 4*n = -0 - 11 for d.
3
Let i be 26/78 - 524/(-3). Suppose i = 26*b - 137. Solve -3*d + 2*g - b + 5 = 0, 4*g = d + 19 for d.
1
Suppose -2*k + b + 7 = 2, 0 = 4*k - b - 15. Suppose n + 2 = k. Suppose -5*a + 2*a + 11 = -2*s, 4*a = 5*s + 17. Solve 0 = -2*h - 2, a = v + 2*v + n*h for v.
2
Suppose -317*j + 651 = -5372 + 1268. Suppose 4*a = -5*d + 104, d + 4*d - 4*a = 136. Solve 3*w - q + d = -6*q, -w - j = 4*q for w.
-3
Let t(p) = p**3 - 36*p**2 - 28*p - 76. Let b be t(37). Let h = b + -252. Solve 13 = -4*d + h*u, -d - d = -4*u + 8 for d.
-2
Let t(z) = -z**3 - 4*z**2 + 11*z - 5. Let b be t(-6). Suppose -p - p = p. Let s be p/(5 + -4 + 1/b). Solve s = -3*f + 3*n - 3, 5*n = -3*f + 21 for f.
2
Suppose -7*p + p + 66 = 0. Suppose 0 = -p*i + 4*i - 119. Let o be -4 - -2 - (i + 13). Solve 2*m + 3 = o*c - 1, 5*m + 4 = 2*c for c.
2
Suppose 0 = 14*n + 183 + 559. Suppose -4*b + 81 = -4*x - 75, -3*x - 112 = -4*b. Let u = x - n. Solve 2*v + m = u, -4*v + m - 3 + 24 = 0 for v.
5
Let b be 2 + (-8 - -3 - -4). Let p be 0*1/(-4) - -4 - b. Solve -p*i + 4 = 5*m + 3, 5*i + 21 = 3*m for m.
2
Suppose 15 - 45 = -10*v. Suppose 22*o - 18*o = v*g + 76, 52 = 3*