a*i = i for i.
0
Let u be (54/4 - 1)*(1 - -1). Suppose u*g - 68 = 21*g. Solve 0 = -5*f + g + 3 for f.
4
Suppose -2*t = 2*y - 70, 5 + 3 = 4*y. Suppose 3*v = -3*r + 27, 3*r + v + 0*v = t. Suppose -r - 2 = -7*c. Solve -4*k - c = -2*k for k.
-1
Let f(b) = -24*b - 68. Let o be f(-3). Suppose -2*w - 6 = -o*w. Solve w*g = -3*g - 18 for g.
-3
Let i = 2 - -3. Suppose 7*g - 4 = 5*g. Suppose -19 = -5*b - g*n, -b - 4*n + 9*n + 20 = 0. Solve -2*j - b = i for j.
-5
Suppose -6*m + 147 = -273. Let q = -21 + -29. Let n = q + m. Solve 0 = -3*d - d + n for d.
5
Let f be ((-17 - -5) + 17)*4. Solve 25*u - 29*u + f = 0 for u.
5
Let w = -6722 + 7047. Solve w*b = 331*b + 24 for b.
-4
Let t be 1/4 + (-48)/80 + 935/100. Solve 7 = t*d + 16 for d.
-1
Suppose i + 5*s = -4, -2*i - 2*s = -3*s - 14. Let w be (8/i)/((-22)/33). Let m be w/10 + (-5)/(-25). Solve m + 4 = -4*o for o.
-1
Suppose 263*m - 299*m + 936 = 0. Suppose -25*t + 9*t + 96 = 0. Solve -t*g = m - 2 for g.
-4
Suppose 168 = 28*z - 25*z. Let g = -53 + z. Solve -g*u - 1 = 2 for u.
-1
Let r = 190 - 187. Suppose r*t - 28 = 2*v, t + v = -3*v - 14. Solve -25 = -t*h + h for h.
5
Let j(z) = z**2 - 3*z - 14. Let f be j(-3). Solve 96 = -20*k - f*k for k.
-4
Let r(p) = 2*p**2 + 8*p + 5. Let l be r(-4). Let o(x) = 188*x - 12*x**3 - 181*x - 10 - 6*x**2 + 13*x**3. Let d be o(l). Solve -6*h + h = d for h.
0
Let a = 6267 - 6247. Solve -7*q - 34 + a = 0 for q.
-2
Let g(c) be the first derivative of c**3/3 - 4*c**2 + 24*c + 47. Let u be g(8). Let m be u/(-36)*15/(-2). Solve -4*y = y - m for y.
1
Let f(d) = 8*d**2 - d - 5. Let i be f(2). Solve i*v = -10*v - 105 for v.
-3
Let c be (-173 + (-75)/(-15))/(-2). Solve 34*w + 8*w = c for w.
2
Suppose -2*n - 18 = -5*n. Let f(t) = 3*t**2. Let o be f(1). Solve -k + o - n = 0 for k.
-3
Let j(c) = -3*c**3 - 22*c**2 + 9*c + 11. Let g be j(-8). Solve -62*m + g*m = 5 for m.
1
Let z(x) = x**3 - 8*x**2 - 33*x + 249. Let o be z(10). Solve 109*d - o*d - 40 = 0 for d.
-4
Let q = -5379 + 5505. Solve -q*c + 14 = -119*c for c.
2
Let m = 318 - 171. Let q = m + -144. Solve 113*j - 114*j = q for j.
-3
Suppose 20*q + 1989 = 226*q - 689. Solve q*w - 26 = -0*w for w.
2
Let p = 5123 - 5092. Solve -189 = -p*k - 32*k for k.
3
Suppose 3*a - 217 = 4*g, -5*a - 76 = 2*g - 481. Let f = a + -200. Let k = 123 + f. Solve -c - k = c for c.
-1
Let a = -24 - -33. Suppose -3*c - a = 0, 2 = -3*u - 2*c + 8. Suppose u*y + 4*i = 0, 0*i = 2*y + i - 3. Solve y*t - 2*t = -5 for t.
-5
Let v(f) = -4*f - 38. Let a be v(-8). Let d(s) = -s**2 - 24*s - 84. Let t be d(a). Solve 3*n - t = -18 for n.
2
Suppose 3*w + 3*y = 3, -2*w = -4*y + 5 - 37. Let m be (4/w)/((-3)/(-36)). Solve m = 37*v - 35*v for v.
4
Let r = -151 - -154. Let u be 0/((-9 - -13) + (2 - r)). Solve 9*h - 8 - 28 = u for h.
4
Let u be 198 + 15 - (-4)/2. Let h = -213 + u. Solve 0 = h*v - 0*v - 10 for v.
5
Let l(k) = -8*k**2 + 4*k - 4. Let c(g) = 7*g**2 - 4*g + 3. Let f(y) = -7*c(y) - 6*l(y). Let s be f(3). Solve s = 3*b - 0 for b.
2
Let s(v) = v**3 + 17*v**2 - 19*v - 16. Let i be s(-18). Suppose 0 = -6*a + i + 4. Suppose a + 23 = 3*z. Solve 4*c + z + 12 = 0 for c.
-5
Let h = 8481 - 8482. Let g(b) = 3*b + 2*b + 6*b**2 - 2*b. Let n be g(h). Solve -q + 2 = -n*q for q.
-1
Let y(s) = 3*s + 11. Let z be y(-3). Let m(g) = 9 - g + 13*g**z - 10*g**2 - 6. Let c be m(2). Solve -2 - c = 5*u for u.
-3
Let i = 523 + -173. Suppose -22*m = -32*m + i. Solve m = 2*b + 5*b for b.
5
Let c = -39 + 37. Let t be (0 - (0 - c))*-1. Suppose 6*u - t*u = -5*z + 10, 3*u = 0. Solve -10 = 2*s - z for s.
-4
Let n(d) = -d**2 + 40*d. Let v be n(39). Solve 22*b + 49 = -v for b.
-4
Suppose w - 25 = -4*w. Let o be -1 + 24/15 + (-122)/(-5). Let g be 1*42/10 + (-5)/o. Solve g*a + w = 3*a for a.
-5
Let j be -3*(-122)/42 + 6/21. Suppose 14 = 2*m - j*m. Let q be ((1 - m) + -6)/(-1). Solve 0*i - q*i = 6 for i.
-2
Suppose g = -3*v + 107, 7 = -2*v + 1. Suppose g = 2*m + 106. Solve 2*b + m*b = 0 for b.
0
Let l = -113 - -117. Let m(r) = -2*r + 15. Let i be m(l). Solve i = 2*w - 1 for w.
4
Let o be 1 + (-2 + 2 - -5). Let u be (-5)/(-10)*(77 + -77). Solve u = -t + 4 - o for t.
-2
Suppose 8*m = -39 + 87. Suppose 5*c + t = 8, -10*c - 2*t = -m*c - 4. Solve 25 - 31 = -c*d for d.
3
Let o be ((-162)/135 - (-636)/5) + -4 + -1. Solve 116 = l + o for l.
-5
Suppose -l = 4*y + 2, -y - 8*l + 7*l - 2 = 0. Solve y = -787*a + 801*a - 42 for a.
3
Suppose -2*q = -4*d - 160, 5*q - 3 - 145 = 4*d. Let i = 51 + d. Let n be 1 + i/(-12) + (-23)/(-4). Solve 4*j + 2 = n for j.
1
Let m be (-572)/16 - (-4)/(-16). Let x = -34 - m. Let z(v) = 9*v + 6. Let h be z(x). Solve -h - 1 = -5*k for k.
5
Let h(d) = -208*d - 1392. Let i be h(-9). Solve -99*s - i = -19*s for s.
-6
Let c = 71 - 100. Let b = 44 - 78. Let d = c - b. Solve 1 = -u + d for u.
4
Let y = 87 - -2. Suppose -5*u + y = -296. Let o = -73 + u. Solve -s - o*s = 0 for s.
0
Suppose -a + 24*k - 25*k = -7, 3*k = 15. Solve -73*w = -74*w - a for w.
-2
Suppose 0 = -20*f - 9*f + 2030. Solve -f*o + 63*o - 35 = 0 for o.
-5
Let w be (2 + 0/5)*(-77)/(-1). Solve w*o - 174*o + 100 = 0 for o.
5
Let c(m) = m - 73. Let j be c(25). Let r = 56 + j. Let v be -2*(-2)/r*4/2. Solve -h = 1 + v for h.
-2
Let n = -35917 + 35978. Solve 17*m + 78 = n for m.
-1
Let u be -3 - 0 - (2 + -15). Let x(m) = m + 4 - 4 + 1 + u. Let t be x(-8). Solve 4 - 19 = t*n for n.
-5
Suppose 0 = -4*d + 71 + 33. Suppose 100 = -3*z - 5*x, -2*z - 2*x - d = 46. Let a = 42 + z. Solve -3*f - a = -4*f for f.
2
Let q(b) = 2*b**3 - b**3 + 23*b + 16 + 1 - 74 + 5*b**2 - 2*b**3. Let y be q(7). Solve -y*o - 6 = -0 for o.
-1
Let z(q) = -8*q + 31. Let m(i) = 4*i - 16. Let c(v) = -10*m(v) - 4*z(v). Let h be c(4). Solve o + o = h for o.
2
Suppose 14998 + 54277 = 139*p + 331. Solve 29*k = -33*k + p for k.
8
Let d(z) = z**2 - 3*z - 25. Let k be d(7). Let g(a) = -8*a - 59. Let o be g(-8). Solve 2*j = o*j - k for j.
1
Let i(p) = -2*p - 3*p**2 - 3*p**3 - 4 + 4*p**3 - 2*p**3. Suppose 15*a = -148 + 88. Let w be i(a). Solve 2*u + 2*u = -w for u.
-5
Let o be 2/(-8) - (-12798)/216. Solve -4 = 11*n - o for n.
5
Let o = 21 - 35. Let b be (-2)/o - 333/(-21). Let p = -23 + 27. Solve -b = -5*f + p for f.
4
Suppose p = -13*x + 12*x + 6, p = 4*x + 1. Let h(j) = 5*j**3 - 4*j**2 + 3*j. Let z be h(x). Solve 5*l + z = 14 for l.
2
Let k(x) = 2*x**2 + 23*x + 40. Let b be k(-2). Suppose 0 = 5*n - f - 193, 4*f = -b*n + 44 + 20. Solve 5*r - n = -43 for r.
-1
Let d be (119 + -116)/(1 + (-38)/32). Let u be d/32*5/((-25)/20). Let b be (-9)/((-2)/(1*2)). Solve -u*c - b = c for c.
-3
Suppose 7*r = 14*r + 91. Let u be 4 + ((-1)/3 - r/39). Solve 2*a - 2 = -u for a.
-1
Suppose 3*w - 4*w + 11 = 0. Let r be w/33 + 5/3. Let y be 156/15 + r + (-4)/10. Solve 5*n = n - y for n.
-3
Let x(f) = -f**3 + 14*f**2 + 8. Let i be x(14). Let p = 12 - i. Solve p*h - 2 = 6 for h.
2
Suppose -392*o + 390*o + 20 = 0. Suppose c = 2*c - 12. Suppose -4*j = -0 - c. Solve -2*y = j*y + o for y.
-2
Let v(b) = -2*b**3 + 57*b**2 + 37*b + 72. Let s be v(29). Let u be (s/72)/(-19) + (-94)/(-18). Solve 0 = 4*p - 5*p + u for p.
5
Let g = 3115 - 3115. Solve g = 14*r + 131 - 75 for r.
-4
Let t(i) = -16*i**2 - 379*i + 175. Let s(x) = 4*x**2 + 95*x - 44. Let b(l) = 9*s(l) + 2*t(l). Let u be b(-25). Solve -2*m = 37 - u for m.
-4
Let t(o) = -27 - 27 + o + 51. Let a be t(8). Solve -a + 2 = x for x.
-3
Let x be (1*(18 + (-2)/2))/1. Solve -x*g - 3 = -16*g for g.
-3
Let x = -3627 - -3661. Solve -x*b = -8*b for b.
0
Suppose 80 = 5*z + 2*x - 131, -5*z + 223 = -4*x. Solve 2*v - z = -47 for v.
-2
Let i = -165 - -170. Suppose 4*y = x - 26, 0*x + i*y - 13 = -2*x. Solve -x = -4*k - 2 for k.
3
Suppose -2*s + 18 = 3*b + 6, -s + 6 = b. Solve b = -o + 205 - 204 for o.
1
Suppose -689 = -47*n - 6*n. Solve -n*u + 2*u = -5*u for u.
0
Suppose a = 3*u + 15, 4*a + 5*u = -266 + 377. Solve -23*k - a = -26*k for k.
8
Let l be (80/(-55))/((-2)/11). Solve l*w + 6*w = 84 for w.
6
Let y = 36 - 33. Suppose n = -y*c - 105, 0 = -3*n + 4*c - 505 + 138. Let s be (-9)/6 + n/(-18). Solve -s*g + 4 = -4*g for g.
4
Let g be (671/(-66) + 1/6)*(-15)/25. Solve -g*n + 100 = -26*n for n.
-5
Let t(r) = -4*r - 8. Let h be t(-4). Let f(x) = -x**3 + 2*x**2 + 27*x + 4. Let g be f(6). Solve h*w - 10 = g for w.
4
Let f(k) = 6*k**2 + 5*k - 14. Let c be f(3). Suppose 10 - c = -9*v