False
Let p be -5 + 20/(4/1). Let y(d) = d**3 - d**2 - 5*d. Let x be y(p). Let l be (3 + (-162)/57)*(-4)/(-3). Is l at most as big as x?
False
Let o be (8 + (-39)/5)*15. Let c(x) = -46*x + 143. Let g be c(o). Which is bigger: g or -0.68?
g
Suppose -4*i - 30*s = -27*s + 37, 0 = 2*i + 3*s + 35. Let o = 16/1991 - 523953/39820. Let v = o - -62/5. Which is smaller: i or v?
i
Let h = 30049/42 - 5007/7. Which is smaller: 48 or h?
h
Let q = -34 + 86. Let v = -52.53 + q. Let x = 0.63 + v. Which is smaller: x or 0.18?
x
Let r = 1252 + -1251. Suppose 4 = -4*x - 3*v, 4 = x - 4*v + 24. Which is smaller: r or x?
x
Let v = 286 - 277. Let b(i) = i**3 - 9*i**2 + i - 9. Let u be b(v). Is -2/257 equal to u?
False
Let m = -349 - -370. Suppose m*c - 8496 = -3*c. Do c and 354 have the same value?
True
Let k(d) = 3*d**3 - 56*d**2 + 34*d + 35. Let h be k(18). Which is greater: h or -3/191?
-3/191
Let n = 746 + -515. Let f = n + -245. Which is smaller: f or 1?
f
Let d = -584 - -493. Let x = d - -91.1. Which is smaller: 173 or x?
x
Suppose -4*f = 4*j - 76, j + 91 = 5*f + 2*j. Suppose -4*q + 2*l - 26 = -88, -25 = -5*l. Let a be (2/q)/((-6)/f). Is 17 greater than or equal to a?
True
Let v be (1 + (-22)/16)*222560/28080. Is -2 at least as big as v?
True
Suppose 272 = r + 3*r + d, 4*d = 4*r - 292. Let i = r + 232. Let o be ((-1)/4)/(i/(-56)). Are o and -1 non-equal?
True
Let p = 1764 - 1230. Which is smaller: 535 or p?
p
Let z be (-4 + 426/106)*-353 - (-18 + 12). Is z at most -1/2?
True
Let v = -2788.3 + 3059. Let j = -271 + v. Which is bigger: 93 or j?
93
Let h = -197.55 + 263.55. Is -55 at least as big as h?
False
Let f be 550/6 + 2/(-3). Suppose -2*q - 2*q = 2*o - 66, -3*o = 4*q - f. Let r = 21 - o. Which is greater: r or 0.05?
0.05
Suppose j + 4143 - 18713 = 21*b, -3*j - 2788 = 4*b. Which is smaller: b or -693?
b
Let q = -91 - -91.023. Let z = q + 8.277. Let l = z + -8.2. Is -11/2 at least as big as l?
False
Let s = 10553/18 + -586. Let d = 24 - 30. Let r be -2 - ((-4)/d + (-10)/6). Which is bigger: r or s?
s
Let s(u) = -u**3 - 10*u**2 - 11*u - 13. Let d be s(-9). Suppose 0 = -0*c - d*c. Let m be ((-120)/363 - 4/(-12))*(-66 + 72). Which is greater: c or m?
m
Let n be (-39 + 0)/((-99)/1818). Let x = -717 + n. Which is greater: x or -2?
x
Let t = -5451 - -5450.92. Is t at least as big as 32.9?
False
Let v = 396.45 - 390. Let p = v + -5.45. Let n = -7.458 + 7.4. Which is smaller: p or n?
n
Let p = -0.14593 - -0.74593. Which is bigger: p or -276?
p
Let y = -1194 - -1193.72. Which is greater: 65 or y?
65
Let b(p) = -p**3 - 4*p**2 - 18*p - 89. Let k be b(-5). Let w be 2*4/8*-2. Which is greater: k or w?
k
Let t(o) = o**3 + 13*o**2 - 8*o + 12. Let l be t(-12). Let r = -301 + l. Which is smaller: -48 or r?
r
Suppose 6*d - 1123 = 2447. Suppose d = -48*s + 43*s. Is s >= 0?
False
Suppose 4*f + 88 = -29*f + 880. Let z = 34 + -10. Do f and z have the same value?
True
Let g be ((-3)/(-1))/(-3)*17. Let d be 8225/(-423) - (10/18 + -1). Which is smaller: d or g?
d
Let k = -6/23 - 11/46. Let m = -615 - -584. Which is smaller: k or m?
m
Let z be 1/(((-783)/18)/(-29)). Suppose -2*u + 28 - 2 = 0. Let j be (1/u)/(2/6). Is z bigger than j?
True
Suppose -5*x = 5*h - 80, -4*x + 0*x = h - 64. Suppose 258 + 350 = -x*a. Is -0.07 greater than or equal to a?
True
Let j = 90.1 - 105. Let r = -14.7 - j. Are r and -4.2 equal?
False
Let d = 23 - 22.93. Let m = 674 + -430. Let o = m - 239. Is o at most d?
False
Let y = 138.76 - 163.76. Is 9.6 at most y?
False
Let u = -1175 + 1167. Let n = 125 + -169. Which is bigger: u or n?
u
Let l be 12 + (-40)/3 - (-1860)/1415. Which is smaller: l or 1?
l
Let m be -6*((-9)/6 - -1)/(27/99). Are m and 150 nonequal?
True
Let g = 107 + -79. Suppose 30*r - g*r = 28. Let a be (-16)/(-224)*4*(-3)/r. Is a >= 0?
False
Let l = -2/39 + 5/13. Let d = 2180 - 2395. Which is smaller: l or d?
d
Let z(y) = -y**2 - 28*y - 82. Suppose -116 + 16 = 4*a + d, 0 = -a + 2*d - 16. Let i be z(a). Are -2 and i equal?
False
Let x = 5 - 1604. Which is smaller: x or -1596?
x
Let z = -43.71 + -0.29. Let c = z - -34.5. Let s = 0.5 + c. Is -1 at most as big as s?
False
Let u(y) = -2*y + 7. Let v be u(1). Let o = -9 + v. Let n be o/2 - (-1 - 0). Is 4/53 at most n?
False
Let v = -30 + 219. Let b = v + -159. Is b >= -0.2?
True
Let u(h) = h**2 - 26*h + 41. Let m be u(24). Let z be 216/87 + (7 + m)*1. Which is smaller: 1 or z?
1
Let u be ((225/2)/(-3))/(-6). Let w be (-1 - 35/(-45))*((-234)/(-30))/13. Is u greater than w?
True
Let c be 14 + (-13)/((-39)/(-36)). Let p(i) = i**2 - i + 1. Suppose 2 = -2*y + 3*y. Let x be p(y). Which is bigger: c or x?
x
Let l be 0 - (0 - -22)/(6/(-41)). Let s = l + -150. Let k(j) = -j**3 - 5*j**2 - 2*j - 2. Let p be k(-4). Is p less than s?
True
Let t(p) = 128*p - 223. Let h be t(12). Is 1314 at least h?
True
Let s(o) = -12*o - 9. Let d be s(-3). Let f be (d/3150)/((-6)/(-522879)). Let j = f - 747. Is j bigger than 0?
False
Let i = -3/2327 - -146616/11635. Do 12 and i have different values?
True
Let x = 47.8 + -47.76. Which is smaller: x or -605/7?
-605/7
Let j be 5/4 - (-6)/(-24) - -9. Is 6 < j?
True
Let l be (-35)/45 - -1*1. Let q = 29.8 + -195.8. Let o = -177 - q. Is o > l?
False
Let v(n) = -56*n + 6. Let p be v(10). Let b = -654 - p. Is -97 < b?
False
Let s be -2 + (-9)/(-15) - -5. Is 5 bigger than s?
True
Let u be (-840)/(-63)*(-6)/(-4). Let d be -2*71/(-882) - u/90. Let l(p) = p**3 + 8*p**2 - p - 8. Let x be l(-8). Which is smaller: d or x?
d
Let g = 2190 - 2191. Let l = 119 + -2498/21. Which is greater: l or g?
l
Let i(a) = 59*a - 4645. Let x be i(27). Are x and -3052 equal?
True
Suppose 0 = 4*q - 2*m - 30, 5*m - 12 = 13. Suppose z + 80 = -5*h - 0*z, 0 = -2*z. Let t = h + q. Are t and -13/2 equal?
False
Let z = 12808.93 - 12809. Which is smaller: -3/19 or z?
-3/19
Suppose 3*w - 5*x + 11 = 2*w, 5*w + 4*x - 3 = 0. Suppose -8*b + 6*b = -2*c - 8, 2*c + 8 = -4*b. Let h be -3*c/(-15) + (-248)/40. Which is smaller: h or w?
h
Let o = 2010.07 + -1996. Let i = o - 14. Let x = 3.47 + -3.77. Is i greater than or equal to x?
True
Suppose -75 + 71 = -2*t. Suppose 0 = -3*n - t*p - 95, -2*p + 122 = 13*n - 17*n. Suppose 124 = -3*y + 25. Which is smaller: y or n?
y
Let u = -321639822563488741 + 28643616386561426710805417/89054944. Let g = u + -1/1011988. Let y = g + -87/32. Is 2 equal to y?
False
Suppose 353 = -4*g + 321. Let y be g/(-10)*5/(-2). Is -22/7 less than or equal to y?
True
Let i = -106.8 + 107. Let y = i - 0.9. Is 0.5 <= y?
False
Let w = 13429.49 + -13486. Let f = 0.0359 + 56.9641. Let z = f + w. Is -1 smaller than z?
True
Let q be (147330/(-60))/(12/(-32)). Which is greater: q or 6549?
6549
Let j be 2373/18*(-9 - -4*(-265)/(-70)). Is j greater than or equal to 811?
False
Suppose -3*l + 5 = 2*l. Suppose 12*k - 40 = 2*d + 13*k, d + 20 = 5*k. Let i be 49/195 + (64/d - -3). Which is smaller: i or l?
i
Let h = -237 + 44. Let r = 192.9 + h. Let w be ((-4)/(-22) - -2) + -2. Which is bigger: w or r?
w
Let s = -44 + 43. Let m(b) = 2*b. Let u be m(-3). Let p be (10/u)/(5/(-15)). Which is smaller: s or p?
s
Let c(v) = 3*v**2 + 5*v + 11. Let p be c(6). Let d(b) = 25*b + 25. Let u be d(5). Which is greater: p or u?
u
Let x(u) = -590*u - 4112. Let i be x(-6). Is -572 greater than or equal to i?
True
Let u = 806 + -798. Let s be u + (-8 - 252/(-32)). Is 0.1 at least s?
False
Let j(k) = 734*k - 229. Let l be j(8). Let f = l + -242635/43. Which is greater: f or 1?
1
Suppose -3157*r + 3179*r = 0. Which is greater: -1/263 or r?
r
Let v = 791.975 + -803. Let l = v + 0.025. Is l smaller than 1?
True
Suppose 13*t + 285 - 155 = 0. Let w be 2/(267/1650 - t/(-55)). Which is bigger: -102 or w?
w
Let q be 6/(3/(3/(-35))). Let v be (8/(-28))/1 - (-84)/(-490). Let g = q - v. Is g <= 12?
True
Let j = 11.086 - 11.2. Let u = 0.244 + j. Which is smaller: 2/9 or u?
u
Suppose -23*q = -46*q + 46. Is q smaller than -2.127?
False
Suppose 5*f - 3*w - 6309 = 0, 5*w + 3136 + 3179 = 5*f. Suppose 25*y + f = 32*y. Let o be (-846)/y*5/2. Which is bigger: o or -11?
-11
Let t be (-16)/(-8416)*(4 - 2). Let k = 535/2367 - t. Which is smaller: k or -5.7?
-5.7
Suppose 0 = 62*o - 23*o + 217737. Is -5584 greater than or equal to o?
False
Suppose -24 = -24*s - 240. Which is smaller: -31/4 or s?
s
Let n = -292.781 + 293. 