x - 3 for s.
0
Let z(u) = 2 - 3 + 289*u - 2*u**2 - 298*u. Let w be z(-4). Let y(f) = f**3 + 7*f**2 + 6*f - 5. Let c be y(-5). Solve w*x + c = o, -x - x = o + 5 for x.
-4
Suppose -5*s + 32 = 2*i + 11, 9 = -s + 4*i. Let q be (s + (-15)/3)*24/(-16). Solve 0 = -q*g - 5*y + 37, 0*g + 2*y = g + 6 for g.
4
Let t(b) = 2*b - 2*b + 0 + 92*b**2 - b**3 - 94*b**2 + 1. Let j be t(-1). Solve 4*o + 4*g + 24 = -0*o, j = o + 4*g + 15 for o.
-3
Let b = -62 - -63. Let a be (7/(-1) - -5) + (117 - b). Let q be ((-1)/(3/4))/((-76)/a). Solve -2*f - f - 13 = -q*t, 4*t - 21 = 5*f for t.
-1
Suppose -3*y + 290 = -4*v, -2*y - 51 + 343 = -4*v. Let z be 37/7 - v/(-259). Solve 0 = -z*q + 4*u - 11, 5*q + 3*u = -0*u + 17 for q.
1
Let q = -4499 + 4501. Solve -4*p + 25 = -5*u - 9*p, -4*u - q*p = 16 for u.
-3
Let x = -2283 - -2287. Suppose y + 1 = r - 4, 3*r = -2*y. Let q = -5 + 10. Solve -2 = -x*m - 2*a, q = r*m - 5*a - 2 for m.
1
Let m be 4 - (-2 + -2 + -60). Suppose -6*l = -428 + m. Suppose 3*p + 21 = 5*u + l, 3*p + 3*u = 15. Solve g - 1 = -2, 0 = -2*v + 2*g + p for v.
3
Let n(q) = -q**3 - q**2 - q - 7. Let x be n(-4). Let z = 77 - x. Let o = -29 + z. Solve 4*r + 17 = d - 2*d, -15 = o*r for d.
3
Let a be 2 + (0/(7 + -12 + 3))/5. Solve -a*u - 5*c - 23 = 0, 0 = -3*u - 3*c - 8 - 13 for u.
-4
Suppose -34*m + 144 = -58 - 138. Solve -5*f + m*f - 5 = 4*d, 0 = 2*d - f + 7 for d.
-5
Let l(m) = -28 + m**3 + 8*m**2 - 49 - 14 - 10*m - 2*m. Let s be l(-8). Solve -16 = s*k - 2*z, z + 0 = 3 for k.
-2
Let r = 160 - 153. Suppose 2*o = 11 - r. Solve o = -3*f - 5*k - 2, -4*k - 8 = 0 for f.
2
Suppose -5*f - 48 = -58. Let t be (-84)/(-24) - (-1)/f. Solve -q = -t*n + 6 + 2, -4*q = 16 for n.
1
Let f = 5162 + -5159. Let k be (-4 - (-51)/15)*-5. Solve 0 = -5*r - f*m + 22, k*r + 2*m = -r + 16 for r.
2
Suppose -143*x - 76*x - 46*x + 60*x = 0. Solve 3*p - 2*l + 12 = x, 4*p - 4*l - 10 = -30 for p.
-2
Suppose -32*b - 31*b + 9*b + 216 = 0. Solve 2*s - 12 = 6*s + 2*m, -12 = -4*s + b*m for s.
-1
Let y = 557 - 554. Solve -5*x = 5*w + 20, -x + 18 = -y*w + 2*x for w.
-5
Suppose 3*g - 15 = -i, 299*g + 3*i = 298*g + 21. Solve -4*d + 7*a + g = 2*a, -2*a = -5*d + 8 for d.
2
Let r(b) = 29*b - 165. Let t be r(5). Let f be (1/1)/(118/t - -6). Solve -5*d + 10*d + o - f = 0, -5*d - 5*o = 10 for d.
3
Let c be (-1 - -2) + 196/68 + 6/51. Solve 18 = -3*k + p + 27, c*k + 3*p = 12 for k.
3
Let m = 250710 - 250708. Suppose -2*t - 20 = 3*t. Let s be 2/t*3*-2. Solve -s*v = -5*f - 14 + 35, 0 = -m*f + 6 for v.
-2
Let q(w) = -78*w**3 - w + 1. Let n be q(1). Let o = -72 - n. Suppose u - 6 = o. Solve 2*r + 2 = -2*v, -2*v = -4*r + 8 + u for r.
3
Let j be (-4 - (-147)/14)/((-1)/(-2)). Suppose 80 = -j*d + 29*d. Let i = 0 - -5. Solve -15 = -5*b + d*p, i*b - 2*p + 3 = 6 for b.
-1
Let t be 3 - (-3)/(-2) - 240/(-160). Solve -2*i - 3*i - 5*j + 25 = 0, -t*i - 2*j + 14 = 0 for i.
4
Let d(m) = 5*m - 21. Let c(p) = 3*p - 12. Let w(r) = 10*c(r) - 4*d(r). Let f be w(4). Solve -f*y + 7 = -5*s, -1 = -4*s + 4*y - 3*y for s.
1
Let q = 3071 - 3061. Solve 0 = 5*t + 5*a, -t - 117*a + q = -118*a for t.
5
Suppose -3*g = -3*h - 108, 0 = 2*g + 5*h - 20 - 59. Suppose g - 172 = -27*c. Solve c*a - 4*z = -17, 3*z = 3*a - 6*a + 6 for a.
-1
Let i be (2/(-18)*3)/(27/(-324)). Suppose 0 = h + 3, -11*v = -7*v + 5*h - 1. Solve -l = -5*b + i*b + 2, -v*b = -3*l - 10 for b.
4
Suppose -954*z + 985*z - 155 = 0. Solve -1 = -3*m + 4*m + 3*n, -5*n + z = 0 for m.
-4
Suppose -5*r - 15 = -10*r. Let c = -45108 + 45111. Solve -t - 2*j = -2, -c*t + r + 3 = 4*j for t.
2
Let l(w) = -2*w**3 - 155*w**2 - 1175*w - 103. Let q be l(-69). Solve 3*k = 5*b + 10, -31*k + 35*k + 3*b = -q for k.
-5
Suppose 5*y = -4*v - 10, v - 9*y = -6*y + 23. Solve -4*q - q = v*c - 35, -4*q - c + 13 = 0 for q.
2
Let w be (3 - 63/(-3))*(-1)/(-2). Suppose 9 = 2*n - o, 0 = 2*o + 2*o + w. Suppose -14 = -4*j - n*j. Solve -j*c + 14 = -z, c + 3*c - 24 = z for z.
-4
Let d(k) = -k**3 - 6*k**2 - 7*k - 12. Let o = 43 + -48. Let l be d(o). Let t = 1 - l. Solve 9 = t*b + 2*z, -4*z + 5*z - 22 = -5*b for b.
5
Let a(k) = -17 - 9 - k + 5 - k**2. Let v be a(0). Let h be (-2)/(-3) + v/(-9). Solve -3*s + h = 3*b, 5*b + 13 + 27 = 4*s for s.
5
Let c be (-4)/5*(-49 - -9). Solve 3*n + 12 = 3*j, -34*n + c*n + 3*j - 7 = 0 for n.
-5
Suppose g - 3*b - 17 = 0, 14 = -4*b - 2. Suppose -30 = -5*f - l, 5*f - 7*f = -l - g. Solve -3*j + 2 = -5*s - f, -5*s - 3 = -2*j for s.
1
Let x(u) = -2917*u - 20416. Let r be x(-7). Let c be (0 + 1)*-1 + 13. Solve -r*y + 12 = 0, c = 4*o + 4*y + y for o.
-2
Let h = -67 + 75. Let t(m) = -17*m - 9. Let a be t(-2). Suppose h*c = 3*c + a. Solve -2*d + 28 = -4*s, c*s = -4*d + 4*s + 11 for d.
4
Suppose -m + 5 = -15*c + 14*c, 2*m - 24 = -5*c. Solve c = 5*y + w, -4*w - 10 = 8*y - 6*y for y.
1
Let m(w) = -w**2 - 3 + 34*w - 3 + 3 - 25*w. Let g be m(8). Suppose 38 - 53 = -g*j. Solve 4*k = -3*h - 20, -j*k + 5 = -4*k + 5*h for k.
-5
Let g be (-11 - -8 - -1) + 56. Solve g*j = 57*j + h - 20, 0 = 4*j - 3*h - 5 for j.
5
Suppose -48 = 73*w - 85*w. Let n be 5 - (-2 + (-3 - -1)). Let s = 9 - n. Solve 4*k + 4*i - 8*i - w = s, -5*k = -i + 11 for k.
-3
Let p(s) = -s + 11. Let a(m) = m - 2. Let j be a(10). Let i be p(j). Let d be (-1)/((-2 + i)/(-5)). Solve l - 1 = -d*g + 4, g - 1 = 0 for l.
0
Suppose 96 = -31*x + 47*x. Let d be x - (4/3)/(12/36). Solve 0*v + 7 = -5*k + 4*v, -4 = d*k - 2*v for k.
1
Let b = -11483 - -11483. Solve 0*i - 5*i - 18 = -u, 2*i + 4*u + 16 = b for i.
-4
Let c be (-9)/((-6)/4 + 0). Let z = -1238 - -1241. Let n(r) = -r**2 - 7*r + 11. Let g be n(-7). Solve 3*k + g = h, z*k - c = 5*h - 1 for k.
-5
Let r = 479 - 478. Let i be ((-8)/(-6) - r) + (-286)/(-78). Solve -i*k + x - 13 = 0, 7*x - 8 = -k + 5*x for k.
-2
Let d be ((-10)/5)/((-4)/10). Let k be 19 - ((-8)/(-6))/((-4)/(-6)). Suppose 3*c = k - 2. Solve 2*a = 2*x - d*x - 19, -4*a = -5*x + c for x.
-3
Suppose -281*c + 3584 = 167*c. Solve 5*g - c*g = 4*d - 16, 0 = 3*d - 4*g - 37 for d.
7
Suppose 0 = 89*h - 85*h + 132. Let u = -15 - h. Solve 4*a = -y - u, 2*a + 12 = y - 0*y for a.
-5
Suppose -2*d = -6*d + 44. Suppose -85 = -8*p + d. Suppose -9 = -3*o - 5*h, 4*o - h + p = 8*o. Solve 3*a - 5*k = 0, 4 = a - 0*a - o*k for a.
-5
Let j be (-1 + -1)*-2 + -1. Let g be (-190)/(-19) - (-5)/(-20)*12. Solve 3*m = m + 3*t + g, -j*m + t = 7 for m.
-4
Suppose -d = -4*p + 7 + 10, -d + 8 = p. Solve 3 = -3*i - 5*x - 0*x, -4*x = -3*i - d for i.
-1
Let t(f) = 2*f**3 - 13*f**2 + f + 82. Let r be t(4). Solve -i - 5*y + 11 = 0, 429*i = 431*i - 4*y + r for i.
1
Let c(s) be the first derivative of -s**4/4 + 7*s**3/3 + 17*s**2/2 + 2*s + 26. Let m be c(9). Let v = m + 12. Solve 4*p - 41 = v*q, -2*q - q + 5*p = 35 for q.
-5
Let f(d) = -3*d - 69. Let k be f(-24). Let a be -1*1*0/((-18)/(-9)). Solve y - k*h + 17 = a, -5*h + 10 + 10 = 0 for y.
-5
Let b(j) = -j**3 - 8*j**2 - 8*j - 5. Let i be b(-7). Let f be -1 + i - ((-12)/(-6) + -4). Solve 4*a - 8 = 4*w, -a - 14 = 4*a + f*w for a.
-1
Suppose -25 = -47*g + 116. Solve 1 = -k - 2, 5*k = g*s - 30 for s.
5
Suppose 0 = 2*w + 9 - 13. Suppose 4*b - 12 = 5*q, q = 2*b + w*q - 20. Suppose -4*o = -4 - b. Solve 4*z + 12 = 5*x, -z + o*z = 4 for x.
4
Let v be -1 + -4*3/12. Let h be ((-31)/(-62))/(v/(-12)). Solve -2 = -h*a + s + 2, 2*a + 2 = -4*s for a.
1
Let c be (-266)/(-63) - -6*2/(-54). Suppose -2*d + 3*k = 3*d - 13, c*d - 3 = -5*k. Solve 2*b + 4*v + 10 = 0, b - 3*b + d*v - 10 = 0 for b.
-5
Suppose -3*o - 87 = 105. Let b = -46 - o. Solve -2*g + 5*n = b, 0*g - n - 14 = 4*g for g.
-4
Let j(p) = p**3 + 16*p**2 + 16*p + 18. Let k be j(-15). Solve -2*f + 11 = -k*t - 1, -4*t - 5*f + 7 = 0 for t.
-2
Let z = 752 + -749. Let j be 6/(-4)*16/(-6). Solve j*s + 2*r = 6, -6 = -0*s - 5*s - z*r for s.
3
Let n(r) = -r**3 - 9*r**2 - 7*r + 10. Let y be n(-8). Let c = 954 - 952. Solve 3*g - 1 - c = -y*l, g + l = 1 for g.
1
Suppose -150 = 2*i + 120. Let d = -111 - i. Solve 4*o = -4*f - d, -4*f = -3*o - 3*f - 6 for o.
-3
Let v(u) = 6*u**2 + 220*u + 169. Let h be v(-36). Solve c - 3 = 2*p, -5*p - h*c - 14 = -21*c for p.
-2
Let y(t) = -5*t - 1. Let q be y(-1). Suppose 0*h - 7695 = 15*h. Let u = h + 517. Solve 0 = -j + q*z + 17, 2*j = -j + u*z + 11 for j.
-3
Let z(u) = u**3 + 14*u**2 - 56*u - 83. Let g be z(-17). Let q be (-976)/(-40) - (-2)/(-5). Solve 5*o + q = j, 4*o + 18 = -