 -a for a.
0
Let a(c) = 2*c**3 + 2*c**2 - c + 3. Let x be a(0). Let i = -17 - -3. Let f be (-935)/(-77) - (-2)/i. Solve f = x*g + g for g.
3
Let w = 50 + -30. Let d(o) = 13*o - 22*o + w + 19*o**2 + 8*o - o**3. Let q be d(19). Solve -3*h = -4*h - q for h.
-1
Let b = -3 - -8. Suppose 45 = -18*s + 33*s. Let l be (-2)/(-4) - 6/(-4). Solve l*d - s = -b for d.
-1
Let w(n) = n**3 + 8*n**2 + 9*n - 4. Let a be w(-8). Let s = -66 - a. Solve s = -6*f - 8 for f.
-3
Suppose -3*d + 5*k + 30 = 0, 4*d + 8*k - 5*k - 11 = 0. Suppose -6*w + d*w + 28 = 4*f, 5*w + 3*f = 55. Solve w - 2 = -2*i for i.
-3
Let v(b) = 73*b**2 - 2*b - 8. Let i be v(-2). Let a = 290 - i. Solve a*j - 5 = 7*j for j.
-1
Let i(p) = p**3 - 15*p**2 + 3*p - 20. Let n be i(15). Let q be 2 + -2 - n/(-5). Suppose -3*l + q = 2. Solve l = 4*y + 9 for y.
-2
Let o(s) = 4*s**2 + 3*s + 3. Let p be o(-2). Let u be (0 - (-4)/26) + 323/p. Let q(l) = -l**2 + 26*l - 22. Let m be q(u). Solve m*z = -3 + 6 for z.
1
Let l be 12/((-16)/(-72) - 161/(-126)). Solve 7*d - 9*d = -l for d.
4
Let l = -525 - -531. Let c(v) = 11*v - 46. Let j be c(l). Solve 0 = -4*m - j + 20 for m.
0
Let r(p) be the second derivative of p**4/12 - p**3/3 - p + 23. Let m be r(2). Let d be (-2)/(-7) - (-12)/(-42). Solve d = -m*l + l - 1 for l.
1
Suppose 3268*w = 3315*w - 14288. Solve w*m = 247*m - 513 for m.
-9
Let j = -22 + 27. Suppose 2*t - 41 = t + k, -2*t + j*k = -91. Let z = t - 17. Solve -5*h - z - 4 = 0 for h.
-5
Suppose 4*r - 20 = -8. Let w(l) = -l + 6. Let q be w(r). Let x(p) = -6*p + 21. Let n be x(q). Solve -j + n = -2 for j.
5
Let i be (-3)/(-9) + (14 - 962/(-39)). Solve 5*q = -i + 54 for q.
3
Let c(d) be the second derivative of d**4/12 + 2*d**3/3 + 3*d**2 + d. Let k(g) = -2*g**2 - 14*g - 14. Let y be k(-6). Let j be c(y). Solve j*p = 5*p + 12 for p.
-4
Let y be -4 + ((-1)/(-3) - 166/3). Let g = -32 - -94. Let z = g + y. Solve -z*x + 3 = -3 for x.
2
Let b = -261 + 314. Let d = 53 - b. Let p = 8 + -5. Solve -w - p*w = d for w.
0
Let i = -144 + 146. Let t be ((-5)/i)/(1*30/(-24)). Solve t*h = 5*h - 9 for h.
3
Suppose 4*u + d - 60 = -4*d, -d - 16 = -2*u. Let k be (-5)/2*(-48)/u. Suppose -12*t + 8*t = -k. Solve 0 = 5*n + 13 - t for n.
-2
Let m be (-1138)/(-22) + 567/2079. Solve -m*p + 75*p = -115 for p.
-5
Let w be (-1)/((-4)/(-12)*1/7). Let y be (-3 + (-1 - w))*1. Let p = y + -14. Solve p*l = -l for l.
0
Let h(j) = -j**2 - 10*j - 8. Let p be h(-6). Suppose q = -78 + 83. Let t be -4*((-2)/(-6))/((-44)/297). Solve -q*l = -t - p for l.
5
Suppose 0 = -2*z + 6*w - 7*w - 66, 0 = 2*z - 2*w + 72. Let x(l) = -l - 26. Let f be x(z). Solve 0*y = -f*y for y.
0
Let b = 73 + -32. Suppose 40*f - b*f + 5 = 0. Solve -f*z = z + 30 for z.
-5
Let p be 3/(-4) + 33/12. Let v = 3006 + -3006. Solve v = -c - 7 + p for c.
-5
Let v = 809 + -566. Solve 0 = -5*l + v - 248 for l.
-1
Suppose -796*x - 216 = -798*x. Let k(p) = -2*p**3 - 7*p**2 - 5*p + 5. Let g be k(-5). Let t = x - g. Solve 25 = t*n + 2*n for n.
5
Let k(h) = 3*h**3 + 2*h**2 - 2*h + 1. Let i be k(1). Let x = i - 4. Let z be 33/(-6)*(-208)/572. Solve -z*w + w + 2 = x for w.
2
Suppose 5*p + 5*p - 10 = 0. Suppose -p = 4*w + s, s = 4*w + 1 - 2. Let n be 12/3*2/4. Solve n*b - 4 = -w for b.
2
Let x = -14027 - -14162. Solve 87 - x = -6*r for r.
8
Suppose -4*d + 12 = 0, 3*l - 7*d + 9*d + 3 = 0. Let a be (1*l - 234/(-39))*1. Solve -9 = -a*v - 3 for v.
2
Let o(n) be the first derivative of -4*n**3/3 - 17*n**2 - 27*n - 195. Let b be o(-7). Solve 16*h - b*h = -4 for h.
-4
Suppose 3*t + 2*x = 3, -18*x + 20*x + 6 = 0. Solve -10 = p - t for p.
-7
Let t(y) = y**2 + 4*y - 17. Let l be t(-7). Suppose -l*r = -2 + 26. Let k be 0*(15/r)/(-5). Solve 0 = -k*d - d - 3 for d.
-3
Suppose 0 = 5*o + 4 + 16. Let f be (-52)/(-20) + (-22)/(-5) + o. Let u(x) = -x - 4. Let q be u(-4). Solve f*r - r = q for r.
0
Let x(w) = -28*w + 188. Let i be x(6). Suppose -25 = -g - k, 2*g + 82 = 6*g - 5*k. Suppose g*j - 9 = i*j. Solve j*o + 3 = -6 for o.
-3
Let s(h) = 17*h**2 - 16*h + 28. Let j be s(2). Solve -10 = -j*a + 54*a for a.
1
Suppose -25 = 4*l - 385. Let n(t) = -9*t - 73. Let d be n(-8). Let o be d*l/(-12)*4/6. Solve o*i = -11 + 1 for i.
-2
Let i(w) = -1. Let d(q) = 15*q + 19. Let v(u) = -d(u) + 4*i(u). Let a be v(-2). Solve -6 = 4*n - a*n for n.
2
Let h(w) = 3*w**3 + w + 9. Let p be h(4). Solve -206*l = -p*l + 5 for l.
-5
Let z = 50 - -24. Suppose -4*i + z - 18 = 0. Solve 5*b = -2*b + i for b.
2
Suppose 4*m - 27 = -5*l, 0 = 3*l - 4*l + 3*m + 13. Suppose -l*h - 5*h = -5*h. Solve x + 2 + 0 = h for x.
-2
Let c = 32454 - 32450. Solve -c*w + 25*w = -18*w for w.
0
Let j = -31260 - -31358. Solve -21*i + 140 = j for i.
2
Suppose 214*k = 25*k + 34847 - 8765. Solve 73*l + k = 96*l for l.
6
Suppose -3*p - 2*u = -3 + 1, -3*p = 5*u + 13. Let i = 401 - 398. Suppose -i = s, s - p*s + 11 = 4*t. Solve 0 - 5 = -t*w for w.
1
Let s be 2/(-5)*1 + (-1164)/(-10). Suppose 4*t = -3*y + 425, s = -4*t + 5*t + 4*y. Let n = t - 103. Solve 4 = 5*z - n for z.
1
Let p be (-1)/(-3) + (-30)/(-72) - (-8658)/104. Solve 10*n - 22*n = p for n.
-7
Suppose 0 = -3*n + 11 - 47. Let q = 12 + n. Suppose -2*t = 2 - 10. Solve t*u + 7 + 13 = q for u.
-5
Let n(t) = t**3 + 6*t**2 - 8*t - 3. Let v(i) = -2*i + 28. Let l be v(14). Suppose -8*o + 28 - 84 = l. Let b be n(o). Solve b = -3*q + 1 for q.
-1
Let q(o) = o**2 - 5*o + 2. Let k = 7 - 0. Let z be q(k). Let g be (-1 + (0 - -6))*183/305. Solve g*l + z = -l for l.
-4
Let o = -14456 + 14551. Solve 95 = 28*f + o for f.
0
Suppose 0 = -20*j + 24*j - 8. Suppose -2*f - j*l = -18, 3*f - 5*l - 35 = -4*l. Solve -3 - 41 = f*s for s.
-4
Suppose 14*g = 8*g - 84. Let i be 208/91 + 4/g. Solve 6*l - 8 = i*l for l.
2
Suppose 12*v + 12 = 4*w + 8*v, -5*w = v - 21. Suppose 0 = 3*f - 3. Solve -u - w = -f for u.
-3
Suppose -4*i = 3*t + 12, -2*i - 22 = 4*t - 16. Solve 12*w + 428 - 380 = t for w.
-4
Let m(b) = b**3 + 2*b**2 - 2*b - 2. Suppose -4*o - 4 = 4. Let z be m(o). Let f(j) = -j**3 + 19*j**2. Let y be f(19). Solve y = 3*l + z*l - 20 for l.
4
Let g be -30 + 25 - (0 + 0 - -3). Let b(f) = f**3 + 5*f**2 - 25*f. Let m be b(g). Solve 0 = -m*z - 4*z - 12 for z.
-1
Suppose 10 = -5*f, -3*w + 7*f + 13 = 8*f. Let v be 5 + (4 - w) + 0. Solve -3*b + 11 = -v for b.
5
Let i = 238 + -240. Let x be (5/(125/(-10)))/(i/20). Solve -7*q + 6*q = x for q.
-4
Suppose -36 = 220*k - 208*k. Let h = k + 3. Solve h = c - 4*c - 2*c for c.
0
Let m(y) = 456*y**2 - 1. Let v be m(-1). Suppose 4*h = 5*x - 391, 5*x = -5*h - 0*h - v. Let j = -92 - h. Solve -t - 3 = j for t.
-5
Let l = -155 - -133. Let y = -21 - l. Solve -19 - y = 4*x for x.
-5
Let x be 260/14 - (-80)/(-140). Suppose 4*r = k + 2, 3*k - 9*r + 5*r - x = 0. Solve -11*d = -k*d + 1 for d.
-1
Let u be ((-39)/78)/((-2)/(-4)). Let f(l) be the third derivative of -5*l**4/24 - l**3/3 - l**2. Let a be f(u). Solve d = -a*d for d.
0
Let s(n) = n**2 - 17*n - 1. Let a be s(14). Let b = -38 - a. Solve 0*i - b = -5*i for i.
1
Suppose -31*m + 176 = 207. Let g(s) be the third derivative of -19*s**4/24 - 3*s**3/2 + 2*s**2. Let y be g(m). Solve l = -l - y for l.
-5
Suppose z = -0*z - 4*p - 17, 0 = 2*z + p - 1. Let m be ((-2)/(-12))/(z/18). Let t be ((-1 - -14) + m)*1. Solve 5*r = -11 - t for r.
-5
Let l = 112 + 22. Suppose 0 = 3*w + 41 - l. Solve -3*o = 28 - w for o.
1
Let f(g) = -g**3 - 8*g**2 + 7*g - 33. Let z be f(-9). Let v = z - -18. Solve -5*l = -v*l - 4 for l.
2
Let x(q) = 106*q + 636. Let b be x(-6). Solve -17*u - 32 - 19 = b for u.
-3
Let v = 3034 + -3022. Solve 54*l - 50*l + v = 0 for l.
-3
Let p(i) = -15*i - 5. Let g be p(-2). Let m(q) = 5*q. Let k be m(1). Suppose 0 = -u + o + 1, -u + 5*u - k*o = 5. Solve 0 = -u*r - 5*r - g for r.
-5
Let w = 33 - 72. Let c = w + 42. Suppose 8 = k - c*q - 0, 2*k - 7 = -3*q. Solve m + k = -0*m for m.
-5
Suppose 30*m = 238*m - 69035 - 34549. Solve 506*w - 64 = m*w for w.
8
Let t be 4 + (-2)/(-4)*-4 - -2. Suppose o - t*o = -27. Let z = -7 + o. Solve -4*a = -z*a for a.
0
Suppose 0 = 2*a - g + 4*g - 15, -4*g = 2*a - 14. Let d be -7*40/(-56)*a/15. Solve 0 = -d*f - f for f.
0
Let u(i) = i**2 + 29*i + 9. Let g be u(-29). Let w be g*6/9 - 3. Suppose w = -2*s + 11. Solve 4*n + 8 + s = 0 for n.
-3
Let g = -4660 - -4666. Solve g - 30 = -8*n for n.
3
Let b be (-1)/2 - 278/(-28) - 414/966. Solve 68*k = 71