5*y - x - 3 = 0 for y.
3
Let d = -109 + 111. Let h be (-4)/14 - 303/(-7). Suppose -k + h = d*n, 6 - 3 = k. Solve q = 6*q - n for q.
4
Let h = 23 - 21. Let t = 5 - h. Solve 0 = p + t*p + 4 for p.
-1
Suppose 55 = 5*q + 5*f, 2*f - 3*f = -4. Let b = 11 - q. Suppose 0 = 2*u - b - 8. Solve 2*g = u*g - 20 for g.
5
Let n = -80 - -84. Let q be (12/(-16))/(n/16*-1). Solve 0 = -c - 0*c + q for c.
3
Let r be (1/2)/((-17)/(-510)). Solve r - 21 = -3*w for w.
2
Suppose 5*n - 57 = 33. Suppose 0 = -21*s + n*s + 12. Suppose -i - 3*p + 1 = -7*p, 2*i - 9 = p. Solve s = -g + i*g for g.
1
Let c be (3 + -4)*-5*12/(-10). Let w be (c/9)/(2/(-6)*1). Solve -w*q = -0*q for q.
0
Let k = -752 + 754. Solve -7 = -5*p - k for p.
1
Let y = -23 - -33. Let j(n) = -n**3 - n**2 + 3*n - 2. Let p be j(2). Let i = y + p. Solve -i*v = v + 6 for v.
-2
Let f be (-9)/3*-2*2. Let a(l) = -l**3 + 13*l**2 - 13*l + 15. Let m be a(f). Suppose 3*h + 4 = -h + m*v, 0 = -2*h - v + 8. Solve -b - h = -1 for b.
-1
Let u = -481 + 505. Solve 10*w + u = 2*w for w.
-3
Let x be ((-11)/(-55))/((-2)/(-60)). Solve 14 - x = -8*d for d.
-1
Suppose 15*f - 20*f + 35 = 0. Solve -10*d = -6*d + f*d for d.
0
Let m(l) = -l**2 - 13*l - 35. Let j be m(-5). Solve -3*u + 4 = -j for u.
3
Suppose -6 = 2*o, 31 = 5*l - 3*o + o. Solve 0 = l*v - 0*v for v.
0
Let w = 71 + -58. Solve 3 = -5*f + w for f.
2
Let z be 1 + (27 - 2) - 2. Suppose 5*a + 4*m - 16 = 12, z = 5*a + 2*m. Solve a*o + 0*o + 20 = 0 for o.
-5
Suppose 22 = 2*c + 6. Let m = c + -6. Suppose 4*w + h - 102 = -h, w + m*h - 27 = 0. Solve -w = -5*d - 0*d for d.
5
Let w be 1 + 15*2 - 1. Let a = 31 - w. Solve a + 9 = -2*r for r.
-5
Suppose -440 = o - 12*o. Solve -o*b = -38*b for b.
0
Let l be 6/7*(-154)/(-22). Solve -l*g - 2 = -7*g for g.
2
Let a be -3 - (0 + (-15)/5). Suppose 4*v = a, -3*h + 2*v = -v. Solve h = -f - f - 6 for f.
-3
Let o(i) be the second derivative of i**3/3 + 7*i**2 + 14*i. Let t be o(-6). Solve -m - 6 = t*m for m.
-2
Let b(h) = -h**2 + 22*h + 149. Let g be b(-5). Solve 56 = -14*q + g for q.
-3
Suppose 0 = -5*w + 8*w - 90. Solve -w = 6*n - 0*n for n.
-5
Let q(r) = 2*r - 4. Let y be q(4). Suppose -4 = y*h, 0*b = b - 3*h - 7. Solve 0 = -b*d + 2*d for d.
0
Let p be 6/(-15) - 0 - 380/50. Let k(y) = y**2 + 5*y - 22. Let n be k(p). Solve 0 = 5*r - n*r for r.
0
Let d(x) be the first derivative of 2*x**2 - 21*x + 22. Let v be d(6). Solve -2*j - v*j = 10 for j.
-2
Let m = -76 + 73. Let n(b) = -b**3 - 3*b**2 - 3*b - b + 3*b + 1. Let a be n(m). Solve -a*r + 5*r = 4 for r.
4
Let o be (-4)/9 + (-14168)/(-693). Solve o*l - 5 = 19*l for l.
5
Suppose -7 = -8*d + 9*d. Let s be d - -4 - (-23 + 2). Suppose 6*j - 28 = 3*j + 5*m, 3*m = -4*j + s. Solve y + j = 1 for y.
-5
Let z be 4 - (-1 - -2)*(-154)/7. Let u(h) = 23*h**2 + 1. Let x be u(-1). Let t = z - x. Solve -1 = t*i - i for i.
-1
Let b = -115 - -120. Solve b*d + 12 = -13 for d.
-5
Let o(i) = 2*i**3 - 10*i**2 - 2*i + 13. Let p(j) = 5*j**3 - 30*j**2 - 5*j + 39. Let n(m) = -8*o(m) + 3*p(m). Let r be n(-10). Solve -4*g + r*g + 1 = 0 for g.
1
Suppose -3 = 5*r - 183. Suppose -r = -5*g + 29. Suppose 10*h = g*h - 6. Solve 4*d = h*d for d.
0
Suppose -d - 3*d - 40 = 0. Let i = -7 - d. Solve -i = 4*y - 7 for y.
1
Suppose 4*o - 17 = -9. Suppose -y + 2*l + 8 = 0, -2*y - 5 = -o*l - 13. Solve 3*i - 4 - 5 = y for i.
3
Let f be (-10)/(-35) + 4*(-95)/(-140). Solve f + 0 = -s for s.
-3
Suppose 0 = u + 2*p + 1, -3*p - 3 - 30 = -3*u. Solve u*l + 1 = -34 for l.
-5
Let m = -15 + 17. Suppose 0 = -w + 2*x + m, 3*w + 4*x = 39 + 7. Let t = 10 - w. Solve t = -5*b + b - 12 for b.
-3
Let i = 14 + -10. Suppose -i*d = 4, 0 = -2*h + 3*d - 8*d + 5. Solve -h*j = -2*j for j.
0
Let r(j) = -j**3 + 12*j**2 + 14*j + 19. Let o be r(13). Solve -31*y = -o*y + 3 for y.
3
Let a(f) = 4*f + 1. Let w(y) = 3*y + 2. Let r(j) = -5*a(j) + 6*w(j). Let k be r(2). Solve 2*z + 9 = k for z.
-3
Let l(s) = 2*s**2 + 2*s + 2. Let y be l(-2). Let q = y - 1. Let d(z) = z**2 - 15*z + 14. Let x be d(14). Solve q*a - 1 - 4 = x for a.
1
Let j(r) be the first derivative of 2*r**3/3 + 1. Suppose -2*a + 3*a - 1 = 0. Let t be j(a). Solve h = -t*h for h.
0
Let f(z) = -z + 11. Let g be f(10). Solve -8*j - g - 23 = 0 for j.
-3
Let d(a) be the third derivative of a**4/24 - 4*a**3/3 + 2*a**2. Let l be d(9). Solve 4*r + l = 3*r for r.
-1
Let g = 1 - 4. Let z be (-14)/(-35) - g/5. Let a be (z + -9)/(2/(-1)). Solve -a*j + 5*j - 5 = 0 for j.
5
Let w be (2 + -2*3/3)/4. Let z(y) = y**2 - y + 13. Let c be z(0). Suppose -c*n + 12*n + 3 = w. Solve 3*d - 3 = n for d.
2
Let x = -28 + 25. Let g be (-30)/(-45) - 4/x. Let k = -1 + 5. Solve -k*r = -6*r + g for r.
1
Let a(i) = i**3 + 6*i**2 + 4*i - 3. Let z be a(-5). Suppose 4*s - 2*s - 26 = z*p, 4*p + 32 = 2*s. Let t be (-1)/4 + 2/8. Solve -2*o + t = s for o.
-5
Suppose -2*f = r - 13, 49*f - 44*f - 2*r - 1 = 0. Let v be -1 + (2 - 2) - -1. Solve 0*n - n - f = v for n.
-3
Suppose 2*x - 202 = 2*y - 0*y, -5*y - 309 = -3*x. Let m be (-1 + 13)/(3/2). Let r be x/m + (-4)/16. Solve 0*j + 4*j = r for j.
3
Let f(o) = -2*o**2 + 4*o - 4. Suppose 4*v + 4*w = -12, -2*v - v + 11 = -w. Let a be f(v). Let q = 0 - a. Solve 5 + 3 = -q*h for h.
-2
Suppose 31*r - 68 = 56. Solve r*k - k = -2*k for k.
0
Let h be -7 - (-153)/(-36)*-4. Solve 6 = h*i - 14 for i.
2
Let k(p) = -10*p**2 + 48*p + 12. Let u be k(5). Solve 4 = 2*n - u for n.
3
Suppose 5*k = 8 + 37. Suppose -p - 3*t - 13 = 0, 0*t + 5*t + 27 = p. Suppose -k = -p*q + 9. Solve -4*f - 1 = -q for f.
2
Let k(h) = 3*h**2 + 4 - 9*h**2 - 11*h + 5*h**2. Let u be k(-11). Solve 0*r = u*r + 4 for r.
-1
Suppose -2*t - 5*l = -4*l - 13, -5*t = -2*l - 55. Solve t = 7*q + 2 for q.
1
Suppose -17 = -a - 5*h + 3, 3 = 3*a - 4*h. Solve -a*v = 57 - 57 for v.
0
Let r(f) = -f**3 + f**2 + 8*f + 7. Let n be r(-2). Suppose -5*y = 3*d + 3 - 28, 5*y - 25 = 4*d. Suppose -23 = y*o - 83. Solve o = -0*t + n*t for t.
4
Suppose p + 8*u - 7*u = 14, 23 = 2*p + u. Solve 44*h - 41*h = p for h.
3
Suppose -13*v - 107 = -198. Solve -3 = 2*c + v for c.
-5
Let q = 368 - 364. Solve -q = 25*b - 21*b for b.
-1
Let c(v) = -11*v. Let r be c(-1). Let z be 5/20 - r/(-4). Suppose k + 10 = z*k. Solve -16 = -k*b + 9 for b.
5
Let w(n) = n**2 - 9*n + 2. Let r be w(9). Let g(f) = -f**2 + 2*f. Let d be g(r). Solve -5*q + 6*q = d for q.
0
Let h = -6 - 0. Let r be (h/4)/((-2)/4). Suppose -2*i + 1 = -r. Solve 12 = i*j + 2 for j.
5
Let i(g) = g**2 + 13*g. Let k be i(-12). Let f = k + 21. Let n be (f/(-6))/(1/(-2)). Solve n = -0*x - 3*x for x.
-1
Let o be (-11)/22*(0 + -6). Let m be 2/2*5*1. Suppose 4*x - 3*k = 31, 0 = m*x + 3*k - 2 - o. Solve 0*q - x*q = -20 for q.
5
Let q = -58 + 107. Let p = q - 38. Let l(n) = -n**2 + 5*n - 4. Let d be l(4). Solve d = 4*c + 1 + p for c.
-3
Suppose -11*k + 45 = -6*k. Suppose -46 = -5*s + 2*l, 2*s = 4*s - 2*l - 16. Let u = s - k. Solve 2*n = 3 + u for n.
2
Suppose -3*s - 25 = -49. Solve 2*i = -4 + s for i.
2
Suppose -2*n + 0*n = -30. Suppose -3*d + 4*m + 75 = 0, 3*d - 5*d - m + 39 = 0. Let c = 24 - d. Solve c*a + 0*a = n for a.
5
Suppose -3*b + 34 = -4*v, -2*b = -0*b - v - 26. Solve -i - b = -10 for i.
-4
Let l be 785/27 - (-82)/(-1107). Solve -22*b - 28 = -l*b for b.
4
Let a = 48 + -44. Solve -a*z + 0*z = -20 for z.
5
Let x be (2 - (-20)/(-12)) + 8/3. Solve x*d + 4 = 7*d for d.
1
Let w = -61 - -63. Suppose w = 2*b - 48. Solve 8*p - 3*p - b = 0 for p.
5
Let u = 854 - 756. Solve -90 + u = 2*k for k.
4
Let k be (2 - -1) + 0/(-4) + 44. Solve 10*a + k = 7 for a.
-4
Let w be (7/(-5) + 8/20)*-4. Solve 2*r + 8 = w for r.
-2
Let u(z) = z**3 + 25*z**2 + 2. Let i be u(-25). Let s be 2*2/4 + 2. Solve 0 = 3*t - i*t + s for t.
-3
Suppose 0 = b - 1 - 1. Suppose 7*t - 30 = b*t. Let m = 15 + 5. Solve 0 = -t*o + o - m for o.
-4
Let p = 357 + -337. Solve -p = s - 11*s for s.
2
Suppose y = 2*d + 5 + 3, 3*y = 4*d + 18. Let g(l) = -l + 4. Let j = 7 + -3. Let t be g(j). Solve y*a + 8 = -t*a for a.
-4
Suppose -i + s = -47, -i + 9*s + 56 = 5*s. Solve 0 = -8*x - 3*x - i for x.
-4
Let v be (5/(-3)*-1)/(21/63). Suppose 5*l + 2 = -4*d + 10, -4*d + v*l + 8 = 0. Solve -d*h + 3*h = 2 for h.
2
Let q be -2*1/2 - (-128)/16. Solve -8 = -q*z + 5*z for z.
4
Let c(o) = 5 + 6 + 0*o + 0*o - 3*o. Let h be c(5). Let z = h + 12. Solve -5*w = -z*w - 6 for w.
-2
Suppose 10*x - 69 - 1 = 0. So