eater than 7/4?
False
Suppose 0 = 9*v - 577 + 523. Let o(h) = h**2 - 6*h. Let c be o(6). Suppose 2*j = 14 - c. Is v less than j?
True
Suppose -5*m + 5*x + 2 = 32, 2*m + 24 = -2*x. Let t be (-187)/((-36)/(-8) + -5). Let d = t - 386. Is m bigger than d?
True
Let n = 25034/51739 + 1/51739. Let r be (2/6)/((-2)/6). Which is greater: r or n?
n
Let o = -87/5 - -17. Let q be 24/32*(3 + 420/234 - 5). Is q less than o?
False
Let i = -2961 + 2904. Which is smaller: 1/7 or i?
i
Let k = -129555199 - -379985411300/2933. Let w be 0 + -8 + 150435/18855. Let d = w + k. Are 4 and d unequal?
True
Let p = 1532 - 1532. Is -63/179 less than p?
True
Let g = -6.18 - 70.92. Let h = g - -77. Let y = 1/614 - 2918/921. Are h and y equal?
False
Let c be ((-33)/12 + 3)*(229 - -951). Which is smaller: c or 7?
7
Suppose -3*q = 4*z, 0 = -2*q - 5*z + 6 + 1. Let j be (9/18)/((-42)/q). Let f = j - -61/42. Which is smaller: f or -4?
-4
Let i = 12 - 5. Suppose 5*o - 47 = -4*q, -8*q + o + 37 = -3*q. Suppose 34 + q = -21*h. Which is smaller: i or h?
h
Let j(y) = -y**3 + 14*y**2 + y - 7. Let d be j(14). Let c = d + 3. Suppose 8 = -4*t - 2*o, -5*t + c - 2 = -2*o. Are t and -2/9 nonequal?
True
Let k(c) = -c**2 - 6*c + 26. Let g(l) = l**2 + 7*l - 25. Let j(f) = 4*g(f) + 5*k(f). Let r be j(0). Let o be 6/r*10*(-1)/(-404). Is o > -1?
True
Let c be (3 + (-7 - -2))*-1. Suppose 6 = -q - 3*l, 2*q - l = -3*q - 62. Let p be (-12 + 8)/(q - -2). Is p != c?
True
Let x be 3*(-3)/(2061/2). Suppose j - v - 17 = 0, -j + 9*v = 31*v + 397. Which is smaller: j or x?
j
Suppose -g - 101 + 76 = 0. Suppose -270 = -3*f - 3*q, -3*f - 2*f - 3*q = -448. Let y = f + -90. Which is smaller: g or y?
g
Let k(j) = -80*j + 2172. Let h be k(21). Does 502 = h?
False
Let c = 1364 + -1363.7. Is 447/4 >= c?
True
Let q be 63/102 + (5 + -8 - 392/(-136)). Which is smaller: q or -0.06355?
-0.06355
Suppose 5*v = -3*x + 60, 11 + 13 = 2*v - 4*x. Let r be (v - 51/4)/(2/(-32)). Let u(i) = -i**3 - 5*i**2 + 4*i - 2. Let s be u(-6). Which is greater: s or r?
r
Let x = -1704 + 582. Is -1122 > x?
False
Suppose -189*d + 80*d = 763. Let x = -25 + 18. Is x at most as big as d?
True
Suppose -9334*o - 64124 = -9300*o. Which is bigger: -9424/5 or o?
-9424/5
Let s = -4873/10745 - -148/307. Are -2/225 and s non-equal?
True
Let g = 3482 - 3569. Let r be ((-1)/2)/(1/2). Which is bigger: r or g?
r
Let c = 37 + -45. Let y = 47/20 + -43/20. Which is smaller: c or y?
c
Suppose -57 = -0*j - 3*j + 3*h, 0 = 2*j + 3*h - 13. Suppose 18*x - j*x = 20. Suppose -x*a + u = 4, -9*a = -6*a - u + 4. Is a less than -1?
False
Suppose -3*g + 180 = g. Let n = 13 - g. Let w = 519 + -551. Is w equal to n?
True
Let f = 8 + -12. Let m = 38 + f. Suppose 0 = -10*l - 6 - m. Which is smaller: l or -1?
l
Let i(t) = 3627*t - 4112. Let s be i(3). Are 6770 and s nonequal?
True
Let l = 3658 + -3604. Is l bigger than 34?
True
Let v = 10 - 192. Let k = v + 164. Which is smaller: k or 1/4?
k
Let c(i) = -415*i**2 + 6121*i - 15. Let r be c(10). Is 19695 < r?
False
Suppose -j + 16 - 13 = 0, -4*j + 8 = 4*l. Which is smaller: -88/37 or l?
-88/37
Let f = 178.39 - 177. Let i = -0.39 + f. Is -155 at least i?
False
Let k(j) = -19*j + 312. Let y(z) = z + 2. Let v(t) = -k(t) - 6*y(t). Let p be v(27). Does p = 31?
False
Let c be (-6)/(-4) + 2*(-15)/(-12). Let b(u) = -18*u**2 + 72*u - 3. Let l be b(c). Let f be (-1)/4 + 262/(-104). Which is smaller: l or f?
l
Let r(y) = y**3 - 121*y**2 + 350*y + 222. Let m be r(118). Is m equal to -245?
False
Suppose -4*f = -5*k + 37, -3*f = -5*k - 7*f + 53. Let u be ((-69)/k)/((21/(-198))/(-7)). Let z be u/10 + (-45)/(-75). Is -50 > z?
False
Let l be (-6099)/342*(-6)/(-5 - -6). Which is bigger: 15 or l?
l
Let u = 2396 - 2316. Is 90 at most u?
False
Let d be ((-1)/2)/((-486)/660 + 15/25). Which is smaller: 494 or d?
d
Suppose -12*r - 918 = -3222. Suppose o + 189 = 4*y + 2*o, -4*o = 4*y - r. Let d = -45 + y. Is 2 greater than or equal to d?
True
Let i be 3*(-2)/15*-5. Suppose -i*j + 8 = -4. Let u(a) = -3*a + 40. Let n be u(11). Is n less than j?
False
Let z = -2.184 - -2.2. Let d = -123.09 - -124.09. Does d = z?
False
Let j = 1566.6 - 1569.6. Does -5/248 = j?
False
Let m(z) = 18*z + 9. Let a(u) = -u + 1. Let s(f) = 5*a(f) + m(f). Let r be s(-1). Which is smaller: -3/154 or r?
-3/154
Let g = 128 + -185. Let z = -56 - g. Are -1/78 and z nonequal?
True
Let s = -121.174 + 121. Let p = -56/601 + -377/2404. Which is greater: s or p?
s
Let x = 246.92 + -248. Let z = x - -0.48. Which is smaller: 11 or z?
z
Let a = -13515 - -54343816/4021. Which is smaller: -1 or a?
-1
Let o be 1 - 3 - ((-126)/(-20) + -5). Let i be 3 + (-3 - -1) + -4. Which is smaller: i or o?
o
Let d = -4 + 4. Let v be 1/((-8)/16 - 2)*10/(-606). Which is greater: v or d?
v
Let u be 410/(-25) + (-2)/(-5). Let y be (0 - -2)*(-88)/u. Let m(l) = -l**2 + 11*l + 2. Let a be m(10). Which is smaller: a or y?
y
Let d = 81 + -154. Let p = -28 - d. Let q = p - 44.95. Which is smaller: q or -1?
-1
Let g be ((-2)/(-4))/((-13)/(-78)). Suppose 9*c - 195 = -6*c. Suppose -g*v = -16*v - c. Is v less than -1/3?
True
Let q be (-2)/(-10) + 14/30 + (-86)/129. Suppose 0 = u - 13 - 7. Suppose 2*o - 2*s + 3*s - u = q, -3*o = s - 32. Is o at least as big as 11?
True
Let i(d) = d**2 + 4*d - 4. Let b be i(-5). Let h be (-2)/(-15) - 25/100. Let f = h + 5/12. Which is smaller: b or f?
f
Let d = 2808 + -2786. Which is smaller: -1/15 or d?
-1/15
Let k = 128.4 + -5.4. Suppose -5*z + 3*j - 9 = 0, 3*j = -3*z + 6*j - 9. Is z >= k?
False
Suppose -2*b + 2*u - 48 = -16, -3*b + 5*u = 56. Let m be (-2)/(-6)*-2 + (-32)/b. Does 28/11 = m?
False
Suppose -5*g + 12 + 8 = 0. Let y be 3/36*(-2)/20*g. Suppose 5*j = 4*j - 0*j. Do j and y have the same value?
False
Let s(c) = c**2 + 8*c - 10. Suppose -h - 40 = -5*u, u = h - 0*h + 4. Suppose -29 = u*a + 52. Let f be s(a). Are f and 2/67 equal?
False
Let t be (((-1712)/(-6))/4)/((-28)/(-315)). Let d = t + -801. Let l be (-57)/(-21) - (-4)/14. Is d not equal to l?
True
Let l = -3758 + 5561. Let g = l - 124409/69. Let v(w) = 2*w**2 - 1. Let u be v(0). Which is smaller: g or u?
u
Let u be 3*2/(-9)*(-105 + 96). Let n be u - 20/(-30)*24. Let j(k) = k**3 - 4*k**2 + 5*k + 2. Let r be j(4). Is n != r?
False
Let a(y) = -y**2 - 36*y + 1472. Let f be a(32). Are f and -704 non-equal?
False
Let m = -4810 - -4810. Which is greater: -22/21 or m?
m
Suppose 5*r + 3 = 8. Let m be 35/2 - (-3 + 4 + r). Let a = m - 15. Which is smaller: 7 or a?
a
Let c be (-60)/24 - (5 + (-248328)/112)/885. Which is smaller: c or 0?
c
Let p = 0.1969 - 0.0969. Which is greater: -1442 or p?
p
Suppose -12*x + 2796 = -0*x. Let w = 188 - x. Do w and -45 have different values?
False
Let s = 15140.13 + -15140. Is -294 != s?
True
Let j be (-17)/(-6) + (-1 - -5). Let r(p) = p**3 - 6*p**2 + 9*p + 1. Let c be r(4). Suppose -c*a = -4*d + 5 - 41, a = -5*d + 13. Which is bigger: j or a?
a
Let o be (-9)/42*2 + -3368*36/(-672). Is 1615/9 less than or equal to o?
True
Suppose 3*u = -15, g + 0*g + 54 = -4*u. Let b be 2/8 - (399/12 + 1). Let d = g - b. Is 3/34 at least d?
True
Let p be (462/4)/(4/(-192)). Let g be (-234)/p - 2/8. Let w = 116/77 - g. Which is smaller: 1 or w?
1
Let w be 42/(-70) - 104/60 - (-28)/12. Which is bigger: -24/1237 or w?
w
Let o(w) = w**2 - 36*w + 79. Let y be o(34). Suppose 11*t + 3 = -u + 7*t, 3*t + y = u. Which is smaller: u or -7?
-7
Let u = -43 + 41.1. Suppose 0 = 2*d + j + 237, 2*d - 116 = 3*d + j. Let c = -121 - d. Is c greater than u?
True
Let g = -363 + 163. Let a = g + 1802/9. Let d(y) = y**2 - y + 1. Let x be d(0). Is a bigger than x?
False
Let j(q) = -q**3 + q**2 + q + 1. Let o(t) = -t**3 + 10*t**2 + 8*t + 9. Let x(a) = 3*j(a) - o(a). Let v be x(-3). Which is smaller: v or -2/141?
-2/141
Suppose -5*q - 6*t + 3*t = 22, -5*t = -4*q + 12. Let f be q/(-9) - 1316/(-72). Are 20 and f nonequal?
True
Let v = 41 + -17. Let l be 8*(-10 - (-462)/44). Suppose v = -l*d + 32. Is d at most as big as 23/7?
True
Let c be (-17212)/(-2064) + 2 + -4. Let i = 559/5 - 96143/860. Let q = c - i. Which is smaller: 6 or q?
6
Let f = -5942 - -17825/3. Are -9.649 and f unequal?
True
Let x = 235367/18 + -13076. Let a(y) = -y + 2. Let p be a(2). Is x bigger than p?
False
Let x be 2/2940*7*1/1. Which is bigger: 17 or x?
17
Let w be 1216/272 - (10 + (