- t = 0 for x.
0
Let r(u) = -u + 10. Let g be r(9). Let n be 2/6 - 12/(-18). Let l be (3/3 - 1)*n. Solve l = h + 1, -5*q = -4*h - g - 8 for q.
1
Let i(o) = -o**3 + 2*o**2 + 11. Let u be i(3). Solve 37*h = -5*m + 34*h + 14, 4*h + 16 = u*m for m.
4
Suppose -7*x + 98 = -6*x. Let o = x + -62. Let f be 3*-4*(-3)/o. Solve -3*k - q = 1, -2*k = -q + 10 - f for k.
-2
Let w = 10584 + -10582. Solve -5*m - 2*f = -w - 1, 3*f = 5*m - 8 for m.
1
Suppose -10*t - 8*t = -12*t + 21*t. Let u(z) = -z - 2. Let l be u(-6). Let o be (-2)/(-2) + l - 1. Solve o*v - 12 = t, 6*h - h = 4*v - 27 for h.
-3
Suppose 12 = -9*v + 3*v. Let o be (76/114)/(40/18 + v). Solve 0 = z + x - 5*x + 1, -o*z - 2*x - 17 = 0 for z.
-5
Let l = -1892 + 1896. Solve 0 = l*r - 5*d - 8, -2*r - 4*d - 22 = -0*d for r.
-3
Suppose 136*v + 5860 = 429*v. Solve 0 = 2*y + 2*q + v, y + 6*q - 4*q + 15 = 0 for y.
-5
Let p = 216 - 212. Let l be -10*(-4 - -2 - (-6)/p). Solve -4*s = l*r - 24 - 16, -2*r = 5*s - 33 for s.
5
Suppose 2*q + 6*q = 0. Suppose -3*o = -q*o - 36. Solve -4*p + 15 = -p, 2*j - 4*p + o = 0 for j.
4
Let a(v) = v**3 + 22*v**2 + 74*v + 337. Let g be a(-19). Solve 4*r + 14*f - 10*f = 24, 4*r = -2*f + g for r.
1
Let h(v) = 40*v**2 - 16*v + 15. Let s be h(1). Suppose -s*g = -5*g. Let o = -5 - -10. Solve -3*a = -3*b - b - 21, g = 2*b - o*a + 21 for b.
-3
Let q(h) = -h**3 + 7*h**2 + 11*h - 12. Let j be q(8). Let f be 63/j - 2/8. Suppose 264*b = 309*b - 180. Solve -3*t = -2*t + 4*r + 4, -f*r = b*t - 6 for t.
4
Suppose g = 3*m - 2*g - 9, 2*m = -2*g + 10. Solve -a - 3*i - 7 = -3, -4*i - 16 = -m*a for a.
2
Let q(s) = 2*s**2 - 9*s + 10. Let w be q(4). Suppose 0 = -11*v + 28 + 49. Suppose v = k + 2. Solve k*l + 15 = 5*i, 4*l = l + 2*i - w for l.
0
Suppose 0 = -3*g + 4*j - 9, 3*j + 4 + 5 = -3*g. Let v be (-13)/(-3) + g + 8/3. Solve 0 = 2*r - u + v, 5*r + 5 = 5*u for r.
-3
Let z(d) = -244*d - 243. Let y be z(-1). Solve -s = -3*b - y, 0 = -3*s + 3*b - 15 + 18 for s.
1
Let d = -24 - 12. Let c = d - -46. Let w(k) = k**3 + 5*k**2 + k. Let q be w(-4). Solve 4*y + q = -5*h, 0 = y - 2*h - c - 0 for y.
2
Let t = -113 - -115. Suppose -4*d - 5*x + t*x + 15 = 0, 5*d = 5*x + 10. Solve 2*l + g + g = -12, d*l + 8 = 2*g for l.
-4
Let t(c) = -12*c + 3. Let x be t(1). Let v = x + 9. Suppose 5*i + v = 25. Solve i*a + 2*f + 16 = 0, -10 = 5*a + 3*f + 9 for a.
-2
Let r(v) = -9*v - 6. Let c be r(-4). Suppose 751*b + 22 = 762*b. Solve q + 5*x + 30 = 0, 5*q + 3*x = b*q - c for q.
-5
Let x = 25 - -173. Let g = -198 + x. Solve 3*f = 3, f = -l - g + 5 for l.
4
Let d(v) = v**2 - 89*v + 1386. Let n be d(69). Solve 4*r = m + n, r + r = -2*m + 8 for r.
2
Suppose 105 = 5*a - 2*o, -3*a - 2 = 4*o - 39. Solve -5*v + 4*j = j + a, -v - 3*j = -7 for v.
-2
Let p(u) = -u**3 - 18*u**2 - 15*u + 36. Let f(s) = s**2 + 25*s + 49. Let n be f(-22). Let m be p(n). Solve -5*j - m*a + 25 = a, -3*j - 5*a = -31 for j.
2
Let a(f) = 81*f - 175*f + 59*f - 18. Let x be a(3). Let i = x - -133. Solve 4*t + i = 4*s - 2, 0 = s - 1 for t.
-2
Let j be (7*(65/7 - 9))/1. Solve -3*i - 34 = -5*r, 5*i - j = -2*r - 7 for r.
5
Let m(y) = 25*y**2 + 17*y + 60. Let w be m(-4). Let t = 397 - w. Solve 0 = -3*u + 5*x - 20, u + x + 16 = t*x for u.
0
Suppose 5*w + 30 = 0, -522 = -91*m + 89*m + 4*w. Solve 4*r + 4*x = -269 + m, 0 = 5*x + 25 for r.
0
Let t be ((-300)/(-1050))/((-2)/(-56)). Solve 0 = -4*a + t, 7*m + 9 = 2*m - 3*a for m.
-3
Let o be (19/((-912)/64) - 60/9) + 16. Solve 3*l = -2*w - 7, 0 = -4*w - 2*l + o - 2 for w.
4
Suppose 3*l - 5*l = w - 8, -5*w + 64 = 4*l. Solve -12*b = -x - w*b - 18, -2*x - 1 = b for x.
2
Let r(v) = -2*v + 31. Let a be r(10). Suppose -17 = -7*c + a. Solve c*g = -5*d - 36, -g = -d - 0*g for d.
-4
Suppose 67*x + 20 = 3*n + 71*x, 0 = 4*n - 5*x + 25. Solve 0 = -a - 4*b + 16, n*a - 5*b + 9 = 4*a for a.
-4
Suppose -15*k = -10*k - 20, -k - 220 = -4*s. Let y be s/21*(-15)/(-10). Solve -17 = -y*p - 5*i, -2*i + 4 = p + 2*p for p.
-2
Suppose 4*u = 5*y - 17, 0 = -2*u + 3*y - y - 6. Suppose -48*g + 295 = -137. Suppose -g = -i - u*i. Solve i*t + n - 12 = 0, 0 = -n - 0*n - 3 for t.
5
Let w(h) = 15*h**3 + 149*h**2 - 12*h - 15. Let t be w(-10). Solve -n = c + 8, 0 = -4*c - t*n + 9*n for c.
-4
Let u be ((-1337)/182 + (-4)/26)*14/(-21). Solve -5*t = 4*a - u*a + 25, -3*t - 5*a = -13 for t.
-4
Let i = -6403 - -6408. Solve 20 = i*f + 2*j, -55*f + 56*f - 17 = -3*j for f.
2
Suppose -8*m + w = -5*m - 6, 0 = 5*m - 3*w - 18. Solve 6*g = 3*g - f + 6, -4*f = m for g.
2
Suppose -t = r - 0*t - 4, -2*r + 4*t = -14. Suppose -3*u + 9 = 16*z - 11*z, -2*u = r*z - 11. Solve o - 7 = z*w - 0*o, -1 = -2*w - 5*o for w.
-2
Let i(n) be the first derivative of -n**2/2 + 9*n + 57. Let a be i(7). Let q = -7 - -14. Solve a*d - 4 - q = 3*s, 3*s - 13 = -4*d for d.
4
Suppose 7*s + 223 - 69 = 0. Let x(g) = g**2 + 27*g + 114. Let f be x(s). Solve -2*t = -n + f, -5*n + 8 = t + t for t.
-1
Suppose 23*m = 32*m - 18. Let u(z) = -z**3 - 4 - 1 + 4 - 4*z - 5*z**2. Let g be u(-5). Solve -d + 5*b + g = -m*d, 17 = -5*d + b for d.
-4
Let l(h) = 20*h + 29. Let m be l(-6). Let i be (-186)/(-21) + 78/m. Solve 3*w - i = -o, -2*o - 16 = -o - 3*w for o.
-4
Let v be 9 + (24/9)/(2/3). Solve -2 = -106*t + 105*t + a, 2*t = 5*a + v for t.
-1
Let t(w) = 14371*w + w**3 - 14376*w + 2*w**2 + 0*w**3 + 20. Let n be t(0). Suppose b = -b. Solve b = 5*d - 5*s + n, -5*s = 2*d - 0 + 1 for d.
-3
Let k(u) = u**2 + u + 3. Let z be k(0). Suppose z = v - 0. Suppose h + v*r - 16 = 0, r - 8 = -0*h - h. Solve 4*w - 36 = h*d, -3 + 15 = 2*d + 4*w for d.
-4
Let b(f) = -f**2 + 21*f - 94. Let k be b(13). Suppose -h = 3 - 17. Solve 5*m - k = -0*s - 5*s, 5*m = 3*s - h for m.
-1
Let x be 18 + -5 - (-16 + 27). Solve 0 = -x*s + 6*m - 7*m - 2, 10 = -5*m for s.
0
Let a(h) = 4*h**3 + 60*h**2 - 3*h - 32. Let c be a(-15). Let z be 2/c - 250/(-65). Solve -m + 3 = z*p - 17, -12 = -2*p - m for p.
4
Let l(i) = -2*i + 4*i + 2*i - i - 4*i - 15. Let z be l(-18). Solve 3*u + 14 = -3*m + u, -z*m - 10 = u for m.
-2
Suppose 0 = -3*z - 2*i, 0 = 3*z - 3850*i + 3846*i. Solve 5*d - 19 = 72*w - 74*w, 4*d + 2*w - 16 = z for d.
3
Let t(s) = 7*s + 5. Let o be t(7). Suppose o + 26 = 16*m. Solve 0 = 5*p - m*x - 5, -x = -3*p + 3*x + 3 for p.
1
Suppose 5*c + 17 = -3*j, 0 = -j + 4*c + c - 19. Let l = 28 + j. Suppose -4 = 18*a - l*a. Solve d - 9 = -a*i, 3*d + 0 = -2*i - 3 for d.
-3
Let a = 341 - 654. Let x = a - -317. Solve 9 + 9 = x*n - 2*z, -5*z - 9 = 2*n for n.
3
Suppose 5*k - 14 + 14 = 0. Suppose k*o - o + 7 = r, -12 = -4*o. Solve -r = -n - m, 2*n - 2*m - 6 = -2 for n.
3
Suppose -54*u + 75 = -141. Solve 0*n - 2*l = -2*n + 6, -2*l - 14 = -u*n for n.
4
Let q be 44/(-8)*(-20)/33*3. Solve c = -3*x + q, -5*c + 2*c + 3*x - 30 = 0 for c.
-5
Let f = 16 - 8. Suppose -6 = 6*s + 6. Let l be s/(-5 - -11)*0. Solve 0 = 3*b + 22 - 7, 3*g + 4*b + f = l for g.
4
Suppose 0 = -2*g - 5*i + 31, 2*g = i + 42 + 7. Solve -2*u - 5*y + g = 0, 2*u - 59 = -y - 48 for u.
4
Let y = 1757 + -1748. Solve 3*g - 3 = p + p, -3*g = -y for p.
3
Let o = 189 + -418. Let l = o + 234. Solve 5*n + l = -5*p, 6*p - 3*p - 1 = -n for n.
-2
Suppose 0 = l - 3*l + 6. Let f(z) = 0 - 3*z**2 + z**3 - 3 - 2 + 2*z + 2. Let h be f(l). Solve 4*x = 8*x + 4*o + 28, -4*x + h*o = -7 for x.
-2
Let k(v) = v**3 - 19*v - 16. Let b be k(-1). Solve b*h - 5*h = -f - 6, -3*f + 4*h - 13 = 0 for f.
-3
Let x(i) = -56*i - 46. Let h be x(-1). Let s be (-12)/h*10*8/(-24). Solve -s*f - 3*d + 8 = 0, -f + 2*d + d + 17 = 0 for f.
5
Let b(c) = -69*c - 26. Let o be b(2). Let a = o - -182. Solve -2*k - 2*p + 7 = 3*k, -2*k + 3*p + a = 0 for k.
3
Suppose -1998*s = -1997*s - 4. Solve 0 = s*v - 4*k + 12, 2*k - 15 = -5*v + k for v.
2
Suppose 0 = -q - 21 + 77. Suppose 2*i - 60 = -q. Solve -4*u = -z + 3, -5*u + i*z - 1 = -2*z for u.
-1
Suppose -4*b - b - 2*w = -41, -4*b + 5*w = -46. Suppose -5*u = b*u - 196. Solve 0 = 2*j + 5*h + u, 2*h = -j - h - 8 for j.
-2
Let f = 36279 + -36215. Solve 1 = -i + 2*p, f*p = i + 63*p + 2 for i.
-3
Let z be -1*(-5 + (-22)/(-4))*-136. Let t = z + -63. Solve 3*a - 5 = 2*h, -t*h - 8 = a - 4*a for h.
-1
Suppose 0 = 8*d + 10 + 22. Let y be 0*d/(-64)*4*2. Solve y = 5*b - 3*i + 17, -3*b = b - 2*i + 14 for b.
-4
Let k = 15533 + -15529. Solve -74 = -l + k*y - 65, 9 = -3*y for l.
-3
Let y be 134/12 - 25/(-30). Suppose 0 = -4*i + 8, -5*r 