+ 12 for c.
3
Suppose -59*y + 27 = -150. Solve 8*g + g = -y*g for g.
0
Suppose -4*z - 4 = -20. Suppose 3*w + 5 = z*w, 4*w = 3*q + 20. Solve a = -q*a for a.
0
Let x be -1*7/(-9) - (-146)/657. Let l(q) = 2*q - 2. Let g be l(3). Let k(o) = -o**2 + 7*o - 3. Let c be k(6). Solve -x = -c*j + g*j for j.
-1
Suppose 0 = 3*s - w - 31, 5*w = 2*s - 3*s + 5. Suppose s = 2*f + 3*f. Solve f = r + 5 for r.
-3
Let f(p) = 2*p - 6. Let z(b) = -b + 7. Let h(q) = -2*f(q) - 3*z(q). Let r be h(-12). Let u be r - (2 - (-6)/(-2)). Solve 2*c - u*c + 4 = 0 for c.
2
Let i = 31 + -25. Solve i*f + 31 = 7 for f.
-4
Let l(b) = b**2 - 6*b - 45. Let f be l(-5). Solve 3*q = f*q - 7 for q.
1
Suppose 4 + 60 = -4*x. Let y be (x/10)/(1/(-5)). Suppose 4*f - y*f = 0. Solve -s + 6*s - 15 = f for s.
3
Let f be ((-420)/25)/((-1)/5). Let y be f/(-14) + 2*2. Let m be (y/3)/((-2)/27). Solve 5*t + 16 = -m for t.
-5
Let u(a) = -2*a + 5. Let g be u(5). Let m(h) = -h. Let q(s) = 10*s + 3. Let c(d) = -18*m(d) - 2*q(d). Let r be c(g). Solve -r*i - 12 - 8 = 0 for i.
-5
Suppose w = o + 97, -4 = 5*o - 14. Suppose -a + 4*a = -w. Let x be 2/3*a/(-11). Solve 7 = -b + x for b.
-5
Suppose z = 5*q - 4*z, 3*z = -3*q + 30. Suppose 4*y + 2*d - 10 = 0, 3*y - 5*d + 9 = q*y. Solve g + y = 1 for g.
-1
Let d = -505 + 518. Solve -d*t = -5*t + 24 for t.
-3
Let k be 15/((-27)/(-21) - 10/35). Solve -k + 7 = 2*a for a.
-4
Let x(z) = z**2 + 22*z + 101. Let b be x(-6). Solve -b*w + 11 = -14 for w.
5
Suppose -2*d - 3*i = -44, d + 88 = 6*d + 2*i. Solve -l = -5*l + d for l.
4
Suppose -g = -8 - 5. Let b = 16 - g. Solve -b*h = h - 12 for h.
3
Let w = -6 + 6. Suppose w = -x - 2 + 3. Solve -5 - x = -2*v for v.
3
Let p(n) = -n**2 - 2*n + 20. Let x be p(-4). Suppose -75*b + 79*b = x. Solve -h + 2 = -b*h for h.
-1
Suppose -4*g - 22 - 30 = 5*k, g = 4*k + 29. Let c = 13 + k. Solve 0 = c*q + 16 + 9 for q.
-5
Suppose 0*s - 4*l = 2*s - 22, -3*s + 13 = l. Suppose 2*g + s*u = -0 - 12, 4*g - 4 = u. Solve -h + 3 + g = 0 for h.
3
Suppose -19*z + 12 + 26 = 0. Solve 5*n = -z - 3 for n.
-1
Let b be (2/3)/((160/90)/8). Solve -b*f + 5*f - 4 = 0 for f.
2
Let x = 104 - 99. Let d = 0 + 2. Suppose 4*g - n + 2*n = 17, d = 2*n. Solve -x = z - g for z.
-1
Suppose -78 = 13*q - 10*q. Let i = q + 28. Solve -i = 2*n + 2 for n.
-2
Suppose 13 - 397 = -48*g. Solve g*y + 15 = 23 for y.
1
Suppose -5*s - 5*u = -10*s + 30, -5*s = -3*u - 22. Suppose 0 = s*z + 4*k - 12, 2*k - 29 = z - 3*k. Let j be z/(-6)*(-126)/(-28). Solve -j*q + 7 = -2 for q.
3
Let p(h) = h**2 - 7*h + 13. Let r = 64 + -59. Let u be p(r). Solve -16 = -x - u*x for x.
4
Let l = 45 - 30. Suppose -5*n + 10 = -l. Suppose -n*c + 30 + 0 = 0. Solve 0*d - c = -3*d for d.
2
Let d = -369 + 380. Solve -10*o + d*o = -5 for o.
-5
Suppose 5*o + v = 24, 2*o + 5*v - 4 = 1. Suppose -14*t = -31*t + 102. Solve -t*a - 3 = -o*a for a.
-3
Let y = 1 + 2. Suppose y = 3*z - 6. Solve 0 = z*k - 3 + 18 for k.
-5
Suppose 2*g - 6*g - 4*l = -104, -l = -2. Let x = -24 + g. Solve 10 = 5*z - x for z.
2
Let z(c) = 8 + 4*c**2 + 43*c + 48*c - 84*c. Let f be z(-2). Solve -2*d - f + 14 = 0 for d.
2
Let o be (19 - 20)*2*2 - -10. Solve -27 + o = -7*g for g.
3
Suppose 0 = 3*m + 3 - 9. Solve m*a = -14 + 4 for a.
-5
Let k be (2/5)/((-1)/(-10)). Let o = k - 1. Suppose 0 = 26*d - 23*d + 2*p - 21, 0 = 5*p - 15. Solve -o*l + d = -1 for l.
2
Suppose 8*t - 6*t = 28. Suppose 0 = -5*u - 4*h + 42, 3*u + h - 35 = -t. Solve -3*x = -u*x for x.
0
Suppose 2*r + 2*u = 8, -2*u + 22 = 5*r - r. Suppose d = 3*b + r, -2*d = -3*d - 4*b. Solve 0 = 3*l + l - d for l.
1
Let l = -334 - -382. Solve -45*h = -l*h + 15 for h.
5
Let n = -11 + 11. Let v = 2 + n. Solve -10 = 4*g - v*g for g.
-5
Suppose 5 = -2*i + 11. Let k = -1 + i. Solve 6*c = k*c for c.
0
Let l be ((-2)/(-4)*3)/(42/56). Solve l*v + 4 + 4 = 0 for v.
-4
Suppose -2*s + 5*g - g + 12 = 0, -4*s + 14 = -3*g. Let c = 140 - 144. Let q be 3/(c + (-5)/(-1)). Solve 0 = x - s - q for x.
5
Let t(s) = -s**2 + 7*s + 4. Suppose -11*l + 15 = -8*l. Suppose 0 = -l*h + h + 28. Let a be t(h). Solve 0*u + 8 = -a*u for u.
-2
Let x be -13 - -9 - ((-104)/4 + 5). Solve 16*f - x*f = 0 for f.
0
Let j be (-8)/3*(-33)/22. Suppose 3*r + 3 = j*r. Let q(i) = -i**2 + 6*i - 6. Let w be q(4). Solve 1 = -r*s - w for s.
-1
Suppose 20*a = 47 + 113. Solve -15*j - a - 67 = 0 for j.
-5
Suppose -7*k - 380 = -11*k. Let i = k - 92. Solve 0 = i*q - 0 + 15 for q.
-5
Suppose 2*y + 1 - 5 = 0. Let p(q) be the second derivative of q**5/20 + q**4/3 + q**3/6 + 5*q**2/2 + 5*q. Let b be p(-4). Solve y*w - w = b for w.
1
Suppose 12*l - 11 = 13. Suppose -l = 3*z - 32. Solve -v = v - z for v.
5
Let z(x) = -3*x**3 + 15*x**2 - x + 8. Let g be z(5). Solve 0 = -g*f - 4 - 8 for f.
-4
Let r(t) = t**3 + 6*t**2 - 5*t - 1. Let o = -4 + -2. Let w be r(o). Let f = w + -13. Solve 5*k - f = k for k.
4
Suppose 4*z = -3*c + 63, -4*z - 16*c = -17*c - 43. Solve -9*l + 3*l - z = 0 for l.
-2
Suppose 5*t - 25 = 0, -2*g + 1 = 5*t - 30. Let i be (1*3)/(9/12). Suppose z - 7 = -i*d + 10, 9 = -3*z. Solve d*o - 2 = g*o for o.
1
Suppose 196*g + 5838 = 238*g. Solve -140*n + g*n = 1 for n.
-1
Suppose 2*i = 4 - 0. Suppose 0 = i*o - 12 + 4. Solve o = n - 0*n for n.
4
Let a be ((-6)/(-4))/(3*(-5)/(-30)). Solve a = 6*w + 15 for w.
-2
Suppose -8*x = -6*x - 12. Suppose 3*v - 2 = 2*p, -v + 4*p + p - 8 = 0. Solve -v*l + x*l = 20 for l.
5
Suppose 5*p + 2*t - 15 = 0, 0*p - 3*t = p + 10. Suppose -2 = -p*n + 4*n. Solve -9 = w + n*w for w.
-3
Let h be -5*(1 + (-5 - -1)). Solve h = 3*z - 6*z for z.
-5
Let p be (-3)/5 + 2596/110. Solve -p*u = -21*u + 6 for u.
-3
Suppose -7*p + 2*n = -5*p - 8, -3*n = 4*p - 16. Solve 5 = -p*j + 3*j for j.
-5
Let y(n) = -4*n**3 + 4*n**2 + 9*n + 10. Let m(b) = 5*b**3 - 3*b**2 - 9*b - 10. Let l(c) = 5*m(c) + 6*y(c). Let h be l(-8). Solve -4 = -h*p + 6 for p.
5
Suppose 9*u - 140 = 4*u. Let n = u - 28. Solve 2 = i - n*i for i.
2
Suppose 0 = -j - 4*b - 6 + 1, 2*b = -8. Let f(p) = -2*p - 23. Let d be f(-7). Let v = j + d. Solve -v*k + 6 = -2 for k.
4
Let s = 18 - 14. Solve 0 = s*z + 2*z + 24 for z.
-4
Let p = 408 + -399. Solve -p*m - 2*m = -44 for m.
4
Let u(l) = 8 - l**2 + 9 - 9*l - 2 - 4. Suppose -2*h + h = 9. Let v be u(h). Solve -4*t + v - 3 = 0 for t.
2
Suppose o + 2 - 4 = 0. Suppose m + o - 5 = 3*h, m + h - 3 = 0. Solve -m*p + 4 = -11 for p.
5
Let f be 4/6*-6 + 3. Let n = 4 - f. Solve 0 = -2*s + 3 + n for s.
4
Let k = -19 + 23. Solve k*p = 6*p for p.
0
Let o(j) = 5*j - 10. Let b be o(9). Let u = b - 33. Let t(f) = f**2 + 5*f + 4. Let h be t(-5). Solve -p - h = -u for p.
-2
Let s = -2722 + 2762. Solve 0*f = -8*f - s for f.
-5
Let t be (8/12)/((-4)/(-66)). Suppose -b - 3*b + 20 = 0. Solve -b*u + 9 = -t for u.
4
Suppose 2*p - 45 = 5*v, -2*p - 3*p = 3*v - 97. Let i(h) = -h + 9. Let n(f) = -1. Let q(u) = i(u) + 4*n(u). Let a be q(5). Solve -5*w - p = -a*w for w.
-4
Let n(x) = x - 55. Let i be n(16). Let k = 90 + -35. Let a = k + i. Solve -3*q = -7*q - a for q.
-4
Let w(j) = -j**3 - 8*j**2 - 18*j - 6. Let g be w(-6). Solve 0 = 5*x - 5 + g for x.
-5
Let v be (88/(-10))/(36/(-90)). Suppose 6*d = -10 + v. Solve k + 4 = d for k.
-2
Let m be (-30)/(-105) + 61/7. Suppose -8 = -m*x + 5*x. Solve -j + x*j - 5 = 0 for j.
5
Suppose 2*o - 3 + 7 = -4*v, 3*o = 5*v + 16. Suppose -5*g + 8*j + 15 = 3*j, 0 = -g - 2*j - 6. Suppose g = 5*m - 0*m. Solve o*s + 0 - 2 = m for s.
1
Let v = -20 + 20. Let f be (v/(-2))/((-6)/(-18)*3). Solve 8 = -4*a - f*a for a.
-2
Let g(x) = x**3 + 3*x**2 - 2. Let a be g(-2). Let m(s) = -s**3 - 7*s**2 + 3*s + 8. Let c be m(-8). Suppose -5*z + c = -z. Solve -d - z = a*d for d.
-4
Let w be 0/(-1)*(-1)/2. Suppose -5*d - 4 = 2*v - 31, -2*v + 4*d = w. Let h(p) = -p**3 + 5*p**2 + 6*p + 4. Let s be h(v). Solve s = -4*q - 16 for q.
-5
Suppose 2*f - 8 = 0, -9*o + 4*o - 3*f = 788. Let q be 8/10 - o/50. Solve -q*u - u = -25 for u.
5
Suppose 4*u - 78 = 2*h, -2*u + 48 = -h - 3*h. Suppose 0 = 7*q - 3 - u. Solve -2*t - 2 = -q*t for t.
2
Let c(q) = -q**2 + 7*q - 7. Let v be c(5). Suppose -g + 0 = -5*p + 13, -3*p + v*g + 15 = 0. Solve p*l = 6*l - 8 for l.
2
Let i = 451 - 446. Solve s = i*s - 8 for s.
2
Suppose 0 = -2*p - 4*b - 22, -4*b + 9*b = 3*p + 33. Let s(l) = l + 13. Let h be s(p). Solve -h*j = -5*j - 15 for j.
-5
Let g = 3 + -3. Suppose -y + 0*y = g. Let d = 38 + -33. Solve d