 for y.
3
Suppose -2*h = -h - 4. Solve 21 = h*o + 5 for o.
4
Let k(t) = -t**3 - 8*t**2 - 6*t + 10. Let v be k(-7). Let r = v + 0. Suppose -4*b = r*x - 6, -x + 6 - 4 = -2*b. Solve -q + x = q for q.
1
Suppose -5*j - 2*r + 3*r = -133, -3*r - 9 = 0. Let h = j + -17. Suppose 5*b = 2*z + h, 5*z - 27 = -5*b + b. Solve -z*s + 0*s = -3 for s.
1
Let p(c) = c - 7. Suppose -3*g = -5*g + 14. Let s be p(g). Solve 3*h + 1 + 2 = s for h.
-1
Let m(i) = -i**3 - 12*i**2 + 11*i - 24. Let t be m(-13). Solve 0*j - 6 = t*j for j.
-3
Let g(t) = -4*t + 4. Let n be g(-6). Suppose -4*y + 3*f - 25 = 1, 3*y + 2*f + n = 0. Let r = 8 + y. Solve r = w - 3*w for w.
0
Let w = 10 + -5. Suppose -g - w*t = -4*t + 6, 0 = -4*t - 16. Let d = g + 5. Solve -d = -5*u + 4*u for u.
3
Let n be (2*(-2 - 0))/(-2). Suppose 0*q - n*q = -20. Solve -q = r - 3*r for r.
5
Let y(r) = -2*r - 13. Let m be y(-9). Solve -m*z = -0 - 5 for z.
1
Let l be 1 - (-3)/(0 - 3). Suppose -15 = -3*h - l*h. Solve 0 = -w + h*w - 20 for w.
5
Let v be (-11)/(-7) - (-102)/238. Solve -v = s + s for s.
-1
Let m(y) = -y**2 - 5*y - 4. Let c be m(-3). Suppose -c*q = 0, -4*g = -q - 2*q - 16. Suppose -5 + 1 = -g*l. Solve 2*n + l = -1 for n.
-1
Let t(u) = -u**3 - 32*u**2 - 29*u + 67. Let w be t(-31). Suppose -5*i = -3*q, i + i - 5*q = 0. Solve i*f - w = f for f.
-5
Suppose -2*l + 60 = -0*l. Let i = l + -18. Let z be i/(-16) - (-22)/8. Solve -3*s + 8 - z = 0 for s.
2
Let g be 16 - (3 + -4 - -1). Suppose 0 = 3*s + s - g. Suppose -8 = -4*q, -3*x + s*q + 9 = 7*q. Solve -1 = -b + x for b.
2
Let i = 2 + 7. Suppose -1 = 4*o - i. Solve k - 1 + o = 0 for k.
-1
Suppose -l - 4*p = -0*l - 4, 4*p + 76 = 4*l. Let d = l - 10. Suppose -4*m - 5 = 5*t - 92, -2*m + d = 0. Solve 3*g = -2*g + t for g.
3
Let i(t) = -2*t + 19. Let u(p) = -3*p + 28. Let s(y) = 7*i(y) - 5*u(y). Let b be s(8). Solve -a + b = -2 for a.
3
Let o be -3 + -4 + 1 + -2. Let u be -3 - (-4)/(o/(-6)). Solve 3*k = -u*k for k.
0
Suppose 0 = 5*l - 24 - 11. Solve -l*g + 2*g = -5 for g.
1
Suppose 68 + 40 = 5*a + 4*z, 5*a - 96 = 2*z. Solve -4*k + a = -0 for k.
5
Suppose o = -3 + 5. Suppose o = 3*j - 1. Solve -2*x = -j + 3 for x.
-1
Let y = -64 + 65. Solve 5*x = 4 + y for x.
1
Let f be ((-2)/(-2))/1 + -1. Let s = 11 - 11. Let y = f + s. Solve -u + 0*u + 2 = y for u.
2
Suppose 4*h = -j + 35, 2*h + 3*j - 6 = -1. Solve -9*q + 4*q + h = 0 for q.
2
Let q(m) = m**3 + 8*m**2 + 7*m. Suppose 40 + 10 = 5*j. Suppose -2*f - 3 = -5, 2*k + 4*f = -j. Let p be q(k). Solve p = g - 2 - 0 for g.
2
Suppose 3*a - 24 = 2*z + 3, -2*a = -3*z - 38. Let g = -8 - z. Suppose -q = -g - 0. Solve -9 + q = v for v.
-5
Let z(g) = 0*g**3 + 15 + 5*g**3 + 0*g**2 + 12*g**2 - 12*g - 4*g**3. Let r be z(-13). Solve -3*w - 20 = r*w for w.
-4
Let w = -8 - -10. Solve 0 = -3*x - w*x + 25 for x.
5
Let d(u) = u**3 - 10*u**2 + 12*u - 9. Let h be d(9). Suppose l + 3*s = h, 6*l - 28 = 2*l - s. Solve 0 = -4*z + l + 2 for z.
2
Let o = -152 - -62. Let r = -54 - o. Suppose 2*l + r = 5*l. Solve u + 2*u + l = 0 for u.
-4
Let z be 0 - (-6 - -4 - 5). Let r = -4 + z. Solve r = v + 4 for v.
-1
Let a be 1 - (0/2 + 1). Let n = 0 - a. Suppose n = -3*s + 6. Solve 0 = s*b + 8 for b.
-4
Suppose -3 + 31 = r. Suppose -3*b - b = -2*d + r, 3*d - 4*b = 48. Suppose -6*p + d = -p. Solve -p*g = -9*g for g.
0
Let k(a) = -a + 6. Let m be k(5). Let s be ((-135)/(-20))/(m/(-12)). Let t be (-3)/(-4) - s/36. Solve t*j = 6*j + 9 for j.
-3
Let m be (-33)/(-77) + -1 + (-78)/(-14). Solve m*a + 9 + 11 = 0 for a.
-4
Let f(t) = -t**3 - 5*t**2 - t - 7. Let u be f(-5). Let r be (u + -2)/(-4 - -2). Solve 3*c - r*c = 4 for c.
4
Let b(d) = d - 1. Let q = 29 + -25. Let o be b(q). Solve -14 = -o*m - 5 for m.
3
Let b be -3 - (-12)/1 - (3 - -1). Solve 0 = 5*h + 10 + b for h.
-3
Let u(a) be the second derivative of a**5/10 + a**4/12 - a**3/6 + 7*a. Let h be u(1). Solve -h*r - 4 = 2*r for r.
-1
Let m be 0/(1 - 2)*1. Solve l = -m*l for l.
0
Let x(s) = 4*s - 1. Let b be x(1). Solve -2*f = -11 + b for f.
4
Suppose -2*r + 3*t = -25, -2*r - 4 = 3*t + 1. Solve -16 + 6 = r*a for a.
-2
Let u = 1 + 8. Solve u = -w + 4*w for w.
3
Let k = -4 + 7. Let t be 0 + k + -4 - -8. Solve 0 = 5*q + 2 - t for q.
1
Let g(b) be the second derivative of 2*b**3/3 - b**2 - 2*b. Let t be g(3). Solve -4*z + t = -10 for z.
5
Suppose 5*c - 2*x = 17, x - 10 = -4*c + 14. Suppose -5*w + 3*l = -54 + 1, 0 = c*w + 5*l - 45. Suppose d = -4*d + w. Solve d*s = 1 - 3 for s.
-1
Let x(z) = z**2 + 5*z + 6. Suppose 4*y - 31 = -r, r + y - 9 = 7. Let d = r - 15. Let l be x(d). Solve 0*c - l*c = -10 for c.
5
Suppose 17 = 3*u + 2. Solve u*f - 1 - 4 = 0 for f.
1
Let x = -25 + 27. Let q(b) = 2*b**2 - 4*b + 2. Let l be q(x). Solve -2 - l = 2*m for m.
-2
Let r(j) = -j**2 + 0*j + 5 - 5*j + 1. Let a be r(-6). Solve 3*k - 8 - 7 = a for k.
5
Suppose 2*s + 2*s - 12 = 0. Let v(i) = i**2 + 4*i + 3. Let c be (0 - -3) + -3 + -3. Let n be v(c). Solve s*b - 8*b = n for b.
0
Suppose 4*p - 42 = p. Let z(l) = 2*l**2 - l + 4. Let c be z(-3). Let k = c - p. Solve -3*b + k = -1 for b.
4
Let g(h) = -h**3 + 5*h**2 + 5*h + 8. Let y be g(6). Solve -y*o = 3*o - 15 for o.
3
Suppose 3*v = -v. Let k be 18/2 - (1 + v). Suppose -k = -3*x + 10. Solve -x = -2*y - y for y.
2
Let n(d) = 2*d + 2. Let a be n(1). Solve a*x = 2*x + 2 for x.
1
Suppose 2*u - u - 3 = 0. Suppose y = u*y. Solve y = -3*o + 4 + 8 for o.
4
Suppose -u = 2*r - 3*u, 0 = -5*r - 4*u + 18. Solve -r*b = -b for b.
0
Suppose -n - 4*l = 2, -2*l - l + 31 = 4*n. Solve -y = y + n for y.
-5
Suppose 4*r = -2*t + 2*r, 0 = 5*t - 2*r - 14. Solve -t*x - x = 12 for x.
-4
Suppose s - 1 = 1. Solve s = -4*c + 22 for c.
5
Let z(u) = -2*u**3 - 5*u**2 - 4*u - 1. Let w be z(-3). Solve -4*i + 0 = -w for i.
5
Let t be (15/(-9))/(1/(-3)). Suppose -t*h + 51 = -24. Solve -2*a = -h + 5 for a.
5
Let o be ((-5)/(-10))/((-4)/(-48)). Let g = 85 + -60. Solve o*u + g = u for u.
-5
Suppose 6*r - 15 = r. Suppose r*d = -4*g + 5*d + 20, -2*d + 4 = 2*g. Suppose 23 + 2 = g*z - 5*p, -4*z = 5*p + 25. Solve 3*t + t = z for t.
0
Let k = -21 - -21. Solve -2*c = -8 - k for c.
4
Let d(g) = 8*g - 4*g**2 + 3*g**2 + 6*g - 13 - 3*g. Let l be d(9). Solve -2*o + 1 + l = 0 for o.
3
Suppose 5*g + 40 = 3*t, 4*t - 3 = -2*g + 7. Suppose q = t*q - 12. Solve q*c = 7 - 1 for c.
2
Let k = 16 - 13. Suppose -16 = 3*g + g, k*l - 28 = 4*g. Solve -2*p + p + l = 0 for p.
4
Let j(u) = 3*u**2 - 1. Let v be j(1). Let s be (-1 + 0)*(-6)/3. Let m(p) = p**3 + 12*p**2 + 10*p - 3. Let t be m(-11). Solve -s*h - v = -t for h.
3
Suppose -d = -5*o - 20, -4 = -4*d - 2*o + 10. Solve d*a = a for a.
0
Let g(n) = 2*n**3 - 5*n**2 + 4*n. Let z be g(2). Solve -3 = z*l - 3*l for l.
-3
Suppose 11 - 26 = 2*w + 5*h, 5*w = -3*h + 10. Let d be (-2)/8 - w/(-20). Solve y + 3*y = d for y.
0
Let t = 10 - 13. Let p be (t*5)/((-12)/20). Solve -5*i + 0*i + p = 0 for i.
5
Suppose s - 6*s - 6 = -3*j, -5*s - j + 2 = 0. Let n be (16/6)/((-6)/(-9)). Let g(c) = -2*c - 2. Let d be g(-3). Solve -5*l + n*l - d = s for l.
-4
Let g(v) = -7*v**2 - 1 + 2 + 2 + v**3 + 7*v. Let t be g(6). Let q(z) = -z**2 + 8*z + 22. Let m be q(10). Solve m*k - t = -k for k.
3
Suppose 0 = 2*v - 7 + 17. Let k(s) = -s**3 - 6*s**2 - 3*s + 12. Let x be k(v). Solve t = -x*t + 15 for t.
5
Let w be -7 - 30/(-6) - -11. Solve -1 = -4*j - w for j.
-2
Let y be 0/(-2 - (-12)/4). Solve y = -x + 2 for x.
2
Let g(p) be the second derivative of p**5/20 + p**4/3 - p**3/2 + 2*p**2 + p. Let w be g(-5). Let i = -4 - w. Solve 0*b + 6 = i*b for b.
3
Let q = -57 + 59. Suppose -a + 0*a + 1 = 0. Solve -s + q = a for s.
1
Let t be 3/(2 + 3/18*-3). Solve 0 = t*a - 0*a - 10 for a.
5
Let m be (-82)/(-8) - (-1)/(-4). Solve 0*f = 2*f + m for f.
-5
Let r be 838/5 + (-2)/(-5). Suppose 0*y + 2*y = -r. Let n be 3/5 - y/35. Solve 3*f + n = -12 for f.
-5
Let p = 26 + -25. Solve -1 = 2*g + p for g.
-1
Let z(v) = -v**3 + 2*v**2 + v. Let i be z(-1). Suppose -w - i = -4. Solve m = -w*m + 3 for m.
1
Suppose 4*x = z + 14, 5*x + 0*z = 4*z + 12. Solve 4 + x = -2*t for t.
-4
Let n be 4 - (2/(-1))/2. Let d = -6 + -1. Let z = 13 + d. Solve -k + z*k = n for k.
1
Let v be (0 - (0 - 0))/3. Suppose -2*b + 8 + 22 = v. Let g(s) = s**3 + 4*s**2 + 2*s - 2. Let m be g(-2). Solve b = m*z + z for z.
5
Let h(a) = -5*a - 3. Let c be h(-3). Suppose 2*q - c = 2*d, -q + 18 = 3*d - 8*d