2. Let q = -0.3 + 0.4. Is q >= a?
True
Let k = -0.041 - 0.789. Let c = k + -7.17. Which is smaller: c or -2/9?
c
Suppose 4*c + l - 1 = 0, 3*l - 15 = -5*c - l. Let p be ((-64)/(-24) + c)/(2/36). Is 28 at most as big as p?
True
Suppose a - 4*j = -9, 2*a = -2*j - 3 + 25. Let u be 3 + 0 + (4 - a). Let n(v) = -v**2 - 3. Let l be n(-4). Which is smaller: u or l?
l
Let y be (104/(-14))/((-5)/8). Let n = y + -58/5. Let a(g) = -2*g + 1. Let f be a(6). Is f at most as big as n?
True
Let y = -434 + 2617/6. Suppose -s - p = 4*p - 13, -3*p = 3*s - 15. Let d = s + 0. Is d greater than y?
True
Let l = 65 - 74. Let w(x) = 3*x + 43. Let k be w(l). Which is smaller: k or 17?
k
Let z = -0.18 + 12.18. Let n = -13.2 + z. Let j = n + -8.8. Is j smaller than -0.1?
True
Let f be 2/5 - 17928/120. Is -150 less than or equal to f?
True
Let m = -46 - -9. Let d = -37 - m. Let j be 1/((-4)/2 + 0). Which is smaller: d or j?
j
Let i = 648 - 664. Let u = -4 - 11. Which is smaller: i or u?
i
Let y = 20 - 16. Let g be -2 + -1 + y + -9. Is -9 smaller than g?
True
Let w = -4 + 11. Suppose 0 = -4*f + 10 + 2. Suppose 0 = f*r - 19 - 8. Is w smaller than r?
True
Let n(s) = -s**2 + 38*s + 12. Let k be n(36). Let m = -965 + 530. Let x be (-10)/m*k - 2. Is 1 <= x?
False
Let l be 150/342 - 6/57. Are 1 and l nonequal?
True
Let k = -80 + 77. Let n = 0 - k. Are n and 2/19 nonequal?
True
Let k be (26/28)/((-27)/(-54)). Is k smaller than 1?
False
Let r be (-4)/(-2)*(17 + 462/(-28)). Is 2/19 at least as big as r?
False
Suppose 8*p + 889 + 1839 = 0. Is p greater than -340?
False
Let m = -7 + 6. Suppose -3*n = -107 - 13. Let x be n/(-30) - (-100)/66. Is x less than m?
False
Let c = -386/775 + 8/31. Let i be -2*(28/8 + -4). Which is smaller: c or i?
c
Suppose 44*g - 43*g = -1. Which is smaller: -1/35 or g?
g
Suppose -3*n - 13 = 3*q + 38, -85 = 5*q + 4*n. Suppose -b = 4*d + 63, b + 3*b = -12. Is d > q?
True
Let k be (-48 + 0)*95/(-76). Is -0.3 <= k?
True
Let t(a) = -3*a**2 - 15*a - 4. Let g = 4 + -14. Let k be t(g). Let m be k/(-126) - 2/2. Which is smaller: m or -1?
-1
Let d = 2.84 - 4.84. Are -8 and d nonequal?
True
Let n be 1/(((-1034)/(-4))/11). Suppose u = 6*u. Is u greater than n?
False
Let n be 0 - (3 + -1 - -1). Let p = 8 + -9. Let m be 0 + (19/(-4) - p). Is m less than n?
True
Let a = 60387/422807 - -2/60401. Let t = 41.2 + -38. Let i = t - 3. Is i greater than a?
True
Suppose 6 = -2*a - 2*z, -3*z - 1 = -4*a + 8. Let t = a - 1. Let o = 21/2 - 169/16. Which is greater: t or o?
o
Let g be (-9)/76*(-208)/6. Which is greater: g or 4?
g
Suppose -148 = -19*v + 18*v - 4*u, 0 = -4*v + 2*u + 628. Is 157 equal to v?
False
Let k be 39/21 + (-2)/(-14). Suppose -6 = -k*m - 4*m. Is m at most as big as -4/9?
False
Suppose 2 = -2*p + 3*r - 0*r, 3*r = -6. Let t(m) = 3*m**2 - 11*m + 2. Let w(k) = k**2 - 4*k + 1. Let c(z) = p*t(z) + 11*w(z). Let y be c(0). Is y at most 3?
True
Let y be ((-16)/(-6))/(60/90). Let b = 0.37 + 0.03. Let n = -0.3 + b. Which is greater: y or n?
y
Let d(i) = 185*i**3 - 2*i**2 - i + 3. Let x be d(1). Are 186 and x non-equal?
True
Let s = -4 - -3. Suppose 0*m = -6*m - 432. Let y be m/(-54)*1/94. Is y != s?
True
Let m(l) = l**3 + 6*l**2 - l - 7. Let d be m(-6). Let r = -2/2327419 - 28133840810/72149989. Let y = -390 - r. Which is bigger: d or y?
y
Let w = 2.7 + -4. Let i = 1.5 + w. Is 4 < i?
False
Suppose -2*x + 64 = s + x, 0 = x - 4. Let g(u) = 2*u**2 + 9*u - 5. Let f be g(-8). Which is smaller: s or f?
f
Let g(y) = -3*y**3 - y**2 - y. Let s be g(-1). Let k be (45/25)/(15/(-50)). Let p be 1 - 2 - (-12 - k). Which is smaller: s or p?
s
Let c(q) = 2*q**2 - 6*q - 12. Let p be c(-4). Let l = -44 + p. Which is greater: 4/13 or l?
4/13
Suppose 0 = 3*l + 2*i - 14, 5*l = -5*i + 23 + 7. Let b be l + 51/2*8/(-27). Which is smaller: b or -6?
-6
Let m(p) = -3*p**2 - 3*p + 5. Let n be m(-4). Suppose -i - 4*h - 24 = 0, -17*i + 19*i = -3*h - 58. Which is smaller: n or i?
i
Let m be (-1)/4*16/10. Let v = -1028 + 1038. Is m equal to v?
False
Let c(t) = t**2 + 2*t + 4. Let a be c(-16). Suppose 2*l = 6*l + a. Is l > -58?
True
Let g(m) = 2*m**3 - 47*m**2 - 25*m + 47. Let u be g(24). Is u less than or equal to 22?
False
Let a be (-35)/(-14)*22/5. Suppose 0 = 4*p - p - 5*y - a, -4*p - 3*y = -5. Suppose p*i - 12 = -0*i. Is 7 at least as big as i?
True
Let b = -76.77 + 76.8. Which is bigger: b or -1/4?
b
Suppose 236*f + 186 = 230*f. Let p be 8 + -9 - (1 + -1). Which is bigger: p or f?
p
Let u = -11 - -14. Let s be u/3 - 18/(-2). Suppose -3*n + s = -5. Is 0 equal to n?
False
Let x be -2 + 0 + (-2 - -3). Suppose 3*n + 5*g = 0, n - 2*g + 3 - 14 = 0. Suppose 4*y + 12 = t - 2, n*y + 18 = t. Is y bigger than x?
False
Let o(u) = -u**3 + 2*u**2 + 2*u + 59. Let c be o(0). Which is smaller: c or 58?
58
Suppose 0 = -3*j - z - 122, -86 = -0*j + 2*j + 3*z. Suppose 0 = 108*y - 128*y - 780. Do j and y have different values?
True
Suppose -2*l + 42 = -v - 110, 4*l - 142 = v. Is -165 >= v?
False
Let s = -721 + 585.2. Let h = -159 - s. Let n = -23 - h. Is n bigger than 0?
True
Let a = 21 + -14. Suppose 6*g + 10 = a*g. Let m be 2 + (-2)/g + -2. Which is smaller: m or 1?
m
Let c(o) = 7*o + 6. Let k be c(-9). Let w be ((-2)/k)/(4/(-6)). Which is greater: 1 or w?
1
Let g be 5 + 4*(-34)/(-88). Is g less than -3?
False
Suppose -11*s - 137 = -10*s + 4*j, 4*s + 590 = 5*j. Which is bigger: -146 or s?
s
Let k = -454 - -774. Let b be (-2)/5 + 1208/k. Is b equal to 3?
False
Let k be -10*5/((-100)/176). Let d be k/(-18)*6/(-4). Is 8 less than or equal to d?
False
Suppose 6*v - 14 = 2*v - 3*j, 0 = v + 3*j + 1. Suppose -r + 2*r - 3 = -w, r + 3*w = 3. Suppose a + a - 10 = r*k, v*a - 3 = 2*k. Are 1/6 and a non-equal?
True
Let x = -1115 + 663. Which is greater: -2 or x?
-2
Let l = -284 - -283. Let m(j) = -j**3 - 7*j**2 - 6*j - 3. Let a be m(-6). Let g be ((-3)/(-10))/(a/16). Are l and g equal?
False
Let x be (-1)/26*12/50. Let r = 6169/650 - x. Let m(j) = -21*j + 1859. Let b be m(88). Which is smaller: r or b?
r
Let p(h) = h**3 - h**2 + 6*h + 5. Let q(k) = -k**2 + k + 1. Let c(f) = -p(f) + 4*q(f). Let m be c(-2). Which is bigger: m or -1/25?
-1/25
Let i = -15 + 47/3. Does i = -8/13?
False
Let s = 8.8 + 31.2. Let l = 19 - s. Which is smaller: l or -2/5?
l
Let k be (4/(-3))/((-120)/(-90)). Is -2/429 > k?
True
Suppose -2*h = -k + 258, -k - 1 - 1 = 0. Let q be (h/39)/(1*2/(-6)). Is q at most as big as 0.1?
False
Let r(s) = -2*s**2 - 9*s + 1. Let j be r(-8). Is -54 at most as big as j?
False
Let r = 0.2 + 3.2. Let j = r + -3.6. Is j smaller than 0?
True
Let j = -15399 - -15545.06. Let w = j - 146. Which is smaller: w or -1/17?
-1/17
Let d = 0 + -1. Suppose -5*b - 64 = -2*x, 3*b - 6 = -0*b. Let j = 36 - x. Is j >= d?
True
Let z be 11428/16870 + 18/(-63). Let m = 2/241 + z. Which is smaller: 0.2 or m?
0.2
Let x = -0.022 + 138.022. Let u = -141 + x. Which is smaller: u or 15?
u
Let a(s) = 54*s - 185. Let w be a(-15). Is -994 less than w?
False
Let q = 7 - 5. Let b = q + -3. Let d = -1882.1 + 1882. Is b at least d?
False
Let a = -0.22 + 10.22. Let t = 2 + a. Let v = -11 + t. Do v and -0.1 have different values?
True
Let q = -553 - -1025. Does -0.1 = q?
False
Suppose 14 - 8 = 2*j. Let v be 6/((-1)/(-2)*-4)*j. Which is bigger: -10 or v?
v
Let t(k) = k**2 - 7*k + 4. Let x be t(7). Suppose -5*m + 4 = -x*m. Let s(r) = 2*r - 7. Let a be s(m). Which is smaller: -3 or a?
-3
Suppose -5*t + 5*z = 70, -6 = -2*t - 4*z - 4. Which is smaller: t or -62/7?
t
Let w be 3 + -2*(3 - 2). Let j = 636 - 640. Is w smaller than j?
False
Let m(b) = 2*b**2 - 4*b - 1. Let u be m(6). Suppose -3*o - 4 = u. Suppose -7*r - 131 = -12. Is o at most as big as r?
True
Let y be ((-6)/(-90)*5)/(15/(-10)). Is -13.8 equal to y?
False
Let m be (-3 - -25)*(-3)/(-6). Which is smaller: 9 or m?
9
Let r = -14/13 + 71/78. Suppose 5*g + 2 = -3*j - 0, g - 1 = -2*j. Is r <= g?
False
Let h(b) = 28*b**2 + 229*b + 25. Let z be h(-8). Let l(s) = 4*s. Let f be l(-4). Which is greater: z or f?
z
Let u be 2*(620/(-28) + -7). Which is smaller: -59 or u?
-59
Let b be -4 + (8/12 - 232/(-66)). Do 0.08 and b have the same value?
False
Let s be (-41526)/25965*-5 + -8. Is 1 >= s?
True
Let s = 365 - 247. Are 1 and s nonequal?
True
Let g(d) = d**3 + d - 6 - 8*d**2 + 10 - 7. Let w be g(8). Suppose w*p = -0*p. Is 