2 for z.
2
Let h be (72/42)/1*((-174)/(-12) - -3). Let p be 0 + 3/(6/10). Suppose 0 = 4*l - 3*g - 24, -3*g + 2*g + h = p*l. Solve 0 = -l*q + q + 5 for q.
1
Let o(f) = 2*f**2 - 4*f + 2. Let y be o(2). Suppose 21 = 3*g + 3*v, g + 5*v - 5 = y*g. Solve g*k + 15 = -5 for k.
-4
Let b(x) = -104*x + 1523. Let h be b(14). Solve h*w = 117*w - 150 for w.
3
Let v(y) = 14*y**2 - 2*y. Let a be v(-1). Suppose a + 9 = -5*p. Let b be ((-55)/(-75)*6)/((-1)/p). Solve -b = -5*i - 7 for i.
3
Let f(q) = -2*q**3 + q**2 + 5. Let a(d) = d**2 + 7*d + 6. Let h be a(-6). Let s be f(h). Solve -1 - s = 2*c for c.
-3
Let a(m) = -2*m - 9. Let n be a(-6). Let x(u) = u**2 + u. Let o be x(n). Suppose 0 = -192*w + 193*w. Solve w*z = -4*z - o for z.
-3
Suppose 3*j - 357 = -3*r, 15*r - 20*r = 2*j - 610. Solve -76 = -8*x - r for x.
-6
Let y = -277 + 377. Let c = y - 95. Solve w = c*w for w.
0
Suppose 76 = 2*j + 3*d, 0 = 2*j - 21*d + 22*d - 80. Solve -j*x = 282 - 241 for x.
-1
Let q be 32/(-24) + 3 - (-10)/(-6). Suppose q = 6*c + 10*c. Solve c = 8*g - 11 + 27 for g.
-2
Let p(i) = -4*i + 8. Let k be p(-12). Suppose -63*w + k*w + 14 = 0. Solve a = w*a for a.
0
Let v be 5*((-6)/24 - 10/(-8)). Let b(n) = 6*n - 48. Let f(i) = 2*i - 16. Let j(c) = 2*b(c) - 7*f(c). Let t be j(8). Solve 4*d - v*d + 2 = t for d.
2
Let t(x) = -123*x - 607. Let i be t(-5). Solve 0*g = 2*g - i*g for g.
0
Suppose 3*h = -2*i, -3*h + 2*h - 2 = 0. Suppose i*w = 5*w - 0*w. Let f be (-2 + 2)/((-9)/3) + w. Solve f = -4*g - 0*g - 20 for g.
-5
Let h(d) = 6*d**2 - 7*d**2 - d**2 - 4 - 3*d**2 - 4*d. Let p be h(-3). Let c = p + 49. Solve t = 4*t - c for t.
4
Let u(v) = -18*v - 551. Let l be u(-32). Solve -l - 5 = -6*i for i.
5
Suppose -5*a + 80 = 2*q, 5*a + 36 = -5*q + 101. Solve -16*v - 4 = -a*v for v.
2
Suppose 0 = -3*x - 5*l + 57, -3*x - l = -x - 24. Solve 8*j + x + 47 = 0 for j.
-7
Suppose 5*m - 20 = -y, -4*m + 16 = 96*y - 90*y. Solve -m + 16 = 6*d for d.
2
Let u(s) = s**3 + 13*s**2 + s + 13. Let z be (-2)/((-304)/52 + 6). Let q be u(z). Solve -6 = -2*l - q for l.
3
Suppose -5*x - 204 = -5*j - 2*x, -2*j - x = -75. Suppose j*w = 41*w - 42. Solve -6*v = v - w for v.
3
Let k be 66/(10 - -1) - (-275 + -4). Solve 0 = -22*q + k - 219 for q.
3
Let s be (-25 - 8) + (-1 - -4). Let x be (-24)/(-18)*4/((-16)/s). Let u = 14 - x. Solve 2*o + 10 = u*o for o.
5
Let o(m) = m**3 - 2*m**2 - 4*m + 4. Let g be o(3). Let x(c) = 9*c + 229. Let p be x(-26). Let j(l) = -l**2 - 12*l - 32. Let t be j(p). Solve t*i - g = 5 for i.
2
Let q be 5 + 204 + 3 + -2. Let r be 120/q + 0 + 17/7. Solve -r*x = -4*x - 3 for x.
-3
Suppose -y + 4*y - 5*u - 37 = 0, -3*y + 3*u = -27. Suppose 3*m - y*k - 51 = -k, 79 = 5*m + k. Solve -8*p + 4*p - m = 0 for p.
-4
Let t = 54 - 52. Let g be t/(-8) - 441/(-36). Suppose 5*r - 4 = 3*r. Solve j = -r*j - g for j.
-4
Let t(n) = -4*n - 12. Let z be t(-4). Suppose -z*r = -2*i - 2*i + 28, -19 = -3*i + 2*r. Suppose 75 = 7*f - 3*f - i*q, 0 = 2*q - 10. Solve -u = -6*u - f for u.
-5
Let x be 184/(-30) - (-1 - 5) - (-4692)/90. Solve 29 + x = -27*l for l.
-3
Suppose 97*q - 732 = -150. Solve -q*d + 1 = 13 for d.
-2
Let s(w) = 2*w**3 + 22*w**2 - 2*w - 12. Let x(m) = 4*m + 65. Let z be x(-19). Let k be s(z). Suppose -13*q = -8*q - k. Solve q*b = -2*b + 4 for b.
1
Let l(v) = 12*v**2 - v - 8. Let d be l(-2). Suppose 0 = 2*a - 3*p - 54, 0 = -2*a - p - 2*p + d. Suppose 18*c = a*c - 6. Solve -c = -2*k + 3 for k.
2
Suppose -m - 72*g + 71*g + 34 = 0, -m + 2*g + 28 = 0. Solve -m = 11*q + 21*q for q.
-1
Let w(y) = -3*y**2 - 37*y + 460. Let c be w(-20). Solve c = 30*n + 23*n - 265 for n.
5
Let u be (-1 - -6)*8/(-10). Let y be u/(-3)*(-1 + 20/8). Solve y = -b + 3 for b.
1
Let p be (63/(-84))/(8/36 - (-3891)/(-17388)). Solve 0 = 513*k - p*k - 60 for k.
2
Let s be 2 - (0/(-1) - 9). Let u(n) = 138*n - 127*n - 43 - s. Let b be u(5). Solve -b = -x + 3 for x.
4
Suppose -13*c + 0*c + 3185 = 0. Suppose 5*h = -30*h + c. Solve 11*o + 20 = h*o for o.
-5
Suppose 0 = 16*a + 211 + 269. Let t be (1/(-1))/(6/a). Solve -t*k + 7 = -3 for k.
2
Suppose 3 = -2*z + 11. Suppose -1017 - 849 = -552*i - 210. Solve i*v - z - 2 = 0 for v.
2
Let x(d) = d**2 + 4*d - 8. Let z be x(-6). Let i be (2/z)/(1/20). Suppose 0 = 2*c + 3*l + 1, -c = -l - 54 + 37. Solve -i*y - c = -12*y for y.
5
Suppose -a = -10*g + 11*g - 27, 4*g = 4*a + 60. Solve -25*i + 24 = -g*i for i.
6
Suppose -218*j + 10140 = -61*j - 5246. Solve -16*d = -j + 82 for d.
1
Let x(b) = 36*b + 309. Let h(a) = -12*a - 101. Let w(k) = 11*h(k) + 4*x(k). Let i be w(-10). Solve -7 - i = 3*u for u.
-4
Suppose -50 = 47*t - 49*t. Suppose 3*l + t = -2*l, 2*i - 4*l = 28. Solve -i*f = -2 + 14 for f.
-3
Suppose -68 = g - 3*g. Let b = -11 + g. Let p = -15 + b. Solve o = 3*o - p for o.
4
Let y(i) = 78*i + 470. Let n be y(-6). Solve -759*v + 760*v = n for v.
2
Let p be 4/(-2) + (-84 - -412). Let x = 328 - p. Solve -15 = -x*h - 3*h for h.
3
Let j(z) = -z**2 - 4*z + 2. Suppose g + 0*g = 4*l + 13, 4*l = -4*g - 8. Let f be j(l). Solve -4*y + f = -3 for y.
2
Let k(j) = 5*j**2 + 16*j + 3. Let g be k(-3). Suppose c + 11 = 5*t + 2*c, 0 = -3*c + 3. Suppose 2*b + 4*y - 9 = -21, t*b - 5*y - 24 = g. Solve -u - u = b for u.
-1
Suppose -q - 3304 = 7*q. Let f = -413 - q. Solve f*b - 4 = -b for b.
4
Suppose -54 = 8*h - 94. Suppose 11 = h*w - 2*m, 3*w = 4*w - 2*m + 1. Solve -w = u - 0 for u.
-3
Let a = 4498 + -4410. Solve -93*k + a*k = -30 for k.
6
Let f(b) = -3*b**2 + 39*b + 3. Let l = -124 - -137. Let v be f(l). Solve v = -3*k - 3 for k.
-2
Let f = -61 - -120. Suppose -f*a + 64*a - 25 = 0. Solve 7*l = a*l - 2 for l.
-1
Let g(m) = -3 - 18*m**2 + 9*m**2 - m**3 + 8*m**2. Let a be -5 + 10/(5/1). Let u be g(a). Solve 6*s + u = 3*s for s.
-5
Suppose -28*y + 414 = 34*y - 16*y. Solve -y = 2*f - 1 for f.
-4
Let f = -50 + 252. Let d = -197 + f. Solve d*h + 4 + 11 = 0 for h.
-3
Suppose -3*w + 3*i + 2 = -4, -w = 3*i - 14. Suppose -3*j - 5*f = -j - 16, 23 = w*j + 4*f. Suppose 3*m - 34 = -2*m - j*h, 5*h - 35 = -4*m. Solve -m*z = -z for z.
0
Let k be -6 + 7 + -138 + -2. Let b = k - -144. Solve j - 12 = b*j for j.
-3
Let f be (-336)/30*-1*15/6. Let g be f + -8 + 6 + -8. Solve 2*l + 7*l = g for l.
2
Suppose -5*y = -38*l + 36*l + 3010, -5*l - 4*y = -7426. Solve 4*g - 1510 = -l for g.
5
Let y be 23 - ((7 - 0) + -12). Let i be 4/14 - (1 + (-1000)/y). Solve i = -4*o - 3*o for o.
-5
Let x(l) = -18*l - 168. Let y be x(-10). Solve -36 = -y*r + 36 for r.
6
Let n = 6773 - 6722. Solve -n = 5*g - 46 for g.
-1
Suppose 5 = -i + 14. Suppose -70 + 80 = 5*x. Solve -x*s = s - i for s.
3
Suppose -2*y + 35 = 5*z, 3*y + 3*z + 126 = 201. Solve 2*i + y = -4*i for i.
-5
Suppose -3*x - 234 = -3*b, 114 = 2*b - x + 6*x. Solve 8*z + 10*z = -b for z.
-4
Suppose -14*w + 276 = 9*w. Suppose -2*f + 0 = 8. Let n be -1 + f + w + -3 + 2. Solve 0*l + n = -3*l for l.
-2
Suppose -3*q - 3 = -0. Let m(j) = -5*j**3 - 3*j**2 - 2*j + 4. Let w(n) = -n**3 - n + 1. Let d(t) = q*m(t) + 6*w(t). Let v be d(1). Solve v*r + 3 = -r for r.
-3
Suppose h - 2*h + 3*p = -17, 0 = 2*p + 6. Solve -19*c - 46 = -h for c.
-2
Let p(z) = -z**3 - 5*z**2 + 1228*z + 7379. Let m be p(-6). Solve -m*s + 8*s + 117 = 0 for s.
3
Suppose 21*x - 1558 = 2*x. Suppose x = 11*q + 16. Solve -3*b = 21 - q for b.
-5
Let a(o) be the first derivative of -2*o**2 + 27*o - 7. Let t be a(4). Let k(j) = -j**3 + 12*j**2 - 12*j + 13. Let m be k(t). Solve 0 = -m*v - 0*v for v.
0
Let g(z) = -z**3 - 12*z**2 + 27*z - 7. Let n be g(-14). Suppose 7*d - 8 = 20. Let r be (-42)/(-9) - d - n/(-3). Solve 0 = -r*v - 0*v + 15 for v.
5
Suppose -n = -0*n - 9. Suppose 13 + 9 = -3*c + 5*t, -5*c - 5*t - 50 = 0. Let r be (6/c*-3)/(0 - -2). Solve -n = -2*f + r for f.
5
Suppose 0 = -2*x + l + 68, 7*x + 5*l - 34 = 6*x. Solve -15*d + 41 = -x for d.
5
Let p(t) = 30*t - 4495. Let v be p(151). Solve -v = -63*i + 58*i for i.
7
Suppose -12*l + 40*l - 960 = -4*l. Solve l*o - 73 = 47 for o.
4
Suppose -3*b - 25 = -22. Let q be (10 - 108/12)/(b/(-25)). Solve q = -8*l + 3*l for l.
-5
Let l be 18/(15/5) + -1*2. Suppose -i + 3*p + 9 = 2*i, 2*i - l*p = 0. Solve o - i = 4*o for o.
-2
Let j(q) be the first derivative of q**3/3 - 9*q**2 + 19*q + 3. Suppose 2 = 2*v, -3*v - 99 + 17 = -5*a. Let h be j(a). Solve -2*d - h = -0*d for d.
-1
Let r(y) = -2*y**3 - 2*y**2 - 4*y - 3. Suppose 3*a - 3*d 