
Let m(w) = -8*w**2 - 19*w - 14. Let l(x) = 17*x**2 + 38*x + 29. Let p(s) = 6*l(s) + 13*m(s). Let d be p(-9). Which is bigger: 2 or d?
2
Let z(m) = -9 + 3 - 2*m - 2*m. Let n(r) = r. Let w(u) = 2*n(u) + z(u). Let t be w(-5). Is 4 at least t?
True
Let x = -2.2 + 2. Is x < 32?
True
Let b be (-71 + -2)/(19/38). Is -147 <= b?
True
Let p(h) = 3 - 2 + 12*h + 11*h - 4*h. Let j be p(1). Let q = j + -21. Which is greater: q or -0.7?
-0.7
Suppose -30 = -5*x + 2*k - 10, 5*k = x - 4. Let u be (-266)/x + 6/4. Which is bigger: -66 or u?
u
Let k be (7 + -6)*(-32 + 1). Let b = -28 - k. Which is greater: 5 or b?
5
Let l = 11 - 0. Suppose -5*m = m - 78. Let b = m - l. Is 2 greater than or equal to b?
True
Let u be ((-16)/(-6))/((-10)/(-15)). Suppose z - 5 = -2*d, 3*z + u*d = 2*d + 19. Let s(m) = -m + 7. Let k be s(z). Which is smaller: k or -1?
-1
Let a = 40 - 21. Let m = 4 + a. Let t be (-1)/(m*(-3)/(-6)). Which is smaller: t or 1?
t
Suppose 4*z - 2*d = -35 - 15, 2*z + 45 = -3*d. Let b be -1 + -1 - 10/z. Let y = b + 11/6. Which is greater: y or 1?
1
Suppose 2*c = 2, 4*c - 8 = -2*t + 12. Suppose t = -2*z - 4*r, 2*r = z - r - 11. Suppose -3*d + 7 + 9 = 5*o, 0 = -o - 3*d + 8. Is o bigger than z?
False
Suppose u - 6 = 4*a - 3*a, 0 = -3*a - 5*u + 22. Let d(p) = 2*p**2 - 145*p + 1451. Let q be d(12). Do q and a have the same value?
True
Let h = 2.882 - -0.018. Let r = 3.1 + h. Which is greater: 3 or r?
r
Let k(v) = v**2 + 3*v + 4. Let w be k(-2). Suppose -3*y + w*y + 6 = 0. Does y = 23/4?
False
Let l = -1489 + 805. Let u = 29410/43 + l. Let k(t) = -t. Let i be k(-1). Which is smaller: u or i?
u
Let h be -5 - (-48)/6 - 4. Which is greater: -23 or h?
h
Suppose 5*b + 5*z - 30 = 0, -5*b + 4*z - 6 = -0*b. Suppose 4*x - 5*s - 6 = 0, b*s + 5 = x - s. Are 0 and x non-equal?
True
Let s = 645 + -646. Which is bigger: s or 6/37?
6/37
Suppose -4*k = -2*n + 8, 0 = -2*n - 2*k - 4 - 0. Let x be 2*(-3)/(-3) + 2. Let b = n + x. Is b bigger than 4?
False
Suppose 4*p - 12 = 4*m, -p + 2*p = -3*m + 7. Let r(q) = -11*q + 1. Let i be r(m). Let t(y) = y**3 + 9*y**2 - 11*y - 4. Let s be t(i). Which is bigger: s or 5?
s
Suppose -2*y - 86 = -4*j, -5*y = -j + 3*j + 191. Let o be (2 - (-2)/(-2))*(-13)/y. Is o equal to 0?
False
Suppose q + 8 = 8*s - 3*s, 3*q + 11 = 2*s. Which is smaller: 4/55 or s?
4/55
Let u = 104 + -103.022. Let h = 0.022 + u. Which is bigger: h or -22?
h
Suppose -92*m = -86*m + 12. Let s be (1 - 2)*(m - 21/7). Does s = 22?
False
Suppose 0 = -5*u + 4*p - 2219 + 769, 0 = -5*u + p - 1450. Which is smaller: u or -291?
-291
Let s = -20 - -14. Suppose -b + 33 = -3*m, -5*b + 2*b - 3*m + 51 = 0. Let f be b/(-8) - 18/s. Which is smaller: -1 or f?
-1
Let y = 40 + -39. Let g = -11 + 25. Is g at most y?
False
Let r = 2770 - 36028/13. Which is bigger: 1/2 or r?
1/2
Let w = 143 - 102. Let f = 40.8 - w. Let o = 37/5 - 73/10. Which is smaller: o or f?
f
Suppose 0 = 3*v - 8 - 7. Suppose -11 = g - v*d, 4*g - d - 17 = -g. Let i = 11 - 13. Is g > i?
True
Let t(x) = -4*x + 52. Let q be t(11). Let p(b) = -7*b**2 + 2*b + 1. Let c be p(-1). Let f be (-2)/8 - 82/c. Is q equal to f?
False
Let r(f) = f**3 - 8*f**2 + f + 21. Let v be r(8). Suppose 0 = -v*k + 36*k. Is -12/11 < k?
True
Suppose -q - 5 + 6 = 0. Let a(f) = -f - 3. Let s be a(-7). Let i be (2/s)/(2/4). Is i bigger than q?
False
Let p = -11.264 + 11.2. Let q = -13.936 + p. Do -1/4 and q have the same value?
False
Let t(w) = 3*w + 16. Let d be t(-5). Let k = 593/22 - 27. Are d and k equal?
False
Let v be (1 - (-18)/(-22)) + (-800)/5610. Is v bigger than -1?
True
Suppose -20*p = 4 - 4. Is 2/1023 greater than p?
True
Let v(p) be the third derivative of p**4/12 + p**3 + 6*p**2. Let z be v(-7). Let m = -8 - 0. Is z != m?
False
Let j = 107 - 168. Let s = -76 - j. Which is bigger: s or -1/2?
-1/2
Let k(g) = 5*g**2 + 57*g + 29. Let f be k(-7). Which is greater: f or -118?
-118
Let j(q) = 3*q**2 + 38*q - 15. Let v(w) = w**2 + 13*w - 5. Let p = -27 - -16. Let d(n) = p*v(n) + 4*j(n). Let a be d(-9). Is a <= -3?
True
Suppose 2*f - 41 + 25 = 0. Let k be (-10)/f + (-1)/(-4). Is k bigger than 2/15?
False
Let n be (-31)/(-3)*-1*-3. Let a be (2 + -1)*12*40/15. Are n and a equal?
False
Let i(f) = 9*f - 45. Let w be i(5). Which is greater: w or -16/27?
w
Let a(q) = 2*q**2 + 3*q - 4. Let c be a(-3). Suppose 10 = -0*y - 5*y, 0 = -v - 3*y - c. Suppose -v = -4*p - 5. Which is smaller: p or -2?
-2
Let j be (1/(-4))/(3/(-60)). Suppose 2*d - 3*u + 24 = 0, 5*u + 4 = -2*d + 3*u. Let q = d - -10. Is j >= q?
True
Let z be 21/(-14)*(-8)/(-30). Which is greater: 449 or z?
449
Let h = -390733/40 + 9769. Which is smaller: 2 or h?
h
Let s = -17 + 30. Let u = 0.167 - 0.367. Which is greater: u or s?
s
Let s be 8 - ((-24616)/(-1296) - 11). Is -3 at most as big as s?
True
Suppose -3*d = -i + 4, -1 + 3 = d - 2*i. Let v(z) be the first derivative of -z**4/4 - 5*z**3/3 - 3*z**2/2 - 2. Let q be v(d). Which is bigger: 1/2 or q?
1/2
Let d = -146290428754/8255 + 17721433. Let w = -3144/594995 - -2/937. Let u = d + w. Is -1 less than or equal to u?
True
Let s be (-5)/(-3) - (-7)/21. Let f be (-12)/15*(-15)/6. Do s and f have different values?
False
Suppose 3*h - 4*z = 2*h + 9, 4*z - 43 = -3*h. Suppose 0 = -5*m + 20, -4*l - 2*m + h = -9*l. Let k be 4/6 - 152/12. Are l and k unequal?
True
Let x = 2.01 - 0.01. Let s = 0 - x. Suppose 11 = 18276*y - 18287*y. Is y bigger than s?
True
Let j be ((-3)/2)/(27/(-18) - -3). Is -12/7 at least j?
False
Let p = 94.99 + -95. Is 6 bigger than p?
True
Let f(z) = -z**3 + 12*z**2 - 2*z + 17. Let h be f(12). Which is bigger: 0 or h?
0
Let g = -8897/5 + 1779. Which is bigger: g or -137?
g
Suppose -4*j = -j + 1026. Let d be 1 + j/(-170) + -3. Let t = 177/595 - d. Which is smaller: t or 10?
t
Suppose -101 = -5*d - 4*x + 3*x, 0 = 2*d + 4*x - 26. Suppose -3*n = -0*n + d. Let s be -3*(-1)/3 - n. Is s at least as big as 4?
True
Let s = 218 - 656/3. Which is bigger: s or -0.419?
-0.419
Let o = -3 + -11. Let x = 16 + o. Suppose -3*k + 9 = -0. Is k smaller than x?
False
Let r = 57/86 - 50/43. Let f = -1 + -6. Is r less than or equal to f?
False
Suppose 0 = -44*z + 33*z - 11. Which is bigger: z or -4?
z
Suppose i - 11 = -2*p + 11, -4*p + 80 = 5*i. Suppose 3*b + 3*j = -i, -5 = -3*j + 2*j. Let d be 8*2 + b/3. Is 12 >= d?
False
Let t = -92 - -202. Is 1 at most t?
True
Let m = 832573/3657 - -4/3657. Is m at least as big as 228?
False
Suppose -11*f + 159 = -501. Which is bigger: f or 184/3?
184/3
Let r = -1032 - -1031.9. Let a be 3/(-9) - 59/3. Which is bigger: r or a?
r
Let u be (0 + 1 - -1) + (-44 - -49). Are 0 and u non-equal?
True
Let z = -7 + 14. Let t = 7 - z. Let q = 0.02 - -0.03. Is t greater than q?
False
Let f = 0.435 - 0.375. Which is greater: 2/9 or f?
2/9
Let b = 0.02 - 0.22. Let l = b - -0.29. Let y = l - 0.09. Which is smaller: 8 or y?
y
Let g be -7 + (13 - 0/(-13)). Which is smaller: 14/3 or g?
14/3
Let m be 9/(-6) - 238/(-18). Let z = m + -23/2. Let x = -12 - -15. Is x at most as big as z?
False
Suppose -4*t = 2*g - 56, 4*g - 3*g - 30 = -t. Let r = -33 - -66. Is g at most as big as r?
True
Suppose 42*z = 34*z + 664. Suppose 4*m = 15 - z. Which is bigger: m or 2?
2
Let n = 1.096 + -0.076. Let i = -0.02 + n. Suppose -4*l = -2*t - 86, -8 = 5*t - 3. Is l greater than or equal to i?
True
Let u(b) = -12*b - 62. Let c be u(-7). Which is smaller: 64/3 or c?
64/3
Let l = 1/3070 + 1801/125870. Which is smaller: -1 or l?
-1
Let f = 6 - 3. Suppose -f*o + 1 = -14. Let y(g) = g**2 - 6*g + 6. Let a be y(o). Is a greater than 6/13?
True
Let s be (-1722)/(-25740) + (-2)/(-11). Let m = -2/15 + s. Let a = m - -7/52. Are 1 and a unequal?
True
Suppose -484 + 12 = -2*j + 4*x, -3*j + 5*x = -705. Are j and 230 nonequal?
False
Let l be (-108)/(-32) + -3 + (-2)/16. Let h(w) = -w**3 + 8*w**2 + w - 7. Let v = 17 - 9. Let b be h(v). Which is smaller: l or b?
l
Let h = -64 + 73.4. Let b = h + -9.3. Is -6 < b?
True
Let j = -21 - -11. Let a be (-1)/2*(-16)/((-6)/3). Let c be (a + 3/(-6))*4/2. Is j at least c?
False
Let b be 430/14 - (6 + (-132)/21). Let r = -23 + b. Let s be 6/(1 + 1)*3. Are s and r nonequal?
True
Let w(h) = -2*h**2 - 2*h + 12. Let a be w(-4). Let m be (-4 - -4)*3/a. Which is bigger: m or 1/4?
1/4
Let i = 11 + -9. Let y = 1.4 - i. Let q = -0.5 - y. Which is bigger: -3/