p + 1 for p.
1
Suppose -l = 4*y - 63 + 12, 0 = 4*l - 2*y - 168. Solve 0 = -42*n + l*n for n.
0
Suppose 0 = -2*y - 4*l + 164, -8*l = -43 - 5. Solve -k - 34*k = -y for k.
2
Let i be (1 - -10) + 20 + -26. Suppose -3*m + i*v + 51 = 0, 0*v + 2*v - 28 = -m. Solve -m*d + 24*d = 0 for d.
0
Let v(u) = -2*u - 6. Let b be v(-35). Suppose -70*h - b = -74*h. Solve h*p = 14*p - 6 for p.
-3
Let y = -8009 - -8019. Solve y*b = -0*b + 60 for b.
6
Let j be ((-2)/7)/((8/112)/(-1)). Suppose j*q - 383 = -351. Solve -q*c = -11*c - 6 for c.
-2
Suppose -15*r = 75 - 60. Let u be (1 - 12/16)*(r - -13). Solve -3*i = u*i - 6 for i.
1
Let k be (-1915)/1149*-4*9/(-30)*-7. Solve 62 - 188 = -k*a for a.
9
Let x(j) = -j**3 - 15*j**2 - 59*j - 90. Let o be x(-10). Solve 66*s - 81*s - 15 = o for s.
-1
Let f be (-34)/(-6) + 16/(-24). Suppose f*q - 4*q = 4*q. Suppose q = h - j - 6, -4*h = j - 0*j - 4. Solve h = t - 2*t for t.
-2
Let o(a) = -a**2 + 90*a - 1949. Let q be o(48). Solve -102*z = -q*z + 210 for z.
-6
Suppose -6 = -2*t + 2*f, -88*t + 4*f = -92*t + 12. Solve t*r - 41 + 23 = 0 for r.
6
Let g(k) = 3*k + 24. Let l = -36 + 26. Let b be g(l). Let z be (-15)/12*(b - 6). Solve -4*h - z = -h for h.
-5
Suppose -u + 7 - 6 = 3*y, -y + 27 = -3*u. Let n(g) = g**3 + 7*g**2 - 13*g - 36. Let d be n(u). Solve 0 = 2*m - 6 - d for m.
5
Suppose 20*t = 21*t - 24. Suppose -29*a + t*a = -b + 21, 2*b - 18 = 2*a. Solve -b*f = 3*f + 36 for f.
-4
Suppose -5*d + 60 = 5*z, -95*d = -2*z - 90*d - 4. Solve -z - 14 = 22*n for n.
-1
Let p = 15 + -9. Let k(j) = -j**2 + 6*j + 1. Let d be k(p). Let i be ((-15)/(-3))/(0 + d). Solve 34 - 9 = i*n for n.
5
Let n = -2601 + 2601. Solve -7*w - 20 - 1 = n for w.
-3
Suppose -177*l + 4168 = -4330 + 2480. Solve -11*a - l*a = 0 for a.
0
Let n = 345 + -339. Suppose -9*y = -n - 12. Solve 3*g = y*g for g.
0
Suppose -4*o = 23 - 39. Let v be (14/o)/(-10 - (-21)/2). Solve -v*z + 16 = 37 for z.
-3
Let i = -963 + 685. Let p = i - -279. Solve k + 2 = p for k.
-1
Suppose -2*l - 2*m = -10, 3*m = 2 + 7. Suppose -479*o - 8 = -481*o. Solve l = o*y - 2 for y.
1
Suppose 0 = -2*s, 0*s = 3*y + 4*s - 114. Let t = y + -13. Let x = 2005 + -2005. Solve x*f - t = 5*f for f.
-5
Let h(m) = -4*m + 66. Let a(g) = -g. Let t(d) = -2*a(d) - h(d). Let i be t(13). Solve -3*z + 3 = i for z.
-3
Let j be 8/1 - (4 + 24/(-6)). Let u be (j/(-6))/(-4)*(-32 - -32). Solve -2*q + q + 2 = u for q.
2
Let n be (-462)/(-21) + (-6)/1. Let x(w) = -w**3 + 17*w**2 - 17*w + 16. Let o be x(n). Solve -2*t + t - 2 = o for t.
-2
Let k = 35 - 30. Suppose j - s - k = -3, 0 = 3*s + 6. Let m = -4 - -12. Solve -3*u + m*u + 15 = j for u.
-3
Let m = -12 + 6. Let t(n) = 3*n**2 + 14*n + 1. Let x be t(m). Suppose 3*w = 85 - x. Solve w = -h - 4*h for h.
-4
Let x be (-18)/36 + 95/(-2)*-1. Suppose 10*j - 13 = x. Solve -j*b - 9 = 9 for b.
-3
Let b be -349 + 6 - 15*4/12. Let s be (-3074)/b - 1/(-6). Solve -s = k - 4 for k.
-5
Let d be (258/4)/(2/4). Suppose 124*v - d*v + 70 = 0. Solve -2*s + v - 4 = 0 for s.
5
Let r be (-2)/(-11) - (-1380)/33. Suppose 5*l + 3*w - r = 0, 2*l - l = -3*w + 18. Suppose 3*x = 9 + l. Solve -x*y - 38 + 13 = 0 for y.
-5
Suppose 4*j - 4*d - 164 = 0, 4*d = -4*j + 2*d + 176. Solve 0 = w - 45 + j for w.
2
Let i = -3881 - -3884. Solve i*n + 14 = 20 for n.
2
Let a be (-16)/20 - (-304)/380. Solve a = 9*n + 38 - 56 for n.
2
Suppose 1447 = -47*h + 1400. Let f(w) = 1 + 0*w**2 + 0*w**2 - w**2. Let d be f(h). Solve -2*q = -d*q for q.
0
Let t(j) = -3*j**3 + 38*j**2 - 68*j - 59. Let c(i) = 13*i**3 - 153*i**2 + 273*i + 237. Let w(r) = 2*c(r) + 9*t(r). Let y be w(34). Solve 7 - y = -4*f for f.
1
Let k = 455 - 450. Let y(a) = a**2 - 15*a + 4. Let s be y(15). Solve -4*l = -k*l - s for l.
-4
Let u = -6714 - -6944. Solve -u*g - 20 = -226*g for g.
-5
Let l be (-77 - -127)*(-2)/(-5). Solve l = -62*d + 67*d for d.
4
Suppose 288 = 4*m - 4*g, -3*m = 4*g - g - 192. Solve m*k - 4 = 64*k for k.
1
Let m be -5*11/110*(0/1)/(-3). Solve -8*d - 57 + 25 = m for d.
-4
Suppose -46 = -11*g + 20. Suppose 4 = g*d - 8. Solve 3*x = d*x - 4 for x.
-4
Let u(s) = -3*s**3 + s**2 - s - 2. Let h be u(-1). Suppose h*m + 2*m = -j + 63, -2*m + j + 28 = 0. Solve -4*z = m - 29 for z.
4
Let q be 244 + ((-24)/(-4) - -4)/(-2). Let k = 241 - q. Solve -5*w - k = 3 for w.
-1
Let o(k) = k**3 - 19*k**2 + 20*k - 32. Suppose -j + 1 = -g + 2, 0 = 5*j + 5*g - 45. Let z = 22 - j. Let u be o(z). Solve v - u = 1 for v.
5
Let t be -2*(33/6 + 2). Suppose 19 = 2*z + 3*q - 32, 4*z + q = 77. Let l = z + t. Solve -v = -7 + l for v.
4
Let m(o) = 2*o**3 - 15*o**2 + 11*o - 3. Let b be m(7). Suppose -3*a - x + 23 = -3*x, 5*x + b = a. Solve -6*u + a*u = 0 for u.
0
Let r = 13745 - 13729. Solve -r + 28 = 3*q for q.
4
Suppose -2*c = 32 + 6. Let r = 47 + c. Suppose 0 + 3 = 5*z + 3*x, 2*z + x = 2. Solve r - z = -5*h for h.
-5
Let l be (7250/(-30) - -5*1)*-3. Suppose 24*h + 86 = l. Solve -2*m = -16 + h for m.
-5
Let b = 5060 + -4976. Solve -3*q + b = 11*q for q.
6
Let o = -10902 - -10990. Solve -156*z = -145*z + o for z.
-8
Let b(s) = -s**3 - 5*s**2 + 12*s + 18. Let r be b(-7). Suppose -8 = 6*z - r. Suppose -3*x + z = -i + 1, 4*x - 2 = 2*i. Solve -2*j + x = 4 for j.
-1
Let k be ((-4301)/(-161) + -21)*(1 + 20). Solve 15*a = -0*a - k for a.
-8
Let u(c) = 39 - 17*c + 2*c + 0*c + c + 11*c. Let q be u(12). Solve 3*n = -q*n - 2*n for n.
0
Suppose 19*t = -3*t + 13858 - 4354. Solve 423*a - t*a + 63 = 0 for a.
7
Let l be -155*(1 - 0) + 3 + -6. Let j = l + 162. Solve -j*x + 2 = -14 for x.
4
Let v(w) = 3*w**2 + 82*w - 562. Let o be v(6). Solve -20*m = -o - 42 for m.
4
Suppose -273*x + 64 = -269*x. Solve -x*f + 20*f = 0 for f.
0
Let w be (-4 - 3) + 27 - (2 - 1). Let u be -14 + w - (-4 - 1). Solve u*p = 15*p + 5 for p.
-1
Let u(l) = -2*l**2 - 12*l + 4. Let a be u(-6). Suppose 2*s - 5*z + 0*z = -169, 0 = -a*s - 4*z - 296. Let n = -73 - s. Solve 7*j = n*j + 12 for j.
4
Suppose 29*f - 31 - 172 = 0. Solve f*h + 60 = -5*h for h.
-5
Suppose 16*w + 160 = 8*w. Let g = -78 - w. Let s = -55 - g. Solve 0*m + 12 = -s*m for m.
-4
Let y(w) = -9*w**2 - 18*w - 13. Let n be y(-7). Let z = -297 - n. Solve -5*r = 11 - z for r.
4
Suppose 5*j + 9*y - 13*y - 46 = 0, j = -2*y + 12. Suppose z + j = 4*d, 4*d + 2*z = 2 + 2. Solve -d*k - 6 - 4 = 0 for k.
-5
Let g(k) = -2*k**3 + 2*k + 3. Let i be g(-2). Suppose -b = 4*l - 0*l + i, 5*b - 3*l + 6 = 0. Let z be 1/b*(-13 + -8). Solve -5*s - z - 3 = 0 for s.
-2
Let b = -163 + 165. Suppose -3*z - 12 = b*g - 21, 0 = 5*z + 3*g - 15. Solve z*y + 2 = 4*y for y.
2
Let h = -1284 + 1977. Let z be (-15)/6 + 3 + h/(-6). Let t be z/46*((-9)/5 - -1). Solve -1 = t*p + 3 for p.
-2
Let f = -530 + 532. Solve 24 = f*t - 6*t for t.
-6
Suppose -j = 2*k - 11, j - 16 = -j - 2*k. Suppose r = -j*m + 281, -3*r - 2*r = m - 61. Suppose 3*a - m + 20 = 0. Solve 4*o + a = o for o.
-4
Let m be ((-6)/8 - -3)*(-20)/(-3). Solve m*a = -51 + 6 for a.
-3
Let b(j) = j**3 + 26*j**2 - 58*j - 22. Let r be b(-28). Let p = r + -26. Solve -p = -5*h + h for h.
2
Let k = 87 - 48. Suppose -w - 13 = -k. Suppose -3*p = 2*l - 11, 0*l - 15 = -5*p - 5*l. Solve 6 = -p*z + w for z.
4
Let w(t) = t**3 - 3*t**2 + 54*t + 12. Let a be w(0). Solve a*c - 4567 = -4495 for c.
6
Let q = -4756 - -4831. Solve 0 = -49*n + 64*n + q for n.
-5
Let y be 7 + 19 + -3 + (-2 - -1). Let n be (-28)/154 - (-70)/y. Solve -n*z + 2 = 17 for z.
-5
Suppose -10*i + 11*i - 3*m = 329, 0 = 3*i - m - 963. Suppose i = -123*n + 139*n. Solve n = h + 4*h for h.
4
Suppose 0 = 10*d - 446*d + 13080. Solve 6*b - d = -0*b for b.
5
Let x be (-20)/50 - (-5 - (-60)/(-25)). Solve 25 = 6*f + x for f.
3
Let b(d) = -22*d - 82. Let z be b(-4). Let u be (-1)/(3 - 16/5). Let k be (u/3)/5*0. Solve k - z = -3*m for m.
2
Let r be 4/12*12*2. Suppose 4*l - 12 = 4*k, -r*l = -6*l - 10. Solve -k = x + 3 for x.
-5
Let k = 0 + 0. Let m(s) = -s**3 + 12*s**2 - 21*s - 17. Let n be m(10). Let h be n/(-4) + (-144)/192. Solve -3*f + f + h = k for f.
3
Suppose -5*t = -h + 5*h + 697, -356 = 2*h + 4*t. Let r = h - -174. Solve -3*q + 15 = -r*q for q.
-5
Suppose -8*t + 1153 = 24*y - 23*y, -5*t + 732 = -y. Solve 13*z = -t + 28 for z.
-9
Let g(b) = -b**3 - 13*b**2 + 10*b - 26. Let s be g(-14). Suppose -66 = -24*x + s. Solve 8*t - 28 = x for t.
4
Let b be 636/(-1060)*15/(-3). Let o(j) = -5*j - 1. Let u be o(-1). So