Let h = -1.8 + 21.8. Let k = h - 20.1. Is k bigger than 2?
False
Let n = 208 + 183. Do n and 391 have different values?
False
Let b = -30 - -40. Let t = -0.1 - -9.1. Let f = b - t. Which is bigger: f or 0.02?
f
Let b be -167*-4*(-2)/16*2. Which is greater: 1/3 or b?
1/3
Let x = 261.026 + -0.026. Let s = 260 - x. Let j = 10 + -4. Which is greater: j or s?
j
Let o(d) = 2*d + 2. Let b be 16/4*6/(-8). Let z be o(b). Let r be z/(-22) - 106/(-22). Is 4 at most as big as r?
True
Let x be -1*(110/27)/((-8)/(-12)). Which is greater: x or -7?
x
Let s(d) = -5*d + 10. Let o be s(5). Let p be ((-4)/10)/((-3)/o). Is p equal to 8?
False
Let u = 477 - 477. Which is smaller: 6/7 or u?
u
Let t be (3512/(-105))/((-1394)/5). Let g = t - 2/861. Which is smaller: 1 or g?
g
Let s(a) be the first derivative of -a**2/2 + 10*a - 5. Let f be s(11). Let r be f*6/45*-3. Is 0.1 < r?
True
Let m = -265.8 + -50.2. Which is smaller: m or 1/2?
m
Let g be 16/5 - (-20)/25. Let w be g + -1 + (-96)/40. Which is greater: w or 2?
2
Let h = -16 + 16. Let n = -0.1 + h. Which is smaller: -0.18 or n?
-0.18
Let s(x) = -20*x**3 + 24*x**2 - 3*x + 7. Let y(l) = -7*l**3 + 8*l**2 - l + 2. Let g(t) = -6*s(t) + 17*y(t). Let h be g(8). Is h at least -1/2?
True
Suppose -10*y = -2*y + 8. Let f be (-5 - -6) + 12/(-2). Let j = 6 + f. Is j equal to y?
False
Suppose -7*k = 20*k - 108. Which is greater: 52/11 or k?
52/11
Let i(m) = -4*m**3 + 31*m**2 + 15*m + 18. Let z be i(8). Is 72 less than or equal to z?
True
Let n(u) = -u**2 + 24*u - 27. Let x be n(22). Let j be (10/(-4))/(((-833)/(-28))/x). Is j at most as big as -2?
False
Let y(f) = -f + 41. Let u be y(37). Is 7/2 at least as big as u?
False
Let d(l) = l**2 + 8*l - 1. Let s be d(5). Suppose 7*c = -204 + s. Is -1 less than c?
False
Let b be 35/(-1334)*(-1175)/35. Let x = b + -31/46. Is x less than or equal to -1?
False
Suppose 5*u = -5*c - 30, -5*c - 24 = -u - 0. Let f be (9/(-5))/(66/15 - 1). Is u greater than or equal to f?
False
Let a = -62309221/304 + 204964. Let o = -7/16 - a. Are o and 1 equal?
False
Suppose -4*v + 47 = -q, -2*q - 2*v - 35 = -q. Let s be 30/70 - 566/14. Is q bigger than s?
True
Let g = -1961 - -1957. Let f = -73/42 - -13/6. Does f = g?
False
Let t = -2021 + 1893.7. Let r = 128 + t. Which is smaller: 3 or r?
r
Let n be 1 - ((-9)/(-3) + -3). Let l be (-30)/16 + 2 - 0/(-14). Is l greater than or equal to n?
False
Let r(g) = 4*g**2 - 3*g + 3. Let c be r(-8). Suppose 5*o - 2*v = -0*o + c, 4*o - 236 = 4*v. Does -0.1 = o?
False
Suppose 6*r - 63 = 3*r. Suppose 8*h - 5*h - t + 89 = 0, h + 4*t + r = 0. Let w = 20 + h. Is -8 at most w?
False
Let v = 0.15 + -14.15. Let i = 14.2 + v. Let r = i + 0.8. Which is smaller: r or 15?
r
Let k(f) = -9*f + 1. Let b be k(4). Let m be (14/b)/((-1)/30). Let l = 13 - m. Do -2/29 and l have different values?
True
Suppose 4 = 5*p - p, 0 = 2*l + p + 161. Let g be (10/(-15))/(-3 - 249/l). Which is smaller: g or -31/4?
g
Suppose -31*x - 12 = -25*x. Is x bigger than -51?
True
Let h be ((-3)/(-2) + -1)/(-2). Let m(k) = -3*k**2 - 120*k + 1. Let l be m(-40). Which is bigger: l or h?
l
Suppose 283 - 91 = -32*p. Let o = -25 + 16. Which is bigger: o or p?
p
Let h = -261.2 + 259. Is h less than 7?
True
Let p be ((-2)/3)/2 + 11716/(-87). Which is smaller: p or -134?
p
Suppose 6 = 3*p - 5*p. Let n(a) = -a - 2. Let l be n(p). Let b(t) = 9*t**2 - 1. Let s be b(l). Which is smaller: s or 7?
7
Suppose -31*o + 25*o = 804. Is -0.1 bigger than o?
True
Suppose 1 + 34 = 5*k. Let v = k - 6. Suppose 3*t = v + 2. Is -0.1 < t?
True
Let a = 24 + 8. Let r be a/(-45) + 4/6. Is r at least 0?
False
Let i be (-113)/(((-16)/(-4) + -2)/2). Let p = -114 - i. Let v = 213 - 3196/15. Which is bigger: v or p?
v
Let s be (14 - 13)*(-3 + 2). Is -2/49 greater than s?
True
Suppose -2*z + 2 = -4. Suppose 4*a = -4*j + 24, -6*j + 2*j = -4*a + 8. Is j at most z?
True
Suppose 11 = 5*v - 3*q, -2*q - 8 = -5*v + 2*q. Suppose 6*c = -y + c - 30, -5*y = v*c + 45. Let d be 28/238 - (-554)/(-85). Which is bigger: d or y?
y
Let i = -6.46 + 2.57. Let b = 0.11 - i. Let v = -603/11 - -55. Which is smaller: v or b?
v
Let i = 3818/5 - 761. Which is smaller: i or 2?
2
Let c(q) = -q**3 + 4*q**2 + 4*q + 4. Let d be c(5). Let y(n) = -n + 8. Let a be y(10). Is a smaller than d?
True
Let r(c) = c**2 + c + 2. Let j be r(-2). Suppose 5*n = 5*u - 45, -5*u + 6 = 2*n - 11. Suppose 4*x - u*p - 21 = 4, -j*x + 4*p + 24 = 0. Is 7 at most as big as x?
False
Let p = 3.488 + -4.971. Let y = p + 1.4. Is 1 >= y?
True
Suppose 16 = 7*y - 320. Let w be 2/(-16) - (-7 + 354/y). Are 1.1 and w unequal?
True
Let q be -4*(1/6 - 0). Let d = 17.3 - 18. Let k = -1.6 - d. Which is smaller: q or k?
k
Let u = 14.69 + -15. Let n = u + -0.69. Let x = -1.1 + 2.8. Is x < n?
False
Let x = 138 + -138.94. Let c = x - 0.06. Is c greater than 3?
False
Let k be ((-12)/8)/(3/(-4)). Suppose -5*h - k*q + 12 + 11 = 0, -h - 9 = -3*q. Suppose 7*l = h*l. Is l at most as big as -3/2?
False
Let o = -297.03 - -297. Is o bigger than 0.14?
False
Let x be (-5 + 5)/(-21 + 11). Which is smaller: -3/44 or x?
-3/44
Let d(j) = -2*j**3 - 13*j**2 - 44*j + 5. Let u be d(-5). Is 151 equal to u?
False
Suppose 14*t - 88 + 592 = 0. Which is greater: t or -1?
-1
Let v be (-124)/(-186)*(-6)/(-14). Which is greater: v or 0.63?
0.63
Let w be (-3)/((-6)/(-4) + -3). Let v(a) = -a**3 + a**2 - 3*a + 1. Let g be v(w). Suppose -108 = -s + 13*s. Is g bigger than s?
False
Let n(t) = -3*t - 6. Let z be n(-3). Let x be (-394)/170 - z/51*-2. Is -1 less than x?
False
Let y = 3.1 - 4.6. Let s = y + 1.5. Do 0.3 and s have different values?
True
Suppose 5*o - 19 = -4, r - o = 9. Is r bigger than -3?
True
Let r = -94 + 93.9. Is 84 >= r?
True
Let q(v) = -v + 6. Let c be q(2). Suppose c + 2 = a. Let h be (a/117)/((-2)/(-6)). Is h <= 1?
True
Suppose 2*x = -3*j + 25, 5*j - 4*x - 3 = 2. Suppose 0 = 4*r + 11 + 5. Let g be 51/12 - (-1)/r. Is j bigger than g?
True
Suppose -2*l - 5*p - 25 + 70 = 0, -5*l + 5*p + 25 = 0. Suppose 0 = -4*v - h + 96, -5*v + 113 + l = 2*h. Is 21 less than v?
True
Let x(m) = -27*m**2 - 17*m + 83. Let n be x(5). Is -678 equal to n?
False
Let x = 0.891 + -41.051. Let w = x - -40. Which is smaller: -1/4 or w?
-1/4
Let l = -823/2907 + -5/153. Let p = 5/76 + l. Let z be ((-2)/2)/(0 - -1). Are z and p nonequal?
True
Let w(r) = r**3 - 15*r**2 + r - 22. Let i be w(15). Which is bigger: i or 42?
42
Suppose 10*p - 21 = 5*p + 4*d, -2*p + 11 = d. Suppose 36 = 4*s - 4*m, 6 = p*s + 5*m + 1. Suppose -s*l - w = 33, l + 3*w = 5*w. Is -3 < l?
False
Let m = 1103 + -1077. Which is smaller: 42 or m?
m
Let m = 94 - 40. Let p = m - 55. Which is bigger: 0.35 or p?
0.35
Let u = 468 - 475. Suppose 4*c + 1 = -3*g + 2, 0 = -5*g - 4*c - 9. Are g and u equal?
False
Let t be -6 + 1 + -11*(-776)/1672. Which is smaller: -1 or t?
-1
Let n = 189 + -379. Let w = -14972 + 44341/3. Let z = w - n. Is -1 greater than z?
True
Let x(v) = 6*v**2 - 11*v + 57. Let c be x(4). Which is greater: c or 106?
c
Let f = -1 + -5. Let b be (-2)/f*(2 + 1). Let v = -5 - -5.06. Is v != b?
True
Let b(d) = d**3 + d**2 + d + 3. Let p be ((-3)/(-6)*0)/(-1). Let a be b(p). Let u be a/(-6) + 9/10. Is u <= 1?
True
Let z(j) = 2*j + 53. Let x be z(-25). Let r be -7 + x + 2 + 0 + 1. Is r at least as big as 1/86?
False
Let d(g) = -g**2 + 12*g - 16. Let a be d(10). Suppose -a*n = 17*n - 21. Is 1/59 <= n?
True
Let m be 8/(-2) + 59/(-1) + 7. Is m bigger than -64?
True
Let l(v) = -9*v**2 - 2*v + 20*v**2 - v**3 + 1 - 5*v**2 - 7*v**2. Let a be l(0). Is a smaller than -7/15?
False
Let q = -17 - -17. Let h(s) = s**2 + s - 154. Let g be h(q). Let u be (-4)/22 - 1106/g. Is u at most as big as 7?
True
Let b = -125.2 + 125.1. Let j = 28.93 - -0.07. Is b < j?
True
Let z = -443 + 279. Which is greater: z or -165?
z
Let v be (-66)/(-242) + (-5398)/19954. Which is smaller: v or 1?
v
Let i(f) = -f**2 + 6*f - 3. Let u be i(2). Suppose -10 = -5*x + 2*x + 4*y, u*x = y + 11. Let q be -2*2/12*-3. Is q smaller than x?
True
Let j = 90 + -144. Let h = j - -54. Is h < 22/15?
True
Let p = -439 + 432.14. Let o = p + -0.14. Let c = -1095 - -1095. Does c = o?
False
Let i(a) = -a**2 - 14*a + 10. Let x be i(-12). Suppose 4*p - x = 6. Let t = 1 - -11. Which is bigger: t or p?
t
Suppose 234 + 446 = -10*o. Let f be o + 72 - (-1)/5*-