be 1/(-7)*0*2/t. Solve u - 1 = -y for u.
1
Suppose -5*u = 3*f - 40, -f + 2*f = -2*u + 15. Let i = -32 + 32. Solve i*q = -u*q for q.
0
Let t be (-43)/(-9) + (-18)/(-81). Let l = -3 + t. Suppose -3*p - 11 = -5*z, l*p + 5 = 5*z - 9. Solve 0 = z*h + h - 5 for h.
1
Let c be (-6)/3*(-2*1)/2. Suppose 2*o - 2 = -0*o. Solve 3*k + c = -o for k.
-1
Let b be (-8)/6 + 1 - 26/(-6). Suppose 6 - 10 = -b*o. Solve -7 + o = 2*q for q.
-3
Let j(y) = -y**3 - 5*y**2 - y - 1. Let c be j(-5). Let p(n) = 2*n + 30. Let b be p(-15). Solve c*w - 2*w = b for w.
0
Suppose -5*a + 15 = 5*y, 4*y + 2 = a - 1. Suppose 5*r - 22 + 7 = y. Solve 0 = -o + r*o for o.
0
Let l(b) = 2*b - 9. Let v be (-2 + 1)/(3 + 66/(-21)). Let c be l(v). Solve c*r - 8 = -33 for r.
-5
Suppose u + 13 = -0*u - 5*m, -5*u = 2*m - 4. Let t be (2 + (-3 + u - 1))/(-1). Solve -5*s - 4 - 1 = t for s.
-1
Let s = 13 - 6. Let z be s - (-1)/(1/(-3)). Solve z*x + 5 = -3 for x.
-2
Suppose -7*u + 107 = -47. Solve 11*y + u = -22 for y.
-4
Let z = -9 + 57. Suppose z - 40 = 2*b. Suppose 5*t - 5*w = t + 2, -3 = t - 3*w. Solve b = -a + t*a for a.
2
Let d(n) = -n**2 + 2*n + 7. Suppose 0 = -3*g + l - 41, 3*g + 3*l + 16 = -17. Let m = -10 - g. Let b be d(m). Solve 0 = b*o - 9 - 3 for o.
3
Let x(y) = 31*y**2 + 7*y - 15. Let i be x(2). Suppose 17*w - i + 4 = 0. Solve -13 = -4*k + w for k.
5
Let c = -151 + 162. Solve -c*h + 6*h - 15 = 0 for h.
-3
Let h(t) = -t**3 - 17*t**2 - 16*t + 4. Let k be h(-16). Solve -k*i = -1 + 17 for i.
-4
Let t(k) = -5*k - 49. Let x be t(-10). Suppose -x = 7*j - 8*j. Solve 3*z - 8 = j for z.
3
Let o(u) = -u**2 - 10*u + 2*u + 34 - 30. Let s be o(-8). Let j(h) = h**2 + h + 2. Let l be j(2). Solve l*y - 4*y = s for y.
1
Suppose 2*y - 312 = -4*y. Suppose -b + y - 52 = 0. Solve b = 4*s - 5 + 1 for s.
1
Suppose 0 = -64*d + 10*d + 486. Solve d*s = 12*s for s.
0
Suppose 4*a - 28 - 13 = -3*w, 0 = -5*w + 5*a + 10. Let z = -4 + w. Solve -x = z*x for x.
0
Suppose -13*y = -10*y. Suppose 4*q - 16 = y, 0*i + 2*i - 4*q = -10. Suppose -i*l + 4 = -l. Solve -l*n - 12 = -6*n for n.
3
Let c be (-50 - 0)*(-6)/30. Solve 0*o - c = 2*o for o.
-5
Suppose -20*q + 22*q = 0. Suppose -w - 2*w + 12 = 0, -2*s - 2*w = -8. Let n(a) = a**3 + 2*a + 2. Let l be n(s). Solve q = -0*k + l*k + 8 for k.
-4
Let z be (-1)/(2/(-12)) - 2. Let y be (2 + (-54)/45)/(2/(-15)). Let i be y/3 + 3/1. Solve 0 = -a + i - z for a.
-3
Let a(m) = -2*m**2 - 7*m - 6. Let i be a(-4). Suppose 3*g = 5*w - 0*w - 54, 4*w - g = 46. Let j = w + i. Solve -f + j = f for f.
1
Let f = 19 + -15. Let m(q) = 4*q + 1. Let z be m(-1). Let c = -3 - z. Solve c = -f*x - 0*x + 4 for x.
1
Suppose 0 = 5*n + 2*d - 342, -22*d = -4*n - 19*d + 292. Solve -73 = -t - n for t.
3
Let s = 440 + -437. Solve -s*n + 55 = 46 for n.
3
Let o be 12/28 - (-92)/14. Suppose -3*q = 4*i - 16 - o, -q = -3*i + 14. Solve 0 = -0*b + b - i for b.
5
Let x(q) = q**2 - 9*q + 12. Let t be x(6). Let r be (40/t)/(-4)*3. Solve -r*u + 8 = -u for u.
2
Suppose -g + 2 = -2*r + 11, 0 = -2*r - 2*g + 18. Solve 14 = 2*d + r for d.
4
Let m(y) = -y + 4. Let j be m(0). Suppose -5*r + 2*g - 12 = g, 0 = 4*r - j*g + 16. Let b be r/3 + (-85)/(-15). Solve 0 = -b*s - 2 - 8 for s.
-2
Suppose 7*w - 160 = -w. Suppose 2*k = 7*k - w. Solve 0 = -3*t + 5*t + k for t.
-2
Let c = -126 - -225. Solve -94*f + 25 = -c*f for f.
-5
Let w(j) = 12*j + 87. Let u be w(-5). Solve 49 = -u*l - 5 for l.
-2
Let k(d) = 3*d**3 - 3*d**2 + 3*d + 2. Let y be k(2). Solve -l + 22 - y = 0 for l.
2
Let u = 45 - 24. Suppose 5*y - 86 + u = 0. Solve 4*m + 1 = y for m.
3
Suppose -28*d + 112 = -21*d. Solve -7*r = -d*r - 18 for r.
-2
Let h(w) = 12*w**2 + 23*w - 1. Let o be h(-2). Solve p = o - 5 for p.
-4
Let p(g) = g**2. Let x be p(-4). Suppose -4*n - 3*l + 12 = -x, 0 = n + 2*l - 2. Solve -2 = 4*f - n for f.
2
Suppose 0 = -4*l + 20, -2*r - 65 = -5*r - 4*l. Solve -4*z = -7*z + r for z.
5
Suppose -h + 2*m = -10, h - 2*m = 2*m + 16. Let q(n) = -n**3 + 6*n**2 - n + 2. Let b be q(h). Solve 5 - b = 5*c for c.
-5
Suppose 4 + 1 = 3*s + 5*p, 0 = -5*s + 4*p - 4. Suppose -5 = 3*f - 17. Solve -h = -s*h + f for h.
-4
Suppose 26*m - 22 = 160. Solve 0 = -3*b + m + 2 for b.
3
Let c(m) = m**3 - 7*m**2 + 4*m + 14. Suppose -6*s + 2*o = -3*s - 14, 4*s - 16 = 4*o. Let j be c(s). Solve -3*g - 10 = j*g for g.
-2
Let m(g) = 2*g**3 - 18*g**2 + 4. Let j be m(9). Solve -2*d + j = -2 for d.
3
Let h be (1 - 6)*((-14)/(-7) + -3). Suppose -3*l + 58 = -l. Suppose 0 = 3*a - 2 - 25. Solve a = h*m + l for m.
-4
Suppose -3*i - 25 = k - 45, -5*k + 3*i = -46. Solve -k = -c - 15 for c.
-4
Let a be 34*3*1/6. Let v(b) = -2*b**2 + 19*b + 260. Let s be v(17). Solve a = s*u - 8 for u.
5
Let x(l) = -l**2 - 7*l - 6. Let j be x(-5). Suppose 53 = j*r - 67. Suppose -n - 3 - 39 = -4*b, 36 = 4*b + 2*n. Solve -r + b = 5*p for p.
-4
Let c(z) = -35*z + 9. Let u be c(0). Solve -2*f = f + u for f.
-3
Suppose 17*g = 3*m + 14*g - 21, 3*m - 5*g - 15 = 0. Solve 3*q - q + m = 0 for q.
-5
Let q = -39 + 45. Let k be q/(-18)*(1 - 1). Solve -5*a - 6 + 1 = k for a.
-1
Let t = -31 - -51. Let b(c) = -3*c**3 + 4*c - 3*c + 246*c**2 - 250*c**2. Let y be b(-2). Solve -t = -u + y*u for u.
-4
Let i = -15 - -25. Suppose 3*s - 46 = -i. Let v be 234/s - (-1)/2. Solve -4*h = h + v for h.
-4
Suppose 0 = 2199*n - 2202*n + 45. Solve 0 = -19*b + n*b + 8 for b.
2
Let c(g) = -g**2 - 22*g + 2. Let b be c(-21). Let m = -20 + b. Solve 0 = -m*w + 9 + 3 for w.
4
Let l(t) = -t**2 + 9*t + 10. Let n be l(9). Suppose 3*v = 4*c - 20, -c = c - 4*v - n. Solve o = c*o + 4 for o.
-1
Let j be (2/(-4))/(42/(-588)). Solve -5*k - 2 = -j for k.
1
Let d(v) = -v + 6. Let g(k) = 1. Let p(i) = d(i) - g(i). Let l be p(-7). Solve -3*x = -0 + l for x.
-4
Suppose k = -4*k - 5*x, 0 = -2*k + 4*x. Solve k = -5*y + 2*y for y.
0
Let c be (2 + -38)*(-6)/9. Let y be ((-1)/(-3))/(8/c). Solve 5*x - 6 = -y for x.
1
Let d = -990 - -1001. Solve 6*k - d*k - 15 = 0 for k.
-3
Let h = 29 + -14. Let c = h - 9. Suppose -c = -y + 4. Solve 4*k + k = -y for k.
-2
Suppose 5*s = -2*l + 10, -3*l - 3 - 5 = -4*s. Suppose 0 = 5*o - s*j - 20, 2*o + 2*o + 5*j = 16. Solve -o = -0*b - 4*b for b.
1
Suppose -24 = -4*o + 4*k, o - 3*k + 1 - 15 = 0. Let y(g) = -g - 11. Let w be y(-9). Let h = o - w. Solve -f = 3*f - h for f.
1
Let l = -1257 + 1259. Solve 16 = 2*b + l*b for b.
4
Suppose -4*c = -16, 0*u - 4*c = -u - 10. Let k = -4 + 0. Let r = 6 + k. Solve 4 = -u*z + r*z for z.
-1
Suppose 3*o + 7 = 25. Suppose -o*l + 6 = -3*l. Solve l*x + 20 = -3*x for x.
-4
Let o be 1518/121 + 36/(-66). Solve 20*w + o = 14*w for w.
-2
Suppose -97*l + 54*l = -46*l. Solve l = -q + 3*q + 6 for q.
-3
Let m = -95 - -100. Let z be m + -5 + 4 + 1 + 0. Solve 0 = -z*j - 13 + 33 for j.
4
Let p be 7/(-28) - 975/(-12). Solve -69 = -6*c - p for c.
-2
Let q be 615/(-123) + 1 + 29. Solve 0 = -8*n + 13*n + q for n.
-5
Suppose -42*b + 46*b = 20. Let p(a) = a**2 - 3*a + 3. Let j be p(2). Solve b = -2*r - j for r.
-3
Let d(w) = w - 13. Let f be d(12). Let u be f + 6 - (7 - 5 - -1). Solve 8 - 18 = -u*h for h.
5
Suppose y + q + 4*q + 3 = 0, -4*q = -4*y + 12. Solve 9*o - y = -20 for o.
-2
Let o(r) = r**2 - 16*r - 16. Let i be o(13). Let w = i - -58. Solve -z = -w*z for z.
0
Suppose -20*i + 456 = 37*i. Solve 5*k - 3*k = -i for k.
-4
Let a(s) = s**2 - 14*s + 45. Let z be a(18). Let p = z + -115. Solve -p*g = g - 12 for g.
4
Let u(g) = -10*g + 101. Let y be u(8). Solve 0 = 19*o + y + 17 for o.
-2
Suppose -c = 4*g - 47, -6*c + 3*g + 304 = -c. Let h = c - 46. Solve h - 5 = 4*x for x.
2
Let a(p) = -p**2 + 4*p + 48. Let b be a(8). Solve -5*t = -21 + b for t.
1
Let c(s) = -19 - 5*s + 6*s - 5*s + 6*s + s**2. Let o be c(4). Solve 0 = -k - 4 + o for k.
1
Let r(j) = j**2 + j - 1. Let b be r(-6). Suppose -5*c - b = -7*o + 4*o, -3*o = -c - 49. Let s = o - 15. Solve -5*x = -s*x - 6 for x.
3
Let d(r) = r + 27. Let a be d(-21). Solve -a*z + 10*z = -8 for z.
-2
Let s(c) = -c**3 - 6*c**2 - c - 4. Let q be s(-6). Suppose -34 = -83*d + 79*d - 5*r, d + 3*r = 12. Solve q*t + 4 - d = 0 for t.
1
Suppose 23*z - 173 = -12. Solve z*w + 57 = 78 for w.
3
Let w be 1*1*12 - 2. Suppose -u + 90 = 5*m + 4*u, 5*u = -w. Let x be 5/m + (-31)/(-4). Solve x = 3*p - p for p.
4
Suppose -17 - 7 = -w. Let h = -19 + w. Solve 7 + 3 = h*l for l.
2
Let p(b) = 20*b + 133. Let j be p(-5). Solve 7*