+ a for c.
2
Let l = 109 - 105. Suppose l*s + s - 47 = -4*k, 4*s + 4 = 0. Suppose -p + k*p - 144 = 0. Solve h + p = 4*h for h.
4
Let o = -11323 - -11345. Solve o*f + 89 = -65 for f.
-7
Let i = 95 + -93. Suppose -5*t = i*t - t. Suppose -3*j - 4 = -7*j. Solve j + t = -s for s.
-1
Let u = -119 + 128. Suppose u*s = 13*s. Solve 6*y - 12 = -s for y.
2
Let p(c) be the second derivative of -5*c**3/6 - 37*c**2/2 - 295*c. Let g be p(-8). Solve 3 = g*h - 0*h for h.
1
Let s = -259187 - -259240. Suppose -2*v + 68 + 36 = 0. Solve x + v = s for x.
1
Let z(x) = 46*x**2 + 14*x - 50. Let s be z(3). Suppose -56*g + s = -42*g. Solve g = a + 33 for a.
-4
Suppose 3*d + 5*b - 111 - 109 = 0, 3*b - 80 = -d. Let u be (d/(-13) - -3) + 4 + 0. Solve 4*w = 3*w - u for w.
-2
Let s = 8691 - 8663. Solve 9*g + s = 55 for g.
3
Let k(d) = d - d + 6*d - 3*d. Suppose -4 = -2*h - 2. Let z be k(h). Solve 2*l - z = 1 for l.
2
Let h be 2/((-2)/3) - (-6230)/(-35). Let t = h - -181. Solve t = -4*x + 16 for x.
4
Let y be (-8)/(144/(-30)) + (-5)/(-15). Suppose j - 2*x + 4*x = 17, -y*x = 2*j - 24. Solve n - j = -11 for n.
-4
Let q be (-18 + 9 - -1) + 262 + 6/3. Solve 0 = 5*u - 261 + q for u.
1
Let f = -3749 + 4405. Solve 9*i - f = -620 for i.
4
Let m = -112 + -46. Let c be (-15)/45 + m/(-6). Suppose 2*a - 2*l - 17 = -a, -5*a + c = -l. Solve a*h - 4 = 6 for h.
2
Let d(v) = -3*v + 285. Let s be d(92). Solve -114 = -s*w - 42 for w.
8
Let d be (21/(-9) + 1)*-3. Suppose 21*a - 13*a - 48 = 0. Suppose -s - a*s = -d*s. Solve 2*n + 5 + 5 = s for n.
-5
Suppose 0 = 33*y + 1589 - 1721. Solve -2 = -y*k + 22 for k.
6
Suppose -r - 2*o = 2*o - 68, 0 = 2*r - o - 73. Solve -65*q = -73*q - r for q.
-5
Let t(f) = f + 10. Let v(d) = d**2 - d. Let c(a) = -t(a) + 2*v(a). Let h be c(-4). Let x = h - 31. Solve -5 = -x*q + 7 for q.
4
Let a be 71/8 + 74/592. Suppose -5*o = 4*v - a*v - 125, 4*v = 5*o - 123. Suppose 0 = -10*m + 5*m + 15. Solve 5*r = -m + o for r.
4
Suppose 0 = -53*k - 11182 + 13934 + 15639. Solve 4*m - k + 335 = 0 for m.
3
Let h(r) = -240*r**3 + r**2 + 3*r + 2. Let k be h(-1). Let y be (k/140)/(1/14). Suppose 0 = 2*i + 4 - y. Solve 0 = 3*m + i - 1 for m.
-3
Suppose 1038*t - 6954 = -2978*t + 1078. Let m(i) = -i + 1. Let q be m(-2). Suppose -c = -4*b, 0 = q*c + c + 4*b - 40. Solve -t*x + c = -0*x for x.
4
Suppose -j - j - 269 = -5*s, 2*s - 3*j - 101 = 0. Suppose 4*t + 15 = -4*c + 91, 0 = -3*c - t + s. Solve 2*q - c = -7*q for q.
2
Suppose -3*w + 17 = q, -2*w + 15 = 5*q - w. Suppose 0 = -3*g - 3*r + 111, 3*r = g - r - 42. Let d = 41 - g. Solve 1 - d = q*c for c.
-1
Let g = 1178 + -1169. Solve 19*x = -g - 10 for x.
-1
Let z(x) = -x**2 + 4*x - 2. Let j be z(2). Suppose -40 = 4*m - 4*l, -j*m + 2*l = l + 25. Let h = m - -15. Solve h = 2*o + o for o.
0
Let a(z) = 17*z**3 - 9*z**2 - 13*z - 53. Let f(p) = -5*p**3 + 3*p**2 + 4*p + 18. Let i(c) = 2*a(c) + 7*f(c). Let q be i(0). Solve 22*h - q*h - 2 = 0 for h.
1
Let j be ((-4)/(-2))/((-9)/((-369)/2)). Suppose 5*o = -4*c + j, 0*o + 6 = -2*o. Solve -7*n + 0 = -c for n.
2
Let c = 427 + -410. Let r be 1 + 0 + (c - (6 - 0)). Solve r - 2 = 2*g for g.
5
Let z(g) = 2*g**2 - 9*g + 4. Let s be z(4). Suppose s = -18*m + 16*m + 5*q + 39, m = -4*q. Let a = -13 - -23. Solve m*o = 7*o + a for o.
2
Let k be 1 - (1 - 0/(-1)). Suppose k*p = -3*u - 4*p - 3, -18 = -2*u + 4*p. Let n be (5/(-10) - (-1)/(-2)) + 3. Solve u*v = 1 + n for v.
1
Suppose -5*l - 1 + 16 = 0. Let a(x) = 3*x**2 + 260*x + 762. Let r be a(-3). Solve -8*g + l = -r*g for g.
-3
Let i = 17580 - 17509. Solve 0 = -8*t - 79 + i for t.
-1
Suppose 25*n - 19*n = 42. Suppose -37 + 9 = -4*g. Let i = g - 2. Solve -i*a - 8 = -n*a for a.
4
Let p(x) = 3*x**2 - 39*x + 29. Let v be p(0). Solve -8*g - v = -45 for g.
2
Let a(z) = 107*z - 1060. Let n be a(10). Solve -n*o = 5*o + 10*o for o.
0
Suppose 3*t - 4*v - 83 = 0, 47*v = 48*v - 1. Solve -6*l - t + 11 = 0 for l.
-3
Suppose -42*p - 2*p - 26*p + 770 = 0. Solve 14*f - 17 - p = 0 for f.
2
Suppose -814*u + 815*u = -9. Let l(g) = -12*g - 99. Let y be l(u). Solve 11*j - y*j - 8 = 0 for j.
4
Let p(v) = -v + 7*v + 13*v + 63 - 54 - 2*v**2. Let k be p(9). Let y = k - 18. Solve y = -4*j + 2*j for j.
0
Let f be 1 + (4/(-14) + 0)*-14. Suppose 140 = f*z + 120. Solve z + 10 = -7*q for q.
-2
Let y(i) = -i**2 + 2*i + 31. Let z be y(6). Let o be z/(-14) + -2 + (-7)/(-2). Let s be (-2 + 0)/(o + 3)*-6. Solve 2 + s = 5*t for t.
1
Let s = -4577 + 4692. Solve -30*k - 25 = -s for k.
3
Suppose -15 = 5*q, 392*q - 389*q + 574 = 5*y. Solve 123*k = y*k + 30 for k.
3
Let p be -2 - -2 - 0 - -3. Let x = 7891 + -7887. Solve p + 5 = x*w for w.
2
Suppose 93*v - b = 96*v - 7, 3*b = -2*v + 21. Solve v = -256*t + 265*t + 27 for t.
-3
Suppose -1222 = 10*n - 1372. Solve n*d + 35 = 8*d for d.
-5
Let u(m) = -3*m + 16. Let t(k) = 3*k - 16. Let x(y) = 7*t(y) + 6*u(y). Let s be x(7). Let g be (-1)/(23/8 - 3). Solve -s*n = -12 - g for n.
4
Suppose 114*w - 185*w = -13064. Solve -214 = 5*j - w for j.
-6
Let f be -80*(-42)/105 - 19. Solve 189 = -f*y - 14*y for y.
-7
Suppose -l - 137 = -143. Suppose 3*k = -2*v + 22, -5*k - l = 5*v - 46. Solve -7*o = -k*o - 5 for o.
5
Let j(b) = 76*b + 154. Let r be j(-2). Solve -r*t + 2 = 6 for t.
-2
Let p be 627/22 - 9/(-6). Suppose 4*l + 3*y + 111 = 0, -15 = -l + 2*l + 5*y. Let r = l + p. Solve -o - 5 = -r*o for o.
-5
Let f(i) = -4*i**2 + 39*i + 37. Let q be f(10). Solve -q*m - 230 = -149 for m.
-3
Suppose 19921 = 20*h + 19041. Solve -h*f = -42*f + 14 for f.
-7
Let k be (-1)/((-1)/(-1 - 1)). Let f(h) = h**2 - 11*h - 23. Let t be f(k). Solve 2*a - 3 = t for a.
3
Let n = 289 + -228. Suppose 6*x - 85 = -n. Solve x*k + 12 = 28 for k.
4
Let x = -20822 + 20845. Solve 12*d = x + 61 for d.
7
Let n be (-93)/((-88)/32 + 3). Let a = n - -396. Solve -9 = -5*t - a for t.
-3
Let s(n) = -3*n**3 + 21*n**2 + 85*n + 3. Let w be s(-3). Solve 60 + 12 = w*q for q.
4
Let t be (8/(-48)*-51 - 9)*-6. Let l be (-6)/((-22)/8 - -2). Solve d = t*d - l for d.
4
Suppose 10*h - 5*h = -l + 10, 2*h + 3 = l. Solve f + 10*f = l*f for f.
0
Suppose 3*q - 6 = 6. Let n = -176 - -179. Suppose 3*c + 15 = 8*c - n*d, 3*c + 2*d - 9 = 0. Solve -7 = c*f - q for f.
-1
Suppose 171*z = -3*k + 170*z + 107, 0 = -k - 2*z + 24. Solve 0 = -10*q - 8 + k for q.
3
Let c = -6 - -6. Let g(k) = -k. Let s be g(24). Let n be (-50)/(-24)*2 + 4/s. Solve -n*f - 7 - 1 = c for f.
-2
Let j be (-15)/(-6) + (1/(-2))/(-1). Suppose 2*a + 4 = 0, -u - 8 = j*a - 4. Solve -w - u*w - 9 = 0 for w.
-3
Let v(o) = o**2 - 206*o + 414. Let n be v(2). Solve n*m = -355 + 367 for m.
2
Let v(m) = m**2 + m + 19. Let p be (-4 + 1)/3*7/1. Let r(o) = 4*o**2 + 2*o + 58. Let w(d) = p*v(d) + 2*r(d). Let j be w(6). Solve 0 = 2*g - 11 + j for g.
5
Suppose 4*j - 2 - 4 = k, 0 = k - j. Let o be 7 - (4 - 5)*(k - 1). Suppose -o*b = -2*b. Solve b = -2*f - 2*f for f.
0
Let m(y) = 17*y**3 + y**2. Let q be m(-1). Let r be -4*(50/(-80) + 6/q). Solve -5*l - r = -24 for l.
4
Suppose 2*n - 7 = -5*l - 0*n, 3*l - 2*n = 17. Suppose 33 + 12 = 5*w + l*q, -2*w + 3*q = -39. Solve -7*v = -10*v - w for v.
-4
Let v be 4/3 - 4/(-6). Let g = -1507 - -1514. Suppose -g = -x + j - v*j, -3*j - 51 = -3*x. Solve -d - x = 2*d for d.
-4
Suppose -21 = -4*m + 2*z + 1, z = -4*m + 19. Let q = -33 + 33. Let i be (2 - 27)/(2 + 1 + -4). Solve q*b = -m*b - i for b.
-5
Let b(x) = -x**3 + 76*x**2 + 1056*x + 25. Let v be b(88). Solve v*f + 132 = -19*f for f.
-3
Suppose 372*q - 62 = 367*q - j, 10 = 5*j. Solve -41*v - q = -47*v for v.
2
Suppose -2*c - 12*t = -15*t - 17, 3*c = -2*t + 6. Suppose 0 = v - 2*v + 3, 4*v - c = h. Solve 4*g = -0*g + h for g.
2
Let y(n) = -13*n - 22. Let l be y(-2). Suppose 5*i - 20 = 27*s - 24*s, -2*i - 6 = -l*s. Solve i - 19 = -3*o for o.
4
Let z(w) = w**3 + 22*w**2 + 31*w + 24. Let x(b) = -b**3 - 21*b**2 - 31*b - 23. Let r(v) = -5*x(v) - 4*z(v). Let o be r(-15). Solve -6*u = -o*u - 6 for u.
3
Let y = -224 + 232. Let q be (y/(-10))/((-14)/35) + 3. Solve 15 + 10 = q*r for r.
5
Suppose 24 = -30*h + 34*h. Let u be (-9 - -23) + h/2. Suppose -12 = -21*t + u*t. Solve 2 + 4 = t*d for d.
2
Let r = 77 + -75. Suppose -a - r*d + 22 = 0, 2*a - 3*d - 11 = 12. Let b(j) = -2*j + 37. Let t be b(a). Solve -4*g - 2 = -t*g for g.
2
Let b be 15/2 + 160/(-64). Let n(t) = -t**3 + 3*t**2 - t - 2. Let w be n(2). Solve w = b*i -