 Let i be c(9). Suppose -4*h = -i*h. Solve -3*a - a + 20 = h for a.
5
Let y be (5 + -2)*(-11)/3. Let k = 15 + y. Solve k*q - 2 = 10 for q.
3
Let y(x) = -x**3 - 2*x**2 - x - 2. Suppose 0 = 3*z - 4*z + 5. Suppose z*o + 12 = o. Let p be y(o). Solve -k = 4*k + p for k.
-2
Let b(t) = -t**2 + 0*t**2 - 4*t**2 + 6*t**2 + 1. Let i be b(-1). Solve 0 = g - 4 + i for g.
2
Suppose 8 = 2*r - 6*r + 4*d, -d + 12 = 4*r. Suppose -t + 35 = 2*u + 4*t, -26 = -2*u - r*t. Suppose -2 = 8*w - u*w. Solve 2*v = 1 + w for v.
1
Let x be 8/(-72) + (-64)/(-9). Solve 10*n = x*n - 3 for n.
-1
Suppose 3*h - 4 - 17 = 0. Suppose j + h = 2*j. Suppose 4*q - 5*q + d = 1, 2*d = -3*q + j. Solve 3 = -s - q for s.
-4
Let u(s) = -3*s**3 - 52*s**2 - 17*s. Let h be u(-17). Solve h = 5*t + 26 - 1 for t.
-5
Suppose 27*f - 22*f - 65 = 0. Let b(p) = -p**3 + 13*p**2 + 3*p - 25. Let h be b(f). Suppose 0*n = n + 5*m + 4, -2*m + 2 = 4*n. Solve 3*z + h = -n for z.
-5
Let q(t) = -14*t**3 + t**2 - 1. Let j be q(-1). Suppose -3 + 14 = f + 4*a, j = -f + a. Let o be f/36 - 81/(-4). Solve o = -c - 4*c for c.
-4
Let t(r) = r**3 - 6*r**2 + r - 4. Let u be t(6). Suppose -3*f - 13 + 1 = 0. Let v be ((-6)/f - 2)*-4. Solve 0 = -u*y - v*y for y.
0
Suppose -11*u = -7*u. Suppose 0 = 5*b - 10, -5*t + 3*b + 55 + 24 = u. Solve 4*k + t = -3 for k.
-5
Let q(f) = 6*f**2 - 10*f - 5. Let s(a) = -5*a**2 + 10*a + 6. Let w(b) = -4*q(b) - 5*s(b). Let r be w(11). Solve -4 - r = k for k.
-5
Suppose 2*w = -4*h - 3*w + 36, 0 = -5*h + 4*w + 4. Let r be (4/(-3))/((-6)/54). Solve 0*v = -h*v + r for v.
3
Suppose 4*n - 26 = n + 4*r, n + 2*r + 8 = 0. Solve 0 = -2*c - n*c for c.
0
Suppose 2*x = 4*x + 2, 0 = 3*r + 4*x - 5. Let m be -2 + r + (0 - -1). Suppose -9*i + 10*i - 2 = 0. Solve -m*s - i = 4 for s.
-3
Suppose 0 = g + 8*g - 36. Solve 0 = -g*y + 6*y + 6 for y.
-3
Suppose -2*w = -3*w + 5. Suppose -6*o = -5*o - w. Solve -4*c + o = c for c.
1
Let i be 31 + -18 + (1 - -4 - 0). Solve 30*z - 36*z - i = 0 for z.
-3
Let g(u) = 3*u - 2. Let p be g(2). Suppose 7*j - 2*j - p*j = 0. Solve j = 3*a + 2*a for a.
0
Let n(a) = -a**3 - 5*a**2 + 6*a + 4. Let s be n(-6). Solve -u - 9 = -s for u.
-5
Let u be 18/(2 - 0) - 4. Suppose 0 = u*f - 3*f - f. Let d be -2*-1*2 - 0. Solve w + f = d for w.
4
Let q be (-1)/(((-3)/33)/1). Let i(f) = f**2 - 11*f + 4. Let b be i(q). Suppose -2*v - 2 = -32. Solve p = -b*p + v for p.
3
Let z be 6/(6 + (-160)/28). Solve -z + 20 = -y for y.
1
Suppose 3*c - u - 3 = 0, u = 5*c + 4*u - 19. Let v(j) = 4*j**2 - 2*j - 1. Let s be v(c). Solve 2*i = -1 + s for i.
5
Suppose 2*k - k = 21. Suppose -k*w - 9 = -24*w. Let q be (0/(-2 - w))/(-1). Solve q*s + 4*s + 4 = 0 for s.
-1
Suppose 44*u = 42*u + 4. Let a be 23 + (-2)/(6/3). Let j = a - 6. Solve -u*g - j = 2*g for g.
-4
Let x = 17 + -2. Suppose 3*c - 2*w + 3 - 14 = 0, -5*c + 5*w + x = 0. Solve q = 4 - c for q.
-1
Let g = 0 - -6. Let q be ((-36)/((-63)/(-7)))/((-4)/15). Solve -3*a = -g + q for a.
-3
Let j be (82/(-6) - 1)/(16/(-72)). Let d be (-4)/(j/(-78) - (-4)/(-26)). Let c = 3 - 3. Solve c = 3*m + m - d for m.
1
Let a = 1034 + -1032. Solve -a*k = -4*k + 10 for k.
5
Let f(r) = 2*r**2 - 3*r - 2. Let j be f(-2). Let s be 1*(2 - 3/j*4). Solve 7 + s = 4*a for a.
2
Suppose 4*i - 5*k - 8 = 0, 4*k - 3 = -4*i + 5. Let n(h) = h**2 + h - 2. Let g be n(2). Solve -i + g = -2*v for v.
-1
Let m(b) = b**3 - 5*b**2 - 4*b + 3. Let u be m(6). Suppose 4*s + 5*x - x = -12, 5*x = -u. Solve 2*l + 6 = -s*l for l.
-3
Let y = 2 - -1. Let s(q) = -3*q + 7. Let h be s(-9). Let p = h + -34. Solve y*z = -9 - p for z.
-3
Suppose 2*a - 6 = 0, -113 + 11 = -2*q - 2*a. Let v = q + -39. Solve v*l + 4 = 8*l for l.
-4
Let y = 180 - 180. Solve y = 47*b - 40*b - 7 for b.
1
Let b(f) = 11*f + 155. Let l be b(-13). Solve -l*a = -10 + 34 for a.
-2
Let q be 3*((-8)/6 - 1). Let j = q + 11. Suppose 4*m - 10 = -j*l + 2*m, -3*l + 5*m = -27. Solve -10 = -l*u - u for u.
2
Let u(q) = q + 3. Let h be u(-3). Let b be -5*(-8 - -2) + -1. Suppose 49 = 5*k + b. Solve h = m - k*m for m.
0
Let v be 1/(5/10)*(-3)/2. Let f be 26/39 - v/((-9)/(-4)). Solve b + 1 = f*b for b.
1
Suppose 18*l - 784 = -676. Solve 11 = -l*u + 23 for u.
2
Let s = -478 - -479. Solve -7*h + 6 = -s for h.
1
Let i(h) = 2*h**2 - 6*h - 11. Let b be i(5). Solve 29*g - 26*g = -b for g.
-3
Suppose 226 = 24*p - 14. Solve 19*i = 17*i + p for i.
5
Suppose -3*z + 2*z + 3*d = 10, 0 = 4*z + 2*d - 30. Suppose -4 = -z*o + 6. Let u = -2 + 9. Solve -v - u + o = 0 for v.
-5
Let a be (0 + -8)*4/8*-7. Suppose -4*x + 11*x - a = 0. Solve x*t + 0*t = 0 for t.
0
Let y = 24 + -13. Suppose y = 5*r + 31. Let j be (r - 0)*(-33)/22. Solve -5 = -j*q + q for q.
1
Let x be (-91388)/(-15477) + (-4)/(-126)*3. Solve -x*f + 7 - 13 = 0 for f.
-1
Let v = 196 - 137. Suppose 4*b + v = 75. Suppose -4*h + 16 - 4 = 0. Solve h*z + b = -z for z.
-1
Let r(j) = 6*j**2. Let i be r(1). Suppose -29 = -i*f - 11. Suppose 0 = -4*k + 5*k - 4. Solve -k*s + 5*s = -f for s.
-3
Suppose 44*t - 180 = 32*t. Solve 11 = -t*y + 4*y for y.
-1
Let p = -18 + 5. Let k = p + 14. Let h be (-9 + 9)*1/k. Solve -12 = -3*v - h*v for v.
4
Suppose -5*q = 6 - 61. Let g = q + -11. Suppose g = -h + 3. Solve h*w = w + 4 for w.
2
Suppose -5*j - 73 = 2*n, -3*n - 200 = 2*n - 5*j. Let q be (-84)/n + 2/(-13). Solve l - q + 6 = 0 for l.
-4
Suppose 0 = -4*i + 39 + 1. Solve -2*m + i = 12 for m.
-1
Let i(w) = -w**2 - 4*w + 16. Let p be i(-6). Let c be (p*(-9)/(-6))/2. Solve 2*f = -c*f - 15 for f.
-3
Let w(q) = q**3 - 2*q**2 + 4*q - 2. Suppose -l + 35 = 4*k, 3*l - 11 = -k + 2*l. Suppose -5*y + 2 + k = 0. Let c be w(y). Solve z = 4*z + c for z.
-2
Suppose -3*k - 78 = -5*x, -4*x + k - 36 + 97 = 0. Solve 0 = 4*c - c - x for c.
5
Let o(x) = -x**2 - 32*x - 73. Let c be o(-29). Solve -15*k = -c*k - 4 for k.
4
Let i be 1/5 + (2 - 102/(-15)). Solve 0 = -i*x + 7 - 34 for x.
-3
Let y = 372 + -368. Solve -3*m - 2 = y for m.
-2
Suppose 9*s + 18 = 10*s. Solve -23*l - 5 = -s*l for l.
-1
Suppose -n - 5 = -3*l, -4*l + 15 + 55 = 5*n. Solve -2*s = -0*s + n for s.
-5
Let z = -165 + 269. Solve -5*q + 94 = z for q.
-2
Suppose -4*m = 6*u - 3*u - 26, 0 = -2*u + 4. Suppose 2*q = -m*q + 77. Solve -1 = -3*r + q for r.
4
Let t(p) = -p**2 + 12*p - 11. Let k be t(10). Suppose k*l + 30 = 19*l. Solve 0 = -0*f - l*f - 6 for f.
-2
Suppose -8*h = 219 - 235. Solve 27*l = 25*l - h for l.
-1
Suppose 58*r - 45*r - 390 = 0. Solve 0 = 4*q + 2*q - r for q.
5
Suppose -3 = -3*g - 5*a + 183, 5*g = 2*a + 279. Solve 0 = -5*u + g - 37 for u.
4
Suppose 4*m = -0*m. Suppose -2*w + 2*z = -10, -w - 4*z = 3 + 2. Solve -p + w = -m for p.
3
Suppose z = -31 - 2. Let j = 37 + z. Solve -p = -j*p for p.
0
Let c be 4/(-1) + 8 - 2. Suppose 26 = c*y + 20. Solve y*r + r = -20 for r.
-5
Suppose 4*n + 2*o - o - 26 = 0, -2*n - 2*o + 16 = 0. Solve -7*m = -n*m for m.
0
Suppose -9 = -4*x + x. Suppose 0*j + 2*t = x*j - 77, -t = 4*j - 99. Solve -j = -4*q - q for q.
5
Let z = -803 + 807. Solve -5*y - 36 = z*y for y.
-4
Suppose -3*h = 2*h. Suppose -b - 2*d + 8 = -h*b, -3*d + 9 = 0. Solve b*v - 7*v - 5 = 0 for v.
-1
Let z = -341 - -354. Solve 8*l = z*l + 5 for l.
-1
Suppose -10*i = 4*p - 9*i - 39, i + 11 = p. Solve 0 = -72*h + 74*h + p for h.
-5
Suppose -28 = -2*j + 3*z, -19 = -j + 4*z - 0*z. Solve -22 = -0*t + j*t for t.
-2
Let l(y) = y**3 - 9*y**2 - 17*y + 25. Let n be l(10). Let d be 2/(-10) + (-144)/n. Solve -d = -j - 0 for j.
3
Suppose 8 = -2*f + 4*f, 0 = d + 4*f - 40. Suppose -15 = 3*n - 5*v, 0 = n + 5*v - d + 9. Solve n + 4 = 4*u for u.
1
Let i(a) = 22 - 2 - 5*a + 3*a + 0. Let p be i(9). Solve -12 = -2*z - p for z.
5
Let p(o) be the second derivative of -o**4/12 + 3*o**2/2 + 30*o. Let y be p(0). Solve -y*m + 25 = 2*m for m.
5
Suppose -3*y = 0, 4*y + 7 = -5*m + 22. Solve -9 = m*h - 6*h for h.
3
Let s be ((-12)/(-15))/(7/35). Let h = 11 - 9. Suppose h*a - 4*m = -0*a + 14, 4*m = 0. Solve -s*y + 6 = -a*y for y.
-2
Let f be (-130)/(-50) - (-4)/10. Suppose -2*m = -f*v - m + 32, 2*v = -3*m + 14. Solve -1 = 3*l - v for l.
3
Let o be 1/((-2)/(-76)) - -2. Suppose 3*x - n - 60 = 0, 2*x + 3*n + 2*n - o = 0. Let i = x + -15. Solve 0 = 3*c + i - 20 for c.
5
Suppose 0 = -o + 4*o - 6. Suppose 3*y - 15 = -o*y. Suppose 0 = -v + y. Solve -v*z = -17 + 2 for z.
5
Suppose 0*z - 2*c = 2*z - 18, 2*z + c = 15. Solve 5*f + 19 = -z for f.
-5
