*y - 15 = -y for y.
3
Let s be 1 + 5/(5/8). Let h = -256 + 730. Let n = 477 - h. Solve -n*q + s = -6*q for q.
-3
Let p(z) = 126*z - 881. Let u be p(7). Let q = 0 + -3. Let n(i) = -i**2 - 2*i + 3. Let y be n(q). Solve y = 2*m - 11 + u for m.
5
Let q(u) = 2*u**2 + 10*u + 10. Let s(p) = 3*p - 1. Let n be s(-1). Let g be q(n). Let a(m) = -10*m - 244. Let o be a(-25). Solve 4*x + g = -o for x.
-2
Let h = -224 - -201. Let b = h + 23. Let k(y) = -y**2 - 7*y - 5. Let v be k(-5). Solve v*l - 44 + 19 = b for l.
5
Let s(a) = -10*a - 23. Let r(t) = 29*t + 68. Let z(u) = 6*r(u) + 17*s(u). Suppose 0 = 2*i + 10 - 2. Let f be z(i). Solve 4*l - 5*l = -f for l.
1
Let p(y) = -2*y**2 + 22*y + 29. Let i be p(12). Suppose 4*u + 0*u - 12 = 0. Suppose 4*j - u = 9. Solve j*x = -7 - i for x.
-4
Let o(i) = -6 - 12*i - 756*i**2 + i**3 - 7 + 719*i**2 - 25*i. Let r be o(38). Solve 4*k - r = -k for k.
5
Suppose 4*c = -c - 30. Let u be 6 + (-136)/24 - 58/c. Suppose u = -6*m + 10. Solve m = -4*l - l for l.
0
Let q = 88 - 87. Let f be q*4/6*(-18)/(-6). Let t be (0 - (-5 + 1))/f. Solve -t*l + 0 = 6 for l.
-3
Let x = -103 - -146. Suppose -12*n + x = -5. Solve l = 5*l + n for l.
-1
Suppose -z + 22 = -4*f + 54, -2*z = -5*f + 37. Suppose -2*g = -5*t + 92, -2*t + 5*g - f = -29. Suppose -4*n - n = -t, 5*n - 22 = -u. Solve s = u*s + 4 for s.
-4
Let l = -1036 + 1066. Solve 811*h - 805*h + l = 0 for h.
-5
Suppose -62*u + 1562 = -1359 + 69. Solve 26 = -4*c + u for c.
5
Suppose 0 = g + 4*b - 4, -13*g - b = -8*g - 1. Solve g = -56*u + 60*u - 16 for u.
4
Let i(q) = 237*q + 2146. Let a be i(-9). Solve a*k + 65 = -0*k for k.
-5
Suppose 3*f + 80 = 7*f. Suppose -f = 5*h + 5*z, 1 - 17 = 5*h + 3*z. Let l be (2/((-10)/25))/(1 + h). Solve -8*n = -3*n - l for n.
1
Suppose -7845*h = -7851*h + 252. Solve 96 = -h*f + 18*f for f.
-4
Suppose -46*z + 97*z - 99*z = -2016. Solve -47*h + z*h = 0 for h.
0
Suppose 111 = -3*b + 123. Suppose 0 = -10*f + 7*f + b*j + 44, 38 = 4*f + 5*j. Let n = 8 - 1. Solve -f = n*c - 3*c for c.
-3
Let g = 351 + -453. Let t = g + 107. Solve -t = -2*k + 1 for k.
3
Let x(t) = -3*t**3 - 2*t**2 - 8*t - 10. Let o be x(-2). Solve -o = 128*d - 117*d for d.
-2
Let d(p) = 8*p + 144. Let y = 285 + -303. Let z be d(y). Solve 9*h - 6*h - 3 = z for h.
1
Suppose -5*j + 1303 = -4*r, 4*r = 9*r - 3*j + 1619. Let a = 362 + r. Solve -10*v = a - 0 for v.
-4
Suppose 21 = 3*h + 3*r, 155*h + 4*r = 152*h + 24. Solve -h*q = -10*q + 30 for q.
5
Let f(q) = -14*q - 52. Let k be f(-6). Let p be ((-1)/(-4))/(2/k). Solve -28*o + p = -32*o for o.
-1
Let n be 5 + (-2 + 16 - 0) - 4. Solve -18*a = -n*a - 10*a for a.
0
Let n = -9 - -11. Let v = -64 - -68. Suppose 12*h - 14*h = -v. Solve n*k = -6 - h for k.
-4
Suppose n = -3*c + 8, -22 = 2*n - 6*n - 2*c. Suppose -43*t + 35*t = -56. Let y be 1/(t/49) - 0. Solve 8 = -n*d - y for d.
-3
Let m = -40020 + 40023. Let c be 4*2 - -1*1. Solve m*a = c*a for a.
0
Let u(g) = 2*g**3 - 39*g**2 + 13*g - 40. Let l be u(19). Let i = l + 167. Solve -i*z = -10*z for z.
0
Suppose -3*w = -6, 6*w - w = 3*b + 4. Suppose -i + b = -1. Suppose i*j + 4*o = -3 - 3, 3*j + 3*o = -3. Solve v = -j - 2 for v.
-4
Let a = -511 + 513. Suppose 0 = c - 3, 5*t - 6*c = -a*c + 48. Solve 30*d = 33*d - t for d.
4
Suppose 2*x = -i + 9, -x - 3*x = -3*i - 3. Suppose -x = 5*r - 18. Solve 4 = r*u - 2*u for u.
4
Let p be ((-494)/26 - -19) + (-3 - -6). Let x be (2 - (-8)/(-6))*3. Solve x = 5*k - p for k.
1
Let h(i) = i**3 - 6*i**2 + 4*i + 7. Let t be h(5). Let d be (-11 + 7)/(40/(-180)). Solve -5*u - d = t for u.
-4
Let d(h) = -4*h - 18. Let n = 13 - 19. Let q be d(n). Suppose 7*m - q - 8 = 0. Solve -20 = -3*v - m*v for v.
4
Suppose 2*a = 7*t + 6*t + 26, 6 = -3*t. Suppose x = -5*h + 35, -3*h - 14 - 19 = -3*x. Let w = -10 + x. Solve 0 = m - a*m - w for m.
5
Let w be -18 - -5 - (-16)/4. Let x be 3 + w/7 + (-6)/(-21). Solve -x*m - 16 = 2*m for m.
-4
Let i = -12851 - -12913. Solve -52*q - 20 = -i*q for q.
2
Let k(y) be the first derivative of -y**3/3 + 16*y + 104. Let x be k(4). Solve x = w - 3*w for w.
0
Let b = 149 + -128. Suppose -y + b = -5*u, -3*y + 2*u + 22 = -54. Solve -y*q - 12 = -23*q for q.
-4
Let b = 100 + -99. Let z be 0 + 2 + 11/(-1). Let c be b/1*z/(27/(-15)). Solve 2*o - c = 7*o for o.
-1
Let n = 80 - 50. Let r be ((-40)/12)/(18 + -16)*(-2 + -1). Suppose 15 = 5*m - 2*m. Solve r*k = -n + m for k.
-5
Let z be (1400/12)/(-1)*6/(-4). Let b = 191 - z. Solve -2*f + b = -6*f for f.
-4
Suppose -14*b + 12*b = -2*x - 42, -3*b - 2*x + 53 = 0. Solve b + 1 = 4*o for o.
5
Suppose -4*l = -24 - 176. Let u = -35 + l. Suppose -u = -2*d - d - 3*y, 3*d - 5*y + 25 = 0. Solve w - 4 = -d*w for w.
4
Let x be ((-11)/(-2))/((-158)/(-948)). Solve x - 9 = 4*g for g.
6
Let g = -100 - -104. Suppose 9 = t - 3*m, -8*m = -2*t - g*m + 12. Suppose 2*c = 4*c - 20. Solve 4*j + j - c = t for j.
2
Let m be (-11)/((-22)/(-240))*(-1)/3*3. Solve 114*u + 24 = m*u for u.
4
Let u(t) = -t**3 + 18*t**2 - 13*t - 66. Let y be u(17). Suppose -5*d + 32 = v, -5 = -y*d + 3*v + 1. Solve -d*o = -o + 10 for o.
-2
Let b(k) = -3*k - 45. Let l be b(-13). Let a be 17 - ((-15)/l)/(-5)*6. Suppose 0*z - z + 3 = 0. Solve s + z*s - a = 0 for s.
5
Let k(s) = 3*s**3 + 7*s**2 - 2*s + 4. Let w(f) = -f**3 - f - 1. Let d(c) = k(c) + 4*w(c). Let j be d(6). Solve j = -2*t + 6*t for t.
0
Let o be (2/(2 - 4))/1. Let p be 2 - -72 - (o + 5). Let z be p/55*3 + (-6)/(-33). Solve -l = -z*l for l.
0
Suppose -19*i + 26*i = 34*i - 54. Solve i*t = -319 + 315 for t.
-2
Suppose -k = 3*k + 2*s - 396, 5*k + 2*s - 496 = 0. Suppose 152 = 42*f - k. Solve -4*m = 2*m + f for m.
-1
Let v = -1009 - -1015. Solve 0 = -9*a + v + 30 for a.
4
Let g be -4*(-7)/(-2) - 0. Let j be (-2)/((-2)/12 + g/60). Solve 5*y = 10 + j for y.
3
Let o(x) = 2*x**3 + 25*x**2 + 13*x + 15. Let f be o(-12). Let y be (-1 - f) + 6 + 15. Solve 12 = 5*p + y for p.
-1
Let a(q) = 34*q - 1122. Let v be a(33). Solve -6*y + 225 - 201 = v for y.
4
Let x(y) = 10*y**2 - 4*y - 13. Let d be x(-2). Let q be 4 + d - (-1 + 0). Solve 5*p - 13*p - q = 0 for p.
-5
Let b(r) = -732*r - 369. Let y be b(-1). Solve -w + y = 361 for w.
2
Suppose -4*o - 1 = -9. Suppose 5 - 19 = -o*r + 3*m, 10 = r - 3*m. Suppose r*d - 10*d = 0. Solve d*p + 1 = -p for p.
-1
Let o(d) = -3*d - 34. Let h be o(-10). Let l(n) = 3*n**2 - 4. Let p be l(h). Suppose -v + 8 = x, 2*x = -v + 6*v + p. Solve -3*i = -0 - x for i.
4
Let j = -1356 + 1356. Solve -c - 45*c - 92 = j for c.
-2
Let i(n) = n**2 - 4*n - 1. Let k be i(5). Suppose 4*j = q + 3, k*j + j + 15 = -5*q. Suppose 2*g = d + 5*g + 7, -5*d - 2 = 4*g. Solve j = -7*y + d*y for y.
0
Let n be (-1125)/(-39) + 6/39. Let o = n - 25. Suppose 16 = k - 4*d, -o*d = 2*k + 3*k + 16. Solve -t = -k*t - 4 for t.
4
Suppose 0 = -5*b + 11 + 19. Let s be (-12)/(-27) + (418/(-228))/((-3)/14). Solve 30 + b = s*p for p.
4
Let x be ((-5)/3)/(30/(-36)). Suppose 0 = -3*b - 3*u + x + 7, 0 = u. Solve b*r + 9 = -0 for r.
-3
Suppose 4*c - 62 = 2*o, -c - 12*o + 8*o + 2 = 0. Solve -52 = -c*s + 32 for s.
6
Let r(y) = y**2 + 8*y + 10. Let t be r(-7). Suppose -o + t = -1. Suppose -7*f = 6*f - 4*f. Solve f*p = o*p for p.
0
Suppose -14*j + 156 = 86. Suppose -2*f = -4*n + 2*n - 10, 4*f - n - 5 = 0. Suppose u + 17 = 2*i, 4*u = j*i - f*i - 47. Solve -5*w = -i + 32 for w.
-5
Suppose 17*n - 97 = -29. Suppose -18*u = -n*u. Let w(j) = -j - 1. Let q be w(-5). Solve u*h + q = -h for h.
-4
Suppose -9 = -w + x, -4*w + 251*x - 254*x - 20 = 0. Suppose -1 = -5*z + 2*y, -4*z = z + 2*y - 9. Solve -a + w = -z for a.
2
Suppose -4*h = -2*w - 790, -5*w = -12*h + 16*h + 1919. Let i = w + 397. Solve -i*r = -14*r + 16 for r.
4
Let g be (6 + -7)*(-1 + -1 + 2). Suppose -2*z + 4*k + 32 = 0, 2*z + 0*z - 32 = k. Suppose 5*m - z = m. Solve g*i = i - m for i.
4
Let l(j) = -j**2 - 6*j - 4. Let n be l(-3). Let r = -91598 + 91603. Solve 4*y = n*y + r for y.
-5
Let j be (1 + (-4 - 0))/(-1). Suppose -o + j*a + 2*a = -18, 12 = 2*o + 2*a. Let n(b) = -b**2 + 8*b + 6. Let v be n(o). Solve 0 = 2*z - 0*z + v for z.
-3
Suppose 5*r - 3*d - 75 = 0, 2*d = 7*r - 255 + 150. Solve 0 = -r*k + 33*k + 18 for k.
-1
Let u = 247 + -251. Let i be (-18)/u + 1/(-2). Solve 4*m + 8 = -i for m.
-3
Suppose -350 = 8*j - 3*j + 5*a, 0 = 4*j + a + 265. Let c = 143 + j. Suppose -7*f - 8 + c = 0. Solve f = 3*z - z for z.
