 Suppose v + 2 = u. Solve v*o + 5 = 8*o for o.
1
Let t = -1 - -4. Let r = 10 + -9. Solve -r = w + t for w.
-4
Let n(g) = -2*g**2 - 7. Let y be n(0). Let a = y + 7. Solve r - 2 + 0 = a for r.
2
Let z(c) = c**3 - 6*c**2 + 7. Let d be z(6). Let h = -7 + d. Solve h*p = 3*p - 3 for p.
1
Let d(n) = n - 1. Suppose 0 = -3*g - 2*c + 23, -g + c = 3*g - 27. Let v be d(g). Let x be v - (-3 + 6/3). Solve 5*r + 18 = -x for r.
-5
Suppose 3*g + 0 - 63 = 0. Let i = g - 13. Let m be (-2)/i + (-3)/(-12). Solve 0 = -4*u - m*u for u.
0
Let m(c) = 4*c - 3 - 1 - 11*c. Let k be (2*-1)/((-2)/(-4)). Let x be m(k). Solve -5*q = -1 - x for q.
5
Let q = 6 - 3. Let c(s) = 3*s - 25. Let i be c(9). Solve -i*f + 5 = q*f for f.
1
Let s = -12 + 9. Let h be 0 - (-15)/(0 - s). Let n be (25 - 5)*4/h. Solve 0*o = 4*o + n for o.
-4
Let k = 13 - -2. Solve k = 5*f - 10*f for f.
-3
Let u(t) = -t - 9. Let l be u(-13). Let d be l/((-8)/(-6)) - 1. Solve -3*i - d = -11 for i.
3
Suppose 4*w + w + 1 = -u, 5 = -5*w. Let j(x) = -x - x + 8 - u. Let y be j(-6). Solve y = -0*r + 4*r for r.
4
Suppose -5 - 7 = -4*y. Let a(l) = 4*l + 3. Let z be a(y). Suppose -5*w = -w - 24. Solve -x - z = -w*x for x.
3
Suppose 11*a - 8*a = 0. Solve a = 2*k + 3*k for k.
0
Suppose x - 1 = 0, 3*q - 3*x - 3 - 3 = 0. Let o(y) = -2*y**3 + 2*y**2 + y. Let h be o(-1). Suppose 0*k + h*k = 0. Solve -w + q*w = k for w.
0
Suppose 0 = 5*n - 25, 4*n + 2 = 4*q - 2. Suppose 5*s - q = 9. Solve -t - 20 = s*t for t.
-5
Let m be 2/(-1) + 14/2. Let r = 142 + -142. Solve y - m = -r for y.
5
Let d be (-2)/(-3) + (-8)/12. Let h(v) = -v**2 - v + 3. Let q be h(d). Suppose 0 = -3*m + 2*m + 2. Solve -m = -5*k + q for k.
1
Let b(q) = -q - 1. Let x be b(5). Let m(k) = k + 2. Let z be m(x). Let l = z - -5. Solve -l - 5 = -3*w for w.
2
Let d(m) = -10*m. Let p(s) = s**3 - 5*s**2 - 7*s + 4. Let t(v) = -v**3 - 2*v**2 - 3*v. Let n be t(-2). Let g be p(n). Let u be d(g). Solve -f = -6*f - u for f.
-4
Let f = 7 - 8. Let q be 8*4 - (f - -3). Solve -5*s - 5 = -q for s.
5
Let v(r) = -r**2 - 6*r - 4. Let h be v(-4). Suppose -4*o + 37 = -d, -2*d = -h*o - 0 + 42. Solve 4*a + 0 = o for a.
2
Suppose 3*j = -3*c + 15, 5*j - 2*c - 3*c = 15. Solve 2*k + j = 12 for k.
4
Let y(t) = 5 + 4*t**2 - 7 - 3*t**2 + 2*t. Let n be y(-5). Solve -n - 12 = -5*s for s.
5
Let x = 6 - 9. Suppose -16 = 3*z - 7*z. Let n be (-30)/4*z/x. Solve 3*s + n + 2 = 0 for s.
-4
Let g(t) = -2*t**2 - t - 4. Let n(r) = r. Let l(o) = -g(o) + 6*n(o). Let p be l(-4). Solve 3*f = 4 + p for f.
4
Suppose 0 = -4*n + 2*n - 8. Let k = -2 - n. Solve -2*c - 4 + k = 0 for c.
-1
Let m(y) = 2*y**2 - 4*y - 1. Let r be m(3). Suppose -u + 6 = 2*u. Suppose 3*b = u*h + 32, -h - 15 = -5*b + 29. Solve x - r*x = -b for x.
2
Let k(z) = -z**3 - 28*z**2 - 27*z + 10. Let n be k(-27). Solve -2*j + 0 = -n for j.
5
Suppose 4*w - 26 = -3*g - 2*g, -2*g + 20 = 4*w. Let u be 3/g*(-4)/3. Let n(x) = x**2 - 1. Let a be n(u). Solve 7*m = a*m + 8 for m.
2
Let j(i) = i - 1. Let s be j(6). Suppose -c = 5*x - 21, -s*c = -2*c - 4*x + 32. Let z(y) = -y**3 - 5*y**2 - 4*y + 3. Let n be z(c). Solve 2*a = -n*a + 20 for a.
4
Suppose f + 4*f = 0. Solve f = 4*c - c - 15 for c.
5
Let k = -3 - -7. Suppose 5*x = k*x + 5. Solve x*n = -6 + 16 for n.
2
Suppose -3*j + 36 = j. Suppose w + 0 = j. Solve 2*z = -z + w for z.
3
Suppose -5*p + 4*x + 2 = 0, 0 = -p + 5*p - 4*x. Suppose 4*w = 3*h + 34 - 5, -w + p*h + 11 = 0. Let r be -1 - 3/((-6)/8). Solve r + w = 4*a for a.
2
Suppose 0 = 6*x - 2 - 4. Solve x = l - 0 for l.
1
Suppose u = -0 + 2. Let p be 4*-1*(-4)/u. Suppose 0 = c - 5*c. Solve 2*o = -c*o - p for o.
-4
Suppose 3*a - 31 = -4*i, 5*a - 18 = 3*i - 5. Suppose -q - 7 = 7. Let b be q/35 - (-17)/a. Solve -2*x = b*x - 15 for x.
3
Let a = 0 - 3. Let j = -2 - a. Let w be (j/3)/((-3)/(-207)). Solve 3 = 4*g + w for g.
-5
Suppose -2*i + 13 = 3*f, f - 8 = 4*i - 27. Suppose -2*d + 4*d + 4 = 2*w, 50 = i*w + 5*d. Solve -3*a = -6*a + w for a.
2
Suppose -5*x + 25 = 0, 2*y + 0*x = 3*x - 9. Suppose 0 = y*r + 2*r. Solve 3*k + r = 3 for k.
1
Suppose -c + 14 + 15 = 5*j, -3*j + 3 = -3*c. Solve 4*w = -c - 0 for w.
-1
Let u be (-34)/(-4) + (-15)/30. Solve -u + 3 = p for p.
-5
Let c be (-1 + 1)/(-2 + 1). Solve c*v + v = 3 for v.
3
Let a = -23 + -7. Let v = -18 - a. Solve 5*z - z + v = 0 for z.
-3
Let p be 4/(-18) - (-94)/18. Suppose 3*z + 15 = 0, p*c + 3*z = -z - 20. Let l be (-75)/(-21) - (-12)/(-21). Solve -l*i + c*i = 12 for i.
-4
Let n = -9 + 14. Let s be 2 - (-6)/(-2) - -6. Suppose n*k - 35 = -s*g, 4*k + 0*k - g - 23 = 0. Solve -v = -k*v for v.
0
Suppose -4*l - 7 = -2*l - 5*w, 3*w - 15 = 0. Let t = l + -5. Let k(g) = -g**3 + 20. Let u be k(0). Solve t - u = 4*p for p.
-4
Let m = -5 + 10. Solve -9 - 16 = -m*l for l.
5
Let c = -7 + 6. Let q = c - -9. Solve 0 = 3*y + 1 + q for y.
-3
Let a be (-1)/(-1 - 26/(-28)). Suppose 5*i = y - a, 0 = 3*y + 3. Let l be (-2)/i - 26/(-6). Solve 0 = l*v + 12 + 3 for v.
-3
Let x(s) = -s**3 - 4*s**2 + 2. Let r be x(-4). Let m(p) = -p**3 + 15. Let n be 0*(28/8)/7. Let h be m(n). Solve h = 7*j - r*j for j.
3
Let j(b) = b**2 - 5*b + 9. Let d be j(6). Solve d = -5*i - 5 for i.
-4
Suppose i + 19 = -4*y + 66, 3*y = 4*i + 40. Solve -c = -4*c + y for c.
4
Suppose 0 = -3*u - 32 + 5. Let d = 11 + u. Solve -h + d*h + 2 = 0 for h.
-2
Let m be (-4)/6 - (-2)/3. Suppose -8*s = -3*s - 15. Solve s*h + 3 = -m for h.
-1
Suppose 2*b - 8 = -2*b. Let u be 0/(3/3*b). Solve -g = -u*g for g.
0
Let l = 18 - 7. Suppose -2*s = 4*z + 18, -3*s + 4*z = z + 18. Let p = s + l. Solve -p*c = 2 + 10 for c.
-3
Let w = 1 - -1. Let z be ((-50)/(-15))/((-1)/(-6)). Suppose -s - 14 = p - 36, -4*s + z = 0. Solve 5*y + p - w = 0 for y.
-3
Let t = 5 - 2. Suppose 0 = -t*g - 1 + 7. Solve -2*c + 2 = -g for c.
2
Let m(v) = 3*v**3 + 7*v**2 + 6*v. Let p(u) = 16*u**3 + 36*u**2 + 31*u + 1. Let h(a) = -11*m(a) + 2*p(a). Let k be h(-4). Solve -k*d + 3 - 9 = 0 for d.
-3
Suppose 7*d + 3 = 24. Solve k + 4 = -d*k for k.
-1
Let b(j) = j**3 - 3*j**2 + 8*j - 10. Let d be b(2). Solve d = -3*k - 4 for k.
-2
Let k(u) = 2*u + 1. Let q be k(2). Solve q*c + 13 = -12 for c.
-5
Let p(g) = 6*g + 20. Let b(o) = -o - 1. Let t(q) = 5*b(q) + p(q). Let d be t(-11). Solve -d - 8 = 4*u for u.
-3
Suppose 0 = -2*g - 3*h + 10, -2*g + 4*h = -5*g + 15. Solve -g = 3*z + 1 for z.
-2
Suppose -n + 3*n = 0. Suppose 0 = -0*m - 2*m - 8. Let a(z) = -z**2 - 5*z + 1. Let w be a(m). Solve n = w*t - 0*t for t.
0
Let r = -13 + 13. Suppose r - 4 = -v. Solve v*f + 11 - 3 = 0 for f.
-2
Let i(y) = -y**3 + 5*y**2 + 5*y + 6. Let w be i(6). Let g be -2 + w/(-2) + 4. Solve 0 = 3*z + g + 4 for z.
-2
Suppose 2 = 6*j - 10. Solve j*t - 3 = t for t.
3
Let v(u) be the first derivative of u**4/4 + 2*u**3 + 4*u**2 + 5*u + 8. Let g be v(-4). Solve 0 = b + 4*b - g for b.
1
Let x be (84/18)/((-4)/(-6)). Suppose 0 = -x*s + 2*s. Suppose 0*q + q - 13 = s. Solve -5*y = q - 3 for y.
-2
Let t(b) = -b**2 - 5*b + 5. Let z be t(-5). Suppose -m - 14 = -2*c, -3*c + 2*m + 3 = -4*c. Suppose 12 = c*s - 2*s. Solve 0 = z*v + s - 19 for v.
3
Let x be (-2*1/2)/(-1). Solve -4 = 3*t - x for t.
-1
Suppose 0*z + 4*z = 16. Suppose -r = 4*w - 15, z*w - 6 = 3*w + 2*r. Solve j - 5 = -w for j.
1
Let r(x) = -2*x**2 + 10*x + 14. Let s be r(6). Let q(d) = d**2 - 2*d. Let m be q(2). Solve m = o - s for o.
2
Let n = 27 + -23. Solve -n*w + 6*w = 0 for w.
0
Let y be (3 - (-7)/(-2))*0. Solve 5*f - 22 + 2 = y for f.
4
Let p = 12 - 8. Let v(l) = l**3 - 4*l**2 + 3. Let q be v(p). Let r be 0/2*(-2)/(-4). Solve t - q = -r*t for t.
3
Suppose -2*q = 3*m - 8, 2*q - 7 = m + 17. Solve -4*g + 2 = q for g.
-2
Let p be (2 - 11)*(-2)/6. Solve -3*r - 3 - p = 0 for r.
-2
Let y(m) = -m**3 - 1. Let c be y(-1). Let g be ((-10)/30)/((-1)/75). Solve c = 4*w + w - g for w.
5
Let f = -24 - -26. Solve f = l - 2 for l.
4
Suppose 0 = 14*a - 15*a. Let g be 0 - (1 - (1 + 75)). Suppose -3*n = -8*n + g. Solve -5*j - n = -a*j for j.
-3
Let p = -16 - -21. Suppose 0 = 3*b + j - 44, -j + 5 = p*b - 69. Solve -2*a = b - 5 for a.
-5
Suppose -3*f = l - 0*l - 14, -10 = -4*f + 3*l. Suppose -n - 3*n = -f. Let z(p) = p**3 + 2*p**2. Let y be z(-2). Solve y*v + v = -n for v.
-1
Suppose -7*j + 26 = 5. Let i(c) = c**3 - c**2 - 3*c + 2. Let q be i(2). Suppose q = r - 4 - 4. Solve j*s - 1 - r = 0 for s.
3
Suppose -17*v + 2*v = -30.