r o.
0
Suppose -12 = 2*h - 46. Suppose -8*n = -4*n - 5*a + 7, 2*a = -5*n - h. Let m be n/4 - 423/(-36). Solve 0 = -4*z + 5 + m for z.
4
Let d be (1 + -4)*(-12)/9. Solve d*r - 18 + 2 = 0 for r.
4
Let t = 218 - 214. Solve -t*d + 7 - 15 = 0 for d.
-2
Let p be (-4)/((6/4)/(-14 - -8)). Solve -3*z + p = -7*z for z.
-4
Let v be (-6)/(-12)*12/2. Solve 4*h + v = h for h.
-1
Let l = -10 - -2. Let t be 65/4 + 2/l. Suppose 9 = -0*h + 3*h. Solve -7*o + h*o = -t for o.
4
Suppose -q + a = -5, -2*a - 3*a - 20 = 0. Solve z + q = -2 for z.
-3
Let w be 2 + 1 + 0/17. Solve -y = -w*y for y.
0
Suppose 4*d - 6*d = -38. Solve 2*o = -d + 13 for o.
-3
Let t be 4/10 - (-69)/15. Let n(x) = x**2 - 2*x - 5. Let z(m) = m**2 - 4*m - 1. Let d be z(5). Let k be n(d). Solve 6 = -t*s + k*s for s.
-3
Suppose -4 = -l, 3*x - l + 5 = 1. Solve 2*h - 1 + 9 = x for h.
-4
Let n(p) = -1. Let z(t) = -13*t + 5. Let y(v) = -6*n(v) - z(v). Let q be y(1). Solve 6 + q = 4*s for s.
5
Suppose 2*t = 4*a + 34, 5*a - t = -4*t - 37. Let p be (-42)/a - (-1)/(-4). Let o(r) = r**3 + 4*r**2 + 2*r + 1. Let n be o(-2). Solve -p - 10 = n*b for b.
-3
Let b = 50 - 36. Suppose -2*m + b = -0*m - 2*i, -25 = 5*i. Solve -3 - 1 = -m*z for z.
2
Let m = 8 + -6. Suppose 3*t + 37 = -m. Let b = -9 - t. Solve -h = b*h + 20 for h.
-4
Let s(m) = m**3 + m**2 - m. Let z(q) = 6*q**3 - 5*q**2 + 4*q - 8. Let r(w) = 5*s(w) - z(w). Let a be r(9). Solve -t + 5*t = -a for t.
-2
Suppose 7 - 5 = p. Suppose -10 = p*x - 30. Solve 0*m - x = -2*m for m.
5
Suppose 0 = -3*b + 7*b - 5*t - 19, 2*b - 11 = t. Solve -b = -2*x - x for x.
2
Let j be (-2 - 8/(-6)) + 2/3. Solve 2*q + q + 3 = j for q.
-1
Let g be (-4)/18 - 910/(-45). Let d be 4/g - (-2)/(-10). Let h = -1 - -3. Solve h = -2*s - d*s for s.
-1
Let x(r) = 6*r**3 - 1. Suppose 0 + 2 = 2*i. Let n be x(i). Solve n = -y - 0*y for y.
-5
Let w = 26 + -12. Solve 2 = -4*j + w for j.
3
Suppose -4*u + 1 = 13. Let r = u + 7. Solve r*v = 3 + 5 for v.
2
Suppose 11*g - 8*g = 0. Solve 8 = -2*z - g for z.
-4
Let h(n) = -5*n**3 - 9*n**2 - 8*n - 1. Let c(o) = 4*o**3 + 9*o**2 + 8*o + 2. Let u(j) = 4*c(j) + 3*h(j). Let g be u(-8). Solve -16 = -g*m - 6 for m.
2
Let m(b) = -3*b - 2 + 4*b - 2*b. Let u be -12 + 2 - (-5 + 3). Let f be m(u). Solve -3*n - f = -0*n for n.
-2
Suppose -2*g + 13 + 5 = 3*k, -2*g + 3*k + 6 = 0. Let i(o) = o - 7*o**2 + o**3 - 5 + 2 + o**2. Let n be i(g). Solve 4 = n*w - w for w.
2
Let j be (-3)/(-12) + (-6)/(-8). Solve 3*m + j = 4 for m.
1
Let s = -54 + 56. Solve s*x + 0*x - 8 = 0 for x.
4
Let u(q) = q**2 - 9*q + 4. Let r be u(9). Suppose 3*n = 8*n - 3*g - 46, r*n - 3*g - 38 = 0. Solve 0 = -z - 3*z + n for z.
2
Suppose -2*d + 3*d = 16. Suppose -4*z - d = -2*o, 4*z = 2*z - 4. Solve -x + 0 = -o for x.
4
Suppose -275 = 5*y - 0*y. Let h = y + 35. Let i be (24/h)/(2/(-25)). Solve -5*g = -0*g - i for g.
3
Let j(n) = -7*n**3 - 1. Let q be j(-1). Solve g + 3 = q for g.
3
Let o = -3 - -18. Solve -6*d + 3*d = -o for d.
5
Suppose 2*n + 4*z = -1 + 5, -n - z + 3 = 0. Suppose 5 = 5*u - n*u. Solve -u*h = -0*h for h.
0
Let t = -6 + 8. Solve -2*p - 16 = t*p for p.
-4
Let q(p) = p**2 - 10*p + 11. Let y be q(8). Let t be (y - -1)/(-2 - 0). Solve t*w + 4 = -2*w for w.
-1
Let y(x) = -x - 2. Suppose 0*d - 3*z = 5*d + 34, -3*d - 6 = -3*z. Let r be y(d). Solve 1 = -k + r for k.
2
Let w be (-2)/(-17) - 83/(-17). Solve -w*x + 10 = -10 for x.
4
Suppose v + 3*v - 32 = 0. Solve 0 = j + v - 4 for j.
-4
Suppose 5*x = -6 + 6. Solve -3*z - z + 16 = x for z.
4
Let d = -1 - -1. Suppose -14 = p + 5*c - 4, d = p + 2*c + 4. Solve p = 3*j - 6*j + 9 for j.
3
Suppose -2*f = -3*f - 13. Let h = -11 - f. Solve 3 = -n - h for n.
-5
Suppose 0 = 5*r - 9 + 4. Let z be (-13 - (4 - r))/(-2). Solve 33 = 5*o + z for o.
5
Let x(n) = 2*n**2 - 3*n + 1. Let w be x(2). Let c = 4 - 2. Suppose c*a = -w*a. Solve 0 = -t - a*t - 4 for t.
-4
Let i be 8/10*(-25)/(-10). Let b(s) = -s - 3. Let g be b(-6). Solve g*r - i = r for r.
1
Let c = 8 + 1. Solve v - c = -2*v for v.
3
Let a be 7 + (13 - 1)/(-3). Suppose -2*h - 3 = 2*t - 15, -5*h + 3 = -4*t. Solve -a = -3*d + t for d.
2
Suppose 2*q - 8 = 2*w, -2*q - 4*w = 8 + 8. Solve q*t + 2 = -t for t.
-2
Let v(x) = -2*x**2 - x + 1. Let h be v(1). Let s be ((-1)/h)/(-1)*-4. Solve -2*f = s*f - 20 for f.
5
Let i(j) = j**3 + 3*j**2 - 5*j. Let q be i(-4). Suppose -21 = -t + 3*w, -118 = -q*t - w - 4*w. Let f be (-2)/9 - (-114)/t. Solve -f*s + 13 - 29 = 0 for s.
-4
Suppose 5*r + 15 = 0, 5*r = -2*x + 2*r - 7. Solve 1 = 2*i - x for i.
1
Let b be -12 + (-1 + 3 - -2). Let a(j) be the third derivative of -j**4/24 - 7*j**3/6 - j**2. Let k be a(b). Solve 3 = 2*o - k for o.
2
Suppose -8 = k - 0*k + 3*c, 4*c + 16 = -4*k. Let u be 1 + (-21)/(-1) + k. Solve -u = s + 4*s for s.
-4
Suppose 4*w - 7*n = -2*n + 45, -2*w + 2*n = -20. Let h = -197 - -209. Let g be (-4)/3*(-3)/2. Solve -w*c + g*c - h = 0 for c.
-4
Let i(j) = -j**3 + 6*j**2 + j + 7. Let n(g) = -3*g**3 + 17*g**2 + 3*g + 20. Let z(h) = -17*i(h) + 6*n(h). Let q be z(1). Solve 4 + q = u for u.
5
Let p(a) = -a**3 - 2. Let x be p(2). Let n = x - -10. Solve 2*i - i + 5 = n for i.
-5
Let z be 9/(-6) + 6/4. Solve z = d + d - 10 for d.
5
Suppose 0 = -4*m - 2*t - 28, -4*t = -0*m + 4*m + 36. Suppose 0 = -3*u - 0*u - 75. Let k = m - u. Solve 3*i + i = -k for i.
-5
Let j = -22 - -30. Let p be (0 - 18/j)*-4. Solve 3*h - 6 = p for h.
5
Let t(y) = -y + 10. Let x be t(10). Solve 5*m - 5 + 0 = x for m.
1
Suppose 25 = 8*z - 3*z. Suppose -z*h = c - 29, 2*c - 2*h + 3*h - 13 = 0. Suppose 3*g = 3*x + 18, g + c*g + 2*x = 16. Solve g*t - 6 = 2 for t.
2
Let x(t) be the second derivative of -5*t**3/6 - t**2 + 5*t. Let o be x(-1). Solve a = -o*a + 4 for a.
1
Suppose 0 = -3*s + 1 + 2. Suppose 3*n - 2 = s. Solve -n = 4*p - 5 for p.
1
Let w be (-5 - 14/(-3))*-15. Solve -3*a + w = -1 for a.
2
Let d = -33 - -35. Solve -d*x - 10 = 3*x for x.
-2
Let h(l) = 1 + 4*l**2 - 8*l**2 + l + 6*l**2. Let p be h(-1). Solve -12 + p = 5*x for x.
-2
Let m(h) = -h + 1. Suppose -2*j + j = -2. Let n be m(j). Let d be n/((-1)/5)*1. Solve -b = -d*b for b.
0
Suppose -149*u - 12 = -152*u. Solve -1 = u*d + 3 for d.
-1
Let a(x) = x**3 + 5*x**2 - 5*x + 6. Let v be a(-6). Let y(k) = k. Let i be y(4). Solve v*w = -i*w + 12 for w.
3
Let p be (15/(-9))/(3/(-9)). Suppose p*a - 3*a = 0. Solve 5*h - 5 - 15 = a for h.
4
Suppose -5*j = -j. Suppose 2*d = 4*q + 10, 3*q + d - 10 = -d. Suppose -5*s = -4*l, 2*s = -q*s + l. Solve s*w + w - 1 = j for w.
1
Suppose 2*z - z + 25 = 0. Let o = -17 - z. Solve b - o = 3*b for b.
-4
Suppose 0 = -3*v + v. Solve 3*y - 9 = -v for y.
3
Suppose -3 = -3*q + 6. Suppose -14*n + 4*n = 0. Let v be ((-7)/(-2))/((-3)/(-6)). Solve -q*u + v*u + 16 = n for u.
-4
Let k be ((-6)/(-8))/(1/12). Let o be 1/2*2*k. Solve -p = 2*p - o for p.
3
Let u(k) = -k**3 - 7*k**2 - 3*k - 16. Let y be u(-7). Solve h = y*h for h.
0
Suppose -2*f + 12 = f. Solve -7*s - 6 = -f*s for s.
-2
Let a = -7 - -7. Suppose r - 2 = -a. Solve 4*t - 6 = -r for t.
1
Let j = -11 + 14. Let p be (-1)/(-3) - 1/j. Solve -s + 3*s + 8 = p for s.
-4
Suppose 16*q = 5*q. Solve x + q*x = -1 for x.
-1
Suppose -a - 3*j - 11 = -30, 2*a = 2*j - 2. Suppose 6 = -3*l, a*l + 0*l = -3*f + 49. Solve 5*t = -4 + f for t.
3
Let q be 16/28*(-14)/(-4). Solve 2 + q = -4*s for s.
-1
Let f(c) = c**2 - 3*c + 1. Let u be f(2). Let g = u - -5. Solve 0*a + g = 2*a for a.
2
Suppose 3*p = 5*p - 8. Suppose -2*q + 15 = -5*q, -p*q - 12 = 4*g. Suppose 23 = 5*w - 27. Solve -g = -2*j - w for j.
-4
Let u = 8 - 18. Let i = 32 - 17. Let n = i + u. Solve 0 = -3*z - n - 4 for z.
-3
Let r(o) = 4*o**2 + o. Let j be r(-1). Suppose -10 + 1 = -j*v. Let y be v/(9/12 - 0). Solve y*n = 8*n for n.
0
Suppose 0*o + 5*o = 0. Solve 0*n + 5*n - 25 = o for n.
5
Let o = -38 - -58. Solve -5*t - 5 = o for t.
-5
Let h = 2 + 0. Let x be 32/14 - h/7. Let o = 4 - x. Solve o*k + 6 = -k for k.
-2
Suppose -3*n - 12 = -5*q, -q + 1 = n - 3. Solve -5*j + 6*j = n for j.
1
Let l(n) = -15*n - 2. Let i be l(-1). Let p(t) = -t**3 - 7*t**2 - 7*t + 1. Let y be p(-6). Solve -i = -5*z + y for z.
4
Let m = -10 - -12. Suppose 2 + m = 2*u. Let y(k) = 6*k - 1. Let g be y(4). Solve g = 5*q - u for q.
5
Let c(t) = -t**3 + 6*t**2 - 2*t + 17. Let y be c(6). Solve y = 4*w - 11 for w.
4
Let r be ((-3)/6)/(1/12). Suppose -4*j - o = 4*o + 16, 