u?
o
Let m(r) = 24*r - 10. Let i be m(5). Suppose 0 = 17*c - i + 450. Let t be ((-227)/c - 0) + 8/20. Is t >= 13?
False
Let y = 17 - 24. Let v = -3.087 + -4.013. Let h = v - y. Is h bigger than 4?
False
Let w = 19691/420670 - 37/713. Let b(m) = -m + 5. Let x be b(6). Which is smaller: x or w?
x
Let z = -13.4 + 1.4. Let p = 509 - 663. Let d = -154.2 - p. Is d less than z?
False
Let t = -30881805/1837 + 16811. Suppose -2*m = 4*k + 6, 4 - 1 = -3*k. Does m = t?
False
Let v be (-2)/(-19) + (-76 - -73)*218/798. Which is smaller: v or 128?
v
Let l = -1660 + 1511. Which is smaller: -199 or l?
-199
Let o = -3039 + 3069. Which is greater: o or 22?
o
Let b = -12 + 27. Let g = b - 14.9. Let t = -185/2192 - -3/137. Which is bigger: t or g?
g
Let o be (2*70/12)/(124/33132468). Let f = -3116960 + o. Let l = 342 - f. Which is smaller: l or 0?
l
Let i be (-10)/60 + (-110)/(-12). Let x be i/(-6) + (-2)/4. Let h be 4/12*(-6)/x. Is h equal to -1/45?
False
Let b = 2.317 - 12.317. Do -1 and b have different values?
True
Let m(p) = 2*p - 20. Let c be m(10). Let f be (-1)/5 + 2/(-10)*44. Let l be ((-1)/12)/((-1)/(f/(-2))). Which is smaller: c or l?
c
Let n be (-3484)/30 - (140/75 + -2). Let u = 358/3 + n. Which is bigger: 3 or u?
u
Suppose -6*h + 15*h = -21033. Let r be (-4)/(-16) + h/(-252) + 2. Let u = 559/105 - r. Is -6 > u?
True
Let i = 227 - -174. Let f = i - 20450/51. Is f greater than 0?
True
Let u(g) = 12*g**3 - g**2 + 50*g + 113. Let a be u(-2). Which is greater: -82 or a?
-82
Let m be -2 + 7 - 17 - -12. Are 1/2442 and m non-equal?
True
Let z(w) = -170*w**3 + 40*w**2 - 13*w + 9. Let o be z(-3). Are o and 4997 nonequal?
True
Let v = -10/17 + 64/51. Suppose -s - 8 + 3 = x, s = 2*x + 1. Let h be 20/4 + -1*(-219)/s. Is h at least v?
False
Suppose -863*m + 7476 = -891*m. Is m bigger than -262?
False
Let z(d) = -3*d + 4. Let c be z(10). Let q = c + 12. Let s = -12 - q. Does s = 1?
False
Suppose 29*m + 732 = 761. Which is smaller: m or 2/9189?
2/9189
Let i(n) = -6*n**2 - 9*n + 211. Let f be i(13). Is f smaller than -917?
True
Suppose 0 = -2*u + j - 8, -u - 4*j + 9 = -5. Let c = 708163/350235 + 2/7783. Let t = -14/5 + c. Is u greater than or equal to t?
False
Suppose 0 = -5*k + 6*r - 5*r - 271, 4*k - 5*r = -221. Let a be 993/k - 3/27. Let z = a + 19. Is z equal to -1?
False
Let m = -7991 + 7933. Is m at least as big as -87?
True
Let n be (-40290)/24327 - (-2 - (-2)/6). Which is bigger: n or -1/4?
n
Let t(a) = -10*a + 7. Let n be t(1). Let h be n - (-9 + 13 + 80/(-14)). Which is smaller: h or -1?
h
Let u = 23260 - 17349. Is 5910 smaller than u?
True
Let f(a) = a**3 - 2*a**2 + a - 3. Let w(t) = t**3 + 13*t**2 + 10*t - 16. Let x be w(-12). Suppose -21*o - x = -25*o. Let u be f(o). Which is bigger: -1/29 or u?
-1/29
Let y(t) = t**3 - 5*t**2 - 6*t + 1. Let w be y(6). Let c be -1 - w/((-2)/26). Suppose -g + 6 = 5*r - 41, 3*g = -4*r + 31. Is c bigger than r?
True
Suppose 0 = 2*m - m - 7. Suppose 4*q + 1 + m = 0. Let p = -3001/2 - -5991/4. Which is bigger: q or p?
q
Let n = -2928 + 190318/65. Is n bigger than -0.05?
True
Let v = 55 + -39. Let g = -2237 + 6652/3. Let m = 20 + g. Which is greater: m or v?
v
Let h(k) = -k**3 - 17*k**2 - 15*k + 80. Let t(j) = -3*j**3 - 51*j**2 - 45*j + 239. Let b(i) = 11*h(i) - 4*t(i). Let n be b(-16). Is -60 <= n?
True
Let o(b) = b**2 + 5*b - 4. Let q be o(-6). Suppose -3*l + 2 - 9 = -5*v, v = -q*l + 4. Suppose 5*f - 2*r + v - 8 = 0, 0 = -r - 3. Which is smaller: 3/5 or f?
f
Let p be (0 - 1)/(3/27). Let r be (-3)/(-7)*(-2)/p. Let z = -661 - -661. Which is smaller: r or z?
z
Let c = -56 - -77. Let v = -15 + c. Let w = v + -6.03. Which is smaller: w or -2/9?
-2/9
Let u = 163.2 - 163. Let m(g) = 4*g. Let y be m(-2). Let b = y - 2. Is b greater than u?
False
Let s be (-648)/(-24)*6/(-14). Let d(z) = -z**3 - 5*z**2 - 2*z. Let f be d(-3). Do s and f have the same value?
False
Let b = 158 - -562. Let r = b + -277. Which is greater: r or 0?
r
Suppose 4*n - 6*n = 3*q - 5492, 2*q - 3654 = -5*n. Is q less than 0?
False
Let q = 22.505 - 28.005. Which is smaller: 1.4 or q?
q
Let g be 5/25 - ((-39)/130)/(16/(-24)). Does 13925 = g?
False
Let q = 230 + -227. Suppose 0 = q*u + 2*b - 116 - 112, b - 309 = -4*u. Are u and 79 equal?
False
Let v be ((-19)/(-228)*28)/((-1497)/(-747) - 2). Is 583 not equal to v?
True
Let t = -196 + 198. Suppose t*n - 186 = 206. Does 196 = n?
True
Suppose -16 = 3*y - 5*y. Suppose 20 = -3*q + 23. Let n be -4 + (-24 - q)/(-5). Which is smaller: n or y?
n
Suppose 2*t = 5*n + 10, 2*t + 2*n = t - 4. Suppose -2*s + 0*s = -3*k + 4, -2*k - 4*s + 24 = t. Which is smaller: 7 or k?
k
Let o be 16 + ((-2130)/27)/5. Which is smaller: o or 137?
o
Let v(c) = -6*c - 107. Let n be v(-19). Suppose 4*b + 20 = w, -b + 3*w + 12 = n*w. Which is smaller: b or -3?
b
Suppose -4*v = 8 - 32. Suppose -2*k + 4*u + 1018 = 0, -2*u = -4*k + 1471 + 595. Let l = 2624/5 - k. Which is smaller: l or v?
l
Let j(n) = n + 3. Let w(p) = -p**3 - 3*p**2 - 2. Let y be w(-3). Let b be j(y). Let t = b + 4. Which is smaller: 0.03 or t?
0.03
Let m = 0.086 - 0.676. Let i = -1.74 - m. Let p = -0.15 - i. Which is smaller: p or -12?
-12
Let k be (-2)/(-7) + 334880/(-1161104). Is 1 > k?
True
Let v be (3 - (-2358102)/(-700)) + (-1)/7. Let x = v - -3366. Which is smaller: 0 or x?
0
Let c = 537 - 536.8. Is 0.032 greater than c?
False
Suppose 5*d = -4*s + 407, 2*s + 83 = d + 10. Let y = d - 98. Is -142/7 bigger than y?
False
Let a = -2 - -9. Let q = -9 + a. Let p = -8111 - -8110. Which is smaller: q or p?
q
Let d = 6 + -6.7. Let x = 4.56 - -265.44. Let t = -263 + x. Which is bigger: t or d?
t
Let d = 843 + -390. Suppose -d = -5*x - 118. Is x not equal to -2?
True
Let q = -49.5 + 33.4. Let y = q - -16.6. Does 19 = y?
False
Let m be ((-129)/(-9) - 1)*(2 + 4). Suppose 70*c = 75*c + m. Let v = 15 + c. Are 39 and v nonequal?
True
Let j = 1/3623 + 3620/10869. Which is smaller: j or 9168?
j
Let n = -6/419 - 11283/2095. Let g be (-4)/5 + 6/5. Which is smaller: g or n?
n
Suppose 4*d - 2*d = -4, -d - 2 = 2*r. Let c be (-8)/(-48)*r + 1/(-48). Are 0 and c equal?
False
Suppose 0*y = 113*y + 308942. Do -2734 and y have different values?
False
Suppose 3*r - 5*z = 70, z + 3*z = -2*r + 10. Let l be (159/5)/(6/r). Is 80 less than or equal to l?
False
Let t = -4.7501 - 0.2499. Let h = 0.12 - -4.88. Let k = h + -4. Do k and t have the same value?
False
Suppose 24*m - 12 = 20*m - 3*k, -12 = -3*k. Is m >= 1/6583?
False
Let a = -1.486 + 62.486. Are -0.4 and a equal?
False
Let v = 46067945/36 + -1280942. Let u = -4036 + 2759. Let f = v - u. Is -1 >= f?
False
Suppose 0 = 152*o - 39 - 113. Is o less than 4/1575?
False
Let v = 1554.292 + -1554. Which is smaller: 1 or v?
v
Let u(v) = v**3 - 2*v**2 - v + 2. Let g be 27/45*20/6. Let p be u(g). Which is smaller: p or 3/37?
p
Let v be -2 + 1 + (-8 - (6 - 7)) + -317. Is -323 bigger than v?
True
Let h be 130/4 + 2/(-4). Let q(l) = -4*l**2 - 45*l + 36. Let t be q(-12). Suppose t = 6*v - 7*v + 33. Is h less than or equal to v?
True
Let b be (-30)/(-28)*735/(-630). Is b bigger than -4.88?
True
Let z be 1 + -4 - (-32)/(-1). Suppose -2*k - 3*k = 5. Let x be 0 - 3/k - 37. Is x at most as big as z?
False
Let a = -15.4 + 15.262. Let l = a - -0.087. Which is smaller: -2 or l?
-2
Let u be 952/140*((0 - -1) + -16). Let p be 22/1*(-51)/u. Is p greater than 14?
False
Let p(w) = 5*w - 3 - 3*w**2 + 2*w**3 - 3*w**3 + 9. Let z be p(-4). Let s = -9 + 7. Which is smaller: s or z?
s
Let l = 0.0484 - 217.0484. Let g = 193 + l. Which is bigger: 8 or g?
8
Suppose 4*p = 3*f - 328, 0 = 5*p + 4*f - 0*f + 410. Is p equal to 5?
False
Let j(l) = 34*l + 44. Let s be j(-2). Let x be (-1)/((-8)/50) + (s - -18). Is x greater than or equal to -123/4?
True
Let c = -319.05 + 316. Let t = c - -2.95. Does t = 335?
False
Let x be 2*(-67783)/6*9. Let z = 15861005/78 + x. Let j = -13/6 - z. Is 2 at least j?
True
Let n = -61.908 - 0.092. Let m = n - 34. Is 1 >= m?
True
Let w = 1610 - 2993. Which is greater: -1385 or w?
w
Let w be 7*(-4)/(-42)*-1*-12. Let r be (-45)/636*1*w. Which is greater: -2 or r?
r
Let s = -80753/4 - -20188. Which is smaller: s or -1487?
-1487
Suppose -5*i = -4*i. Suppose s + 2*z - 6*z = 23, i = z + 3. Suppose 0 = -2*l - 3*q - 5, s + 1 = 4*q. Is l >= -7?
True
Let d(l) = l**2 + 45*l - 683. L