or x.
1
Let g = 8 - 1. Suppose f = 5*n - 3, -f + 4*n - 9*n + g = 0. Suppose 0 = -433*h + 418*h + 60. Solve -3 = h*q + f*c + 7, -q + 20 = 5*c for q.
-5
Let a = 1203 - 1201. Solve 2*f - d = 3*f + a, 0 = 2*f - 2*d for f.
-1
Suppose 0 = a - 4*g - 16, 20*a - 5*g - 35 = 15*a. Solve -4*u + 25 = -f, a*f - u - u = -30 for f.
-5
Let y(l) = -9*l - 95. Let s be y(-11). Solve -2*x = -n - 0*n + 2, 5*x = -s*n - 5 for x.
-1
Let w(y) = 4*y - 9. Let t be w(3). Suppose t*p - 3*a = -0*a + 33, -a - 18 = -2*p. Solve 2*u + p = m, -3*m = u + 2*m + 9 for u.
-4
Let r(d) = -d**3 - 14*d**2 + 14*d - 13. Let g be r(-15). Solve -a + 5*t = 3 - 1, -3*t = g*a + 4 for a.
-2
Let l = 61 + -61. Suppose -9*f + 63 = -l*f. Solve 3*n = -4*i + 17, -5*n + f = 2*i + 2 for i.
5
Suppose 26*i - 65 + 13 = 0. Solve o = -4*o - i*l - 19, 4*o + l = -14 for o.
-3
Let c(j) = -j - 10. Let y be c(-11). Let a be y*(-1 + -4 + 5). Solve 2*d - 5*k - 6 = a, 5*d = k + 3*k - 2 for d.
-2
Let m = -127 - -131. Solve 3*i - 13 = -m*u, 3 = 3*i - 6 for u.
1
Suppose -2 = -6*t - 50. Let c = -4 - t. Solve -4*p - 19 + 3 = -5*f, c*f - 16 = 0 for p.
1
Let h(n) = n**2 - 11*n - 23. Let u be h(13). Suppose 0 = -7*m + u*m + 12. Solve a + 3*l = -10, -m*a - a = -3*l - 20 for a.
2
Let j(l) = -l**3 + 7*l**2 - 4*l + 12. Let o be j(4). Suppose 4*b - 4*h - o = 0, -8 = -b - 5*h - 21. Solve 2*f = -5*u + b*f + 30, -3*f = 3*u - 6 for u.
4
Let h be (-14)/4 + (-8)/(-16). Let l be (45/(-6))/(h/(-6)). Let u = l - -16. Solve -3*t - 5*s = -5, 2*t - s = -2*s + u for t.
0
Let b be (-105)/(-20)*(1 - -23). Let n = -120 + b. Solve 3*v - m = 8, n*v - v = 4*m + 11 for v.
3
Let m be 27/(-6)*(-4)/6. Let j = -123 - -130. Suppose t = -5*n - 17, -3*t + j*n - m*n = -25. Solve 4*s + d - 40 = -t*d, 5*d = 25 for s.
5
Let j(f) = f**3 + 41*f**2 - 2*f - 69. Let h be j(-41). Solve -h = l + 5*s + 2, 2 = -s for l.
-5
Suppose 0 = -7*d + 2*d + 10. Let b(y) = 4*y**2 + y. Let w be b(d). Let u = 1 + -1. Solve -a - 2*i = -u*a - 5, 0 = 3*a - 5*i + w for a.
-1
Suppose -2*x = -5*q + 33 - 9, -4*x = 2*q. Solve -3*t + 10 = -j, -q*t + 19 + 1 = 0 for j.
5
Let u be -1*(-1 - (8 + -4)). Suppose -2*n - 2*n + 3*b = 9, -u*n - b = -3. Solve -3 = 3*k - 0*h + 3*h, n = -5*k - h - 21 for k.
-5
Let m(o) = o**2 + 100*o + 309. Let x be m(-3). Let g(c) = -c - 1. Let l be g(-5). Solve -3*b + 15 = 3*t, l*b - 2*b = -4*t + x for b.
1
Let s = 25 + -14. Suppose z - s = -4*f, -2 = -3*z - 5. Solve -6*c + 2*c + 11 = 5*p, 2*p - f*c + 14 = 0 for p.
-1
Let r = 27 - -17. Suppose -3*w + 0*w = -3*y - 69, 0 = -2*w + 4*y + r. Solve 4*m - w = -3*v, 5*m - 20 = -2*v + m for v.
4
Suppose 4*f - 6 - 2 = 0. Suppose -8*o - o = -36. Solve 0 = o*c - 3*w + 16, -f = -3*c + c - w for c.
-1
Let j(q) = q**2 + 27*q + 131. Let f be j(-6). Suppose 0 = y - 4*r - 16, 5*y + r = -0*r - 25. Let m = 6 + y. Solve m*l - d + 16 = -3*l, -l + 2 = f*d for l.
-3
Suppose 34 = 4*x - 2. Let i be (-3)/4 - (-55)/4. Let z = i - x. Solve z*l + b - 9 = 0, -l + 2*b - 5*b = 6 for l.
3
Let x be (9 + -9)*1/3. Solve -p = -4*k - 2 - 5, -3*k + 3*p - 12 = x for k.
-1
Suppose -2*l = -9 - 7. Suppose -l - 2 = -5*u. Solve 7*k - 18 = u*k - x, -x - 14 = -3*k for k.
4
Let h(r) = -r - 2*r**2 - r + r**2. Let o be h(-2). Solve -2 = -o*q + 3*q - 2*a, 5*a = 2*q + 16 for q.
2
Let c be (-39)/(-5) - (3/5)/(-3). Solve -3*t - 5 = -t + h, t = 3*h + c for t.
-1
Let r be 14/3 - (-24)/(-9). Solve 2*z + 3*i - r = z, -8 = -2*z - 2*i for z.
5
Let b be 3/2 + (-1)/(-2). Let k = -34 + 40. Solve -4*p + 5*o - k = 3, -b*o = -p - 3 for p.
-1
Let y = 25 - 25. Suppose -v + 0 + 3 = y. Solve -4*c + 2*h - v = 21, -5*c - 3*h - 8 = 0 for c.
-4
Suppose -28 = -10*x - 4*x. Solve -13 = 3*a - 4*i, -a + i - x = 2 for a.
-3
Suppose -2*n + i = -i + 4, 0 = 3*i. Let w = n + 5. Let v = w - -9. Solve -u = -3*c - 14, 3*u + v = -4*c + 2 for u.
2
Let x(n) = -n**2 + 8*n + 213. Let i be x(-11). Solve 3*b + 2*y + 8 = 0, -i*b + 7*b = -5*y - 2 for b.
-4
Let i be (54/(-45))/(4/(-10)) + 1. Solve -5*m - 14 = -i*a - 6, 3*m - a = -9 for m.
-4
Let w(g) = 2*g**2 + 23*g + 13. Let k be w(-11). Solve b - 1 = k*b - 2*f, -3*b + 30 = 5*f for b.
5
Let g = -148 - -151. Solve 0 = -s - 2, -8 = 5*i - 5*s - g for i.
-3
Suppose 2*j - 4 = -b + 1, -b = 5*j - 20. Let h = 7 - 2. Solve 0 = j*c + 4*t - h*t, 8 = 2*c - 2*t for c.
-1
Suppose 5*h + 5 = 4*w + 46, 12 = 4*h + 2*w. Suppose -17 + 7 = -h*q. Suppose 3*c + q = 8. Solve 2*t + 2*j = -8, 5*t - c*j - 3 = -23 for t.
-4
Let p(s) = -2*s + 57. Let x be p(26). Solve 0 = 4*o + 2*q + 16, 2*q + 17 = -x*o + q for o.
-3
Let g = 8 - 8. Suppose -b + m = -0*m - 5, 0 = 2*b - 3*m - 13. Suppose -2*h = -4*y + 14, y - h = b + 3. Solve g = 3*a - 4*u - 26, -a + y*u + 2 = -10 for a.
2
Let f be -5*1*-1 + (-471)/157. Solve -3*k = 5*x - 2, -6 = -x + 3*k - f for x.
1
Let d(k) = k**3 - 9*k**2 - 10*k. Let c be d(10). Let h be 0*(-2 - c - -3). Let t be (0/6)/(4 - h). Solve -5*m + 2*m - f - 2 = t, -2*f - 4 = -2*m for m.
0
Let x = 261 + -256. Solve 3*n = -5*a - 12 + 3, 15 = -x*a for n.
2
Suppose -4*b = -5*s + 8, 32*s + 27 = 5*b + 35*s. Solve 0 = -2*c + b*a - 7, 6*a = -3*c + 9*a - 12 for c.
-5
Suppose 2*m + 2*n + 10 - 34 = 0, 4*m + 3*n = 45. Solve -3*q - 19 = 2*r, 0 = -5*r - 3*q + m - 43 for r.
-5
Let f(d) = 4*d**2 + 1. Let b be f(-1). Let q = -32 - -53. Suppose -b - 1 = 3*u, -q = -t - u. Solve 5*c + 23 = 2*l, -3*l - 1 + t = -5*c for l.
-1
Suppose -3*j + 40 = 1. Let s = j - 8. Suppose -2*p - 2*b = -s*b + 2, 4*p + 2 = 5*b. Solve 2*q - p*r + 2 = 0, -4*q - 2*r + 18 = -8 for q.
4
Suppose 0 = -4*g + f + 96, -5*g - 3*f + 141 = f. Let i(c) = 4*c - 47. Let l be i(17). Let x = g - l. Solve 0 = x*k - k + 5*y - 17, -3*y = -3*k - 15 for k.
-1
Let g be (-51 - -39)*(-1)/(3/2). Solve g = 5*i - 3*u, -4*i - 1 = -2*i + 3*u for i.
1
Let m be (-2 - -5)*(0 + 1). Suppose 0 = 4*k - 12, -2*u + 2*k + 84 = -5*u. Let n = -28 - u. Solve -2*h - m = -c, 0 = 5*c + 2*h + n + 31 for c.
-5
Let f be (-3 + 2)/((-3)/30*2). Solve 2*q = -2*n - 12, -2*q - 1 - f = -n for n.
-2
Let f = -39 - -49. Suppose -3*z = 2*z - f. Let q(h) = -h**2 + 5*h - 2. Let c be q(4). Solve -i = -c*i - 4*g - 23, z*i + 4*g + 26 = 0 for i.
-3
Let h(b) = -52*b - 570. Let c be h(-11). Solve -c*m - 8 = -5*i + 3, -i + 5*m - 7 = 0 for i.
3
Let y(b) = -b**2 - b + 24. Let q be y(0). Suppose 4*k = 6*k + q. Let t = -10 - k. Solve 2*l = -5*x - 29, 0 = -l + 6*l - t*x for l.
-2
Suppose 0 = 7*u - 409 + 374. Solve 0 = -3*d + 4*n - 8, 0 = 2*d - n + u - 3 for d.
0
Suppose -2*g - 3*y = -y - 64, 5*g + 4*y = 165. Let u = 42 - g. Solve 3*m = 5*h - 5 + 3, -h + 18 = -u*m for m.
-4
Let x(f) = -f**2 - f + 4. Let m be x(-3). Let l be m + 3 + 1 + 4. Let u = l - 2. Solve z = -u*k + 13, -2*z + 5*k - 29 = z for z.
-3
Let j be (2/4)/((-15)/(-30)). Solve 3*d - 6*d = o + 5, 0 = -d - o - j for d.
-2
Suppose -5*l = -2*n + 30, -11*n + 12*n - 3*l - 17 = 0. Solve 4*q - 5*c - 3 - n = 0, 0 = 3*q - c + 5 for q.
-3
Let o(t) = -t + 4. Let w = 1 + 1. Let i be o(w). Let v = -31 - -39. Solve 0 = i*p - 3*s + v, -8 = 6*p - 4*p - 2*s for p.
-4
Let p be (6/4)/(24/128). Let v = p - 3. Suppose 5*s - 2 - 23 = -5*u, 2*u - 19 = -v*s. Solve -3*k = 2*a - a - 9, -15 = -5*k + s*a for k.
3
Let g be 11/(275/(-30))*15. Let i = 21 + g. Solve 0 = -3*q - c + 14, q - 2*c + i = 2*q for q.
5
Let d(a) = -a + 1. Let w be d(8). Let i = w - -9. Suppose 4*t - r - 32 = i*r, 4*r - 4 = -4*t. Solve t*f - 3*q = 10, 4*f + 2*q - 8 = -2*q for f.
2
Let v = 18 + -90. Let j = v + 76. Solve 0 = -h + 3, -g + j*g = -h - 12 for g.
-5
Let w = -29 + 54. Suppose 0 = 5*t - 10*t + w. Solve -m = 2*x + t, -2*x + 2*m = -0*m + 20 for x.
-5
Let s be 19 - ((0 - 0) + -2). Suppose 6*z - s = 39. Solve 0*w - 2*w = -3*v - z, -2*w - v = 6 for w.
-1
Suppose 1 = -4*k - 3, 5*f + 21 = -k. Let m be (f - -10)/(4/2). Solve 4*c - 32 = 4*a, -2*c - 3 = -m*a - 22 for a.
-3
Suppose 0 = -0*w + 2*w. Let l be (2/2 + -2)*w. Suppose 0*d + 5*d = l. Solve 0 = -3*p - a - 6, 0 = 2*p - d*p + 2*a + 4 for p.
-2
Let s(u) = u**2 - u - 30. Let o be s(-5). Solve -4*n = 5*j - 32, -4*n - 4*j + 9*j - 8 = o for n.
3
Suppose 4*u + 202 = 5*y + 218, -3*y + 2*u - 8 = 0. Solve -2*t + 2 = 3*c, y = 30*c - 32*c + 8 for t.
-5
Suppose 3 = -2*q - 3. Let v = 65 - 66. Let u be 3 + 14 + q/v. Solve 4 = 5*t - f + 2, -5*t - 5*f + u = 0 for t.
1
Let k = -34 - -36. Suppose -k*b - b = -15. Solve 4*q + b*u - 27 = 0, 5*q = 2*q - 