*l + 2 for t.
2
Let b(u) = u**3 + u + 2. Let f be b(0). Let g = 77 - 76. Let q be g + -5 + 4 + (-28)/(-2). Solve 5*t - q = -z, t - 22 = f*z - 7*z for t.
2
Let u(m) = m**3 + 21*m**2 + 18*m - 18. Let v be u(-20). Let z = v - 20. Solve -z*g + 0*s = -s - 2, 5*g + 5*s + 10 = 0 for g.
0
Suppose 0 = v - 2*h - 5 - 1, v + 4*h - 18 = 0. Suppose 0 = 14*t - v*t. Solve -5*a + 24 = 3*w - a, 5*a - 15 = t for w.
4
Suppose -4*r - 2 = -10. Let d be 1/r*(-4 + 12). Let l be -6 - 33/(-6)*2. Solve -d*f = 2*x - 26, 0*x = -3*f + l*x for f.
5
Suppose 18*t - 11*t - 77 = 0. Solve 2*z - 5 = 2*l + 1, 3*z - t = 4*l for l.
-2
Let v = -42 - -71. Let i = -25 + v. Solve 2*j - 2 = -i*l, -5*l - 16 = -j - 1 for l.
-2
Suppose -23 = a - 2*w, -w - 3*w - 101 = 5*a. Let u = a - -24. Solve 0 = -4*r - 0*r + 3*h + u, -5*r = -2*h + 5 for r.
-3
Let d be ((-1190)/(-98) - 13)*(-7)/2. Solve d*v - 2*t - 3*t = 15, -t - 3 = 2*v for v.
0
Suppose 2*d = -5*i - 1, -d + i + 1 + 2 = 0. Let j be 4/(-10)*(d + -12). Solve -2*k = j*b + 2*k - 8, 6 = 5*b + 3*k for b.
0
Suppose q - 4*g = 5 + 4, -4*g = 2*q + 18. Let y be ((-112)/21)/(2/q). Suppose 6*p = y*p. Solve 3*z + l = -10, -4*z - l + p*l = 13 for z.
-3
Let g = -30 + 58. Let k(r) = -r - 1. Let d(v) = 4*v + 11. Let w(s) = -d(s) - 3*k(s). Let i be w(-13). Solve -4*c = 2*y - g, -i*c + 10 = y - 19 for y.
4
Let x be 240/(-48) - 10*-1. Solve -h + x = u - 0*u, 0 = -3*u for h.
5
Suppose -q - 4 = -2*q. Let o be (-1)/(0 + q/(-68)). Suppose -5*v + o = -28. Solve 5*b - m + 29 = 0, -3*b - m - v = 2 for b.
-5
Let l be (2 + 1 - 22) + 2. Let o be (-514)/(-14) - (-4)/14. Let v = o + l. Solve -2*m - 3 = -b + 2, -5*b - v = -m for b.
-5
Let f(k) = -k**2 - 15*k + 38. Let j = -4 - 13. Let p be f(j). Solve t - 5*m + 3 = 0, 0 = p*t + 5*m - 19 + 6 for t.
2
Let z(q) = q + 7. Let d be z(-5). Suppose -3*m - x = -17, 3*x = 5*m + 1 - 6. Solve -3*v + d*f - 1 = 0, -4*v + f + m = -3 for v.
3
Let z be (-14)/49 - (-30)/7. Suppose 1 = z*b - 11. Let j be (-2)/13 + 594/143. Solve -45 = -j*f + 2*g + 3*g, 0 = -b*f - 3*g for f.
5
Let u be ((-126)/(-12))/(-21)*(-4 - 0). Solve -2*d = -u*c + 3*d - 6, 3*c = -5*d - 9 for c.
-3
Let a(f) = -f**2 - 8*f - 5. Let h be a(-7). Suppose -4*k + d - 3*d + 16 = 0, -3*k + 14 = h*d. Let y = 102 + -90. Solve -p + k*w + y = -w, 0 = 3*w + 15 for p.
-3
Suppose 5*j - d + 206 = -2*d, 5*j - 4*d = -201. Let n(o) = -2*o + 9. Let g be n(16). Let q = g - j. Solve 5*u + 4 = 3*u + 2*h, 3*u + 3*h = q for u.
2
Let d be 21/49 - 9/21. Solve d = 4*h - 5*w, 4*w = -2*h - w for h.
0
Let b = -12 + 15. Suppose 4*r - 5*v - 30 = 0, 2*v = -2*r - b*v. Solve 7 = -r*c + 3*n, -c = c + n + 5 for c.
-2
Let c(a) = 50*a + 903. Let x be c(-18). Solve -11 = x*i + 5*b - b, -b = -4*i - 21 for i.
-5
Let u be -5*(-4)/20*(-2 + 31). Suppose u = w + 27. Solve 2*c - g = -0*g - 6, -w = 4*c + 3*g for c.
-2
Suppose 0 = -i + d + 28, -3*i + 106 - 32 = -d. Suppose 7*r - i - 5 = 0. Suppose r*n - 17 + 1 = 0. Solve -n*q - 15 = 3*b - 9*q, 2*q = -b - 5 for b.
-5
Let a = -7 + -5. Let y = a + 15. Let p be -1*-1*y/1. Solve 9 = -q + w, 2*q + 5*w - 29 = p*q for q.
-4
Let s be -18*(4 + (-98)/21). Solve -4*r = -3*z + s, 2*z = -2*r + 4*r + 6 for r.
-3
Let k(y) = -y**3 - 4*y**2 - 3*y - 7. Let s be k(-4). Solve -s*c - 10 = r, 5*r - 16 = -2*c - c for r.
5
Let a = -450 + 459. Solve 4*d - 6 = 3*m, 4*d + a = 7*d for m.
2
Let a = -29 - -5. Let n = a + 24. Solve -r = n, 7 = 3*b - 3*r - 8 for b.
5
Suppose 17*q - 44 - 7 = 0. Let c = 7 + -3. Suppose -2*o = -5*p - 4, c = -5*p + q*o - 2. Solve 2*t - 3*k + 5*k = p, -5*t + 3*k + 8 = 0 for t.
1
Let x be (20/70)/((-1)/(-21)). Solve -4*k + 2*k - x = 3*y, -2*y - 4 = -5*k for y.
-2
Let t be (-12)/(-5) + -1 + 3/5. Solve -w + 0*d + t*d = -15, -3*w + 2*d = -25 for w.
5
Let f(j) = -j**2 + 5*j + 5. Let a = -11 + 19. Let i be f(a). Let k = -19 - i. Solve v + k*h = -h, -5*h = 2*v + 6 for v.
2
Suppose 0 = -4*u - 2*f + 48, 14*f = -3*u + 9*f + 36. Solve 3*y - 36 = -5*i - 4, 0 = 5*i - 2*y - u for i.
4
Suppose -8*o + 4*o + 8 = 0. Suppose -7 - 18 = -5*b. Solve -o*k + 4*h = b*h - 2, 5*k + h = -1 for k.
-1
Let w(l) = -14*l - 233. Let d be w(-17). Solve -4*p - d*b = p - 25, 3*b = 0 for p.
5
Let l(w) = -2*w**3 + 13*w**2 - 2*w. Let o be l(6). Let d = 29 - o. Solve 3*f + 6*i = i + d, 6 = -3*i for f.
5
Suppose -7*c - 22 = -71. Let s be 5/(2/6*3). Suppose 3*g = -2*u + c, s*g + 25 = -0*u + 4*u. Solve 0*j - 30 = -5*j + u*m, 15 = 5*j - 2*m for j.
1
Suppose 0 = -5*o - 7*l + 6*l + 22, 3*l = 6. Solve o*g = 3*r + 21 - 9, 0 = -2*g + 5*r + 6 for g.
3
Suppose -3*j + 4*j = 0. Let d(q) = -q**2 + 38*q - 134. Let n be d(34). Solve 0 = -z - t - 1, n = t - j*t for z.
-3
Suppose 18*i - 71*i + 212 = 0. Let b(a) = a**3 - 3*a**2 + 3*a - 4. Let m be b(3). Solve -4*w = 4 + i, 4*w + 28 = -m*y for y.
-4
Let m = 8 - 8. Let d be 15 - (0 + -2 + m). Let q = -12 + d. Solve 5*o + 5*f = 10, 4*o - q*f - 6 + 25 = 0 for o.
-1
Let f(g) = 8*g - 56. Let x be f(7). Solve -2*r - 3*r - 3*w = -13, x = 3*w - 3 for r.
2
Let f(k) = -k**2 - 9*k + 6. Let n be f(-9). Let a be n/(-15) - (-3)/(-5). Let v = a + 1. Solve v*j - g = -2*j + 3, -5*g = 3*j + 2 for j.
1
Let f be (-2)/(-4) + 33/(-6). Let n be (1/(-3))/(8/(-120)). Let r = f + n. Solve -5*v - 5*c - 20 = r, -v - 4 = -0*v + 3*c for v.
-4
Suppose 4*h - 4*x - 12 = 0, -h - 6 = -x + 3*x. Suppose -5*i + 11 + 4 = h. Suppose i*p = -0*p + 39. Solve 4*z + 3*m - 4*m - 7 = 0, 0 = -4*z + 3*m + p for z.
1
Let i(c) = -c**2 - 30*c + 58. Let r(q) = 6*q**2 + 149*q - 291. Let g(u) = -11*i(u) - 2*r(u). Let d be g(30). Solve -5*x - d*n = 7 - 28, 19 = 3*x + 4*n for x.
1
Suppose -5*d = 2*f + 10 - 27, -10 = 2*d + 5*f. Let t(n) = 2*n**2 - 2*n - 1. Let a be (1*2)/(-3 - -4). Let w be t(a). Solve -2*b = b + w*m, d*b - 3*m = 24 for b.
3
Let v(s) = s**3 + 7*s**2 - 20*s + 7. Let a be v(-9). Solve 7*w + 5*g - a = 10*w, -4*g + 20 = -w for w.
0
Let j be -61 - -65 - (2 + 0). Solve 2*k - 7 = c + 5*k, -j*c + k = -14 for c.
5
Suppose 5*l - 17 = -2*u, -2*u + u + 11 = 3*l. Solve -3*p + 9 = -8*p - w, -l*p + w = 1 for p.
-1
Suppose -68 = -4*p + 3*w, 31*p - 2*w = 27*p + 72. Solve -4*y + 3*q - 1 + p = 0, -2*q = 5*y + 5 for y.
1
Let o be 0*(-1)/(-2) + (-3)/(-1). Suppose 9 = u + o*z, 0 = 2*u + 3*z - 2 - 10. Solve -u*g - 4 = 2*v - g, 3*v + 11 = -4*g for v.
3
Let u(t) = -3*t**2 - 89*t + 128. Let j be u(-31). Solve -5*k + 7 = -4*p, j*p + 0*p - 8 = 0 for k.
3
Suppose -7 - 2 = -3*l. Let o be 1/(4/(-16) - (-2 - -2)). Let u be ((-28)/(-49))/(o/(-14)). Solve -s = u*f + 4*s, f + s = -l for f.
-5
Suppose -21 = -f - 3*s, 2*f = s - 4*s + 39. Suppose -4*l - f = -2*b, -1 = -2*b - l + 2. Solve 0 = -5*k + b*z - 15, -k - 1 = 3*z + 2 for k.
-3
Let r be 3*1 - (-9 + 7). Suppose -r = -2*q - 1. Suppose 2*u + o - q = -u, -8 = 2*o. Solve -g + x = 0, -u*x = -4*g + 5*g - 9 for g.
3
Let a(o) = -7*o**2 + o + 1. Let m be a(-1). Let c = 9 + m. Let k = 34 - 9. Solve -c*x = -x - 4*v - k, -3*v - 15 = 0 for x.
5
Suppose -11*m = s - 6*m + 20, 5*m = -4*s - 5. Suppose -14 = 2*q - 42. Solve -i + 10 = -s*g, -g - 2*i + q = -5*g for g.
-1
Suppose 51*w + 8 = 53*w. Solve -2*y + 0 = -w*k - 12, 0 = -4*y + k - 11 for y.
-4
Let u be -1 - ((-2 + 4)*-2 + 0). Solve 2 = r, u*r - 8 = -5*m - r for m.
0
Let q be 2*(-186)/248*(20/3)/(-2). Suppose -3*h = -14 + 5. Solve -h*t - 10 = -n, -3*t + 6*n - q = 4*n for t.
-5
Suppose -18 = -3*b + 3*f, -5*b + 3*f = 6*f + 2. Solve 7 = -3*j + b*y + 23, 2*y + 12 = j for j.
2
Let s = 6 + -4. Suppose 0 = x + 3*x + x. Solve -l = 5*o, -s*l = -o - x*o - 11 for l.
5
Let b(w) = -32*w + 33. Let p be b(1). Solve 3*g - p = -2*q, q - 4*q = 5*g for g.
-3
Let j be 50/13 + -4 + 882/(-13). Let m = j + 71. Solve -16 = 2*k - 4*i, 3*k - m*i = 1 - 10 for k.
2
Let d(r) = 3*r**2 + 63*r - 61. Let b be d(-22). Solve 4*x = -s - 10, 0*s + b = s - x for s.
2
Let y = 454 + -452. Solve -x - 4*k + y*k = 10, 2*k = 3*x + 6 for x.
-4
Let b = 8 + -6. Suppose -5*n - b*g = -11, -n + 5*g + 16 = n. Solve 4*j + 5*m = 36, -20 = -n*j - 0*j - 2*m for j.
4
Suppose 4*s + 122 = 2*s. Let k be (-6)/(-27) + s/(-9). Suppose 0 = 8*m - 3*m - 25. Solve 2*y + 3*t = -k, m*y - 3 = t + 5 for y.
1
Let u(g) = -g**3 - 3*g**2 + 3*g - 1. Let r be u(-4). Suppose -i - r*i = 40. Let b = -2 - i. Solve -3*a = -5*m - b, -4*a + 3*m = -2*a - 5 for a.
1
Let x(d) be the first derivative of -d**2/2 + 19*d + 5. Let j be x(15). Solve j*m +