- 3*g + 25 = 0 for c.
2
Suppose 5 - 4 = c. Solve p + 24 = 2*y + 3*y, p = c for y.
5
Let d(w) = 3*w + 2 - 7*w - 3*w**2 - 2*w + 2*w**2. Let i be d(-6). Solve -i*j + 3*h = 10, -9 + 2 = j - 2*h for j.
1
Suppose 3*d + d + 4 = -4*g, -2*g + 3 = d. Solve -3*y - 2*h + 5 = -h, -h + 6 = g*y for y.
1
Let j be ((-12)/(-8))/(2/4). Suppose 49 = -j*b - 2*u, -4*b + u - 54 = -2*u. Let k be (-6)/b + 36/10. Solve 5*d + 2*o + 2*o + 37 = 0, 2*d + k*o = -22 for d.
-5
Let r = -8 - -13. Suppose g + 3*g - 8 = 0. Let p be ((-12)/(-5) - g)*10. Solve -2*n = -p*d - 26, r*n + 20 - 45 = 2*d for d.
-5
Let p = 7 + -4. Solve -2*x - 5*j = p + 14, -15 = 5*j for x.
-1
Let h(i) = 4*i**2 + i - 2. Let f be h(1). Solve 2*d + 2*d - 3*t = 5, -t = -f*d + 5 for d.
2
Let c be (-8)/(-32) + 41/(-4). Let o = 15 + c. Solve 4*x + o = 3*y, -2*x = -0*y - y + 3 for y.
-1
Suppose -i + 0*i = -4. Solve -b = b - i*g - 24, 2*g = -2*b for b.
4
Let t = -63 - -65. Solve d + t = -f, 5*d = 2*d - 5*f - 16 for d.
3
Let t be ((-28)/(-35))/(4/230). Let n be (-4)/14 - t/(-14). Solve 3*c = -1 - 11, -4*c = -n*i + 7 for i.
-3
Let k(x) = -3*x - 79. Let r be k(-28). Solve -a + r*d + 11 = 3*a, 2*d + 8 = -2*a for a.
-1
Suppose 5*j + m - 43 = 0, 0 = 4*j - 4*m - 16 - 4. Solve d = -3*s - j, -s + 2*d + 0 = 12 for s.
-4
Suppose -5*j - 7 = 38. Let t = j + 12. Solve -15 = -3*g, t*s - 7*g + 3*g = -11 for s.
3
Suppose 8*h = 11*h. Solve -5*c = -4*a - 24, h*a + a - 19 = -5*c for c.
4
Suppose -t = 3*t - 2*w - 22, 3*w = 3*t - 24. Suppose -35 = -t*y - y + 5*f, -4 = y + 3*f. Let q be 0 + 22 + (-1 - -2). Solve y*c + o + q = 2*o, -6 = -2*o for c.
-4
Let x(s) = s**3 - 4*s**2 - 11*s - 1. Let v be x(6). Solve v*a - 3*y = -35, -4*y + 48 - 8 = -5*a for a.
-4
Let c = -6 - -3. Let t be (-1)/(-3) + (-8)/c. Let j(k) = 4*k**2 + 2*k - 1. Let u be j(1). Solve -5*f + 4*l - 3 = 2, t*l - 10 = u*f for f.
-5
Suppose -6*b + 14 = -4. Solve 3*u = -4*y + 2*u, -3*u = b*y - 9 for y.
-1
Let v be 6/(-2)*(-3)/3. Solve -t = 0, u + v*t - 6*t = 0 for u.
0
Let m(w) be the third derivative of -w**5/60 + w**4/24 + w**3/2 + w**2. Let b be m(0). Let z be (-1)/b*0/2. Solve 5*s = 10 - z, 4*j + 4*s = 12 for j.
1
Suppose -4*i = 2*m, 4*i - 3*i + 4*m = -14. Solve -17 = 3*g - i*l, 2*g - 4*l = -l - 18 for g.
-3
Suppose -4*r = -5*q - 36, 2*r + 4 = -5*q - 8. Solve 5*j + 5*w + 15 = 0, 4*w = 2*w + r for j.
-5
Suppose 2*s - 9 = 1. Let q = -2 + s. Suppose 0 = -3*p - b + 21, 0*p - b + 5 = p. Solve p = q*n - 4*k, -5*n - 2*k + 4 = -4*k for n.
0
Let o(u) = u**3 + 11*u**2 + 8*u + 4. Let b be o(-10). Suppose -b = -2*s - 4*p, -s + p = -p + 8. Solve 3*q = g - 5, 4*q - s*g + 20 = 2*g for q.
0
Suppose 0 = -3*t - 12*t. Let m be 4/(2 - (-1 - -2)). Let k = 4 - 2. Solve -m*a + k*u - 3*u - 23 = t, 0 = -a - 3*u - 14 for a.
-5
Suppose 8 = 3*t - t. Let g = 8 - t. Let z be (g - -1)*(4 - 3). Solve 0*a + 2*a - z*w + 21 = 0, 5*w = a + 23 for a.
2
Suppose 2*v + 5*p = 3*p - 10, 5*v + 3*p + 15 = 0. Suppose 0 = f + 2*m + 8, -4*f + 2*m = m - 13. Solve 3*o = -o - 3*c - 5, v = -f*o - c - 1 for o.
1
Let u = -1 + 1. Suppose -a + 0 = -1. Let i be 3 + (a + -3)/2. Solve u*y = i*y + 2*r - 2, 5*y + r - 5 = 0 for y.
1
Suppose 4*x = 9 - 1. Solve 3*h - x*d + 33 = 13, -4*h - 32 = -4*d for h.
-4
Suppose 0 = -3*q + 3 + 27. Let w(p) = p**2 + 5*p - 9. Let h be w(-7). Solve 0 = -5*t + h*v - q, 2*t + 4*v + 2 - 10 = 0 for t.
0
Let z be (0/(4/(-2)))/(-1). Suppose 0 = -x - x + 4. Suppose r + 4*w - 2 = w, 0 = -x*w. Solve b + z*b = 5*n - 18, -b + 10 = r*n for n.
4
Let f be 3*4/42 - (-24)/14. Solve -5*r + 25 + 8 = 4*y, -14 = -f*r - 2*y for r.
5
Suppose 8*o - 3*o = 90. Let p be (-4)/o + (-87)/(-27). Solve -2*t + n + 5 = 0, p*n + n - 5 = 3*t for t.
5
Suppose 2*m - 1 = 3. Suppose -4*a - 1 = -2*a - 5*y, -m*a = y + 7. Let g be 5/2*(-1 - a). Solve 5*n = -i - i - 17, -2*n - 30 = -g*i for n.
-5
Suppose -w + 2 = -2*y, 2*w = -w - 3*y + 51. Let p be ((-6)/(-15))/((-7)/(-105)). Solve -3*a + p = -6, -4*q - a = -w for q.
2
Let g be 4/(-6) + (2 - 224/(-12)). Solve 4*z + 18 = -w + z, -z - g = 5*w for w.
-3
Suppose 0 = -5*t - 3*c - 8, -3*t = -4*t - 5*c - 6. Let q be 8/3*(2 - t). Suppose -4*y + 0*y + q = 0. Solve -3*z - 5 = -y*g, 2*g = -z - z for z.
-1
Suppose -2*m + 4 = -k + 2*k, 0 = 5*k + 3*m - 13. Suppose k*n = -5 + 13. Solve v = n*l - 18, -4*v - 3*l + 9 = -7*v for v.
2
Let g = 78 + -73. Solve 0 = 2*a + 3*u - 5, g*u - 1 = 3*a + a for a.
1
Suppose o - 6 = -2*k + 3*o, -4*k - 3*o + 12 = 0. Suppose 0 = -k*c - 2*c. Solve 0*z - z = -m - 7, c = z + 4*m + 13 for z.
3
Let l be 5*(-3 - (-34)/10). Solve 0 = q - 2*d - 10, l*q + d = -0*d for q.
2
Let d = 0 + 0. Suppose 2*q - 20 + 4 = d. Let p be ((-12)/9)/((-1)/3). Solve 0 = p*k - 12, -3*f - 3*k + q*k - 9 = 0 for f.
2
Let c = 1 + 1. Suppose -4*d + 18 = -c. Solve 3 = d*n - r, 4*n - n + 5*r = 13 for n.
1
Let z(r) = -r**3 - 6*r**2 - 6*r. Let j be z(-5). Let u = -26 + 40. Let w be (-7 - -9)/(1/u). Solve 0 = i - j*g - w, 3*i - g - 7 = 7 for i.
3
Suppose 5*q - 2*q = 12. Solve -k + 4*k + 4*y + q = 0, -4*k + 2*y = 20 for k.
-4
Let q = 5 - 1. Suppose -u + 20 = q*u. Solve 2 = -u*t - t + j, 0 = -5*j - 15 for t.
-1
Let i be 8*(-7)/(-168) - (-8)/3. Solve r - 2 = -q, i*q - 20 = 5*r + 2*q for r.
-3
Let i be ((-12)/(-36) + 50/(-6))/(-2). Solve 2*u = i*z - 10, 8*u - 4*u - 2*z + 14 = 0 for u.
-3
Suppose p = -5*y - 14, 5*p + 0*y - 65 = 2*y. Let a = p - 4. Solve 5*i + 9 = -3*g, -4*i - 2*g = -1 + a for i.
0
Let y = -151 + 179. Solve 5*p - 26 + 1 = 2*o, -5*o = -p + y for p.
3
Suppose z - 16 = 6. Solve -4*b - z + 2 = 0, 5*w + 15 = -2*b for w.
-1
Let m = 9 - 7. Solve m*a = -b - 8, -a + 0 = b + 6 for a.
-2
Suppose 4*l = -a - 11, -l + 7 = -a - 4*l. Suppose 0 = p + 4*n, 4*p - 4*n - n = 21. Let s be (p/6)/((-10)/(-15)). Solve s - 3 = -3*k - 5*d, 22 = a*k - d for k.
4
Let c(s) = s**3 - 2*s**2 + 2*s + 1. Let t be c(2). Solve 0 = 2*l - 2, -5 = 3*h - t*l + 3 for h.
-1
Suppose -5*y - 14 = -2*n, 2*y + y = n - 9. Let k = y - -6. Let r(a) = 6*a - 34. Let d be r(9). Solve 7 = -c - 5*j + k, -2*c + d = -5*j for c.
5
Suppose -6 = -2*r - r. Solve q + r*h = -1, 3*q + 3*h - 6 = -0*q for q.
5
Let a = 8 - 5. Suppose r + 0 = -a. Let t = 5 + r. Solve -4*i + 5*h + 7 = 0, -i + 6 = 5*h - t*h for i.
3
Let x be (28/(-6) - -4)*12. Let c(n) = n**3 + 8*n**2 + n + 11. Let t be c(x). Solve -q = -3*s - 4 - 6, -22 = t*q + 4*s for q.
-2
Suppose -2 - 2 = g + o, -5*g = -o + 2. Let w be 0 + g + (1 - -2). Solve -2*p - w*j - 14 = 0, -p = 3*j - 0*j + 17 for p.
-2
Let o be (2/4)/((-1)/(-2)). Suppose -q + 4 = -o. Suppose 7 = 3*k - 8, -2*k = -3*d + 2. Solve 2*s = -q*u + 25, 2*u + 2*s + d = 14 for u.
5
Let v = 13 - 10. Solve 5*b - 20 = 0, -v*n - 2 = -2*b + 9 for n.
-1
Let y be (-1)/4 + 4/16. Suppose -5*w = -y*w - 10. Solve w*z - 7 = -a, 4*a + z + 7 = -0*a for a.
-3
Suppose -14 = -5*h - 4. Solve -h*q = -2*g - 3*g + 5, 3*g = -5*q - 28 for q.
-5
Suppose 3*a - 13 = 11. Suppose -5*y + a = -7. Solve -k - 4*t - t = -28, 5*t = y*k + 16 for k.
3
Let n(z) = 10*z + 100. Let o be n(-10). Solve -4*y = -0*y + 4*w, 3*y + w - 2 = o for y.
1
Let r = -20 - -30. Let l = r - 5. Solve n - l*j - 24 = 0, -4*j = -n - n + 18 for n.
-1
Let j(d) = d**3 - 6*d**2 + 5*d + 3. Let f be j(5). Solve -1 = 2*c - 5*y - 8, -8 = -f*c + 5*y for c.
1
Suppose -16 = -4*f - 4. Let i be 42/9 + 4/(-6). Suppose 3*a - 24 = i*d, -f*d - 20 = -2*a + d. Solve -4*x - 32 = a*c, 0*c - 3*c = 4*x + 28 for x.
-4
Suppose -3*n + 3*f + 4 = -62, -46 = -2*n + 4*f. Suppose -n = -w - 2*w. Suppose 1 = 2*z - 5. Solve -z*b + w*b = 5*h - 10, -5*b + 2*h - 4 = 0 for b.
0
Let y be 68/18 + 2/9. Let q be 1*9/(5 - 2). Let r be 2 + (-2 - 9/(-3)). Solve -r*c = -y*x + 29, -c + 0*c - 18 = -q*x for c.
-3
Let d be (-6)/(-4)*(-20)/(-30). Solve -l - z + 0 = -d, 4*z - 16 = -l for l.
-4
Let f be (2 + -5)*(-184)/(-3). Let y be f/(-18) - 2/9. Let x be (-4)/20 - (-102)/y. Solve -a + 2 = i, x = a + 5*i - 8 for a.
-2
Let i(r) = -r**3 - 11*r**2 + 13*r + 15. Let k be i(-12). Solve 8 = -2*z, -2*p - 14 = 8*z - k*z for p.
3
Let v(b) = b - 4. Let m be v(4). Suppose -5*y = -0*y. Let z be m - 3/(-6)*y. Solve -i + 4*q + 3 = z, -2*q = -4*q for i.
3
Let t(g) = -g**3 - 2*g**2 + g. Let h be t(1). Let v be (1*6)/((-2)/h). Solve 4*i - 4 = 3*m, 3*i = m + v*i + 10 for m.
-4
Let t(d) = -d + 25. Let x be t(0). Let p be 2/5 - (-15)/x. Solve -p = -2*u + 4*f - f, 3*f = -5*u - 8 for u.