t + t. Solve t = 2*i + i for i.
0
Let v(d) = 3*d - 2. Let k be v(-2). Let j be 3 + (k/4 - -3). Solve 0 = -j*f + 5*f - 5 for f.
5
Let l = -12 + 12. Let u be 6 + (-2 - 0) - l. Solve r - u = -r for r.
2
Let s be (-6)/(-15) + 8/5 - 1. Solve -p - 2 = s for p.
-3
Suppose -2*v + 4*v - 10 = 0. Suppose 0 = 4*t - v*t + 4. Let k be (-2)/(-10) + (-42)/(-15). Solve -7 + k = t*f for f.
-1
Let y = -54 - -54. Solve -3*x + 3 = -y*x for x.
1
Suppose 5*u = 5*z - 0*z + 5, 2 = z. Let c be 0/(6/u + -4). Suppose c = -3*b + h + 2, -5*b + 5*h = -2*b - 10. Solve 3*i - 5 - 1 = b for i.
2
Suppose -4*b + b + 102 = 0. Suppose -b = 3*g - 10. Let d = -5 - g. Solve d*t + 1 = 4 for t.
1
Let p be (30/(-12))/(1/(-2)). Solve 0 = -2*z - 5 - p for z.
-5
Let u be (1 + 2/(-2))*1. Suppose 15 = 5*q - u. Solve 0*v - q = v for v.
-3
Suppose 0 = -0*k + 3*k. Suppose 2*h = 5*z, 0 = -2*h - k*h + 3*z. Suppose h*n = -2*n. Solve n = -i - 0*i - 1 for i.
-1
Let c be ((-6)/8 - 0)*-4. Suppose -2*d = c*o + 3, -3*o + 3 = 5*d - 2*d. Let q be ((-15)/d - -2)*-6. Solve -h = -q*h + 4 for h.
2
Suppose 3*d = 5*d - 20. Solve -2 = -4*w + d for w.
3
Suppose -487 - 131 = 3*m. Let h be m/(-14) - 6/(-21). Let n be 1*(-5)/(h/(-36)). Solve -g = 3*g - n for g.
3
Let b be (-3 - (-14)/6)*-3. Suppose m - b*i - 2*i - 2 = 0, -5*m = 5*i - 10. Suppose 4*l - 4*t = -l + 25, -3*l + 5*t + 28 = 0. Solve 5 + l = m*u for u.
3
Let i be (12/8)/((-3)/(-4)). Let y(m) = 3*m - 11. Let d be y(5). Solve -a = -i*a - d for a.
-4
Let j(l) = l**3 + 14*l**2 + 26*l + 29. Let z be j(-12). Solve 3*b - z*b = -8 for b.
4
Suppose v - 2*v = 0. Solve -i - i = v for i.
0
Let g = -26 - -16. Let b be (-2)/g + 19/5. Let y be 4/6*(-27)/(-2). Solve -b*j + j = -y for j.
3
Suppose -7 = -5*c + 13. Let j(r) = r**2 + 2*r. Let u be j(-2). Suppose 4*s + t = 10, 3*s + s - 2*t - 4 = u. Solve s*b - c = -0 for b.
2
Let h(z) = 0 + 12*z + 6 + z**2 - 1. Let u be h(-11). Let r be 16/12*u/(-4). Solve -7*x = -r*x for x.
0
Suppose j + 6 = 4*j. Solve h = -h + j for h.
1
Let t = -377 - -378. Let n(k) = k - 4. Let d be n(4). Solve d = 2*m + 11 - t for m.
-5
Let h(o) = 2*o + 1. Let n be h(7). Let u = -25 - -29. Suppose 3*r + n = 3*m, -3 + 13 = u*m - 2*r. Solve m = -5*p + 19 + 6 for p.
5
Let r = 17 - 9. Suppose -7*b + r = -5*b. Solve 7 + 5 = b*f for f.
3
Let c(r) = r - 7. Let z be c(9). Solve 0 = -2*o - z - 0 for o.
-1
Let p = -15 + 15. Solve p = 7*w - 4*w for w.
0
Suppose 2*z = 1 - 1. Solve z*p = 5*p + 15 for p.
-3
Suppose -u = 3*o + 2*o - 13, 4*u - 2*o - 8 = 0. Solve 4 = -i - u*i for i.
-1
Let y(w) = w - 4. Let l be y(4). Solve l = -3*x - 12 + 3 for x.
-3
Let i be 4/((-12)/(-1))*3. Solve 0 = -4*x + 3 + i for x.
1
Suppose -5*v + 5*f + 375 = 0, 5*f = -v + 38 + 37. Suppose -v = -3*s - 2*s. Let c = -11 + s. Solve d = -c - 1 for d.
-5
Let w(r) = -2*r**3 + r**2 + 2*r + 1. Let h(m) = m**3 + 9*m**2 - 9*m + 9. Let c be h(-10). Let v be w(c). Solve -v*y + 15 = -5*y for y.
-5
Suppose 2*o - 3*d - 27 = 0, -5*o + 60 = -0*d - 5*d. Suppose -6 = 7*x - o*x. Solve 0 = -3*r - 0 - x for r.
-1
Suppose -3*h + 2*h = -p, -4*h + 6 = -p. Solve -7*x + h*x = -5 for x.
1
Suppose b = -2*l - 3, 0 = -3*l - 0*l - 2*b - 2. Let h(n) be the first derivative of n**3/3 + 2*n**2 + 4*n - 2. Let t be h(l). Solve -t*m = m for m.
0
Let y(t) = -20*t**3 - 4*t**2 - 3*t - 2. Let u be y(-2). Let q be (-1)/(-4) + u/(-16). Let b be 3/(-12) + q/(-4). Solve 6 - b = -z for z.
-4
Suppose s + r = -r - 8, 20 = -s - 5*r. Solve 12 = -s*i + 4*i for i.
3
Let f(n) be the second derivative of -7/12*n**4 + 4/3*n**3 - n + 0 + 1/20*n**5 - 3*n**2. Let b be f(6). Solve -b*a = -a for a.
0
Let d(i) be the third derivative of i**5/60 + 5*i**4/24 + 2*i**3/3 - 2*i**2. Let h be d(-4). Solve -v + 0*v = h for v.
0
Let p = -101 - -104. Solve -p*y - 9 = -0*y for y.
-3
Let u(g) = -2*g**3 - 2*g**2 + g - 2. Let w be u(-2). Solve 0*j - w = j for j.
-4
Suppose 0*y = 4*y + 4. Let a = 3 - y. Solve -a*c + 2*c = 4 for c.
-2
Suppose 0 = -5*f + 1 + 44. Let v = f + -14. Let y = 9 + v. Solve -13 = y*z + 3 for z.
-4
Let u be 4*(0 - 1 - -2). Solve 0*n - u*n = 20 for n.
-5
Let t be (-3)/(-9) - 22/(-6). Solve g = -t + 8 for g.
4
Let i = 94 - 93. Solve 0 = 4*x + i + 7 for x.
-2
Let q = 9 + -15. Let h = q - -8. Suppose -2*w = v - 9, 4*v - 4*w - 2 = h*v. Solve -v*b = -b + 12 for b.
-3
Let p be 77/4 + 1/(-4). Let f = -32 - -14. Let o = -13 - f. Solve o*c + 6 = -p for c.
-5
Let c = 33 - 28. Solve 0 = c*z - 4 - 11 for z.
3
Let q = 2 - -1. Solve q*i = -i - 4 for i.
-1
Let m = -27 - -47. Suppose 2*j = -q - 0*q + m, -24 = -j - 4*q. Solve -4*l + j = -0 for l.
2
Let q = 26 - 18. Suppose -9*w = -q*w. Solve -5*r + 14 + 11 = w for r.
5
Suppose -2*x = -3*s + 12, -4 = -2*s + 4*x + 12. Solve -2*n = s*n for n.
0
Let c be 2/(-5) - 22/(-5). Let q = -33 - -41. Solve 0*p - q = -c*p for p.
2
Suppose -6*j = -3*j - 15. Suppose -h - j = -3*z, 5*h + 0 + 3 = 4*z. Suppose 0*p = -z*p. Solve p = 2*a - 2 for a.
1
Let b = 62 + -36. Suppose -t + 2 = 2*i + b, t = 5*i + 4. Let o be 2 + -5 - t/2. Solve 0 = -o*c + 1 - 6 for c.
-1
Let o be 6/(8/(-2 - -6)). Suppose 0 - 6 = -o*j. Solve -z + j*z = 1 for z.
1
Let o = -7 - -12. Suppose 0*f = o*f. Solve -6*z + 2*z - 20 = f for z.
-5
Suppose -2*g + 7 = 5*o + g, 4*g + 4 = 0. Solve o*k = k + 4 for k.
4
Let o(y) be the first derivative of y**4/24 - y**2 + 3. Let d(h) be the second derivative of o(h). Let s be d(2). Solve -12 = s*x - 2 for x.
-5
Suppose f - 2 = -3*f - 2*d, 1 = -2*f + d. Solve -3*o + 2*o = f for o.
0
Let x = -111 - -113. Solve 0 = -2*h - x*h + 16 for h.
4
Let z = -26 - -14. Let w = 13 + z. Solve -w + 13 = 3*b for b.
4
Let m be 6/3*5/2. Suppose 0*f + 15 = 5*o - f, -m*o - 4*f = 10. Solve 0 = -o*r - 3*r for r.
0
Let n = -13 + 23. Suppose 0 = -4*i - 20, -3*v = -5*v + 2*i + n. Solve 6*z - 3*z + 15 = v for z.
-5
Let q = 5 + -3. Let n be (-595)/(-102) - (-2)/12. Solve 4 = q*l - n for l.
5
Let k(p) = p + 5. Let m be k(-5). Solve 2 = -t - m for t.
-2
Let l(g) = -g**2 - 9*g - 4. Let o be l(-8). Suppose o*w - 15 - 21 = 0. Solve 0*t = 3*t - w for t.
3
Let d be (-1)/((-1)/(-6)*-2). Let k be (d/2)/(9/24). Suppose -k*m = 0, -3*p + 6*m - m + 45 = 0. Solve -3*a + 6*a - p = 0 for a.
5
Suppose 2*k - 22 = -5*r + k, 0 = 3*r - 5*k - 30. Solve 13 = -2*w + r for w.
-4
Let k(u) = u**2 + 2*u - 12. Let o be k(-6). Solve -i - 2*i - o = 0 for i.
-4
Let j be (4/(-3))/(3/(-9)). Let i = 4 - j. Solve -1 = -a - i for a.
1
Suppose -5 = -2*u + 1. Suppose 5*z = 2*n + 65, -26 = -2*z + 3*n - 0*n. Solve u*s + 4 = z for s.
3
Let m(s) = -s**2 - 7*s - 9. Let u be m(-6). Suppose -3*o + 2*i + 9 = 0, -3*i - 16 = 4*o - 9*o. Let w = o + u. Solve q - 5 = w*q for q.
-5
Let n = -18 + 18. Solve n = -2*a - 3*a + 20 for a.
4
Suppose 40 + 0 = 5*u. Solve -j - u = -3*j for j.
4
Let x = 11 - 8. Solve 0 = x*n + 2 - 17 for n.
5
Let g(b) = -19*b**2 + 2*b. Let f be g(1). Let a = f - -22. Let x be (4/2)/(0 - -1). Solve a*u - x*u = 9 for u.
3
Suppose -71 = -3*r - 2*n, -n + 94 = 4*r + 2*n. Solve 4*z + r = -z for z.
-5
Let y(h) = h - 1. Let z be y(16). Let b be (-57)/(-21) - 4/(-14). Suppose 0 + 9 = b*r. Solve r*m - z + 0 = 0 for m.
5
Let o(d) = -d**2 + 3*d + 3. Let t be o(3). Suppose 4*v = t*v. Solve 3*b + 6 - 21 = v for b.
5
Let v(n) = n - 3. Let h be 43/3 - (-2)/3. Suppose -4*l - l + h = 0. Let o be v(l). Solve o*d = d for d.
0
Let v(n) = -n**3 - 7*n**2 - 3*n - 4. Let l be v(-3). Let r = l + 33. Let s(q) = q**3 - q + 2. Let z be s(0). Solve z*d = -r*d for d.
0
Let w(f) = -f**2 + 6*f + 3. Let u(t) = -t - 6. Let k be u(-11). Let i be w(k). Solve 2*x - i = -2*x for x.
2
Let h(a) = a**2 - 3*a + 4. Let r be h(3). Suppose -r*x + 12 = -3*o, o - 2*x = 5*o - 6. Solve 0 = -3*u - 3 - o for u.
-1
Let p = 6 + -6. Solve -3*c + c = p for c.
0
Suppose j - 62 = -5*g, -29 = -4*g + 5*j + 9. Solve -3*d = -0*d - g for d.
4
Suppose 2*r + 2 = 3*u - 1, 2*r - 4*u + 4 = 0. Solve 5 = -r*p + 5*p for p.
1
Suppose 5*z + 8 = 48. Solve l = -l + z for l.
4
Let h(t) = 40*t - 35. Let w be h(1). Suppose 0 = 2*z + 3*z. Solve z*g + w = -5*g for g.
-1
Suppose -c + 6 + 2 = 0. Solve -6*o + c = -2*o for o.
2
Let t = 8 - 8. Solve -6 = -t*c - 3*c for c.
2
Let z = -3 + 3. Suppose 0 = 4*q + 4*j - 32, 4*q - 25 = -5*j + 4. Let k = q - 4. Solve -4*s - 5 - k = z for s.
-3
Suppose -2*v + 8 = -2. Suppose -u = -3*y + 7, 0*y - 3*y + 2*u = -v. Solve q + 8 = -y*q f