 Is l greater than j?
True
Let b(f) = -2*f**2 - 24*f + 25. Let c be b(1). Which is greater: c or -63?
c
Let z = 21/173 - 5856/1211. Is -4 at most as big as z?
False
Let h be (-501)/(-2)*(-15 + (-574)/(-42)). Are h and -0.1 nonequal?
True
Let n = -2/2255 - 304409/18040. Do -16 and n have the same value?
False
Suppose -3*r - 5*m + 261 = -2*m, -3*r + 261 = 4*m. Is 3 >= r?
False
Suppose 102*t - 98*t = 0. Suppose 0 = 2*d - 3 - 17. Which is bigger: t or d?
d
Let f be 7 + 20*(-2)/(-4). Is f != -7?
True
Let n be -20*((-1)/(-6))/((-5)/(-15)). Is n not equal to -8?
True
Let j be 2/3*2274/20. Let q = j - 77. Which is smaller: q or 0?
q
Let x = 35301669/4 + -26251344816601/2974516. Let c = -511500502/1728937425 - x. Let r = 10/31 + c. Do r and 0 have different values?
True
Let u = 12 + -10. Suppose u*f - 7*f = -30. Let v = f - 40/7. Which is greater: -1 or v?
v
Let m be (-359 - 2 - 4)*(-1 - 0). Is m at least as big as 363?
True
Suppose -p + 4*i = 28, -p + 3*i + 8 - 35 = 0. Which is bigger: -25 or p?
p
Let t = 0.01 + 1.99. Let y = 296.758 + -297. Let q = -0.058 + y. Are t and q equal?
False
Suppose 0 = -4*s - 3*n + 6, -4*s + 31*n = 36*n - 10. Is s at least 2/199?
False
Let c = 4/105 + -67/105. Let z be (-7)/14*2*1. Let x be 0/(6 + z - 2). Is c less than x?
True
Suppose v - 14 = 2*v. Let c be 80/v + 3 - -2. Let y = 5 - 5. Do c and y have the same value?
False
Suppose 2*a - 7 = -g, -3*a + 0*g - 2 = -g. Let s be (0/(-1) - -2) + -4. Let m be (s/(-5))/(228/(-20)). Is m greater than or equal to a?
False
Let w be (371 + 20/(-10))*-1. Is w bigger than -369?
False
Let y be 30/(-70)*(-20)/12. Let r = -9.7 + 10. Does y = r?
False
Let k = -284211479/19305 - -161935/11. Let r = k + 2/351. Which is smaller: 0.2 or r?
r
Let h(n) be the second derivative of -n**3/6 + 9*n**2 - 52*n. Let j be h(19). Which is smaller: 4/35 or j?
j
Let s = -19380 - -64709818/3339. Let k = s - 10/159. Which is greater: -1 or k?
k
Let d(m) = -m**3 + 5*m**2 + 5*m - 7. Let r be d(3). Let j = -24 + r. Let g(k) = -k**3 + 3*k**2 - 1. Let c be g(j). Which is smaller: c or -1?
-1
Suppose -1 = l - s, -2*l + 8 - 2 = 2*s. Let q be -4*(-2 + 1)/(l/2). Which is smaller: 7 or q?
7
Suppose -d + 2*d + 4 = 0. Let x be -2*(-1 + (-1)/(-4)). Let f = 1 - x. Which is bigger: f or d?
f
Let p = -659361/317 - -2080. Which is bigger: 0 or p?
0
Let i = -143.9709 + -0.0291. Which is smaller: -1/3 or i?
i
Suppose 17 - 49 = -8*x. Which is smaller: 19/4 or x?
x
Let i be (-18)/27 - 128/(-201). Let r = i - 167/1139. Do 0 and r have the same value?
False
Let t be (-2510)/(-13200) + ((-438)/(-90) - 5). Which is greater: 0 or t?
t
Let o = 0.0393 - 935.0393. Is o equal to 0.1?
False
Let z = 298.9 - 299. Is z less than -66?
False
Suppose z - 3 = 1. Let w = 9 + z. Is w greater than 13?
False
Let a = 191 - 109. Let z = 78 - a. Which is greater: z or -6?
z
Suppose -6 = -5*v + 2*k, -2*k - 3*k = 3*v + 15. Let u be (6/4)/((-6)/(-16)). Suppose 0 = -4*a - 0 + u. Which is smaller: a or v?
v
Let r = -62.6 + 68. Let y = 2.6 + r. Which is smaller: y or -1/5?
-1/5
Let i = -233.8 + 235. Are -4/9 and i non-equal?
True
Suppose c = -c - s + 9, 0 = -2*s + 2. Suppose -43*r + 93*r = 47*r. Is r greater than or equal to c?
False
Let j = -1073 - -1696. Does 0 = j?
False
Let z = -77 - -98. Let p = 65 + z. Is 2/3 equal to p?
False
Let t be -5 + 1 - -1 - -1. Suppose 8*c = 9*c + 6. Let p be (2/9 - (-5)/18)*c. Which is greater: t or p?
t
Let n = 10072/49 + -206. Which is smaller: 0 or n?
n
Let q = 1614511/54915 + -2/10983. Which is smaller: 28 or q?
28
Let u = 937 - 1245. Is -310 smaller than u?
True
Let g = -234 + 236. Is 42/37 greater than g?
False
Let y = -379 - -378.9. Do y and -26/51 have the same value?
False
Suppose 0 = -2*y + 3*y + 5*h + 8, 4*y + 32 = -2*h. Let p be (-91)/(-156) + (-2)/y. Let w = 1/12 - p. Which is smaller: -2 or w?
-2
Suppose -41*u + 45 = -32*u. Which is smaller: 12 or u?
u
Suppose -8*x + 9*x - 649 = -4*j, 0 = -j + 3*x + 146. Is j equal to 162?
False
Let g be (1/5)/((-10)/(-50)). Is g != -182?
True
Let k = -1.1 + 1.13. Let v be (-430)/(-50) + 4/10. Is v smaller than k?
False
Suppose 12*m - 3*m = 81. Do m and -0.023 have different values?
True
Let d = 27.07 - 33.9. Let o = 7 + d. Let s = 0.17 - o. Which is smaller: -1/3 or s?
-1/3
Let y = -92 + 745/8. Let d be (-2)/5 - ((-1426)/115)/31. Is y less than d?
False
Let d be 9/(-6) + 18/4. Suppose -3 = -d*m + u, 4*u - 8*u = -12. Suppose -6*j + 12 = -4*z - j, -4*j + 26 = 5*z. Do z and m have the same value?
True
Let o(s) = s**2 + 10*s + 3. Let x be o(-10). Let h be (-36)/(-20) - (5 - x). Which is smaller: 0.6 or h?
h
Let w = -26.5 + 25.5. Let m(o) = o**3 - 5*o**2 + 2*o + 2. Let n be m(5). Let v be (-3)/n - 1/(-4). Which is greater: v or w?
v
Let j be (-5 + 6)*87/3. Suppose j*l = 25*l - 48. Which is smaller: l or -13?
-13
Let v = 51.4 + -155.4. Is 2 smaller than v?
False
Let s be 10 + (-2 - -2)/4 + -2. Let i = -10 - -10.2. Let j = i - 2.2. Which is smaller: s or j?
j
Let d = -8.8 - -8.7. Let r = 10.154 - 0.154. Which is bigger: r or d?
r
Suppose 10*r + 13 = 83. Suppose r*x + 16 = -4*q + 4*x, -q - 5*x - 21 = 0. Let y = 12 + -12. Is q equal to y?
False
Let p = -207.6 + 208. Let x = 0.6 + 0.1. Is p at most as big as x?
True
Let n = 11/27 - 1351/135. Let g = -8 - n. Let d(h) = 23*h + 93. Let b be d(-4). Which is bigger: g or b?
g
Let q = 2/8799 + -2620/466347. Which is bigger: 1 or q?
1
Suppose 12*s = -20*s - 1664. Which is smaller: s or -51?
s
Let t be (12/8280)/(32/1074). Let o = t + -2/115. Let i = -1 + 0. Which is bigger: o or i?
o
Let k(v) be the first derivative of -4*v**3 - v**2/2 + 2*v + 21. Let h be k(1). Is 2 smaller than h?
False
Let z = -3/808 - 27065/808. Which is greater: z or -34?
z
Suppose 414*f - 792 = 402*f. Suppose -h + 263 = 4*q, 0*h - h - 257 = -4*q. Is q less than f?
True
Let a = -234 + 251. Which is smaller: a or 0.6?
0.6
Let o = -90 + -163. Let a = 163 + o. Let i be 4/21*a/20. Which is smaller: -1 or i?
-1
Suppose -5*y + 2*u + 2 = -15, -3 = 3*u. Suppose -3*f + 6 = 4*s - y*s, s + 8 = 4*f. Suppose 0 = -s*v - 5*v - 20. Which is greater: v or -1/3?
-1/3
Let n(l) = l**2 - 3*l - 5. Let o be n(4). Are o and 1/118 equal?
False
Let c = -15 + 21. Let u(s) = s**3 - 5*s**2 - 6*s + 2. Let k be u(c). Are k and 3 unequal?
True
Let v be 4 - 54/15*5. Let l be 1*(11 + 0/(-1)). Let n = v + l. Are 2/5 and n equal?
False
Let z = 0.1037 - -6.0963. Are z and 1 equal?
False
Suppose -4*n + 2 = d, -16 = -5*n + n. Let f = -9 - d. Suppose 4*k - 3*a = 0, 3*k - a = -2*a - 13. Is k < f?
True
Let i be ((4/3)/2)/((-2)/(-108)). Suppose 5*h = 2*q + 126, -5*h - 4*q + 72 = -i. Which is smaller: 23 or h?
23
Let z = -0.8 + -7.2. Let k = 7 + z. Is k at least as big as 0.4?
False
Suppose -9 = 8*w - 17. Which is bigger: w or -1/65?
w
Let j be 2028/22 + -1 + (-28)/154. Let i be (-468)/j - 2/(-1). Let b(g) = -g**3 - 5*g**2 - 4*g - 2. Let m be b(-4). Which is smaller: m or i?
i
Let p(k) = -2*k**2 + 36*k - 231. Let z be p(10). Which is smaller: z or -212/3?
z
Suppose 2*z = -35 - 17. Let s = z - -28. Which is smaller: 1 or s?
1
Suppose -41*u = -29*u - 564. Which is smaller: 43 or u?
43
Let q = 291 + -263.7. Let k = q - 27. Is 3/8 at most k?
False
Let f be (2/4)/(((-2)/4)/1). Let n be -4 + (0 + f - -4). Are -2/77 and n non-equal?
True
Suppose -k - 2080 = 5*a, -k + 731 + 1349 = -5*a. Let f be 1 + ((-404)/a)/(-1). Let u = f - -121/3016. Is u > 1?
False
Suppose 0 = -2*l - d - 1799, 7*l - 6*l + 4*d = -917. Which is bigger: l or -896?
-896
Suppose 3*t - 2*p = 7*t - 34, -4*t = 4*p - 24. Is 67/6 <= t?
False
Let v = -0.062 + -28.938. Let s = 28.87 + v. Which is bigger: s or -1?
s
Let u be ((-36)/17145)/(4/(-18)). Let c = 17798/1905 - u. Let i = -268/21 + c. Which is smaller: i or -4?
-4
Suppose -11*y + 5*y = -96. Let p = -38 + y. Let h be 4/10 - (-107)/(-5). Is p < h?
True
Let c = 14338 - 14127.77. Let f = 207 - c. Let w = -3.2 - f. Is -1/3 > w?
False
Let i = -1.6 + 1.5. Let v = -14.7 - -15. Is v != i?
True
Let t = -0.116 + 0.034. Let j = 0.282 + t. Is j bigger than 1.1?
False
Let g be ((-130)/(-125) - 1)/((-7)/(-14)). Let f = -1.95 + -0.05. Let j = 1.9 + f. Which is greater: j or g?
g
Suppose 89*x - 315 = 94*x. Is -63 less than or equal to x?
True
Suppose 0 = -2*q - 2 - 0. Let f(j) = -6*j + 82. Let h be f(14). Which is bi