2 - 0. Let o be 978/18 + v/(-3). Is n at most as big as o?
True
Let z be 3*8/1569*(-1)/(-2). Let p = z - -3094/5753. Which is smaller: p or 0.1?
0.1
Let s be 1 - 1 - (-11401)/(-38). Let k = 300 + s. Suppose 153*x - 217*x = 0. Do x and k have different values?
True
Let q be (-15)/31*(-2)/(-5). Let z(u) = -u**3 + 5*u + 1. Let i be -1 + 3/(-5) + (-8)/20. Let c be z(i). Which is smaller: c or q?
c
Let t be 1*-5 + -1108*(-14)/3136. Is t less than or equal to 13?
True
Let y = -1/1319 + 1325/7914. Is y < 279/4?
True
Let h be (0/1)/(30 + -32). Suppose 22 = -2*r - 5*o, 2*o + h = 5*r - 3. Which is smaller: -1/131 or r?
r
Let o = 1 + -2. Suppose 5*y + 5*j = -25, y + 7 = -0*j + j. Let v be y/(-4)*(-4)/8 + 0. Which is greater: o or v?
v
Suppose 103*r = 100*r + 15. Suppose -2*c + 18 = 4*v, c + 15 = -4*c + r*v. Let h be 4/6 - (-7)/(-12). Is c greater than h?
True
Let w be -1 - ((-414)/(-8) - 0). Let g = -16197 - -16148. Let h = g - w. Is 3 >= h?
False
Let n(o) = 2*o**3 - 7*o + 28 - o**3 - 4*o**2 + 21 - 63. Let c be 6 + 0*(3 - 2). Let g be n(c). Which is smaller: 17 or g?
g
Let z be ((-264)/(-2310))/(44/14)*(4 - 1). Let q = -4 - -4. Which is smaller: q or z?
q
Let b be (-8)/(-12) + 12/36 + (-486)/(-20). Is 26 less than or equal to b?
False
Let f = 1510790/83 + -18202. Is f < -1?
False
Let a = -22203/538390 + 1/15835. Is a not equal to 0?
True
Suppose 1030*t = 1029*t. Let q be (-5)/(-85)*(-5 + (t - -263)). Is 16 at most as big as q?
False
Let h(z) = -z**3 + 4*z**2 - 4*z. Let u be h(2). Let o be (5 - 1) + (8176/510)/(-4). Which is smaller: o or u?
o
Let b = -4 - -3.95. Let z(r) = 37*r + 102. Let q be z(-2). Let p be 20/(-36)*q/(-70). Is p at least as big as b?
True
Suppose 0 = 2*n - 3*r + 20, 7*r - 24 = n + 2*r. Let u be 5/n*6/90. Are -0.1 and u equal?
False
Let m = -10639.9 + 10640. Which is smaller: m or 388.5?
m
Let s = 127 - 126. Let h be 5 + (-1)/((-5)/365). Which is smaller: h or s?
s
Let f = 5999 - 6154. Which is greater: -58 or f?
-58
Suppose -79*j + 621367 = 32*j - 323021. Is j at least 8508?
True
Let g = 31773619/1121 - 28344. Which is bigger: g or 1?
1
Let l = -88553356/94493 - 12/13499. Are l and -938 equal?
False
Suppose 7*j - 5*q + 8 = 0, 5*j = -38*q + 36*q + 11. Let z = 455716/247 + -1845. Which is bigger: j or z?
j
Let w = 65371 + -65370.9. Let f = -48.043 + 0.043. Which is smaller: f or w?
f
Let s(n) = n**3 + 27*n**2 - 62*n - 57. Let g be s(-29). Which is smaller: g or 49?
49
Let t(m) = 5*m**2 - 9*m + 34 - 8 - 17 + m**3 - 2*m**3. Let r be t(3). Are -1.36 and r unequal?
True
Let m be (-1)/(-4) + (654/8 - 3). Suppose -22 = 3*f - m. Suppose f = -8*r - 5. Are r and -7/4 non-equal?
True
Let m(n) = n**2 - 82*n - 1444. Let q be m(-22). Is q != 847?
True
Let y(g) = g + 15. Let l be y(-12). Suppose u + 7 - 42 = 3*q, 5*u + l*q - 121 = 0. Suppose -u + 1 = -5*o. Is o at most 7?
True
Suppose g - u = 0, -g + 4*u + 0 - 9 = 0. Let m be (-2)/(-15)*g - 344/(-40). Which is smaller: m or -0.03?
-0.03
Let v be 4/(-1) + (-6)/1. Let g be (8/v)/((-68)/(-20) + -3). Let m be 5/2*(g + 2*8). Is m less than or equal to 35?
True
Let s = 442 + -426. Let v(x) = -4*x + 62. Let y be v(s). Is 0 < y?
False
Let g = -5.681 - -5.621. Which is smaller: 311 or g?
g
Let b = 3063275/33 + -92781. Which is smaller: 47 or b?
b
Let i = 33.14 + -33. Let f = i + 0.14. Let a = 2.6 + -2.5. Are a and f unequal?
True
Let j be (22/(-74))/(5/20). Let s = j - 344/333. Is s at least -1?
False
Let h(v) = -2*v**3 - 2*v**2 - 15*v - 59. Let l be h(-5). Is l not equal to 215?
True
Suppose 2*r + 3*n - 498 = 0, 0 = r + 2*r + n - 747. Suppose 2*o + 9 = 3*s + 16, 0 = 5*s + o + 3. Let h be s*((-12)/18 - r/(-333)). Which is bigger: -1 or h?
h
Let r be (1/4)/((-60)/240). Let n = -6 + 6. Suppose -3*d - s - 7 = n, 13 = 4*d - 5*s - 3. Is d != r?
False
Let k be -12 + 224/14 + 15442/(-3860). Is k greater than 0?
False
Let v = 6609 - 9765. Does v = -3155?
False
Suppose -159 = 5*v - 4*h, 94*h - 93*h = 1. Which is bigger: -73 or v?
v
Suppose -24817 = 175*k + 7908. Are k and -172 equal?
False
Let k = 30 + -14. Let w = 20 - k. Let d = 1602 + -1597. Which is bigger: d or w?
d
Let s = -13.75 + 13. Let b = s - -0.715. Let l = b - -5.035. Are l and 1 unequal?
True
Let i = 3840.1 + -3840. Which is greater: 0.1592 or i?
0.1592
Let g(z) = 2*z**3 - 9*z**2 - 7*z + 11. Suppose -772*r = -773*r + 5. Let d be g(r). Is -3/389 greater than d?
False
Let k(m) = 8*m**2 + 57*m + 5. Let q be k(-7). Let v be ((4/10)/q)/(42/(-525)). Which is smaller: v or 9?
v
Let g = -92.82 + 0.82. Let j = 91.9 + g. Suppose -3*w + 29 = -1. Which is smaller: j or w?
j
Let g be (-42)/30 - (-11739)/4810. Which is smaller: 1 or g?
1
Let h = -0.123 - 28.877. Let n = h + 30. Which is greater: n or -78?
n
Suppose 62*p - 68*p = -2094. Let j be (p/37 - 7) + -3. Which is greater: -1 or j?
j
Let r = -0.01 + -0.83. Let s = 0.16 - r. Which is smaller: 6 or s?
s
Let g be (2 + (-8 - 2))*(-42)/6. Let l = g + -48. Let n be 19/72 + l/(-36). Is 0 > n?
False
Let u(f) = 2*f**2 + 23*f - 33. Let w be u(-14). Suppose w*m + 426 = 31*m. Are -71 and m non-equal?
False
Let l = -89 + 87. Suppose -5*m - 3*g = -205, -164 + 56 = -2*m + 4*g. Let f = m - 77. Is l greater than f?
True
Let o be -2*(9 - 8)*1*1. Let r = -69/5 - -4697/340. Which is smaller: r or o?
o
Let b = -11219 - -11219. Is b greater than 100/79?
False
Suppose 29 = 13*b - 36. Suppose 20 = -3*x + x - b*u, 5*x + 20 = -5*u. Suppose 2*g - 5*g + 3 = x. Is 0.08 <= g?
True
Let y be ((-30)/8)/(((-1704)/224)/71). Suppose -2*q + 4*v = -126 + 40, 3*q - v = 124. Let u = -5 + q. Which is bigger: y or u?
u
Let o = 5 - -3. Let i = 191.9 - 202. Let h = i + 9.1. Is o bigger than h?
True
Suppose 0 = -g - a + 21, 3*a = -2*g + 5*a + 30. Let j(t) = 8*t - 234. Let l be j(g). Do -88 and l have different values?
True
Let n = -13 - -30. Let h = -382 + 572. Let p = h - 173. Is n <= p?
True
Suppose -4*x - 3 = -5*y - 15, 24 = -5*y - 2*x. Let g = -12027/3820 - 97/955. Which is smaller: g or y?
y
Suppose -6*y - 58 - 334 = -2*h, -h + 5*y = -202. Which is greater: 235 or h?
235
Let p be 13/52 - 36395/4 - 1/(-2). Is p less than or equal to -9098?
True
Let g be (13137/(-348) + 48)/(2/(-8)). Suppose -5*j + 460 = -0*j. Suppose -4*n = 2*v + 174, v - 31 = 3*n + j. Are g and n unequal?
True
Let t = -115.3 - 1.7. Let m = t - -128.3. Which is bigger: 0.1 or m?
m
Let k(u) = -7*u**3 + u**2 + 4*u + 2. Let w be k(-2). Suppose 0 = 4*s + 3*l - 72, 0 = -s + 4*s + 4*l - w. Is 164/9 greater than s?
True
Suppose -3*k + 27*j - 29*j + 226 = 0, -3*j = 3*k - 231. Let d be ((-6 - 3)/k)/(3/(-81)). Suppose 0 = 7*m - 4*m - 9. Which is greater: d or m?
d
Let r = 245 + -372.3. Let w = 21.3 + r. Let q = w + 106.2. Which is smaller: q or -17?
-17
Suppose 0 = -5*i + 3*w - 8*w + 40, 5*w = 20. Suppose 8*k + 4*x = 4*k, 3*k = i*x. Let u be (72/(-68) - -1)/(2/12). Which is greater: u or k?
k
Let q = -1365 + 1366. Suppose -4*a = 3*d + d + 68, -d - 25 = 5*a. Let r be (-4)/14*(-7)/d. Which is smaller: q or r?
r
Let x = -8604 + 6122. Which is bigger: 0 or x?
0
Let b be 3/(-492)*105/60*136. Is b < -1?
True
Let c(v) = 2*v**3 + 37*v**2 + 19*v + 20. Let k be c(-18). Let n be ((0 - 0)/k)/(-26 + 24). Are n and 4/109 unequal?
True
Suppose -30 + 54 = 8*i. Suppose 4*o + 84 = 5*c, i*c + 6 = -3*o - 57. Which is greater: o or -9?
-9
Let x(g) = 13*g**2 - 4. Let r be x(-1). Let w = -5 + 16. Are r and w equal?
False
Let o = -87 - 498. Let y = o + 590.61. Which is smaller: 2/3 or y?
2/3
Let g = 6 + -10. Let n be g/5*10*(-3)/(-12). Let y be 70/n + (-28)/7. Which is smaller: y or -38?
y
Let m(o) = -96*o - 1727. Let i be m(-18). Let v = -34 - -64. Do v and i have the same value?
False
Let o be (8/(-14))/((-42)/147). Let j be (132/(-6))/(1/o). Is 0.1 greater than or equal to j?
True
Let b = -31/2457 - -1270889/49140. Let f = 105/4 - b. Is f < 0?
False
Suppose -2*n - x = 105, -2*x = 5*n - 325 + 585. Which is smaller: n or -39?
n
Let l = -1274 - 2468. Let k = l - -1927. Let f = k - -19995/11. Is 3 equal to f?
False
Let h = 206 - 157. Let z(i) = i**3 + 9*i**2 + 7*i - 17. Let x be z(-5). Which is smaller: x or h?
x
Let w = -91 + 163. Suppose -22*j = -26*j - w. Are 4 and j equal?
False
Let a = -7695 - -6122. Is a > -1570?
False
Suppose 3*l = -2*i + 83, 5*i + 0*l - 216 = l. Let s be -1 - -1 - (-342)/8. Let q = s - i. I