0*n + 20 for n.
-4
Suppose -7*u = -68 - 2. Let b(s) = -s + 2*s - 2*s + u + 2*s. Let x be b(-6). Solve -x*c = c for c.
0
Let c(d) = 4*d**2 - 11*d + 5. Let o be c(4). Let x be ((-6)/2)/(3/(-58) + 0). Let b = 66 - x. Solve 3*p + o = b*p for p.
5
Let a(q) = -4*q**3 + 2*q**2 + 5*q. Let x be a(-2). Let f be 144/x*100/30. Solve -4 = f*n - 12*n for n.
-1
Let n = 25 - 45. Let s = -18 - n. Let a(l) = l - 3. Let g be a(6). Solve o + g = s for o.
-1
Let n = 10420 + -10382. Solve 81*q - n*q - 215 = 0 for q.
5
Suppose -4*o + 9*t = 38, -2*o = -0*o + 3*t - 26. Solve 0 = -44*q + o*q + 240 for q.
6
Let w be -2*(5/(-2) + 1). Suppose w*i - 89 = 151. Suppose 5*s - 95 = -i. Solve 6 - 21 = -s*r for r.
5
Let x = -2696 + 2782. Solve -3*u - 101 = -x for u.
-5
Suppose i + 60*c - 200 = 61*c, c = -3. Solve -i*z + 190*z - 42 = 0 for z.
-6
Let q be 1755/520*96/9. Solve 4*p + q - 20 = 0 for p.
-4
Let b be ((-1750)/(-245))/((-2)/(-28)). Let l = b + -94. Solve -2*p + 16 = -l*p for p.
-4
Let p(g) = g**2 + 13*g - 27. Let o be p(2). Suppose 3*m + 22*v - 19*v = 54, -3*v = o. Solve 5*l + m + 6 = 0 for l.
-5
Suppose 0 = 291*s - 286*s - 950. Suppose 31*k + 7*k - s = 0. Let i be 4/(-3)*(-6)/2. Solve -1 + k = -i*u for u.
-1
Let u(o) = -o**3 + 4*o**2 + 4*o + 15. Let m be u(0). Suppose 28 = m*q - 62. Solve q*a = 3*a - 9 for a.
-3
Let p = 3344 + -2831. Solve 30 = -p*f + 543*f for f.
1
Let y be (-90)/(-48) + 4/32. Suppose -4*f - y*n - 7 = -73, -12 = -f + n. Solve 0 = s - 6*s - f for s.
-3
Let j be ((-4)/(-13))/((-33)/(-158301)*18). Solve 18*s - 62 = j for s.
8
Let t = 3 - 3. Suppose t = -c - 2*c + 5*a + 5, a = -1. Suppose 3*f - 4*k = 14, c = 2*k - 7 + 11. Solve -3*m - f*m - 15 = 0 for m.
-3
Suppose -4*a = -4, 0*f - 4*f + a + 19 = 0. Let t(p) = -81*p + 2759. Let q be t(34). Suppose f*j = -b + 17, 0*b - q = -b - j. Solve i - b*i = -5 for i.
5
Suppose 0 = -26*u - 150 + 1008. Solve f + 32 = u for f.
1
Let m(f) = f**3 + 10*f**2 + 12*f + 33. Let c be m(-9). Solve -37*i = -38*i - c for i.
-6
Let j be (-1)/((-6 - 2550/(-232)) + -5). Suppose 86*a = 115*a - j. Let o be ((-4)/(-2))/(-2)*-2. Solve a*c = 3*c - o for c.
-2
Suppose -24 = 5*b + 1. Let z be (2 + b + 49)*1. Let w = z - 44. Solve -w*k - 3*k = 25 for k.
-5
Let d = 1745 - 1737. Let i be 2/4 + 195/10. Solve 3*w - i + d = 0 for w.
4
Suppose 4*t - 5*d = 14, -3*t + 3 = 2*d + 4. Let v be (t + -1)/((-20 + 5)/(-5)). Solve v = -k - 4 + 7 for k.
3
Let m(g) be the first derivative of g**2/2 - 21*g - 1. Let r be m(21). Solve 2*t - 18 + 22 = r for t.
-2
Let m(v) = 11*v + 97. Let f be m(-8). Solve -209*s + 206*s = -f for s.
3
Let i(c) = c**3 - 33*c**2 + 30*c + 141. Let w be i(32). Solve 8*k + w - 45 = 0 for k.
-4
Suppose -2*w - 14 = -4*b, -5*b + 8 = -2*b - 4*w. Suppose -2*u = -2*k + 16, -4*k - b*u + u = -39. Solve k = -2*l + 7 for l.
-1
Let u = 1077 - 708. Suppose -9*d - u - 261 = 0. Let l = d + 72. Solve l*t - 11 + 5 = 0 for t.
3
Let d = 634 - 670. Let o(y) = -y**3 - 35*y**2 + 37*y + 36. Let i be o(d). Solve 3*u - 45 + 48 = i for u.
-1
Suppose -3*o + 5*l + 40 = 0, -5*l + 3*l - 24 = -2*o. Suppose 0 = 5*h - o, 5*n - 5*h + 0 + 20 = 0. Let z be -1 - 15/10*n. Solve -a - z = 2 for a.
-4
Let n = -717027 + 717032. Suppose r - 5*r = -4. Solve -n - r = -2*i for i.
3
Let r(d) = -d**3 - 7*d**2 + 36*d - 10. Let j be r(3). Suppose -q - 2 = -j. Solve 0 = 4*k - 6 - q for k.
3
Let a be (-37)/(-5) - (-6)/(-15) - (40 - 57). Solve -a*l = -27 + 3 for l.
1
Let k(p) = -36*p**3 - 2*p - 1. Let t be k(-1). Let l = 37 - t. Suppose l = -0*x - 2*x + 4. Solve x*j - 3 = -j for j.
1
Let i = 17962 + -17902. Solve 16*x + 52 = -i for x.
-7
Let q(t) = -t**3 + 26*t**2 + 63*t - 97. Let s be q(28). Solve -81 = -36*b + s for b.
5
Suppose 14 = -3*t - 4*t. Let f be ((-16)/52)/t + 63/13. Solve -2*b = f + 1 for b.
-3
Let v = 7 + -5. Let p be (-3 + (5 - 3)*2)*5. Suppose -2*j - 1 - 7 = 3*g, 0 = -p*g - 5*j - 20. Solve g*i = -v*i for i.
0
Let u(g) = -317*g - 4736. Let f be u(-15). Solve -60 = f*l - 193 for l.
7
Suppose -9*x = x - 20. Suppose 4*q - 3*q - x = -2*l, -2*q = 4. Suppose 0 = -13*w + 9*w. Solve l*j = -w*j for j.
0
Suppose 45 = 5*f - 5*v, -2*f - 4*v - 1 = -f. Suppose -4*i + 19 = f. Suppose -b + 4 - i = 0. Solve l + b = 2 for l.
1
Let d(v) = -5*v**2 - 55*v + 15. Let q be d(-11). Solve -22*t + 25*t = -q for t.
-5
Let m(i) = i**3 + 2*i**2 - i + 4. Let h be m(-6). Let w = h + 140. Suppose w*j = -2*j + 40. Solve 1 = -6*g + j*g for g.
-1
Let g(i) = -177*i + 1972. Let u be g(11). Solve u*c + 12 + 188 = 0 for c.
-8
Let q(c) = 2*c**3 - 5*c**2 + 4*c + 9. Let f be q(-4). Let m = f - -235. Solve 0*z - m = -5*z for z.
4
Let m(p) = p**3 + 14*p**2 - 39*p - 79. Let y be m(-16). Let k be 8/6 - 1414/(-42). Solve 0 = k*t - y*t + 4 for t.
-2
Let m be (-6)/18 + 16/12. Suppose -6 + m = -b. Suppose 0 = -2*p + 8, -3*p + 5*p + 17 = b*i. Solve 20 = -0*v + i*v for v.
4
Suppose 41 = -18*x + 131. Suppose -x*v - 2*l = -41, -32*v + 4*l + 9 = -29*v. Solve v*m + 21 = 28 for m.
1
Suppose -5*p + 0*p = 85. Let i = -5 - p. Let s(x) = -x + 24. Let k be s(i). Solve 0 - k = -3*n for n.
4
Let w be ((-20)/(-14))/(-1*(-3)/42). Suppose 0 = 109*d - 107*d - 4*u - 20, 4*u = 3*d - w. Solve -3*t - 4 + 19 = d for t.
5
Let l be ((-150)/(-20))/(3/10). Solve 36 = -34*c + l*c for c.
-4
Let q = -418 - 97. Let z = q - -521. Solve z*r + 3*r + 36 = 0 for r.
-4
Suppose -3*l = -5*y - 44, -2*l + 28 = -l - 5*y. Solve l*b + 6 - 6 = 0 for b.
0
Let l(m) = -2*m**3 - 28*m**2 - 16*m - 37. Let c be l(-14). Solve -c*s - 14 = -194*s for s.
2
Let m(o) be the first derivative of o**2/2 + 9*o + 62. Let y be m(-6). Solve 5*d + y = 2*d for d.
-1
Let p(g) = 24*g + 12. Let s be p(2). Suppose -31*z = -25*z - s. Solve 2*u - z = -2 for u.
4
Let z(n) = -2*n**2 + 55*n + 35. Let g be (-6 - -10) + (26 - 3 - -1). Let l be z(g). Solve l*p - 6*p = 0 for p.
0
Let k(y) = -y**2 + y + 33. Let d be k(0). Let v be -1 - (119/(-14) - -9)*-18. Solve -v + d = 5*n for n.
5
Let y(m) = -m**2 - 7*m + 3. Let o = 28 - 70. Let c = -45 - o. Let i be y(c). Solve -r - 2*r = i for r.
-5
Let v(p) = 131 - 6*p + 3*p - 135. Let i = -4 + 2. Let l be v(i). Solve 0 = 3*f + l*f for f.
0
Suppose -2*b = b + 3*g, g - 10 = -3*b. Suppose -5*z = -3*m - z - 3, -z - 28 = b*m. Let l be m*-3*20/75. Solve 0 = -q - l*q + 5 for q.
1
Let t be 0 + 2 + (-30 - (-26 + -2)). Let l be (1 - -1) + (8 - 12). Let n be 4*((-7)/l)/7. Solve -n*c + t = -6 for c.
3
Let u(n) = n**3 - 6*n**2 + 10*n - 23. Let y = -115 + 120. Let j be u(y). Solve -3*q - 15 = j*q for q.
-3
Let f be 8/(-2)*6734/104*(-4)/14. Solve -90 = f*g - 16 for g.
-1
Let c(t) = -70*t**3 - 12*t**2 + t + 5. Let p be c(-2). Solve 509*n - p*n + 30 = 0 for n.
5
Let l(g) = 4*g**2 + 3*g + 4. Suppose -5*a = 4*x - 225, 0 = 4*x + 15 + 5. Let u = a - 50. Let b be l(u). Solve b*d = -0*d - 15 for d.
-3
Let s(r) = -r**3 - 9*r**2 - 16*r - 12. Let n be -6 - ((-4 - -1) + 4). Let p be s(n). Solve -p*c - 8 = -4*c for c.
4
Suppose -n - 13 = -q, 4*q + 7*n = 50 - 9. Solve -1310 = q*b - 1262 for b.
-4
Let k(y) = -8 + 20*y + 41*y**2 + 42 + 15 + 40 - 40*y**2. Let n be k(-14). Solve n*a + 16 = a for a.
-4
Let v = 65 - 62. Let a be v + ((-5)/(-5) - 0). Solve 0*z - 4*z = -a for z.
1
Let x = -2099 + 2108. Solve -x*l + 32 = -l for l.
4
Let z = -4154 + 4158. Let x = -1 + 7. Let t = 16 - 2. Solve -z*y = -x - t for y.
5
Let q(a) = -a**3 + 5*a**2 - a + 9. Let h(j) = j**3 + 8*j**2 + 6*j - 2. Let u be h(-7). Let c be q(u). Let t be c/3*(-36)/(-48). Solve -5*k + 6 = t for k.
1
Let m(f) = 4*f + 3*f + 5*f + 0*f - 11*f + 14. Let u = -4 + -6. Let s be m(u). Solve s*h + 8 = -0*h for h.
-2
Let l = 3720 + -3706. Solve 6*a = l - 44 for a.
-5
Suppose -11*b + 308 = 14*b - 292. Solve -17 = b*l + 55 for l.
-3
Suppose -4*z = -0*z - r - 230, 0 = 2*z + 2*r - 100. Solve -z*v - 7 = -63*v for v.
1
Suppose 4*f - 4*r - 4 = 0, f - 7 = -4*r + 4. Suppose -4 = f*k - 10. Suppose 0 = -10*c + 9*c - 5*d + 10, d = 1. Solve 3*n = -k*n - c for n.
-1
Let q(m) = 11*m**3 - 45*m**2 + 40*m - 94. Let f(g) = -4*g**3 + 15*g**2 - 13*g + 31. Let n(d) = -8*f(d) - 3*q(d). Let r be n(14). Solve -7*c + r = -c for c.
1
Let x be 19/57 + 22/6. Let i be (-8)/(-3)*((-42)/(-4))/7. Solve i*c - 12 = x for c.
4
Suppose 191*o = 236*o - 900. Solve -o*z = -73*z - 159 for z.
-3
Suppose -1602 = -130*v + 7368. Solve -v*w = -55*w - 98 for w.
7
Let u(b) = 41*b**2 +