
1
Suppose 0*i - 3 = -3*i. Let u = 405 - 407. Let a be (0 + -1)*u/i. Solve 4 = -a*h + h for h.
-4
Let t(v) = v**3 - 8*v**2 + v - 9. Let u be t(8). Let b be (-4 - -4)/u + 7. Solve 0 = 5*f - 22 + b for f.
3
Let s(l) = l**2 - l - 7. Let n be s(-3). Suppose 5*j + 15 = -2*q, -n*j + 3*j + 10 = 4*q. Suppose -5*t + k + 122 = 3*k, 3*t + 3*k = 75. Solve t + 1 = -q*h for h.
-5
Suppose -2*g + 46 - 24 = 0. Solve -27 = 4*v - g for v.
-4
Let s = 22 + -8. Suppose 2*h - 4*j + s = -j, 0 = 2*h + j + 6. Let q be 1280/130 + h/(-26). Solve -5*i + q = -0 for i.
2
Let r be ((-63)/(1 - 4))/1. Let q = r - 21. Solve 5*p - 4 - 21 = q for p.
5
Suppose -7*w = -223 + 174. Solve w*b - 11*b = -16 for b.
4
Let g be 1*(0/1 + -4). Let v be (-2)/((-2)/7 - 16/(-448)). Let q = v + g. Solve p + 25 = -q*p for p.
-5
Let r = 5 + -5. Suppose 0 = 3*o - 5*a - 27, -o + r*o - 4*a - 8 = 0. Let z(u) = 2*u**2 + u. Let f be z(1). Solve 1 - o = f*d for d.
-1
Suppose -3*q + k = -34, -3*k - 19 = -5*q + 43. Solve -q*b - 5 = -5*b for b.
-1
Suppose -6 = 3*h, -4*z - 3*h + 126 = -8*h. Suppose -z + 25 = -i. Solve i*k = 21 - 1 for k.
5
Let z be 2 + 11 + 1*2/(-1). Solve -z*u - 24 = -5*u for u.
-4
Let s = -9 + 15. Suppose 5*g = 8*g - s. Solve l + 1 = g for l.
1
Let w(k) = 3*k**2 - 4*k + 3. Let v be w(1). Let u be 4/10 - 399/(-15). Solve u = -5*s + v for s.
-5
Let c = -58 - -61. Solve 9 = 12*w - c for w.
1
Suppose -d + 4*s = 3*s - 3, -d - s = 3. Solve 2*x - 3*x + 4 = d for x.
4
Suppose 11*x - 39*x = -196. Solve s = x*s for s.
0
Let d be (-3)/(-12) + (-76)/(-16). Let q be (-1 - 11)*(-3)/(-3). Let t be (-2)/d - q/30. Solve -f + t*f + 1 = 0 for f.
1
Let v(j) = 4*j + 12. Let x be 3/(-2)*30/9. Let s be v(x). Let i = 8 + s. Solve i = -c - 4 for c.
-4
Suppose -2*o + 61 = -29. Let a be o/(-9)*(0 + -1). Solve 5*y - 10 = a for y.
3
Let t = -6 - -8. Suppose m + 1 = 3*a, 3*m - 2 = t*m. Solve 5*b = -a + 26 for b.
5
Suppose -3*i = -8*i + 70. Let f = -28 + 45. Let m = f - i. Solve -2*s + 20 = m*s for s.
4
Suppose -6 = 19*h - 44. Solve h*z + 4 = 2 for z.
-1
Let h(f) = 3*f**2 + 0 + 0 - f. Suppose p - 10 = 3*y, -2 = -2*p - 2*y - 6. Let a be h(p). Solve 8 = a*g - 0 for g.
4
Let z(g) = -g**3 + g**2 + g. Let w be z(0). Suppose w = 6*h - h. Suppose -5*x - 3*s + 18 = h, 2*x - s - 5 - 11 = 0. Solve -v = 2*v + x for v.
-2
Let c(u) = 2*u**2 + 13*u - 4. Let k(r) = 2*r**2 + 12*r - 5. Let m(x) = 5*c(x) - 4*k(x). Let z be m(-9). Let y = z + -6. Solve -i = y*i for i.
0
Suppose -5*w = 4 + 1. Let q be w + (11 - 12/4). Solve 2*f + 1 = -q for f.
-4
Let v(f) = f**2 - 25*f + 46. Let x be v(24). Suppose 3*y + x = 5*y. Solve 5*k - 4 = y for k.
3
Let n be (-7 - -1)*2/(-3). Suppose -3*y + 10 = -g, -5*g - 1 = -3*y + 1. Suppose 4*h = 4*p - 56, n*h + y = 3*h. Solve 3*d = d + p for d.
5
Suppose 3*a + a = 3*p + 10, -6 = -p - a. Let z be (1/1)/(p/14). Suppose z*d = 2*d + 35. Solve -d*c + 3*c = 0 for c.
0
Let a(y) = y**3 - 9*y**2 + 7*y + 10. Let n be a(8). Let c = -10 - -5. Let i be ((-1)/2)/(c/90). Solve n*g + 1 = -i for g.
-5
Let v = 2788 - 2786. Suppose -a = -5*a + 16. Solve -a*i + 6 = -v for i.
2
Suppose -2*y - 45 + 57 = 0. Suppose y = 6*p - 0. Solve 0 = -f - p + 3 for f.
2
Let f be 3/9*10/1*3. Solve -14*h - f = -16*h for h.
5
Let l be 402/12 - (-1)/2. Suppose -4*k = l - 42. Solve k = -4*t + 6 for t.
1
Suppose 0 = 4*c - a - 195, -a - 45 = -c - 2*a. Suppose -7*h - h + c = 0. Solve 0 = -5*g + h - 1 for g.
1
Let v(n) = 6*n - 3. Let h be v(3). Let t = 18 - h. Suppose -t*a + 20 = a. Solve -10 = -a*f + 10 for f.
4
Let r be (-2)/25 + 2040/500. Solve 6*n = -8 - r for n.
-2
Suppose -13*p + 15*p = -18*p. Solve p = -98*s + 94*s + 16 for s.
4
Let h be 1 + -3 + 2 + 4. Let v(q) = q - 9 - h*q + q. Let f be v(-6). Solve -2*k + f*k = -2 for k.
-2
Let r(q) = q**2 - 10*q - 3. Let i be r(12). Let j be i/35*1*5. Let n = 0 - 0. Solve n = j*h - 3 for h.
1
Let q(z) = z**2 - 13. Suppose 0 = 5*w - 5*u + 40, -2*u - 12 = -2*w - 7*u. Let m be q(w). Solve -m = r + 1 for r.
-4
Let z be (8/12)/((-4)/72). Let y = 16 + z. Solve y = -2*j - 0 for j.
-2
Suppose 12*s - 24 = 6*s. Suppose 5*p - 3*u = -2*u + 129, -s*u = -3*p + 91. Solve -o - 4*o = -p for o.
5
Let w be 3/9 + 69/9. Let v be w/14 + (-221)/(-91). Suppose 1 + 3 = t. Solve v*q = q - t for q.
-2
Let q(a) = -4*a + 20. Let d be q(9). Let s = d + 28. Solve s = -2*j - j for j.
-4
Let a = 73 + -122. Let z = a + 58. Solve -z = -3*p + 6 for p.
5
Suppose -7*j + 6*j + 9 = 5*p, -2*j = 5*p - 23. Solve 3*f - 10*f = -j for f.
2
Let y(p) = -2*p**2 + 9*p + 8. Let c be y(8). Let g be (2/(-4))/(4/c). Let v = 10 - g. Solve -v*l + 12 = -0 for l.
3
Let c(v) = -v**3 + 16*v**2 + v - 13. Let r be c(16). Let h be (r/1)/(-2 - (-76)/32). Solve -a + 3 = h for a.
-5
Let f be 10/(-15) - (-62)/(-6). Let a be f - -15 - (0 + 0). Suppose 2*l + 0*l - 35 = -3*b, 0 = 3*l - a*b - 44. Solve 3*w + w = l for w.
4
Let w(l) = l**3 + 8*l**2 - 11*l - 10. Let x be w(-9). Suppose x*r - 3*r = 0. Suppose 2*h = -r*h. Solve 2*f + 3*f = h for f.
0
Let k(p) = 14*p + 31. Let a be k(-7). Let u = -67 - a. Suppose 2 = 4*r - 4*n - 22, -5*r + 30 = 3*n. Solve u = 3*y + 15 - r for y.
-3
Let s = 1617 - 1609. Solve s*j = 18*j + 10 for j.
-1
Let o = 53 + -53. Let d be o/3*((-4)/(-4))/(-2). Solve d = -3*q + q for q.
0
Let f(a) = 3*a + 15 + 423*a**3 - 4*a**2 - 424*a**3 + 0*a. Let c be f(-4). Solve -6 = 3*t - c for t.
-1
Suppose 0 = -2*z - 3*a + 11, 2*z - 16 = 2*a - 0. Let r(i) = -i**3 + 8*i**2 - 8*i + 8. Let y be r(z). Let x(v) = v + 1. Let k be x(y). Solve q - 2*q = k for q.
-2
Let i = -987 + 990. Solve -4*r = i*r + 7 for r.
-1
Let w = -24 + 24. Suppose -j + w*j - 18 = 0. Let i be (-58)/j - (-12)/(-54). Solve t = -i*t for t.
0
Let z(l) = -5*l**3 - l**2 + 3*l + 3. Suppose 0 = -4*x + 5*g - 14, 3*x = -g - 4 + 3. Let a be z(x). Solve 0*v + a = -2*v for v.
-2
Let x(m) = -7*m + 148. Let q be x(18). Solve -7*k - 22 = -q for k.
0
Let s(i) = 14*i - 3. Let x be s(1). Suppose 0 = x*d - 16*d. Solve d*c - 5 = 5*c for c.
-1
Suppose -47*f = -f - 322. Solve 11*w + 4 + f = 0 for w.
-1
Suppose -l - l + 6 = 0. Suppose -z = -l*p - 24, -2*p - 3*p - 61 = -4*z. Let i(k) = -k**3 + 8*k**2 + 11*k - 4. Let w be i(z). Solve -w = 4*m + 2 for m.
-4
Let b = -727 + 741. Solve -15 + 1 = b*k for k.
-1
Suppose 4*d + 100 = -324. Let x = 108 + d. Solve -x*q = -6*q - 20 for q.
-5
Let l be ((-7)/14)/(2/(-8))*1. Suppose 0 = 4*s + 16, -s - 2 - l = -3*j. Solve 12 + j = -4*a for a.
-3
Let a = -8 - -22. Let t(c) = 2*c - 17. Let w be t(11). Suppose 4*r - 4*o + 1 - w = 0, 2*r = -4*o + a. Solve v + 2 + r = 0 for v.
-5
Let o = -162 - -169. Suppose o*c - 6 = 15. Solve -c = -4*a + a for a.
1
Let c be (-4)/((-3)/((-9)/(-6))). Let v(p) = -11*p + 927. Let f be v(84). Solve n - c*n - f = 0 for n.
-3
Let d be (-2)/1 + (-7 - -5). Let h be (d/6)/((-18)/81). Suppose -4*x - 2*g + 36 = 0, -h*x + 2*x - 5*g + 9 = 0. Solve 2*w + w = -x for w.
-3
Let r(j) = -4*j**2 - 7*j + 6. Let q(u) = 5*u**2 + 8*u - 5. Let p(x) = -3*q(x) - 4*r(x). Let h be p(-6). Solve 1 = -h*s - 11 for s.
-4
Let q(p) = p**2 - 6. Suppose 0 = -4*w + 7*v - 2*v + 32, 0 = 5*v + 20. Let z be q(w). Solve 0 = -z*x + 10 - 1 for x.
3
Suppose -18*f + 15*f + 33 = 0. Suppose -40 = 7*t - f*t. Solve -t = -3*c + c for c.
5
Let n be (-10)/(-12) + 215/30. Solve 0 = -s - s + n for s.
4
Let u(b) = -2*b**2 - 13*b + 10. Let d be u(-7). Let t be (3*d/9)/((-6)/(-36)). Solve -2*w + t = -4*w for w.
-3
Let j(k) = -13*k + 18. Let q be j(-6). Suppose -100*z + 8 = -q*z. Solve 5*n - z = 7*n for n.
-1
Let d be (-3 - (-1 + -3))/1. Let f(z) = 0 + 0 - 4*z + 3*z - d. Let m be f(-1). Solve -5*h - 8 - 17 = m for h.
-5
Let b be (-2)/4 + (-1)/(-2). Let r be (72 - 0) + 48/16. Let o = -69 + r. Solve 2*z + o + b = 0 for z.
-3
Let m = -37 + 39. Suppose 0 = q - m*r - 4, 3*r - 9 = -0*r. Solve 5*x - q = -0*x for x.
2
Suppose 3*v + 13 + 11 = 0. Let l be -4*(0 + 2/v). Let p = -219 - -221. Solve -b + l + p = 0 for b.
3
Suppose 0 = 12*c - 32*c + 180. Solve 8*u = -7 - c for u.
-2
Suppose -3*k = 2*t - 12, 0 = t - 5*k - 1 - 5. Solve -7*b + t*b = -5 for b.
5
Suppose 2*v + 7 = -2*c + 65, c - 141 = -5*v. Solve 6*n - v = -n for n.
4
Let k(b) = -b**2 + 10*b - 13. Let q be k(6). Suppose 17 - 50 = -q*f. Solve f*j + 0 = -12 for j.
-4
Let m = 80 - 71. Suppose 6*p = 3*p + m. Let g = -3 + 3. Solve g = -p*x + 4 - 1 for x.
1
Let h(c) = -c**2 - 21*