ve k + 3 = g*x for x.
2
Suppose -3*d + 5*v = -68, 34 = -4*d - 4*v + 82. Solve 18*i = d*i + 4 for i.
2
Let o(c) = -c**2 - 5*c - 1. Let t be (2 - 2) + -3 - 4. Let n(g) = g**2 + 8*g + 3. Let v be n(t). Let a be o(v). Solve -25 = a*i - 8*i for i.
5
Suppose -120 = -3*i - i. Let u = 33 - i. Solve u = 3*p - 0 for p.
1
Let g = -65 + 68. Suppose -3*q - 2*q + 4*w = -33, -9 = -q + 2*w. Solve q*k = g + 7 for k.
2
Suppose -22 - 8 = -5*z. Suppose 2 = -2*p - z, -2*y + 4*p + 16 = 0. Solve 0 = -w - y*w - 3 for w.
-3
Let l = 19 + -17. Suppose l*y - 3*n = -13, 3*y = n + 2*n - 18. Let i(w) = -w. Let q be i(y). Solve 16 = -q*o - 9 for o.
-5
Let i be 8144/112 - 4/(-14). Let j = i + -57. Suppose -4*n + 0*f - f = -1, -5*n + 1 = f. Solve n = -5*x + x + j for x.
4
Let x = -47 - -63. Suppose 48 = x*v - 4*v. Solve 0*g + 20 = -v*g for g.
-5
Suppose 2*t - 2*a - 14 = 0, -2*t = 2*t - a - 28. Let c be ((-8)/t)/(5/(35/(-2))). Solve 2*v - 2 - c = 0 for v.
3
Let x be ((-46)/8)/(1089/(-216) + 5). Suppose x = 9*v + 30. Solve -2*p + 5*p + v = 0 for p.
-4
Let f = -855 - -867. Solve -u - 11 = -f for u.
1
Suppose 0 = -4*w + 4 + 12. Solve -4*h + 6*h = w for h.
2
Let d be 185/25 + -1*(-15)/25. Solve 3*l + d = -7 for l.
-5
Let k(t) = -2*t + 5. Let v be k(-4). Let q be (-40)/(-220) + 260/22. Let g be ((-4)/3)/(q/(-18)). Solve v + g = -5*y for y.
-3
Suppose -3*b = 4*h + 12, -4*h - 20*b + 16*b = 16. Suppose 2*x + 45 + 11 = 4*m, 5*x = 3*m - 56. Solve h = -4*t - 4 + m for t.
2
Let h be (-3)/(-12)*-10*(-40)/25. Solve -13 - 3 = h*x for x.
-4
Let i = -1 - -1. Suppose 0 = 5*z + 3*h + 971, 5*z + 5*h + 969 = 3*h. Let y = z + 199. Solve -3*r = -i*r + y for r.
-2
Let h = 183 + -91. Let p be (3 - h/28) + (-46)/(-14). Solve -y - 1 = p for y.
-4
Suppose 4*d + 0*f - 4*f + 12 = 0, -4*f = -3*d - 13. Suppose 0 = 5*u - 5*k - 9 - 11, k + 19 = 4*u. Solve -u*o = 4 + d for o.
-1
Suppose -2*f = 4, -4*j - 7 = 5*f - 5. Let y be (-2)/(-8) - 7/(-4). Solve j*h - 2 - y = 0 for h.
2
Let p(k) = -k**3 + 12*k**2 + 11*k - 5. Let w be p(13). Let o = -27 - w. Solve z + 15 = o*z for z.
5
Let u(k) = -2*k - 6. Suppose -z + 2 + 2 = -q, 3*z = -2*q - 28. Let a be u(q). Suppose 6*i - a*i + 16 = 0. Solve 0 = i*s + s - 10 for s.
2
Let k be ((-4)/(-3))/(2/3). Suppose 0 = 3*i + 5*f - 40, -3*i - 3*f + 56 = -2*f. Suppose -5*t - 2*q + i = 0, -2 = -3*t + k*q + 10. Solve -2*b = -t*b for b.
0
Let x(b) = -b**2 + 10*b - 16. Let d(s) = 2*s - 11. Let p be d(9). Let u be x(p). Solve u*g - 10 = -0 for g.
2
Let w = -12 - -25. Let j(l) = -l**2 + 12*l + 17. Let g be j(w). Solve -g*a = -0*a for a.
0
Suppose 0 = 5*k + 2*r + 1087, -2*r = r + 3. Let g = 109 + k. Let o be (-4)/(-14) - g/63. Solve 7*v = o*v for v.
0
Suppose 5*h + 42 = 62. Let c be 1/(4 + -6)*2. Let l be 0 + c + (-6)/(-6). Solve -h*q = -l*q - 8 for q.
2
Let p(f) = -f**2. Let j(a) = -a**2 - 2*a - 4. Let r(y) = -j(y) + 2*p(y). Let i be r(-2). Let x be ((0/i)/1)/1. Solve x*w - 4 = -4*w for w.
1
Suppose -2*u - 16 = -10*u. Let d be ((-12)/(-10))/(u/15) - 3. Let r(x) = -x - 12. Let n be r(-12). Solve -4*h - 2 - d = n for h.
-2
Suppose 5*k - 10 = -5*u, 2*u - 12*k + 16*k = -6. Solve -w - u = -9 for w.
2
Let i(m) = -m**3 - 18*m**2 + 88*m + 13. Let q be i(-22). Solve 0 = -17*n + q*n + 4 for n.
1
Let w = -15 - -23. Let f = w - 6. Let q(u) = 2*u + 13. Let d be q(-5). Solve -d*z = f*z for z.
0
Let y be 5/((-5)/(-38)) - (8 - 10). Suppose 0 = -32*p + 22*p + y. Solve 0*b + 8 = p*b for b.
2
Suppose -i - 10 + 15 = 0. Solve 0 = i*a - 10 - 15 for a.
5
Suppose 3*t - 12 = 9. Solve -t*h + 30 = -h for h.
5
Let j = -34 - -32. Let n(w) = -7*w - 3. Let a be n(j). Suppose -a = k - 23. Solve 0 + k = -4*v for v.
-3
Let u = 472 + -456. Solve u = -17*b + 13*b for b.
-4
Let o(a) = 14*a + 703. Let r be o(-50). Solve -11 + r = 4*x for x.
-2
Let a(p) = -p**3 - 2*p**2 - 4*p - 5. Let z be ((-30)/3)/(4/8). Let s = -22 - z. Let q be a(s). Solve 3*i - 6 + q = 0 for i.
1
Let o be 7 + -3 + -1*3. Suppose -k - 50 = 3*s, s + 2*k + 11 = o. Let x = s - -22. Solve -x*f - 14 = 2 for f.
-4
Suppose 0 = -u + 2 - 9. Let r = u + 15. Suppose -f - f + r = 0. Solve f*i + 2 = 6 for i.
1
Suppose -2*c = -s + 115, c + 0*c - 3*s + 65 = 0. Let i = c - -61. Solve 5*l - i = 4*l for l.
5
Let p = 4 - -21. Let c = -23 + p. Solve -n - n = c for n.
-1
Let b = 92 + -89. Suppose 0 = b*d - 13*d. Solve d = -k + 6 - 1 for k.
5
Let g be 1/5 + (-2)/10. Suppose 33 = 4*o - 5*t, g = o - 2*t + 6 - 18. Let d = -20 - -20. Solve -n + 0 + o = d for n.
2
Let k = 17 + -10. Suppose -2*a - 1 + 5 = 0. Let w(o) = o**3 + 17*o**2 - 2*o - 31. Let r be w(-17). Solve a*q = -r - k for q.
-5
Suppose 5*j - 19 = 3*h, 36*h - 19 = -2*j + 41*h. Solve -12 = j*x - 4 for x.
-4
Suppose -5*x + 65 = 5*f, 0 = 4*f + 5*x - 20 - 35. Suppose 0*a = 2*a + 3*p - 15, -2*p = -2*a + f. Solve 7*d = a*d - 1 for d.
-1
Let f be (-2)/4*(-16 - 64). Suppose 0 = -4*r - 4*y - 136, 2*r = -r + y - 86. Let i = r + f. Solve 0*q - 2*q = i for q.
-5
Let n = 11 + -8. Let q be n/5 - 66/(-15). Suppose 3*i - b - 13 = 0, 5 = -i + 6*i - 5*b. Solve q = -k + i*k for k.
1
Let k(b) = 9*b**2 - 3*b + 5. Let l be k(3). Let d = l + -71. Solve 0 = -i + 4*i - d for i.
2
Let d(x) = 9*x - 58. Let m be d(7). Suppose m*z = -4*v + 20, -2*v = -5*v + 15. Solve z = 5*u + 15 for u.
-3
Let s = 945 + -937. Solve -b - b = -s for b.
4
Suppose 2*q = w + 2*w - 44, -5*w + 44 = -2*q. Let p = q + 16. Let t = 9 + p. Solve -3*g = t + 3 for g.
-2
Let z(p) = 8*p - 267. Let j be z(34). Solve j = 104*f - 105*f for f.
-5
Let h = 1 + -1. Let k(r) = r**2 + 3. Let l be k(4). Let c = -18 + l. Solve -3*i + 2*i - c = h for i.
-1
Let i = -20 + 22. Suppose 0 = -p - 0*p + 3*m + 13, 22 = i*p - 5*m. Solve -h + 0*h = p for h.
-1
Let t = 176 + -172. Solve -4*q + 24 - t = 0 for q.
5
Let w = -16 + 18. Solve -t + w*t = 0 for t.
0
Suppose -43 = -7*f - 197. Let j(m) = -2*m. Let l be j(-11). Let r = l + f. Solve r = g - 1 for g.
1
Suppose 37 = 3*n + 7. Suppose 27 = 11*c - n*c. Suppose -4*x + 69 = 3*u, -c + 3 = -2*x + 2*u. Solve k + x = -4*k for k.
-3
Let u(y) = -6*y - 75. Let w be u(-13). Solve -w*i = -4*i - 1 for i.
-1
Let v be 110/8 - 12/16. Suppose -6*q + 29 = -v. Suppose 3*x = q*x. Solve x = -2*u - 0*u for u.
0
Suppose 2*y = 4*s + 6, 5*y - 1 - 19 = 5*s. Let g = -832 + 832. Solve g = -y*n - 2 + 12 for n.
2
Suppose -s - 23 = 2*x, -x + 3*s + 51 = -5*x. Let v be (x - -9)*(1 - 2). Solve -2*o + 2 + 6 = v for o.
4
Let t(q) = 13*q**2 - 2*q - 1. Let j be t(-1). Let k = j + -1. Suppose 1 = -4*w + k. Solve 0 = 2*n - w*n for n.
0
Suppose 4*s + 5*s = -216. Let d = 33 + s. Solve 3*u + d = -3 for u.
-4
Let k(t) = 2*t**3 + t**2 - 6*t. Let h be k(2). Solve 9*n = 13*n + h for n.
-2
Let a(s) = -s**3 - 2*s**3 + 2*s**3 + 2*s**2 - 9*s**2 + 5 + 8*s. Let v be a(-8). Suppose -v*n + 3*n + 1 = -5*t, -n = 3*t - 6. Solve n*d = d - 10 for d.
-5
Suppose -2*l + 0*m = 5*m - 25, -5*l = 2*m - 115. Let w = 29 - l. Solve 0 = -0*n - w*n + 20 for n.
5
Suppose -10*v + v = 0. Suppose -3*w + v*w + 9 = 0. Solve -w*u = -0 - 6 for u.
2
Let f be ((-134)/18 + 7)/((-2)/9). Suppose -u = 2*p - 15, -4*u + p + 10 = -f*u. Solve -3*i = -u*i + 16 for i.
4
Suppose 13 = 5*x - 3*v - 0, -2*v = 4*x - 6. Suppose 0 = 5*f + h - 12, -14 = -5*f - 0*f - x*h. Solve 2*c - f = -10 for c.
-4
Suppose 4*f - 4 = 4. Suppose -22 = -u - 5*h, f*h = 5*u + 3 - 5. Solve 5 + 1 = -u*y for y.
-3
Let p be 11 + (-2)/4*8. Let y = -60 - -65. Solve p + 13 = y*s for s.
4
Suppose -14*b + 15*b = 7. Solve -b*h + 6*h = 1 for h.
-1
Suppose -191 = -9*u - 191. Solve -4*a - 20 + 8 = u for a.
-3
Let k be 107 - (-9 - -8 - 2). Solve 114*v = k*v for v.
0
Suppose -i + 40 = 9*i. Suppose -i = g - 9. Solve w = g*w + 8 for w.
-2
Let r(a) = a - 15. Suppose f = -2*f. Suppose -5*t + 10*t - 75 = f. Let b be r(t). Solve 4*n - 6*n + 8 = b for n.
4
Let x(t) = -2*t + 4. Let h be x(2). Let m be h - 1 - (7 - 10). Let q = -9 - -12. Solve -m*a - 25 = q*a for a.
-5
Let s be (-6)/(-1)*(48/9 + -4). Solve -6*z = -s*z + 2 for z.
1
Let t(i) = -3*i + 5*i - 5 + 3 - 3*i. Let q be t(-5). Suppose 5*n + g - 31 = 0, -n + 0*g = q*g - 9. Solve -u + n = 4 for u.
2
Suppose -2*r + 14 = -4*s, -r + 6*s = 3*s - 10. Let l be 75/(-20) - -4 - r/4. Solve 3*d + d + 16 = l for d.
-4
Suppose 13*m + 4 = 14*m. Let d = -25 + 30. Solve d*a - 3*a = m for a.
2
Let v(j) = 4 + 5*j + 0 - 1 + j**2. Let t be v(-5). Suppose 5*d -