ve m*g + 4 = g for g.
-1
Suppose 5*a + 2 = 67. Let l = a + -8. Solve -4*r + l*r = -4 for r.
-4
Suppose -2*t = -4*t + 2. Suppose 4*c - 9 = -t. Suppose -g = c*g. Solve g = -2*u + 7*u for u.
0
Let l(z) = -z**2 - 7*z - 6. Let f be l(-6). Suppose 5*m + f*m - 40 = 0. Suppose 4*r + 20 = m*r. Solve 1 - r = q for q.
-4
Let o(j) = 2*j - 30. Let q be o(15). Solve q = 3*n - 1 - 5 for n.
2
Let b be (-39)/(-5) + (-6)/(-30). Solve 3*h = b*h - 25 for h.
5
Let n(y) = -3*y**2 - 6*y + 4. Let b(m) = m**2 + m - 1. Let i(s) = -2*b(s) - n(s). Let g be i(-5). Let a be g/(-6)*0*1. Solve a = -w + 1 for w.
1
Let g = 5 + -6. Let v = -9 + 12. Let d = v - g. Solve 0 = -d*c + 5 - 21 for c.
-4
Suppose 5 = -t - 1. Let x(y) = -y**2 - 5*y + 4. Let p be x(t). Let r be -3 + 5 + 0 + p. Solve r = -0*h + h for h.
0
Suppose -2*m + 3*g = -1 + 3, -6 = -m - 2*g. Suppose 6*s = m*s. Solve -1 = -k - s for k.
1
Let t = -2 - -4. Let p be 5/3*18/6. Suppose p = 2*z - 3. Solve -t*g = -2 - z for g.
3
Let u(d) = 57*d. Let z(x) = -4*x + 2*x + x + 24*x. Let b(c) = 5*u(c) - 12*z(c). Let i be b(2). Solve -i = -5*q - 3 for q.
3
Let z = 5 - 5. Let v = 2 + z. Solve 2*x - 2 = v for x.
2
Let h(m) = -m**3 + 3*m**2 + 6*m - 2. Let w be h(4). Let f = w + -1. Solve 3*b = f*b for b.
0
Let c = 7 - 11. Suppose -2*n + 0*k - 2*k - 12 = 0, 0 = 3*n - 3*k. Let z be 3/((4/n)/c). Solve z*r + 5 = 4*r for r.
-1
Let w be 57/3*1 + -2. Solve 4*h - w = -1 for h.
4
Suppose 1 = -3*q - 2. Let t = q - -3. Solve 2*h + t*h = 16 for h.
4
Let a = 9 - 6. Let n = -1 + a. Solve n*c + 3 = c for c.
-3
Suppose 4*m - l = 12 + 4, 3*l - 3 = -5*m. Suppose 4*u = m*u + 2. Solve -u - 3 = -5*y for y.
1
Let r = 1 + 4. Suppose -5*k - r*n = -25, 2*n = -2*n. Suppose -2*q - 2*q = -3*b + 23, 3*q + 21 = 3*b. Solve -b*p + 15 = -k for p.
4
Let z = 38 - 22. Let g be 40/z*6/5. Solve -4 = -g*d + 5 for d.
3
Let l be -1 - (-9 - (0 + -4)). Solve -l*c = -2*c for c.
0
Suppose 4*b - 24 = -4*f, -4*b + 3*b = 4*f - 18. Solve -f*g = 5 + 7 for g.
-3
Let g = -12 - -32. Suppose -4*q + g = q. Solve q*p - 2*p + 2 = 0 for p.
-1
Let m(t) = -t**3 - 8*t**2 - 8*t + 1. Let d be m(-7). Suppose -4*v + 2*v = -d. Solve 0*b = 4*b + v for b.
-1
Suppose -d + 4*m = 0, 3*m + 2*m - 1 = d. Solve f + d*f = 25 for f.
5
Let x be (-16)/24 - 8/6. Let t be (-3 + -2)*x*1. Solve -3*n + t = 1 for n.
3
Suppose -6*s = -2*s - 12. Let m = 40 + -32. Solve -5*t - m + s = 0 for t.
-1
Let z(f) = -f**3 - 8*f**2 - 8*f - 6. Let a be z(-7). Suppose -3*m + 8 + 5 = q, -q + m + a = 0. Solve 3*n - 4*n = q for n.
-4
Suppose -2*d + 3 = -3*u, 2*u + 10 = -2*d + 6*d. Solve -d*j - 12 = -0*j for j.
-4
Suppose -2*p = 3*p + 3*t - 21, 0 = -5*p + t + 33. Let j be ((-5)/(-4))/((-1)/(-4)). Solve -j*l + p = 1 for l.
1
Let f(m) = -5*m**2. Let r(y) = 15*y**2. Let g(l) = 11*f(l) + 4*r(l). Let h be g(1). Solve 0*a - h = -5*a for a.
1
Let a = -2 - -2. Suppose a = 4*v - 7 - 5. Suppose 25 = -b + 6*b. Solve -b*o + v = -2 for o.
1
Let a = 20 - 17. Solve 19 = -4*d + a for d.
-4
Suppose 0 = -t - 5*t + 48. Solve 3*y = -t + 2 for y.
-2
Let x = -2 + 5. Suppose 2*g - 2 = -5*u + x*u, -3*u = -4*g + 11. Solve 4*f - 2 = g*f for f.
1
Let x = 0 + -6. Let u be (x - 0)/(12/(-8)). Let z be -1*2*(-4)/u. Solve -z*j + 3 = 5 for j.
-1
Suppose -2*t - 5*x - 5 = 0, 5*t + 0*x = x + 1. Solve t*a + 9 = -3*a for a.
-3
Let j = -42 + 48. Solve -y = -j*y + 25 for y.
5
Let f(p) = -3*p + 13 + 8*p + 4 + p**2 - 2*p**2. Let d be f(7). Solve -7 = d*b - 22 for b.
5
Let w(h) = -h - 16. Let m be w(0). Let u = m + 11. Let j = u + 8. Solve -j*f = 2*f - 25 for f.
5
Let g = 62 + -54. Solve 1 = -3*v - g for v.
-3
Suppose -5*g = 8 - 18. Solve 0 = -g*z + 4*z - 6 for z.
3
Suppose -d = 1, -a - 3*d = -0*d. Solve -a*g = -0*g for g.
0
Suppose 3*f - 2 = -2*v - 0, 3 = 3*v. Suppose -5*r + 87 = d - 61, 94 = 3*r - 2*d. Let u be (-15)/(-10)*r/9. Solve f = 5*k + u for k.
-1
Let w(p) = -p**2 - 13*p - 6. Suppose -5*z + 14 = -2*n, 0*z - 56 = 5*n - 2*z. Let b be w(n). Let k = -17 - -42. Solve c = b*c + k for c.
-5
Suppose -6*x = -4*x - 4. Let n be ((-6)/9)/(((-20)/18)/5). Solve x*b = n*b - 4 for b.
4
Suppose 5*h - 3 = -2*x, 3*h + 4 - 8 = x. Suppose -4*i - 4*z + 8 = i, 10 = 4*i + 5*z. Let d be (i/(-3))/(0 - x). Solve d = -3*c + 2*c - 2 for c.
-2
Let s = 4 - 0. Let h be (2/(-1)*-2)/1. Let u be (-3)/((h - 3)*-1). Solve -s*n + u = -5 for n.
2
Let k(w) = w**3 - 6*w**2 - 4*w + 2. Let u be k(6). Let v be u/(-8) + 2/8. Suppose 10 = v*r + 2*r. Solve -5 = -r*z - 13 for z.
-4
Let b = -1 + 5. Let t be (96/30)/((-2)/(-5)). Solve -28 + t = -b*d for d.
5
Suppose 2*q = -7*q + 36. Solve z + 1 = q for z.
3
Let a = 5 + -1. Let v = a - -4. Let p(b) = -b**2 - 37*b + 41. Let r be p(-38). Solve r - v = 5*l for l.
-1
Let z(q) = -q**2 - 3*q + 1. Let t be z(-4). Let b = 4 + t. Let a be -1 + (b - 2)*-1. Solve a = j + 2*j for j.
0
Suppose -6 = -10*t + 4. Suppose 0 = -4*b + 4 + 16. Solve -n + b = t for n.
4
Let z(g) = g - 1. Let u(n) = 3*n + 2. Let k(t) = -u(t) + z(t). Let c be k(-5). Solve -5*v - c = 3 for v.
-2
Let w(f) = -f**2 - 11*f - 10. Let n be w(-7). Suppose 15 = 5*a + k, -2*k = -3*a + a + n. Solve -8*y + a*y - 8 = 0 for y.
-2
Suppose -x + 1 + 4 = y, -3*y - x = -21. Let m = 10 + -7. Solve m*v - v = y for v.
4
Let w be 2/(-8) + (-243)/(-12). Solve -2*s - 3*s = w for s.
-4
Let g = -11 + 15. Solve 4*i = 20 - g for i.
4
Suppose 5*h + 5*a = 40, 3*a + 2*a = 5*h + 10. Solve h*k + 4 = -5 for k.
-3
Let t(w) = -3*w - 11. Let n be t(-7). Solve 4*m + 10 = -n for m.
-5
Suppose 0 = -z + 4*t - 15, -3*t - 5 = z - 5*t. Let u be -2 - (2 - (z + -1)). Solve u*v = 2*v for v.
0
Suppose 3*g - g - 37 = -i, -g + 41 = 5*i. Solve 3*u - g = 7*u for u.
-4
Let a(d) = 4*d**2 + 1. Let w be a(2). Suppose w*y = 21*y - 16. Solve y*n - 4 = -12 for n.
-2
Suppose 3*b + 5 = 8*b. Solve 7 + b = -2*z for z.
-4
Let x = -13 - -13. Suppose x = -u + 4 - 0. Solve -u*f - 8 = 8 for f.
-4
Suppose -m + 2 = -3. Suppose -m - 10 = -5*v. Solve 2 = 5*h - v for h.
1
Let b be 2/6*(-1 + -2). Let g be 0/(-1 + -2)*b. Let s be 1 + (-2 + g)/2. Solve -2*p + 6*p = s for p.
0
Suppose 3*j = -4*k + 396, 9*k - 4*k + 2*j = 488. Suppose 3*x - 7*x + k = 0. Suppose -4*p + 4*u + x = 0, 2*p - 3*u - 2*u = 0. Solve -4*l + p = -6 for l.
4
Let q be (-1 - 0)/(11 - 10). Let r be q/(((-20)/(-16))/(-5)). Solve 0*k = r*k for k.
0
Suppose 2*z = -3*g - 29, -3*g - 3*z - 24 = -6*z. Let u = -6 - g. Solve u*r = -7 - 8 for r.
-5
Suppose 5*b - 11 - 4 = 0. Suppose h = -0 + b. Solve q + h*q + 20 = 0 for q.
-5
Let j = -19 + 13. Let f be (4/j)/(8/(-36)). Solve -1 = -f*s + 8 for s.
3
Let z be (7 + -5)/(3 - 2). Solve -2*d = z*d + 20 for d.
-5
Let i be 13/(1 + 0 - 0). Let x(m) = m**2 + 4*m + 1. Let f be x(-4). Let k = f + 1. Solve -5*p = k + i for p.
-3
Let l(k) = -k**3 - k**2 + 4*k. Let y be l(-3). Suppose 3 = j + 4*r, -4*j + 5*r + y = -6. Solve -j*m = 5 + 4 for m.
-3
Suppose 6 = -l + 2*l. Let i be l/6*(4 + -1). Solve i*g = g - 6 for g.
-3
Let m(z) = -7*z**2 - 15*z - 2. Let v(o) = 3*o**2 + 0*o**2 + 7*o - 1 + 2. Let y(j) = -2*m(j) - 5*v(j). Let c be y(-4). Solve -17 = c*k - 5 for k.
-4
Let q(y) be the second derivative of -y**4/12 + y**3/2 - y**2 + 4*y. Let c be q(2). Let a = c + 2. Solve -a*b + 0 = -10 for b.
5
Let q be 2*(-8)/(-1 + -1). Solve 0 = q*h - 7*h + 3 for h.
-3
Let j = 8 - 4. Suppose k = -j*k. Let i be 6 + -3 + k + 0. Solve 0 = i*r + 2*r for r.
0
Suppose -i - 30 - 8 = -3*l, -54 = -5*l - 3*i. Suppose 0 = -5*d + l + 18. Solve 2*m - 16 = d*m for m.
-4
Let p(f) = 3*f**3 + f**2 - f. Let v be p(1). Solve -v*d = 2*d + 15 for d.
-3
Suppose 5*i = -t + 16, -5*t = -t + 5*i - 34. Solve -t*d = -d - 5 for d.
1
Let c(z) = -z - 4. Let f be c(-4). Solve 5*l - 9*l - 20 = f for l.
-5
Suppose 4*s = 3*n + 35, 2*s - s + 5*n + 20 = 0. Suppose -4*y = -4*i + 4, -s*y = 4 + 1. Suppose -2*u + 0*u = -4. Solve 8 = -i*r - u*r for r.
-4
Suppose 4*w - 11 = f, 3*f - 15 + 0 = 0. Solve 0 = -w*d - 7 + 27 for d.
5
Suppose 10 + 18 = -4*v. Let r = -7 - v. Let o(w) = -w + 5. Let f be o(r). Solve 0*h + 10 = f*h for h.
2
Suppose 4*q + 5 = 37. Solve -4*h + q*h = 4 for h.
1
Let l = -24 - -26. Solve 4*f = l*f + 4 for f.
2
Suppose 4*z - 3*j = 3 - 1, 3*z - 3*j = 0. Solve i = -0*i + z for i.
2
Let d be (-3 - -13)*(-9)/(-30). Solve d*g = g - 4 for g.
-2
Let p = 10 - 4. Let f = p - 2. Let z(w) = w**3 - 4*w**2 + 2*w - 6. Let s be z(f). Solve s*c + 3 