or t.
2
Let h(c) = c**3 + 6*c**2 - c - 26. Let d be h(-5). Solve -d*p = -p + 15 for p.
-5
Let t = -252 - -428. Let k = -111 + t. Suppose 0 = -5*q - 5*y + k, -104 + 9 = -5*q + 5*y. Solve -4*u + 0 = q for u.
-4
Let p be (15/10)/((-6)/(-16)). Suppose -i + 5 = 5*m, -6*i + 15 = -p*m - 3*i. Let v be (8/2)/(-4)*m. Solve v = -j + 6*j - 20 for j.
4
Let v(c) = -c**2 - 5*c. Let q be v(-4). Solve -2 = -q*l + 2 for l.
1
Suppose -18*l = -14*l - 64. Let x(n) = -n**2 - 10*n - 12. Let w be x(-7). Solve 5*r = -w - l for r.
-5
Suppose -4*a + 7*a - 15 = 0. Suppose 0 = -3*q + 5*f + 64, a*q = 5*f - 15 + 105. Solve -5 = -2*s - q for s.
-4
Let c(s) = s + 3. Suppose 0 = o + 4*o + 2*o. Let b be c(o). Solve -b = -2*g - 1 for g.
1
Let v(m) = -2*m**3 - 18*m**2 - 13*m + 24. Let q be v(-8). Solve -l + 7*l + 30 = q for l.
-5
Let w be 1/(-2) + 3/6. Suppose 3*r = 5*r - 5*l - 25, w = 4*r - l - 5. Solve r*g - 1 = g for g.
-1
Let l(w) = -83*w - 1. Let h be l(1). Let q be (28/h)/(2/(-24)). Solve -4*m - q = 4 for m.
-2
Suppose 3*m = -2*k + 15, 4*m = -2*k + 16 + 2. Suppose -k*u - 2*u + 35 = 0. Solve u*s = 4*s for s.
0
Let k be -2*(225/(-6) - 3). Let a = -141 + k. Let r be a/35*(2 + -9). Solve r = g + 2*g for g.
4
Suppose 5*i - 10 - 5 = 0. Suppose 2*l + i*n = -l - 6, -2 = 4*l + 2*n. Solve 0 = -s - 3 + l for s.
-2
Let p(d) = -1 + 2*d - 3*d + 8*d + 0*d. Let x be p(1). Suppose 0 = x*i - 5*i. Solve i + 5 = -t for t.
-5
Let m = 0 - -7. Suppose v = -3*x - 4, v = 4*x + x + 20. Solve -2*j = -m*j - v for j.
-1
Suppose 2*m - 3*m = -4. Let s be (-7)/((-35)/m)*45. Let w = -34 + s. Solve w*o - o = -1 for o.
-1
Suppose -10 = 5*c, 4*m - m = -2*c + 5. Let l = 2 - m. Let f be 4/(3 + -2 - l). Solve 0*x - f*x = 8 for x.
-4
Suppose -3*a + 16 - 131 = -5*r, -r - 2*a = -36. Solve -5*s = -r*s - 105 for s.
-5
Let y = 37 - 37. Suppose 7*s - 53 + 18 = y. Solve 3*l - s = 4 for l.
3
Let d be (-6)/(-8) + (-6)/8. Solve d = 7*k - k - 12 for k.
2
Suppose 0 = -4*c + c + 15. Suppose 0 = 4*p - c + 13. Let y = p - -2. Solve 5*l - 20 + 5 = y for l.
3
Suppose -6*l + 12 = -3*l. Let w(p) = -p**2 + p + 13. Let t be w(-3). Solve -y = -l - t for y.
5
Suppose j = 2 - 4. Let w be (3/9)/(j + (-13)/(-6)). Solve -w*s - 8 = -0 for s.
-4
Let s(a) = a + 11. Let b be s(-6). Let x = 204 - 199. Suppose 0 = -n + 2*n. Solve b*r - x = -n*r for r.
1
Suppose 9*w - 14*w - 10 = -4*z, 2*z = 5*w. Solve -75*p - w = -74*p for p.
-2
Let w be ((1 + 1)/4)/(15/90). Suppose 0 = -4*j - 5*c + 16, -4*c = c + 20. Solve -6*k + j = -w*k for k.
3
Let v be 12/(-21) + 25/7. Suppose 4 + v = u. Solve 0 = -u*f + 4*f for f.
0
Let a(x) = -x**2 - 6*x + 1. Let c be a(-6). Solve 7*m + c = -6 for m.
-1
Let g be 7/(-2 - 18/(-8)). Suppose -2*i - 4*c = -5*i + 21, -4*i + g = 5*c. Solve -19 = 4*m - i for m.
-3
Suppose 50*s - 53*s = -15. Solve -3*f = -4*f - s for f.
-5
Suppose -o - 4*g = 15, 39 = -8*o + 3*o - 2*g. Let r = 12 + o. Solve 0 = r*a - 2 + 7 for a.
-1
Suppose d + 32 = 42. Solve -29*i + d = -31*i for i.
-5
Let d be (-14)/(((-4)/(-6))/(-1)). Let b be -3 + (d/(-1))/(-3). Suppose -2*f + 4 = -5*k - 18, b*k = 2*f - 18. Solve 4 = n + f for n.
3
Let n be 3 + (-1 - (2 - 2)). Let v(u) = 2*u**2 - 5*u - 14. Let c be v(-2). Solve -c*y + 10 = -n*y for y.
5
Suppose -19 = 11*q - 12*q + 2*x, -2*q - 5*x + 20 = 0. Solve -2*j - 3*j = -q for j.
3
Suppose 0 = -234*v + 219*v + 240. Solve 13*o = v*o + 9 for o.
-3
Suppose 0*n = -5*n + 25. Suppose 6*f = n*f + 25. Solve 8*z - f = 3*z for z.
5
Let r = 14 - 14. Suppose 2*l - 8 = -r*l. Suppose -2*h = -l*y + 12, -7*y - 5*h = -6*y - 14. Solve -4*j + y - 12 = 0 for j.
-2
Let s = 742 + -712. Solve 0 = -s*p + 23*p + 21 for p.
3
Let j(o) = -10*o + 16. Let u(w) = 3*w - 5. Let s(n) = -4*j(n) - 14*u(n). Let i be s(4). Let h be i/(7/(14/(-4))). Solve 0*l + l = -h for l.
-1
Suppose 5*p - 45 = 2*p. Let z be (-4)/4 - 5/(-1). Solve z*m - m = p for m.
5
Let r = -145 + 115. Let q = -28 - r. Let n be (0/1)/(0 + 1). Solve n*g + g = -q for g.
-2
Let t = -40 - -43. Solve 4*f = 11 - t for f.
2
Let r be -35 - -39 - 4/(-2). Let l = 3 + 0. Solve 0*j - l*j = -r for j.
2
Let v = 318 - 329. Suppose 0*g + g - 13 = 0. Let j = v + g. Solve -j*y + 6*y - 8 = 0 for y.
2
Let m(b) = 5*b**3 - 2*b**2 + b + 2. Let t be 6/(-9) + 48/18. Let x be m(t). Let k be x/10 - 6/(-15). Solve -j + k*j + 12 = 0 for j.
-4
Suppose -15*q = -19*q. Solve -5*x + 23 + 2 = q for x.
5
Let u(z) = -z**3 - 7*z**2 - 4*z + 3. Let k be u(-6). Let c = k + 34. Let v = c + -22. Solve -v*j + 15 = -0*j for j.
5
Suppose -5*z - 17 = -82. Solve 4*v + 21 = z for v.
-2
Let j(t) = -t**3 - 31*t**2 + 31*t - 29. Let l be j(-32). Suppose -i - 5 = -5*c, 4*c + 15 = -c + 5*i. Solve c*p + 1 = l for p.
1
Suppose 69 = -27*i + 393. Solve 8*b - i*b - 12 = 0 for b.
-3
Let k(d) = 5*d**3 - 8*d**2 + 3*d + 4. Let y(c) = 14*c**3 - 24*c**2 + 10*c + 12. Let p(w) = -11*k(w) + 4*y(w). Let m be p(7). Solve 2*h + 6 = -m for h.
-5
Let n = 240 + -235. Solve -4*a = n*a for a.
0
Suppose 0 = -4*w + 16, -g = w - 4*w - 38. Let y = -47 + g. Solve 2 + y = c for c.
5
Let n(f) = -4*f - 4*f - 2*f. Let s be n(-1). Solve 3*k + s = -2*k for k.
-2
Suppose 0 = -50*t + 16*t + 102. Solve -18 + 12 = -t*l for l.
2
Let l be -3 + (-8 - -10) + 0 + 4. Suppose 5*v = -r - 3*r + 13, v + l = 2*r. Solve 0 = r*d - 4 for d.
2
Let q be 469/91 - 2/13. Suppose 136 - 11 = q*t. Solve t = -4*n + 9 for n.
-4
Suppose -4*d - 40 = -6*a, 3*d + 35 = 5*a - 0*d. Let w = 2 + -2. Solve -5*v + w = -a for v.
2
Let k(s) = 2*s**3 - 23*s**2 + 55*s + 14. Let a be k(8). Solve 2*l = a*l - 4 for l.
1
Suppose 3*f - 379*l - 28 = -381*l, 2*f = -2*l + 22. Solve -47*y + 44*y = f for y.
-2
Let g(r) = -r - 17 + 17 + 14. Let m be g(12). Solve -m*n + 9 = -5*n for n.
-3
Let q(g) = -3*g. Let i be q(1). Let a be (-136)/(-24) - 1/i. Suppose -l = l - a. Solve -z - 6 = -l*z for z.
3
Suppose 0 = -95*n + 98*n - 9. Solve n = d + 4 for d.
-1
Suppose 4*x + 0*x + 160 = 0. Let h = 46 + x. Solve 4 - h = -w for w.
2
Suppose 84 = -6*r + 12*r. Suppose -r*o = -6*o - 16. Solve 4*a - 6 = o for a.
2
Let g = 117 + -100. Suppose 0 = -6*d + g*d. Solve -2 = -w - d for w.
2
Let y = 5 - -40. Suppose 2*g = 5*g - y. Suppose 3*w - 5*w = -4*p - 20, 0 = 5*p + g. Solve w*q = 5*q for q.
0
Suppose 4*d - 536 - 80 = 0. Let r = 156 - d. Solve -1 = r*z + 7 for z.
-4
Suppose 109*q - 3668 - 7995 = 0. Solve 19*y - q + 12 = 0 for y.
5
Let n be 3*(35/(-3))/(-5). Let h(b) = -2 - 5*b + n + 6 + 4*b. Let j be h(6). Solve 0 = 3*s - j - 1 for s.
2
Suppose 0 = -6*k + 244 - 70. Suppose k = s + 23. Solve -z = -s*z for z.
0
Suppose 5*a - 19 = -4*v + 2*a, 2*v + 2*a - 8 = 0. Solve -5*t + 8 = -v for t.
3
Suppose 157 + 47 = 6*b. Solve 22*u - 5*u - b = 0 for u.
2
Let m = 692 - 651. Solve 5*h + 31 = m for h.
2
Let h = 35 - 35. Let v(r) = -r**3 + 4*r**2 + 4*r - 6. Let k be v(5). Let d = -8 - k. Solve h*t + 9 = d*t for t.
3
Let a(b) = -2*b**2 - 4*b + 4. Let z be a(0). Suppose -y = z*m - 41, -m - 4*m + 50 = y. Let j be (1 - -6) + 0 + -1. Solve m = -5*n - j for n.
-3
Let u be (10/(-8))/(1/(-4)). Suppose 3*z = -u*i + 32, 4*i = z + 3 + 9. Solve r = 5*r - i for r.
1
Let d(c) = -c**3 + 7*c**2 + 7*c + 11. Let o(g) = -g**3 + 3*g**2 + 3*g - 2. Let x be o(2). Let t be d(x). Suppose 5 = -t*h + 14. Solve 14 = -h*l + 2 for l.
-4
Let f = 12 - 9. Let m be (10/(-2))/(f - 4). Suppose -m*y = -v - 13, -35 + 8 = -v - 5*y. Solve 4*s = 1 + v for s.
2
Let r be -5 + 5 + (-12)/(-3 - -1). Solve 2*z = r*z - 8 for z.
2
Let c be 6/(-9)*(-945)/18. Solve -5*x + 10 = c for x.
-5
Let u be (-2 + -2 - -3)*(-13 - -2). Let j = -1 + u. Solve 0 = -3*v + v + j for v.
5
Suppose -4*y + 4*q + 4 = 0, 0*q = -3*q + 9. Solve -t - 8 = -y for t.
-4
Suppose 11*t - 16*t + 5 = 0. Suppose -5*l - t + 30 = 2*u, u + 4*l = 22. Suppose -u*b = 1 - 9. Solve b*d + 15 = d for d.
-5
Let n(u) = u**3 - 2*u**2 - 4*u + 5. Let h be n(3). Solve -h = 2*x + 2 for x.
-2
Suppose 83*w = 245 - 79. Solve w*g = 4*g - g for g.
0
Suppose -4*n - 8 = -4*t, 0 = n - 2*n - 5*t + 22. Solve n*o = -0*o - 8 for o.
-4
Let a be 4/(((-4)/(-6))/1). Suppose 0 = -4*f - 4*t + 44, -t = -0*f - 2*f + 7. Let m = f - a. Solve -3*j + m*j = 6 for j.
-2
Let y = 925 - 925. Suppose 4*s - 2*p = 2*s + 8, 0 = 5*p - 5. Solve y = -s*i + i for i.
0
Let c be -2 + (3 - 1) - 0. Let v be (-3)/(-1)*(-2 + 3 - c). Solve -v*x + 2 = -1 for x.
1
Let k(j) = -3*j**2 - 45*j - 27. Let y be