1
Let g be (-46 + 47)/(1 + 6/(-8)). Let v = 33 - 30. Solve 0 = -g*m - v - 9 for m.
-3
Let m(o) = 11 - 6 + 3 - 4*o + 2*o. Let a be m(2). Solve 2*b - a = -0*b for b.
2
Let p(o) = o**3 - 11*o**2 - 13*o + 9. Let i(t) = t**3 - 11*t**2 - 13*t + 10. Let c(g) = 4*i(g) - 3*p(g). Let k be c(12). Solve -k = -3*y + 4*y for y.
-1
Suppose 0 = 4*u - 9 + 89. Let q be 4/10 + u/50. Let w be (5 - 1) + 1/1. Solve -y + 2*y - w = q for y.
5
Let z = -31 + 51. Suppose -3*h + 8*h = z. Solve u - h*u = 6 for u.
-2
Let s = 1182 - 1172. Let d be (-122)/(-4) - (-2)/(-4). Solve -s + d = 5*b for b.
4
Let h = -2 + 4. Let v = h + 7. Solve 0 = -3*r - 0*r + v for r.
3
Suppose -5*r - 3*t + 20 = 0, 9 = r + r + t. Let f be (208/156)/(4/6). Let y = r - f. Solve 0 = l + y for l.
-5
Let u(n) = -14*n + 49. Let a be u(3). Suppose 6 = -0*y + 3*y. Suppose -b = -3*g + 7 + 1, -a = -y*g - b. Solve -12 = g*k + k for k.
-3
Let d = 2 + -1. Suppose -4*k - 2*n = -3 - d, n - 4 = -3*k. Let u = 1 + 2. Solve -k*s = s - u for s.
1
Suppose 0 = -27*f + 18 + 90. Solve 32 = -f*a + 36 for a.
1
Let m(f) = -f - 2. Let u be m(-7). Let k = -37 + 48. Solve -u = -4*l + k for l.
4
Suppose 0 = 6*v - 5*v - 4. Let h be 6 - 5 - v/((-12)/9). Solve 0 = 2*b - h - 0 for b.
2
Let z be ((-4)/(-6))/(4/90). Let a(v) = 9 - v**2 + 0*v**2 - 8. Let h be a(1). Solve 5*d + 0*d + z = h for d.
-3
Let q be (-1*1*3)/(-1). Suppose 2*n + 181*f = 186*f + 15, -2*n = -3*f - 9. Solve q*j = -n*j for j.
0
Suppose 33 = 5*p - 7. Suppose -b = -4*q + 3*b - 52, -3*b + 15 = 0. Let t(r) = -r**3 - 8*r**2 + 4. Let l be t(q). Solve -6*z + l*z = -p for z.
4
Suppose -4*v + 2*c = -32, -5*v + c + 31 = -9. Suppose -9 = 2*y - 5*y. Solve y*a = 5*a + v for a.
-4
Let a(j) = 2*j**2 + 41*j + 45. Let s be a(-20). Solve -2*g = 3*g - s for g.
5
Let n be (-4)/10 - 37/(-5). Let t be ((-522)/63 - -8)*(-5 - 2). Solve n*l + 20 = t*l for l.
-4
Suppose 0 = y - 3*s - 13, -y - 5*s - 14 = -3. Let d = -32 + 30. Let n = y + d. Solve -p - 4 = -n*p for p.
4
Suppose 2*h = -3*p + 182, 2*h + 0*h = -p + 174. Let l be 4/(-10) - h/(-25). Suppose -l*v + 10 = -5. Solve -v*r + 2*r = -12 for r.
4
Let n(j) = j**3 - j**2 - 38*j + 96. Let l be n(5). Solve 0 = l*b + 12 for b.
-2
Suppose -5*m + b = -0*b - 11, -3*m - 2*b + 4 = 0. Let j be ((-15)/(-6)*m)/1. Let s = 67 - 67. Solve s = n - j*n for n.
0
Let s = 64 - 64. Let n be (-1 + s + 3)*1/2. Solve n + 1 = -2*x for x.
-1
Let g(v) = -v**3 - 5*v**2 + 3*v + 34. Let f be g(-4). Solve -4*r = 14 + f for r.
-5
Let n be ((-10)/10)/((-1)/4). Let y be -2 + (n - 6)*-4. Solve j - 3*j + y = 0 for j.
3
Let q(m) = 12*m**2 - 11*m + 21. Let i(w) = -5*w**2 + 5*w - 10. Let g(d) = -7*i(d) - 3*q(d). Suppose -1 + 7 = -2*j. Let b be g(j). Solve 3*f - 4*f = b for f.
-4
Let h(t) = 3*t + 13. Let b be h(-6). Let l be b/(-5) - (-1)/(-1). Solve l = 2*y + 9 - 3 for y.
-3
Let x = 49 - 34. Let m = x + -12. Suppose 4 = m*s - 5. Solve -1 = -s*i + 4*i for i.
-1
Suppose 0 = -4*c - 20, -3*c + 7 = -4*v + 14. Let t be (-2)/(-1) - 2*v. Solve -t*s + s = 0 for s.
0
Let h(b) = 3*b + 32. Let r be h(-14). Let z be (1 + 4)*(-6)/r. Solve -2*k - z = -5 for k.
1
Let u be 1064/132 + 34/(-561). Solve 63 = -13*h - u*h for h.
-3
Let q = 83 + -82. Let d(w) = 2*w. Let h be d(1). Solve -c + q + h = 0 for c.
3
Let l(q) = 3*q**3 + q**2 + 5*q + 3. Let v be l(-1). Let i be (1/(-2))/(v/8). Solve 13 - i = -4*d for d.
-3
Let n be (-27 - -22)/((-5)/(-3) + -2). Solve 6*k + n + 15 = 0 for k.
-5
Suppose -5*i - 15 = 2*z, -2*z - 4*i - 11 - 3 = 0. Let a(x) = 6*x + 13 - 4*x - 2. Let l be a(z). Solve 5*v = -l + 6 for v.
1
Suppose 0 = -2*w - 5*i - 14 - 5, -3*w - 3 = -i. Let y be (-2)/w + (-4)/(-2). Suppose y*d = 5*v + 5, 6 = d + 1. Solve -v*n = -0*n + 8 for n.
-4
Let o be (-27)/36 + 9/12. Suppose -4*n + 0*n + 16 = o. Suppose -31 = -3*p - 4. Solve -n*k = p + 3 for k.
-3
Suppose 0 = 17*g - 236 - 257. Solve 6*p - g - 1 = 0 for p.
5
Let g = -2 + 2. Suppose -4*s + 220 = -g*s. Suppose 0 = -5*c - 3*t - 2*t + s, 0 = -2*t + 10. Solve c*n + 6 = 3*n for n.
-2
Suppose -j = 2*a - 16, -50 = -3*a + 111*j - 106*j. Solve -a = 97*w - 99*w for w.
5
Suppose -28*l + 717 = 129. Solve -q - 23 + l = 0 for q.
-2
Suppose -i + 3*p - 6 = p, 10 = 5*i - 2*p. Suppose 0 = -2*h - i*h. Suppose 2*t - 6 = t. Solve -4*y - t - 14 = h for y.
-5
Suppose -52*l - 4*r + 24 = -50*l, -2 = -r. Solve -2*p = -l*p for p.
0
Suppose 18*k = 21*k - 15. Solve x = k*x for x.
0
Let b = 141 - 137. Solve -2*o + 12 = b*o for o.
2
Suppose -h - 11 = -d + 5, 3*d - 5*h = 50. Solve -d = -4*k - k for k.
3
Suppose 3*j - 21 = -0*c + 5*c, -19 = -2*j + 5*c. Suppose -5*t - 3 = -y - j*t, 2*t = 2*y - 6. Solve y*s = 2*s + 5 for s.
5
Suppose -6*r + 132 = -0*r. Let o = -14 + r. Let c = -7 + o. Solve 3 = -2*h - c for h.
-2
Let m be (((-2)/(-6))/((-20)/(-60)))/1. Solve 0 = -i + m - 0 for i.
1
Suppose 3*r - 3*r = 2*r. Suppose 2*i = i + 3. Suppose -2*c - 2 = -i*c. Solve 5*n - c*n = r for n.
0
Suppose 4*x + 0*y = 3*y + 2, 8 = 3*x + y. Solve -w - x*w + 3 = 0 for w.
1
Let i = 1 + 2. Suppose -5*h + 6 = -i*h. Solve 2*g + 5 + h = 0 for g.
-4
Suppose -4*o - 11 = -11. Solve 0 = 2*y - o*y - 8 for y.
4
Let i(o) = 6*o + 72. Let n be i(-8). Solve -7*x = -x + n for x.
-4
Let d(y) = y**2 - 2*y - 3. Let l be d(7). Let o = 32 - l. Solve o = -f - f - 10 for f.
-5
Let s(c) = -6*c**3 + 2*c**2 + c. Let n be (10/(-4))/((-2)/4). Suppose 4*o + n*g - 1 = 0, 4*o - 4*g + 1 = 7*o. Let i be s(o). Solve 10 = -i*a + 2*a for a.
-2
Suppose 0*n = -2*n + 8. Suppose n*s - 1 - 11 = -5*k, -s + 3 = 0. Solve 0 = -k*x + 3*x - 9 for x.
3
Suppose 0 = -0*a - 2*a + 3*w + 29, 3*w = a - 7. Let l = a + -17. Let k be (-2)/l - (-10)/25. Solve k = n + 4*n for n.
0
Let p(y) = -y**2 + 5*y + 2. Let v be p(2). Suppose 2*h = v*h. Solve -3*j + 6*j = h for j.
0
Suppose 2*v - 3*i - 16 = 0, 2*i = -v - 2*i + 19. Suppose 0 = -3*y + 2*p - 6*p - v, 3*p + 24 = 3*y. Solve 0 = y*a - 2 - 10 for a.
4
Let d be 3*(1/(-3) - -3). Suppose 4*s - 5 = 3, -4*m + 2*s = -d. Solve -k = -m*k for k.
0
Suppose 10*r - 14*r = -4, -5*q = -5*r - 60. Solve 12*k = -k + q for k.
1
Suppose -3*v + 3 = -3. Suppose -v*b = 3*b - 10. Let m be b/(-5) + (-176)/(-40). Solve -2*u + u = -m for u.
4
Suppose -7*x - 3*a = -6*x - 5, 0 = x - 2*a. Solve -5 = -w - x for w.
3
Let z(t) = 3*t - 40. Let h be z(14). Suppose 0 = h*d - 7 - 1. Solve -5 + d = -g for g.
1
Let v = -133 + 99. Let l = -30 - v. Solve 2*k = -0*k - l for k.
-2
Let k = -454 - -468. Solve 0 = -k*n - 12 - 16 for n.
-2
Let x = 27 - -2. Suppose -5*w = 2*m - x + 8, 4*w - 3*m - 3 = 0. Solve -w*o = -0*o for o.
0
Suppose -73*f + 71*f = 4*u + 20, -f - 16 = 3*u. Let w(h) = -2*h - 2. Let q be w(-5). Let d be q/28 - (-19)/7. Solve -d*v - 4 = f for v.
-2
Let h = 116 - 208. Let x = h + 94. Solve 7*d + 10 = x*d for d.
-2
Let k be 353/5 - ((-30)/(-25))/2. Suppose 2*v + k = 4*p, 0*p = -5*p + v + 80. Solve 5*y + 5 = -p for y.
-4
Suppose 4 = p + 1. Suppose 2*i - o = 9 + 3, -39 = -5*i - 2*o. Solve -p*b + i = -2 for b.
3
Let n(h) = h**3 - 6*h**2 - 12*h + 5. Let k be n(8). Let l = -12 + k. Solve -r - 4*r = -l for r.
5
Let x(j) = j**3 + 17*j**2 + 16*j + 2. Suppose -13*a = -8*a + 80. Let s be x(a). Solve 1 = -s*t + 9 for t.
4
Let y(b) = -b**3 - 16*b**2 - 26*b + 28. Let u be y(-14). Solve u = i - 117 + 122 for i.
-5
Suppose 60 = 8*c - 3*c. Let x = -9 + c. Suppose 0 = 4*i + z + 4*z - 33, 0 = 5*i - 2*z. Solve x*g = i*g for g.
0
Let t be -35 + (40/30)/(4/6). Let x be (-682)/t + 2/(-3). Solve x - 4 = 4*j for j.
4
Let p = -513 + 518. Solve -15 = -p*n + 10 for n.
5
Suppose 2*i = 5*i + 9, i = -5*y + 47. Let b(w) = w + 10. Let j be b(-5). Solve -j*l + 0*l + y = 0 for l.
2
Let v(a) = a + 13. Let m be v(-5). Suppose -2*q - 4 = -h, -2*h - 4*q = 2*h + m. Solve h*x - x = 0 for x.
0
Suppose -4*d - 5*q + 177 = 0, 2*d - 3*q - 84 = -q. Let h = d - 22. Suppose -s + h = 2*s. Solve -4*x - 9 = s for x.
-4
Let q(h) be the third derivative of -13/24*h**4 + 8*h**2 - 13/60*h**5 + 0*h + 0 - 1/120*h**6 - 2*h**3. Let p be q(-12). Solve p - 5 = -v for v.
5
Suppose 5*w + 4*l = w - 52, 25 = -5*l. Let r = 9 + w. Solve r = n - 1 for n.
2
Suppose 12 = -t + 5*t. Suppose 3*d = -0*d + 2*y, 0 = -2*d - t*y. Suppose -5*i + 8 = -a - d*a, -10 = -2*a - 3*i. Solve 0 = -a*b + 4 + 4 for b.
4
Let n(j) = 2*j**3 + j**2. Suppose -10*d + 13*d + 9 = 0. Let z be (-5 - d)/(-2) - -1. Let r be n(z). Solve -2