
1
Suppose 4*y = 23 - 3. Let j be (-22)/(-4) - (-3)/(-2). Let q = 5 - 3. Solve -2*t = j*f + 22, y*f + 5*t = -37 + q for f.
-4
Let g(h) = -h**2 + 4*h - 3. Let m be g(2). Let p = 109 + -106. Solve -7 = 3*f + j, m = -j - p for f.
-1
Suppose 0*o - 3*o + 48 = 0. Let j be (-1)/(-2) + (-3)/(-2). Suppose 2*n = 3*n - j*q + 8, -4*n - 17 = -5*q. Solve 0*g - 3*g + o = -5*a, 0 = -3*g + n*a + 1 for g.
-3
Suppose -5*o + 36 + 19 = 0. Let u be (1 + 0)*(0 + 1). Let h be 53/4 - u/4. Solve m = -0*i - 3*i + o, 3*i - h = m for i.
4
Let c = 62 - 40. Let b be 5*(c/(-10) - -3). Let j = 23 + -10. Solve 4*q - j = 5*v + q, -b*v = q + 7 for v.
-2
Let x(m) = -5*m**3 + 10*m**2 + 5*m - 4. Let j(n) = n**3 - n - 1. Let d(i) = 4*j(i) + x(i). Let r be d(10). Solve -h - r = f, 4*f - 20 = -0*h + 3*h for h.
-4
Let x(k) = -2*k. Let t be x(3). Let r = 9 + t. Solve o - 6 = -r*h, 0 = -3*o + 4*o - 2*h + 4 for o.
0
Suppose -2*y + 15 = 5*p, -8 = 2*p - 2*y - 0*y. Suppose 2*n + p = 3*n. Solve 2*v + 5 = -s, -4*v - 14 = -s - n for v.
-3
Suppose 2*l - l - 15 = 0. Suppose -7*q = -12*q + l. Solve -3*u - j = -0*j + 10, 5*j - 10 = -q*u for u.
-5
Let a = 29 + -19. Solve 0 = -5*i + a, 5*s = -i - 3 for s.
-1
Let g be -2 - (-2)/((-2)/(-2)). Let k be (-1*1)/(10/(-50)). Solve 4*z - 32 = 5*i, g*z + 17 = -z - k*i for z.
3
Suppose 4*p = v + 21, -p + v = -3*p + 3. Solve -5 = -o - 3*o + 5*q, 0 = o - 4*q - p for o.
0
Let c = -76 + 80. Solve -3*y - 4*j = -8, -y = c*j - 6*j + 4 for y.
0
Let s be (224/(-48))/(4/(-6)). Solve -3*k - 2 - s = -3*t, 5*k + 20 = 0 for t.
-1
Let b(s) = -2*s**2 - 6*s - 2. Let a be b(-1). Solve -2*c + 4*k = -8, 0 = a*c + 3*c + 5*k + 10 for c.
0
Let d be (-2)/(3/((-81)/2)). Let s = -17 + d. Solve j = 5*i + 6 + 2, 5*j = -s for i.
-2
Let q be -6 - (-2)/(-1) - 1. Let a = 17 + q. Solve -4 = -2*n - 3*g, a = -2*n + g + 2*g for n.
-1
Suppose -n = -0*n. Let a be (-1 + n)/(1/36). Let g be (a/(-27))/(1/3). Solve -2*u - 2*s + 5 = -s, -g*s - 20 = -2*u for u.
4
Suppose 5*s + 7 - 22 = 0. Let x(n) = -n**2 + 21. Let f be x(0). Suppose -11 = -4*c + f. Solve -4*b + c = 2*l + s*l, -3*l + 4*b + 24 = 0 for l.
4
Let k be (-54)/(-4)*(-30)/(-9). Suppose 2*g + k = -3*g. Let v be (6/g)/(4/(-18)). Solve -c = 2*x + 5, 5*x = 2*x + v*c + 6 for x.
-1
Let d be 13/5 - (-10)/25. Suppose 2*a + 4*f - 16 = 0, 0 = -a + 5*a + d*f - 12. Suppose -6*b + 4*b = a. Solve 2*u - u - 20 = 5*g, -g - 2*u + 7 = b for g.
-3
Suppose 29 = 3*o - o + z, 3*o = -z + 42. Suppose 3*q - 48 + 15 = 0. Suppose -q = -3*n + o. Solve 4*l - n = -2*c, -5*c - 2 - 2 = 2*l for c.
-2
Suppose 0 = -2*o - k + 44, -4*o - k + 90 = -0*k. Suppose -5*a - 3*v = -9, 5*v + 3 = -3*a + 2. Solve l + 7 = m, -a*m = l + 2*m - o for l.
-2
Let j(w) = -w**3 - 6*w**2 - 7*w - 10. Let v be j(-5). Solve -x - c + 1 = v, 0*c + 17 = 2*x - 3*c for x.
4
Let s(p) = 4*p - 19. Let u be s(8). Solve -4*k + 4*b + 32 = 0, 5*b + 7 = -u for k.
4
Let n = -10 - -10. Solve -5*h = -h + 2*b + 6, n = -5*h - 3*b - 5 for h.
-4
Let r(q) = -q + 10. Let t be r(7). Solve 2*g = -p - 6, p - 29 = t*g + 2*g for p.
4
Suppose 5 = j - 0. Let t = -3 + j. Suppose q = -q. Solve q = 4*z - 20, t*o + 40 = -2*o + 4*z for o.
-5
Let u(c) = -c**3 + 9*c**2 + 3*c - 22. Let i be u(9). Solve -3*b + 0*b - i*p = -24, -3 = -3*b + 2*p for b.
3
Let o(m) = -m**2 + m - 10. Let a be o(8). Let b be a/(-2)*8/24. Solve -x - b = 3*y + 4, -2*y + 5*x = 10 for y.
-5
Suppose -9 + 9 = -5*z. Solve w - 15 = -5*a, 13 = 3*w - z*w - a for w.
5
Suppose -2*r - 7*f + 3*f + 14 = 0, -r + 7 = 4*f. Let q = -2 + r. Solve 3*b + 3*c + 1 = -8, 0 = -q*b + 2*c - 1 for b.
-1
Let u = 22 + -22. Let z(o) = o**2 + 6*o - 2. Let n be z(-6). Let f be n/2 - (-15)/3. Solve v - 21 = -f*l - u*v, 2*l - 12 = -2*v for l.
5
Let j = -1 + 3. Let h = j - 8. Let b be (h/4)/((-2)/4). Solve 2*l + 0*l - 11 = n, -b = -l - 2*n for l.
5
Let o(v) = -v**3 - 14*v**2 - 12*v - 8. Let h be o(-13). Let s = h + 23. Solve 0 = -s*g - x + 2, -4*g - 4*x + 11 = g for g.
-1
Let g be 1*(-9)/(2 + -5). Solve -w + g*h - 8 = 7, 20 = -2*w + 4*h for w.
0
Let x(b) = b. Let k(o) = -4*o - 1. Let y(c) = -k(c) - x(c). Let d be y(1). Solve -2*i + 8 = -g, -8*g - 4*i + 28 = -d*g for g.
2
Suppose 3*n - 5*d = 10, 2*d + 1 + 3 = -5*n. Solve n = -5*y - 4*a, -a + 0*a = 0 for y.
0
Suppose -2 = -10*k + 9*k. Solve 2*r + 2 = -k, -4*n - 4*r - 16 = 0 for n.
-2
Let c = -30 - -105. Suppose 45 = 4*t - c. Suppose 70 + t = 4*i. Solve -5*d - 5*k = -i, 5*k = -d + 11 + 2 for d.
3
Let x be (-1)/4 - 231/(-44). Solve x = -t - t - 3*d, 2*t + 5*d + 3 = 0 for t.
-4
Let z = -2 - -4. Suppose -5 = -q - z. Solve 0*t + u = 3*t + 15, -q*u = 4*t + 7 for t.
-4
Suppose x - 10 = -f, -2*f - 6 = -5*x + 16. Solve -4*v - x = -7*v, 15 = -5*i - 5*v for i.
-5
Suppose 0 = -j - 3*l + 15, -j - j = 2*l - 14. Let b = 2 + 0. Solve b*k + 8 = j*t, 5*t - 4*k = -0*t + 12 for t.
4
Suppose -3*d - 4 + 1 = 3*w, -4*w + 4 = 2*d. Solve -z - 4*k + 2*k - 1 = 0, w*k + 18 = 4*z for z.
3
Suppose 0 = -11*s + 10*s. Suppose p = -s*p + 1. Solve -a - 5 = 4*u + 17, 2*a - p = u for u.
-5
Let j(t) = -t**2 + 8*t + 3. Let w be j(7). Suppose -w = -3*c + 47. Suppose -5*b + f = -25, 0 = -b + f + 2*f + c. Solve 2*q - 5*q + 3*y = 27, -20 = -b*y for q.
-4
Let r(p) = 9*p - 6. Let k be r(4). Suppose -72 + k = 3*w. Let l = w - -24. Solve 3*g - 13 = 3*o - 2*o, 4*o + l = -2*g for g.
3
Let g = 7 - 4. Suppose 7 - g = 4*w. Solve 2 = -5*n - 4*y + 16, y = n - w for n.
2
Let q(k) = k - 1. Let z be q(4). Let g = z - -2. Solve -g*r = 5*w + 15, -5*r - 15 = w + 8 for w.
2
Suppose -4*f + 52 = -2*o + 3*o, 5*o = -f + 165. Solve -4 = 4*r - 4*x, x + o = -4*r - 2*x for r.
-5
Suppose 7 = -3*p + 1. Let h = 2 + p. Solve h = -5*g + 3*f - 11, -4*g + 0*g = -f + 6 for g.
-1
Let m be ((-4)/(-12))/((-2)/(-18)). Let s(k) = k**3 - 4*k**2 + 5*k - 2. Let x be s(6). Suppose -2*p = m*p - x. Solve -5*q = -q - 2*w - 4, 4*q - p = -2*w for q.
3
Let g be (-6)/(-3) - (-1 - (-4)/(-4)). Solve g*x + 9 = -5*b + 30, 4*x - 1 = -b for b.
5
Let q be ((-10)/45)/((-1)/9). Solve 5*u - 5*a - 15 = 0, 0 = 3*u + q*a + a - 21 for u.
5
Suppose 0 = -2*u + 3*u + 4, m = -5*u - 10. Suppose -5*j + 0*z + m = z, 2*j + z - 4 = 0. Solve -5*f + 0*t + 28 = -j*t, f + 4*t = -12 for f.
4
Let k(l) = l**2 + 7*l + 4. Let h be k(-7). Suppose 0 = -2*p - 4, 4*f - p - h*p = 42. Solve -4*o + 27 = 5*d, 5*o - 2*d = f + 1 for o.
3
Suppose 0 = -2*p - w + 25, 3*p - 2*w - 5 = 3*w. Suppose 5*o - 6 = b, o - 5*b + 9 = -9. Suppose 10 = o*h - 0. Solve h*d = -2*n - 6, -4*n + p = -3*n - 4*d for n.
2
Let p(g) = -g**2 - 6*g - 6. Let w be p(-4). Solve -5*h - 1 + 5 = s, -w*h - 8 = -2*s for h.
0
Suppose 2*o - 4*o + 4 = 0. Let c be (o - 0)/1 + -2. Solve c = -2*m - 5*w + 18, -m + 2 = -2*m + 3*w for m.
4
Suppose -4*b + 2*d = 5 - 31, 5*b = -d + 15. Suppose -2*u + b = y, -u + 3 = -3*y + 4*y. Suppose 2 = 4*v - y*v. Solve -l + 5*q + 2 - v = 0, 5*l - 5 = -2*q for l.
1
Suppose 0*x + 5*x - 70 = 0. Suppose -5*u = -31 + 6. Solve n = -2*j - 1, -5*j + u = -4*n + x for n.
1
Let i be (-6)/(-4)*-2 - (-10 + -2). Let y be -4*1/(-1 - 0). Solve -i = g + 5*t, 3*t = -y*g + 4*t - 15 for g.
-4
Suppose 2*t + 3*q = -10, 3*t - 2*q - 2 = 2*t. Let b be ((-24)/(-9) + t)*-3. Let k be (1/3)/(b/(-18)). Solve -5*z = -y + k*y - 14, y - z + 7 = 0 for y.
-3
Let l be (-8)/4 + 8/2. Solve -2*m + 1 = i, 4 = -l*m - 0 for i.
5
Let v(l) = -2*l**2 + 23*l - 27. Let z be v(10). Solve 4*j + y - 3*y - 6 = 0, -z*j + 7 = -2*y for j.
-1
Suppose 5*n - n = 0. Solve -24 = -5*l - i - n*i, 2*l + 8 = 4*i for l.
4
Let i be 1/(-3) - 14/(-42). Solve 3*m = y + 8, i*y + 2*y = m + 4 for y.
4
Let u(k) = 5*k - 19. Let x(i) = -2*i + 9. Let n(p) = -4*u(p) - 9*x(p). Let f be n(-4). Solve 0 = 4*c + 12, 9 = f*b - 6*c + 2*c for b.
-1
Let b(n) = -n**3 - n**2 + 10*n - 4. Let p be b(-4). Solve 4*q + p*u + 8 = 0, -3*q + 6*q + u = 0 for q.
1
Suppose 0 = -d - 2*z + 5, 2*z = -5*d - 0*z + 9. Let b = d - 0. Solve -3*r = u + 6, 2*r + 3 = u - b for r.
-2
Let w be (0 + 4)/2 - 14. Let o(a) = -12*a + 2*a**3 + 8 - 13*a**2 - 4 - 3*a**3. Let k be o(w). Solve 3*h - k*h = -x - 5, -3*x = -2*h + 15 for h.
0
Suppose -3*v - 3*x = -7*v + 21, -v + 5*x + 18 = 0. Solve 0 = -v*n + 4*u + 8, 10 = -5*n - u - 4*u for n.
0
Let h = -5 - -5. Solve 5*l + 3 = -i - h*i, 2*l = -3*i + 4 for l.
-1
Let y(a) = -a**3 + 5*a**2 - 4*a + 3. Let h be y(4). Suppose 4*p - 3 = -h*j + 8, 5*p + 4*j - 14 = 0. Solve 