8/(-30)). Is 27 != m?
True
Let r = 1001/19 - 19519/342. Which is bigger: r or -3?
-3
Let v = -2242 - -2239. Suppose -4*f = -6 - 6. Is f equal to v?
False
Let o = -0.84 + 6.14. Let w = 3.8 - o. Is w greater than or equal to -1?
False
Let x = -62 + 61. Let d be x + (-27)/(-21) + 0. Which is bigger: d or 1?
1
Let k = 706 + -692. Which is smaller: k or 18?
k
Let y(v) = -4*v - 1 + 14*v - 8*v - 4*v**2. Let g be y(1). Is g at least as big as 0?
False
Let z = -325 - -327. Which is smaller: 10/17 or z?
10/17
Suppose 0 = 7*w - 24*w + 238. Which is smaller: w or 3?
3
Let z = -681 - -685. Which is smaller: z or 1?
1
Let g be (-9)/(-12) - 241/(-4). Suppose -41 = 5*h - g. Is h < 3?
False
Let l be (1 + (-27)/21)*-7. Suppose -l*s - 3 = 1. Is -6/5 < s?
False
Suppose 3*o - 108 + 111 = 0. Which is smaller: 3/101 or o?
o
Let r be -3 + -3 - (-4 - -1). Which is bigger: -3/5 or r?
-3/5
Let h be 60/(-22)*(-204)/170. Which is greater: -0.3 or h?
h
Let u = 10 + -60. Let c = u - -67. Is 2/5 != c?
True
Let a(x) = 4*x**3 + 19*x**2 + 18*x - 49. Let o(n) = -3*n**3 - 18*n**2 - 18*n + 48. Let t(u) = 4*a(u) + 5*o(u). Let k be t(15). Is -2/243 at most as big as k?
False
Let a be (-459)/34*4/(-60). Which is greater: -1 or a?
a
Let l be (5/(-2))/((-5)/10). Suppose -l*f = -4*f. Suppose f = 2*m + 4*k + 20, k + 1 = 5*m - 4. Is m at least as big as 2?
False
Suppose 2*f = 9 + 1. Suppose f*n = 3*n. Let j be (15/6)/(-5)*n. Which is smaller: -2/19 or j?
-2/19
Let j be 16/(-212)*3/6. Let f = j - 96/265. Let i = 186 + -189. Is f less than or equal to i?
False
Let x = 26 - 8. Suppose b = -18 - 6. Let s = b + x. Which is bigger: -9/2 or s?
-9/2
Suppose 0 = -4*z - 0*z + 12. Suppose -30*m + 4 = -29*m. Suppose 3*o - 5*o + m = 0. Which is greater: o or z?
z
Let a = 276 + -327. Which is bigger: -2 or a?
-2
Let j be -16*(1 - (-169)/(-117)). Is j less than or equal to 7?
False
Let u be 3/(-6)*184/20. Which is greater: -4 or u?
-4
Let i(d) = -d**2 - 11*d - 25. Let s be i(-9). Are s and -7 nonequal?
False
Let q(i) = i**2 - 4*i - 6. Let l be q(-3). Suppose -4*z + l + 21 = 0. Let x be (6/z)/(3 - -8). Is 0 greater than or equal to x?
False
Suppose 9 = 2*c + c. Suppose -413 = c*b + 397. Let i be b/9*(-2)/25. Which is smaller: 1 or i?
1
Let t(g) = 3*g + 9. Let j be t(-6). Let r = 121 - 130. Is j < r?
False
Let b = -16.59 + -0.41. Let r = b + 19. Is -5 smaller than r?
True
Let j be (-412)/(-138) + (-7)/(14/6). Is 0 smaller than j?
False
Let b = 11.77 - -0.23. Let c = 6.364 + -0.064. Let k = -6.4 + c. Which is smaller: k or b?
k
Let l = 18 - 35/2. Let u = 0.199 + 1.491. Let w = u - 1.39. Is l less than w?
False
Let w = -8/975 - 519619/6825. Is w >= -75?
False
Let z = -2331/2 - -1166. Is -42 >= z?
False
Suppose -z = -4*z. Suppose -10 = 2*f - 4*x, 4*f - x - 1 - 7 = z. Suppose 2*o = -6*o + 3*o. Which is smaller: f or o?
o
Let g(m) = -m**3 - 8*m**2 + 2*m - 3. Let o be g(-8). Does o = -18?
False
Let w(l) = l - 3. Suppose -4*t = -3*t - 8. Let b be w(t). Let k be 2 - (-5 + 3 + b). Which is greater: k or 1?
1
Let p = -1/16 - -1415/112. Which is bigger: 14 or p?
14
Let p = 12619/60 - -989/15. Which is smaller: 275 or p?
275
Let f(x) = 12*x**2 + x - 3. Let u = 16 - 23. Let n be f(u). Let q be (-1)/5 + n/1615. Which is smaller: q or 1?
q
Let c(j) = -2*j - 2. Let q be c(-3). Suppose -2*f + 5 = -i, f - 8 = -2*i - q*f. Let t be 8/(-24)*(-3 - 6). Is i at least t?
False
Let m = -22/903 - 9098/71337. Which is smaller: -1 or m?
-1
Suppose 60 + 340 = -20*w. Is w >= -28?
True
Let p be -1*(-33280)/(-3030) - -11. Which is greater: p or -1?
p
Suppose -u + 2*u + g - 23 = 0, 5*g = -3*u + 71. Let c be ((-20)/15)/(1*(-6)/99). Is c bigger than u?
False
Let n(m) = -1 - m - 5 - 1 + 3. Let u be n(2). Let d(a) = -a**3 - 7*a**2 - a + 7. Let k be d(u). Which is bigger: k or -24?
k
Let j = 1.41 + -27.41. Are 1 and j unequal?
True
Let m be 2/(-3) - -52*(-7)/84. Which is smaller: -7 or m?
-7
Let t = 26.69 + -27.29. Let c = -0.037 + 2.937. Let h = -0.1 - c. Which is smaller: h or t?
h
Suppose 2*q - 30 = 3*m, -m - 3*q = 2*m + 45. Let h be 45/50*m/3. Let y = -4 - h. Is 1 greater than y?
True
Suppose -4*w - 52 - 76 = 0. Are -29 and w unequal?
True
Let m = 19.616 + -19.66. Is 8 smaller than m?
False
Let k be (52 - -184)*2/8. Is k != 58?
True
Let n(u) = -u**3 - 6*u**2 - u - 6. Let d(k) = -k - 27. Let c be d(-21). Let p be n(c). Which is greater: -7/15 or p?
p
Let d = -65/4 - -16. Let c = 7 + -11. Let a(o) = o**3 + 4*o**2 - 1. Let u be a(c). Which is smaller: d or u?
u
Let r = 2 + -2. Let m = 0.091 - 0.791. Is m less than or equal to r?
True
Let c(u) = 5*u**2 - 46*u + 56. Let i be c(9). Does 49 = i?
False
Let k(p) = 4*p**3. Let b be k(1). Let t be (-2)/21*(b - 1). Which is bigger: -3 or t?
t
Let r = 12815/36 - 356. Let s = 1210 - 1210. Which is greater: s or r?
s
Let p be (-11)/(-9) - (630/(-81) - -8). Which is bigger: -2/367 or p?
p
Suppose -o + 1 + 6 = 0. Suppose 3*i - 12 = 5*i. Let w(z) = z**3 + 6*z**2 + 7. Let r be w(i). Is r < o?
False
Let f = -14 + 14. Suppose -5*j + 5 = 0, f = -5*q - 5*j - 92 + 27. Which is bigger: q or -15?
q
Suppose 3*f - 4*h - 12 = 0, -7 + 10 = 2*f - h. Which is greater: f or -1/2149?
f
Suppose 0 = -19*a + 2*a + 17. Is 3/68 != a?
True
Suppose -3*w + 30 = 27. Let q be w/((-57)/(-5) - (-2)/(-5)). Is q < 1?
True
Let x be 23/7 + 6/(-21). Suppose -x*v - 1 = -13. Suppose s = -v*s - 5. Which is smaller: -2/57 or s?
s
Let l be (-4)/18 - (-70)/(-9). Let w be l/(-6)*7/(-70). Is -1/3 > w?
False
Let f(x) = -46*x - 79. Let w be f(-3). Is 2/11 >= w?
False
Let a(i) = i + 8. Let b be a(-8). Let v be (0 - 1) + (-275)/45. Let s = v - -430/63. Is b smaller than s?
False
Suppose 13*m - 8*m - 17 = -3*k, -5*k = -5*m - 15. Is m at least 2/807?
True
Let v = 32 - 13. Let r = 168 + -149. Is r smaller than v?
False
Let c(j) = j**3 - 19*j**2 + 10*j + 92. Let y be c(7). Is -1279/3 at most as big as y?
True
Let f = -0.14 - -0.174. Let z = f + -16.234. Let i = z + 16. Is 3/5 < i?
False
Let l be (-6)/(-45) - 104/330. Which is greater: l or -0.04?
-0.04
Let b = -2325 - -2325.1. Are b and -112/17 equal?
False
Let v(j) = 3*j**2 + 14*j + 8. Let h be v(-4). Suppose 10*z - 11 + 1 = h. Which is greater: 1/102 or z?
z
Let p = 972 + -972. Which is bigger: 72 or p?
72
Let u(l) = -11*l**3 - 2*l**2 - 7*l - 6. Let h be u(-1). Which is smaller: 6 or h?
6
Let i be 7/((-315)/18) + (-3288)/(-8195). Is -1 <= i?
True
Let w be (-663)/(-78)*2/(-53). Which is greater: w or -1?
w
Suppose 0 = -2*h - 7*h + 135. Is h < 25?
True
Let z(l) = -l**2 - 12*l - 26. Let k be z(-3). Is 11/12 at least k?
False
Suppose a + 3*j = 1 + 8, 4*a - j - 10 = 0. Suppose -a*h + 30 = -3*g, g - 4*h + 8*h = -10. Is g at least -8?
False
Let v = -14 + 9. Suppose 3*p + 37 = 25. Which is smaller: v or p?
v
Let g be (2/(-5))/((-19)/5). Let t be (1/2)/(7/322). Let v = 23 - t. Is v smaller than g?
True
Let n = -87 - -88. Is 9/16 >= n?
False
Suppose 3 = 3*b - 39. Let q(i) = -3*i - 4. Let f be q(-5). Let m = f - b. Is -5 greater than m?
False
Let j(p) = -92*p + 8. Let x(y) = -31*y + 3. Let q(v) = 6*j(v) - 17*x(v). Let t be q(-1). Which is smaller: t or 2?
2
Let b be 9/(-2) - 1/(-2). Let k be (9/2)/((-3)/b). Suppose 0 = 2*j + 4*q, 5*q = k*j - 4*j. Which is smaller: j or 1/4?
j
Let i = 13130426710/93 + -141189149. Let v = -1765 - i. Is 1 greater than or equal to v?
True
Let l = -35 - -35. Suppose 3*v + 3*c = 6, -3*c + l*c = -v - 2. Which is greater: v or -1/11?
v
Let s(m) be the second derivative of m**4/12 - 2*m**3/3 + m**2/2 + 13*m. Let n be s(3). Let k = -803/5 - -160. Which is bigger: k or n?
k
Let i be 6/20 - 7714/24780. Which is greater: 1 or i?
1
Let o = 1810 + -1807. Which is smaller: o or 32/5?
o
Suppose -41 = 7*p + 57. Let x = -13 - p. Which is bigger: 3/56 or x?
x
Let i(h) = 2*h + 12. Let b be i(-5). Suppose -p = b*s + 3, 4*p - 11 + 1 = 3*s. Is -2 >= s?
True
Let k = -5 - -14. Suppose 0 = 8*u - 37 - 3. Let l(w) = w**2 - 2*w - 4. Let y be l(u). Are k and y unequal?
True
Let v be 0/(0 - -1) + 1. Suppose 12*g = 10*g + 6. Let q be (-2)/v - g/(-3). Which is smaller: q or 2/23?
q
Let a = 8 + -4. Let w(k) = 11*k + 9. Let c be w(a). Which is smaller: c or 52?
52
Let y = 1219 - 1032. Is y <= 183?
False
Let t be (-1 + 3)*(4 - (-93)/(-6)). Let o = -21 - t. Which is greater: 3/2 or o?
o
Let l = 9.5 + 60.5. Let p 