*g - 5. Let a be v(-1). Suppose 3*x - a = -3*t - 91, 5*x + 117 = -4*t. Which is smaller: -107/4 or t?
t
Let p = -205 - -4333. Are p and 4130 equal?
False
Suppose 190*h + 4408 = 198*h. Which is bigger: 554 or h?
554
Suppose 3*u = -2*q + 65 + 57, 4*u = -2*q + 164. Which is smaller: u or 96?
u
Suppose -k + 425 = 3*t, 598 = 3*k + t - 709. Let x = -4800/11 + k. Suppose 4*c + 5*l = 6 - 27, -4*c = 3*l + 11. Is c greater than x?
True
Let g = 2.01 + -4.45. Let b = g + 1.24. Which is bigger: 0.03 or b?
0.03
Suppose -2*f + f + 213 = 3*w, 4*w + 178 = f. Let g = -218 + f. Which is bigger: g or -18?
-18
Let x = -6009 - -6008.262. Is x > -0.3?
False
Let s = -374788 - -14990357/40. Let h = 235/8 + s. Which is smaller: -31 or h?
-31
Let k = -101.5 + -434.5. Let m = -520 - k. Which is greater: -4 or m?
m
Let f(j) = -2*j**2 - 63*j + 502. Let o be f(8). Let m = 33 - 34. Which is smaller: o or m?
o
Suppose -3*a + 5*l + 639 = 0, -4*a = 8*l - 13*l - 847. Is 827/4 at most as big as a?
True
Suppose 4*g + 2202 = k, -2400 = -5*k + 4*g + 8690. Is k at most 2222?
True
Let f be (-19032)/120 + 33/55. Is -178 at least f?
False
Let r = -12/4759 - -14625/138011. Suppose 3*d + 3*t + 6 = 0, d - 5*d - 2*t = 2. Which is smaller: d or r?
r
Suppose 142*c - 1668 = -744 - 9160. Are -2/25 and c non-equal?
True
Suppose -5*s - 40 = 0, -2*s + 50 = -j + 138. Which is smaller: j or -15?
-15
Let b = -17 - -20. Let m be 3/((2/b)/((-52)/39)). Let a = -4 - 0. Which is greater: m or a?
a
Let p = 459/2848 + -6/89. Suppose 2*l - 7*l = l. Is l less than or equal to p?
True
Suppose 5*f + 643 = 35*a - 34*a, -4*a + 2522 = 5*f. Which is smaller: 3 or a?
3
Let c = -2377 + 1437. Is c < -2/7?
True
Let m = -171490203905217/1655 - -103619453434. Let d = m + 5119. Which is smaller: -1 or d?
-1
Let g = 3422 + -3421. Which is bigger: g or -2241?
g
Let z = 1125.4 + -1125. Which is bigger: z or -0.07?
z
Let c = -45 - -98. Let g = c + -52.9. Is g != 127?
True
Let y = -18052 + 18370. Is 318 less than or equal to y?
True
Let u = -184 + 550. Let x = u + -366. Which is smaller: x or -3/8?
-3/8
Suppose 4*m + 4*h = 48, m - 3*h = -8*h + 16. Suppose -9*w + 40 = -5*w. Suppose -w*a + 3 = -m*a. Does a = -3?
True
Let h be (1/(-2))/(2/(-16)). Let g be (2 - 5) + h/2. Let b = -4115/13 - -317. Is g less than or equal to b?
True
Suppose 2*d + 7 - 1 = 0. Suppose -4*k = -5*k + 18. Suppose 0 = 4*y - p - 4*p + 11, -5*y + 2*p = k. Do d and y have different values?
True
Let d(y) = 17*y**3 + 12*y**2 + 117*y + 24. Let z be d(-6). Which is smaller: z or -3915?
z
Let n(o) = 116*o + 19487. Let y be n(-168). Does y = 1/3132?
False
Let s = 218 - 1319/6. Let c be (-2)/12 - (-8)/(-10). Let k = s + c. Is -3 > k?
False
Let k = -141 - -134. Let h be -2*(-1)/(-14)*k. Let d = -119 - -2026/17. Which is smaller: h or d?
d
Let o = 18 - 2. Let f = 41.8 + -45.8. Which is smaller: o or f?
f
Let s = -1322 + 1321.9. Which is smaller: -346 or s?
-346
Let m = -16/13399029 + -15084110009/5359611600. Let l = m + 45/16. Does l = -1?
False
Suppose 5*n - 20 = n, -2*c - 1 = -5*n. Suppose 2*q - c + 4 = 0. Let i(x) = -x**2 - 8*x - 9. Let m be i(-7). Which is smaller: q or m?
m
Let n = -2773/3596 + 24/29. Let y = 625/2108 + n. Let c = 0.071 + 0.929. Which is smaller: c or y?
y
Suppose -2*w + 186 = -6*w - 2*n, 0 = 3*w - 2*n + 143. Let p(v) = 46*v**3 - 2*v**2 - 91*v - 89. Let q be p(-1). Which is bigger: q or w?
q
Let q be -2 + (246/(-9))/2. Suppose 1 = -12*j + 13. Let l(a) = -14*a - 1. Let x be l(j). Do q and x have different values?
True
Suppose -307*b - 660 = -313*b. Let r(g) = 2*g**3 - 81*g**2 + 39*g + 41. Let v be r(40). Which is greater: v or b?
b
Let p(j) = 14*j**3 + 15*j**2 - 32*j + 8. Let y be p(2). Let x = 40 - 172. Let u = x + y. Which is smaller: u or -19?
-19
Let l be (-1947)/577610*2/(-252)*-2. Do 0 and l have different values?
True
Let w = 263.2 + -224.2. Which is greater: -25 or w?
w
Let s(a) = -217*a**3 - 15*a**2 + 86*a - 86. Let i be s(4). Is -13871 greater than or equal to i?
False
Suppose -26*c - 14 - 42 = -12*c. Is -128/47 at most c?
False
Let w = -8 - 17. Let k = 710 + -709. Are k and w non-equal?
True
Let x = 858 - 858. Are 1/4846 and x non-equal?
True
Suppose 6*o - 2*o = -12. Let m be (666/27)/(o - (-7)/3). Is -37 less than m?
False
Let z = -4 - -12. Let s = z + -8.1. Let r = 15.18 + -13.18. Which is bigger: r or s?
r
Let q be ((-420)/(-25))/14*15/6. Suppose 4*k + 3*l = q, -k + 0 = 5*l - 5. Let w be (8/81)/((-2)/3). Is w != k?
True
Let t = -365.9069 - 0.0931. Let a = -365.9 - t. Is 3/4 smaller than a?
False
Let h be 1/(6 - 1) + 4988/(-290). Let v be h + (-6 - (-3)/3). Which is bigger: -45/2 or v?
v
Let y = -114 - -118. Suppose 6 = -r + 5*v, r + 5 = -y*v - 1. Let m = -11 - -5. Is r <= m?
True
Let f = 24683 - 3776471/153. Let j = -1448/36057 + 2/2121. Let q = f - j. Which is smaller: q or 0.4?
q
Let i = -4737358/1137 + -679/379. Which is smaller: -4167 or i?
i
Let w(s) = 89*s + 574. Let y be w(-10). Which is greater: -313 or y?
-313
Let j = -208 + 212. Suppose -d + 320 = 3*d - 2*f, 0 = 5*d + j*f - 387. Which is smaller: d or 78?
78
Let m = -313/55 - -104/55. Which is bigger: m or 0?
0
Suppose 2*p = 3 - 11, -3*b - 3*p + 438 = 0. Suppose -b = -4*j + 58. Suppose -2*t = 2*q - 3*q - j, 3*t - 92 = -2*q. Which is smaller: 27 or t?
27
Suppose -d = 2*d + 3*c - 12, -16 = -2*d - 4*c. Suppose b - 4*o - 10 = 0, b - 5*o - 55 = 4*b. Let i be (-1 + 0)*3 - 26/b. Which is smaller: d or i?
i
Let t = -1.8 - -1.61. Let m = -3408 - -3408.4. Which is bigger: t or m?
m
Let i = -143182 + 143182. Let q = 22 + -12. Let g be 234/1245 + (-2)/q. Which is smaller: g or i?
g
Let y = 65 + -58. Suppose p - 48 = -d, -2*p = y + 3. Suppose -1 = -u - d. Is u greater than -51?
False
Suppose 12*o - 760 + 196 = 0. Suppose -38*j = 9*j - o. Is 1/3 at least j?
False
Suppose g + 2*v - 5*v = 3, 4*v = 0. Let m = 7 - g. Suppose m*r - 56 = -4*r. Are r and 3 non-equal?
True
Let q(v) = 1747*v - 36. Let h be q(1). Which is smaller: h or 1709?
1709
Let q = -350 - -354. Let t = 0.022 + 3.878. Let k = t - q. Is -6 at most k?
True
Suppose 1343*o - 5*s + 6797 = 1341*o, -5*s = -3*o - 10188. Which is greater: o or -3385?
-3385
Let z = -7978 - -526547/66. Do z and 3.4 have the same value?
False
Suppose -3*z = 2*x - 0*x + 13, -5*x - 5*z - 20 = 0. Let d be (-50)/(-40) + -1*(0 + x). Is d greater than 7?
False
Let y be -8 + (-11)/33*-26. Let w(n) = 41*n - 4. Let c be w(-3). Is c equal to y?
False
Suppose 4*i + 5*j - 11 = 0, 4*i - j + 3*j = 14. Suppose -2*d = -i*g - 6, 0*d = 5*g - 4*d. Let u be -5*(1 + 2 + g). Which is smaller: u or 7?
u
Let v = -97593/25 - -3903. Let s = -1/1374 - -4147/34350. Let b = s + v. Which is bigger: 0 or b?
0
Let q = 14.32 + -603.32. Let l = 589.257 + q. Let h = l + 0.043. Which is bigger: -0.2 or h?
h
Let n = 22172 + -22171.7. Is -0.4117 > n?
False
Let h = -308/43 + 4130/1333. Which is smaller: -4 or h?
h
Let x(m) = -2*m**2 + 11*m - 3. Let h be x(3). Suppose 17 - 113 = -h*a. Suppose -5*j = 3*j - a. Is 16/7 > j?
True
Let o(r) = r**3 + 11*r**2 + 21*r + 1. Let v = 598 + -607. Let s be o(v). Which is greater: -25 or s?
-25
Let x be (55/(-825)*10)/(2/(-684)). Which is greater: -9/8 or x?
x
Let q = -6878/35 - -114018/385. Which is bigger: q or 101?
101
Let n = -2171.1 + 2171.08. Are n and 1395/2 nonequal?
True
Let x = 0.384 + 198.616. Let p = x + -198.94. Is 4 equal to p?
False
Let m = 8128 + -8347.9. Is -2 at least m?
True
Let d be ((-14)/(-6))/((-21)/(-18)). Suppose -2*u - 146 = 5*i + 79, d*i = u + 108. Which is smaller: 1/2 or u?
u
Let a = -21219043/155931380 + -1/321508. Is a greater than or equal to 0?
False
Let j = 26.815 - 27. Let o = j + 0.085. Let h = -18 - -19.6. Which is smaller: o or h?
o
Let x = 17425 - 5872229/337. Which is smaller: -1 or x?
-1
Let s = 0.34 + -21.34. Let n = 20.833 + 0.167. Let p = n + s. Is p at least -21?
True
Let i = -18.99 - 1.51. Let d = 10.21 + -12.21. Which is smaller: d or i?
i
Let w = 45 - 44.783. Let n = 0.083 + w. Which is greater: 10 or n?
10
Suppose -3*l = -2*g - 172, -3*g + 2*g - 5 = 0. Suppose -6*p = l + 150. Let w = p - -14. Is -19 less than w?
False
Let s = -38187/7 + 170761/35. Let m = -580 - s. Is m at most 2?
True
Let w = 676.298 + -18.298. Which is smaller: -9 or w?
-9
Suppose -14 = 3*u - 4*v - 7, -3*u = v + 2. Which is bigger: u or 1