*q = 2*a for q.
2
Suppose 4 + 12 = 8*s. Suppose -2*q - 13 = 3*g, 4*q = -g + 1 - s. Let n be ((-5)/q)/(1 + -2). Solve -15 = 3*m - 2*r, 0*m - n*m - r - 12 = 0 for m.
-3
Let h(v) be the first derivative of -3*v**2/2 + 104*v + 21. Let s be h(34). Solve 3*a - 2*f + s = -6, -4 = 3*a - f for a.
0
Suppose -14*d + 22 + 28 = -104. Solve -o + 3*s - 7 + 0 = 0, 3*o = 4*s - d for o.
-1
Let c = -255 - -432. Suppose -9*u + 339 = c. Solve -14 = -3*r - 2*a, -3*r + u = 3*a - 0*a for r.
2
Suppose -w + 4 = 9*x - 5*x, -2*x = 0. Suppose -w*r + p = -2*r - 30, -5*r + 5*p + 75 = 0. Solve -4*i - 5*f + r = 0, -i + 3*f = 12 - 3 for i.
0
Let p(g) = -g**2 + 9*g - 4. Let h be p(8). Suppose -402*n - 3390 + 4596 = 0. Solve -n*f + 2 = -q - 1, 0 = h*q for f.
1
Let w(b) = -26*b + 145. Let n be w(6). Let z(o) = -3*o**2 - 34*o - 7. Let h be z(n). Solve 3*g = -3*k - 3, -2*k + h*g + 6 = -4 for k.
1
Let a be (-8)/(-20) - 13/(-5). Suppose -23*u = -11*u + 23*u. Suppose 2*z - q - 7 = u, z - 6*z = -a*q - 19. Solve 7*r = z*r + 4*j, 0 = -4*r - 2*j for r.
0
Let w = 33 - 33. Suppose -5*s = -5*k + 110, 3*k + 60 + w = -4*s. Let i be 1/(((-1)/(-5))/(s/(-45))). Solve 5*c = h - 12, 16 = -3*c - i*c + 3*h for c.
-2
Suppose -182*o + 143*o = 0. Solve 0*x - v + 5 = -x, -4*x - v = o for x.
-1
Suppose 2*o + 10 = -3*o, 2*o = 4*n - 16. Let a be (-30)/(-45) + (-2)/n. Let i(d) = d - 2. Let u be i(5). Solve k + 5*x - u = 0, 0 = -a*x - x for k.
3
Suppose -j = 1 - 15. Let i(o) = 20*o - 38. Let r be i(2). Solve -j = -r*q - 2*h, -4*q + h + 16 = 2*h for q.
3
Let y(x) be the first derivative of -1/4*x**4 - 45*x + 15/2*x**2 - 6*x**3 + 42. Let i be y(-19). Solve r - 6*r - 2*a + i = 0, 0 = 3*r - 5*a for r.
5
Let w = -9379 - -9392. Solve 20 = -3*v - a, -w*a = -2*v - 8*a + 15 for v.
-5
Suppose -127*l + 91*l = -180. Solve 11*x = 16*x - 4*d + 23, -16 = 2*x - l*d for x.
-3
Let x(y) = y**3 + 5*y**2 - 6*y. Let k be x(-6). Suppose 0 = -8*p - 4*u + 40, -2*p + 4*u = -4*p + 22. Solve 5*b + 14 = 34, k = -p*f + 4*b - 19 for f.
-1
Suppose o + 10 = 3*d, -95*d + 24 = -91*d + 4*o. Solve -d*a - q - 20 = 0, 5*q = -a - 1 - 4 for a.
-5
Let r = 354 - 319. Suppose 0 = 38*d - 45*d + r. Solve 2*n + i = n, 4*n + d*i = 1 for n.
-1
Suppose -46*v - 40*v + 45*v = -123. Solve 15 = v*l, 8*q - 11*q + 2*l = 7 for q.
1
Suppose -10*r - 2377 + 2427 = 0. Solve -3*b - 9 = 3*t, 3*t + 11 = -r*b - 8 for b.
-5
Suppose 3*f + 10 = 2*t - 20, -2*t - 5*f = -46. Suppose -t*g + 8 = -14*g. Solve -g*b = -4*o + 14, 0 = -0*o + 2*o + 5*b + 11 for o.
2
Suppose 7*u = 21*u - 98. Suppose -2*l - 1 = -u. Solve -w + 7 = 2*x - 1, 2 = 2*w - l*x for w.
4
Let o(r) = 50*r - 4. Let b be o(4). Let q be 14/(-3)*(-168)/b. Solve -s = i + q - 2, -4*i = 3*s + 4 for s.
-4
Let i(s) = -s**3 + 2*s**2 + 36*s - 102. Let v be i(5). Solve -5*k - 9 = -v*o, -4*o = 2*k + k + 17 for o.
-2
Let l = -9673 - -9678. Solve 2*y - 8 = -10*h + 13*h, -h + 3*y = l for h.
-2
Let g = 163 - 145. Suppose 4*q - g - 10 = 0. Solve -2*k - 20 = -q*k, 5*r - 4*k + 41 = 0 for r.
-5
Suppose 363733*p - 363736*p + 42 = 0. Solve -5*f + p = -6*f + 2*d, 3*d - 31 = 4*f for f.
-4
Suppose -c + 29 = -5*b, 0*c = 2*c - 2*b - 18. Suppose 36*z + 9 = 33*z. Let f be 3/(-2)*52/z. Solve c*a + 2*h = f, 3*h - 20 = -a - 2*h for a.
5
Let f = -4060 + 4064. Solve f*p - 6*p = -5*d - 35, 0 = -5*p - 2*d + 15 for p.
5
Suppose 209*i - 45 = 200*i. Solve i*j - 4*x = 1, 296*x + 12 = 293*x for j.
-3
Let l be ((-8)/(-6))/(12/126). Suppose -3*c - 4*u + 1 = -11, c = 3*u - 9. Suppose 15 = 3*j - c. Solve -j*h + 2*i = -l, -5*i - 6 = 4*h - 37 for h.
4
Suppose 3*c = -2*d - 526 + 2499, -4*d = c - 661. Let a = c - 656. Solve 5*r = 3*o - 10, 4*r - a = o - 2 for r.
1
Let c(n) = -73*n - 1823. Let x be c(-25). Let q(z) = -z**2 + 4*z. Let i be q(3). Let v = 1 - 1. Solve b = -h - 5, v = -x*b + i*b - 4*h - 5 for b.
-3
Let t(j) = 8*j - 421. Let g be t(53). Solve g*h + 5*s + 7 = 0, -h - 3*h = 2*s for h.
1
Let b(g) = -2*g + 27. Let t be b(9). Let l be (-4)/(-2) + 96 - 18/t. Suppose -41*w + 45*w = l. Solve p + u + 7 = 0, -2*p - 2*u = 2*p + w for p.
-5
Let f = -228 - -236. Let m be 2/f - (31/(-4) - -7). Solve 4*y + m = q, y - 4*q = -0*q + 11 for y.
-1
Suppose -5*u + 0*k - 2*k = 0, -5*u = -4*k. Let o be (0 - -1)*u/(-1 + -1). Solve o = -2*g - 0*g + 2*m - 4, -2*g - 5*m = -3 for g.
-1
Let o(g) = g**3 + 81*g**2 + 939*g + 69. Let d be o(-67). Solve b + 4*r + 19 = -1, d*b - 2*r = 10 for b.
0
Let x = -5 - -7. Let s = -350 - -363. Suppose -2*m - 4 = -l + s, -32 = -l + 5*m. Solve x*t + d = 0, 0 = t + 6*d - 2*d - l for t.
-1
Let d be (-2)/(-3) + 76/12. Suppose d*i - 30 = 2*i. Let c be -4*(i/(-2))/3. Solve 0 = 3*a - 8 - c, 5*v + 11 = 4*a for v.
1
Let n be (274/1096)/(1/48). Solve -4*z - 4 = -n*h + 15*h, -z = -4*h - 18 for h.
-4
Let v = 8834 + -8824. Solve -i = 2*p - 8 + 4, i + 5*p - v = 0 for i.
0
Suppose 0 = 4*f - 3*q - 32, -48*f + q + 6 = -49*f. Solve -5*y + 15 - 13 = 2*o, -f*y - 4 = 2*o for o.
-4
Let n(p) = 9*p + 2 - 4 + p**3 + 2*p**2 + 9*p**2. Let f be n(-10). Suppose -35 = -f*t + 197. Solve 5*r + 4*h = -t, 2*r + 5 = 8*h - 3*h for r.
-5
Suppose -531*p - 448 = -587*p. Solve 4*m + 8 = n, -4*m - 9*n + 11*n - p = 0 for m.
-2
Let c(k) = -3*k**3 + 23*k**2 + 2*k - 44. Let z(q) = q**3 - q**2 + 2. Let h(f) = c(f) + 2*z(f). Let d be h(21). Solve -8 = l + 2*t, t + 17 = l - d*t for l.
2
Let n be -2 + 30*7*(-14)/(-245). Solve 0 = 4*b + 2*r - 20, 3*b - 15 = -n*r + 11*r for b.
5
Let a = 20251 + -20228. Solve -77*u + v - a = -82*u, 3*u - 2*v = 19 for u.
5
Let w = -394 + 404. Let h = w + -10. Solve -3*q = 5*k - h*q + 6, 3*k - 3*q = -18 for k.
-3
Let a be ((72/60)/(-6))/((-2)/50). Suppose 0 = -a*k - 5*k + 40. Solve 2*o + 10 - 24 = -5*x, -4*o - k*x = -4 for o.
-3
Let m be (-518)/112 - (-3)/(-8). Let b(d) = -5*d - 16. Let i be b(m). Let t be i + (-8)/(6/3). Solve -2*o + 1 + 24 = -t*l, 0 = -l + 4*o - 5 for l.
-5
Let i = 1228 + -1221. Let b be (1 + 3)/(-4) + -2 + 5. Solve -b*x = -2*z - 14, -4*z - 2*x - 3 = i for z.
-4
Let b = 25 + -21. Suppose 2*g = -b*r + 3*g + 17, 3*g = -r + 1. Solve -2*o - 3*a - 5 = 0, 6 + 1 = -r*o - 3*a for o.
-1
Let b be 326/46 + 74/(-851). Suppose 3*k = -b*k. Solve 0*c + 2 = -3*i + c, 2*c - 10 = k for i.
1
Suppose 0 = -16*h + 6*h + 40. Let f(y) = y**2 + 21*y - 48. Let b be f(-24). Solve -o + w - 1 = -4, -b = 2*o + h*w for o.
-2
Let r(a) = -99*a + 1709. Let l be r(17). Solve -w + 27*n - l*n = 1, -6 = -2*w + 4*n for w.
-5
Suppose -5*o + 35 = -5*z, 2*z + 3 = -3. Suppose -4*x - 5*i - 2 = 0, 6*x - 3*i - 7 = 11. Solve 0 = -4*q - o*u, -x*q - 2*u - u = 1 for q.
1
Let z(q) = -q**3 + 102*q**2 + 32. Let f be z(102). Solve -5*r + 3*x - f = -37, 0 = -2*x for r.
1
Suppose -5*z = o + 40, 0 = -3*o + 96*z - 91*z + 60. Solve 2*u = -0*k - 2*k - 6, -3*k - 5*u - o = 0 for k.
-5
Suppose 2*w = 5*s, 36 = 4*s + 4*w + 8. Let l(o) = 5*o - 8. Let x be l(s). Solve -2*r + 6 = 4*d - d, d + x = -2*r for r.
-3
Let j(q) = -q**3 + 29*q**2 - 28*q + 2. Let b be j(28). Let z be 4/12 + b + (-5)/15. Solve 0 = y + 4*g + 9, -z*y = -y - 5*g for y.
-5
Suppose 3*g + 28 = -10*j + 14*j, -4*j = 5*g + 4. Solve 2*a + 16 = 3*o, a = -j*o + 2 + 1 for o.
2
Let k(f) = 37*f**2 + 152*f + 26. Let d be k(-4). Solve -5*s = -3*s - 2*z - d, -3*z - 7 = -s for s.
4
Suppose -2*l = 3*x, 16 = -x + l - 7*l. Solve 2*s + 9 - 3 = -4*u, x*u - s = -9 for u.
-3
Suppose 2*g + 8 = -943*m + 939*m, 3*m = -5*g + 1. Solve -g*b + 29 = 5*q, 20 = -45*q + 47*q + 5*b for q.
5
Suppose -17 = -7*m - 17. Suppose -1 + m = 5*s - o, s + o = 1. Let v be (-1 + (-12)/(-2))/1. Solve v*i + s*y = -y, 0 = -2*i + y for i.
0
Let t(w) = 31*w + 2046. Let p be t(-66). Solve 15*j = 11*j + 3*k - 10, -3*j + k - 10 = p for j.
-4
Let d = -396 + 427. Let k(b) = 2*b - 57. Let z be k(d). Solve 0 = 3*i + 3*s + 6, -4*i - 2 = -i + z*s for i.
-4
Suppose 1420 = -4*x - 4*c, -3*x - 2*c = -0*c + 1064. Let q = x + 359. Solve 2*y + 3*y = -q*l - 10, 0 = 3*l - 5*y - 34 for l.
3
Suppose 6 + 174 = 5*d. Let j = d - 34. Suppose j = -5*c + 6*c. Solve 0 = -a + r + c - 1, 2*a + 5*r - 9 = 0 for a.
2
Let i = 35 - 31. Suppose -i*b + 195 = 187. Let a(g) = -g**2 + 10*g - 7. Let u be a(8). Solve 0 = -b*c + 5*c - l - 17, 2*l + u = c for c.
5
Suppose 36*x - 39 - 177 = -36*x. Solve 2*z - 5 = -m + z, 0 = -x*m + 3*z - 9 for m.
1
Suppose 6311*n - 6303*n = 27 + 13. Let h be (-15)/2*(-4)/6. Solve 3*g = -5*a - 7, -n*g - 4*a