 h*n = -15 for n.
5
Let g(s) = 10*s - 29. Let t be g(4). Solve -7*b = -t*b for b.
0
Let m(y) = -y**3 - 2*y**2 + 7*y - 11. Let g be m(2). Let f(n) = n**2 + 10*n - 36. Let i be f(g). Solve i*p - 9 = -3 for p.
2
Suppose -3*x = -4*n - 2*x - 9, 0 = 5*n + 4*x + 6. Let w(f) = -f**3 - f**2 + 1. Let a be w(n). Solve a*z + 26 = 6 for z.
-4
Let a be 12 + 10 + -5 - 2. Solve -x = -6*x - a for x.
-3
Suppose -12 - 4 = 16*a. Let q = 21 + a. Solve 3*w + q = -w for w.
-5
Let l(n) = 3*n**2 + 3*n - 6. Let w be l(2). Suppose 17*i - w*i = 25. Solve v - i*v - 16 = 0 for v.
-4
Suppose -4*w - 10 = -5*w. Suppose -2*q - 4*l + 30 = -0*q, -w = -2*l. Suppose 3 = -7*j + 8*j. Solve -j*z + q = 14 for z.
-3
Let b = -482 - -486. Solve 6*i - b = 5*i for i.
4
Suppose -1 = 3*t + 2*l, 3*t - 7*l = -3*l + 29. Solve t*c - 2*c - 2 = 0 for c.
2
Suppose -i - 2 = -3*o, -2*i + 2*o = -0*o - 16. Solve i + 11 = 6*a for a.
4
Let f be ((-66)/(-24))/(1/(-52)). Let a = f - -143. Solve -4*o - 8 = -a for o.
-2
Suppose 0 = 5*w - 2*w. Suppose 3*x + x + 20 = 0, 2*g + 3*x + 13 = w. Solve -2 = -f - g for f.
1
Let l = 1729 + -1708. Solve 0 = -l*w + 46 + 17 for w.
3
Let h be 2/(324/(-165) - -2). Suppose -w + h = 5*u + 4*w, 4*w = -3*u + 34. Solve -o = o + u for o.
-5
Suppose 0 = -2*n + 8*n - 42. Let b be ((-20)/(-5))/(-2)*(-1 - n). Solve 0 = 4*k + b - 0 for k.
-4
Let u = 37 - 26. Suppose 6*t - 23 = -u. Solve -3*n = -n - t for n.
1
Suppose 4*z = -u + 2, 7 = -3*z - u + 9. Solve z = 3*o - 4*o for o.
0
Let w = 21 + -17. Suppose -w*u + 4*p = -24, -5*u + 2*p + 24 = 3. Let a = 11 + -7. Solve 0 = -a*h + u*h + 4 for h.
4
Let f(a) = a**2 + a - 18. Let t be f(-6). Solve -3*u - t - 3 = 0 for u.
-5
Let h(w) = -2*w**2 - 23*w + 16. Let z(p) = -3*p**2 - 22*p + 15. Let f(b) = 5*h(b) - 4*z(b). Let x be f(13). Solve -3*n + x = 4 for n.
1
Suppose -7*m + 10 = -2*m. Let c = m + 1. Let y be (c/(-1))/((-10)/30). Solve -3*v + y + 6 = 0 for v.
5
Suppose 0 = -30*y + 15*y + 690. Solve -12 = y*m - 40*m for m.
-2
Suppose -2*a + 66 = -3*a. Let r be 123/11 - (-12)/a. Let i = 12 - r. Solve -3*z = -i - 5 for z.
2
Suppose -5*g = 11*g - 1152. Solve 0 = 2*k + g - 64 for k.
-4
Let u = 949 - 909. Solve 44 = n + u for n.
4
Let z = 53 + -48. Let t be (-144)/(-40) + ((-8)/z - -1). Solve -u + 0 = -t for u.
3
Suppose 2*d = -d. Suppose d = 3*z + z - 4, 3*z = 3*v - 6. Solve 0 = v*g - 8*g - 10 for g.
-2
Let k(l) = l**2 + 20*l + 66. Let s be k(-16). Suppose -2*q - s*u - 14 = 2*u, -3*q - 4*u - 11 = 0. Solve -q*d + 5 = 2*d for d.
1
Let j(p) = p**3 - 11*p**2 + 19*p - 7. Let o(k) = 2*k**2 - 4*k - 7. Let f be o(4). Let y be j(f). Solve -d - y*d + 6 = 0 for d.
2
Suppose 2*j + 4*s + 4 - 2 = 0, 0 = -4*j + 3*s + 40. Let o(c) = -c**3 + 8*c**2 - 6*c - 7. Let z be o(j). Solve 8 = -z*y + 4*y for y.
2
Let k be (33/22)/(-2 - (-7)/2). Suppose 0 = 12*q - 47 - k. Solve -q*x = -1 - 3 for x.
1
Suppose -8*h + 46 = 6. Suppose 9*v - 1 = 8. Solve h = 2*i - v for i.
3
Suppose -39*d + 110 = -29*d. Solve 8*c + 43 = d for c.
-4
Let r = -656 - -656. Solve -12*a + 7*a + 15 = r for a.
3
Let a(i) = -i**3 + 7*i**2 - 9*i + 20. Let l be a(6). Solve -l*c - 2*c + 16 = 0 for c.
4
Let o(v) be the second derivative of -v**4/12 - 3*v**3/2 - 13*v**2/2 - 4*v. Let m be o(-6). Solve -m*r = -4 + 14 for r.
-2
Suppose -k = 23 - 29. Suppose -n + 4*m + 5 = -0*n, -n - 4*m + 5 = 0. Solve k*h = h - n for h.
-1
Let b = -160 + 164. Let a = -62 - -64. Solve -3*r = b + a for r.
-2
Suppose 0 = 5*x - 1016 + 956. Solve x - 7 = b for b.
5
Suppose -5*x - s - 2*s = -17, 3*x - 16 = 4*s. Suppose -150*c + 146*c = -32. Suppose 0 = 4*l + c - 16. Solve x*b + l + 10 = 0 for b.
-3
Let n(l) = -l**3 + 15*l**2 + 21*l + 28. Let b be n(16). Let t = b + -103. Solve -t*w = 3 - 18 for w.
3
Let l(c) = -c**2 - 7*c + 2. Let r be l(-5). Let b = -42 - -45. Suppose -5*q = -b*q - 10. Solve q*g - 8 - r = 0 for g.
4
Let u be 4/(1 - 5)*-7. Suppose 4*i - u = 5*v, 8*v - 2 = i + 3*v. Solve -k = -0 - i for k.
3
Suppose -219 - 6 = -25*g. Suppose -b + 4*r - 1 = 17, -5*b + 4*r = 10. Solve -1 = -b*y - g for y.
-4
Suppose k = -3 - 7. Let b(l) = l**2 - 2*l - 10. Let u be b(3). Let i = u - k. Solve 3*h + 9 = i for h.
-2
Let x(g) = -17*g + 258. Let q be x(15). Solve 5 - 14 = -q*k for k.
3
Suppose -2*h - 2*h + 20 = 2*y, 4*y = 4*h + 4. Solve -1 + y = q for q.
3
Suppose 3*m - 2*q = 34, 38 = 17*m - 14*m + 2*q. Solve m*c = 6*c + 6 for c.
1
Suppose -6*n + 84 = 24. Suppose -4*s - s + n = 0. Suppose s*y = -4*y + 30. Solve 2*m + y = 3*m for m.
5
Let w be (1 + 1 - 1) + 2. Suppose -2*k - 31*v + 20 = -28*v, -v - 8 = -3*k. Solve w*f = k*f + 2 for f.
-2
Suppose -4*s = -14*y + 18*y - 68, -2*y + 3*s + 19 = 0. Solve 0 = 18*o - y*o + 12 for o.
-3
Suppose -5*c - 2*y + 8 = 0, 5*y + 9 = 4*c + 4*y. Solve c*n - 1 = 3*n for n.
-1
Let n be (-2 - (6 - 10))/(5/5). Suppose d - 6*d + v + 25 = 0, -4*d + 6 = 2*v. Suppose -n*b - f = 5, f = d*b - f - 10. Solve -2*h = -b*h for h.
0
Let k(s) = s**2 - 32*s. Let v be k(32). Solve v = -r + 4*r + 5*r for r.
0
Let r = 218 + -210. Solve r = -2*j + 2 for j.
-3
Suppose -4*x = -6*x - 4*i - 6, -i + 6 = 3*x. Let m(p) = p**3 - 7*p**2 + 8*p + 14. Let d be m(5). Solve -17 = d*r + x for r.
-5
Let n be (-3)/(-12) + 955/20. Let u = n + -46. Solve u*f = -3*f - 5 for f.
-1
Let t = -823 + 825. Solve -5*n - 9 = -t*n for n.
-3
Let l(y) = -y**2 - 9*y - 4. Let q(z) = -2*z + 2. Let m be q(5). Let r be l(m). Suppose -4*j = n - 9 - 5, 0 = 2*n - r. Solve -5*c = j - 18 for c.
3
Let k = -422 + 426. Solve 0*s = -k*s + 8 for s.
2
Let b(t) = 2*t**2 - t - 1. Let k be b(2). Suppose 5*s - 8*s = 2*v + 9, k*v + 2*s + 6 = 0. Solve -5*r = -v*r - 5 for r.
1
Let h(m) = 2*m - 18. Let a be h(8). Let x be (2 + (a - -1))*(4 - -1). Solve 2*q - x = 1 for q.
3
Let a(y) = -10*y + 114. Let p be a(11). Solve -p*w = -8 - 12 for w.
5
Suppose -2*o = -5*y + 1 + 7, o + 3 = 2*y. Solve 0 = 5*q - 22 + y for q.
4
Suppose 4*t = -4*b + 16, -b = -2*t + 4 - 14. Solve -b*c - 6 = -9*c for c.
2
Let y(i) = i**2 - 10*i - 11. Let b be y(-1). Suppose 4 = 7*g - 3*g. Solve -c = -b*c - g for c.
1
Suppose -4*a + a = p - 37, 0 = 5*a + 3*p - 63. Let l be -3 - (1 - a/3). Suppose o - 30 + 5 = l. Solve 2*u - 7*u = o for u.
-5
Suppose 30*c - 228 - 222 = 0. Solve -13*j = 24 + c for j.
-3
Suppose -11*h + 321 - 277 = 0. Let f(c) = -c**2 + 5*c + 1. Let a be f(4). Solve 0 = -a*d + d - h for d.
-1
Let y(a) = 5*a**2 - 1. Let x be y(1). Suppose 3*j - 2*j + x = p, 5*j = 3*p - 20. Suppose 3*i - 1 = -2*h, -3*i - 14 = -h - p*h. Solve 0 = -2*v + h - 1 for v.
2
Let h(g) = g**2 - 17*g + 11. Let u be h(20). Let t = u + -65. Solve -1 + t = 5*k for k.
1
Let r(y) = -3*y + 7. Let m be r(2). Let k be 8/(-6)*12/(-2) - m. Solve -3*f = -k - 2 for f.
3
Let i(m) = 4*m**2. Let c be i(2). Suppose 2*q = 4*d - 6, -d + 3*q - 1 - 10 = 0. Solve 0*k - d*k + c = 0 for k.
4
Suppose 186*w - 239*w + 477 = 0. Solve 3 = -4*f - w for f.
-3
Let f = 28 + -14. Suppose -f = -5*a + 26. Solve -a + 0 = -2*m for m.
4
Suppose -31*h + 36*h = 15. Solve 0 = -h*w + 7*w + 4 for w.
-1
Suppose -72 = -26*t + 8*t. Solve 9 = q - t*q for q.
-3
Let q(b) = b**3 + 4*b**2 + 5*b + 4. Let z be q(-2). Suppose -5*j = z - 12. Solve -j*g = -g - 4 for g.
4
Let r be (-1)/(-1*(-2)/(-8)). Suppose -t - s + r = -3*s, 0 = t + 5*s + 3. Suppose -5*l + 17 = t. Solve l*y = 7*y - 20 for y.
5
Suppose 0 = -7*c + 10 + 25. Suppose c*k = k + 44. Let n = -11 + k. Solve 0 = -n*p - 2*p for p.
0
Suppose -r = 3*r. Suppose r*y = 3*y. Let s be y/(-5 + (5 - 3)). Solve -l + s = 2 for l.
-2
Let g(w) = -w**2 + 21*w - 93. Let d be g(7). Solve d*f = 8*f + 9 for f.
-3
Let w(y) = 4*y**2 - 1. Let x be w(-1). Let n = -433 + 441. Solve -n*u + x*u = 20 for u.
-4
Let h = -1935 - -1963. Solve -h*b + 5 = -29*b for b.
-5
Suppose 21 = -n + 4*n. Suppose 4*z = n*z - 45. Let v = z - 11. Solve -v*s + 1 = -11 for s.
3
Let x be (7 - (-6 + -75))/((-1)/(-1)). Solve -26*q + 10 - x = 0 for q.
-3
Let f(n) = 2*n**2 + n - 1. Let g be (-10)/(-7) + 3/(-7). Let b be f(g). Suppose -5*q = -3*q - 2, 2 = -b*h + 4*q. Solve -3*p = -h - 2 for p.
1
Let h(k) = k**2 - 6*k - 8. Let v be h(6). Let j = 34 + v. Let o be 9/(-6) + j/4. Solve -4*u - o + 1 = 0 for u.
-1
Suppose -5*m + 23 = -3*o, 4*m - 2*o = 3*o + 21. Suppose 241*z = 242*z + 3*j - 9, 3 = -3*z + j. Solve -m*y + 0*y + 16 = z for y.
4
Suppose 2*f + 10 = 3*f. Suppose -f*y = -13*y + 9. Solve -y