m be (-1 + 1)*2/(-2). Does m = l?
False
Suppose 2*l + 1 = 2*m - 3, 8 = 4*m - 3*l. Suppose 0 = m*o - 14 - 2. Let r be (-2)/o - (-306)/(-24). Which is smaller: -12 or r?
r
Let f be 2/(3 + -1)*30/(-6). Let g be (3/(-2) - 0) + -2. Is f < g?
True
Let k(x) = x**3 - x**2 - 6. Let w be k(0). Let t(i) = -i. Let f be t(w). Suppose 2*s = 5*s + f. Is s less than or equal to -2?
True
Let i be (-20)/(3 - 1) - -1. Let o be 14/(-77) - i/(-132). Which is bigger: o or 3/7?
3/7
Let l be ((-84)/(-63))/((-2)/(-6)). Let q be (-512)/126 + (-14)/(-49) + l. Which is greater: -1 or q?
q
Let h be (1/5 - (-18)/10) + 206. Suppose -4*f = 5*u + 168, -4*f = 2*u - 7*u + h. Are f and -47 nonequal?
False
Suppose -5*r = -2*v - 0*v - 151, 0 = r - 1. Let j = v - -71. Let l(y) = y + 5. Let a be l(-5). Which is smaller: a or j?
j
Let o = -2095 - -1593. Which is bigger: o or -503?
o
Let q be ((-16)/(-14))/((-10)/(-35)). Suppose v = q*v + 9. Let d be 10/(-15)*v/(-7). Is d >= 9?
False
Let t = 20.17 - 19.3. Let z = -0.13 - t. Which is smaller: z or 18?
z
Let s = 35 + -14. Let g = -128 + 106. Let x = g + s. Is x <= -13/6?
False
Let p = 15 - 37. Let w = p - -24. Which is smaller: w or 8?
w
Suppose -183 + 78 = a. Let f be ((-56)/a)/((-1)/(-5)). Which is bigger: f or -1/3?
f
Let d = -0.832 - -8.212. Let f = 7.6 - d. Is f <= 1?
True
Let w = 26/31 + 4/217. Let o = w - 41/56. Which is bigger: o or 0.1?
o
Let u = 0.038 + -41.038. Let s = u + 41.66. Let l = 0.16 - s. Is l at most as big as -0.2?
True
Suppose -1631 = 7*a + 21798. Let h = a - -471925/141. Is h >= -1?
True
Suppose 0 = 5*k - 2*k - 3. Let t be (-1719)/108 + 1 + k. Let b = t + 14. Is 1 at least as big as b?
True
Let u = -37 - -29.5. Let x = 6.5 + u. Which is greater: -9 or x?
x
Let g be (-60)/15 - (-146)/20. Which is bigger: g or 3?
g
Let r(l) = -4 - 46*l + 14*l - 66*l**3 + 67*l**3 + 13*l**2. Let k be r(-15). Let u(t) = 3*t + 8. Let j be u(6). Is j at least as big as k?
True
Let i be (-109)/(-385) - (40/(-70) - -1). Is 1 <= i?
False
Let h = 10/51 + -28/663. Let y(w) = -2*w - 2. Let u be y(-4). Let v be ((-33)/(-110))/(u/5). Which is smaller: v or h?
h
Let k be 9/(-6)*(-3 + 1). Let v be (-4)/6 - 30/9. Let w be (-6)/v*(-12)/(-9). Which is greater: w or k?
k
Let k = 795 - 790. Let b be 1 + 74/14 + -2. Is k greater than b?
True
Let f = 13 + -16. Let t(j) = -2*j**3 - 2*j**2 + 6*j - 4. Let r be t(f). Let g be (r/35)/(2/(-10)). Which is smaller: g or 1/2?
g
Let o be 1/(-3 + 8 - 4). Let n be ((-4)/(-6))/((-20)/(-54)). Is o smaller than n?
True
Suppose 4*l = i - 0*l - 21, -l - 3 = 0. Suppose -20 + 47 = -3*s. Let h = s + i. Is -14 at least as big as h?
False
Let m(n) = 2*n**3 - 6*n**2 + 3*n + 2. Let l be m(4). Suppose -12 - l = -r. Let h = -1043/18 + r. Is h at most 0?
False
Let c(z) = -4*z + 7. Let r be c(5). Let l(t) be the second derivative of -t**5/20 - 7*t**4/6 - 7*t**3/3 - t**2 + 8*t - 3. Let s be l(r). Are s and 10 equal?
False
Let f(v) = v**2 + 36*v + 2. Let s be f(-36). Which is smaller: 216 or s?
s
Let y = 2248.5 + -2133. Is y equal to 0.1?
False
Let l = -792 + 798. Which is greater: 69/14 or l?
l
Let u = 20 + -14. Let a = u - 8. Let k = 2.27 - 0.27. Which is bigger: a or k?
k
Let z be 1*13 + (-1404)/156. Which is smaller: 38/11 or z?
38/11
Let j(x) = x**2 + 8*x + 7. Let y be j(-6). Let g be (15/6)/(y/10). Suppose -2*a + 14 = -2*w, 3*w + 2*w = -2*a - 7. Which is greater: w or g?
w
Let l = -0.0314 - -1.0314. Is l bigger than -2/33?
True
Let t = 291 - 289. Which is smaller: t or -0.08?
-0.08
Let n(u) = u + 7. Let h be n(-13). Suppose -14*x + 4*k = -11*x + 4, k + 22 = -5*x. Which is bigger: h or x?
x
Suppose -s = -4 - 7. Suppose 18 = -5*x + 178. Suppose -3*w + x = s. Do 5 and w have different values?
True
Let a = -40555 - -40554. Let o be ((-4)/(-130))/(1/5). Which is greater: o or a?
o
Let n be (3 - (-39)/(-12))*(-1)/((-172)/8). Let r = 2 - 1. Which is greater: r or n?
r
Let z(m) = -3*m - 23. Let k be z(-18). Suppose 0 = 12*p - 8*p - 128. Does k = p?
False
Let m = -91584/43 + 2130. Which is smaller: 0.1 or m?
0.1
Suppose 0*c - 5*p + 92 = 3*c, -5 = p. Suppose -2*s + 3*n = 2*n - 77, 0 = s - 5*n - 25. Is c > s?
False
Let c = -71.2 - -65. Let q = 5.9 + c. Let l = 6 - 0. Which is smaller: q or l?
q
Let s be ((-2)/(-1))/(12/(-54)). Suppose 21 - 11 = -2*i. Which is smaller: s or i?
s
Let g = 148 - 104. Let m = g + -50. Which is smaller: -8 or m?
-8
Let w(n) = -10*n**2 - n + 4. Let p = -21 + 23. Let l be w(p). Which is smaller: l or -37?
l
Suppose 5*g - 168 = u, 4*g - 5*u - 24 = 3*g. Let z = g - 43. Is z greater than -6?
False
Let j(i) = -3*i**3 - 2*i**2 - 4*i - 3. Let t be j(-3). Which is smaller: t or -1?
-1
Let n = -293 - -295. Which is smaller: 30/19 or n?
30/19
Let o = 14 - 3. Suppose 3*p - o = 4*a + 9, -5*a - 14 = -p. Is a at most 1?
True
Let x = -0.498 + 0.498. Which is bigger: x or 56?
56
Suppose -5 + 4 = o. Let w be (1/3)/(46/(-12)). Which is bigger: w or o?
w
Let p = 11 + -11. Let z = 52.4 + -52.22. Is p greater than z?
False
Suppose -8 = -7*r + 20. Is 0.05 greater than r?
False
Let l = -0.25 - 13.75. Let s = l + 14.6. Let t = 0.6 - s. Is -3 bigger than t?
False
Let y = 2360201/5845 + -2019/5. Is 0 less than y?
False
Let a = 4765/2 - 2434. Let s = 111 + -163. Which is smaller: a or s?
s
Let u be 64/(-4)*54/753. Let n = -305800/2259 - u. Let b = n + 134. Is b at most as big as 0?
True
Let f = -696 + 493. Which is smaller: f or -202?
f
Let d = 7 - 8. Let q = -14 + 111/8. Let z = 11/24 + q. Is z <= d?
False
Let r be ((-12)/(-21))/((-4)/(-56)). Suppose -9*d + 13*d - r = 0. Is -0.4 at most as big as d?
True
Suppose -5*l = -42 - 78. Is 24 < l?
False
Let n = 481 - 479. Which is greater: n or -3/73?
n
Let l = -1959/14 - -140. Let i = 3/56 + l. Is -2 < i?
True
Let z(m) = m**3 + 2*m**2 + 3*m + 34. Let l be z(0). Which is greater: 236/7 or l?
l
Let k(p) = 4*p**2 + 8*p - 2. Let t(o) = -7*o**2 - 15*o + 4. Let q(l) = -5*k(l) - 3*t(l). Let v be q(-4). Let u be (-4 - -6)/((-1)/2). Is u < v?
False
Let b = 153.9 - 147. Let f = b + -6.6. Which is bigger: 14 or f?
14
Suppose -3*m + 2*g + 3*g + 17 = 0, -5*g = 4*m + 24. Does m = -11/23?
False
Let z = 170 - 165. Is 0.08 <= z?
True
Let c(x) = x**2 - 7*x + 6. Let g be c(6). Let j be ((-3)/6*g)/(-4). Suppose j = d - 7 + 3, 3*d = -2*f + 8. Which is smaller: f or -4?
-4
Let g = -4 - -6. Let m = 80249/11 - 7303. Let t = -398/55 - m. Is g > t?
True
Let a = 137 + -412/3. Is 48 bigger than a?
True
Let k = 216.342 + -0.342. Is 0 >= k?
False
Suppose -t = -11 + 17. Let g = 84 + t. Is 78 at most as big as g?
True
Suppose -10 + 8 = -g. Suppose -3*h = g*h - 45. Which is smaller: h or 7?
7
Let r = -513 + 513. Are -25/18 and r non-equal?
True
Suppose 3*n - 54*h - 1003 = -58*h, -351 = -n + 2*h. Which is bigger: n or 340?
n
Suppose -2*j + 20 = 3*k, 13*k + 3*j = 16*k - 45. Let a(h) = -h**3 - 7*h**2 + h + 7. Let s be a(-7). Suppose -m = -s*m - 8. Which is greater: m or k?
k
Let k(d) = -d**2 - 12*d - 9. Let i be k(-11). Suppose 9 = -i*y - 9. Let z = -18 - -9. Is z greater than y?
False
Let p = 18784114 - 83025786177/4420. Let a = p + 2/663. Let k = a - -3/5. Which is bigger: k or 0?
k
Suppose 1 + 8 = y. Let r be (-1 + (-303)/(-279))/(6/y). Which is smaller: r or -1?
-1
Let o(n) = n**3 - 9*n**2 - 11. Let h be (-135)/(-18)*(-12)/(-10). Let a be o(h). Which is greater: -8 or a?
-8
Suppose 5 = 4*f - 5*f. Let o be (-3)/(-5)*f/4. Suppose -11*s - 314 = -2*s - 296. Which is smaller: s or o?
s
Let q(i) = -2*i + 3. Let l be q(5). Let k = -125.1 - -125. Does k = l?
False
Let b = 22 - 12. Suppose 2*g = b - 2. Let n be g/((-16)/12) - -3. Is 0 at least as big as n?
True
Suppose -7 = 5*v + 2*j - 18, v = -4*j - 5. Let f = 1 + 0. Is f at most as big as v?
True
Let w = 281 + -283.13. Are 0 and w non-equal?
True
Let n be 3/12*(-80)/2190. Are 0 and n equal?
False
Let n be ((-32)/152)/(-5 - -343). Which is bigger: n or 0?
0
Let x = 0.05 - -0.45. Let g = 14 + -37. Let c = 19 + g. Which is greater: c or x?
x
Let v be (68/10)/(4/20). Is 35 at most as big as v?
False
Let l be ((-42)/7 + 18)/6. Is l smaller than 2/1779?
False
Let w(m) = -m - 24. Let h be w(-35). Is 9 less than h?
True
Suppose 11*a = 4*a - 7. Let r = -32107/29 - -1107. Is a greater than r?
False
Let a be (960/(-135) + 7)/(2/(-6)). Is -4 at most a?
True
Let i = 305 - 203. Suppose 8*b 