 for o.
1
Let q(i) = 4*i**2 - 3*i + 8. Let l(r) = 5*r**2 - 3*r + 7. Let a(x) = -2*l(x) + 3*q(x). Let g be a(4). Suppose 0 = 2*k - g + 24. Solve 2*j - k*j = 0 for j.
0
Let b(q) = -q**3 - 10*q**2 + 8. Let g be b(-10). Let l be 56/(-16) + 3/(-6). Let z be 5*2/60*l*-6. Solve z*u = 8*u + g for u.
-2
Let h(w) = w**2 + w - 213. Let s be h(15). Solve 0 = -42*j + s*j + 90 for j.
6
Let i = 7 - 2. Suppose 0 = 2*x - 7*b - 27, 0 = -x + 5*b - 6*b. Suppose i*g = 3*f - 51, -f + 5*f - x*g - 57 = 0. Solve y = 4*y - f for y.
4
Let k be 92/48*3 - (-21)/(-28). Solve -k*h - 2 = 3 for h.
-1
Let b = -3790 - -4280. Solve 3*u + b = 469 for u.
-7
Let l be ((-6)/(-5))/(3/15). Let v be (-4 + l)*125/10. Solve 23*n = v*n for n.
0
Let r be (87/(-6))/(2/4 - 0). Let x = r + 29. Suppose z - 2 = t, x = 2*t + z + 2*z - 16. Solve -t - 2 = 2*i for i.
-2
Let j(b) = 5*b - 14*b + 2 + 6*b. Let y be j(-1). Suppose 0 = -h - y + 8. Solve -5 = 2*l + h for l.
-4
Let o(n) = -3*n**3 + 11*n**2 + 4*n - 8. Let k be o(4). Let c be (-325)/(-39) + k/6. Solve -2*v = -c - 3 for v.
5
Let b be (18/(-45))/(1/(-5)). Suppose w - 5*w = -4*g + 24, -g = b*w. Solve 0 = -q + 3 - g for q.
-1
Suppose 14 + 2 = -4*t. Let v be 10 + (6/4 - (-2)/t). Suppose v*u + 8 = 13*u. Solve 0*l + u = -l for l.
-4
Let a(z) = -z**2 + 5*z + 4. Let m = -57 + 63. Let s(u) = u**2 + 1. Let y(p) = m*s(p) - 2*a(p). Let r be y(2). Solve r*b - 9*b - 3 = 0 for b.
3
Let t be (-2 - 0 - -6) + 43/((-301)/(-84)). Solve 0 = -67*k + t*k - k for k.
0
Let u be ((-7)/9 - (-42)/(-189))/(2/(-130)). Solve -23 = u*v + 237 for v.
-4
Suppose -3*k + 56 = 114*p - 116*p, -p = -2*k + 36. Let s = 4 + -2. Solve -s*n + k = 2*n for n.
4
Let t(v) = v**2 - 366*v - 1848. Let o be t(-5). Solve 4*c + o*c = -11 for c.
-1
Suppose -2*d + 2*f = 2, 5*d + f + 5 = 3*d. Let u be ((-11)/d)/(102/24 - 4). Let n = 22 - u. Solve n = -5*p + 2*p + 12 for p.
4
Let s be (1 + 9)/(2/1). Suppose -3*i = s*u + 372, 3*u + 3*i = 7*i - 229. Let g = -73 - u. Solve 0 = 6*d - g*d for d.
0
Let h be (19 - 20)*((3 - 3) + -523). Let x = 525 - h. Solve -x*z - 16 = -6*z for z.
4
Let p(y) = y + 20. Let o = -26 + 10. Let s be p(o). Let b(r) = -r**2 + 6*r - 5. Let h be b(s). Solve 1 = -l + h for l.
2
Let a be -1 - (10 + 132/(-12)). Solve 114*f - 124*f = a for f.
0
Suppose 136 - 763 = -2*q + 3*v, 5*v - 25 = 0. Solve q = 6*w + 327 for w.
-1
Suppose 21 = 3*k, 2*g + 282*k = 279*k + 37. Solve -p = -g*p + 14 for p.
2
Let i(k) = -k**2 - 22*k + 29. Let u be i(-26). Let q = 87 + u. Solve q = 3*f - 6*f for f.
-4
Suppose 9*o - 24*o + 155 = 20. Solve -o*w + 2360 = 2360 for w.
0
Let b(j) = -8*j + 8. Let v be ((-12)/15)/(6/15). Let a be b(v). Suppose 0 = -2*o + 5*o - a. Solve o - 4 = g for g.
4
Let y = -3559 + 3777. Solve 0 = 6*k - 200 + y for k.
-3
Let i = 29 + -29. Let q(g) = 11*g - 5. Let w be q(1). Suppose -f = -0*f - w. Solve -f*b + b + 15 = i for b.
3
Let y = 34 + -18. Let i = 5191 - 5187. Solve y*n - i = 17*n for n.
-4
Let o be 1 + 19 + -18 + 23. Let x be (20/o)/((-1)/(60/(-8))). Suppose -35*i = -34*i - x. Solve 16 - i = 2*u for u.
5
Suppose -393*o + 414*o - 462 = 0. Let g be 15/(-3)*(-4)/5. Suppose -q + 18 = n - 5*q, -3*n = -g*q - o. Solve -2*d = n*d for d.
0
Suppose -4*x + 4*b + 132 = 0, 3*x - 2*x = -5*b + 27. Suppose -11*v + 1 = -x. Let o(z) = -z**2 + 3*z. Let k be o(v). Solve -l + 2 = -k*l for l.
2
Let u = 5527 - 5523. Solve -8*d - u = 4 for d.
-1
Let p = -54 - 221. Let c = -272 - p. Solve -2*g - c*g = 0 for g.
0
Suppose -169*k + 12*k = 18*k - 5600. Solve -13 + k = 19*t for t.
1
Suppose 22*g - 90 = -2*h + 17*g, 0 = 4*g + 16. Solve 57*d - h = 46*d for d.
5
Let b = 6080 - 5393. Solve -b = 71*j - 48 for j.
-9
Let r be ((-3813)/(-62) + -23)/((-2)/(-20)). Solve -10*a - r = -65*a for a.
7
Let s(y) = 11*y**2 - 6*y. Let g be s(1). Suppose 8*z - 5*h = 4*z - 20, 2*h - 8 = -g*z. Suppose 5*o - 15 = -3*j + 2*o, 5*j - o = 55. Solve 2*u + z - j = 0 for u.
5
Suppose -21 = -r + 5*i + 4, 5*r - i = 5. Let a be 4 + 19 + r - -1. Solve -4 = -a*u + 28*u for u.
-1
Let a(i) = -6*i + 2*i - 86 - 8*i + i. Let j be a(-8). Solve -11 = j*m - 9 for m.
-1
Suppose i - 448 = -5*s, 10*s - 10 = 15*s. Let y = i + -458. Solve y = 5*l - 6 + 6 for l.
0
Let g(o) = -84 + 18*o - 9*o + 3*o - 2*o - 8*o. Let u be g(46). Solve u*a - 5*a = 12 for a.
4
Let j be -8 - -4 - (-2 + -4). Suppose -j*g + 6 = -2. Solve -g*t - 10 = 2 for t.
-3
Let b = -51 - -62. Suppose b*m + 2 = 10*m. Let s be (-16)/(-5) - m/(-10). Solve 4*n + s = 3*n for n.
-3
Suppose 4*x + 4*u - 8 = 24, 0 = -2*x + 5*u - 19. Let h(p) = -p**3 + 20*p**2 - 27*p + 54. Let b be h(16). Let z = b - 642. Solve z*w - w = -x for w.
-1
Let c(y) be the first derivative of -y**4/4 + 23*y**3/3 - 17*y**2/2 - 16*y + 2. Let b be c(22). Let p = 96 - b. Solve -3 = 5*k + p for k.
-1
Let a = 28 + -24. Suppose 0 = -2*u - 0*u - 5*d - 18, -45 = 5*u - a*d. Let l be (u/(-4))/(9/12). Solve 8*g = l*g for g.
0
Suppose 0 = -9*z - 0*z + 9. Let s be ((-10)/4 + z)/((-3)/6). Solve p = -0*p + s for p.
3
Let c be 80 + 3 + -8 + -17. Solve -16 = 42*n - c for n.
1
Let h = 79 + -74. Let z = -28 - -31. Suppose -3*t + 27 = -3*o, 5*t + 5*o = o. Solve h = -z*u + t*u for u.
5
Let t = -2547 + 2640. Solve 12*d - 141 = -t for d.
4
Let j be (-1 + -1 + -3)*(-22)/(-55). Let v be 6/(-3) + 32 + (j - 3). Solve 7*b = 12*b + v for b.
-5
Let l = -166 - -223. Suppose -65*r = -l*r. Solve 0*a - 3*a = r for a.
0
Suppose 271*o = -18*o - 71*o. Solve o = -6260*t + 6266*t - 18 for t.
3
Let o(c) = c**3 + 5*c**2 + 3*c - 3. Let u be o(-4). Suppose 0 = -22*b + 21*b - 2*i + 22, -4*b - i + 53 = 0. Solve 25 = b*t + u for t.
2
Let i = -481 + 460. Let z be (-6)/i - (-24)/(-84). Let t(o) = o**3 - 5*o**2 - 3*o - 6. Let p be t(6). Solve z = c + 3*c - p for c.
3
Suppose -16*l - 182 + 470 = 0. Solve 63 = l*v - 81 for v.
8
Let n(x) = x**3 - 9*x**2 - 36*x + 5. Let i be n(12). Solve 31*c = -26 - i for c.
-1
Let x(g) = g**2 + 37*g + 41. Let w be x(-36). Suppose 2*o - 4*s = 16, -5*o + 9*s = w*s - 64. Solve 0 = -y - 18 + o for y.
-2
Let y(v) = 40*v. Let c be y(-1). Let b = -26 - c. Suppose b*k + 0*k - 126 = 0. Solve 3*j - 6*j = -k for j.
3
Suppose -22*z + 36*z - 42 = 0. Solve 25*n + z = -97 for n.
-4
Let h(p) = 89*p + 4899. Let w be h(-55). Solve -w*j + 672 - 684 = 0 for j.
-3
Let c be 3/1 - 3 - -7 - 2. Let o be 1/((c/50)/(3/6)). Solve -o*g - 19 = 1 for g.
-4
Let n = -12 + 6. Let z(b) = b**3 + 6*b**2 + 2*b + 14. Let f be z(n). Suppose 3*s = 6, 2*h - 2 = -f*s + 2. Solve 0*j + 2*j + 6 = h for j.
-3
Suppose -113*t + 3269 = -12438. Solve 13*f + t = 230 for f.
7
Let g(l) = -55*l**3 + 2*l + 1. Let k be g(-1). Let f = -54 + k. Suppose 0 = -3*n + 15*n - 60. Solve 0 = -f*o - n*o for o.
0
Suppose -3 = 2*b - 17. Suppose 0 = u - 4*r - 30, -5 = 4*r + b. Suppose -17*c + 76 = -43. Solve 5*y - c = u for y.
5
Let s(n) = -6*n - 47. Let j be s(-28). Solve 114*a - j*a = 7 for a.
-1
Let j(d) = -d**2 - 13*d - 36. Let p be j(-8). Suppose -p*o = -15 - 1. Solve -5*a - o = -a for a.
-1
Suppose 0 = -4*g - 0*g + 4, -19 = -2*v + g. Let x be (-5)/(-5) - (-5)/(v/8). Let h be (4/10)/(x/25). Solve -f = -h*f for f.
0
Let g(v) = v**2 - 71*v - 967. Let j be g(-12). Solve -14*n + 15 = -j*n for n.
-1
Suppose -5*q = -4*g + 8, -13*q = -8*q. Suppose -z = g*r - 52, -9*z + 219 = -5*z - 3*r. Let n be (-4)/(-1) - (z/6 - 6). Solve -n + 5 = -4*f for f.
-1
Suppose 4*u - 2*g = -424, -244 = 4*u + 5*g + 166. Let h be ((-3)/(18/(-8)))/((-7)/u). Solve h = -9*p + 4*p for p.
-4
Let v be 24/(-27)*12/8*3. Let u = 17 + v. Solve -10 = 15*i - u*i for i.
-5
Let f be -7 - (-94 + -5 - -6). Let h = -85 + f. Solve 3*k = -2 - h for k.
-1
Suppose 0 = -5*v + 4*l + 1025, v + 5*l = 5*v - 820. Let h = 211 - v. Solve -4 = 5*x + h for x.
-2
Let n = 29 + -26. Let a(b) = -2*b**2 - 11*b + 3. Let v be 0 + (-102)/18 - 2/(-3). Let d be a(v). Solve -n = j - d for j.
5
Suppose -40*f - 56 = -48*f. Solve f = 155*l - 154*l for l.
7
Let u(b) = -160*b - 1919. Let d be u(-12). Solve 51*g - d - 50 = 0 for g.
1
Let r be (-10)/2*(8 - 9). Suppose -135 = -5*d + 2*y, r*d = 3*y + 114 + 26. Suppose 3*a + 5*o - d = 0, 6*o - 8*o = -5*a - 10. Solve -i - i - 2 = a for i.
-1
Suppose 4*h + 5*l - 4*l - 25 = 0, -4*h = -3*l - 5. Suppose -5*a + h + 20 = 0. Solve 2*m + 13 - a = 0 for m.
-4
Let c = 4 - 2. Suppose 224 = 5*d + 1134. Let g = 197 + d. Solve -a - c*a = g for a.
-5
Suppo