er: c or w?
w
Let s = 763 - 768. Suppose -55 = 6*v - 4*v - 3*m, -v - 40 = m. Which is smaller: s or v?
v
Let w(k) = 2*k - 2. Let t be w(3). Suppose -3*b - t = b. Let z = 77/25 + -22611/7325. Which is bigger: z or b?
z
Let b be (-46)/(2 + -1 + -3). Let p = b - -20. Suppose -4*y + 2*s - 7 - p = 0, 20 = -3*y - 2*s. Which is bigger: -19/2 or y?
-19/2
Suppose 4*t = -5*k - 25, 74*t + 25 = 79*t - 5*k. Which is greater: -5/478 or t?
t
Let o = -48.99 - -49. Let q = 0.79 + o. Let r = 0.7 - q. Is -12 < r?
True
Let q(m) = -2*m - 8. Let f be q(-6). Let l be 28*(2 - (-1 + f)). Let a be (-3*(0 - 2))/(l + 5). Is a at most as big as 0?
True
Let h be (-9)/(2223/3263) - -13. Let t = 0.28 + -0.14. Let b = -0.34 + t. Is b >= h?
True
Let n(k) = -2*k - 15. Let b be n(-9). Suppose 4*a + 445 = -l, b = 3*l - 6. Is a < 0?
True
Let v be (-110)/135 + 2/3. Let t be (-2 + 5)*(-3 + 5). Suppose 0 = -7*u + t*u. Which is bigger: v or u?
u
Suppose z + 12707 = 4*x, 37*x + 4*z + 6378 = 39*x. Which is bigger: x or 0.1?
x
Let a be (-3 - (-7275)/(-63))/((-3738)/63) - 2. Is 1/4 less than or equal to a?
False
Let s = 155 + -327. Let f = -232 - s. Is -58 < f?
False
Let i = -1108811/181 - -6126. Which is bigger: i or -1?
i
Let a be (-6)/27 + (-4380)/(-27). Suppose 24*d - a = 18*d. Which is greater: d or 2?
d
Let a(f) = f**3 + f + 73. Let u be a(0). Let k = 4.2307 + -4.3307. Are u and k equal?
False
Let g be 35/(-30)*-9*((-576)/(-56) - -4). Are g and 153 nonequal?
True
Let o = -1123 + 565. Let a = o + 557.3. Which is smaller: a or 2/15?
a
Suppose 13*j + 17*j + 481 = -749. Let g = 50443/42 - 7453/6. Is g smaller than j?
True
Let n = 30629 - 33014. Which is smaller: n or 6/11?
n
Let x be 15/10*(-532)/(-3). Suppose 6*w + 446 = x. Suppose 2*h + 3*h - 78 = 3*m, -81 = 3*m - 4*h. Which is smaller: w or m?
m
Let i be (1/(-2))/(-10*1/(-20)). Let q = 19615634/17525 - -1540/2103. Let z = q - 1120. Is z equal to i?
False
Suppose 4*r + 2*r + 36 = 0. Let t(q) = 3*q + 5. Let s = -23 - -18. Let o be t(s). Is r < o?
False
Let v = -7007 - -14186. Which is greater: 7178 or v?
v
Let z(w) = w**2 + 31*w + 65. Let a = 19 - 48. Let d be z(a). Suppose d*p - 85 = 216. Is 43 greater than p?
False
Let f = 123 + -122. Let p = -9599/15 - -640. Is p >= f?
False
Let u = 0.832 - 0.122. Let o = u + -0.68. Is -2/15 > o?
False
Let r(m) = 9*m + 18. Let s be r(-6). Let a = s - -22. Let d be 0 + (-6)/14 + (-13)/a. Is 4 >= d?
True
Let z = 913528/17 + -53786. Is -48 equal to z?
False
Let t = 4/28283 + 60949829/254547. Let f = -239 + t. Let q be ((-36)/16 + 2)/(65/624*6). Which is smaller: f or q?
q
Suppose 0 = 3*x - 5*n - 399, -3*x = 3*n - 142 - 257. Is 25 < x?
True
Suppose -2*d + 68 - 36 = 0. Suppose -7 = -5*n - 4*l, n + d = -0*l + 5*l. Are n and 2/319 equal?
False
Let n = 3158.886 - 2481.78. Let c = 677 - n. Is c bigger than -4?
True
Let a = -1962 - -1975. Which is bigger: a or 2/297?
a
Let f = 1.21 - 26.21. Let c = -24.66 - f. Which is smaller: 0.1 or c?
0.1
Let t be 27*(-2)/(-351) - (-4877)/(-31616). Which is smaller: t or -1?
-1
Let j(i) = i**3 - 2*i**2 - 15*i - 18. Let a be j(-8). Let l = a + 594. Suppose -2*s + 3*s = 0. Is s at most as big as l?
True
Let n be 8*1 + (-16)/8. Suppose 2*j = 4*w + n + 6, 5*j - w = 66. Suppose 0 = 3*m - c + 87, m - 1 + j = -5*c. Are -2 and m equal?
False
Let o(v) be the second derivative of -2*v**4 - 11*v**3/2 - v**2/2 + v - 31. Let t be o(-2). Is -31 >= t?
True
Let u be (-12)/21 - (-8)/14. Suppose u = -19*v + 14*v + 65. Let h(d) = -d**2 + 12*d. Let r be h(v). Which is smaller: r or -14?
-14
Let t be (-200)/(-92) - (-14)/(-7). Suppose 2*k + 2*k - 4 = 0. Suppose -k = -c - 2. Is t at least as big as c?
True
Suppose 231*p - 236*p = 70. Let h(u) = u**2 + 18*u + 60. Let m be h(p). Let s be (2*-1)/(-1 - 18). Which is smaller: s or m?
s
Let j be (10/28*2)/1. Suppose 0 = -218*i + 220*i + o + 1, 4*i - 5*o = 33. Is j >= i?
False
Suppose 97 = -2*j + 41. Suppose 26*v - 773807 = -774561. Which is greater: j or v?
j
Let d = 83 + -75. Let u be (7/(14/12))/2. Suppose 2*v - 44 = -u*v + 3*g, -5*v = 4*g - 23. Which is greater: v or d?
d
Let j = -35 - -284. Suppose 4*x = 2*a - 546, -j = 2*x - 3*a + 22. Is -137 less than x?
False
Suppose -6*l - 35 = -11. Let q be ((1 - -2) + 1)*(-5 - l). Let u be q*1*(-3)/174. Is u at most as big as -1?
False
Let i be (12/20 + 12/(-20))/(-3). Is 2/21169 >= i?
True
Let y be 3 - (10 + -306) - (0 + 2). Which is greater: y or 295?
y
Let q(k) = -15*k + 13. Let b be q(1). Let d be b + ((-5735)/(-955) - 4). Is -1 at least d?
False
Let o be (33 - 58)/((-5)/35). Is o at least 6?
True
Let v(x) = 4*x**2 + 252*x + 141. Let b be v(-62). Are 47 and b non-equal?
True
Let n = -0.0563 + -0.5137. Which is smaller: n or 0.08?
n
Suppose 3*c + c = j + 21, -3*c + 2*j = -17. Let g be -9 + (c - 4) + 6. Which is greater: 3 or g?
3
Let o = -2872828/2349 + 1223. Is o at most as big as -1?
False
Let c = 5 + -19. Let t = c + 33. Suppose 0 = 4*v - 16, -k - 4*v + t = 0. Which is bigger: 27/7 or k?
27/7
Let k = 267 - 249. Suppose k*n = 17*n - 18. Which is smaller: 4 or n?
n
Suppose 4*a - 3*a = -5*p - 510, -3*p + 2*a - 306 = 0. Let x be 2 + (-392)/4 - -55*(-2)/22. Which is smaller: x or p?
p
Suppose -284*h + 1328 = 1044*h. Suppose -2*u + 1 = -3. Is u smaller than h?
False
Let k be 85/4 - 207/(-276). Which is bigger: -8 or k?
k
Suppose w = 1 + 1. Let m = 83.204 - 0.204. Let a = m + -80. Is w greater than a?
False
Let b = 9.55 + -11.26. Is b at least 0?
False
Let t = -16.2 - -16. Let m = 0 + t. Let f be ((-6)/(-18) - 2) + -7 + 364/(-21). Which is smaller: f or m?
f
Suppose -5*c + 18 = -7. Suppose c*g - 48 = g. Suppose 0*m - g = -4*m. Which is smaller: m or 0?
0
Let k = 30 + -14. Let s(o) = -22*o + 120. Let n be s(6). Let i be 0 + 2 + 21/n. Which is smaller: i or k?
i
Let l = -188407/6 + 31398. Let y(b) = -2*b + 9. Let r be y(6). Is r != l?
True
Let b be 7 + -6 - 25/(-15). Suppose -3*l = -4*q + 55, -2*q - l = -3*q + 13. Suppose d = -5*f + 12, -4*d + q = -d + 5*f. Which is bigger: d or b?
b
Suppose -27*q - 711 = -x - 25*q, -2*x - 3*q = -1387. Is 700 at least x?
False
Let v be ((-24)/30)/(-2) + (-1935)/25. Let b be (24/54)/((-14)/v). Which is smaller: b or 2?
2
Let v = 2 + 4. Let j be v/4*48/(-4). Suppose -5*o = -103*n + 106*n + 97, 63 = -3*o - 3*n. Is j >= o?
False
Let s = -418 - -274. Let t = 144.1 + s. Let b = 0.4 - -0.2. Which is smaller: b or t?
t
Let i be 114/5*(-1)/(-3). Let a = 338 + -308. Suppose 3*s = y + a, 0 = -0*s - 4*s + y + 39. Is s at most i?
False
Let x = -163.154 + 163. Let q = -0.13 - x. Let o = -0.024 + q. Which is smaller: o or 3.3?
o
Let w = -2/166060717 + 556303405316/279480186711. Let r = -34/99 + w. Is -1 smaller than r?
True
Let n be -19 - (11 + (-12811)/667). Which is smaller: n or -12?
-12
Let x = -31.2023 - -32.1023. Let u = -0.35 + 0.52. Is u >= x?
False
Let u = 3240 + -3968. Which is greater: u or -727?
-727
Suppose -8*o + 42 - 314 = 0. Let u be (-135)/o*(1 + (-2)/(-6)). Does 1 = u?
False
Suppose -4*b - 2*r = 564 - 2, 0 = 2*b - 5*r + 275. Do b and -138 have the same value?
False
Let f = -275/2 + 29429/214. Let l be -3 - -5 - 9/(-180)*-45. Is l >= f?
False
Let x = -148.029 + 18.082. Let b = -113 + 243. Let s = x + b. Is -0.1 at least s?
False
Suppose -7 = -5*h + 181*q - 180*q, -3*h + 4*q - 6 = 0. Suppose 5*l + 349 = -3*c, -625 = 5*c - 5*l - 110. Let n be (c/39)/(-4) - 0. Which is smaller: n or h?
n
Suppose -238*p + 65728 = 163*p + 15*p. Which is smaller: p or 160?
p
Suppose 3*k - 20 = -4*p - 7, 4*k + 8 = p. Let h be ((-48)/(-72))/(k/(-129)). Which is smaller: h or 87?
h
Suppose -14*t - 1118 = -222. Let w be t/(-12) + 1 + 16/(-12). Suppose 2*x = -5*z + 76, 5*z = -w*x + 4*x + 78. Which is greater: z or 12?
z
Let x be (-12)/(-8) - 1 - (-75)/(-270). Let v = -0.16 + 6.16. Is v < x?
False
Let d = 1528 - 1053. Let f = 476 - d. Is 42/23 at least as big as f?
True
Let r = 31860157/12 + -2656674. Let j = 1660 + r. Let y(b) = -b**2 + 8*b. Let n be y(8). Which is smaller: j or n?
j
Let w = 1771 - 23019/13. Which is greater: -16/3 or w?
w
Suppose -240*q - 23*q = -13*q + 750. Which is smaller: -1091 or q?
-1091
Let f = -1/717 - -2179/20076. Let n be (0/(-4))/(4/4). Which is smaller: n or f?
n
Let f = 96 - 79. Let z be f/(-2) + -2 + (-36)/(-24). Let u be (-2)/(-8) + z/(-8)*14. Is 49/3 smaller than 