 for s.
3
Let x = 235 - 233. Solve 3*f - 5*d - 3 = 0, -x = -2*f - 4*d - 0 for f.
1
Let w = 50 - 50. Let x be (w + -1 + 1)/(-4). Solve x = 2*d - 4*g + 18, 25 = -0*g + 5*g for d.
1
Let r be -1 - 1 - 9/((-81)/36). Let y be 1*(1 + 2) - -2. Solve 0 = 5*d - y*q + 15, q = 4*d + 2*q + r for d.
-1
Let q be 2/(-3)*30/(-4). Let x be (12 - 10)/2*5. Suppose -4*c = 2*l - 58, 2*l - 77 + 3 = -5*c. Solve -3*s + x = -2*r + 10, 4*s - q*r + c = 0 for s.
1
Suppose -5*x - 87 = -h - 0*h, -57 = 3*x + h. Let s = x + 28. Let k = s - 6. Solve b = -4*b - 4*y - 10, 2*b = k*y - 4 for b.
-2
Suppose 3*y + 5*g = 35, -3*g = -5*y - g + 17. Suppose y = 2*a - 5. Solve -3*k + 4*k = 3*p + 9, -5*p + a*k - 25 = 0 for p.
-2
Suppose 0 = -9*c + 4*c + 45. Let b be ((-8)/(-9))/4 - 2/c. Solve 3*v + 3*y = -15, b*y - 5 = -2*v + y for v.
0
Suppose -m - 4*u = -10, -2 = 2*m - 3*m - 2*u. Let w = 4 + m. Let s be ((-4)/(-3))/(w/(-3)). Solve a - s*b + 6 = -0*a, 2*b = -3*a + 6 for a.
0
Let q be (0 - (-2 - 0)) + 16/8. Solve 0 = 4*f - 4, q*y + f + 3 = 4*f for y.
0
Suppose -5*c = -37 + 7. Suppose 5*q - c*q = 0. Solve -3*v - 2*u = -v + 10, q = 4*v + 3*u + 16 for v.
-1
Let i(v) = v**2 + 9*v + 9. Let r be i(-8). Let h be 2*(3 + (0 - r)). Solve 12 = -4*k, -3 = 7*p - 2*p - h*k for p.
-3
Let r be 2/2 - (14 + 5). Let a = 22 + r. Solve -j - a*z = 11, 5*j + 3 = 2*z - 8 for j.
-3
Let g be 3/((-204)/(-24) + -7). Solve -7*y + 4*l = -4*y + 8, 6 = -g*y + 3*l for y.
0
Suppose 3*y = -0*y + 3*n + 135, -n - 135 = -3*y. Let o = y - 38. Solve -3*m + 20 = k + o, 5*m - 19 = -k for k.
4
Suppose -3*k = 5*c + 6, -28*c = -32*c + 3*k + 6. Solve c*r + 20 = 4*r - l, -2*r = -3*l - 10 for r.
5
Let v = 21 + -11. Suppose 5*m + 3*x = 4, -x + v = -4*m + x. Let w = m + 3. Solve d = -2*d - 6, w*c = 2*d + 2 for c.
-1
Let g be 4 - 0/((-4)/(-1)). Suppose 10 = d + 7. Solve 2*n + g = 0, -d*c = -4*n - 0 - 2 for c.
-2
Suppose -6*h + h - 2*u - 402 = 0, 144 = -2*h - 5*u. Let b = -77 - h. Solve -2 = -3*v + 4, x - 11 = -b*v for x.
1
Let s = -1 - -3. Suppose 0*u + i + 8 = u, s*u = i + 13. Solve v + 4*v = u, -4*v + 20 = 4*y for y.
4
Suppose -2*f = -h - 5, -f + 8 = -2*h + 7*h. Let b be 63/18 - h/(-2). Solve 3*o + b*d - 19 = 6*o, -d = -4 for o.
-1
Let j(u) = 2*u - 20. Let o be j(9). Let a be 1*2 + o + 6 + -6. Solve -4*i - 4 = -0*n - 2*n, a = -3*i for n.
2
Let c(f) = 3. Let m(h) = h + 8. Let b(r) = 17*c(r) - 6*m(r). Let p be b(0). Solve -p*q + 5*i = -27, -2*q + 6 = q + 2*i for q.
4
Suppose -58*s + 61*s = 6. Solve -6*n = -4*n + 2*l - 12, -3 = s*n - 3*l for n.
3
Let b = 95 - 89. Let i(n) be the third derivative of -7*n**4/24 - 2*n**2. Let t be i(-3). Solve -3*l + 5*k + t = k, 0 = 2*k + b for l.
3
Suppose -5 = 5*g - 0, -3*n + 57 = -3*g. Let p(k) = -k**2 + 19*k - 15. Let h be p(n). Solve 5*w + 0*w = i + 27, 0 = h*i + 2*w - 4 for i.
-2
Suppose 0 = -c + 1 + 1. Let a be (-2 - -2)/(4/2). Suppose -5*g + 10 = -5*r, a = c*g - r - 4*r + 2. Solve -4*t + 14 = -2*d + d, -g*d - 8 = -4*t for t.
4
Suppose -6 + 6 = 3*q. Let g be (q + 2)/(8/12). Solve -7*s - 17 = -2*s - g*a, 5*a + 25 = -5*s for s.
-4
Suppose -3*f + 2*j + 22 = 0, -20 = -3*j + 7*j. Suppose 10 = 2*t + n + 1, 4*t - f*n = 36. Solve -m + 4*m + 15 = -4*w, -3*m - w = t for m.
-1
Suppose -3*l + 14 = 4*v - 4, v - l - 1 = 0. Let k(r) = -r**2 - 32*r - 205. Let j be k(-9). Solve -u = -j*o + 2 - 4, -v*o = u + 8 for o.
-2
Let m = 4 - 1. Let z = 5 - -1. Suppose -4 = 5*u - z*u. Solve u*r + 3*q = -2, -r - m*q - 3 - 2 = 0 for r.
1
Suppose -4*w + 37 = -11. Suppose 8*i - 12 - w = 0. Solve i*p + 4*c = -4, p - 6 = -0*p - 5*c for p.
-4
Suppose 0 = -0*j + j - 5. Let g be (0 + -2 - -89) + 0/(-2). Suppose 5*f - g = -b - 30, -3*f + j*b = -23. Solve 3*c = -s + 15, 5*s = -5*c + 24 + f for s.
3
Let y = -9 + 12. Let d be ((-36)/(-3))/2 - y. Solve c = d*k - 5, -3*c - k - 17 = -8*c for c.
4
Let b be ((-8)/6)/(-3 - (-22)/6). Let h(r) = -2*r**3 - 2*r**2 + 5*r + 7. Let g be h(b). Solve -6*f + 2*f - 5*v = -g, 4*v = -2*f - 2 for f.
5
Suppose 23*s + 15 = 28*s + 3*g, -g = 0. Solve 8 = -4*f - s*n, -2*f + 13 = 5*n + 3 for f.
-5
Suppose 3*a - 11 = -k - k, 5*a - 17 = -3*k. Let r = -21 - 21. Let y = -37 - r. Solve k*p - 2*q - 26 = 0, y*p + 3*q - 19 = q for p.
5
Suppose 8*d - 7 - 17 = 0. Solve -5*i - 4*z + 3 = 0, 0*z = i + 2*z + d for i.
3
Suppose -3*j - 16 = 8. Let h be 7 + (-12)/(j/2). Let b be ((-1)/(-3))/(3/45). Solve -3*o + 6 = 5*w - 4, -b*o + h = 5*w for o.
0
Let x be ((-21)/(-28))/(5/4 - 1). Suppose -2*f + 0*f = 3*z - 53, 5*f = z + 5. Solve -p - p - 20 = 4*j, z = -x*j + 3*p for j.
-5
Let s be 3 + ((-63)/(-9) - -16). Solve 5*p - 1 + s = -3*k, -2*p + 4*k = 10 for p.
-5
Let o(h) = h**3 - h**2 + 4. Suppose 9*f = 3*f. Let q be o(f). Solve -27 = 3*c - 4*u, -2*c - u = -q*c - 13 for c.
-5
Let s = -3 + -3. Let i(c) = c**2 + 6*c + 13. Let q be i(s). Let x = q - 9. Solve 0 = 3*k + p - 10, -2*k - 6 - x = 4*p for k.
5
Let f = 27 - 39. Let r(w) = -w**2 - 11*w + 17. Let a be r(f). Suppose -5*k = 2*d - 25, 2*d + 5 = -a*k + 6*d. Solve -o = m + 6, m - k*o = -m + 13 for m.
-1
Suppose -8*b + 10*b - 16 = 0. Let d be -1*0*4/b. Suppose 4*m - 18 - 10 = d. Solve t - 9 = -0*q + q, -2*q + m = 3*t for q.
-4
Let k = -267 - -270. Let h(v) = -v**3 - 2 + 2*v - 1 - v**3 + 3*v**3 + 5*v**2. Let r be h(-4). Solve r*t = -2*p + 26, -3*p + 16 = k*t - 5 for p.
3
Suppose -24*y + 130 = 2*y. Solve -m + 11 = y*q, q = -m + 3*m for m.
1
Let j be 0 + (-12)/(-30) + 16/10. Let b be 0 - (j - 2)*-1. Solve -3*t - 4*h - 20 = b, h - 6 = 5*t - 3*t for t.
-4
Let c = -387 - -391. Solve -45 = c*j - 5*f, 4*j + 35 = -j + 2*f for j.
-5
Suppose -4*j - j = 40. Let a be j/(-3) - (-8)/(-12). Suppose -a*k + 0*k = -10. Solve -4*n - 2*u = 14, 0 = -3*n - 3*u - 20 + k for n.
-2
Suppose 39 + 96 = 45*q. Solve 26 = 4*w - 5*f + q, 0 = -3*w - 5*f - 9 for w.
2
Suppose -2*p - 8 = -6, 0 = 5*x - 2*p - 77. Solve f + 4*s + s - 13 = 0, -5*s + x = 0 for f.
-2
Let b(z) = 5*z - 13. Let u be b(-7). Let o be 1*(u/(-20) - (-6)/10). Solve 2*q = 2*y + 4, -o*q + 6*q + y = -14 for q.
-3
Suppose -4*s - 3*q + 2*q = -12, s - q - 8 = 0. Solve -5*u + 10 = 2*d, -5*u + 0*d - s*d = -20 for u.
0
Suppose -85*t - 10 = -90*t. Solve 0 = -5*q + 2*y - 16, q + 4*y = t*q + 14 for q.
-2
Suppose -6*d - 51 = 33. Suppose 3*h = -0*h - 33. Let n = h - d. Solve v + n*t = 4*t, 0 = v + 5*t for v.
0
Let v(x) = -x + 11. Let w be v(6). Suppose -16 = -d - 3*d. Solve 0 = 2*h + c - 1, -d*h - 8 + 1 = w*c for h.
2
Let i(q) = q**3 - 3*q**2 + 4. Let a(t) = -t**2 + 3*t + 3. Let m be a(3). Let r be i(m). Let x be (-3 + r/3)*-3. Solve 2*p + 3 = x*c + 1, 3*p = -5*c + 22 for p.
4
Let i(y) = -9*y**3 + 5*y + 3. Let f be i(-2). Let c be (4/5)/(26/f). Solve -3*k - 4 = 2*p, 6*p - c*p = 5*k - 30 for p.
-5
Suppose -5*g + 3*g - 4 = y, -2*y = -2*g + 32. Let l be (-5 - -5)/(1/(-2)*-2). Let j be ((-4)/y*l)/(-2). Solve j = -4*q - 3*b + 8 + 11, -b = 4*q - 9 for q.
1
Let j(v) = -v + 2. Let y be j(2). Let o(p) be the first derivative of -p**3/3 + 2*p**2 + 5*p + 5. Let f be o(4). Solve -2*c = -0*c + f*g - 5, y = -g - 1 for c.
5
Let k be (-103 - -102)*(-1 - 2). Solve -4*l - 6 = k*a, a + 4 = -4*l - 6 for l.
-3
Let b(a) = -a**3 + 14*a**2 + a - 10. Suppose 2*c - 10*c + 112 = 0. Let g be b(c). Solve d = -x, -x + 4*d = -g*x + 2 for x.
-2
Suppose -b + 5 = 0, -23*b + 19*b + 4 = -2*m. Let g = 8 - 5. Solve m = -g*h + 4*r + 28, 3*h - 5 = r for h.
0
Let w = -1268 - -1273. Solve -w = -3*u - 2*u, -5*f - 3*u - 12 = 0 for f.
-3
Let s be -6*(-6 + 279/54). Solve -s*k - 2*r + 20 = -0*k, 4*r = -k + 22 for k.
2
Suppose 5*l + 2 + 9 = -q, 3*l + 71 = 4*q. Suppose -6*t = -178 - q. Let k = -28 + t. Solve 4*i - 19 = -s + 1, k*s + 3*i = 15 for s.
0
Let c = 10 - 8. Let l be 5*(2 - (c + -1)). Solve l*w = -25, -2*o = 5*w - 10*w - 15 for o.
-5
Suppose 4*q + 8 = -o, -q + 6*q = o - 10. Let j(x) = -x**3 + 8*x**2 - 3 - 1 + 2 + 4. Let c be j(8). Solve -c*d = -o*d + a - 12, 0 = d - 3*a + 1 for d.
5
Suppose -4*s - 116 = 4*m, 2*s - 3*s - 17 = -3*m. Let x = -20 - s. Solve -z + 2 = a, -4*a - 4*z = -x*a - 20 for a.
-2
Suppose 0 + 35 = -5*u. Let w = u - -13. Suppose -i - 16 = -5*x, i + w*x - 24 = x. Solve 2*h = 5*h + i*p + 3, -19 = 2*h - 3*p for h.
-5
Suppose 3031*u = 3009*u + 110. Suppose -3*k + 22 = -59. Solve -5*a - u*g = -3*g - k, 4 = 4*g for a.
5
Let q(p) = p + 10. Let u be q(-10). Let i be (u - 12/(-8))*2. Suppose -5*x - v =