 c be 2*6 - 735/25. Is 0.02 less than or equal to c?
False
Let u = -22 - -22.2. Let m = 0.08 - u. Is 0 != m?
True
Let m = 7937 - 1746143/220. Let z = m - -139/110. Which is smaller: z or 2?
z
Suppose 2*y + 2*y = 28. Suppose 0 = 2*x - 1 - y. Suppose -4*g + 0 = 5*s - 20, -s - x*g + 4 = 0. Which is bigger: s or 1?
s
Let l(t) = -t**2 - 12*t + 2. Let i(z) = 3*z + 4. Let f be i(-2). Let r be 0 + 0 + 24/f. Let v be l(r). Are 0 and v equal?
False
Let f(x) = -2*x**3 + 22*x**2 - 5*x - 8. Let w be f(4). Which is smaller: 194 or w?
194
Let o = 2/247 + -664/20995. Which is greater: o or 0?
0
Let l = -738 + 737. Which is smaller: -30/23 or l?
-30/23
Let u(c) be the third derivative of -c**5/60 + c**4/24 + c**3/6 + 11*c**2. Let h be u(0). Which is smaller: h or 5/13?
5/13
Let j be 664/22 + (-2)/11. Suppose -6*d = -d - j. Suppose -d*m - 12 = -2*m. Which is greater: m or -0.2?
-0.2
Let j(q) = -2*q + 7. Let y(x) = 3*x - 1. Let m be y(3). Let u be j(m). Let w be 1/(-2)*18/u. Is 1/10 bigger than w?
False
Let m be 9 + 4/((-28)/63). Which is greater: 1/1973 or m?
1/1973
Let w = 1.931 + 13.069. Which is greater: w or 29?
29
Let l(a) be the second derivative of -a**3/6 - 5*a**2/2 - a. Let x be l(-4). Let p = 61/20 + -13/4. Is p smaller than x?
False
Suppose 83 = -10*j + 873. Which is bigger: j or 78?
j
Suppose 6*y = 7*y + 5*p - 11, -2 = -4*y + p. Which is bigger: 1/71 or y?
y
Suppose 0 = -13*b + 27*b - 854. Are b and 57 nonequal?
True
Let s = 9/4 + -2. Which is greater: 102 or s?
102
Suppose 176 = i + 5*q, 3*q - 796 = -5*i - q. Let o = i - 627/4. Is o at least as big as -2/5?
False
Let k(y) = y + 17. Let d be k(-28). Is -0.6 != d?
True
Let t = -22 - 7. Let g = -32 - t. Which is smaller: g or -2/3?
g
Let t be 202/(-4)*(22/(-6) - -3). Let o = -39 + t. Which is smaller: -6 or o?
-6
Let k = -2 - 1. Let z be (-3 + -6 - -11) + (-2 - 2). Is k greater than z?
False
Let f = 2477 + -2447.94. Let y = -29 + f. Is 0 at most as big as y?
True
Suppose -u + 0 + 2 = -2*a, -3*a - 5*u = 29. Let l = -140 - -76. Let m be a/2*l/(-216). Which is greater: m or 0?
0
Let h = 155 - 2019/13. Is -1/8 greater than h?
True
Let m be -3 + 111/18 + 3. Does 6 = m?
False
Let n = 2816 - 2821. Suppose -4*l - 24 = 3*q, 10 = 2*l - 4*q - 0. Which is bigger: l or n?
l
Let w = -27 + 31. Suppose 0*y - w*y = 40. Is -9 at most y?
False
Let g = 28 - 28. Suppose 5*c + g = -10. Is c smaller than -1?
True
Let f be (1/(-78))/((-2)/248). Let w = f + -12/13. Suppose 0 = 56*v - 155 - 237. Which is smaller: v or w?
w
Let j be (3 + 34/(-11))*-6. Is j equal to -8?
False
Let q be (-18)/6 - (-52179)/(-153). Let l = -344 - q. Which is smaller: -1 or l?
-1
Let s = 0.7 + 0.3. Let w = 0.06 + 57.94. Let v = 60 - w. Which is smaller: v or s?
s
Suppose -s = 3*f - 11, 3*f = -0*f + 5*s + 17. Let y(m) = 6*m - 3*m - 2*m + 12. Let q be y(-8). Is f <= q?
True
Let n = 14958191/238 - 62850. Let i = n + 9/17. Is i less than or equal to -0.1?
False
Let d be 15/(-1)*(-4)/2. Suppose -32*u + 18 = -942. Are u and d non-equal?
False
Let d be 69/(-2) + (-3)/6. Let j be 120/45*(-27)/2. Which is bigger: j or d?
d
Let d be ((-78)/9)/((-1)/9). Let g = 1129447/14560 - 1/2080. Let y = g - d. Is y greater than or equal to 0?
False
Let g(f) = 2*f**2 - 3*f - 9. Let p be g(3). Suppose l + 0 + 1 = p. Which is greater: l or 5?
5
Suppose -19*g + 15*g = 0. Is 6/107 at least as big as g?
True
Suppose 70 - 10 = -2*w. Which is smaller: w or -34?
-34
Let f = 0.54 - 1.66. Is 0 less than f?
False
Let g(c) = -c**3 - c**2 + 14*c + 8. Let s(t) = -t**2 + 21*t - 59. Let i be s(18). Let v be g(i). Which is greater: v or 36?
v
Suppose -4*u + 193 = 57. Suppose 2*q - 106 + u = 0. Which is greater: q or 35?
q
Let t = -12 - -13. Let u be (-2)/2*t - -1. Suppose u = 3*x + 3 - 6. Which is smaller: x or 2?
x
Let n = 58/445 - -24/89. Which is bigger: n or 251?
251
Let n be ((-51)/595)/((-6)/(-38)). Which is smaller: -2 or n?
-2
Let u = -0.091 - -0.049. Let h = -0.258 + u. Which is smaller: -1 or h?
-1
Let u = -3 - -2. Let c be ((-28)/(-98) + (-38)/(-14))/(-1). Which is bigger: c or u?
u
Let h be (-16)/6*(-15 - 678/(-4)). Which is bigger: -413 or h?
h
Let v be (-1)/((-12)/112)*3. Let l(f) = 9*f - 34. Let y be l(7). Which is greater: y or v?
y
Let x = -1093 + 1130. Is -2/3 smaller than x?
True
Let c = -0.442 + 0.042. Let z = c - -0.5. Is -40 less than or equal to z?
True
Let r = 69/8 - 1003/120. Suppose -4*d + 2*d = -3*d. Is r at least d?
True
Let p be 177*2/(-5) - 25/125. Which is smaller: -74 or p?
-74
Let o(x) = -x**3 + 9*x**2 - 8*x + 3. Let l be o(8). Suppose -5*p + 3*y + 14 = 0, l*p = 3*y + 3 + 9. Let j be p - (-8)/(-4) - 0. Is 4/13 at least as big as j?
True
Suppose 5*u - 46 = 7*v - 8*v, 4*u - 34 = 2*v. Which is smaller: u or -5?
-5
Suppose 0 = 3*v - 12, 0 = f + 4*f + 2*v - 88. Suppose 0*s - f*s + 416 = 0. Is 26 greater than or equal to s?
True
Suppose -5*o = 4*k - 466, 3*k - o - 273 - 67 = 0. Let p = k - 114. Which is greater: p or -1/4?
p
Let d = 0.568 - 0.098. Is d >= 0.3?
True
Let m = -52 - -53.1. Let p = m + 8.9. Is 1/2 at most as big as p?
True
Let a = 0.76 - 1.121. Are a and 0 equal?
False
Let i be (-612)/(-30) - 2/5. Let r be ((-10)/8)/((-1)/i). Let m = -76/3 + r. Is -1 equal to m?
False
Suppose b - 5*d = 548, 21*d - 24*d + 2169 = 4*b. Is b != 541?
True
Let m(s) = s**3 - 17*s**2 + 2*s - 32. Let g be m(17). Suppose -5*y = -0*y + 2*b - 28, b - 4 = 0. Let a be g/y + 24/(-16). Is a at most as big as 0?
True
Suppose 20*a = -6723 - 457. Is a at most as big as -357?
True
Let d = 2824 + -2824. Suppose 2*r - 1 = -x, -5*x + x + 2*r - 36 = 0. Let t be (-5)/(-7) - 2/x. Is t != d?
True
Let y = 2056/439725 - 6/2665. Is y less than or equal to 1?
True
Let d = -325 + 246. Which is smaller: -78 or d?
d
Let h be (-6)/(-4) + 2764/(-8)*1. Is -344 smaller than h?
False
Let t = 3 + -2. Let l = -159 + 160. Is t < l?
False
Let q = 61 - 259/4. Let w = -83/20 - q. Which is greater: w or -2?
w
Let d = 218 - 194. Let a = 0.51 - -23.59. Let m = a - d. Is m greater than 6?
False
Let o be (-1 - 4) + (-98644)/(-19734). Which is bigger: 1 or o?
1
Let a = -0.6 + -2.4. Let g = -3.4 - a. Is g at least 0.3?
False
Let t = -1 + 28. Let o = -629 + 656. Let d = t - o. Which is smaller: -0.5 or d?
-0.5
Let m be (0 + 1 - 0) + -7. Let a be ((-23)/2)/((-8)/(-8) + 1). Which is greater: a or m?
a
Let k(c) = 22*c + 1 + 6*c - 2*c. Let d be k(1). Let u = -514 + 541. Are d and u nonequal?
False
Let z = -2659374 + 4821445222/1813. Let d = z + -3/49. Do d and 1 have different values?
True
Let z = -290 + 7829/27. Which is smaller: -1 or z?
-1
Let q = -57977/19 + 3053. Is q > 1?
True
Let w = 2/2315 - 11583/9260. Let x = -2 + 0. Is w < x?
False
Let t = 102177702563/327 - 312469792. Let i = 82/109 - t. Let b = i - -248. Which is greater: b or 1?
b
Let r = -30030/93277 + -6/2521. Is 1 >= r?
True
Let h = -273 - -303. Let l = -0.8 + 0.7. Is h != l?
True
Let a(n) = n - 11. Let x be a(6). Let y = -530 - -525. Is x equal to y?
True
Suppose 0 = -2440*f + 2441*f - 2. Let r be (-787)/(-12) + (-1)/4. Let j = -64 + r. Are j and f non-equal?
True
Suppose 8 = k + 4*g, -3*k + 5 + 1 = 3*g. Suppose 30 - 15 = -5*m. Let x be (-4)/m + 30/(-45). Which is greater: x or k?
x
Suppose 0 = 4*w - 3*w - 5. Suppose -4*x + i = -55, -2*x - w*i = -15 - 18. Is 13 < x?
True
Let o = 8 - 15. Let m = 33.9 - 73.7. Let u = m + 40. Which is smaller: o or u?
o
Let v = -239 - -238.9. Which is bigger: v or -33?
v
Let c = 8.4 - -4.6. Are 10 and c equal?
False
Let b = 395 - 3949/10. Which is smaller: -1 or b?
-1
Let b = -2/18707 - -38308/8362029. Which is greater: 1 or b?
1
Let f = -2 - -3. Let x = -115762 - -808371/7. Let d = 280 + x. Which is bigger: f or d?
f
Let z be (18/(-12))/((-9)/10)*36. Let j = z - 52. Which is greater: 15/2 or j?
j
Let z = 71 + -74. Let f = -1 - z. Which is smaller: f or 2/9?
2/9
Let w(c) = c**2 - 6*c + 4. Let i be w(7). Suppose i*p + 63 = 4*p. Is p at most -9?
True
Let n = 24 - 22. Suppose 1 = -2*u + 5*a - 2, 2*u - a - 9 = 0. Suppose o - n = d, -u = -3*d - 3*o + 6. Is -3 less than or equal to d?
True
Suppose -3*q + 7*q = -4476. Let b = 217085/194 + q. Does b = 0?
False
Let b = -103.7 + 99. Let c = b - 2.3. Which is smaller: 2 or c?
c
Suppose -72 = 72*d - 78*d. Is d smaller than -53?
False
Let b = -7.052 - -0.052. Let d = b - -7.1. Let v 