or y.
1
Suppose -5*r = -5, 2*w + r - 6*r + 31 = 0. Let t = w - -15. Suppose -t*x + 2*z + 10 = 0, 0*x + 4*z + 10 = 2*x. Solve -f + 5 = -3*q - x, 0 = -2*q + 4*f for q.
-4
Let t = -9 - -14. Let r be t/1*(2 + -1). Let p = 8011 - 8008. Solve 0 = 5*o - 15, -2 = -p*h + r*h + 2*o for h.
-4
Suppose 58 = -4*s - 26. Suppose 0 = -3*p - 4*g + 55, -2*g - 140 = -5*p + g. Let i = p + s. Solve 0*j + j = -4*a + 5, -2*j = i*a - 10 for a.
0
Suppose y - 4*y + 3*v + 15 = 0, -4*v = -3*y + 14. Suppose -6*x = 2*q - x + y, -3*x - 12 = 0. Let g = q + -4. Solve -h + 7 = g*s, 13 = 4*h - 6*s + 3*s for h.
4
Let f(w) = 3*w**2 - 39*w + 2. Let c be f(13). Solve n + 3*z + 1 = -8, -3*z - 9 = -c*n for n.
0
Suppose 0*b + 5*b = 15. Suppose -z + 26 = b*f, 5*z - 86 + 26 = -5*f. Let g be 4/8*-6 + f. Solve -2*h = 3*h - g*d - 13, 0 = -5*d + 15 for h.
5
Suppose -2*y = 4*k, 0 = -4*y + k - 0*k - 9. Let a be (1 - y) + 8 - 4. Let n(f) = -2*f - 4. Let d be n(-3). Solve -h = -5*s + 19, d*h - 3*h - a = -s for s.
3
Let k = 0 - -2. Let g = 16 + -3. Let j(n) = n**2 - 13*n + 5. Let x be j(g). Solve -7 = -x*r + 3*z, -4*r + 0*r + 10 = k*z for r.
2
Let p be (-3915)/60 + 6/(-8). Let d be (-11)/(p/36)*(-2)/(-3). Solve 0 = -d*f + 12, -w - 4 = 3*f - 13 for w.
0
Let t(i) be the first derivative of -i**2 + 17*i + 29. Let g be t(7). Solve -2*r + q - 2 = 0, 0*r - 3*r + g*q = 3 for r.
-1
Let t(u) = -3*u**2 + 20*u - 29. Let c be t(3). Solve -3*b - 3*l = 0, 0 = b - 3*b - c*l + 8 for b.
-4
Let w = 115 - 116. Let z(m) = -9*m**3 - m**2 + m + 1. Let y be z(w). Solve -5*o = -2*l + y, -2*o + 16 = 4*l + 2*o for l.
4
Suppose 40 - 31 = 3*y. Solve -12 = 3*p - 3*t, 3*p + p + y*t - 19 = 0 for p.
1
Let c = -265 - -270. Solve 8 = 2*f + 2*m, 2*f - c = -0*f - 5*m for f.
5
Let r be (-350)/(-85) + (-8)/68. Solve -5*p + 35 = -r*v, -v = 3 + 2 for p.
3
Suppose -40*v = -10*v - 1050. Solve 15 = 3*l, 4*p = -p + 5*l - v for p.
-2
Let x be (-3 - -17) + -10 + -1. Solve 5 = -l + 5*u, 4*l + 2 = 5*u - x*u for l.
0
Let g = -34 + 41. Let j = 8 - 5. Solve 4*t - x - g = 0, 6 = -j*t - 3*x - 0*x for t.
1
Let t = -590 + 597. Solve -j - 5*m = -17, t*j - 4*m = 8*j - 13 for j.
-3
Let g = 5 - 3. Suppose -6*r + 3*r - g*k = 6, k + 3 = -r. Suppose 15 = 8*j - 17. Solve 5*o + y - 24 = r, -8 - j = -3*y for o.
4
Suppose -n = 2*n - 33. Let f(y) = y**2 - y - 6. Let a be f(5). Let b = a - n. Solve -i = 5*g + 14, b*g - 2*i = -i - 10 for g.
-3
Let v be (-2)/8 - 1050/24. Let k be (-2)/7 - v/7. Solve -t = -3*r + 7, -2*t - 2*r + k*r - 10 = 0 for t.
-1
Suppose 0 = 6*y - 2*y - 380. Suppose -3*n = -5*j + 79, -y = 5*n - j - 0*j. Let c = n + 27. Solve -5*x + 3*b = -c - 13, 4*x = 3*b + 17 for x.
5
Let t = -3 + 5. Suppose 3*n - 86 = -19*g, -2*g + 20 = 4*n + 22. Solve g*b + 3*q = -14, -2*b + b = t*q + 7 for b.
-1
Suppose -43 + 15 = -7*u. Suppose 0 = -u*d + 8*d - 12. Solve -19 = 5*l + 4*s, d*l - 2*s + 8 = -s for l.
-3
Suppose -2*n - 22 + 30 = 0. Let j = -129 + 133. Solve -5*y - 3*z + n - 15 = 0, j*y - 4*z - 4 = 0 for y.
-1
Let q = -1914 - -1914. Solve q = -3*h, -h - 2 = -2*t - 6 for t.
-2
Let v(r) = -2*r - 39. Let o be v(-21). Suppose 8 = o*a + a. Solve -4*l + 5*x + 14 = -0*l, a*x + 2 = -2*l for l.
1
Let s = -7 - -18. Suppose s*d = 14*d. Solve -2*j + 8 = 4*x, d = 5*j - 3*j for x.
2
Let s(g) = -8*g + 27. Let f be s(3). Solve 0*n = 3*n - 2*u - 2, 3*u = 2*n - f for n.
0
Suppose w = n, 3*n + 2*w = 6*n - 4. Solve n*u = 5*m - 2, -2*u - 1 - 11 = 3*m for u.
-3
Suppose 4*q + 6 + 2 = 0. Suppose -3*m - 30 + 51 = 0. Let h = m + q. Solve 0 = -h*p - 10, f - p + 6 = -f for f.
-4
Let p(a) = -a**2 - 10*a - 5. Let s be p(-8). Let f = -7 - -11. Let x = f + -3. Solve 3*w = -4*o - s, o + 3*w + 6 - x = 0 for o.
-2
Let l be 6/((-48)/(-26)) + (-1)/4. Suppose -a - 7 = -l*u, 4*u + a + 4*a = 3. Solve -25 = -3*k - u*k, -k + 30 = -5*w for w.
-5
Suppose 8*a + 2936 - 2960 = 0. Solve 4*z = z - a, 4*z + 14 = 5*y for y.
2
Let l = 803 + -800. Solve -3*s - 2*h - 10 = -2, -l*h + 3 = -3*s for s.
-2
Let s = 40 - 36. Suppose 0 = s*m + 3 - 15. Let b = 19 + -13. Solve -13 = -m*h + 2*q - b, -q - 6 = -2*h for h.
5
Let n(w) = -2*w + 16. Let p be -10*(96/(-20) - -4). Let k be n(p). Let a(s) = s + 2. Let f be a(2). Solve -f*o + 8 = k, -h + 5*o = -3*h + 6 for h.
-2
Let y(o) = 2*o. Let q be y(-2). Let d be 3/(3/40) - 0/q. Solve 0 = 4*f - 0*a - 4*a - d, 5 = -f - 2*a for f.
5
Suppose 53 = 4*p + 33. Solve 2*f + p = 2*d - 3*f, -5*d + 3*f = 16 for d.
-5
Let t(u) = -2*u - 1. Let v be t(-2). Let y = 46 - 45. Let f be (-7 - -5)*y - (0 + -7). Solve v*h - 4 = 2*j, 5*j + f = -5 for h.
0
Let a(o) = o**2 - 5*o + 2. Let m be a(3). Let j be (-1)/(2*m/(-16)). Let z be j - 51/(0 + -3). Solve -2*g - 6 = 3*l, 2*l - 6*l + z = -5*g for g.
-3
Let p(q) = -5*q. Let x be p(7). Let u = -30 - x. Solve u*w = g + g - 4, 5*g = 10 for w.
0
Suppose -i - 16 = 3*i, 0 = -5*d + i + 84. Let r = -10 + d. Solve -3*h = -u - r, 5*h - 11 = -0*u + 2*u for h.
1
Let v(p) = -p**3 + 5*p**2 + p + 4. Let i be v(5). Suppose 2*m = 4, -a - 5*m + i + 11 = 0. Solve u = -2*d + a, -5*d = -4*u - 2 + 3 for u.
4
Suppose -2*k - 376 = 4*a, -2*a + 6*k = k + 176. Let v = a + 95. Solve 4*x + 2*b - 4*b = -v, 0 = -2*b + 10 for x.
2
Let s = -90 + 92. Solve 5*m + 28 = -s*n, n - 2*m = m + 8 for n.
-4
Let t be 33/7 - (-2)/7. Suppose 4*s - 78 = -30. Solve -3*y - v - 2*v + s = 0, 26 = t*y - v for y.
5
Let t be (20 - 14) + 0 + 4. Solve 0 = -4*h - f + 7, 13*h - 8 = t*h + 2*f for h.
2
Suppose 4*d = -d. Suppose d*b - 5*b - 125 = 0. Let q = b + 25. Solve 3*a + 0*a - 2*c + 10 = 0, 2*a + 2*c = q for a.
-2
Suppose -26*a - 31*a - 4 = -58*a. Let r = -5 + 8. Solve -4*j + 3*f = -0*f + 10, 0 = a*j + r*f - 2 for j.
-1
Suppose 0 = -16*f + 12 + 68. Solve -f*p - 9 = -2*p, 2*g - 2*p + 2 = 0 for g.
-4
Let q be 2 + 24/108 + 6/(-27). Solve -q*y + 6*y - 5*o = -4, -3*y = 4*o - 28 for y.
4
Let n = 45 + -45. Suppose 0 = 2*r - 3*o, n = -4*o + 3*o. Solve h - 3*j = r, 11 = -3*h - 4*j + 2*j for h.
-3
Let c(q) = 99*q - 4. Let p be c(-1). Let d = -100 - p. Solve 0*v + 3 = 3*v + k, 21 = d*v - 5*k for v.
2
Let j be (-8)/(-6) + 4/(-12). Let n(b) = b**2 - 14*b + 12. Let z(h) = h. Let c(f) = j*n(f) + 6*z(f). Let s be c(8). Solve -3*x = a + s, x + 3*a + 4 = 5*a for x.
-4
Suppose 14 - 50 = -9*i. Let a be (-27)/(-15) + i/20. Solve -4*m + x - 2 = 3*x, 2*m + a*x = -6 for m.
2
Let x(b) = 15*b - 15. Let t be x(5). Suppose 27*n - 22*n + t = 0. Let h = n + 25. Solve -5*m = p + 1 + 1, 4*m - 3*p + h = 0 for m.
-1
Suppose 13*a - 20 = 8*a. Solve -4*h + 8 = -2*s, 2*s - 4*s + 24 = a*h for s.
4
Let a = -35 - 6. Let f = a + 41. Solve 0 = -4*b - 2*y - 8, -4*y - 16 = b - f*y for b.
0
Let v(t) = -t**3 + 6*t**2 + 2*t - 9. Let y be v(6). Solve -3*d + 3*h = -0*d + y, -h - 2 = -2*d for d.
3
Let o be -2 - (-2)/((-2)/(-21)). Suppose 0*h + m = 3*h - 72, -h + o = -2*m. Let s = h - 20. Solve -2*b + 6*b + s*f = -12, -5*f - 30 = -5*b for b.
2
Suppose 82 = 5*l + 7. Suppose 24*p - l = 21*p. Solve 0*u - a + 20 = 3*u, p*u - 35 = -2*a for u.
5
Suppose -5*i + j = 2 + 3, -5*j + 25 = 4*i. Suppose 42*z - 20 = 38*z. Solve i = -x - 2*k - k + 4, -k - 4 = -z*x for x.
1
Let h be 2/3 - 32/(-6). Let x = 255 - 270. Let w be 0 + (-5)/(x/h). Solve -5 = -2*c + q + 2, -4*q = -w*c + 16 for c.
2
Suppose -3*o - 3*m = -45, 2*m - 4 = -o + 12. Solve 2*w = 3*r + o, 4*r = -4*w - 0*r - 12 for w.
1
Suppose -4*v = 1 - 1. Suppose v = 4*x - 11 - 9. Let b(c) = -c**2 + 6*c - 3. Let p be b(5). Solve 3*u + u = -5*y - 10, 0 = p*y + x*u + 21 for y.
2
Let c be (-65)/(-26) + 1/2. Suppose -8*x = -7*x - c. Solve -3*z - 9 = -2*u + u, 0 = z - 3*u + x for z.
-3
Let v(w) = w**2 + 20*w - 66. Let h be v(-23). Solve -u - 2*c - 1 = 0, u = -3*u - c + h for u.
1
Suppose -m + 2 = z - 2*m, 4*z - 2*m = 14. Solve 5*o = -z*s - 35, -s + 2*s - 2*o - 5 = 0 for s.
-3
Let a = -307 - -309. Solve -z + 1 = a*s + 3, 3*z + s + 11 = 0 for z.
-4
Let m = -135 - -137. Solve -5*g = 4*f + 3, 3*f - m*g + 2 = -6 for f.
-2
Let m be 3 + 4/8*2. Suppose j - 12 = -5*z, -m*j - 20 = -5*z - 9*j. Solve 5*q - 41 = -z*y - 6, 3*y = -3*q + 30 for q.
5
Suppose 251 = y + 253. Let l be ((-6)/8)/((-36)/16 - y). Solve 0 = -4*j + 2 + 2, l = -2*i - 3*j for i.
-3
Let v be 60/1*(-1)/2. Let u = -1093 + 597. Let d be 4/v + u/(-120). Solve -4*s = -20, d*s = -3*t + 2*s + 4 for t.
-2
Let n be 3 - (1 - -2 - 7). Solve n - 37 = -5*b - 3*m, b - m + 2 = 0 for b.