s + q, 0*k - 1 = -k for s.
2
Let m(i) = -2*i**3 - 8*i**2 - 10*i - 23. Let a be m(-6). Suppose -2*b - a + 181 = 0. Solve 1 = x, 2*p + 9 = -b*p + 3*x for p.
-3
Let u be 64/12 - (100/125)/((-3)/(-5)). Solve 4*r = 4*x - 2*x - 10, -u*r = 16 for x.
-3
Suppose -2355 = -6*r + 339. Let o = r + -449. Solve o = -4*f - 2*a + 4, -4*f - 2*a = -a for f.
-1
Let n(f) = 2*f**2 + 1. Let b be n(-1). Suppose -b*x - 11 = -20. Suppose -6*s - 3 = -9. Solve 0 = -w + x*g - 4, -w - g = 3 + s for w.
-4
Let u be 200/(6 - 1)*-3*(-4)/30. Solve -u*v - 5*o + 17 = -13*v, v = -5*o + 19 for v.
-1
Suppose -4*m + 977 = -5*y, m - 245 = -5*y + 18. Let r = m + -242. Solve 0*a = -a - 3*n - r, a + 4*n + 8 = 0 for a.
0
Let f = -17791 + 17794. Solve 3*m - 4*x = 9, -7*x + 2*x + 9 = f*m for m.
3
Let b be (131 - 132)*2*-1. Let a(c) = 6*c - 1. Let s be a(1). Let x = s + b. Solve 4*w = 29 - 9, -3*t - 2*w = -x for t.
-1
Let o = -68 + 102. Suppose y - 109 = 2*q, -o - 437 = -4*y + q. Let m = y + -110. Solve -4*t - m = 5*n, 0*n - n - 4*t - 5 = 0 for n.
-1
Let m(g) = g**2 + 7*g + 6. Let b be m(-7). Suppose -b = -2*d - 0*d. Let o(l) = 177*l - 885. Let c be o(5). Solve d*f = v, -f + c + 14 = -5*v for v.
-3
Let v(i) = 132*i + 536. Let p be v(-4). Solve -25 = 3*r + 5*c, 15 = 4*r - p*c + 5*c for r.
0
Suppose -10*j + 118 = 38. Solve -16*k + 11*k - 2*d = 8, -2*d - j = 4*k for k.
0
Let c(x) = -x - 6. Let v = 41 + -49. Let k be c(v). Suppose 3*p + s = k*s + 3, 2*p + 2*s = 10. Solve -4*o = -p*a + 14, 3*a + 2*o - 1 = -4 for a.
1
Let t be 2/48*4 + 1684/(-24). Let c be 6/(-4) - t/20. Solve 4*x - 2*w = -c, -w - 1 = -2*x + 2*w for x.
-1
Let a(f) = f**3 - 119*f**2 - 17*f + 2046. Let t be a(119). Solve 0 = 24*o - 20*o - 3*s + t, 5*s - 27 = o for o.
-2
Suppose -4*z - 4 + 20 = 0, -5*v = 2*z - 18. Let c = 4447 - 4442. Solve a + v*a + 10 = -5*p, c*a = -p + 20 for p.
-5
Let d(a) = a**2 - 8*a + 17. Let r be d(4). Suppose 2*y = t - r, 4*t = y + y + 34. Solve 4*j = c + t, -3 = 2*c - 5*c for j.
3
Suppose -5*w = -d + 32, -5*w = -15*d + 10*d + 60. Solve 0 = u - 5*b + 13, -3*u + 2*b = d*b - 21 for u.
2
Suppose 2*w + 4 = -5*o + 35, -2*o = 3*w - 74. Let k be w/(-21)*(0 + 3/(-1)). Solve 5*r - 4*r + 2*c = 1, -r + k*c + 1 = 0 for r.
1
Suppose 4*n + 3*q = 3*n + 267, 0 = -n - 4*q + 265. Let f = 302 - n. Solve -24 = -4*r - 4*a, 0 = -5*r + 3*a - 7*a + f for r.
5
Let u be 6/4*(-8)/(-4) + -2. Let m(o) = 12*o + u + 0*o**2 - o**2 - 12. Let v be m(9). Solve -i = q + 4, -4*q = -3*i - 0*i + v for q.
-4
Let h be -5 - 1128/(-108) - 8/18. Suppose 5*z = 2*p + h, 3*p - 9 + 6 = 4*z. Solve -3*l = 15, 3*n = p*l + 13 + 9 for n.
-1
Suppose -3*b - s - 5 = 0, -2*b + 2*s - 5 = -15. Suppose 0 = 157*t + 93 - 407. Solve b*w - t*r = -2*w - 8, w + 4*r - 11 = 0 for w.
-1
Suppose -13*v = -9*v - 24. Let p = 6 - 2. Suppose 3*k - 6*k - p*f + 4 = 0, 3*f + 2 = -k. Solve -k*i + 2*a = -14, i - 5*a - 2 = v for i.
3
Let f(y) = -y**2 + 11*y - 3. Suppose -5*b = -0*b - 50. Let q be f(b). Suppose 16 + 12 = q*w. Solve s - 4 = -m, 5*s - w*s + 5*m = 12 for s.
2
Suppose -2*v = n + 98, -v + 212 - 16 = -2*n. Let q = 38 - n. Let c = q - 134. Solve 4*i = 4*w + 12, c*w + 0*i = -5*i - 6 for w.
-3
Suppose -5*b - 10 = 0, 2*z - 5*b + 654 = 22. Let p = z - -343. Solve -5*d = x + 19, -2*x + 8 - p = 4*d for d.
-4
Suppose 52*h + 365 = -27*h + 1708. Solve 5*l = -2*j + h, -2*j = -l + 15 - 14 for j.
1
Suppose 2*m + 157 = 5*y, 9*m - 13*m = 4. Let n = 52 - y. Solve -2*h + 5*h - n = -4*v, h + 5*v - 18 = 0 for h.
3
Let d(n) = -6*n**2 + 11*n - 11. Let q be d(1). Let m be ((-15)/(-12))/(q/(-24)). Solve 0 = 2*x - 3*g + m, -4*g + 5 = 4*x + 25 for x.
-4
Suppose l = -3*v - 7, l - 4*v = -8*v - 11. Suppose 0 = -l*q + 24 - 9. Solve q*i - 9 = -j - 22, 3*i - 3 = 3*j for i.
-3
Let l be (-31)/9 + 3 - (-11 - 450/(-81)). Solve 3*r = l*i + 13, 2*i = 4*i - 2*r + 6 for i.
-2
Let b be 87 + 0 + -11 + 9. Let q = 120 - b. Suppose -6*s + q - 11 = 0. Solve -5*c + 2 = 2*k - 3, 3*k + s*c - 11 = 0 for k.
5
Suppose 14 = -4*s - 3*w, -3*s - w = -0*w + 3. Solve -20*v + s = -19*v + 2*o, -3*v - 2*o = 1 for v.
-1
Let a(i) = -i - 4. Let y be a(-5). Let r be y/3 - 368/(-138). Solve -4*t - 3*g - r = -15, 5*t - 2*g = 15 for t.
3
Let j be -1 + (-40)/30*-21. Suppose 43*m - j*m - 112 = 0. Let w = 57 + -32. Solve -m = 3*x + 4*n - 38, -x - 5*n = -w for x.
5
Let g = 3174 + -3172. Solve -3*x + 8*x - n - g = 0, 4*x - 2*n = 4 for x.
0
Let v = 231 + -221. Suppose v*m - 8*m = -3*j + 12, 3*j = 2*m. Solve -2*f + 10 = -j*y - 0*f, 8 = 4*y + 3*f for y.
-1
Let g be (-8)/(-1) - 4 - 2. Let o = g + 7. Suppose -o*y + 12*y = 12. Solve w - 7 = -4*r + 15, y*w = 8 for r.
5
Suppose 7*m = 11*m - 3*a - 17, -5*a - 17 = -m. Suppose m*s + 12 = 16. Solve -k = -2*t + 3, -4*t = s*k + 9 + 5 for t.
-1
Let b(i) = -61*i - 41. Let z be b(-7). Let g = z + -374. Solve -q - 3*o = -2 + g, -3*q = 4*o + 5 for q.
5
Let t = 4005 - 4005. Solve t = 3*w + 4*m, -4*m = -17*w + 19*w for w.
0
Suppose 0 = 5*j - 0*j - 10. Suppose 2*g - j*h + 0*h = -472, 3*g + 4*h = -722. Let y be g/(-26) - 18/117. Solve d - 4*d - y = 3*s, 5*s + 4*d = -12 for s.
0
Let t(s) = -s**3 - 10*s**2 - 30*s - 11. Let n be t(-6). Let x be 25/(-10)*(-8)/n*5. Solve 12 = -x*f + 4*u, -f - 3*u - u + 17 = 0 for f.
1
Let a be (24/20)/((-21)/(-35)). Solve 8 = -2*p + a*u, 2*p + 4*u = -1 - 1 for p.
-3
Let k be (-42*4/(-32))/((-6)/(-16)). Suppose k = f + 4. Suppose -4*i + 28 = -t + 6*t, 2*t + i = f. Solve -2*g - t = 5*w, 5*g - 5 = 4*w - 9*w for w.
-2
Let m = -3852 - -3857. Solve -5*h = -0*h - m*k - 30, 2*k = -4 for h.
4
Let t be 15*((-12)/(-9) + 1 + (-4)/3). Solve -5*b + t = 2*v, 3*v = 5*b - 9*b + 5 for b.
5
Let d(y) = -11 + 24*y + 24*y + 32 + 3*y**2 - 33*y. Let q be d(-3). Solve 3*k + 3*o = -0*o - 30, 0 = -4*k + q*o - 5 for k.
-5
Let t(b) = 478*b - 1431. Let q be t(3). Solve -4*z = -25*k + 29*k - 36, -4*k = -q*z - 8 for k.
5
Let o = -22 + 29. Suppose 2*r - 5*q = 20, 4*q + o = -1. Let f be 3/r - (-72)/30. Solve -2*c - c + 3 = -f*v, -2*v = -3*c - 1 for c.
-3
Let v be (-1)/(-4) - 7/(-4). Suppose -4 = v*b - 5*a, 11 = 2*b + 2*a + 1. Solve -r - r - 5 = 3*n, 5*r = b*n + 40 for r.
5
Let p(w) = 4*w**2 + 33*w - 877. Let v be p(16). Solve -v*b + 12 = 2*s - 680*b, -20 = 5*b for s.
-4
Let o be (1 + 0)/(-6*(-6)/144). Suppose 5 = 5*a - p, -10 = o*p - 6*p. Solve 0 - 6 = -5*f - v, -v + a = 3*f for f.
2
Suppose 18 = -3*k - 3*u, 4 = -6*u + 4*u. Let d be 0 + -1*(1 - (k + 7)). Solve d*b - 11 = -2*v - 5, -2*v + 14 = -2*b for v.
5
Let o(t) = -2*t**2 - 35*t - 147. Let p be o(-7). Solve p*f = 3*c + 2*f - 4, 4*f - 22 = c for c.
-2
Let g be (-2 + 4 + 0/8)*1. Solve 4*m - 3 + 9 = -2*x, -g*m = -3*x - 17 for m.
1
Suppose 208*i - 5103 = -1359. Solve -5*y - i = -2*z, 5*y + 13 = -z - 8 for y.
-4
Let p be ((-104)/(-39))/(((-2)/(-21))/1). Suppose -17 = -9*o + p. Solve 5*f = o*l - 25, 4 - 9 = -l + 4*f for l.
5
Suppose -1080 = 16*b - 20200. Suppose 4 = -1193*i + b*i. Solve -i*m - 2*d - 2 = 0, -d + 1 + 0 = 2*m for m.
2
Let h = -20 + 22. Suppose -h + 4 = s. Let r be (-2)/s*(-4 - -2). Solve 4*p - 3*g + 16 = 0, r*g = -2*p - 2 - 6 for p.
-4
Suppose -383 = 3*m + 5*y - 448, -50 = -2*m - 5*y. Solve 0*h - 5*h = 5*d - m, -d + 19 = 5*h for d.
-1
Let q be (-1)/(4 + 1916/(-480)). Let o = 120 + q. Solve -3*r - 3*v = 0, 2*r - 3*v + o*v + 20 = 0 for r.
-4
Let q be ((-39)/((-3744)/64))/(4/18). Solve -q*b + 2*a = 1 + 16, 16 = -4*b + a for b.
-3
Suppose 216 = -5*s + n - 847, 205 = -s + 4*n. Let o = s - -216. Solve 2*a - 4*r = -2*a + 4, 3*r + o = -4*a for a.
0
Suppose -31*m + 12 = -28*m. Let h = m - 2. Let u(d) = d**3 - 2*d**2 + 6*d - 7. Let v be u(h). Solve 3*w + 3*f = 15, w = -4*f + v*f + 1 for w.
3
Suppose 7*r = -0*r - 467 + 481. Solve n - p = -3, 10*n - r*p = 12*n - 6 for n.
0
Let j(c) = 1 + 1 - 1384*c**2 + c + 1383*c**2. Let i be j(0). Solve -i*z + 1 = -4*x - 3, -z + 4*x + 6 = 0 for z.
-2
Suppose 5*j = -5*a + 5, -6 = 6*j + 12. Solve 0 = -a*t + k - 11, -4*k - 14 = -t + 2 for t.
-4
Let p = 6184 + -6180. Solve -5*x - 7 = -p*k, -2*x = -27*k + 31*k + 14 for x.
-3
Let l be -6 + 7/((-42)/(-36)). Suppose 4*a - 4 = -3*x, a - 1 = 5*x - l*a. Solve j - 2*j = -3*s + 12, x = 5*s - 2*j - 19 for s.
5
Let w(d) = -d**3 + 53*d**2 + 167*d + 58. Let m be w(56). Solve 0 = -2*n + t + m, -16*t - 16 = -12*t for n.
-1
Suppose 0 = 11*o - 9*o - 990. Let w = -493 + o. Suppose a + 16 = 5*a. Solve -w = c,