1 smaller than l?
False
Let j = 0 - 1. Let b be -6 + (-485)/(-45) + -5. Which is greater: j or b?
b
Let h(o) = -5*o + 11. Let n be h(8). Which is smaller: 0.2 or n?
n
Suppose 186*h - 183*h = 0. Which is smaller: h or -1/1025?
-1/1025
Suppose 2*w - 1766 = -3*x, 5*x = -4*w + 2*w + 1766. Let l = 7073/8 - w. Which is greater: l or -2/9?
l
Let d = 1172 - 1169. Is d greater than -107?
True
Let k = -397 - -397.6. Is k smaller than -8/11?
False
Let y be (-2090)/(-130) - (1 - -7). Is y at least 8?
True
Let v = 71 - 106. Let f be 5/(-2)*28/v. Let u be ((-2)/1)/(2/(-3)). Which is smaller: u or f?
f
Let y be (-8)/(-21) + 2/(-3). Let b = -32.5 + 26. Let l = b - 2.5. Is y less than l?
False
Suppose 0 = -2*i - 0*i + 280. Let m be i*(-2)/((-8)/(-6)). Let y be (-24)/m + (-6)/(-21). Are 1.2 and y non-equal?
True
Let i = 1033.3 + -1034. Is 72 smaller than i?
False
Let z = -1 + 12. Let a(r) = 4*r - 10. Let x be a(5). Is x greater than z?
False
Let h(y) = 2*y**2 + 16*y + 1. Suppose 3*a = a + 4*j - 14, -5*a - 3*j - 35 = 0. Let w be h(a). Are w and -14 nonequal?
True
Let z = 5.74 - 0.64. Let a = z + -4.7. Which is greater: a or -6?
a
Let v be (-1)/(-4 + (8 - 5)). Suppose -50*q - v = -51*q. Let p = 67/3 + -326/15. Does q = p?
False
Let g(w) = -10*w + 8. Let b(s) = 3*s - 3. Let t(d) = -7*b(d) - 2*g(d). Let x be t(6). Let z be x/(3/(-33)*1). Which is smaller: z or 12?
z
Let d be 729 + -3 + (-6 - -9). Are 730 and d equal?
False
Let o(s) = -s**3 + 3*s**2 + 89*s - 13. Let l be o(-10). Is l less than 398?
True
Let x be (-2)/(-27)*3 - 728/36. Let s be -1*(x/25 + 1). Let l = 0 + 0.1. Is l less than or equal to s?
False
Let j(o) = 9*o**2 + 7*o + 10. Let n be j(-4). Let g = -123 + n. Suppose 3*y + 4*h = h - 3, 5 = -y + h. Is g at least as big as y?
True
Let h = 37.92 + -38. Let w = h - 1.82. Let c = 2.9 + w. Which is greater: 7 or c?
7
Suppose -14*x = 69 + 127. Let s be ((-10)/700)/((-12)/x). Which is greater: s or -1?
s
Suppose 168 = 4*v - 8*v. Let m = -43 - v. Is m at most 2/19?
True
Let j(k) = -k**3 + 5*k**2 + k + 3. Let f be j(5). Suppose -3*a = -a + f. Let p(q) = q - 1. Let c be p(-2). Is a at most as big as c?
True
Suppose 13*w + 5409 + 532 = 0. Is -458 greater than w?
False
Let r = 6.3 + 84.7. Let h = -90.92 + r. Is h at most 5?
True
Let w = 201 + -141. Suppose -5*a = -0*a - w. Let x be 9/a - 21/12. Is x less than or equal to 2/13?
True
Let s = 808.6 - 809. Are s and -1/84 nonequal?
True
Let y be 1 + 1*-1*1. Suppose 0 = p - y*p - 14. Suppose 6*f - 19 = 5*f - 2*z, 4*f - z = 49. Is f at least as big as p?
False
Let k = -0.061 - 36.939. Let n = k - -39. Which is smaller: n or 7?
n
Let x be 12*(6 + -14 - -11). Which is bigger: 143/4 or x?
x
Let p be ((-2)/(-4))/(2/(-32)). Let j(r) = -4*r + 59. Let t be (-22)/(-44) - 66/(-4). Let w be j(t). Is p less than or equal to w?
False
Let y = 53 + -86. Let h be 90/(-11) - (-1 - 27/y). Let t = 16 + -25. Is t at least as big as h?
False
Let w be 338/(-17 - -4)*(-1)/2. Is 21 at most as big as w?
False
Suppose 3*r = 11 - 56. Let w = 0.9 + -1.1. Which is smaller: r or w?
r
Suppose 2*k - 113 + 435 = 0. Let l = -70 - k. Is l at least 91?
True
Let h be -2 - 0 - (-18)/3. Suppose -4*j - h = 12. Let f(s) = 31*s - 2141. Let m be f(69). Which is greater: j or m?
m
Let c = -20.8 + 19. Let g = 2 + c. Let p = -350 - -348. Is p >= g?
False
Let k = -56 + 60. Suppose -131 = -3*d - s, 162 = k*d - 10*s + 5*s. Which is smaller: d or 44?
d
Let q(k) = -4*k**3 + k**2 - 1. Let y be q(-1). Suppose 10*u = 21 + 19. Let s = u - y. Which is bigger: -1 or s?
s
Let w = 880/133 + 352/19. Let t = 25 - w. Let a = 30 + -30. Which is smaller: a or t?
t
Let o(p) = -p**2 - 18*p - 4. Let m be o(-5). Let y = -61 + m. Do y and -3/7 have the same value?
False
Let n = 34 - 125. Which is smaller: -4 or n?
n
Let t = 7 - -11. Suppose 0*g + 4*g + 5*w + 33 = 0, 2*g = -2*w - t. Let c be g/(-4) + 0 + -2. Which is smaller: c or -1/6?
-1/6
Let o = 0.622 + -0.102. Which is smaller: -0.1 or o?
-0.1
Suppose 0 = -4*g - 0*g + 20. Suppose -s = 5*h - 4, s + g*h = h + 3. Suppose f - 1 = -q + 2*q, 2*q + 8 = 0. Do f and s have the same value?
False
Suppose -789*p + 35 = -784*p. Is 11 less than p?
False
Let k = 0.008 - -28.992. Let a = k - 29.13. Let g = 11.87 - a. Which is smaller: 0 or g?
0
Let h = 73 - 73.2. Is h bigger than -4?
True
Suppose 2*f = 4*f - 34. Suppose 1268 - 68 = -16*c. Let d = 91 + c. Which is smaller: f or d?
d
Suppose -2*s - 2*s = 96. Let y be (-2 - -5)*(-4)/s. Suppose -4*b - z + 7 = 0, -10 = 2*b + 3*b + 5*z. Which is greater: y or b?
b
Let m be (-3 - (1 + (-1 - 3)))/1. Let n = -7 + 10. Which is smaller: n or m?
m
Let a be 42/4 + 27/(-54). Let o(v) = 12*v**3 - 1. Let i = -5 - -6. Let q be o(i). Which is smaller: a or q?
a
Suppose -17 - 16 = 33*v. Which is smaller: 5/33 or v?
v
Let u be 4 - (-27 + (-3 - -4)). Suppose 6*w + 124 = 10*w. Is u >= w?
False
Suppose -2*b + 8 = -4*w + 2, -2*w - 5*b = 9. Let k be (-4 - 1)/(1*3). Is k bigger than w?
True
Let q be ((-21)/77)/(3 + 141/(-45)). Which is bigger: 3 or q?
3
Let o(j) = 3*j**2 + 6*j - 7. Let h be o(7). Let x = 1451/8 - h. Is -1 != x?
True
Let t(k) = -k**3 - 8*k**2 - 8*k - 4. Let s be t(-7). Suppose r - s*f + f = -7, 5*r + 3*f = 30. Suppose -1 = -r*a + 11. Which is greater: a or -0.1?
a
Suppose -33*k - 252 = 705. Which is greater: k or -18?
-18
Let j be 1894/(-10) + (-44)/(-110). Which is smaller: -194 or j?
-194
Let n be 27/(-81) - 1*(-66)/225. Which is smaller: n or 1/3?
n
Let c(v) = -28*v - 4. Let k be c(2). Let t be 12/k + 32/10. Let o be t/13*(-2)/3. Is o not equal to 0?
True
Suppose -377 = -4*w - 669. Which is smaller: w or -74?
-74
Let y(s) = s**2 + s + 30. Let r be ((-8)/(-4) + -2)*-1. Let b be y(r). Let c = -20 + b. Is -2 >= c?
False
Let q be 7/(-3)*(-3)/5. Let m = 162 + -162. Which is greater: m or q?
q
Let t = -9 - -6. Let m = -10 + 11. Let r = m - 2. Are r and t nonequal?
True
Let i = -449/2 - -220. Is -7 greater than i?
False
Suppose 10*g = 67 + 73. Suppose 4*k + 2*y = -k - g, 0 = -5*k - 4*y - 18. Is k at most -3?
False
Let j = 18 - 8. Let x = j - 17. Let n = x - -7. Which is greater: 0.01 or n?
0.01
Let m = 25 + -149/6. Let v = -136 - -112.2. Let f = 24 + v. Which is greater: f or m?
f
Suppose 4*g - g = 2*g. Suppose g = 4*u - 9 - 15. Which is bigger: 9/2 or u?
u
Let n = -49879/7 - -7113. Suppose 4*g = 3*g - 12. Is n not equal to g?
True
Let k(x) = -13*x - 46. Let h(n) = 14*n + 47. Let r(p) = 4*h(p) + 5*k(p). Let u be r(-6). Which is bigger: 15 or u?
15
Let z = 5.84 - 0.04. Let o = z - 6. Is o > 2/5?
False
Let w = -834 + 608. Which is bigger: -224 or w?
-224
Let p be (-5)/(-4) + 72/96. Suppose -p*z + 34 = 3*r - 99, -3*z - 228 = -5*r. Which is smaller: r or 47?
r
Let y = 669/7 + -94. Let a = y - 47/21. Let m be (3/6)/(13/(-78)). Is m at most as big as a?
True
Let g = 3947/7 - 562. Is g bigger than 0?
True
Suppose 0 = -i - 2*s - 27, -117 = 4*i + s - 2*s. Let v = -30.2 - -30.1. Which is greater: v or i?
v
Let l = -216.1 + 210. Is l > 0.3?
False
Suppose 3*n - 15 = i, 0 = -n - 4*n - 2*i + 36. Suppose -n*d = -5*d - 6. Suppose 2 = 2*c + d. Is c <= -2?
True
Let x(c) be the third derivative of 0*c - 2*c**2 + 1/60*c**5 + 0 + 1/24*c**4 + 0*c**3. Let y be x(-2). Which is bigger: 7 or y?
7
Suppose -36*u = -4*u - 32. Which is smaller: u or -2/449?
-2/449
Let i = -19 + 23. Suppose 8 = 4*f - 88. Let y be ((-1)/i)/((-18)/f). Do y and 2 have the same value?
False
Let m = 339 + -339. Are -10/7 and m nonequal?
True
Let f = -3 - -5. Suppose 0*h - 3*h - 4*g - 258 = 0, g = -5*h - 447. Let k be -3*(-2 + (-192)/h). Is k < f?
True
Let q be ((-11)/2 - -8)/(-1). Which is smaller: q or -3/2?
q
Let f be 1 - (3 - 2) - -5. Suppose -2*t + 10 = 30. Let x be t + 7 + 0 + (-46)/(-14). Are x and f unequal?
True
Let f = -38 - -62. Let l = 322 - 298. Is f smaller than l?
False
Let t be ((-2028)/(-15))/(-3*(-4)/6). Let l = -67 + t. Is -7 bigger than l?
False
Let r = -21/4 - -97/20. Is r less than 13?
True
Let p be (-4)/10 + 3432/230 + -13. Which is smaller: 2 or p?
p
Let y(v) = v + 24. Let l be y(-11). Let o be (l/351)/(11/(-5) + 2). Is o less than or equal to 1?
True
Let i = 510 + 181. Let t = 480 - i. Let u = t - -4008/19. Is u greater than or equal to 0?
False
Let w = 190 - 175.94. Let b = w - 14. Which is smaller: b or 1?
b
Let l be (-15)/9 - (-14)/2