= -1 + 2 for x.
-1
Let w = 10 - 7. Let d be 17/(440/704 - (35/(-8) - -4)). Solve -w*v - 5 = -2*r, 5*r + 0*v - 3*v = d for r.
4
Suppose 0 = -u + 2*u - 2. Suppose 3*c + v = -4 + 30, c - 4*v + 13 = 0. Solve 3*p = 4*p - 2*j - c, -u*j = 4 for p.
3
Let a = -360 - -357. Let v be a*1*(-3 - (0 - 2)). Solve l + 3*l - v*f = 0, 0 = -3*l + f + 5 for l.
3
Let s = -104 + 84. Let a = 65 + s. Solve 5*x = 5*m - a, -4*x + 5*m - 52 = -11 for x.
-4
Suppose -2*f + 10 = 2*k, -20*k = 3*f - 16*k - 17. Solve 2*c - 1 = 47*j - 50*j, -3*c + f = 3*j for j.
-1
Let t be ((-10)/8)/((-19)/1520*4). Solve 0 = -4*h + 5 + 15, 5*o + 3*h - t = 0 for o.
2
Let b be 4/46 + 4020/1380. Solve -4*c + 1 = 36*v - 39*v, b*c = 5*v - 2 for c.
1
Let n = -13306 + 13307. Solve -29*v + 30*v - 4*p = -17, -5*v - p = n for v.
-1
Let p(r) = 6*r**3 + 21*r**2 - 18*r - 20. Let k be p(-4). Solve k*h = d - 17, -5*d - h + 34 = 54 for d.
-3
Let z be ((-90)/24 - 6/(-8)) + (-432)/(-72). Solve -3*t + 6 = g + 1, 9 = -t - z*g for t.
3
Let v be (40/(-105))/(170/(-1785)). Solve -163 + 167 = v*b, -5*b + 5 = 3*w for w.
0
Suppose 40 = u - 3*r + 28, -3*r - 12 = 5*u. Solve 15 = 3*h + 3*v, 5*h + 12*v - 17*v + 5 = u for h.
2
Suppose 4 + 29 = 11*x. Let a(f) = -f**3 + 5*f**2 - 8*f + 6. Let b be a(x). Solve -3*j + 5*c - 4*c - 8 = 0, b = -j - c for j.
-2
Let v = -1567 - -1591. Solve 2*m + 3*s + 4 = 0, 32 - v = -2*m - 5*s for m.
1
Let f be (58/5)/(1/(-5)). Let q = -48 - f. Let p(d) = d**3 - 11*d**2 + 10*d + 12. Let x be p(q). Solve c + 1 = 5*w - 0, 4*c = 4*w + x for w.
1
Let k(b) = 2*b**2 + 5*b - 1267. Let v be k(24). Solve -4*x - 3*g = 1, g - 5*g = -v*x - 40 for x.
-4
Suppose 5*h - 22 = 4*f, 5*f - 7*f = h + 4. Solve 4*q + 5*v = -37, 5*q - h*v + 0*v = -5 for q.
-3
Let d be 3/((1/4)/1*6). Suppose d*i - 4 = 6. Let k be 7 + -3 + (3 - i). Solve -3*r - k = -u, -5 + 19 = -4*u + r for u.
-4
Let l be (6/(-15))/((-2)/10). Suppose i + l*i + 2*n = 0, 0 = -4*n. Suppose 2*f + i + 2 = 0, -5*p = 4*f - 26. Solve 4*t + 4*j - 3*j = -11, 3*t = 4*j + p for t.
-2
Let l(a) = 2*a**3 + 8*a**2 - 13*a - 19. Let n be l(2). Solve 8 = f - 2*h + 6, f = -n*h - 3 for f.
0
Let p = 379 - 164. Let c = p - 205. Solve 5*w - 3*g = g - 12, 3*w - g = -c for w.
-4
Let u = 3326 - 3312. Solve q - o = 0, -10*q + u*q - 5*o = -3 for q.
3
Let a(h) = -60*h - 251. Let f be a(-5). Let b be 10/(140/f)*2. Solve -2*o - 2*t = -6, o + 6*t - 3*t - b = 0 for o.
1
Let f(u) be the first derivative of u**4/4 + 2*u**3 + 7*u**2/2 - 4*u + 34. Let z be f(-3). Solve 4*w = 4*l - 0*w - 16, z*w - 2 = 0 for l.
5
Let g(t) = -t**3 - 12*t**2 + 11. Let k be g(-13). Suppose -6*y + 21*y - k = 0. Solve -4*w - 2*s = y, 0 = 2*w + 2*s + s + 14 for w.
-1
Suppose o + 5 = -1. Let j be (-4 - o)/((-2)/(-4)). Suppose 0*q + j*q = 0. Solve 2*d + 8 = -4*m, 3*m + q + 4 = -d for d.
-4
Let n be -9 + (-135)/(-10) + -4 - (-6)/4. Solve -2*u + n = -4*c, 1130*u + 2*c = 1126*u + 24 for u.
5
Let g(b) = 3*b**3 - b**2 + 91*b - 90. Let n be g(1). Solve v + 2*u - 8 = 0, -2*v + 1 + 12 = n*u for v.
2
Suppose -4*j = i - 28, -78 = -2*i + j + 2*j. Let c be ((-3)/(i/(-40)))/(7/21). Solve -1 - c = f + 4*s, 4*f = s - 10 for f.
-3
Let d be 12/63*27/(-18)*-7. Suppose -d = 2*w - 6. Solve w*l + l - 7 = f, -5*l - 4*f + 23 = 0 for l.
3
Let k = -95 - -442. Let t = k - 347. Solve 0 = 4*d + 2*a - 6, t + 2 = 2*d + 2*a for d.
2
Suppose 187*n - 120*n - 3185 = -178*n. Solve 5*l = -a - 20, -n*a = -8*a for l.
-4
Let v = -493 - -494. Suppose 9*u = 4*u - 15, -3*u = 4*z + v. Solve 4*f = 0, 5 - 3 = -2*x + z*f for x.
-1
Let v(x) = -x**2 - 28*x + 965. Let h be v(20). Solve 0 = d + 4*m + 21, -3*d + h*m = -0 - 5 for d.
-5
Let z(j) = -j**3 - 16*j**2 - 61*j - 17. Let c be z(-5). Solve 0 = o + 3*i + 4, 3*i = -5*o - i + c for o.
5
Let i(t) = t**2 + 9*t - 5. Let k be i(-6). Let f = -73 + 45. Let s = k - f. Solve -2*a - 3*z - 3 = -s*a, 4*a - 36 = -4*z for a.
5
Suppose w - l - 6 = 0, 0 = -3*l - 3 - 6. Let k = 0 + w. Suppose -2*v - 6 = k*a, 7*a - v - 3 = 6*a. Solve -3*m - 4*i + 1 + 9 = 0, 4*m + 4*i - 12 = a for m.
2
Let x = -35002 - -35004. Solve s - 3*b - 9 + x = 0, -3*b - 15 = -3*s for s.
4
Let u be (2 - 3) + (5 - 8 - -9). Suppose u*l = -4*k, k = -2*k + l. Solve 4*z + 12 = 4*t - k*t, 21 = 5*t - 2*z for t.
5
Let m(j) = j**3 + 34 - 4*j - 14*j**2 - 2*j**3 - 32 + 19*j**2. Let o be m(4). Solve -a + 0*v = -v + 4, 0 = o*a + 3*v - 12 for a.
0
Suppose -87*r + 94*r = 21. Suppose 24 = 2*v + 2*v. Suppose v*y - 15 = -r. Solve -4*o + 24 = 5*w, -1 = 2*w + y*o - 11 for w.
4
Let l(k) = -k**3 + 10*k**2 + 26*k - 21. Let o be -6 + 12/6 - -16. Let d be l(o). Solve r = -d*b - 17, -3*r + b - 31 = 6*b for r.
-2
Suppose -3*p = 5*j - p + 13, -3*p = 2*j + 14. Let n be (-3)/(-8 + j)*(8 + -8). Solve x = 2*c - n*x - 4, -2*x = 0 for c.
2
Let y = 188 - 140. Suppose -y = -4*i - 4*b, 3*i - 2*b = 2*b + 22. Solve d - 5*z = i + 14, -3*z = 5*d + 20 for d.
-1
Let a(s) = -s**3 - s**2 - 4*s - 25. Let b = -509 - -506. Let f be a(b). Solve f*y = -20, 2*o = -3*y - 6 + 4 for o.
5
Let s be (-3 - 1) + (13 - (19 + -10)). Let b be (4*1)/(-1 - -2). Suppose 0 = 5*o, -v + 4*o + b = -1. Solve s*i + 3*h = i - 4, 0 = 2*i - v*h - 5 for i.
-5
Let k(p) = p**2 - p - 6. Suppose -2 = -5*h + 18. Let a be k(h). Suppose -l + a = l. Solve r - 2*y + 2 = -r, -l*r - y + 1 = 0 for r.
0
Suppose 0 = -k + 378*v - 374*v + 20, 50 = 4*k - v. Solve 11*s - k*s + 2*b = 0, s = 4*b for s.
0
Let m(g) = -g**3 - 32*g**2 - 77*g - 45. Let v be m(-29). Let i = v - -340. Let p = -8 + 23. Solve -i*c + 0*c = -b + p, -5*b - 4*c - 12 = 0 for b.
0
Let d(y) = -24*y**3. Let a be d(-1). Suppose 0 = -0*m - 2*m - 3*o + 13, -5*o = m - a. Let c be (5/(-10))/m*4. Solve -9 = -2*z + r, 3*r - r = -c*z + 12 for z.
5
Suppose -80*w = -18*w. Solve -4*l + 2*p + 9 = -3*l, w = -4*l + 5*p + 27 for l.
3
Let f(z) = 2*z**2 - 88*z - 104. Let t be f(46). Suppose -b + 14 + 6 = -2*v, -4*b - 4*v = -t. Solve 4*k + 15 = u, -3*u + 5*k + b = 3 for u.
-1
Let r(f) = -f**2 + 17*f - 90. Let b be r(19). Let j be 16/7 + b/448. Solve -x - 15 = j*w, 2*x - 5*w - 20 = x for x.
-5
Let m = -115 + 120. Let f(d) = d**3 - 9*d**2 - 10*d + 6. Let q be f(m). Let r = q + 144. Solve r = -5*y - 2*x, 0 = -3*y - 2*x - x + 9 for y.
-2
Suppose -2*n + 30 = -2*y, -2*n + 4*n = -2*y + 34. Suppose -5 = -p, 2*q + 2*p - 3*p - 31 = 0. Let s = q - n. Solve x + 5 = s*u, -2*u = -3*u - 5*x + 8 for u.
3
Let f(o) = 2*o**2 + 5*o + 3. Let w be f(-6). Suppose -50*a + 10 = -w*a. Solve -a*k - 6 = -t + 3*t, -5 = t - k for t.
-4
Suppose 5*u + 218 - 321 = -3*a, -57 = -3*u - a. Solve s + 5*w = 6*s + 5, 2*s + u = 5*w for s.
4
Let z(a) = -11 + 9 - 127*a + 177*a + 104. Let m be z(-2). Solve -4*g + 2*p - 16 = -m*p, 16 = -4*g + 2*p for g.
-4
Suppose -3*d = -4*h + 59, 2*h - 5*d = 19 + 28. Solve -s + 7*p = h*p + 9, -2*p = -4*s + 18 for s.
3
Let t = 515 + -509. Solve -16*f = -21*f - 3*d - t, 4*d = -2*f - 8 for f.
0
Let p(k) = -17*k + 5. Let a be p(-3). Let c = a - 55. Solve 3*u + 3*i - 8 = c, -2*u + 2*i = -14 for u.
5
Suppose -10*l - 22 = -42. Suppose 0 = -2*v + 5*s - 25, 4*v - 11*s = -8*s - 15. Solve g = 3*g + 5*j, v = l*g + 4*j for g.
0
Let z(l) = l**3 + 80*l**2 - 248*l + 78. Let u be z(-83). Suppose -p - 23 = 21. Let f be 2*(u/(-8))/((-11)/p). Solve f*m = -h - 11, -5*h + 26 = -0*h - 2*m for h.
4
Let j = 31 - 24. Let f(d) = -d + 2. Let h be f(0). Let u be (22 + -20 - (2/1 + 0))/(-3). Solve -h*q = -4, k + u*q = -q + j for k.
5
Suppose -56*v + 560 = -21*v. Let d be 154/56 - (-4)/v. Solve -3*k = 3*y - 18, -2*y - d*k + 0 = -14 for y.
4
Let z be (-3*(-4)/8)/((-2)/52). Let b = 42 + z. Suppose -b*y - 5*q = 7 - 47, -5*y - q = -30. Solve -h + 13 = y*c - 3, 3*h = 3*c - 6 for c.
3
Suppose -4*u + 4*n = -24, -3*u = 2*n - 25 + 27. Solve -x - 54*k - 18 = -50*k, 3*k = -u*x - 11 for x.
2
Let z(v) = -15*v**2 - 303*v - 58. Let o be z(-20). Solve -4*h = o*l - 4, 9*l + 3 = 3*h + 10*l for h.
1
Let y(r) = 3*r**2 + 13*r + 6. Let x(a) = -a**3 - 15*a**2 - 4. Let p be x(-15). Let c be y(p). Solve 0 = 5*w + z - 13, -z + 3*z = c*w - 10 for w.
3
Suppose 12*k - 3*k = 4806. Let q = k + -530. Solve -l = -q*o + 3*o, l = -o for l.
0
Suppose 0 = -6*d + 10*d + 2*f - 4, 0 = -2*d - 2*f. Solve -3*c = d*w - 14, -5*w = -6*w + 5*c - 6 for w.
4
Suppose -126*d - 3 = -127*d. Solve -d*o = -2*x - o - 2, 1 = -3*x + 5*o for x.
-2
Let d(b) = -2*b + 12. Let s be d(-6). Let x = -32 - 