*o + 15 = 3*o for o.
3
Suppose -4*d - 25 = -5*s, 2*s - 3*s - 3*d + 5 = 0. Solve -i = -s*i for i.
0
Let g = 17 + -4. Let a = g - 9. Solve -a*v = -6 + 2 for v.
1
Let d(o) = o**3 - 7*o**2 + 7*o - 6. Suppose -3*i = -a + 12, 0 = -a + 4*i - 1 + 15. Let h be d(a). Solve h = 3*w + 1 + 5 for w.
-2
Let h(p) = -2*p. Let w(b) = -1 + 2 + 2*b - b. Let x be w(-7). Let r be h(x). Solve 5*m = r + 8 for m.
4
Suppose 3*r - 2*r - 3 = 0. Solve -t - r = 1 for t.
-4
Let g be 11/(-9) + (-6)/(-27). Let q = 3 + g. Suppose 0 = q*m - 3*m + 1. Solve m - 5 = -z for z.
4
Let k(v) = -v**3 - 12*v**2 - 21*v - 8. Let z be k(-10). Solve -b + z = -0 for b.
2
Let p be 1/((3/2)/3). Solve y + p*y = -12 for y.
-4
Suppose -2*b - 5 - 1 = 4*q, -2*b + 3*q + 15 = 0. Solve -a = -b*a for a.
0
Suppose 4*x + 4 = 5*c + 2*x, 0 = -5*c + 3*x + 1. Let q be -4 - -4 - 2*-1. Suppose c*a = 2*f - 8, -5*f + 5*a + 18 = -q*f. Solve 0 = -i - f - 0 for i.
-1
Suppose 4*w + y - 7 = 0, 0*y - 3*y = -9. Suppose 4*c - w - 3 = 0. Solve 3*a + c = 7 for a.
2
Let t(c) = -2 + 5 + c - 4. Let x be t(6). Suppose 5*z = -2*n + 1 - x, -3*z - 15 = -3*n. Solve -2*k = n*k - 15 for k.
3
Let d = 16 - 1. Let c(w) = w**2 - 2*w - 3. Suppose -3 = 3*o - 4*o. Let s be c(o). Solve m - 4*m - d = s for m.
-5
Let l be (-7)/(-14)*2*2. Solve d - l = -d for d.
1
Let u be -8 + 6/(9/(-3)). Let x be (22/55)/((-1)/u). Solve x*p + 4 = -0*p for p.
-1
Let c = -50 - -54. Solve -2*l + 4 = -c*l for l.
-2
Let f(x) = x**3 + 4*x**2 - 5*x + 4. Let r be f(-5). Suppose 9 + 11 = r*a. Solve 0 = -a*l + 11 - 36 for l.
-5
Let a be (4*-1 - -2) + 2. Suppose a = -4*w - 0*w + 4. Solve 3*s - 2*s - w = 0 for s.
1
Let l(h) = -h**2 - h. Let c be l(0). Let n be (-2)/(-1) + (-2 - -16). Let k = n + -12. Solve c = -i + 5*i + k for i.
-1
Suppose 0 = 5*t - 4*t + 5*z - 5, 3*z = 5*t - 25. Suppose -a + 4 = 2*j, -16 = -a - 3*j + t*j. Let r = a - 6. Solve 0 = f + r*f for f.
0
Let b(q) = -q**3 - 3*q**2 + 9*q. Let y be b(-5). Solve y*z + 0 = 20 for z.
4
Let g(i) = i**2 - 7*i - 6. Let z be g(8). Let k(b) = -b + 2. Let t be k(z). Solve p = -4 - t for p.
-4
Suppose 4*n - 5*h = -16, 2*n - h + 8 = 3*h. Let i = -4 - n. Let v(t) = t + 18. Let m be v(-15). Solve 3*j - 2*j + m = i for j.
-3
Suppose -8*x + 25 = 9. Suppose -2 = 2*i - i. Let f be -4*(-3 - i) - 1. Solve -2*h = -f*h - x for h.
-2
Suppose -53 = -4*i + 27. Solve -i*b = -15*b - 25 for b.
5
Suppose -2*r = 14 - 30. Let h = 0 - -2. Solve 0*w - h*w = -r for w.
4
Suppose 0 = -0*t + 2*t + 4*s - 26, -4*s = 4*t - 32. Suppose 0 = t*o - 16 - 2. Solve -3*c - 6 - o = 0 for c.
-4
Let a(v) = v**2 - 4*v - 3. Let b be a(5). Suppose b = -4*z + 5*z. Solve 0 = -z*w - 4 - 4 for w.
-4
Let s(n) = n**3 + 4*n**2 + n - 1. Let u be s(-3). Suppose -x = -0*x - u. Solve 0 = 2*f - x*f for f.
0
Let n be 1/(1 - 2/4). Let i be (-9)/6*(-16)/6. Let t be 4/i*-1*-1. Solve c = n*c - t for c.
1
Let p(l) = -10*l + 5. Let s be p(0). Solve s*t - 1 = 6*t for t.
-1
Let v(l) = l**2. Let j be v(-3). Suppose -3*p + 3 = -j. Solve 2*z + 2 = -p for z.
-3
Suppose -10 = -3*q - 4. Suppose 3*y = q*y + 5*x - 5, -5*y - 5*x + 35 = 0. Suppose -20 = -4*m - 0*m + 2*t, -5*t = -y*m + 35. Solve m*n + 25 = -2*n for n.
-5
Suppose -f + 12 = 5*u, -u = 5*f - 0*f + 12. Let q(z) be the first derivative of z**3/3 + z**2/2 + 3*z - 1. Let j be q(f). Solve -j = 5*t + 6 for t.
-3
Suppose -s + 5*v + 19 = -0*s, -2*v = s + 2. Solve 0 = s*x + 2 - 22 for x.
5
Let c = 6 + -4. Suppose -g - c = 2. Let n be g/(-14) + 38/14. Solve 0*q = n*q + 15 for q.
-5
Let j(y) be the second derivative of -y**5/20 + 5*y**4/12 - y**3/2 - y**2/2 + 4*y. Let m be j(4). Solve 0*z - m*z - 15 = 0 for z.
-5
Let w be (-42)/(-2)*8/12. Suppose f = -2*z + 5*f - w, 4*z + 2*f + 38 = 0. Let t = z + 9. Solve t = s + 2 + 1 for s.
-3
Let r(l) = -7*l. Let w be r(-1). Suppose -4*f + w*f - 9 = 0. Suppose -f*g = 5*t - 5, 3*g + t = 5*g - 12. Solve -g*b - 5 = -0*b for b.
-1
Let h = -49 - -61. Solve h = -5*y - 3 for y.
-3
Suppose -j + 9 = 2*j. Suppose 2*t - y - j*y = 6, -2*t = 3*y - 6. Solve -v - t*v + 16 = 0 for v.
4
Suppose -5*y + 2*x = -40, -3*x + 17 = -4*y + 42. Solve 0 = 3*c + y + 2 for c.
-4
Suppose -4*d + 3*d = 1. Let m = -3 - -1. Let o be 2*(d - m)*1. Solve p + 2 = o*p for p.
2
Let t(y) = -y**2 - 2*y - 2. Let n be t(-2). Let b be 4 + 4/4*n. Solve 2 + 2 = -b*c for c.
-2
Let k be 48/(-20)*(-10)/4. Let u be k/(-24) + (-13)/(-4). Suppose 7 = 5*v - u. Solve -c - 3 = v*c for c.
-1
Suppose 0 = -4*i - 2*i. Solve i = -0*z + z for z.
0
Let w = -42 + 65. Suppose 2*x - w = -5*m + 6*x, 3*m + 2*x = 5. Solve -m*y = -4 + 19 for y.
-5
Let r be 10/(-4)*8/(-10). Let k = -17 - -24. Solve -r*i = -k*i for i.
0
Let b(f) = -f**3 + 6*f**2 - 2*f + 3. Let u be b(6). Let o = -4 - u. Suppose 0 = o*s - 3*s + 2, m + 4*s = 16. Solve m - 45 = 5*j for j.
-5
Let s = -20 + 23. Solve -s + 7 = -4*z for z.
-1
Let k(b) = -b**2 - b + 48. Let x be k(6). Let q be 2/(-4)*2*-3. Let c be (-2)/q - (-2)/3. Solve c + x = -3*j for j.
-2
Suppose -5*v + v + 24 = -4*q, -5*q + 10 = 3*v. Suppose 5*b - 20 + 5 = 0, 15 = 3*s + 5*b. Solve s = r - v + 1 for r.
4
Let a(g) = g**2 + 5*g**3 - g**3 - 2*g - 3*g**3. Let w be a(-2). Solve w = 2*b - 1 - 1 for b.
1
Let m(a) = 7*a**3 - 2*a + 3. Let s(h) = 20*h**3 - h**2 - 6*h + 10. Let w(z) = 17*m(z) - 6*s(z). Let t be w(6). Let x = t - 0. Solve 0 = -0*v - x*v for v.
0
Suppose -3*b = 10*b - b. Let q be (-2)/2*-2 + 0. Solve m + b = q for m.
2
Let h = 13 - 8. Suppose -2*i - i = 0. Solve i = -h*z - 15 - 10 for z.
-5
Let z = 12 - 1. Suppose -9 = -5*u + z. Solve -2*q + u*q = 0 for q.
0
Suppose -5*x - 20 = -5*b, -4*x = 3*b - 3 + 5. Suppose b = -5*d - 3. Let a be 1 + -1 - 2/d. Solve 0*f + 8 = a*f for f.
4
Suppose 2*d = 3*z - 2, 3*d = 2*d + 4*z - 6. Solve -1 + 7 = d*m for m.
3
Suppose -11*h = -7*h - 4. Solve -h = -2*n + n for n.
1
Let m(r) = 5*r - 1. Let n be m(1). Suppose 0 = 4*i + 5*p - 5, 0 = i + 3*i - 4*p - 32. Let j(d) = -d**3 + 6*d**2 - 4*d. Let h be j(i). Solve -14 + n = h*w for w.
-2
Suppose 0 = f - 5*f + 20. Suppose -3*c + 0*c + i + 25 = 0, -c = 3*i + f. Suppose 3*j = c*j - 16. Solve -j*n - 5 = -5*n for n.
5
Let a(f) = -f**3 - 3*f**2 + 9*f - 2. Let s be a(-5). Solve 5*v = s*v + 2 for v.
1
Suppose g + 26 = 3*k, 2*g = -5*k - 0 + 47. Suppose 3*h - k = -0*h. Solve -h*r + r = -8 for r.
4
Let j(n) = 2*n**2 + 12*n + 6. Let z be j(-6). Solve 2 = 4*c - z for c.
2
Suppose -4*o = -9*o + 20. Suppose -o*m - 8 = -4*s, -4*s + 12 = -m + 4. Solve 5*a + m*a + 10 = 0 for a.
-2
Let o(q) = -q**3 - q**2 - q - 1. Let u be o(0). Let b be 5*(u/(-1) + 0). Solve b = -0*j - j for j.
-5
Suppose 4*c + c - 15 = 0. Let v = -85 - -88. Solve v*z - c = -0*z for z.
1
Let p be 3/2*36/2. Suppose 5*r = p - 2. Solve -5*y + r + 5 = 0 for y.
2
Let p(y) be the second derivative of -2*y + 1/3*y**3 + y**2 + 0. Let l be p(2). Solve -t - t = -l for t.
3
Let n be -9*25/15*(-1)/3. Solve 37 - 12 = -n*k for k.
-5
Let n(u) = u**3 + 9*u**2 - 10*u + 1. Let l be n(-10). Let b(s) = s + 2. Let m be b(-3). Let k be -2 - (m/(-1) - 7). Solve -k*f - l = -5*f for f.
1
Suppose 9*s + 54 = 27*s. Solve s*y + 0*y - 3 = 0 for y.
1
Let f(x) = x**3 + 3*x**2 + 3*x + 1. Let q be f(-2). Let c = 4 + q. Solve 5 = c*o - 1 for o.
2
Let n be (27/6)/(2/4). Let c = n + -8. Solve 0*f + f = c for f.
1
Suppose -k - 2*t + 10 = 0, -3*k - 6 = -6*t + 3*t. Solve -2*p + k = -0*p for p.
1
Suppose 6*n = n + 10. Solve 0*f = n*f - 10 for f.
5
Let m(i) = 2*i**2 - 5*i + 3. Let n be m(3). Suppose 3*l = 5*c - 15 - 12, -4*c + 20 = -4*l. Suppose 4*o - c = n. Solve o*u = u for u.
0
Let o(h) = 2*h. Let w(s) = -5*s + 0*s + s. Let x(m) = 9*o(m) + 4*w(m). Let f be x(1). Solve f*p - 10 = 7*p for p.
-2
Let r = 8 + -5. Suppose 57 = r*h - 4*i, -6*h + 42 = -3*h + i. Let f = -8 + 10. Solve -f*a - h = -7*a for a.
3
Suppose b + b = -b. Solve b*u - 3*u = 12 for u.
-4
Suppose 3*r + 2*t = -0*t + 20, 2*t = r + 4. Solve -r = h - 3 for h.
-1
Let o be ((2 - 5) + -2)*-2. Let y be 4/o + (-39)/(-15). Suppose 4*h = -4*f, 5*h - y*f - 2*f - 50 = 0. Solve 0*g - h*g = -5 for g.
1
Suppose -u + 14 = u. Let s = -27 + -2. Let b = -21 - s. Solve -u*d + 3*d - b = 0 for d.
-2
Suppose 0 = -4*l - 2*m - 2, 18 + 6 = 2*l - 4*m. Let u = 10 + -3. Let x = u - l. Solve 5*k + 0*k = -x for k.
-1
Suppose -12*m + 7*m = 0. Suppose 0 = k - 13 - 31. Suppose -k + 12 = -4*x. Solve m = -2*z + x - 2 for z.
3
Le