+ 9 = 5*a, -73 = 2*v + 2*a - 77. Is v bigger than -1/664?
True
Let t = 268561/107426 + 2/53713. Is t greater than -69/5?
True
Let w be -1 + 0 - (93 + -96 - (-11 + 0)). Which is bigger: -370/41 or w?
w
Let l = -99.28 + 98. Let v = l + 0.13. Let b = -1.25 - v. Which is greater: 36 or b?
36
Let x = -339.982 + 335.8. Is 0.1 at most x?
False
Let h = -71.62 - 1.38. Let b = h - -63. Is -4 at most b?
False
Suppose -45*v - 41*v - 16474 = -49240. Is 378 < v?
True
Let d(f) = 19*f - 2. Let w be (3 - 0) + -3 + (-6)/(-3). Suppose 5*u - w*m - 18 = 0, 3*u - 5*m - 14 = -3*m. Let n be d(u). Is 36 smaller than n?
False
Let m = 372 + -372. Let j = 355 + -86. Which is smaller: m or j?
m
Let l(z) = z**2 + 114*z + 442. Let j be l(-4). Are j and 254 nonequal?
True
Let l = 117 + -236. Let z = l - -121. Is 1 > z?
False
Let d be 6*(-27 + 23 - 20/(-6)). Let y = 2 + 0. Let g be -9*(5 + -2 - y). Which is smaller: g or d?
g
Let a(c) = 6*c + 41. Suppose -2*l + 2 = i, 0 = -l + 6*i - 2*i - 8. Suppose l*y - 14 = 3*y - b, -4*b = 3*y + 19. Let o be a(y). Which is smaller: o or 49/4?
o
Suppose -3*y + 1629 = 5*p - 2783, -3*p + 2646 = 2*y. Which is smaller: 888 or p?
p
Let k(z) = 2*z - 5. Let v be k(9). Let o(x) = x**2 - 8*x - 24. Let s be o(v). Suppose -2*n - 37 = s. Which is smaller: n or -38?
n
Let f(m) = -m**2 + 59*m + 200. Let s be f(63). Suppose -4*k - 148 = 4*x + 56, 2*x - 6 = 0. Which is bigger: s or k?
s
Let c be (-615)/30 + 23 - (-5)/(-2). Let i = 8/3 + -4. Is i < c?
True
Suppose 25*o = 37*o + 3012. Let z = -252 - o. Which is bigger: z or 1/155?
1/155
Let w(c) = -220*c**2 - 54*c + 4. Let m be w(3). Is -2139 < m?
True
Suppose 5*g = 5*n - 3565, -g + 2279 = 4*n - 598. Let x = -762 + n. Which is greater: x or -37?
-37
Suppose -7 = -69*m + 70*m. Let j be 80520/(-427) + -1 + (-4)/m. Is j at most -0.1?
True
Let r be -36 - (0*(-10)/(-60) + 5). Let h = 41 + -82. Are h and r non-equal?
False
Let z = 219 - 199. Suppose z*m + 9 = 29. Is m > 6/31?
True
Let m be (-384)/(-36) + -11 - (-3406)/30. Is m != 112?
True
Let j = -16716 - -16716. Which is smaller: j or -14/157?
-14/157
Suppose 2711 = -26*l - 565. Is l > -5?
False
Let a = 767 + -766.975. Let c = -0.175 + 0.1. Let b = c - a. Is -8 > b?
False
Suppose 4*b = 15 - 7. Let c be (b/8)/((-76)/16 - -5). Let p be ((-1)/(-137))/(c - 2). Which is bigger: 1 or p?
1
Let y = 0.5379 + -0.0279. Let l = 9.51 - y. Is l less than or equal to -2?
False
Let p = 1658.5 + -1686.5. Do p and 52 have the same value?
False
Let u = 2807 - 2821.71. Let o = u - 0.24. Let j = o + -0.05. Which is bigger: j or 3/4?
3/4
Suppose -3*x + 6*x = -x. Let r be (90/(-9960))/(2/8). Is r greater than x?
False
Let a be (-3 - (-63)/18)*(92/108 + -1). Do a and -2/23 have the same value?
False
Suppose 4*a + 5*w + 128 - 211 = 0, -w = 5. Is 34 at least a?
True
Let q = -1621 - -1572. Are q and -2 unequal?
True
Let r = -55203/11 - -5019. Let f be (0 + -2 + 1)/1. Let l = f - -3. Is r at least as big as l?
False
Let r be (2*-2)/(7 - 0) + (-2685524)/(-17374). Is r bigger than 769/5?
True
Let x = -6 - -4. Let s(d) = -d**3 - 3*d**2 - d + 2. Let b be s(x). Let y be 159/741 + (2/117)/((-17)/(-153)). Which is greater: b or y?
y
Let k be -3 - -3*(-58)/6. Let t = 35 + k. Suppose -4*i - t = -i. Which is bigger: i or 2/19?
2/19
Suppose -10 = -7*k - 38. Let y be k/2*3*(-4)/(-6). Let h = -22 - -14. Which is smaller: h or y?
h
Let y = -290.1 + 290. Let z = 28 - 0. Let x = -28.76 + z. Are y and x equal?
False
Let c = 1226638 - 8603194/7. Which is bigger: c or -2389?
-2389
Suppose 496973 = 75*x - 44602. Is 7221 at least x?
True
Let z be (-386)/25*-404*9/(-4104). Let l = 13/70 - 1319/6650. Let a = l - z. Which is bigger: a or 14?
14
Suppose -2*q + 5*h - 93 = 0, h = q + 3 + 48. Let x = -6437 - -6384. Which is smaller: q or x?
q
Let q = -363119/6 + 60345. Which is greater: -175 or q?
q
Let s(b) = 33*b + 1. Let l be s(-3). Let f = l - -112. Let u be (-12)/f - 0/1. Is -1 smaller than u?
True
Let c = -6467 + 7484. Is 1010 at most c?
True
Let m = -0.265 - 88.735. Let f = m - -90. Is -14/43 less than f?
True
Let w = -10195 - -10195. Which is smaller: w or 2/473?
w
Let v = 55537/2762757 + -2/11007. Which is smaller: v or 0?
0
Let w = 865 + -860. Suppose -2*t - 91 = 4*m + 131, w*m = -t - 273. Which is greater: -52 or m?
-52
Let v = 6/187 + -609/1496. Let t = 3/4 + v. Is t at least 0?
True
Suppose -26*f + 16*f + 40 = 0. Suppose -29 = -2*l + 5*d, f*d - 36 = -3*l + 9*d. Do l and 5 have different values?
True
Let j be (2/((-2)/601))/(-426 - -444). Is -32 bigger than j?
True
Let c = -23256 + 21981.9. Let u = -1207 - c. Let k = u - 67. Is k <= 0?
False
Let l(j) = 197*j - 1772. Let v be l(9). Which is bigger: v or -4/953?
v
Let c = -4467 + 4472. Which is greater: -1.07 or c?
c
Suppose 5*m = 4*w + 35, 3*m = 3*w - m + 28. Is -2/187 greater than w?
False
Let n = 133 + -227. Let l be (-23 - 4329/(-185))*15/8. Is l > n?
True
Let p be (-64*(-2)/6)/((-17)/(-153)). Suppose 0 = 19*m - 23*m + p. Suppose m = g + 2*z - 7*z, -66 = -2*g + 4*z. Is g > 21?
True
Let z be 2 + -4 + 3 + (-1 - -3). Suppose 10 - 7 = z*s. Which is greater: 1.3 or s?
1.3
Let u(i) = -531*i + 7216. Let z be u(44). Is -16149 < z?
True
Let j = 1.522 + -0.371. Let n = 0.051 - j. Is 0.1 != n?
True
Let c be 15/10 - 1989/(-6). Let k be c/(-45) - (2 + -6). Are -4 and k equal?
False
Suppose 0 = i - 5*r + 92, -2*i - 296 + 88 = 2*r. Is 22 equal to i?
False
Let n = -0.2253 - -0.1853. Are n and 6 nonequal?
True
Let m = -0.22729 + -0.05771. Which is smaller: -2 or m?
-2
Let g = 68.170747 - 0.141747. Let z = 68 - g. Let t = -0.071 + z. Is t less than -30/7?
False
Let l(o) = 12*o - 96. Suppose 27*t - 70*t + 344 = 0. Let y be l(t). Is y at least -2/37?
True
Suppose 10*c - 14*c - 2*q = -18, -4*q + 18 = -c. Suppose c*d + s = 13, -d = -3*d + 2*s - 2. Which is smaller: 3 or d?
3
Let r(h) = -8*h**2 - 111*h - 106. Let n be r(-13). Is -137/9 < n?
True
Suppose -4*m = -25*h + 20*h - 8961, 0 = m + 1. Let b = -36107833019/20165715 - 2/6721905. Let g = h - b. Which is smaller: -1 or g?
g
Let b = 3411 + -23893/7. Which is smaller: -1.55 or b?
b
Let g = -0.0043 + 9.5643. Which is greater: g or -0.1?
g
Suppose 11*y = 15*y + 24. Let u(d) = 2*d**3 + 13*d**2. Let v be u(y). Suppose 3*k + v = 3*j + 12, -4 = 4*k + 3*j. Is -3 at least as big as k?
True
Let n = -8308507/665 + 12494. Suppose -579*q - 364*q + 1239 = 339*q - 43*q. Is q less than n?
False
Suppose r - 15 = 5*i, 4*r - 2*i = 13 - 7. Suppose r = -215*q + 218*q. Is -6/95 at most as big as q?
True
Let t(z) = 4*z**2 - 112*z - 1202. Let o be t(-10). Is o at least 310?
True
Let a = -78379/27 + 2903. Which is bigger: -0.91 or a?
a
Let a = 4.87 + -154.52. Let w = 147 + a. Which is greater: w or -0.1?
-0.1
Suppose 2*l + 2*y = 12, -2*l + 4*y = 9 - 39. Let k(q) = -q**3 + 6*q**2 - 5*q - 1. Let x be k(4). Let a = x - 3. Which is smaller: l or a?
a
Suppose -3*u = 3*x + 9, 0 = -218*u + 219*u - 3*x - 5. Is 3472 less than or equal to u?
False
Let k be (-56)/6*(-6)/(-4). Let v = k - -5. Let c be 12*(-3)/(-12) - 11. Is c greater than v?
True
Let z = 4339 - 4339.2. Is z != 5.2?
True
Suppose -9 = 69*w - 32 - 46. Is w smaller than 2/17925?
False
Let b(g) be the first derivative of -10*g**3/3 + 2*g**2 + 3*g + 52. Let s be b(-1). Let p be -8 + (-1 - -1 - 3). Is s > p?
False
Let z(c) = -c**2 + 11*c + 3. Let x be z(11). Let s be x - ((1 - -1) + 6/8). Suppose 5*h - 3*h = 0. Which is smaller: h or s?
h
Let y = -0.51 - -0.31. Let b be (-606)/(-21)*42/24. Let q = b - 51. Is q bigger than y?
False
Suppose -66*j - 66*j = -150*j. Which is smaller: 54/881 or j?
j
Let c = -128 - -125.25. Let z = -3.75 - c. Which is bigger: 32 or z?
32
Let y = -26959 + 18477. Which is smaller: -2/5 or y?
y
Let f = 0.161 - -1.189. Let w = -7.35 + f. Which is greater: -0.1 or w?
-0.1
Let o = 1540 + -1540. Which is bigger: -408.8 or o?
o
Suppose -2*z + 152 = -3*s, 0 = 4*z - 5*s - 102 - 196. Is z <= 199/3?
False
Let c be ((-387)/78 - -6) + (-1)/2. Suppose -5*s = -s + s. Is c greater than s?
True
Let p = -18305 - -18286. Is 57/10 greater than p?
True
Suppose 4*l - 21 = 3. Suppose 9*x + 5*h + 551 = 7*x, -2*h = l. Is x >= -268?
True
Suppose -2*o + 9 = 3. Suppose 4*j + 3*l - 23 = 5*j, o*j + 5*l = 1. Is j at most as big as -53/6?
False
Let n be 4/5 + -1 - (-480)/(-2600). Let q = 19/117 + n. W