s + 7 for s.
2
Let g be 21/(-6)*((-144)/(-21))/(-4). Suppose k + 220 = g*k. Suppose k = 5*l - 16. Solve 0 = 5*m - h - 18, 0 = 2*m + h + h - l for m.
4
Suppose 0 = 10*h - 37 - 13. Suppose 5 - 50 = h*a. Let g(t) = t**3 + 10*t**2 + 8*t - 4. Let b be g(a). Solve 4*u = -4*f + 28, -5*f = u - 14 - b for f.
3
Let o be (-2)/(-5) - (-13)/5. Let a(w) = 2*w**2 - 66*w - 70. Let q be a(34). Let c be (q + 2)/(4*(-15)/20). Solve -b + 11 = -o*s, c*s + 4*b - 9 = 5*s for s.
-5
Let y = 1216 - 1201. Solve l + y = 4*q, 0 = 40*l - 43*l - 2*q - 3 for l.
-3
Let z be 16/(-2) - (-173 - -165). Suppose 4*u - 12 = 4. Solve -5*b = 3*t + 15, z = 2*b + t + 1 + u for b.
0
Let j = 7277 + -7275. Solve -t - 10 = -j*w, -48*w + 45*w = 4*t - 37 for w.
7
Suppose 0 - 3 = -l + 2. Solve -l*d = -2*y + 12, 31 = -5*y + 3*d + 23 for y.
-4
Let x = 522 - 955. Let n = x + 436. Solve -n*b = 5*s + 3, 0 = 3*s - b - 2 + 1 for s.
0
Let a be ((-60)/(-36))/(-5)*(-28 + 1). Suppose -z + 3*k = -11, -3*k + 0*k = a. Solve g - 2 = -5*o - 19, z*o + 5 = -g for g.
3
Let l = 2089 - 2072. Solve -16 = 4*m, -l*m - 13 = -n - 13*m for n.
-3
Let d be 27/5 - 2/((-55)/(-11) - 0). Solve -9 + 15 = 3*z - 3*p, 3*z - 14 = -d*p for z.
3
Let f = 15917 - 15912. Solve -f*d = -4*n + 63 - 68, -16 = 5*n - 3*d for n.
-5
Suppose 63*k - 6 = 62*k. Let b be k*(-6 - -5) + 10. Solve -b*g + 7 = -3*m, m - 2 = 3*m for g.
1
Suppose -4*m + 212 = 5*j - 271, 0 = 3*j + 3. Suppose -134*g + m*g = -60. Let h be (-1 + -1)/2 - -9. Solve w + h = -2*k - 3, -g*w - 10 = -5*k for k.
-3
Let q be (0 - 0) + -3 + 5. Suppose q*f = -7*f + 18. Solve -6 = -f*k + x, 4*k - 2*x = -3*x + 24 for k.
5
Let f be 3/(-21) + 144/126. Let y(a) = -42*a + 43. Let i be y(f). Solve 0 = d + 3*k - 2*k + 1, -d - 5*k = i for d.
-1
Suppose 0 = -12*n - 25 + 49. Let d(y) = -6*y - 1. Let c be d(-1). Solve n*v - 10 = -2*a - v, 2*a = -c*v + 18 for a.
-1
Let i = -3 - -30. Let h = -21 + i. Suppose 0 = -z - 3*v + 2, -4*z + h = v - 2. Solve 5*c = -z*o - 19, -4*o - 2*c - 2*c - 20 = 0 for o.
-2
Let c(a) = -a**2 + 6*a + 179. Let m be c(16). Solve -3*o + 2*j = 5, -3*o - 2*j - 3*j - m = 0 for o.
-3
Let m(i) = 971*i**2 + 62 - 970*i**2 + 23*i + 0. Let a be m(-20). Solve a*n - 1 = -5*j, 0 = 3*j + n + 5 - 6 for j.
1
Let y be (-22)/6 + 4/6. Let t(j) = -2*j - 1349 - 3*j**2 + 2*j**2 - 2*j + 673 + 673. Let h be t(y). Solve -5*l = -4*z - 7, -l + 9 = 3*z - h for z.
2
Suppose -6450 = 522*b + 523*b - 1060*b. Solve p + b*u - 11 = 432*u, 3*p = -u + 5 for p.
3
Suppose 0 = -3*h + 3*w, -2*h = -6*h + 2*w. Suppose h*u - p + 8 = 3*u, 4*u - 17 = 5*p. Solve -4 = a - s, -4 = -5*a - 0*s - u*s for a.
-1
Let s be -15*(-10)/25 + (-3 - 0 - -3). Solve -m - s = -z, -3*z + 38 - 25 = 2*m for z.
5
Let q(t) = -t**2 + 21*t - 43. Let z be q(5). Suppose 3*s - 24 = -4*n, 2*n - 13 + z = 3*s. Solve -2*v + 2*i = 4*i + s, -5*i = 3*v + 18 for v.
-1
Suppose -3*y = -3*h + 15, 77*h - 80*h - 5*y = -15. Suppose 0 = -5*t - 0*t. Solve -l + r + 8 = t, r - 12 = l + h*r for l.
4
Suppose 3*g + 2*z = 3*z + 284, 0 = 2*g + 2*z - 192. Let m = g + -87. Solve s - 5 = -2*p + p, -s + m = 4*p for s.
4
Let j = -134 + 119. Let t be (6/(-30))/(1/j). Solve 3 = 3*w, 3*d + 13 - 1 = t*w for d.
-3
Let f = -14991 + 15061. Solve -3*r + 4*v = -11, 73*r + 24 = f*r - 3*v for r.
-3
Let n(m) = -m**3 + 49*m**2 + 157*m - 62. Let o be n(52). Let l be (-1)/(-10) - (-2684)/(-440) - o. Solve 5*c + 25 = -d, -3*c + c = l*d + 28 for d.
-5
Let u be 5/((2 + -7)/5). Let y be 2/(u/(-75)*6). Let g be (-4)/(-12) - (-208)/6. Solve -5*v + z + g = y*z, -4*v + 17 = z for v.
3
Let s be ((-278)/(-6))/((-8)/(-6) - 1). Suppose 137*j + 6 = s*j. Solve -7*q + j*q - w = -13, w = 5*q - 23 for q.
4
Suppose -12791*f + 12799*f - 48 = 0. Solve 2*i = 2*v + 2, f*i = 9*i + 5*v - 3 for i.
1
Let s be -17 - (2 + (-40)/4) - -13. Solve -2*o = 4, -s*o - 14 = -4*l + 10 for l.
4
Let u = 43 - 71. Let x = u + 30. Suppose 24 - 17 = 3*v - d, 2*d - 6 = v. Solve 0 = 3*o, v*o - x + 18 = 4*w for w.
4
Suppose 6 = -4*d + 3*x, -3*d + x - 4 = -x. Suppose d = 5*g + 5, -2*i + g + 11 = 0. Solve 4*y = i*p, 5*y - 45 = -7*p + 2*p for p.
4
Suppose -14*q - 5*r = -19*q, q - 18 = -5*r. Let b(j) = 3*j + 2. Let f be b(4). Let s = f - 9. Solve 3*z + 20 = -s*k, 3*k + 6 + 12 = -q*z for k.
-1
Suppose 519*w - 262 = 408*w + 848. Suppose 5*t + 0*t = 15. Solve -w = -5*j, t*u - 2*u = -j + 1 for u.
-1
Suppose 0 = u + 3, -3*u + 4 = 5*y - 2. Solve -2*f + 9 = -k - 3*f, -y*f = 12 for k.
-5
Let y(q) = -q**3 + 15*q**2 + q - 13. Let n be ((-216)/32 - -3)*-4*1. Let a be y(n). Solve a*d + 7*p - 2*p = 21, -4*d + 4*p = 0 for d.
3
Let w = -378 - -384. Suppose -w*s + 42 = 8*s. Solve -s*i - 5 = -0*i + o, -1 = i + o for i.
-2
Let v = -56 - -444. Let k = -383 + v. Solve y = -u - y + 1, -k*u - 5*y - 10 = 0 for u.
-5
Let n(g) = 2*g**2 + 2*g. Let c be n(-2). Suppose 0*q + 52 = c*q. Solve 4*l + 4*a - 28 = 0, -4*l + 2*a + q = a for l.
4
Let h(n) = n**2 - 10*n - 9. Let j be h(11). Let o be (2/(-3))/(3*j/(-72)). Let m(g) = -3*g + 27. Let y be m(o). Solve 1 = -5*l + y*a, 4*l - 4*a - 2 = -6 for l.
1
Let r(i) = -i**3 + 5*i**2 - 3*i - 1. Let d be r(4). Suppose 8*g = 2*g - 600. Let q = 116 + g. Solve 2*y = 6*y + 5*v + 11, q = -d*y + 4*v for y.
-4
Let y be (-271)/(-271) + ((-58)/(-5) - (-2)/5). Solve 8 - y = -w, -4*s - 12 = -4*w for s.
2
Let o be (0/1)/(-1 - 12). Suppose -10*r - 10 = -15*r. Solve r*u + 15 = -u + s, o = 3*u - 5*s + 27 for u.
-4
Suppose -3*x + 5*f + 11 = -18, -3 = 3*f. Solve -40 = -x*d + 4*d - 5*c, 0 = 2*d + 4*c - 26 for d.
5
Let w(z) = -z - 38. Let d be w(-14). Let q = d - -29. Suppose q*y - 43 = 17. Solve 3*r = -3*x, 2*r = x - r + y for x.
-3
Suppose -4*y + 5*d + 3 = 0, 0*d + 11 = 4*y + 3*d. Suppose -3*i = -i + y. Let r(w) = w + 4. Let m be r(i). Solve 4*q - 16 = -3*l, 2*q = m*q - 3*l - 4 for q.
4
Let g(p) = p**2 + 112*p - 1217. Let v be g(-122). Solve -23 = 15*t - 11*t - m, m + 12 = -v*t for t.
-5
Let q(a) = 3*a**2 + 2*a. Let h be q(2). Suppose 0 = h*i - 21*i + 90. Suppose 16*m - i*m = -8. Solve 3*c - 20 = -m*r, -r = 2*c + 2*c - 18 for r.
2
Suppose 57*f - 37*f - 100 = 0. Let y be (f + -6)*(1 - 0)*-5. Solve -4*o - 16 = -4*j, j = y*o - 0*o for j.
5
Let z(d) = -d - 1. Let g be z(-3). Let r = 54 + -122. Let o be 3/((-12)/r) - -1. Solve 5*i - o = -f + g, -8 = -2*i - f for i.
4
Let m = -510 - -540. Let u be 2/12 + -10 + 295/m. Solve 3*i - q - 14 = u, 5*i - 26 = -0*i - q for i.
5
Let w be 3/(-2)*(16/24 + -4). Solve 3*t - n - 7 = 0, 4*t + 3*n = -0*t + w for t.
2
Suppose -8*c + 9 + 17 = 2. Solve o - c*q = 8, -q - 13 = o - 5 for o.
-4
Let q = -535 - -539. Suppose 24*z - q*z = 0. Solve z = -5*r, s + 5*r = -2*s + 15 for s.
5
Suppose -169*z + 35*z = -670. Solve -z*i - 4*s - 32 = 0, 4*s + 32 = -36*i + 32*i for i.
0
Let v be (-414)/(-184)*8/6. Solve y - v = 0, 5*u - 7*y + 6*y + 18 = 0 for u.
-3
Suppose -3*v - 5*r = -27, -4*v + 22 = 22*r - 20*r. Solve y = 3*t - 9, -1 = y - v for t.
4
Let b = 13 - 26. Let j = b - -25. Suppose -5*c + 9*c = 20. Solve -4*z - j = -3*y - 39, 5 = -c*z - 4*y for z.
3
Suppose 0 = -360*k - 73*k + 1732. Solve -z = -0*p - 3*p - k, -3*p + 2*z - 8 = 0 for p.
0
Let b = -229 + 233. Let l = -13 + 23. Let g be 3/1 + l + 3. Solve 4*f = -2*t - 24, -3*t + g = -b*f - t for f.
-5
Let a be (18 - 901/51)*21. Solve -20 = 5*j - 3*r, a*j = 2*j - 4*r - 20 for j.
-4
Suppose -18 = 3*r - 6, 4*r = 5*i + 1719. Let v = i + 350. Solve -3*o = -v*f + 1 - 10, 0 = -2*o for f.
-3
Suppose f - 10 = -6. Suppose z + 0*z = f. Let p be 9 - 7/28*28. Solve -i + 3*d = 2*i - 9, -p*i - z*d + 6 = 0 for i.
3
Let b = 119 - 117. Suppose -4*i = z + 5, -5*z + b*i + 11 = 4*i. Solve -6*l + z*l + 20 = 2*v, 0 = -2*v + 8 for l.
4
Let k be 42/(-15)*1900/(-266). Solve 4*j + 2*v = 24, -2*j = 18*v - 13*v - k for j.
5
Suppose -21 - 5 = -26*o. Solve 1 = -3*t + d - 10, 0 = -t - d - o for t.
-3
Let b = 846 + -844. Suppose 0 = 2*n - 5*w + 2*w - 10, -5*n = 4*w - 2. Let h = n - -2. Solve 2*k = b*u - u + h, -25 = -5*k - 5*u for k.
3
Let c = 6 - 3. Suppose -161 = -4*l - 3*o - 34, 0 = -l + c*o + 13. Suppose -7*h + l = -14. Solve 3*i - 4*k = 1, h = -2*i + 2*k + 4 for i.
-5
Let s(u) = 3*u - 16. Suppose 30 = 5*p - 0*p. Let l be s(p). Let q be (6 + -9)/(3 + (-72)/20). Solve 5*f - q*x + 30 = -l*x, -4*x + 29 = -3*f for f.
-3
Suppose -361*x + 969 + 411 = -85*x. Solve 5*r + 0*f - 35 = x*f, 0 = -3*r - 4*f + 7 for r.
5
Le