hich is smaller: -1649 or f?
f
Let l = -845 - -557. Is -286 smaller than l?
False
Let c be (-273)/112 - 0 - -1. Which is smaller: c or -1?
c
Let g = -3022 - -414012/137. Which is greater: g or 0?
0
Suppose -6 = 5*p + 14. Let i be 3 - 30/4 - p. Which is greater: -28 or i?
i
Let p = 1.03 - -0.97. Which is bigger: -2.2 or p?
p
Let z(w) = -w**3 + 9*w**2 - 8*w. Let g be z(8). Let l = g - 6. Suppose q - 1 + 6 = 0. Is l at most as big as q?
True
Let r be 1/(-4) + 2/8. Let d = 377/2 - 201. Let l = -87/7 - d. Which is greater: r or l?
l
Let l = -0.0216 + 0.0766. Are l and 0.2 equal?
False
Let m = -3917/21 - -635/3. Is m bigger than 2/5?
True
Let x = 4876 - 4607822/945. Is 1 >= x?
True
Let r be (-144)/(-2) + 0/(-1). Let i be r/126 + (-80)/42. Let p = 2 - 3. Which is bigger: p or i?
p
Let y = -62 + 64. Does y = 12?
False
Suppose -3*c - 101 + 36 = -s, s = -2*c + 50. Let w = s + -43. Which is smaller: 1 or w?
1
Let x be (5 - 0)*(-1769)/305. Which is smaller: x or -13?
x
Let a be ((-16)/(-54))/(80/(-264)). Let l = -4103/360 + a. Let g = -1477/120 - l. Which is bigger: g or -1?
g
Let k(m) = -m**3 - 28*m**2 + 26*m - 69. Let x be k(-29). Is 25 < x?
False
Let z = 56.3 - 56.29. Let l = -1.11 - -1. Let d = l + z. Is -1 smaller than d?
True
Let v = -126 + 112.2. Let p = 1.2 - v. Are p and 2/21 nonequal?
True
Let m = -19.4 - 1.6. Let h = m + 22. Let n = 2.4 - h. Is n less than or equal to -1/2?
False
Let l = 76.9 - 77. Let s = 579.97 - 589. Let m = s - -9. Is l != m?
True
Suppose -2*b + 60 = b. Let t = 603/2 - 322. Let x = t + b. Which is greater: -1.4 or x?
x
Let f = 1155 - 830. Does 323 = f?
False
Suppose 2*w = -2*a - 42, 5*a + 18 = -w + 3*a. Let o = -23 - w. Is 6/25 != o?
True
Let u = 0.32 + -0.3. Let d = -0.072 + 0.552. Let q = u + d. Is -1/4 less than q?
True
Let l be ((-174)/11)/(6/(-4)). Which is smaller: l or 12?
l
Let z(n) = -n**3 + 11*n**2 + 28*n - 299. Let c be z(11). Let w = 23/4 - 6. Which is greater: c or w?
c
Let t be -2*6 - (-157990)/13209. Let d(m) = -m + 3. Let q be d(4). Is t > q?
True
Let x = -0.25 + -0.1. Let d be (-13)/(-5) + (-24054)/8440. Do d and x have the same value?
False
Let g = -40.8 + -0.2. Let c = 40.951 + g. Let u = c + 21.049. Is u less than -1?
False
Let q(g) be the third derivative of -g**5/60 - g**4/4 + g**3/3 + 3*g**2. Let t be q(-7). Let p(j) = j**3 + 5*j**2 + 2. Let f be p(t). Which is bigger: 5 or f?
5
Suppose -2*x - 10 = 0, 3*x - 88 = -3*y + 47. Let n be y/(-740)*(2 + -1)/5. Which is smaller: -1 or n?
-1
Let r be ((-710)/232 - -3)/(1/4). Is r bigger than 1?
False
Let u = 9 - 11. Let g be 3 - 0/(u + 4). Suppose 0*b - g*b = 18. Do b and -4 have the same value?
False
Let s be 2/(-11) + (-264)/(-121) + 13. Is s > 21?
False
Let s be -2 + 9/3 + 3. Suppose -8*a + 36 = -4*a. Suppose 3*z = -0*z + a. Which is greater: s or z?
s
Let u = -11 + 10.98. Let q = -14 + 16. Do u and q have the same value?
False
Let h = -948 + 948.114. Which is smaller: -0.1 or h?
-0.1
Let y = 69.154 + -0.154. Which is smaller: -1 or y?
-1
Let a = -3 - -1. Let r be 1 - ((-10)/(-3) + a). Let m = -0.57 - -0.27. Is m greater than or equal to r?
True
Let r(x) = x**2 + 6*x - 1. Let c be r(-7). Let m be -22 - c*(-6)/9. Let v be ((-40)/45)/(3/m). Which is smaller: v or 6?
v
Let u = -54 + 87. Let s = -32.8571 + -0.0429. Let l = u + s. Is l equal to -11?
False
Let v = -0.544 - -0.5698. Which is smaller: v or -2?
-2
Suppose -4*h = -1 + 5. Let u = -0.033 - 3.867. Let x = u - -0.9. Which is greater: x or h?
h
Suppose 5*i + 87 = -4*o + 17, 3*o = 0. Let c be 4/i + (-552)/273. Which is smaller: c or -1?
c
Suppose 5*v = 7*v. Let o be ((-14)/(-4))/(206/(-43)). Let z = 2/103 - o. Which is bigger: v or z?
z
Suppose 5*v - 12 - 18 = 0. Suppose -17 = 3*c - v*n + n, 19 = -5*c - n. Let i be 2/c*(-6)/(-3). Do i and 1/12 have the same value?
False
Let l be 36/42*126/(-27). Is l greater than -29?
True
Suppose -1 = -n + 3. Suppose 0 = -h + x - 4, -5*h + x = -h + n. Let m be 18/(-12)*2/(-6). Which is smaller: m or h?
h
Let u = 134090781/19 - 7055349. Let b = u + -2061. Is b at most 1?
True
Let b be (12/20)/((-51645)/(-50)). Which is bigger: b or 0?
b
Let z be 2 + (-3)/2 + 0. Suppose 6*j - 12 + 0 = 0. Let x be (-2)/(0 + j/(-1)). Which is smaller: z or x?
z
Let i be 30/(-78)*(2 - 1). Which is smaller: 1 or i?
i
Suppose -47 = 2*g + 97. Let d be (-60)/g + (-4)/6. Which is bigger: d or 0?
d
Let i = -39 - -23. Let v = 16 + i. Which is smaller: v or -2/9?
-2/9
Suppose 0*i - 5*i = -5, 2*i = 3*x - 4. Suppose 8 = -x*y + 12. Which is bigger: y or 5/9?
y
Let l(q) = -q**3 - 5*q**2 - 12*q - 28. Let v be l(-4). Is v >= 36/11?
True
Let r = -27626/231 - -838/7. Which is greater: r or -1?
r
Let b = 246/43 - 16617/86. Are 1/4 and b nonequal?
True
Let q = -51.3 - -0.3. Let n = q + 50.9. Is -2/5 equal to n?
False
Suppose -20*i + 7 + 15 - 2 = 0. Let o be (1 - (-18)/(-4))*1. Is i < o?
False
Let a be (-54076)/110*(-10)/(-4). Is -1230 at most as big as a?
True
Suppose 2*h - 37 = -7. Let k be (h/4)/(-3) - -1. Let a = 81.2 - 81.7. Which is smaller: k or a?
a
Suppose -a + 21*m + 109 = 19*m, 25 = 5*m. Is a at most 120?
True
Suppose 8*r - 36 = -r. Suppose 2 = 3*w - 2*w. Suppose -w*k + 3*k - 6 = 0. Is k <= r?
False
Let o be -971*4*3/162. Let m = 72 + o. Let d = -40/297 + m. Which is bigger: 1 or d?
1
Let f = 40 + -36. Suppose 4*h = -f*k + 84, -79 = -2*k - 2*k - 5*h. Are k and 26 non-equal?
False
Let r(s) = s**2 + 4*s - 12. Let o be r(-6). Suppose 14*v - 9*v + 300 = o. Is v less than or equal to -60?
True
Suppose -15 + 0 = -3*w. Suppose -w*d + 4*d + 1 = 0. Let a = 25 + -99/4. Which is smaller: a or d?
a
Suppose -o + 2*m = -275, 2*o - 3*m = -2*o + 1095. Which is smaller: 274 or o?
o
Let s be (-4)/((-624)/2115) + 3. Let p = -316/13 + s. Are p and -8 equal?
False
Let x be 2 + 4/(-3) + -12 + 3660/315. Let a = -0.92 + 12.12. Is a > x?
True
Let g = 1333/1443 + -1/1443. Is g > 1?
False
Let k be 0 - 0/(-4 - -1). Suppose -3*u - 9 = -k*u. Does u = -6?
False
Suppose -2*m - 3*u + 6 = 0, 4*u + 60 - 17 = 3*m. Let n be -3 - -56*m/174. Which is smaller: 1 or n?
n
Let h(c) = -9*c. Let s be h(2). Let v be 18/30*(-4)/s. Is v greater than 0?
True
Suppose 0*a - 20 = -a + 5*p, -3*a + 18 = -p. Suppose -v + 1 + a = -d, -2*d = -4*v + 18. Which is smaller: v or -1?
-1
Let x(n) = 6*n - 10. Let f be x(6). Let i = -23 + 48. Which is smaller: i or f?
i
Suppose -2*w - 5*r = 145, 5*r = 2*r - 15. Let t be 2*(-5)/w*5. Is t at most as big as 2?
True
Let t = -9.17 + 0.17. Let u = 9.3 + t. Let g = 0.6 - 0.7. Is g not equal to u?
True
Suppose -8*p - 21 = -5*p. Let w be (-42)/(-392)*p/(-180). Is w greater than or equal to 0?
True
Let r = 48.6 + -7.6. Let p = -40.6 + r. Is p < -0.1?
False
Let w = 14 + -8. Let n be w/1 + (3 - 6). Let u be -9*1/9*n. Is -1 bigger than u?
True
Let l be 21/2*20/15. Suppose l = s + 2*s + 4*v, -2*s = -3*v + 19. Let n = -6/55 - 153/110. Which is smaller: n or s?
s
Let q = -0.6 + -0.7. Is 1/2 less than or equal to q?
False
Suppose -r = -4*h + 2 - 3, 5*h = 3*r - 10. Suppose 110 = -r*i - 3*b, 0 = 2*i - b - 4*b + 75. Which is bigger: i or -1?
-1
Let a = 6/139 - 791/2224. Which is greater: a or 2/3?
2/3
Suppose -6*v + 0*v + 108 = 0. Suppose -v*c + 18 = -17*c. Are 17 and c unequal?
True
Suppose -4*u - 3 - 17 = -3*i, u = 4*i - 5. Let f be (423/(-2))/(-9) - 2/(-4). Suppose -5*z = z + f. Is u < z?
True
Let i be 1/3 - (1 - 1304/(-24)). Are -57 and i unequal?
True
Let z = -6 + 7. Let b(v) = -v**3 - 7*v**2 - 4*v + 2. Let s be b(-4). Which is bigger: s or z?
z
Let c = -923 + 845. Which is smaller: -388/5 or c?
c
Suppose 120 = 3*a + 342. Let u = 439/6 + a. Which is smaller: u or -2?
-2
Let k be 240/(-36) - (8/(-3))/4. Which is greater: k or 9?
9
Let d = 1451/5947 - -6/313. Let x = d + -37/285. Which is greater: x or -1?
x
Let o be 0 + (-8 - -14) + -6. Are -1/344 and o non-equal?
True
Let i(d) = -d**3 - 21*d**2 - d - 22. Let w be i(-21). Let o be w/(4 + -1 - 2). Is o smaller than -7.3?
False
Let d = 356 + -356. Let v = -7 + 13. Let h be (v/34)/(18/(-4)). Which is smaller: h or d?
h
Let o be (-6 - -3)/((-51)/(-5) - 2). Which is bigger: 0 or o?
0
Let w = 405 + -404. Which is smaller: -3/224 or w?
-3/224
Suppose 2*n + 1 = -5. Let d be 10/12 + (-136)/48. Which is smaller: d or n?
n
Let m = -0.07 - 0.28. Let d = m - -0.15. Let w = -0.2 - d. Which 