 u(6). Which is smaller: 1/150 or h?
h
Let o = 82.23 - 82. Is -24/11 less than or equal to o?
True
Let a = 1116.427 - 1116.4. Let p = 2183/6230 + 3/445. Let j = p + 1/7. Is j >= a?
True
Suppose 2*z = -3*z + 5*i - 865, -6*i - 30 = 0. Which is smaller: z or -177?
z
Let q(o) = -4*o - 29. Suppose m - p - 2*p - 13 = 0, 5*p = -5*m + 25. Suppose -m - 14 = 3*s. Let t be q(s). Which is smaller: 4 or t?
t
Let g = -204 + 206. Suppose -17*c - 1 = -20*c + 4*m, 2*m = -g. Let b = -1912/155 + 62/5. Which is smaller: b or c?
c
Let l be ((-3)/(-3) - (-24)/9) + 93/(-186). Suppose 4*g - 4 = -3*y, 2*y + 5*g = -2 - 0. Which is smaller: l or y?
l
Let j(v) = -v**3 + 25*v**2 + 25*v + 29. Let t be j(26). Suppose -7*k - t*k = 170. Which is greater: k or -1?
-1
Let i = -3698 + 4044. Which is bigger: i or -0.6?
i
Suppose 1239*t - 1197*t = 3276. Which is greater: t or 86?
86
Suppose 0 = 3*s + 9, 24 - 38 = -2*k + 4*s. Does -2/1541 = k?
False
Let i(y) = 1830*y**2 - 59*y - 117. Let f be i(-2). Which is smaller: 7320 or f?
7320
Let z be (-1118)/(-43) - -1931 - (1 + 2 + -1). Is z greater than or equal to 1946?
True
Let t be 4/18 + ((-1062)/(-5085))/(18/(-20)). Which is smaller: -1 or t?
-1
Suppose 4*w = 2*w. Let o be (-43 - (-8 - 2))*382/1428. Let z = 62/7 + o. Which is smaller: w or z?
w
Suppose -2*b = -477*s + 476*s + 54, 3*b = -4*s - 48. Is b at least as big as -52?
True
Suppose -3*c + 2*m = -6, 5*c - 24 + 7 = m. Let i(y) = -23*y + 38*y + 4 - 19*y. Let b be i(c). Does b = -14?
False
Let y = -13 + 14. Let l = -64/245833 + -165319538/1428535563. Let u = l + 2/149. Is u equal to y?
False
Let q = 2.6523 + -0.345. Let w = 0.0027 + q. Which is smaller: -2 or w?
-2
Let r = -710.7 + 710.696. Let a = 11 - 11.166. Let u = r + a. Is u <= -1/3?
False
Let n be (262/(-50) + 5)/(((-4144)/35)/8). Is -0.3 at most n?
True
Let s = 1 + -2. Let g be (3 + -1)*1 + 160/(-74). Which is greater: s or g?
g
Suppose -197*d + 371 = 174*d. Suppose f + 33 = -8. Is d less than f?
False
Let j = -159 + 227. Suppose t + j = 5*t. Let s = t + -18. Are 2/7 and s non-equal?
True
Let k = 8942 - 8943. Do 3120 and k have the same value?
False
Let f = 78 - 87. Let l(a) = -a**3 - 10*a**2 - 9*a + 3. Let y be l(f). Let v be 2/y + (-46)/87. Which is greater: v or 0?
v
Suppose -594 = 16*w - 18*w. Suppose w = 3*f - 0*f. Are f and 100 nonequal?
True
Let o(h) = 5*h + 17. Suppose -31*m + 25*m + 24 = 0. Let t be o(m). Suppose 0 = -t*p + 31*p - 18. Which is bigger: 3/10 or p?
3/10
Suppose -31*z + 43*z + 63840 = 0. Which is smaller: z or -5319?
z
Let f be (-66)/(-310) + 12/15 + -1. Let j be 1/(1/(-4)*2). Let h be -1*j/(-4)*2. Which is greater: f or h?
f
Suppose 117 = 5*d + 12. Suppose -w = -6*w + 25, -4*r - d = -5*w. Is r at least 17/12?
False
Let c = -24383 + 3047902/125. Is 1 less than c?
False
Let p be 2*(0 - (-74)/4). Let h(g) = 5*g**3 - g + 2. Let m be h(2). Are m and p equal?
False
Let z = 391974 + -392000.0213. Let g = -0.0213 - z. Do -1/4 and g have the same value?
False
Let u = 88.549 + 4.951. Is u bigger than -2?
True
Let c be (102283 - 3)/5*(-1)/(-7). Is 2921 bigger than c?
False
Let k = 73.135 + -73. Let l = -0.235 + k. Is -2/5 at most as big as l?
True
Let c = -3729 + 3165. Do c and -564 have the same value?
True
Let o be (-5)/15*-6 - (2 - 6). Let x be 15822/(-30) - (-2)/((-20)/o). Is x greater than -528?
False
Let u = -7916941/543 - -14580. Which is smaller: u or -1?
-1
Suppose -5*p = 5*w - 5, -6*p + 2*p + 39 = -3*w. Let r = 90 - 91. Let l be -2*r/(-140)*p. Is l != 1?
True
Suppose 23*h - 2828 - 4647 = 0. Suppose 0 = q + 5*u + 329, 3*q + 4*u + 618 = -h. Does -309 = q?
True
Let r be (-9)/((-196)/(-8)*2/42). Are -0.1 and r equal?
False
Suppose -23*h + 26*h - 1266 = 0. Suppose z = -5*p + 263, 4*p = z + 132 - h. Suppose 2*m + m + 181 = 2*t, -3*t = 2*m - z. Is 92 at most t?
True
Let n(g) = -5*g**3 - 2*g**2 + g - 2. Let s be n(2). Let k = -6311 + 6312. Which is smaller: s or k?
s
Let t = 4419 + -2443705/553. Let b = 380 + -380. Which is smaller: b or t?
b
Let n = -114.84 - -137.2. Let u = n - 22. Let d = -1.36 + u. Is d greater than 17?
False
Let f = -415 - -136. Let g = -475 - f. Are g and 0.2 nonequal?
True
Let d(n) = n**3 - 89*n**2 + 96*n - 501. Let c be d(88). Is 1835/9 bigger than c?
True
Suppose -m = 490 - 180. Let g = -235 + -74. Which is smaller: m or g?
m
Suppose 27*w - 20*w - 7 = 0. Let r = -0.01 + -0.1. Let d = 0.51 + r. Is d greater than w?
False
Let z = 68.275 - 69.275. Let o be -2*2*(-2)/84. Is z != o?
True
Let a be ((-1173)/(-1035))/((-1144)/(-20)). Is 0 less than or equal to a?
True
Suppose 0 = -4*c + 3*s - 5393, 4*c + s + 1933 = -3448. Is c greater than -1347?
True
Let z be 1*(-3)/((-6)/(-74)). Let b = 122878 + -122915. Is z > b?
False
Suppose -30*u - 10 = 27*u + 47. Which is smaller: u or -10/1779?
u
Let l(o) = 3*o**2 - 340*o + 7428. Let k be l(24). Which is smaller: 989 or k?
989
Suppose 0*y - 88 = -4*y. Suppose -1361*l = -1374*l + 338. Is y greater than l?
False
Let k be -3 + (2/(-9) - (-61)/18). Let d = 843 - 843.02. Is k equal to d?
False
Let g = -2.4849 - -1.9849. Let i = 2.1 + -2. Let w = i - 0. Which is smaller: g or w?
g
Let c = -2/173 - -869/346. Let o = 74.7 - 74.1. Which is smaller: o or c?
o
Let g = 12459323336/5109 + -2438701. Let d = 25/131 - g. Is -2 at most as big as d?
True
Let z = 2/425 - 172/425. Let l be (312/(-11))/6*(-6)/(-4). Are l and z unequal?
True
Let i = 224.2 - 202. Let h = i + -15.9. Is -3 smaller than h?
True
Let d be -1 - 38/(-18) - 1. Let m = 357 + -373. Let j = 16 + m. Is d at least j?
True
Suppose 66231 = 39*c + 179214. Is -2896 less than or equal to c?
False
Let z be (-1 - (-24)/6)*(-2 - 181). Let q = 548 + z. Let h = -0.59 - -37.59. Is h at least as big as q?
True
Let y = 35 + -23. Let g be ((-56)/(-224))/(365/40). Which is greater: g or y?
y
Let c(o) = o**3 - o**2 - 2*o + 2. Let r be c(1). Suppose r = 2*d + 2*n + 8, d - 6 = 3*n - 18. Does -72/11 = d?
False
Let d(h) = -197*h**2 + 65*h - 124. Let m be d(2). Which is greater: m or -779?
-779
Let k be (-3553)/133 + (0 - 2/7). Let w = 2 + 5. Let j(h) = -3*h - 5. Let v be j(w). Is v at least k?
True
Let k = -2009 + 2596. Which is bigger: k or -2/7?
k
Let f = -152 - -301/2. Suppose -5*l + 113 = -22. Let k = l + -29. Is f smaller than k?
False
Let s be (-8526)/(-13) - 16/(-104). Is 655 greater than or equal to s?
False
Suppose -4*q = 16 + 108. Let k = 1791/140 + -1524/35. Which is greater: k or q?
k
Suppose -2*x = -18*x - 17*x - 133353. Is -4041 != x?
False
Suppose 337*f - 2286476 = 184408. Is f at most as big as 7334?
True
Let a be (65 - (2 + -5))/(-5 + 7). Let l = a - 73. Does l = -38?
False
Let p = -9 - -10. Suppose -4*d + i = 2307, -i - 1586 = 5*d + 1291. Let c be 3 + d/(-292) + -5. Which is smaller: p or c?
c
Let y = 13/3 - 4. Let x(q) = q**3 + 11*q**2 + 35*q + 31. Suppose -s + 6*s + 7 = 3*i, 15 = -3*s. Let k be x(i). Does y = k?
False
Let w = 3.3384 + 0.6616. Is -703 less than or equal to w?
True
Let w = 1185 - 1187. Which is smaller: -111/43 or w?
-111/43
Suppose -3*t - 525 = 3*f, 4*f - f = 5*t + 915. Let k be (-1)/3*t/(-80). Which is greater: -6/5 or k?
k
Let p = 3.019 + 0.041. Let f = -2.6 + p. Let s = f + 0.44. Which is greater: -1/6 or s?
s
Suppose -28*w - 123 = -95. Is w <= -1/3080?
True
Let g be (2/2)/(3/51). Let a = -15 + g. Suppose 2 - a = 5*w. Are w and -6/35 unequal?
True
Suppose 0 = 68*p - 147*p + 69*p. Is -5/6407 less than p?
True
Suppose -69*l + 53*l = 45440. Is -2841 < l?
True
Let x be ((-195)/(-63) - 3) + (-98556)/252. Do -391 and x have different values?
False
Let d = -3569.6 - -3569.57823. Which is smaller: -2/5 or d?
-2/5
Let t = 4 + -3.2. Let i = t + 2.8. Let o = i - 18.6. Does 0.2 = o?
False
Let y = 3531 + -840381/238. Do y and -1 have the same value?
False
Let x = -4 + 3. Let o be (-75)/(-21) + -3 + (-5)/(31325/3685). Is x less than or equal to o?
True
Suppose -603 = -25*u - 53. Let d = -25 - -35. Suppose 0 = -d*w - u + 2. Is w at least -11/13?
False
Suppose -g = -3*n - 27, -n + 4*g + 218 = 205. Is n smaller than -29?
False
Let g = -23101 - -22996. Which is smaller: g or -108?
-108
Let j = -112 - -208. Let a be 6/j*8 - (-90)/(-4). Which is smaller: -24 or a?
-24
Let k(g) = g**2 - 2*g - 47. Let s be k(8). Suppose 2*i + q = -417, -3*q - 4 = -s. Is i smaller than 2?
True
Let b(g) = -g**2 - 3*g + 