c - 20 = -28 for c.
4
Suppose d + 24 = 5*d. Suppose 0 = -10*q + 61 + 9. Suppose q - d = o. Solve -s + 4 = o for s.
3
Let c(r) = 3 + 6*r + 0 - r - 2 - r**2. Let g be c(6). Let i(o) = o**3 + 6*o**2 + 6*o + 7. Let b be i(g). Solve -b*k - 7 = -3 for k.
-2
Let y(o) = -6*o - 1. Let w be y(-1). Suppose -w*x + 36 = 2*z, 4*z + 18 = 8*x - 3*x. Solve 2 = v + x for v.
-4
Let k(t) = t**2 - 8*t + 4. Let l = 41 - 35. Let o be k(l). Let a be o/20 - 2/(-5). Solve a = -r - 3*r for r.
0
Suppose -7*r = -3*r - 8. Let p be (-4 - (-7 - 0)) + r. Solve p*y = -5 + 15 for y.
2
Let k(x) = -3*x - 39. Let f be k(-37). Solve -75*t + f*t = 15 for t.
-5
Suppose 0*x = -4*x + 8, 5*o - 36 = -3*x. Suppose -38 = -o*u + 16. Solve 2*q + u = -1 for q.
-5
Suppose 4*q + 38 = 5*l, 2*l - 5*l + 4*q + 26 = 0. Let v = 32 - 31. Let x be ((-3)/v)/(-1 + 0). Solve l + 0 = x*p for p.
2
Let g = -224 + 236. Solve 13*x + g = 9*x for x.
-3
Let b be 3*(0 - (3 - 4)). Suppose 4*d = b*g - 26, 3*d + 17 = g - 0*d. Solve -g*l + 3 = -7 for l.
5
Let c(l) = 6*l**3 - 10*l - 9. Let f(g) = 7*g**3 + g**2 - 11*g - 10. Let u be 5*(8/(-10) + 2). Let p(b) = u*c(b) - 5*f(b). Let m be p(6). Solve m*j = -2*j for j.
0
Let f(r) = -r**2 + 7*r + 19. Let g be f(9). Suppose -m - g = 2*j - 15, 5*j - 10 = 0. Solve 4*w + 10 = -m for w.
-5
Suppose -u + 0*u - 81 = 0. Let j = 97 + u. Solve 4*q + j = 8*q for q.
4
Let k be ((-1 + 2)*-1)/(2 + -1). Let c be k + -1 + -1 - -35. Let s = 13 + -8. Solve c - 7 = -s*w for w.
-5
Suppose 0 = 2*z - 3*o - 3, 3*o = -4*z + 5*z - 6. Let r(h) = 35*h + 26*h - 62*h. Let b be r(z). Solve 2*i = 3*i + b for i.
-3
Suppose 80 = 12*s + 32. Suppose 5 = -z - 3*c, 2*z + 2 - 22 = s*c. Solve -l = -z*l for l.
0
Suppose 4*z - 2*n = -64, -2*z + 5*n + 12 = 60. Let f(v) = -v**3 - 14*v**2 + 1. Let x be f(z). Solve x = -0*k - k for k.
-1
Let f = 5 - 5. Suppose -t + f = -2. Suppose -i + 12 = -5*k, -3*i - k = k - t. Solve i*x = -3*x - 5 for x.
-1
Let v = -12 + 27. Solve 4*d - d = v for d.
5
Suppose 8*j - 4*j = g + 17, -5*j - 4*g + 37 = 0. Suppose 9*h = j*h + 160. Suppose -3*x + 3*n + 2*n + h = 0, -3*x + 3*n + 42 = 0. Solve l = 6*l + x for l.
-3
Let v be ((-12)/(-10))/(3/(-45)). Let c = v - -22. Solve c*k = -1 - 7 for k.
-2
Let x(b) = b**2 + 2*b. Let a(s) = -s**2 - s + 1. Let p(c) = -2*a(c) - x(c). Let f be (-6*(-2)/(-4))/1. Let l be p(f). Solve 0 = 3*h - 19 + l for h.
4
Suppose -3*i - 5*y + 41 = 9, -i - y = -8. Suppose 4*g = -69 + 89. Solve -13 = -i*s - g for s.
2
Let q = -634 - -637. Solve -27 = -q*a - 24 for a.
1
Let q be ((-8)/(-16))/((-1)/(-16)). Solve q*j = 10*j - 8 for j.
4
Suppose 7*g = -2*g + 171. Let x = g + -15. Solve -12 = x*l - 28 for l.
4
Let d = -236 - -256. Solve 2*j - 7*j = d for j.
-4
Suppose 0 = -j + 3*c + 14, 0 = 2*j - 2*c - 15 + 3. Solve j*v = -2 - 0 for v.
-1
Let d be (-1)/2 - 351/(-54). Let o be 10/6 - d/(-18). Solve -o*j + 10 = 3*j for j.
2
Let t(m) = m + 5. Let k be t(0). Let p be 6/(-9) - (-23)/3. Let h = -5200 - -5203. Solve h*x + p = -k for x.
-4
Let s(z) be the first derivative of -z**2/2 + 19*z + 6. Let h be s(17). Solve h*r + 7 + 3 = 0 for r.
-5
Suppose -2*r = 1 - 5. Suppose -r*y + y - 6 = 0. Let n be 15 - -3 - y/(-3). Solve l - n = 5*l for l.
-4
Let l = -15 - -18. Suppose 0 = -2*o + 2*f - 4, 0 = -l*o - o - f + 12. Suppose y + 20 = -0*y - 5*p, -p - 4 = 3*y. Solve y = -4*a - 6 - o for a.
-2
Let z be 2/2 + (-57)/(-19). Solve -46 = -z*l - 26 for l.
5
Let a be -10*(12 - 3)/(-3). Suppose -5*r - a = 4*g, -5*r + 5*g + 8 = -7. Let h be -5 - (r + -1) - -6. Solve h*c = c for c.
0
Let p = 2 + 3. Let a = -5 - -15. Let d be (a/(-6) + 2)*0. Solve d*m = -m - p for m.
-5
Let c be ((-4)/(-8))/(13/156). Solve -13*o + c = -15*o for o.
-3
Let i(p) = -2*p**3 - 129*p**2 - 98*p - 2173. Let h be i(-64). Let c(w) = w**2 - 6*w - 4. Let x be c(6). Let v be 2/8 - 7/x. Solve -v*k - 5 = h for k.
-4
Let r = -1300 - -1310. Solve 0 = -r*l + l for l.
0
Let x(u) = 2*u**3 - 2*u**2 + 4*u - 2. Let k be x(2). Suppose -2*h + 5 - 7 = 0. Let d be h/3*-9 + -3. Solve -5*r + 6 + k = d for r.
4
Suppose 0 = 8*c - 6*c - 4. Suppose t + c = 5. Solve 0*o = -o + t for o.
3
Let g be (-12)/9*3/3*-12. Solve -16*v - g = -20*v for v.
4
Suppose 3*d = -2*l + 93, 35 = d + 2*l - 0*l. Solve d = k + 32 for k.
-3
Suppose u - 5*r - 15 = 16, 4*u - 107 = 3*r. Let d = -21 + u. Solve -3*x - d = -2*x for x.
-5
Let h be (-54)/(-15) - (23/5 - 4). Solve -c = h*c + 12 for c.
-3
Let y = -33 - -56. Let n = y + -5. Let f = 20 - n. Solve f*w - 4 = -6 for w.
-1
Suppose 4*c - 25 = -c. Suppose -2*z + 15 = -4*z - 5*o, z - 30 = c*o. Suppose 4*r = 5*u + 12, 3*r - 15 = z*u - 6. Solve 8*j - 5 = r*j for j.
1
Let g be (-39)/6 - (-1)/2. Let o = g + 8. Solve 5*r - o*r = 9 for r.
3
Let z be 18/5*65/26. Let q(b) = b - 13. Let h be q(11). Let i be (-3)/((-3)/h) - -6. Solve -i*l + 10 = -z*l for l.
-2
Suppose -l + 10*l = -13*l. Solve l = 15*f - 7 - 38 for f.
3
Suppose 0*m + 25 = -5*m, u - 4*m - 34 = 0. Let y = u - 14. Solve y + 15 = 3*z for z.
5
Suppose -5*g = -4*o + 1 + 2, -4*o = -g + 9. Let t be g + (2 - -2 - 1). Solve t = w + 5 - 0 for w.
-5
Suppose -32 = -4*c + 8. Solve -2*q = 3*q - c for q.
2
Let d = 1 - 16. Let k be (-2)/(-6)*-8*d/10. Solve -h = -k*h for h.
0
Let c(r) = -r**3 + 6*r**2 - 16*r + 40. Let o be c(4). Solve 252*u - 256*u = -o for u.
2
Let p(s) = s - 5. Let j be p(5). Let q(w) = w + 8. Let i be q(-4). Solve -i*v - 2 - 2 = j for v.
-1
Suppose -b + 7*b = 126. Let p be -1*(-7)/(b/6). Solve 25 = p*a - 7*a for a.
-5
Let j(r) = -20*r - 624. Let p be j(-32). Solve -x = 14 - p for x.
2
Let b be (240/(-25))/(3/(-10)). Suppose 48 = 5*j + 3*a, -3*j + 5*a = -6*j + b. Let p = -9 + j. Solve z + z = p for z.
0
Let n be (7 + -2 + -13 + 10)/1. Solve n*s - 3*s = 5 for s.
-5
Let z = -29 - -39. Solve 0 = -6*w + z*w + 8 for w.
-2
Suppose 3*v - m + 7 = 3, -16 = 2*v + 2*m. Let w = 0 - v. Solve h = -w + 1 for h.
-2
Suppose 0 = -5*y + 3 + 17. Suppose y*z + 0*z - 24 = 0. Suppose 2*w + 5*u = 3*w + z, 0 = 5*u - 10. Solve 0 = -2*v - w - 4 for v.
-4
Suppose -4*y = -3*y + 3*i - 6, -3*i + 6 = 3*y. Let v = 21 - 23. Let d = 0 - v. Solve 2*a + d*a + 8 = y for a.
-2
Let y = -113 - -71. Let a be (y/15)/(1/(-5)). Solve 5*g - 1 - a = 0 for g.
3
Let b be ((-12)/(-15))/(18/45). Solve b*h - 9*h - 35 = 0 for h.
-5
Let x = -44 - -44. Solve 8*s - 2*s + 30 = x for s.
-5
Let z(w) = 7*w - 231. Let n be z(34). Solve -n*x + 17 = 3 for x.
2
Suppose 2 = -h + 5. Suppose -4*y + 32 = -h*f, -3*f = -f + 8. Solve -y = 4*x + x for x.
-1
Let t(r) = 4*r - 6. Let q be t(4). Let u be 24/(-60)*(1/(-1) + -14). Let c = q - u. Solve 0 = -c*m - 8 - 4 for m.
-3
Let n = -66 + 64. Let k be -1 - (n + -2 - 3). Solve -k*h + 2*h - 8 = 0 for h.
-2
Let r be 192/36*(-18)/(-12). Solve -23*o = -31*o + r for o.
1
Suppose 11*v - 504 = -3*v. Suppose -28*r = -34*r + v. Solve -r = -0*j + 3*j for j.
-2
Let f = 0 - -3. Let v be (-8 - -7)*2/(-1). Suppose f*y - v*y = 0. Solve d - 4*d - 3 = y for d.
-1
Suppose -7*j + 16 + 12 = 0. Solve -j*a = 3*a - 28 for a.
4
Suppose 9 + 23 = 4*b. Suppose -u = -0*y - 2*y - b, -3*u - 8 = 2*y. Solve 2*z = -u*z for z.
0
Suppose 1 + 64 = 5*n. Let x = 23 - n. Solve z - x = -z for z.
5
Let m(t) = -t**3 - 7*t**2 + 10. Let b = -5 - -40. Suppose b = -2*p - 3*p. Let z be m(p). Solve 2*i - 4*i - z = 0 for i.
-5
Let b(k) = -k + 16. Let p be b(6). Solve -7*o + p = -4 for o.
2
Suppose -h = -4*k + 39, 5*h = 5*k - 26 - 154. Let l be (12/(-21))/(5/h). Solve -l*b + 0 = 12 for b.
-3
Let d be 290/14 + 2/7. Suppose -5*v = -3*b - d, b + 5 = 3. Solve v*q = -0*q - 15 for q.
-5
Suppose -7*f = -5*f + 2*s + 8, 10 = 5*f - 5*s. Let p be 1 + (f + 1)/(-4) + 1. Solve 0 = -p*a + 4 for a.
2
Let o(h) = 23*h - 2. Let j be o(1). Let l = j + -19. Suppose -l*v + 7*v = 0. Solve 5*g - 4*g = v for g.
0
Suppose 2*y - 4*j + 5 = 1, 2*y = -j + 16. Solve 0 = y*x - 9*x - 6 for x.
-2
Let l = 426 + -422. Solve 15*f = l*f + 22 for f.
2
Suppose -30*i + 26 = -25*i + b, -4*b - 6 = -2*i. Solve 0 = -6*z + i*z + 3 for z.
3
Suppose -1446*g + 1449*g - 45 = 0. Solve 0 = -6*l - 9 + g for l.
1
Let x be (3 - 0) + -5 + 9. Let y(u) = 5*u**2 - 6 + u**2 - 6*u - x*u**2. Let m be y(-4). Solve 0 = h - 0 + m for h.
-2
Suppose 0 = 4*c - 5*c. Suppose c = -4*b - 0 - 12. Let l be 3 + b - 1 - -3. Solve 3*s = -l*s for s.
0
Let a be (0 + -4 + 1)/(-1). Let x be 3/5 + 18/(-30)*1. Solve 0 = -m + a 