 for j.
-3
Suppose 0 = -2*z + 55 + 5. Suppose -5*q + 45 = -z. Solve 5*x - 4*f = -q, x - 3*f = -12 - 2 for x.
1
Suppose -5*v = -7*v. Suppose 8 = 2*o - 0. Solve v*z + 5 = -z, 0 = -o*k + z - 3 for k.
-2
Let f(m) = -3*m + 29. Let l be f(6). Suppose 49 = 2*h + c - l, 3*h + 5*c = 83. Solve 4*k - h = -3*j, -3 = 3*k + 5*j - 40 for k.
4
Let t(a) = -7*a**3 - a - 1. Let p be t(-1). Let h be (-720)/576 + 3/((-12)/(-25)). Solve x - 4*n = p + 9, 4*n + 16 = h*x for x.
0
Let d be (14*-6)/(6 + -5). Let n be (-8)/(-20) + d/(-15). Let g = 15 + -11. Solve -s + n*t - t = -13, g*s - 4*t = 4 for s.
-2
Let c(y) be the first derivative of y**3/3 + 13*y**2/2 + 2*y + 11. Let v be c(-7). Let h = v - -40. Solve -4*a - 3*x = -h*a - 28, 0 = 2*a - 2*x for a.
4
Let c be 4*(-2 + 0)/2. Suppose -760*q + 761*q = -4. Let h = q - c. Solve -p - 1 = 3*t, -3*p + 23 = -4*t - h*p for t.
-2
Let o be 1 - 3/(-6)*8. Suppose -o*n - 117 + 22 = 0. Let z = -7 - n. Solve -g + y + 11 - 5 = 0, -3*y = z for g.
2
Let o = 16 - 9. Let l be (0/(-2))/(o/(-7)). Let p be 3 + (1 - l) + -2. Solve 0 = -2*r + a + 7, 0 = 4*r - p*a + 6*a + 4 for r.
2
Let j be 15/(-175)*-5*(15 + -8). Solve r + 2*s + 0 - 6 = 0, -j*s + 9 = 4*r for r.
0
Let l = 1309 + -1305. Solve 27 = h + h + 5*m, l*m - 18 = 2*h for h.
1
Suppose -3*h + 2*h + 13 = 0. Let g be (-13)/h + (3 - -1). Suppose 3*d = -p - 4, -g = 5*d + 7. Solve -1 = -c - 2*n, 2*n = p - 0 for c.
-1
Let k be (-10990)/(-2669) + 4/(-34). Solve 0 = -5*o - 5*a - 35, 4*o - k*a + 3*a = -8 for o.
-3
Let k be (0 + 4/10)*15. Let q be 68/(-20) - k/10. Let b be (-20)/(-5) - q/(-2). Solve 5*t = b*s + 20 - 4, 5*s + 2*t = -11 for s.
-3
Let u(r) = -r + 0 + 1 - 3 + 7. Let h be u(0). Suppose a + h*p + 10 = 0, -3*a + 2*p + 21 = -17. Solve 5*c + 2 = n - 0*n, -5*n + a = -c for c.
0
Suppose -4*j + 64 = 3*i, -18 = -2*j - 3*i + 14. Solve -5*k = -2*d - j, 6*d - 2*k + 13 = 3*d for d.
-3
Suppose -13*i + 40 + 12 = 0. Solve 3*j + 0*y + y = -i, 0 = j + 4*y - 6 for j.
-2
Suppose 13 = i + 3. Let z = -8754 - -8781. Solve 0 = 4*d + 3*n + i + 13, 0 = -d - 5*n - z for d.
-2
Let t(m) = 5*m + 193. Let f be t(-33). Solve s = 5, 6*c - 3*c = 5*s - f for c.
-1
Suppose -5*a - t = -27, 4*a - 10 = -2*t + 7*t. Solve -3*j - 3*s - 3 + 0 = 0, 0 = 3*j + a*s + 7 for j.
1
Let n(q) = -6*q + 282. Let a be n(45). Solve -3*b - 3*g = -a, 5*b + 0*b + 2*g = 8 for b.
0
Suppose -5*w + 8 = -3*j, 0 = -j - j - 2*w + 16. Solve -b + 6 = r + b, -r - 24 = -j*b for r.
-4
Let j be 0/((-5 - 1) + 4). Solve 3*k - 3*g - 15 = j, 3*k = g - 3*g + 5 for k.
3
Let u = -29 + 29. Let i = 2 - u. Solve i*c = t - 0*t - 6, 0 = 5*t for c.
-3
Suppose -8*j + 13*j + 225 = 0. Let p = j - -77. Solve 12 = -c + r + 3*r, 5*r - p = -3*c for c.
4
Let m = -133 + 137. Solve -4*b - 2*t + 4 = -4, m*t = 5*b - 10 for b.
2
Let w = 36 + -33. Suppose -3 = -w*r + y, 0*y - y + 1 = r. Solve -f - r = -0*f - 2*x, 0 = -2*f - 2*x - 2 for f.
-1
Suppose 0*o + 7 = 4*c - 5*o, 2*o - 10 = 0. Let u = c - 3. Suppose 0 = m - z - 3 + 1, u*z = 3*m - 2. Solve -2*t = -6*t + 2*v - 6, -m*t + 3*v = 9 for t.
0
Let k(x) = -x**3 - 6*x**2 - 5*x + 2. Let h be k(-5). Let r = 39 - 0. Let f = -34 + r. Solve n = -h*t - 3*n - 14, 3*t + f*n = -19 for t.
-3
Suppose -31*c - 3 = -30*c. Let m be (-2)/(-5) + (-96)/15. Let f be m/(-3) - 0 - c. Solve 3*h - f*h = -4*p - 18, 3*p = 3*h - 21 for h.
5
Suppose -2*j - 200 = 5*b + 88, 244 = -4*b - 5*j. Let c = -55 - b. Solve -2*q + 4*q = 3*x + c, -q = x + 2 for x.
-1
Suppose 4*c = 12 + 8. Solve -3*o + 5*n + 25 = 0, 0 = -c*o - n - 0 - 5 for o.
0
Let i(f) = -19*f - 6. Let g be i(-1). Suppose -7*x + g + 22 = 0. Solve -x*w = -4*u - 12, w + u = 2*u + 3 for w.
0
Let p(u) = -u**3 - 8*u**2 - u - 5. Let b be p(-8). Suppose -t + 24 = -z - 4*z, 2*z = t - 12. Solve b*y - t + 16 = 2*w, 4*y + 16 = -3*w for y.
-4
Let c be -2*(1 + -4 + 7). Let l = 11 + c. Suppose -l*i = 3 - 6. Solve 4*x - 4*v - 4 = 0, 0 = 3*x - x - v - i for x.
0
Let p(k) = k**3 + 26*k**2 + 106*k + 26. Let r be p(-21). Solve 30 = -13*f + 18*f - 2*q, 2*f - 33 = r*q for f.
4
Let f = -3 + 7. Let y = -62 + 65. Suppose -y*j = -m - f, 3*j = 4*j + 5*m - 28. Solve -j*b - d = 9, 0 = b - 3*d - 5 + 18 for b.
-4
Suppose -10 = -3*q - 13. Let b(s) = 3*s**2 + s. Let l be b(q). Solve -l*c + 3*j + 5 = 0, -c = c + 4*j + 2 for c.
1
Let n(g) = -g - 7*g**2 + 2*g**3 + 3 + 6 + 12*g**2 - 3*g**3. Let h be n(5). Solve 0 = -w + f + h, -3*w - 3*f = -0*w - 6 for w.
3
Suppose -45*d = 3*d - 192. Solve 4*h = -4*k + 9*k, 2*h - d*k = 0 for h.
0
Suppose 0 = 2*u + 10, 8*i - 11 = 5*i + u. Solve -5*z - 40 = 3*o + i*o, 24 = -2*z - 4*o for z.
-4
Let n(i) be the first derivative of i**3/3 + 22*i + 12. Let t be n(0). Solve 4*s - 4*v - t = s, 3*s - 26 = 5*v for s.
2
Suppose j - 8 = 5*p + 15, 3*p + 24 = 4*j. Solve t - 13 = -j*c, 0*t - t + 5*c - 11 = 0 for t.
4
Suppose d + 24 = 4*d + 5*g, 32 = 4*d + g. Suppose j + 3 - d = 0. Solve 2*y + 1 = -5, y = -j*u - 8 for u.
-1
Let d(q) = q - 10. Let n be d(12). Suppose -n*h - 3*o = -8*o + 4, -2*h + 16 = 5*o. Solve 5*m = m + h*l - 12, -l = 0 for m.
-3
Let y be (8 + -9)*1/1. Let x be ((-4 - y) + 14)/1. Solve 20 = -4*m, m + 36 = 5*g + x for g.
4
Let v(h) = -20*h + 508. Let u be v(25). Suppose 0 = 2*d - 8 - 4. Solve -3*m + u = -s - 0*m, -3*s - m = -d for s.
1
Suppose 4*a - 15 = 5. Let n be -2 - ((-18)/a)/((-1)/(-5)). Solve m - 3 = t - 0*t, 2*t + n = 4*m for m.
5
Let q be (-10)/(-7) + 27/(-63). Let b(w) = -w**2 + 1. Let x be b(q). Solve -3*n - 12 = 0, 0 = 3*i - n - x*n + 8 for i.
-4
Let z = 133 + -133. Solve z = 4*p + 5*a + 12, 5*p + 0*a = 4*a - 15 for p.
-3
Let h = -23 + 30. Suppose k + 12 = -f, -h*f - 2*k - 54 = -2*f. Let j be (-30)/(-4) - (-5)/f. Solve -5*c + 15 = -9*l + 4*l, 3*c - l - j = 0 for c.
2
Suppose -7*a = -a - 18. Solve -3*k + b - 1 = 0, -5*b = k + a*k - 5 for k.
0
Let q(n) = 12*n - 56. Let f be q(5). Solve -m = -3*y + 2 - 0, -f*y - 3*m = 19 for y.
-1
Suppose 3*o + 54 = 2*w, 3*w - 4*o - 47 = 35. Suppose 0 = 4*m - 5*y - 36, -5*m - 3*y + w = -15. Solve 3*z + 4*g - 5*g = -3, 0 = 2*z + 3*g - m for z.
0
Let q be 6/(-10)*10/(-2). Suppose -q*d + 1 + 14 = 0. Suppose -3*v = -2*v. Solve 3*y = -2*x + d, v*x = -2*y + 2*x for y.
1
Suppose 32 = 4*l + 5*g, -2*g = -3*l + 3*g - 11. Suppose 0 = 2*x + 3*r - 25, l*x - 7*r = -3*r - 5. Solve -z = 4*b - 16, x*z + b = 4*z + 1 for z.
-4
Let b(q) = -q - 15. Let u be 8/(-12) - (-6)/9. Let k be b(u). Let s = k + 17. Solve 2*f - 5*f = -3*v + 12, 4*v - 6 = s*f for v.
-1
Let w be (3 + 148/(-52))/((-1)/(-13)). Solve -3*n = 5*h - 6, -7*n + 2*n = -w*h - 10 for n.
2
Let o(r) = -12*r**2 - 28*r - 3. Let p be o(-2). Solve 9 = s + 2*z, -p*s + z = -z + 3 for s.
1
Let i = -1609 + 1614. Solve -6 = d + o - 0*o, i*o = -3*d - 22 for d.
-4
Let r = -35 + 39. Suppose -20 = -r*y, -a + y + 12 = 3*y. Solve -4*t - a*s + 16 = -4*s, 2 = -5*t - 3*s for t.
2
Let x(c) = -c**3 - 2*c**2 + 10*c + 25. Let f be x(-3). Solve -6 + 2 = -j, f*r + 5*j - 20 = 0 for r.
0
Let f be 8/32*-12 - -5. Solve -f*w + v + 7 = 4*v, 0 = -2*w - 2*v + 4 for w.
-1
Let s = -3668 + 3671. Suppose -5*a = -t - 6 + 34, -6 = 3*a. Solve 5*g + w = -t, -2*g + s*w = -7*g - 14 for g.
-4
Suppose 0 = -102*z + 110*z - 120. Solve -5*c = 3*x - 19 - 2, 3*c + 3*x = z for c.
3
Let n be (-1 + -4 + 3)/1. Let a be 10*(48/20 + n). Solve -f = o - 8, 0 = -4*f + o - a + 16 for f.
4
Let u = -3 + 1. Let d be 0/u - 1 - -1. Suppose d = w - 4 + 1. Solve -5*i + 15 = w*b, 3*i = i - 2*b + 10 for i.
0
Suppose -h - a + 6 = 0, 3*a + 4 = -2. Solve 22 = -4*n - 2*d - 2, -n + h = -3*d for n.
-4
Suppose 826*o = 828*o - 4. Solve 4*g - 8 = -o*v + 4*v, 0 = -4*v + 4*g - 4 for v.
2
Suppose -11*z + 13*z - 24 = 0. Suppose -2*h = -2 + z, -5*h + 47 = 2*t. Solve 4*v - t = -5*p - 0*v, 3*p + 3*v - 24 = 0 for p.
4
Let g be 6/15 + 66/10. Suppose 5*a + 0 - 10 = 5*h, -5*a + 3*h + 16 = 0. Suppose 4*v - 10 = 2*s, 3 = 2*v - a*s + 2. Solve y - v*y = d + g, -2*d - 6 = 0 for y.
-2
Suppose 0 = -2*k + 2*r, 2*k + 5*r - r = 0. Suppose 0 = 4*y - 2*q - 34, k = 5*y + 5*q - 34 - 1. Solve -10 = l + 4*w + y, 0 = 3*l - 4*w - 10 for l.
-2
Let v(u) = -u**2 - 9*u + 3. Let x be v(-9). Suppose -21*i = -16*i - 25. Suppose d - 1 = 4. Solve -x*m + 5*z = -28, -d + 20 = i*m - 2*z for m.
1
Let s be ((-3)/10)/(-3*6/180). Solve -3*r = s*m + 6, 0 = r + 4*m - 0*m - 7 for r.
-5
Let v(i) = -2*i**2 - 23*i - 1. Let r be v(-11). Solve -3*u - r