 + -10 - a*t. Solve 4*w + b = -1 for w.
-1
Let a be 8 + (2 + -3 - 2). Suppose a*y + 5*j - 16 = 49, 0 = -2*y + 5*j - 2. Suppose 4*h + 3 = -5*t, 0 = -3*h - h - 2*t + 6. Solve -y = h*r + 6 for r.
-5
Suppose -4*n - 4 = -6*n. Suppose -n + 6 = -2*a. Let h = -2 - a. Solve h = 2*y + 3*y + 10 for y.
-2
Let a = 240 + -228. Solve 0 = 4*z + a - 8 for z.
-1
Suppose -k - 17 = -2*g, 3 = 4*k + 4*g + 83. Let p = k - -24. Let v(y) = y**3 - 6*y**2 - 6*y - 4. Let q be v(7). Solve -2 + p = q*d for d.
1
Suppose 0 = q + 4*y - 2*y - 18, -3 = -y. Solve -q*g - 1 = 11 for g.
-1
Suppose -75*g + 68*g + 7 = 0. Solve 5 = a + g for a.
4
Let r be 190/(-8) - 33/(-44). Let u = -19 - r. Solve 0 = -u*j - 0*j - 4 for j.
-1
Let n(o) be the first derivative of -o**3/6 + 13*o**2/2 - 3*o - 2. Let u(a) be the first derivative of n(a). Let j be u(13). Solve j = f + 2*f + 12 for f.
-4
Suppose 0 = -0*g - 2*g. Suppose g*y = 3*y + 3. Let t = 3 - y. Solve 2*c + t = -2 for c.
-3
Suppose -r = 11 - 1. Let u = 242 - 254. Let h be u/(-42) + r/(-14). Solve h = 2*q - q for q.
1
Let q be (-1 - (0 - 1))/1. Suppose 3*b + 15 = 0, 0 = 3*w - q*w + 3*b + 9. Solve f = -0*f + w for f.
2
Let b be 2/(-2)*(233 - 253). Solve -25*j + b*j = -5 for j.
1
Let u be (-1)/(-2) - (49/(-2) - -16). Solve u*f - 21 = 2*f for f.
3
Let g = -3 + 3. Suppose -3*v - v + 24 = g. Suppose -7 = c + 2*j, 4*c + j - 3 = 4. Solve 6*t = c*t - v for t.
-2
Let f = 35 + -73. Let x = f - -41. Solve u + 12 = -x*u for u.
-3
Let b be (-9)/6*(-4)/6. Suppose 34 = -o + 3*p, 5*o - p = -4*p - 152. Let d = o + 35. Solve 17 - b = -d*y for y.
-4
Suppose 4*k = 6*k - 70. Let y = -19 + k. Let u = -16 + y. Solve w + u = 3 for w.
3
Let g be 1/(2/30*1). Suppose o + g - 1 = -4*l, -5*o - 10 = 5*l. Solve -8 = 5*i + o for i.
-2
Suppose -14*q - 8 = -12*q. Let s be (-44)/(-7) - q/(-14). Solve 3 = -5*g + s*g for g.
3
Let l = 21 - 17. Let z be (-63)/49 - l/(-14). Let j = 4 + z. Solve 20 = -8*d + j*d for d.
-4
Suppose u - 6 = 4*v - 16, -2*v = u - 2. Suppose -4*i + 2 = -62. Suppose 0 = 5*j - i + 1. Solve j*m - v = 5*m for m.
-1
Suppose -4*l + 4 = -3*h, 5*l - 2*h = -3*h + 24. Solve 6 - l = j for j.
2
Let r be 39*2/3 - -10. Solve 11*x + x = -r for x.
-3
Let w(b) = b**3 - 4*b**2 + b + 6. Let d be w(3). Suppose 0 = -2*a + 4*a + 8. Let i(r) = -r**3 - 5*r**2 - 6*r - 6. Let p be i(a). Solve d = 2*g - 0*g + p for g.
-1
Suppose -3*p + 604 - 598 = 0. Let n = 0 - 0. Solve c = -n*c - p for c.
-2
Let v = -3 + 6. Let h be (-10 - -1)/v + 3. Suppose 6*z - 2*z - 40 = h. Solve 3*c - c = -z for c.
-5
Suppose h - 5*p - 52 = 0, -h - 5*p - 8 + 90 = 0. Let n = 98 - h. Let d = n - 31. Solve -2*m - 5 - 1 = d for m.
-3
Let m = 236 + -208. Solve -m = -6*h - h for h.
4
Let m(f) = 6*f - 18. Let c(y) = -1. Let p(d) = -10*c(d) + m(d). Let i be p(2). Solve 3*v = i + 5 for v.
3
Let i(d) = -d**2 + 2. Let u be i(0). Suppose -2*v = -5*q + v + 51, -3*q - 2*v = -23. Suppose -q*k + 16 = -k. Solve 4 - u = -k*p for p.
-1
Let h be 122/(-8) - 2/(-8). Let b(w) = -w**3 - 54*w**2 - 102*w + 84. Let a be b(-52). Let p = h - a. Solve -p*v = -v for v.
0
Let h = 14 + -8. Let d be (0 - 6)/((-3)/(18/12)). Suppose -2*b + 21 = p - 7*b, 15 = p - d*b. Solve -4*s = -h*s - p for s.
-3
Suppose 0*j - 4*a + 8 = 2*j, -4*a = -2*j. Let f be 0*(20/(-8) - -2). Solve f = p + j*p for p.
0
Let f be -4 + -1 + (4 - 1). Let k be 1 - (f - -2) - 4/4. Solve 4*w = -k*w for w.
0
Suppose 9 = 4*b - 3*b + 2*d, -3*d = -5*b + 19. Solve 2 = -b*r + 6*r for r.
2
Let u be 8/(-3)*54/24. Let s be (-112)/(-6) - u/(-9). Suppose 14 = -2*r + s. Solve 1 = -r*z - 3 for z.
-2
Let s be ((-16)/((-64)/(-18)))/((-3)/4). Solve 0 = v - 3*v + s for v.
3
Suppose 3*c - 64*h = -62*h + 12, -2*c - 4*h - 8 = 0. Solve -10 = c*j + 8*j for j.
-1
Let g = -1003 - -1006. Suppose 5*c - c = 20. Solve g = c*n - 2 for n.
1
Suppose 5989 = 75*n + 739. Solve 4*r - n = -10*r for r.
5
Let k(f) = f + 102. Let i be k(0). Let r = i + -96. Solve 0 = -r*p + 2*p - 12 for p.
-3
Let l = -1238 + 1277. Solve 0 = 6*b - l*b + 132 for b.
4
Suppose 0 = 2*k + 63 - 73. Solve -k = o - 3 for o.
-2
Let g(u) = -7 - 2*u + 3*u**3 + 5*u**3 + 6*u**2 - 7*u**3. Let x be g(-6). Let a be (4/x)/((-12)/(-270)). Solve 3*c - a = -3 for c.
5
Suppose 0 = -13*x + 10*x + 234. Let l = 86 - x. Solve -l = 2*o + 2*o for o.
-2
Let f = -42 + 45. Solve 18 - f = -5*v for v.
-3
Suppose -f = 0, -2*l - f - 3 = -11. Suppose -l*b = 2*c, b + c - 1 = -2. Solve -3*d = -2*d - b for d.
1
Let m = 39 + -77. Let o = m + 21. Let q = o - -23. Solve -q*l + 3*l = -9 for l.
3
Suppose 27*o - 24*o = 6. Suppose -4*i - o*i = -5*i. Solve i*f = -2*f + 4 for f.
2
Let u = 1177 - 1144. Solve -3 = 10*w - u for w.
3
Let r be 3/18 + (-106)/(-12). Let h = 187 - 185. Solve -h*u - 1 = -r for u.
4
Let y = -10 - -22. Suppose w = 2*w + y. Let r be (1 - 10/8)*w. Solve -b = -0 - r for b.
3
Let v be -3*(140/6)/(-10). Solve 0 = v*z - 9 - 5 for z.
2
Let b = 126 + -96. Solve b = h - 7*h for h.
-5
Let k be (-2 - 15/(-12))/(1/(-4)). Let i be 0 + 6 + -1 - (k + -1). Let z = 12 - 12. Solve z*g = g + i for g.
-3
Let x = 0 + 0. Let j = -5401 + 5405. Solve -j*r + 12 = -x*r for r.
3
Let k(v) = v**2 - 5*v + 6. Let l be k(2). Solve 4*r - 2 - 6 = l for r.
2
Let z(l) = -4*l**2 + 53*l - 9. Let p be z(13). Let f = 2 + -2. Solve f = -i + p*i + 9 for i.
-3
Suppose -4*y - 2*a + 162 = 0, 2*y + 2*a + 189 = 7*y. Let x = y + -35. Suppose 8 = 2*b + x. Solve -l + b = l for l.
1
Suppose 4*j - 123 - 189 = 0. Let v = 115 - j. Suppose 5*z = 13 + v. Solve 0*c = -5*c - z for c.
-2
Suppose o = w - 5, 2*w + 6*o - 7 = 5*o. Let m(h) = h**3 - 6*h**2 - 7*h + 2. Let z be m(7). Let v be (4/(-10))/(z/(-60)). Solve -v = w*u + 4 for u.
-4
Suppose n + 25 = 3. Let h = n - -25. Suppose 0 = 2*u + h*z - 23, u + 4*u + 4*z = 40. Solve 9 = -u*j + 25 for j.
4
Suppose -3*u = w - 7, -20*w + 18 = 4*u - 23*w. Let f(z) = -z**2 - 2*z + 1. Let i be f(-2). Let v be -2 + -1 + 2 + i. Solve -s - 8 + u = v for s.
-5
Let g(f) = -9*f**3 - 2*f**2 + f. Let v be g(1). Let k = -7 - v. Suppose c + 4*c = -4*d - 12, 9 = 3*c - k*d. Solve c = -3*u - 1 - 8 for u.
-3
Let l(k) be the first derivative of -k**2/2 - 2*k - 8. Let j be l(-2). Solve o + 0*o - 3 = j for o.
3
Let u(p) = 17*p + 414. Let w be u(-24). Solve 0 = 8*o - 5*o - w for o.
2
Suppose -29 = -5*s + 3*o, -o + 1 = 4*s - 3*s. Solve -11 - s = -3*w for w.
5
Let m(p) = -p**3 + 4*p**2 + 2*p - 4. Suppose 11 = 5*b - 9. Let h be m(b). Suppose -5*q + 0 = -2*s - 8, -16 = 2*q + 4*s. Solve -d + q*d + h = 0 for d.
4
Let b(w) = 3*w**2 + 12*w + 18. Let g be b(-3). Solve 4*m + g = m for m.
-3
Let a = -151 + 164. Suppose -32 + 123 = a*i. Solve -i = 4*p + 9 for p.
-4
Let l be -3 - (-4 + 1) - (-15)/3. Solve s - l*s = -16 for s.
4
Suppose 13*d - 27 = 12. Solve -3 = -d*k - 12 for k.
-3
Let f be 1*14 - (-15)/((-225)/105). Solve 38 = -15*t - f for t.
-3
Suppose -4*p + 5*r = -26, 2*p + 2*r - 2 - 2 = 0. Let y = 334 - 331. Suppose -w - 3*n - 2*n - 8 = 0, p = 5*w + y*n. Solve 0 = -2*o + 4*o - w for o.
1
Let z = -20 - -20. Let l = -72 + 75. Solve l*g = -z + 6 for g.
2
Suppose -2*s + 4*u + 16 = 0, -3*s - 3*u + 2*u = -31. Let c be 12/s + (-2)/10. Suppose -4*o + 21 = c. Solve 0*j + 25 = o*j for j.
5
Let t = -5 - -3. Let y be 1/(1/t*5/(-25)). Solve -3*m = 22 - y for m.
-4
Let b = -1 - -9. Let j = b + -8. Let p be -3 - (-4 + (-1 - 3)). Solve 20 = p*r - j for r.
4
Let l be -3 + (17 - (2 + -1)). Suppose -9*n + l*n = 0. Suppose n = -3*o - 2*o + 3*j + 27, 16 = -4*j. Solve -p - o*p = 0 for p.
0
Let i(c) = -c**3 - 11*c**2 + 10*c - 20. Let x be i(-12). Solve -x*l = 7*l + 55 for l.
-5
Suppose -39*c + 272 = -35*c. Let r be 1 + (c + 0)/4. Solve 4*u + 2 = r for u.
4
Let a be 10/1*((-3)/2 - -4). Let x be (-35)/(-5) - (1 + -1). Solve x*i + a = 2*i for i.
-5
Let y(v) = -v**2 + 33*v - 155. Let l be y(27). Solve -14 - 7 = l*u for u.
-3
Let f(m) = 28*m - 275. Let q be f(11). Solve 7*t + q = -2 for t.
-5
Suppose 0 - 15 = 5*i. Let z be i/(-4) + 12/(-16). Let k be (-1)/3 + 49/84*4. Solve -k*y = -z*y + 10 for y.
-5
Suppose -4*j + 99 + 5 = 0. Let g be (-120)/(-104) + (-4)/j. Let m be 14 - 18 - (-7)/g. Solve 0 = s - 1 - m for s.
4
Let a be (1 + 2)/((-21)/(-196)). Suppose -2*u - a = 2*u. Let n = u + 11. Solve n = j - 2*j for j.
-4
Let j = 22 + -56. Let p = j - -40. Solve p*h = 3*h - 9 for h.
-3
Suppose -2*h + 2 = 0, 0*p + 2*p = h + 23. Let 