515. Which is smaller: -1097 or o?
-1097
Let v = -31864 + 31889. Is v smaller than -831?
False
Let v(t) = t**3 - t**2 + 6*t - 1. Let m be v(2). Let h be ((-4)/(-6))/(9445/m). Is h at most as big as 0?
False
Let p = 7845.99 + -7850. Is 6 at most p?
False
Let o = 38.142 + -37.142. Let u be (-144)/(-42) - (-6)/21. Is u smaller than o?
False
Suppose -2*y + 0*y + 152 = 0. Suppose 2*z = -7*f + 6*f + 68, -2*z - 3*f + y = 0. Let m(s) = -s + 31. Let n be m(0). Do z and n have the same value?
False
Let j be (-1 - (-4570)/(-34))/(-4 - (-48)/8). Which is greater: j or -67?
-67
Let y = 38860218209 + -21369816896417138/549915. Let j = y - 2/9015. Let a = -359/6954 + j. Is 1 <= a?
False
Let h = 2137 - 14957/7. Is 4488 > h?
True
Suppose -2*u = 10 - 34. Suppose -140*j = -729 - 671. Do j and u have different values?
True
Let w(c) = 1196*c + 3*c**3 + 12*c**2 - 9 - 4*c**3 - 1206*c. Let t be w(11). Is t at least 7/9?
True
Let i = -9 - -5. Let q be 20/(-16)*4 - (-3 + 146). Let x be -1 + 4 + 0 + 1110/q. Which is smaller: i or x?
x
Let x(c) = 88*c - 3351. Let d be x(112). Are 6504 and d equal?
False
Let q = -13.76 - -11.76. Let l = 0.74 + -0.24. Which is smaller: q or l?
q
Let n be 3/12 - (-122)/24. Let c(q) = q**3 + 17*q**2 - q - 17. Let k be c(-17). Suppose k = -10*o - 15*o. Is o less than n?
True
Suppose -692 + 624 = -34*l. Let j be ((-2)/3)/(2/(-9)). Suppose -4*m + x = -24, m + 2 - 19 = j*x. Which is bigger: m or l?
m
Let d = -0.423 + -1.277. Let o = -0.7 - d. Is o smaller than -109/5?
False
Let a = 11477 - 11478. Which is smaller: a or 25/28?
a
Let q = 3 - 11. Let r = 329 - 741. Let u = 402 + r. Which is smaller: u or q?
u
Let k = 1.12 + -2.71. Let l = k + -0.41. Let c be -5 - -6 - 2/3. Is l less than or equal to c?
True
Let f = 12 - 17. Let x = f + -4. Suppose 3*g - h + 33 = 0, -42 = 16*g - 12*g - h. Is x > g?
False
Let t = 37179/110 + -4289/10. Is t greater than or equal to -91?
True
Let l be 0*(3/9 - 0). Let z be l + (-1 - 1)/(-1). Suppose c + 3*p = z*c - 37, c - 31 = p. Is 28 >= c?
True
Let n(l) = 164*l**3 - 168*l**2 + 5*l - 3. Let m be n(-2). Which is greater: m or -1995?
-1995
Suppose -425*m = -253*m - 234*m + 1302. Let g be 4/3*3*1. Suppose -5*f - k + 0*k + 102 = 0, -5*f + g*k = -117. Are f and m non-equal?
False
Let r be (-91)/39 + (-640)/240. Let y = -9 + 6. Does r = y?
False
Let p be (-3)/18 - (-58)/(-12). Let f be p/(-4) - ((-60)/16 + 3). Let w = 1077/689 + -38/53. Is w bigger than f?
False
Let y = -39 + 39. Let i be y + ((-12)/(-2))/6. Is i at least as big as 34/3?
False
Let z be (-4)/126 - (-1666)/(-12348). Is 0.0065 bigger than z?
True
Let q = 37372 - 70082. Is q greater than or equal to -32710?
True
Let c = -7.1 - 0.9. Let o = -8.09 - c. Let i = -114 + 113.9. Are o and i equal?
False
Let x be 250086/135 + (-2616)/2943. Is x greater than or equal to 1853?
False
Let p(k) = -8*k + 13. Let y be p(12). Let v = y + -384. Let n = 4207/9 + v. Is 1 not equal to n?
True
Let w = 671.476 + -672.1. Which is bigger: -3 or w?
w
Suppose 156*n + 2*y + 5 = 155*n, -4*y + 14 = 10*n. Let s(t) = -112*t**2 + 1. Let u be s(-1). Is u bigger than n?
False
Let b = 14891 + -14900. Which is smaller: b or -131?
-131
Let c = 2108/293 - 5801338/805457. Is c less than 1?
True
Let z = 308 - 263. Let o be 4/40 - (-3)/(z/6). Which is smaller: o or -33?
-33
Suppose 0 = 5*z - 20, -4*a - 3*z = -15 + 3. Let g = -397 - -280. Let f = g - -4562/39. Which is bigger: a or f?
a
Let n = 781 + -827. Is n equal to -46?
True
Suppose -5*s = -3*c + 4, 2*c + 2*c - s = -6. Suppose 0*w + 5*w = -70. Let j be 12/((-144)/w)*(-6)/4. Which is bigger: j or c?
j
Let k = -50567.003 + 50594. Let o = k + 0.003. Let h = o - 26.8. Which is smaller: h or 1/2?
h
Let t = 289 + -700. Let o = t - -411. Which is bigger: o or 1/131?
1/131
Let f = -0.2 + 0.3. Let a = -523 - -355. Let h = -168.38 - a. Is h < f?
True
Suppose 4*i + l = 2*l - 4, l = -4*i - 12. Let d be (-6240)/210 - (-1)/(7/i). Let z be d/36 - (-2)/(-12). Which is smaller: -3/11 or z?
z
Let v be (-584)/(-6)*(-1944)/(-48). Is 3941 smaller than v?
True
Suppose -6*q - 4*c = -8*q + 146, -3*q = 5*c - 186. Are q and 72 nonequal?
True
Let l = 5436347/80 - 67953. Let r = l + -7/5. Which is bigger: r or 0?
0
Let c(u) = u**2 - 61. Let d be c(-8). Suppose -71*v + 68*v = -d. Let m be (3 + 384/(-129))/1. Which is smaller: v or m?
m
Suppose 102 = -5*f + 6*f. Suppose -42*y + 48*y = -f. Let o be -1 + -2*(-27)/(-3). Is o smaller than y?
True
Suppose 2*q - 513 = -153. Let l = q - 147. Suppose 0 = 3*u - x + l, -5 + 49 = -4*u + x. Which is smaller: -7 or u?
u
Let w(s) = 2*s**3 - 2*s**2 - 2*s + 1. Let j be w(2). Let o be 312/15 - (-1)/j. Let h be (-4)/22 - o/66. Which is greater: 2 or h?
2
Let i = 1 + 5. Suppose 6*u + 0 = i. Let t = -239/165 + 13/11. Is u at least as big as t?
True
Let h = -33.893 - -2.021. Let z = -32 - h. Let c = -0.008 - z. Which is smaller: -1 or c?
-1
Let y = 0.64 - 0.19. Suppose 2*q - 4 = -0*q. Let z(n) = 2*n - 4. Let j be z(q). Which is bigger: j or y?
y
Let l = -446 + 212. Let j = l + 149. Let x = 50 + j. Which is smaller: -1 or x?
x
Let k = -83 - -56. Let x be (-321)/36*(-78)/(-26). Let j = k - x. Which is smaller: -0.08 or j?
j
Let o = 371936/6279 + -770/13. Suppose y + z = 5, -4 + 13 = y + 2*z. Which is smaller: o or y?
o
Let h = -3423 + 1047. Is -2/9 smaller than h?
False
Let n = -134 + 72. Let g be (8 + -2)*n/4. Is -93 at most g?
True
Let l = 243 - 240.13. Let g = l + -0.67. Is g < 0.1?
False
Let o = -193 + 191. Let f be 6/12*(o + -112). Is f >= -57?
True
Let c be ((-16)/8)/((-8)/28). Let b(w) = -w - 2. Let a be -22*-3*1/(-6). Let f be b(a). Which is bigger: c or f?
f
Let p = 3/392 - 21569/1176. Suppose -j = -7*j + 738. Let l = -140 + j. Which is smaller: p or l?
p
Suppose -4*c + 116 = 4*n, 0 = -c + 5*c + 5*n - 118. Let w be (1760/(-6))/4 - (-9)/c. Which is smaller: w or 0?
w
Let x be -14 + 6 + 7 - (-2402)/2406. Is x greater than 1?
False
Let h = 14.379 - 14.3. Let r = h + -1.079. Which is smaller: -0.13 or r?
r
Suppose -4*z + 4*q - 38 = 18, 0 = -4*q + 20. Let k be ((-2)/8 - (-75)/180)/z. Is k equal to 1?
False
Let g be (0 - 1 - -2) + (-12 - 34). Let o be (-6)/g*5 + -1. Let f be (4/(-3))/((-56)/(-24)). Are o and f non-equal?
True
Let j = 342 - 340.83. Let k = -1.17 + j. Which is smaller: -2/847 or k?
-2/847
Let v be ((-4)/2)/((-16)/(-56)). Let s = 153 - 383. Let h = -1837/8 - s. Which is smaller: v or h?
v
Suppose -4*o + o = 3*h - 153, 2*o + 5*h - 117 = 0. Suppose 4*q + 66 = -4*v + 10, -2*v = 3*q + o. Is q at least as big as -19?
True
Let x be (-2)/4*6/3 - (846 - 848). Which is greater: 3/1001 or x?
x
Let s(m) = 6*m**3 + 6*m**2 - 10*m - 8. Let k be s(-5). Let w be ((k/12)/(-1))/(10/(-4)). Is w bigger than -18?
False
Let c(i) = -32*i**2 - 7 - 3*i**3 - 8 + i**3 + 14. Let a be c(-16). Which is smaller: -2 or a?
-2
Let i be 147/(-637)*(-1)/(-3)*-1. Which is bigger: 85 or i?
85
Let p be (1*-1)/(9/108). Let v be (-3 + (-15)/(-6))/((-3)/p). Let s be (-2 - -37)*v/(-8). Is 9 != s?
True
Let m = -157760 + 157761. Let p = -6/485 - 112/69355. Is p at least m?
False
Suppose a - 299 - 116 = -74. Which is greater: 343 or a?
343
Let d = 1.0788 + -0.0788. Is -17.36 bigger than d?
False
Let f be (-12)/15*(-5)/(-2). Let c be ((-602)/(-21))/(-2) + 20/(-30). Which is smaller: f or c?
c
Let t(a) = a**3 - 2*a**2 + 7*a - 5. Let b be t(3). Suppose -b = 5*m + 5*q, 2*m = -q - 6 - 0. Which is smaller: -1/85 or m?
m
Let w = -0.082 + 9.582. Let o = 1.5 - w. Do 14 and o have the same value?
False
Let k = -1.12 + 3.12. Let p = k - -2. Let a be (-10)/(-6) - 4/6. Which is smaller: p or a?
a
Let h be (-90)/4*(-132)/110. Suppose 4*j + h - 39 = 5*l, 2*j - 6 = l. Let y = -37 + 52. Is y at least l?
True
Suppose -10*g - 52225 = -10*g - 25*g. Is g greater than 2081?
True
Suppose 4*m = 6*m - h + 28, -4*h + 34 = -2*m. Let i(v) = 3*v + 23. Let w be i(m). Is 2 equal to w?
False
Let x(r) = r**2 - 8*r + 21. Let v be x(3). Let t be (-1 - 18)*v*13/(-78). Is t < 21?
True
Let b = -256 + 2290/9. Suppose -u + 0 = 3. Which is greater: b or u?
b
Let x = -1527.061 + 1528. Let n = -0.061 - x. Which is smaller: n or 31?
n
Let s be 98/4 + (431/(-2586) - (-2)/3). Is -40 < s?
True
Let i = -52 - -52. Let v(o) = o**2 + 4*o + 5. Let x be v(i). Suppose b + x*b - 90 = 0. Is b greater than 15?
False
Suppose 0 =