 s.
-1
Let s(a) = 2*a**2 + 4. Let y be s(3). Let o = 161 + -156. Suppose 4*z = -5*q + 16, 0 = -5*q - z - o + 24. Solve 2 = -q*p + y for p.
5
Suppose -2*k = -5*m - 10, 6 = -11*k + 6*k - 3*m. Suppose k*d + d - 2*o - 44 = 0, 3*d = 4*o + 128. Solve -36*q + d*q = -20 for q.
-5
Let c be 836/8 + -9*(-5 + (-145)/(-30)). Solve n + c = 110 for n.
4
Suppose 2*t + 5*z = 108 - 102, -3*t + 4*z + 55 = 0. Solve t = 50*l + 13 for l.
0
Let d(l) = -14*l + 42 + l**2 + 14 - 22. Let p be d(9). Let y be p/(-5) + (-6)/30. Solve x - 2*x - y = 0 for x.
-2
Let j = -332 + 340. Suppose -15*p + j*p = -42. Suppose 4*s = -4 + 8. Solve h + p = s for h.
-5
Let i = -11740 + 11792. Solve -305*t = -292*t + i for t.
-4
Let f = 141 + 93. Let o = 248 - f. Solve -9 = o*u - 5*u for u.
-1
Suppose 3*j - 3 = -0. Let y = 164 - 154. Suppose 4*x + 30 = 5*g + y, 0 = 3*g + 5*x - 12. Solve -3*u - g + j = 0 for u.
-1
Suppose 2*f - 278 = -2*o, 4*f - 473 + 195 = -2*o. Solve 91 = -12*r + o for r.
4
Let v = 178 - 178. Let u(z) = z**2 - 3*z + 1. Let j be u(v). Solve -2 = 3*l + j for l.
-1
Let w = -43 - -68. Let m = w + -25. Suppose -14*h + 18 = -24. Solve g + 1 + h = m for g.
-4
Suppose -48 - 834 = -42*l. Solve -l*t + 78 = 15 for t.
3
Suppose 96*m + 246 = 129*m - 18. Solve m = -18*r + 14*r for r.
-2
Suppose 0 = -3*t - 5*i + 393, 260 = 4*t - 3*i - 235. Solve 0 = 36*x - 54 + t for x.
-2
Let y(z) = -z**3 - 24*z**2 + 82*z + 48. Let j be y(-27). Solve -89 = j*b - 68 for b.
-1
Suppose -10 = 3*o + 4*p, 0 = o - 0*o - p + 15. Let n be ((-4)/o)/(14/70). Solve r + 2 + n = 0 for r.
-4
Let r(n) = -9*n**3 - 52*n**2 - 2*n - 73. Let p be r(-6). Solve 0 = 49*w + p + 38 for w.
-1
Suppose -4*p - 30 = -179*q + 174*q, 2*p + 12 = 2*q. Suppose 5*m = 4*m. Solve -4*y - q*y = m for y.
0
Suppose -7*x + 327*x = 76160. Solve 8*u - x = -246 for u.
-1
Let d = -2337 - -2403. Solve 16*c + 17*c - d = 0 for c.
2
Let h(z) = z**3 - 11*z**2 + z + 14. Let n be h(11). Let u be (-145)/(-6) - 6/36. Suppose -35*q - u = -41*q. Solve -q*f + 9*f = -n for f.
-5
Let l(s) = -s**2 + 8*s - 4. Let n be l(7). Let t = 6498 + -6478. Solve g - t = -n*g for g.
5
Suppose 5*b + 15 - 115 = 0. Suppose -11*y = -0*y + 2*y. Let d be (y - 0/((-6)/(-3)))/(-1). Solve b = -d*i - 4*i for i.
-5
Let l be (32/(-12))/(4 - (-884)/(-222)). Let g = -136 - l. Solve 6*f + 0*f = -g for f.
-2
Suppose 54 = -4*o + 182. Suppose 5*g - 30 = 4*s, -s = -30*g + o*g + 1. Solve -21 + 17 = g*w for w.
-2
Let s be 92/(-1150) + 277/25. Let n = 23 - s. Suppose p + 4*p - 25 = 0. Solve -p*t + n = -t for t.
3
Suppose -11*l + 31*l = 8098 + 8002. Solve 3*s = l - 793 for s.
4
Let u = 275 + -275. Let d be (-1 - (-2 - u)) + 3. Let r be 1*15*12/20. Solve d*h = h + r for h.
3
Let a be -38 + 31 - (-25 + -1). Solve 2*j + a = 23 for j.
2
Let v(z) = z**2 + 2*z. Let g be v(-4). Let i be (-58)/(-899) - 52/(-1209)*45. Solve -2*n - i*n + g = 0 for n.
2
Let z be 491/(-982) - ((-1873)/14 - 8/(-28)). Solve 0 = -t + z - 135 for t.
-2
Suppose -f + 16 = k - 13, 3*k = -4*f + 90. Let n = -24 + k. Solve n*u = -2*u for u.
0
Let f(k) = -k**3 - 8*k**2 - 8*k + 9. Let v be f(-7). Suppose -14 - v = -5*d. Let y be 9 - (7 - 162/36*(-6)/(-9)). Solve 31 - d = y*g for g.
5
Let r be (-23 - (-61 - 18)) + 0 + 0. Solve -r - 100 = 52*b for b.
-3
Let u(x) be the third derivative of -x**4/24 + x**3/2 + 43*x**2. Let p be u(-9). Solve 10*w - 6*w = -p for w.
-3
Suppose -2*l + 3*i = 10 - 4, -4 = -4*l - 2*i. Suppose 245*p = -15371 + 16596. Solve -8*t + p*t - 6 = l for t.
-2
Let d = 118779 - 118779. Let n(f) = f**3 + 5*f**2 + 3*f - 3. Let i = -2 - 2. Let v be n(i). Solve d = 4*a + v + 7 for a.
-2
Let t = 129 - 127. Suppose -4*x - 4*x = t*x. Solve x = 4*r + r + 5 for r.
-1
Let p = 12773 - 12755. Solve 13*a - 10 = p*a for a.
-2
Let l be ((-75)/60*8/(-2))/(14/28). Solve -818*c + 813*c = l for c.
-2
Let y(l) = l - 20. Let r be y(-15). Let f = r - -79. Suppose c - 47 = -f. Solve c = 5*i - 8*i for i.
-1
Suppose 38*q + 131*q - 5843 + 435 = 0. Solve 0 = q*s - 6*s - 104 for s.
4
Let w = -8 + 12. Let h be 56/11 - (-156)/(-1716). Solve 0 = h*n - 6*n - w for n.
-4
Suppose 6*m - 12*m + 72 = 0. Let u(f) = 5*f - m + 11 + 41. Let w be u(-7). Solve -4*n = -w + 9 for n.
-1
Suppose 35 = 5*c, -34*c - 65 = -2*n - 31*c. Solve -51*o + n*o - 32 = 0 for o.
-4
Let i be ((-12)/9*-25)/(26/(-195)). Let x be i/(-15) - (-9)/(27/(-2)). Solve -4 = 3*q - x for q.
4
Let w(h) = -2*h**2 - 49*h + 20. Let f(j) = -j**2 - 24*j + 9. Let o(u) = 9*f(u) - 4*w(u). Let r be o(-20). Solve k - r = -5 for k.
-4
Let j = -2 - -2. Suppose -9*n = -4*n + 10. Let c be n/5 - 72/(-30). Solve j = w - c for w.
2
Suppose -5*r + 30 = 4*v, 9*v - 4*v - 5*r - 15 = 0. Solve -23 + 3 = v*h for h.
-4
Let x(t) = -3*t**2 + 109*t - 216. Let v be x(34). Solve -8 = -14*c - v for c.
-1
Suppose 4*y + 298 = 5*h + 2*y, -3*y + 3 = 0. Solve 6*n = -4*n - h for n.
-6
Suppose 17*r - 78 = 347. Solve -4*h = h - r for h.
5
Let w be 4/5*(5 + -3 + 8). Suppose -4*p + a + 5 = 0, 2*a = -2*p + p + w. Suppose -c = 4*c + c. Solve c = -s - p for s.
-2
Suppose 6*j = 913 + 1001. Suppose -320*l = -j*l. Solve l = -11*p + 6 + 5 for p.
1
Let b be (2/(-3))/(1/(-6)). Let y = -138 + 85. Let j = y - -58. Solve b*f = -f - j for f.
-1
Let h = 3888 + -3885. Solve 0 = -h*w + 24 - 18 for w.
2
Let f = -17 + 39. Suppose -4 = -0*a - 4*a - b, -a + f = -5*b. Suppose -a*y + 6*y - 16 = 0. Solve -5*h = -h + y for h.
-1
Let t be (-8245)/(-680) - 1/8. Solve 0 = t*q - 18*q + 36 for q.
6
Suppose -12*n + 17*n = -3*r + 1215, 5*r = -25. Let o = n + -243. Solve g + 4 = -o*g for g.
-1
Let l be ((-15)/(-21) + 3)*63/18. Suppose 2 + l = 3*n. Let m be (-2)/1*20/(-8). Solve m*a + 0 = n for a.
1
Suppose -5*o + 15 = 0, -3*o = -n - 1 - 8. Suppose t - 351 = -5*p, 3*p - 3*t + 7*t - 197 = n. Let a = p + -69. Solve 0 = m - 2*m + a for m.
2
Let m be (-4 - (-3)/(-6))*(8 + -10). Solve -2*c + m*c = 49 for c.
7
Let r(o) = 4*o + 2. Let w be r(1). Suppose w*f + 0 = 36. Suppose f - 21 = -5*a. Solve 5*i = 2*i + a for i.
1
Let f be (-22)/(-33)*9/2. Let t(a) = -9*a**2 + 17*a. Let l be t(1). Solve l*s + 15 = f*s for s.
-3
Suppose -124*c - 11 = -11. Solve -12*m - 10*m + 88 = c for m.
4
Let p(y) = y**2 + 20*y + 57. Let m be p(-3). Suppose -81 = m*t - 11*t - 2*w, -24 = -t - 3*w. Let n be (4 - -1) + (-2)/2. Solve -t + 7 = -n*r for r.
2
Let m be (0 + 6)/(1/1). Let t(z) = 4*z - 4. Let f be t(1). Suppose -5*d = -4*q + 27, f = q - 3*d - 5. Solve 10 = -m*n + q*n for n.
5
Let t(g) = -g**3 - 8*g**2 + 3*g - 34. Let k be t(-9). Let r be (1 - (4 + -6))/((-3)/(-4)). Solve -r*c = c + k for c.
-4
Let h(t) = 4*t + 104. Let z be h(-26). Suppose -f - n = -2, -2*f + f - 4*n + 2 = z. Solve 1 = f*k - 3 for k.
2
Suppose -253*b + 228*b + 46 + 29 = 0. Let c = 21 + -12. Solve c = b*g + 24 for g.
-5
Let g = 471 + -466. Suppose g*d = 465 - 425. Solve q + q = -d for q.
-4
Let v be (6/27 - (-6)/(-27))/(-2). Solve -10*g + 13*g + 12 = v for g.
-4
Let f = 70 - 136. Let u(d) = -d**3 + 2*d**2 + 8*d + 27. Let q be u(6). Let h = f - q. Solve y + 1 = -h for y.
-4
Let q(v) = v**2 - 5*v + 6. Let m be q(3). Suppose m = 31*l - 24*l - 28. Solve -l*g - 59 + 55 = 0 for g.
-1
Suppose 3*d - 69 = -5*v - 16, d = 6. Solve -131 + 110 = v*h for h.
-3
Suppose 10*l - 84 = 24*l. Let i be (l/(-3) - 6) + 6*2. Solve -3*j + i*j - 10 = 0 for j.
2
Suppose 130*n - 8168 = -2448. Solve -n = 7*f - 29*f for f.
2
Suppose -10*f = 4037 + 2733. Let d = f + 680. Solve 0*a = -d*a + a for a.
0
Let r(x) = 5*x**2 + 5*x + 108. Let u be r(5). Solve 271 - u = 13*m for m.
1
Suppose -6*c = -1 - 17. Suppose 3*g = -4*n + 16, -c*g - n = -4*g - 4. Let x(d) = -d**3 + d**2 - d + 5. Let z be x(g). Solve z*m = 4 - 19 for m.
-3
Let q(j) = -j**3 - 8*j**2 - 6*j + 9. Let g be q(-8). Let h = g - 110. Let c = 74 + h. Solve -c = -5*r + 4 for r.
5
Let b be ((-65)/(-15) - 3)*6. Let f be 3*(-1)/(-3)*5. Suppose f*z + 4*i = -12, 3*z + 11 = -3*i + 2. Solve -2*k - 2 + b = z for k.
3
Let a be 40/(-30)*(-81)/12. Suppose h + 3*f = -2*f - a, 2*h + 5*f = -8. Solve 4*i - 17 + h = 0 for i.
4
Let h be (-108)/(-20) + 204/(-510). Let v = -3 - -6. Solve 7*b = h*b - v*b for b.
0
Let u(y) = 8*y + 8*y**2 + 36 + 22 - 6 + y**3 + 14. Let q be u(-8). Solve -a + 6 = q*a for a.
2
Let y = 6500 + -6495. Solve -17*r = y*r - 66 for r.
3
Suppose 16*w - 84*w + 169*w - 1212 = 0. Solve -w*p + 3*p = 20*p for p.
0
L