 = 0.55 - v. Is 9 > o?
True
Let p be (-18)/(-24) - -6*(-8392)/15936. Is -1 > p?
True
Suppose -1458 = -8*t - 1106. Suppose -128 = -5*w + 102. Are t and w equal?
False
Suppose 4*a - 348 = y, y + 4*y = 3*a - 278. Let x = 168 + -83. Which is smaller: x or a?
x
Suppose 3*o = -0*g + g - 7, -2*o + 7 = -3*g. Let t be 5 + -1 + g + 18. Suppose 0 = 7*n + 4 + t. Is n greater than or equal to -1.5?
False
Suppose -9*g + 1107 = -90. Let p = g + -204. Do -71 and p have different values?
False
Let a = 29.82 - 29. Let x = a - 0.935. Let s = x + 0.095. Is 0.2 <= s?
False
Let b = 1048 - 692. Suppose 5*f - 2*f + b = -2*s, 0 = s + f + 177. Is s equal to -351/2?
False
Let u = -1.005 + 1.13. Let k = u + -0.025. Is k at most -159?
False
Let m = -223.74 + 221. Let b = -2.7 - m. Let q = -4.63 - -0.63. Which is smaller: b or q?
q
Let y(n) = -3*n**2 + 3*n + 9. Let h be y(4). Let d = h - -16. Suppose 4*p = -4*q - 68, 4*p - 7 = q + 3*p. Are d and q equal?
False
Let j be 3/6 + (2/(-16) - (-72)/(-1728)). Let r = 45 + 13. Let k be 3/(-12) + r/8. Do k and j have the same value?
False
Let b = 76 - 77. Let q be (-18)/33 - 240/286. Which is greater: q or b?
b
Let o = 2.72 + 0.1. Let q = o + -2.32. Which is bigger: q or 16/3?
16/3
Let j be -7 + (3 - -5) - 8/10. Suppose 6*v = 2*v + 4. Let b = v - 1. Is j greater than b?
True
Suppose -3*w + 15 = 9. Suppose w*g + 102 = -138. Is -121 equal to g?
False
Let h = -3/239 + -1658/1195. Let g(u) = 24*u - 97. Suppose 10 = -27*m + 29*m + x, -3*m = -4*x - 4. Let n be g(m). Is h >= n?
False
Let b = -68 - -134. Suppose 2*q + 39 = -5*s, 14*q - 11*q + 3*s = -45. Let y be 12/b + q/(-55). Does y = -0.07?
False
Suppose -2*d - q = -7, 5*d + 3*q - 18 + 2 = 0. Suppose 0 = -3*x + 28*m - 24*m - 6, -4*x + m = -18. Suppose x - d = -l. Is l less than or equal to -6/11?
True
Let n = -1.0165 + 0.8165. Is n < 532/3?
True
Suppose -4*n = 4*c + 768, -5*c - 4*n - 936 = -5*n. Let a = 6124 + -6313. Is c bigger than a?
True
Suppose -14*n = -16*n - 116. Let s = -14222/15 - -2674/3. Are s and n non-equal?
True
Suppose 2*m = -5*z - m - 10, -3*z = -4*m + 35. Let k(w) = 49 + 56 - 156 + 56 + w. Let u be k(z). Is 5/37 equal to u?
False
Let v be 20/80 + (-1)/4. Suppose v*r + 2*r = 0, -5*j = -2*r + 225. Let g = -43 - j. Is g >= 3?
False
Let p = 794/13 + -23821/390. Is -1 != p?
True
Let x = 4 - -93. Let y be x + 3 + -12*10/15. Which is bigger: y or 90?
y
Let f = -261.9842 + -0.0158. Let o = f - -268. Which is smaller: o or 0.3?
0.3
Suppose 5*h = -15, 15*z + 10024 = 19*z - 4*h. Is 2503 less than or equal to z?
True
Let j be (19/(-532))/((-6)/56) + (-14)/24. Which is smaller: 22701 or j?
j
Let l(d) = -d**3 - 8*d**2 + 10*d + 10. Let j = -62 - -112. Let z = 41 - j. Let q be l(z). Is 2/19 < q?
True
Let a be 2363/187 + 14 + -27. Let g be (-36)/(-8)*(-1)/6. Is g bigger than a?
False
Let g(u) = u**2 - 14*u + 25. Let n be g(7). Let t be 46/6 - (-10 - 256/n). Is 0.9 at most as big as t?
True
Suppose 3*y = 2*o - 3*o + 130, 4*o - 16 = 0. Let k be ((-4)/(-10))/((-2 - 0)/(-20)). Suppose y + 26 = k*z. Which is smaller: 13 or z?
13
Let t be 2 - (-445364)/(-90576)*3. Let z = t - -2/1887. Suppose -9*p = p + 120. Are p and z equal?
False
Suppose j + 342 = -2*j. Let h = 10 + j. Which is greater: -103 or h?
-103
Let g be (20/102)/(295/(-15) + 22). Which is smaller: g or 0?
0
Suppose -5*t + s = -0*s - 13, 3 = 3*t + s. Let m be ((-997)/(-693) - t) + 8/14. Is -2 bigger than m?
False
Let d = 48.65 - 48. Let z = -1.65 + d. Is z bigger than 192?
False
Let a be -723*(6 - (-187)/(-33)). Is -242 < a?
True
Suppose -9*w = -117 - 1737. Suppose -15*x - w = -16*x. Do 204 and x have the same value?
False
Let o = 62904/20605 + -324/317. Which is bigger: 1 or o?
o
Let w(m) = m. Suppose -3*k + 4*d = 12, -5*k - 2*d = -3*d + 3. Let h be w(k). Let a be -4 + h + 1 + 4. Which is bigger: 1/11 or a?
a
Let q = -883986/85 - -10400. Which is smaller: 1 or q?
q
Let u = 349 + -369. Let l be 100/u + (-139 + 3 - 1). Are l and -0.1 equal?
False
Let t(u) = -4*u**2 - 10*u**2 - 5 + u**3 - 2*u**3 + 6*u**2 - 3*u. Let x be t(-7). Let r be 2 + ((-180)/x)/(-3). Which is greater: r or 0?
r
Let l(b) = -b**3 + 13*b**2 - 9. Let c be l(13). Let a(y) = -y**2 - 10*y - 14. Let o be a(c). Let d be o + (3 - -1) + -25 - -1. Which is greater: d or 2?
2
Let y = 6/47 - 15082/329. Is -46 less than or equal to y?
True
Let w(p) = 4*p + 43. Let z be w(-7). Suppose -29 = z*v + 16. Let k = -19.1 + -0.9. Is v at least as big as k?
True
Let n be (-500)/400*6/1525. Is n smaller than 1/2?
True
Let k be (-7 + 5 - 132/9)/42. Which is bigger: 0 or k?
0
Suppose -2*n = 5*i - 42245, i - 4*n = 4*i - 25347. Let b = -2086899/247 + i. Which is bigger: 0 or b?
b
Suppose c - 3*c = 7*c. Let d = -50 + 246/5. Is c equal to d?
False
Let l be ((-3)/2)/(12/360). Let p be l/(-20)*(9 + 3)*-1. Let s = p - -22. Which is smaller: -2 or s?
s
Suppose 4*k - 105 = -a + 20, -2*a = k - 243. Let t = -57 + a. Let q = -1056 - -1119. Which is greater: q or t?
t
Suppose -2*b - 2*j = -6, 2*b - 8 = -2*j - 2*j. Let t be ((-5)/(-6)*b + 1)*-9. Which is greater: -49/2 or t?
t
Let b(x) = x**2 - 3*x + 1. Let f be b(4). Suppose 0 = -9*i + 5*i - 2*t - 46, -25 = i + f*t. Is -11 greater than i?
False
Let m = -8417.6 + 8418. Is m equal to 124/17?
False
Suppose 3*u = -253 - 143. Let c be ((-42)/u + -1)*2/6. Which is greater: c or 1?
1
Let a(x) = 46*x + 141. Let h be a(-4). Suppose -4*u + n + 113 = -138, -5*u + 319 = 4*n. Let o = h + u. Which is smaller: o or 19?
19
Let h = -11.3 - -1.3. Let x = 10.2 + h. Let y = 104 - 100. Which is smaller: y or x?
x
Let w = 25.906 - 46.89. Let z = w + 21. Is -0.1 at least z?
False
Let q(x) = -2*x**2 + 134*x - 161. Let k be q(50). Is k < 1538?
False
Let k(u) = -27*u**2 - 2*u - 3. Let m be k(-2). Let w = 73 + -182. Which is bigger: w or m?
m
Let s(q) = 3*q**2 - 24*q - 93. Let c be s(15). Let p = 229 - c. Is 3 at least p?
False
Suppose 0 = -239*c + 246*c + 1650915. Let u be (-31716)/c - 4/30. Is 0 at least as big as u?
False
Let u(m) = -m + 30. Let h be u(27). Let t = -6 + h. Let l be (-2)/t*11/(-33). Is l >= -26?
True
Let k be 130/(-52)*2*-2. Let j be (-120)/1000*k/(-12). Let q be (0/4)/(2*-1). Is q at least as big as j?
False
Let u be (1/(-2))/(6/(-4)). Let h(o) = -o**3 + 17*o**2 + 21*o - 54. Let s be h(18). Let v(a) = -3*a**2 - 26. Let f be v(s). Which is smaller: f or u?
f
Let r = 3.169 - 3.26. Let t = 0.231 + r. Are t and -0.1 nonequal?
True
Let y = -131.86 - -131. Let p = y - -1.14. Is -0.1 at least as big as p?
False
Let t be (480/(-320))/((-2)/4) - 14*79. Is -1088 bigger than t?
True
Let v = -65523 - -295443205/4509. Does 1 = v?
False
Suppose -20*p + 13*p = -7. Let n be p + 4 + (-203)/49. Which is smaller: n or 1?
n
Let v be ((-40)/120)/((-4)/14 + (-1765)/(-6153)). Which is smaller: v or -300?
-300
Suppose 0 = -4*s - 5*o - 335, 6*s - 2*s = 4*o - 308. Let w be (288/s)/(-3*(-2)/15). Let q = -20 + 9. Is w > q?
True
Let n = 1119 - 1119.1. Which is smaller: n or -24.09?
-24.09
Let q = -1.492 + -1.508. Is 206 equal to q?
False
Let r = -5812 - -6067. Do r and 261 have the same value?
False
Let w be 16 - 9/(9/(-14)). Let o be 0 - -29*(-3)/(-3). Which is bigger: w or o?
w
Suppose -276*g + 282635 + 220135 = -189714. Which is bigger: 2507 or g?
g
Suppose 3*t + 5 = 8*t, t = -2*a + 37. Suppose 17*v - a*v = 70. Let m be -2*(-1)/(-4) + v/(-148). Which is smaller: m or 1?
m
Let y = 231 + -1053/5. Let v = y + -1719/85. Suppose 2*h + 2*h = 0. Which is smaller: h or v?
h
Let z = 348982 + -1036843/3. Which is greater: z or 3369?
3369
Suppose 314 - 339 = -5*a. Suppose 2*c + c = -o + 95, -a*c - 119 = -o. Is 1 at least o?
False
Let g = -92 - -187. Let n(q) = -75*q - 2. Let f be n(1). Let i = g + f. Which is smaller: i or 19?
i
Let h = 509/3 - 2689/15. Let o = -1925 - -1915. Does o = h?
False
Let z be (-352)/(-28) - (-16)/(-28). Suppose -3 = 4*v - 2*v - x, -5*v + 4*x = z. Suppose v*g + 4*g - 4*t - 148 = 0, g - 2*t - 42 = 0. Is g < 32?
False
Let t = 495 - 593. Which is smaller: t or -100?
-100
Let y = 284 + -283.911. Let g = -2.089 + y. Which is smaller: 0.023 or g?
g
Let d be ((-15)/2)/((-6)/2) + (453 - 456). Which is smaller: d or 125?
d
Let j = -614 + 387. Let d = 253 + j. Let o(f) = 25*f**2 + 1. Let q be o(-1). Do q and d have different values?
False
Suppose -5*t - 265 = -4*f, 91*t = 86*