o, 0 = -2*g + 2*o + 9 - 3 for g.
5
Let q(i) = -4*i**2 - 30*i + 11. Let m be q(-7). Solve -20 = -4*t + 3*b - 5, -5*b = t + m for t.
0
Let d be 0/(-6) + (-4)/2. Let z be ((-30)/25)/(d/20). Suppose -z = -8*l + 5*l. Solve -l*h = -8, -2*g = -g + 3*h - 9 for g.
3
Let z(t) = -t**2 + 9*t - 2. Let v be z(9). Let f = v + 6. Solve f*b = 3*b - p + 5, 3*b = 3*p - 3 for b.
2
Let u = -2 - 8. Let b be (-32)/u - (-1)/(-5). Suppose 0 = -j + b - 1. Solve 1 + 4 = -2*r + v, -3*r - j*v - 4 = 0 for r.
-2
Let j = 19 + -18. Solve c - 3*c = 3*x - j, 2*c = x - 3 for c.
-1
Let m = -39 - -33. Let q be (m/4)/((-27)/72). Solve 0 = -c - q*t - 1, -5*c = -2*t + 5*t + 5 for c.
-1
Let t be (-6)/(-42) + (-26)/(-14). Suppose a + t = -f - 3, -3*a = -f - 5. Solve 3*l = 0, 2*r - 4*l = -a*l - 2 for r.
-1
Let f(z) = z**2 - 7*z - 57. Let p be f(12). Solve p*l = -3*d - 3, -4*l + 6*l = -5*d + 7 for d.
3
Suppose -7*l + 8 = -3*l. Let b be (-33)/(3/l*-1). Suppose r = k - 3*k + 10, -4*k = 3*r - b. Solve k*s - 26 = -2*g, 11 = -3*g + 2*s + 2*s for g.
3
Let g(n) = n - 1. Let a be g(10). Suppose 0 = -3*u + 6*u - a. Suppose -3*z - 2*y + 19 = -0*z, 5*z = u*y + 57. Solve 4*w + 2*t = 24, -4*w + t + z = -3 for w.
4
Suppose -3*f + 2*c + 2*c - 3 = 0, 2*c - 12 = -2*f. Let n be 2 + (-18)/(-3) + -3. Solve -6*i = f*p - i + 11, n*p + 5 = -5*i for p.
3
Let u be -42*(8/10)/((-3)/5). Let m = u + -51. Solve -4*i = -4*s - 12, m*s + 4*i = 12 - 0 for s.
0
Let a(d) = -d**2 + 9*d - 7. Suppose -4*i = -0*o + o + 10, 6 = -o - 3*i. Let s be a(o). Solve -h = -c - 4*h + s, -c = -3*h + 13 for c.
-1
Suppose i = -k + 4, 3*i - 2 = -2*i + k. Let f(x) = x**3 - 6*x**2 + 7*x - 7. Let n be f(5). Let j = n + i. Solve -2*w - 2 - 8 = -j*g, 0 = 5*w + 15 for g.
1
Suppose 61 - 61 = -45*g. Solve -4*u = 4*s + 1 - 29, g = 3*s - 9 for u.
4
Suppose -3*f - 9 = -5*w, 16 = 4*w - 0*f + 2*f. Solve -b = -2*y - 5, 2*y - w*b = -3 - 12 for y.
0
Suppose 0 = -5*v - 0*z - 2*z + 26, 4*v - 13 = z. Suppose 4 + 20 = v*u. Let b = 8 - u. Solve -19 = 4*d + d + b*w, -5*d + 2*w = 31 for d.
-5
Suppose 3*i = -2*i + 35. Let o = 6 + -3. Suppose -2 = -o*a + i. Solve 4 = -3*l - 2*r, a*r + 3 + 2 = -4*l for l.
-2
Suppose -l + 5*q = -11, -6*q + 4 = 3*l - 71. Solve k + l = 5*p, -p - 4*k + 12 = -9 for p.
5
Let i be 4*(-3)/12*5 + 5. Let g(o) = o**2 - 8*o - 1. Let y be g(9). Let p be (4 - (1 - -1)) + y. Solve 2*f - 4*w + i - p = 0, -2*w = -5*f - 7 for f.
-3
Suppose 0 = -0*u - u. Suppose 0 = -3*a - 3, i + 2*a - 17 = 5*a. Let h be ((-1)/3)/(6/(3 + -57)). Solve u = g + 3*f + 4, 6*g - 4*f - i = h*g for g.
2
Let k = 99 - 94. Solve -11 = 6*s - 2*s + r, -13 = -s + k*r for s.
-2
Let p = -1145 + 1145. Let f(m) = m - 1 + 1. Let q be f(4). Solve 5*d + 6*v - 17 = 5*v, -q*d - v + 13 = p for d.
4
Suppose 0 = 3*j - 2*r + 3 + 1, 8 = 4*r. Suppose 0 = -2*z - 4*d + 53 + 11, 2*z + 5*d - 68 = 0. Solve -w + j*h + z = 5*h, -32 = -4*w - 4*h for w.
4
Suppose -4*g + 2*o = -22, g = -2*o + 56 - 58. Solve -5*s + 3*c + 8 = g, -s + 5*c = -14 for s.
-1
Let i = -106 + 107. Solve y + 1 = -p, 2*y + 3*p + 0 = -i for y.
-2
Suppose 0 = -28*k + 8 + 48. Solve 0 = -4*x - 2*a - 6, x - 4*a - k = 19 for x.
1
Let n = -813 - -815. Solve 0 = -3*f - n*b + 6*b + 1, 0 = -5*f - 3*b + 21 for f.
3
Let s(i) = -i + 5. Let a be s(6). Let w = 4 + a. Let n be 0/2*16/(-16). Solve 4*y + 5*d - 13 = n, 2*d - 9 = -5*y + w*d for y.
2
Let i = 9 - 7. Suppose -2 + 28 = -i*l. Let k = l + 17. Solve -k*f = 10 + 6, -2*d - 3*f - 6 = 0 for d.
3
Let s(j) = -j**3 + 60*j**2 - j + 62. Let w be s(60). Solve w*d + 2 = -2*l, 2*l = 2*d - 3*l + 23 for d.
-4
Suppose 2*x + 5*h - 16 = 0, 2*h = x - 3*x + 10. Let s = x + 8. Let q(r) = -3*r**2 - 25*r + 20. Let c be q(-9). Solve -c*v = 4, -5*b + 10*b - 3*v = s for b.
1
Let q be -4 - ((-6)/7)/((-4)/(-28)). Solve -5*a = 2*y + 18, -4 = 3*a + q*y + 6 for a.
-4
Let y be (-1)/(33/(-15) - -2). Let j(t) = t**2 - 10*t + 20. Let d be j(4). Let w be (0 + 4)*(-2)/d. Solve 4*z - u = 7, w*z - y*u + 16 = -z for z.
3
Suppose -4*c = -5*j + 120, 5*j = -c - 2*c + 155. Let w = j - 22. Suppose -w*v = -v - 25. Solve 0 = -r + 3 + 1, -19 = -v*k - r for k.
3
Let p(s) = s**3 + 9*s**2 + 10*s + 21. Let t be p(-8). Solve -2*y + t*r = -5*y - 15, 4*y = -r - 20 for y.
-5
Let f be 2/4*3*(-52)/(-39). Suppose -4*r + 34 - f = 0. Solve 0 = -r*d + 4*d + 12, 4*d - 12 = -u for u.
0
Let a be 7 - 0 - -9*(-20)/36. Solve -5*k - 4 = -2*k - 2*r, -a*k + 24 = 4*r for k.
2
Suppose 529 = -498*z + 521*z. Solve 0 = 4*r - f + z - 12, -r - f = -1 for r.
-2
Suppose -6*c + 36 = 3*c. Solve -3*w - 6 = -0*w, -2*d = -3*w - c for d.
-1
Let l be ((-1)/(-2)*-3)/((-15)/50). Solve -v = -2*v - 4*m, l*m = -2*v for v.
0
Let a = 16 + -14. Suppose 0*o = a*o - 36. Let i be ((-70)/3)/((-12)/o). Solve -7 = k + 2*q - 4*q, -5*k = 4*q - i for k.
3
Let d(v) = -2*v**2 - 7*v - 4. Let a be d(-5). Let g be (4 - 2)/(-2) + -2 + -24. Let c = a - g. Solve -2*r = -3*p - 7*r - 21, p + 2*r + c = 0 for p.
-2
Let a(v) = 7*v + 169. Let y be a(-23). Solve -8 = -3*z - d, -2*z + 4*z = 2*d + y for z.
3
Suppose 0*g = -7*g + 35. Let n be (112/(-70))/((-2)/g). Solve -5*k = -3*a + 18, 0*k - n*k = 3*a + 9 for k.
-3
Suppose -4*n = -n + 6*n. Solve n + 1 = -3*v - 4*x, -3*x = -4*v + 7 for v.
1
Let b(a) = a**2 + 4*a + 4. Let z be b(-3). Let s be (6/(-8))/((-3)/96). Solve -k - z = h, h + s = -2*h + 4*k for h.
-4
Let m(d) = -d**3 - 7*d**2 + 2*d + 18. Let y be m(-7). Solve y*f - 17 + 7 = 2*l, 0 = 3*f for l.
-5
Suppose s - 5*s - 8 = 4*j, -4*s = 5*j + 10. Solve 2*b - 10 = -3*b - 2*w, s = 5*b + w - 5 for b.
0
Let o be (-1)/3 - (-3)/9. Let d be 2*(1 - o/(-2)). Let f(l) = -l**3 - 15*l**2 + 4. Let x be f(-15). Solve -2*r + d = x*c, -6*r + 11*r = -3*c + 12 for r.
3
Let q = -35 + 29. Let h(y) = -5*y - 15. Let i be h(q). Suppose 3*a = -3*n - 0 + i, -10 = -2*a - n. Solve a = d + 5*u, -d - u = -2*d - 7 for d.
-5
Let k = -84 - -85. Suppose 2*v = 3*v - k, -3 = -2*c + 3*v. Solve -2*y - 1 = -z, -4*z + 3*y - 3 = c for z.
-3
Suppose -3*c + 39 = 3*s, 2*c - 62 = 9*s - 14*s. Solve -2*o - s = -5*m + 3, -2*o = 4*m - 30 for o.
5
Let x be (40/24)/((-1)/(-3)). Suppose -21 = -4*n - x. Let a(d) = -7*d - 2. Let w be a(-3). Solve 0*m - w = -m + n*f, 4*m = 2*f + 6 for m.
-1
Suppose -4*c = w - 1, -3*w = -0*c - 3*c - 3. Suppose -2*g + 2 = 30. Let h = g - -15. Solve 2*l = -u - h, 0 = -u - l - c + 2 for u.
5
Let m(f) = 7*f**2 + 40*f + 39. Let u be m(-1). Solve -a + 13 = -4*v, 3*v = 3*a - u + 3 for v.
-4
Let w(b) = b - 7. Let q be w(10). Suppose -q = 3*z, 6*z + 7 = -2*o + 3*z. Let a be (-8)/8*4/o. Solve 0 = -4*k, -2*c + a*k - 10 = -3*k for c.
-5
Let l = 172 + -169. Suppose n - 48 = -44. Solve -3*c - 18 = 5*h, -n*c + 2 + 3 = -l*h for h.
-3
Let s(z) = -2*z**3 - 6*z + 6*z**2 + 3*z**3 + 13*z + 5. Let v be s(-4). Let r = 11 - v. Solve -r*a + 8 = -2*h, -8 = 3*h - a - 0 for h.
-2
Suppose -2*g - 101 + 27 = 0. Let o = g - -61. Solve -4*n - 3*j = -10 + 41, n + 4*j = -o for n.
-4
Let t(b) = b**2 + 17*b - 225. Let c be t(-26). Solve 2*f = j - 0*j - 3, c = 3*j for f.
0
Let a(g) = g**2 - 5*g + 5. Let q be a(5). Suppose 94 = 9*b - 41. Solve 4*d = -q*t - b, -t - 2*d = 2*t + 7 for t.
1
Let h(p) = 2*p**2 - p + 4. Let q be h(4). Let m(l) = -l**2 + 12*l + 7. Let w be m(11). Suppose 2*n - w = -10. Solve -4*r = -4*g, 0*r + 4*g + q = -n*r for r.
-4
Let h be 4/18 - 102/(-27). Suppose -l - h*g = 3*l - 80, g + 4 = 0. Solve l = -2*a - 4*b, 5 = -2*a - b - 4 for a.
-2
Suppose 0 = -5*x + 5*d + 5, 4*x - 2 = 2*d. Suppose -6*i + 7 + 5 = x. Solve -i*q + 2*v - 8 = 0, 0*v - 5*v = 4*q + 25 for q.
-5
Suppose 0 = 5*c + 10*c - 90. Let w(m) = m**3 - 7*m**2 + 8*m - 9. Let z be w(c). Solve a + 5*x - 15 = 0, -z*x + 16 = -2*a + 4*a for a.
5
Let t = 524 - 521. Solve -4*a + p - 9 = 0, -18 = t*a - 3*p - 0*p for a.
-1
Suppose 0 = -5*w + 2*w + 3. Let l be (0 + 6)*w*2. Let t(v) = v + 36. Let h be t(-32). Solve -h*g + 5*z + 9 = 2*z, 0 = 2*g + 4*z + l for g.
0
Let s = -21 - -22. Suppose 5*j - 19 = s. Solve -l - j = 3*n, 8*n + 9 = -4*l + 3*n for l.
-1
Let y(g) = g**2 + 7*g + 10. Suppose 5*k + 27 = -3. Let l be y(k). Solve l*u = v + 2, v - 2*u = 3*u - 3 for v.
2
Let u be -2*((-35)/20 - 3/(-12)). Let h be u/(7/(56/12)). Solve 0*m - 2 = h*m, b + 2*m = -1 for b.
1
Let w be -1 + -4 + 6 - 1. Let s be (-72)/20*(-5)/2. Suppose -4*j + j = -s. Solve w = -j*u - 0*u + 5*t - 25, 4*u - 4*t + 28 = 0 for u.
-5
Let c 