 - 3*y = 15. Let i be 7/y - 2/3. Let s be c(i). Solve -t - 3*j + 2 = 0, 0 = s*t - 3*j + 5*j for t.
-1
Let x = -6 + 22. Suppose -5*u - 11 = -4*r - 32, 0 = -3*u - r + x. Solve 0 = -o + u*l, 0*o + 2*o - 12 = -2*l for o.
5
Let u = -7 - -13. Let m be (-1)/2 - (-123)/u. Solve 4*z = -2*q + 3*q + m, 4*z = -4*q for z.
4
Let y be 1/((-1)/4 + 63/140). Solve o + 24 = 4*c, y = 3*c - 10 for o.
-4
Suppose 3*m = -5*l + m + 15, -3*l = -3*m + 12. Let b be 4/(-4) + 7/l. Suppose -2*t + b = -0*t. Solve -2*y - 31 = 5*q, 5*q - t*q - 2 = 4*y for y.
-3
Let q(i) = 7*i + 1. Let a be q(1). Let d = -6 + a. Solve -3*c - d*c - t + 7 = 0, 0 = t - 2 for c.
1
Let p(r) be the first derivative of 2 + 1/2*r**2 + 12*r. Let z be p(-8). Solve 5 = -d + 3*v, -2*d - 11 = -5*d - z*v for d.
1
Let n be (1 + -5)*(225/36 + -7). Let u = -5 - -8. Solve 2*f + 6 = 0, -2*c + u*f + 6 = -n*c for c.
3
Suppose -3*t - 2*t = 0. Suppose 2*s = -t*s + 14. Let v = 9 - 7. Solve 3*q = 4*h - 0*h - s, v*q + 2 = 0 for h.
1
Suppose -2*x - 8 = 0, 56 = 5*f - 0*x + x. Suppose -4*z - f + 76 = 0. Solve 5*n - 3*k = -0*k - 20, -4*n + 4*k = z for n.
-4
Let l be 15*(3 - (-6)/(-9)). Suppose -4*i = i - l. Solve p + 3*k = 11, 2*p - i*p = 2*k - 29 for p.
5
Let a(z) = -z - 44. Let s be a(0). Let j = 64 + s. Suppose 4*r - r + g = -4, -r + 5*g = -j. Solve -t + 3*b + 11 = r, 7 = 4*t - 2*t - b for t.
2
Let o be 80/12 - 2/3. Let d = o + -3. Solve 22 = 2*l - 4*w, -2*l + 0*l - 13 = d*w for l.
1
Let g = 74 + -48. Solve 2 + g = 4*u - 4*r, 0 = -5*r - 15 for u.
4
Let f(r) = -14*r. Let y = -6 - -6. Let c(t) = t**2 + t - 2. Let l be c(y). Let i be f(l). Solve -2*p - i = 4*g - 4*p, p = -3*g - 11 for g.
-5
Let i be (-6)/4*(-8)/3. Solve 0 = 2*v + 2*u + i, 3*v - 8*v + u + 2 = 0 for v.
0
Let x = -204 - -206. Solve 2*v + 2*b + x - 4 = 0, 3*b - 3 = v for v.
0
Let j(h) = 2*h + 19. Let i be j(-7). Solve -21 = -i*c + 4*l - 3, 0 = 2*c - 3*l - 10 for c.
2
Let i = 26 + -14. Let d be (-10)/(-4)*i/10. Suppose -j + 6 = 2*j. Solve v - d*v + 5*r - 27 = 0, -j*r + 15 = -5*v for v.
-1
Let t be 2 + (-1 + 3)/2. Suppose p = t - 0. Solve 4*k = -p*d - 13, -5*d - 5*k + 3*k - 3 = 0 for d.
1
Suppose -44 = -8*f + 4*f. Let b(w) = w**3 + w - 2*w**2 + 3*w**2 + 0*w**2 + 3. Let c be b(0). Solve 3*g + 4 = -f, -c*y + g = -17 for y.
4
Suppose 3 = 3*y - 3. Suppose -y*t + 2 = -t. Solve 5*m - 5*w + 15 = 0, 5*m + 3*w - 25 = -t*w for m.
1
Let o be (-1 + 0)/(1/14). Let l be (-1 - 1)*o/7. Solve -d - 2 = -4*z, 6*d + l*z = 4*d - 4 for d.
-2
Let c be (-12)/(-30) + (-3)/(30/(-26)). Suppose -3*f + 8 + 4 = 0. Solve o + 1 = -g, -c*g + f*o - 12 = -2 for g.
-2
Let q be -4 + 3 - (-8)/1. Let a = 11 - q. Solve -6*u + 4*u = 3*o + 9, 2*o + a = -2*u for o.
-5
Suppose -8*s + 0*s = -40. Solve 2 = i, z - s*i + 6 = -i for z.
2
Let j be 6 - -3 - (-3 - -1). Suppose -4*g - 5*u = -g - j, -10 = -3*g - 4*u. Solve 2*x + 6 = 3*b, -4*x - 14 = 4*b - g for b.
0
Suppose d - 6 = -2. Suppose 0 = g - 5*f - 14 - 15, -2*g + d*f = -28. Solve -q + 6 = g*s, 2 - 11 = -2*q - 5*s for q.
2
Let h(f) = -5*f**3 - f**2 + 4*f - 1. Let u be h(-2). Solve 4*n = -5*i + u, n = 4 - 1 for i.
3
Let a(w) = w**3 - 13*w**2 - w + 18. Let g be a(13). Solve 5*p = -s + 15, g*s + 2*p + 3 = 9 for s.
0
Let n(g) = -g**2 - 9*g - 7. Let p be n(-8). Let i(w) = w**2 - 8*w + 3. Let c be i(9). Let h be p*3*40/c. Solve 2*l + 4*f - 4 - h = 0, -2*l + f = 6 for l.
-1
Let m(v) be the second derivative of v**3/6 + 4*v**2 + 3*v. Let r be m(-6). Solve -5*h = 2*p + r, -4*h - 2 = -2*p + 14 for h.
-2
Suppose -10 = -4*w + 2. Let i = -1 + w. Solve -2*q + 0*x - 6 = i*x, -9 = -2*q + x for q.
2
Let c be 12/10*5/(-2). Let t be c*((-25)/3)/5. Suppose g - t + 1 = 0. Solve 4*h + g*z - 2 = -26, -4*h = z + 9 for h.
-1
Let n be 49 + ((-6)/(-3) - -1). Solve 3*d - n = -5*q - 12, -3*q = -d - 10 for d.
5
Let l be 2*(1 - (-6)/4). Suppose -o + l + 5 = 0. Solve -5*q = -o, 5*u - q = -1 - 6 for u.
-1
Let m(f) = 3*f**2 + 56*f - 17. Let r be m(-19). Solve -5*u + 5 = -2*j - 1, 0 = -4*u - r*j + 12 for u.
2
Let j = -47 - -52. Solve -5*r + 21 = j*v - r, 0 = -3*v + 4*r + 19 for v.
5
Let p(h) = -h**3 + 6*h**2 - 3*h + 8. Let i be p(6). Let o be i + 2/4*0. Let l = -5 - o. Solve l*d - 2*d = -3, 3*x - d = -5 for x.
-2
Let u be 0/(0 - (3 - 0)). Solve 3*n - 3 = -q + 6*q, u = 3*n + 2*q - 3 for n.
1
Let l(q) = q - 13. Let x be l(15). Solve o - 3 = 2*v, x*o + 24 = -5*v - o for v.
-3
Let r(j) = -j**3 + 8*j**2 - 6*j - 1. Let y be r(7). Let s be y/(-4)*12/(-9). Solve 5*o + 23 = -s*i, 3*i + 20 = -5*o - 2*i for o.
-5
Suppose -14 = -3*o + 4*p - 2*p, p = -2*o + 7. Solve 7 + o = -4*b - 5*l, -4*l = 3*b + 8 for b.
-4
Let i be (-2 - -3)/(4/20). Let r = i - 5. Solve -5*g = -s - 2*s + 17, r = 3*s + 5*g + 23 for s.
-1
Let v(n) = n**3 - 5*n**2 - 6*n + 6. Let t be v(6). Let o = 9 - t. Solve 4*y - 22 = -2*h, 0*y + 4*y + o = 3*h for h.
5
Let f = 3 - 1. Suppose 0 = -f*h - 0 + 8. Solve -h*s = s - 2*m + 4, 2*s - 5 = 3*m for s.
-2
Suppose -q = -0 - 3. Let n be (9 - q) + (-2 - -1). Solve j = n*o + 15, -4*j - 3*o - 31 = -9*j for j.
5
Let s(x) = x**3 + 2*x**2 - x + 1. Let d = -9 - -7. Let c be s(d). Solve -k + c*k - 8 = 2*i, 0 = k - 2 for i.
-2
Suppose 0*w - w = 0. Solve 5*s = -h - 9, -2*s - h + 2 - 5 = w for s.
-2
Let n(i) = 3*i + 1. Let v be n(1). Let z = -5 + 7. Suppose 2*c = -3*b + 4, c = -0*b - 3*b + z. Solve 0*f + 12 = -2*f - v*r, -r + 3 = c*f for f.
4
Suppose 4*u = x + 16, u - x - 3*x + 11 = 0. Solve 0*j + 2*j - 2*s = -6, u*j = 2*s - 3 for j.
1
Let y = 18 - 16. Let a be -1 - (-12 - 2)*1. Solve -2 = -y*g, -g = 3*l + g + a for l.
-5
Let m be ((-2)/8)/((-1)/12). Solve -m*w - 4*b = -6, 2*b - 3*b = -2*w + 4 for w.
2
Let f be ((-8)/(-16))/(1/2). Solve 2*d + 3*u - f = 4*u, 14 = -2*d - 2*u for d.
-2
Let w(i) = -i**3 + 7*i**2 - 6*i + 2. Let x be w(6). Let q be x*-1 + (-45)/(-5). Solve -14 + q = 3*a - p, a - 3 = 3*p for a.
-3
Let p be (-1 - (-3 + 2))*-1. Let w be 5 - (p + -3 + 7). Solve y - w = f, -6*y + 7 = -3*f - 2*y for f.
3
Suppose 17 + 3 = 5*r. Suppose r*n - 10 - 6 = 0. Let z = -68 + 100. Solve -w + n*a + 13 = 0, 3*a + 2*a = -4*w - z for w.
-3
Suppose w - 5 = 0, 3*v + 6*w - w - 34 = 0. Solve z = c + 2, v*z + c = -2*c for z.
1
Let b(k) = k - 14. Let o be b(0). Let s = -3 - o. Suppose -3*a - 5*j + s = 0, -2*a - j = 2*j - 7. Solve 0 = 2*y - a*p + 8, -5*y + 3*p - 4 = 16 for y.
-4
Suppose 2*d + 1 = 11. Suppose 9*o - 12 = d*o. Solve 22 = u + 3*u - 5*f, 5*u - o*f = 21 for u.
3
Suppose 3*h + 4 = -4*d + 1, h + 1 = -2*d. Let c = h - -4. Let x be (18/(-15))/(c/(-10)). Solve 4*a = -4*l + 3 + 21, x*l - 29 = -5*a for l.
1
Let b(l) = -l**3 - 4*l**2 - l + 4. Let c be b(-4). Solve -5*w + q + 16 = 0, 5*q + 20 = c*w - 3*w for w.
3
Let o be 8*(-2 + 5 + -2). Suppose 59 = 4*b - d, -51 = -3*b + 2*d - o. Solve x + 2*n - 9 = -2*x, 3*n = -5*x + b for x.
3
Let g be 2/3 - 16/(-12). Suppose -2*j + 30 = 3*i, -g*i = j - 6 - 15. Let w = -2 + 2. Solve 4*c + 4*l = i, w = -3*l - 2 - 4 for c.
5
Suppose -i = -3*i - 2*b + 4, 4*i - 8 = 4*b. Solve i*f = -f + 5*q + 26, -5*f - 4*q = 6 for f.
2
Let f be 2 - (0/(-1) - -3). Let b(r) = 23*r**2 - 1. Let k be b(f). Solve 5*o - 4 + 15 = -4*m, -k = -2*o + 5*m for o.
1
Suppose -2*j - 4*l + 2*l - 4 = 0, 0 = j - 5*l + 26. Let s = -2 - j. Let a = -7 - -11. Solve -m + 4 = -s*f, f + m - a = -0*f for f.
0
Let j be (8/(-6))/(4/(-6)). Suppose -4*z = -3*x, 14 = -j*x - 0*z - 2*z. Let k = 11 + x. Solve -k*t = -3*t - 2*q - 24, -20 = -2*t + 3*q for t.
4
Let p(t) = 19 - t**3 - 3 + 7 + 0*t**3 + t + t**2. Let b be p(0). Suppose -b = -5*c - 3. Solve 1 = -4*g + c*q - 7, 6 = -2*g + 4*q for g.
-1
Suppose 16 = 5*p + g, 3*p = -7*g + 2*g + 14. Solve -5*c = -2*s - 3, -3*c = -p*s + 5*s + 11 for c.
-1
Suppose t - m + 0 = 9, 4*m + 16 = 0. Suppose 4*g - 2*g = 3*s - 50, -t*s - 3*g + 77 = 0. Solve 3*p + 0*p + 2*o = -s, 7 = 4*p - 3*o for p.
-2
Let x(z) = -z**2 + z + 14. Let f be x(0). Let l = f - 10. Solve -l*s = -7*s - 3, -5 = 2*i - 3*s for i.
-4
Let c(x) = -x**3 + 37*x**2 + 39*x - 38. Let f be c(38). Solve 4*v - 5*y - 27 = 0, -2*v = -f*y - 3*y - 15 for v.
3
Let n be (-2)/(0 + 1/(-2)). Let a be -5 + 3 + 4*1. Let h = -53 - -60. Solve -5*y - n*c = -12, -h = -a*y + 5*c + 11 for y.
4
Let l(p) = 94*p - 4. Let a be l(3). Suppose 0*u + u - 4*h = -78, 0 = 4*u + h + a. Let d be u/(-4) + 2/(-4). Solve -5*z + 4*o = -d, z - 5 - 2 = 2*o for z.
1
Suppose -2*m - 