 as o?
True
Let n = -2.39024 - -0.39024. Suppose 0 = 3*d + 2*u + 144, d - 3*u - 2*u + 48 = 0. Let v be d/(-28) - 1*2. Are n and v equal?
False
Let i(u) = -40*u + 7220. Let r be i(45). Which is smaller: 5421 or r?
r
Let f be (-2)/4*((-1000)/(-4) + -8). Let d be (-6 - -3)/21*(-22)/f. Let a = 59/231 + 1/33. Which is greater: d or a?
a
Suppose 4*g + 297 = 3*w, -3*g - 40*w = -38*w + 210. Let f be 2 + 429*(-6)/g. Do 37 and f have different values?
True
Let r be ((-16)/(-20))/((-6)/(-105)). Let q = 93 - r. Let p = -76 + q. Which is smaller: 4 or p?
p
Suppose 0 = -5*w + 7*w. Suppose -2*d + 116 = 2*h, 2*h - 2*d - 37 - 75 = w. Suppose 5*a = 5*l - 17 - 43, h = 4*l + 5*a. Are 27/2 and l equal?
False
Let v(p) = -2*p**3 - 110*p**2 - 4*p - 161. Let q be v(-55). Which is smaller: 82 or q?
q
Let q = -41 + 70. Let y = -27 + q. Let o be 0 + 5/(-2) + y. Which is smaller: o or 7?
o
Suppose -15719 = -97*p - 1751. Is p at least as big as 1?
True
Let b = -844 - -795. Let y(z) = -7*z**3 - z**2 + 2*z - 1. Let f be y(1). Let v(h) = -h**3 - 8*h**2 + h + 8. Let k be v(f). Which is bigger: k or b?
k
Suppose -4*s = 2*n + 2, 2*n = 3*s - 5*s. Let g = -10295/13243 + 32/41. Which is bigger: g or s?
g
Suppose 3*o + 2*o = 0. Suppose 3*z = -5*b + 35, 0*z - 2*z = 3*b - 23. Let j be ((-3)/(-15))/((-3)/z). Which is smaller: o or j?
j
Let k = -68.32263 + -0.73437. Let w = k - -0.057. Let a = -68 - w. Which is smaller: a or 11?
a
Let g = -1343.71 - -1343.8. Which is smaller: 433 or g?
g
Let g = -3669 - -3356. Are g and -316 nonequal?
True
Let m = -1641390457031/787509575 + 2/31500383. Let g = 2085 + m. Is 1 smaller than g?
False
Suppose -8578 - 13010 = 42*z. Let p = -513 - z. Which is smaller: 2/587 or p?
2/587
Let c = -1.32 + 0.12. Let q = 0.2 + c. Let o = 39.7 - 4.7. Is q at least o?
False
Suppose -3*j = -2*v + 145, 2*v - 2*j - 72 = 70. Suppose -150 = 73*z - v*z. Which is greater: -29 or z?
-29
Let m be -1*(-2)/(-6)*-9. Suppose 5*j - 243 = l, 5*j - 179 - 60 = m*l. Suppose j*i + 5 = 54*i. Is 27 greater than i?
True
Let i be 5*1/2*(62 + -16). Let d = i - -173. Is 288 >= d?
True
Let m(p) = p**2 + 20*p - 72. Let s be m(-15). Let y = s - -146. Are 1/61 and y non-equal?
True
Let c(v) = -3*v - 17. Let g(z) = -z. Let u(s) = 2*c(s) - 10*g(s). Let h be u(4). Is -14 smaller than h?
False
Let v = 16 - 17. Let r be 1/(-1) - 72/(-108) - (-42)/198. Which is smaller: v or r?
v
Let o = -211 - -4841/23. Let m be (0/(-21))/(-2*(-2)/4). Suppose m = -21*p - 12 - 9. Is o at least as big as p?
True
Let y = 22221 + -600089/27. Is y < 0.1?
True
Let w = -18.26 - 0.94. Let f = w + 25.2. Suppose -8 = b + n, 3*b + n = -0*n - 24. Which is smaller: b or f?
b
Let p = -56 + 59. Let f be (-1 - -9)*(-74)/24*p. Let v = 74 + f. Which is smaller: 4/25 or v?
v
Let t = -139 - -221. Let s = -81.07 + t. Let l = -0.07 - s. Is 0.05 bigger than l?
True
Let w = 391/7 + 4091/21. Let l = 251 - w. Which is greater: l or -32/5?
l
Let n be ((-4)/(-6))/((-497)/639) + 4896/77. Are n and 62 equal?
False
Let s = 4 - 21. Let i = s + 17. Suppose -2*t - 17 + 15 = i. Which is smaller: -10/17 or t?
t
Let g(c) = c**2 + 58*c + 446. Let t be g(-31). Which is smaller: -3 or t?
t
Let j be (129/21 - -5) + 3/(-21). Let p = -261 + 274. Which is smaller: j or p?
j
Let s = 4/67179 + 57236440/1142043. Which is bigger: 51 or s?
51
Let g = 59.1 - 59.1327. Let d = g - -16.3327. Do d and 0.1 have the same value?
False
Let x(q) = -33*q**2 + 495*q - 1. Let l be x(15). Is 1/24 >= l?
True
Suppose -3*j + 5*o + 13 = 0, -8 = -0*j - 2*j + 3*o. Let g(v) = -25*v + 39. Let k be g(-10). Let m be (51/k)/(6/(-4)). Which is smaller: j or m?
m
Let m(q) = 4*q - 2. Let n be m(3). Let u = -4205 - -727460/173. Let i = 5897/519 + u. Is n greater than or equal to i?
False
Let t be 4 + (0/1)/(-5) - 0. Let l be t/4 - -4 - (-54)/(-10). Which is smaller: l or 0.132?
l
Let b(v) = -2*v**3 + 107*v**2 + 78*v + 6. Let k be b(54). Is 1301 at least as big as k?
False
Let n(w) = -2*w**3 - 12*w**2 - 45*w - 194. Let t be n(-5). Which is greater: t or -21?
t
Let z = 1.94 - 0.24. Let a = -2.9 + z. Let g = a + -1.8. Is 2/17 >= g?
True
Let p = 0.0368 + 484.9632. Let k = 488 - p. Are k and 38 non-equal?
True
Let i(g) = -13*g**2 + 47*g + 219. Let d be i(-7). Is d equal to -745?
False
Let u = 109 - -107. Let h = u + -216.2. Let n = 1 - 6. Is n at most as big as h?
True
Let r = -153 - -263. Let o be (-6)/(-42) - r/(-14). Which is bigger: 1/5 or o?
o
Let d = -20 + 18. Let s = -63 + 71. Let c = -10 + s. Is d not equal to c?
False
Suppose -12041*i + 12047*i = 0. Is 3/971 != i?
True
Suppose -d + 47 = -4*c + 35, 0 = -2*d - 3*c + 2. Is -13 at least as big as d?
False
Let u be (-7650)/450*((-2 - -11) + -2). Which is smaller: -1076/9 or u?
-1076/9
Let s = -0.04761 + 5581.04761. Are s and 1 unequal?
True
Let g be (0 + -253)*(13 + -4). Let n be 5 + (5 - (-1 - g)). Let w = n + 310440/137. Is w at least 1?
False
Suppose 22 = -4*s - 2. Let d be (s/(-4) - 1)*-14. Let o(p) = 3*p + 17. Let j be o(d). Which is smaller: -2 or j?
j
Let x = 0.233 + 246.767. Let c = x - 246.6. Is c equal to -1?
False
Let t = -3341 - -6467/2. Let h = -106 - t. Which is greater: 1 or h?
h
Let w = 58/3 + -1108/57. Which is bigger: -2.04 or w?
w
Suppose 34 = 6*f - 32. Suppose o + 1 = 3*d, -4*o = d + 2*d - f. Let n be o*(-100)/(-16)*6/5. Is -1 at least as big as n?
False
Let u = 1 + -19. Let i be (-1185)/(-13) - u/(-117). Let o = 92 - i. Is o at most 14?
True
Let k = -751871 - -751872. Let s = -7577397/143 - -52989. Let p = s - 4/11. Is k >= p?
True
Suppose -4*u + 472 = u + 587. Are u and -48 nonequal?
True
Suppose 0 = 18*m - 21*m + 3186. Is m at most 1061?
False
Let t = -0.0217 + -0.1783. Is -406 <= t?
True
Let n = -9390 - -5118. Is n smaller than 0.1?
True
Let o = -221 - -332. Let s = 110.93 - o. Is -1/6 at least s?
False
Let c be (-48)/(-36)*(-32)/64. Which is smaller: 3201 or c?
c
Let s be ((-1)/((-2)/12))/(242 + -700). Which is bigger: 0 or s?
0
Let w = 13956 - 13956.07. Is w > 0.33?
False
Let o(d) = d**2 + 24*d + 12. Let r be o(-24). Let p be (r/(-45)*9)/((-6)/(-45)). Are -16 and p nonequal?
True
Suppose 0*g + 2*g = 48. Let o be (4/7)/(72/16104). Let d = o - 722/7. Is d >= g?
True
Let o = 2545 - 147. Is o at least 2398?
True
Suppose 2*h - 3*s = h + 69, 0 = 3*h - 5*s - 227. Let p be (-2 + -8)*h/15. Is -3/5 >= p?
True
Let m be ((-48)/(-36) - (-2)/(-6)) + 0. Let o be (2*m/60)/(39/6). Which is bigger: o or 0?
o
Let b = 15.349 + 0.151. Let z = b + -15.02. Which is bigger: -1/2 or z?
z
Let q = 0.06 + 2.94. Let m = q + -2.6. Let b = -0.12982 + 0.14982. Is b at least m?
False
Let t be 254160/252 - (1 - ((-72)/(-21) - 2)). Which is smaller: 1010 or t?
t
Let n be -2 + (6 - (5 + -1)). Suppose 12*i + i + 338 = n. Are -28 and i nonequal?
True
Let m = 49 - 46. Suppose -5*z - 19 = -v, 2*z - 6 = 2*v + m*z. Which is smaller: 0.128 or v?
v
Let j(f) = -8*f + 1. Let n(a) = a**2 + a - 1. Let h(g) = j(g) + n(g). Let b be h(12). Let d = -64 + b. Do -8/3 and d have the same value?
False
Let m = 504 - 504. Suppose 5*x + 369 + 216 = m. Which is smaller: -115 or x?
x
Suppose -3*c - p - 2 = 0, 3*c + 0*p - 2 = -5*p. Which is smaller: 12/295 or c?
c
Suppose 4*v + 0*v = 8. Suppose -4*g + 21 = 5*l, -v*g - 2 = 2*l - 10. Let f be (-8)/32*54/(-4) - (13 - 10). Which is bigger: f or g?
f
Let f be -1*24/(-4) - 1. Suppose f*u = 10*u. Let r be (1 - (-155)/(-150))/(6/(-105)). Is u less than or equal to r?
True
Let p = 109 + -118. Let u be (p/(-6))/(30/(-760)). Which is bigger: -264/7 or u?
-264/7
Let r(m) = -2*m**2 + 92*m - 479. Let t be r(40). Let n = 1.4 - -0.2. Let k = 0.4 + n. Is k > t?
True
Let p = -4410 - -4469. Let f = -12645.57 + 12704. Let t = p - f. Which is greater: t or 0?
t
Suppose 53*k - 51*k + 304 = -3*t, -t - 108 = 4*k. Which is bigger: -146 or t?
t
Let t = -222.79 + -21.21. Are t and 0.25 equal?
False
Let d be (-242)/1573 + (-56)/(-26) - (-125 + 0). Suppose 512 = 4*k + 4*x, 0*k + 3*x = 2*k - 251. Is d at most k?
True
Let u be 35 - (-6 - -1)/(-1). Suppose -q - u = 3*a, 0*q - 6 = 2*q. Which is bigger: a or -11?
a
Let j = -5208 - -5351. Which is smaller: 138 or j?
138
Let i be 6 - -2 - (0 - 0). Let g = 126 + -301. Let s = g - -174. Which is bigger: i or s?
i
Let f = -0.346 + 0.43. Let w = f - 0.904. Let z = -40.82 - w. Which is smaller: 0 or z?
z
Let y = -92