 + 2763 for c.
-6
Let o(t) = 2*t**3 - t - 7. Let d be o(3). Suppose 176 = 33*h + d. Solve y - h = -0*y for y.
4
Let t(q) = 8*q**2 + q + 1. Let u be t(-1). Let f = 16 - 14. Suppose f*g = -3*d + 19, g - 4*d = -0*d + 4. Solve -4*b = g + u for b.
-4
Let s = -864 + 884. Let z be (-8)/32 - (-85)/s. Solve 6*i = 10*i - z for i.
1
Let l(p) = -370*p**2 - 1955*p - 18. Let d be l(-5). Solve -499*n = -d*n + 56 for n.
7
Let g(y) = y**3 + 11*y**2 - 28*y + 15. Let h be g(-12). Let w be (-31)/(-9) - 92/h. Solve b = w*b - 0*b for b.
0
Let r = -943 - -644. Let q = -291 - r. Solve j - 3 = -q for j.
-5
Let y = -280 + 290. Suppose 61 + 49 = y*p. Solve -3*d + p = 5 for d.
2
Suppose -2*t + 2*g = 852, 3*g + g = 2*t + 844. Let q = t + 436. Solve -q = 19*a - 17*a for a.
-3
Let i(v) = 2*v**3 - 14*v**2 + 15*v - 6. Let q be 5 + (-320)/70 + (-78)/(-14). Let b be i(q). Solve 14*n = b*n - 2 for n.
-1
Suppose 512*q = 520*q - 2560. Solve -36 = -q*k + 326*k for k.
-6
Let z = -1106 - -1110. Solve 0 = -v - 5 + z for v.
-1
Let g(z) = -z - 8. Let c be g(-2). Let d be 1 - c/2 - 4. Suppose d*q = -5*q + 35. Solve 2*t - 25 = q*t for t.
-5
Let s(f) = 353*f - 9884. Let u be s(28). Solve u = 119*b - 114*b + 25 for b.
-5
Let b be (-2)/(-6)*(-3 - -3). Suppose -8*v = -11*v + 6. Let o be 0/v + b/1. Solve o*a - 8 = 4*a for a.
-2
Let z be 0/((33/33)/((-1)/(2 + 1))). Let i be 3*(-3 + (-13)/(-3)). Solve 0 = i*u - z*u + 16 for u.
-4
Let a(d) = -d**3 - 43*d**2 - 81*d + 43. Let m be a(-41). Let l be m + 3*(-6)/(-18). Let u(x) = -x**2 + 8*x - 3. Let w be u(6). Solve l*t = 6*t - w for t.
3
Suppose 2*k + 20 = 4*l, 2*l + 2*k = -k + 10. Let m(n) = -n**2 - 154*n - 5864. Let g be m(-69). Solve -g = l*h - 6 for h.
1
Suppose 662 + 508 = 39*g. Solve 0 = -g*l + 61*l for l.
0
Suppose -27 = 2*a + 9. Let x(r) = r**2 + 16*r - 33. Let m be x(a). Suppose 0 = -5*w - 5*d + 20, 4*d - 6*d = -3*w + 2. Solve -4*i + m*i = -w for i.
2
Let l be (-2)/(-4)*2 - (21 + -24). Suppose -184*n = -186*n + l. Solve 5 + 3 = n*v for v.
4
Let h be (-1 + -3)*-1 - (1 + (-48)/8). Solve h*n = -3*n - 5*n for n.
0
Let d be (-16184)/(-70) - (30/25 + -4 - -4). Solve -25 = 51*t + d for t.
-5
Let y(j) = 121*j - 4112. Let h be y(34). Solve -h*f = 7*f + 45 for f.
-5
Let m = -1554 - -1562. Solve -29 = -m*a + 11 for a.
5
Let c be -56*(4/21)/(20/(-30)). Solve -794*a - c = -796*a for a.
8
Let a(u) be the first derivative of u**3/3 - u**2/2 + 16*u - 1. Let k be a(0). Let p be 42/(-28)*k/(-6). Solve 0*z = -p*z for z.
0
Suppose -1521*h + 1504*h + 204 = 0. Solve h*m + 7 = 5*m for m.
-1
Let a be 1068/12 - 24/(-3). Suppose -24*q + a = -191. Solve -n - 8 = -q for n.
4
Let p(m) = 13*m - 28 + 34 - 31 - 66. Let i be p(7). Solve -5*c + 12 + 3 = i for c.
3
Let m be 1/(-2)*(7 - 23 - 4). Let l be m + (-15 - -7) + (1 - 0). Solve 4*y = -l + 19 for y.
4
Suppose 29 = -3*u + 179. Let a = -23 + u. Suppose -2 = -3*o + 3*c + 25, -4*o + c + a = 0. Solve -2*h = h - o for h.
2
Let v = 23576 + -23574. Suppose -h = -4*m, -2*h = 5*m - 2*m. Suppose m = d + 4*d. Solve v*c - 2 + d = 0 for c.
1
Let u be (16/12 + -4)*99/(-6). Suppose 48*z = u*z - 144. Let a be (-1)/(4 - z/(-8)). Solve a*r = r for r.
0
Let y = 134 - 116. Suppose -7*w + y*w + 231 = 0. Let i be (-72)/w - (-3)/(-7). Solve -1 - i = -l for l.
4
Let d = -1299 + 1875. Let i = d - 533. Solve 0 = -45*l + i*l - 8 for l.
-4
Suppose 4*a + b - 4 = 0, 3*a + 5*b - 20 = -a. Suppose -26*m + 17*m = a. Solve -7*q + 4*q = m for q.
0
Suppose -22*b = 15905 - 3893. Let w = b - -554. Solve 3*f = w - 14 for f.
-2
Let h(s) = -s**3 - 5*s**2 - 5*s - 10. Let w be h(-6). Suppose 4*o = w - 20. Solve -m + 7 = o for m.
-2
Let d = -341 - -333. Let z be 396/(-88)*d/9. Solve -p = -5*p - z for p.
-1
Let y = 10803 - 10788. Solve 21 = 6*k - y for k.
6
Suppose 3*f + 257 = 332. Suppose 0 = r + 5, -f = 4*j - 2*j + 5*r. Solve j = 5*n + 41 - 56 for n.
3
Suppose 3*w - 9 = 3*j, -10 = 5*j - 2*w - 7. Suppose -2*o - 6 = 3*o + 2*b, 0 = -4*o - 5*b - 15. Solve h - j + 2 = o for h.
-1
Let u(n) = 2*n**2 - 39*n + 115. Let q be u(16). Solve -q*k + 67 = 73 for k.
-2
Let s be 13/91 - ((-69)/7 - 2). Let q be 14 - (-1 - -7 - s). Solve 25*w - 20 = q*w for w.
4
Let p(s) = s**2 - 5*s - 8. Let o be p(8). Let d be (o/(-20))/((-2)/25). Suppose f - 13 + d = 0. Solve 0*y - 12 = f*y for y.
-4
Suppose 7*z = -115*z - 31*z + 20808. Solve 130*h - 96*h = -z for h.
-4
Let q = -35 - -39. Suppose l + 1 = -r, -5*l = 2*r - q*r - 16. Solve -15 = n + l*n for n.
-5
Let u be (-22)/10 - 11/(-55). Let w(f) = -38*f**2 + f + 1. Let x be w(u). Let n be (-2)/4 - x/18. Solve -h - n = h for h.
-4
Let l(s) = -46*s**3 + 21*s**2 + 18*s + 1. Let b be l(-1). Solve -8*j - 2*j - b = 0 for j.
-5
Suppose -137 = 6*s - 149. Let j(k) = k**3 - 7*k**2 - 10*k + 16. Let f be j(8). Let g be 20 + (0 + f)*1. Solve -7*t - g = -s*t for t.
-4
Let k be 1*3/(3/2). Let n(c) = c**2 + 28*c + 27. Let o be n(-27). Let x be 9/3 - (o + 1 - -2). Solve -k = l - x for l.
-2
Let l be (-14 - 1)/((-1)/2 + 38/(-76)). Solve -l*n + 3*n = 60 for n.
-5
Suppose 0 = -x + 5*m - 8, -4 = -5*x + m + 2*m. Suppose 5*h + 12 = 2*s, 2*s - x*h - 4 = -h. Let w be s/(-2*4/(-88)). Solve 2*a = 1 - w for a.
-5
Let w = 551 - 546. Suppose -2*j = -w*j. Let f be 4 + (-2 - 1) + 2. Solve s - f*s = j for s.
0
Let h be ((-2)/(-4) + 0)*8. Suppose 829 = 8*y - 4315. Let u = 650 - y. Solve 0 = -h*q + 3 - u for q.
-1
Suppose 64*c - 348 = 6*c. Suppose -8*a = -l - 3*a + 34, -3*a + 21 = 4*l. Solve -l*b - c = -12*b for b.
2
Let g be 7/(-7) - ((-6)/1 - -2). Suppose 0 = -5*f - 3*x + 3, -g*f - 6 + 1 = -5*x. Solve f = -k + 2 for k.
2
Suppose -4*u + 4*d - 2 - 2 = 0, d + 2 = 2*u. Suppose 4*n + 0*v = v + 153, u*n + 5*v = 86. Let l = -32 + n. Solve 7 = -l*k - 8 for k.
-3
Let k be 149 + ((-3)/(24/128) - -9). Solve k*h - 149*h - 14 = 0 for h.
-2
Let r = 2658 + -2622. Solve -29*n + 17*n - r = 0 for n.
-3
Suppose 3*t = 8*w + 72, -t + 5*w + 38 = -0*w. Solve t*o = -936 + 896 for o.
-5
Let u = -387 + 453. Let l = -64 + u. Solve l*g + 2*g = 0 for g.
0
Suppose 3*p + 4*p - 28 = 0. Suppose p*m - 56 = -0*m. Suppose 1 = 3*h - m. Solve -o = -h*o for o.
0
Let b be ((-590)/(-12) - 0) + (86 - (-17578)/(-204)). Solve 109 = 20*l + b for l.
3
Let s(m) = -3*m**2 - m - 11. Let l(j) = -7*j**2 - 3*j - 22. Let g(n) = -4*l(n) + 9*s(n). Let t be g(-6). Let k be 2/((7/6)/t). Solve i = -2*i - k for i.
-4
Let t = 3058 - 3058. Solve t = 100*r - 108*r + 32 for r.
4
Suppose 2*p + 149 = -w, 0*p - 3*w - 225 = 3*p. Let m = p - -77. Suppose -o - 1 = -m. Solve o*y + 6 = -2 for y.
-4
Suppose 0 = -67*v + 170 + 436 + 399. Solve -2*z + v = 3*z for z.
3
Suppose 10 = 4*h - 2*z - 24, -3*h - z + 18 = 0. Let g = -7 + h. Suppose 2*w = 5*c - 92, -5*w - 31 = 5*c - 151. Solve g*t = 5*t - c for t.
4
Let o(f) = 3*f**2 + 11*f - 14. Let t be o(6). Suppose -t = -0*x - 5*x. Let r = x - 32. Solve r*u = u for u.
0
Let u(g) = 2*g**3 + 61*g**2 - 28*g + 93. Let c be u(-31). Solve 33*i + i + 34 = c for i.
-1
Suppose -125 = 21*q - 461. Suppose -8*s = -8 - q. Suppose 3*j - 6*j + 4*a + 23 = 0, -4*j - 3*a = -14. Solve j*p + 13 = s for p.
-2
Let x(q) = -95*q + 100. Let a be x(1). Solve 10*f + a = 15 for f.
1
Suppose 832 = 27*i + 157. Solve i + 7 = 8*b for b.
4
Suppose -238*o - 30 = -240*o + 124. Solve o*u = 49*u - 196 for u.
-7
Let s(r) = -r**3 + 7*r**2 - 3*r - 1. Let h be 4 - 4/(5 - 7). Let c be s(h). Solve 0 = 19*g - c*g for g.
0
Let p(q) = 5*q - 4. Let t be p(-7). Let h = -24 - t. Let i = -14635 + 14635. Solve -n - 2*n + h = i for n.
5
Let a(t) = 105*t + 2540. Let y be a(-24). Solve 72 = y*r + 92 for r.
-1
Suppose 370 = 3*f + 364. Suppose 4*n + w - 399 = 0, -3*n + w + f*w = -303. Solve -97*j = -n*j + 9 for j.
3
Let y = 203 + -188. Suppose -93*f = -92*f - y. Solve -7*d = -4*d + f for d.
-5
Let n(i) = 7*i**3 + 9*i**2 + 6*i - 11. Let v(d) = d**3. Let k(x) = n(x) - 6*v(x). Let u be k(-8). Let a = -265 + 268. Solve u = -a*r + 4*r for r.
5
Suppose -295 - 23 = -8*d + 34. Solve d*x + 85 + 3 = 0 for x.
-2
Suppose 14*s = 9*s + 35. Suppose -12*w - s*w + 38 = 0. Solve 6 = -4*r + w for r.
-1
Let n be ((-2)/(-3))/(-2) - 247/(-39). Let p be 39/351*(0 - 0). Solve p = 3*z - n*z for z.
0
Let t = -2613 - -2615. Suppose -5*d + 2*d = -3*i - 21, 32 = d + 4*i. Solve -d = -t*b - 2*b for b.
3
Let l be 4/(-28) - (-800)/14. Suppose -17*m + l = 2*m. Solve 0 = -4*r + m*r for r.
0
