 to -2/5?
True
Let w = -15 + 23. Let z be 8/(-6)*-1 - 1. Which is greater: z or w?
w
Let n be 40/5 + -5 - (4 + -1). Is n smaller than 7/9?
True
Let a(b) = b**2 + 7*b. Let p be a(-6). Let x(s) = -s**3 - 6*s**2 - 2*s - 8. Let n be x(p). Let f be ((-1)/((-2)/20))/2. Which is smaller: n or f?
n
Suppose m + 4*m = -50. Let t be (-56)/(-115) - (-4)/m. Which is smaller: t or 0?
0
Let b = 10 - 7. Suppose 8*y = b*y + 5*l - 15, 2*y - 18 = -4*l. Are y and 0 equal?
False
Let w(m) = m + 7. Suppose -4*k - 3*p = 15, -5*p + 2*p = 15. Let i be w(k). Suppose -2 = 3*s + i. Which is greater: 0 or s?
0
Let c = 0.2 - -0.4. Is c greater than or equal to 2?
False
Let z be (-142)/(-510) - (-4)/(-20). Let v = 3/34 + z. Are v and 1 non-equal?
True
Let p = -214852/35 + 6138. Let o = p - -347/385. Is 1 bigger than o?
True
Let k(h) = 6*h**3 + 2*h**2 + 4*h - 5. Let z be k(1). Which is smaller: 33/5 or z?
33/5
Let s = 53555/49 - 1093. Is s smaller than -1?
False
Let p be -2*(4 + -2)/4. Let g(a) = 2*a**2 + 14*a - 1. Let c be g(-7). Is p at least as big as c?
True
Let v be (-2)/(-12) - (-1111)/66. Which is smaller: 18 or v?
v
Let q = -955 + 60167/63. Which is smaller: 0 or q?
0
Let l be 5/210*6 + 316/(-7). Is -45 != l?
False
Let w = 0 + 8. Let l = w - 8.3. Let q = -1.3 - l. Which is bigger: 2 or q?
2
Let b be (-3)/(-1026)*22 + 12/(-54). Does b = 0?
False
Let c = 1333 - 7963/6. Is 7 smaller than c?
False
Let n(u) = -u**3 + u**2 + 4*u - 3. Let w(y) = -y**3 + 3*y**2 + 4*y + 2. Let x be w(4). Let f be n(x). Suppose 0 = 3*j - 2*j - f. Do j and 1 have the same value?
True
Let w(y) = -1680*y**3 - y**2 - 4*y + 2. Let u be w(3). Let k = 3131096/69 + u. Let n = k - -3/23. Which is smaller: -2 or n?
-2
Let x(i) = 4*i - 3. Let o be x(6). Let v be 16/7 - 6/o. Suppose -t = -3*w - 6, 2*t + 6 = -v*t - 3*w. Which is smaller: 4/7 or t?
t
Suppose 4*t + 5*a = 319, -161 = 4*t - 6*t - a. Let r = t + -569/7. Is r not equal to 1?
True
Let y(t) = t**2 - 5*t - 5. Let j be y(6). Let i be j/((90/4)/(-5)). Let f be (-1)/(-3) + 2/(-3). Is i > f?
True
Let a = 38 - 107. Which is smaller: -2/7 or a?
a
Let h = -80/1053 + 2/81. Let g = h - 3/26. Is g bigger than 1?
False
Let o be (-390)/725 + 4/10. Let a = 38/145 - o. Which is smaller: a or -4/7?
-4/7
Let f be (-6)/(-9)*(-6)/(-5). Which is smaller: 2 or f?
f
Let t = 0.3 + -0.2. Which is bigger: 18 or t?
18
Suppose -3*s = 2*s - 0*s. Which is greater: s or 2/3?
2/3
Let w = -77 + 125. Which is smaller: 49 or w?
w
Let u = 23 + -22. Do u and 2 have the same value?
False
Let h(m) = 6*m + 56. Let q be h(0). Are 55 and q equal?
False
Let p = 21 - -11. Does 32 = p?
True
Let x = 0.042 - 0.042. Is 0 greater than or equal to x?
True
Let y = 2.9 - -1.1. Which is smaller: 2 or y?
2
Let f(a) = -a**3 - 19*a**2 + 22*a + 28. Let t be f(-20). Which is bigger: -11 or t?
-11
Let g = -4.4 + -0.6. Let c = g + -6. Is c greater than -2/7?
False
Let t = -28 + 48. Suppose 0 = -0*k - k, -5*h + t = 3*k. Let i be h/18 - 200/90. Which is bigger: -1 or i?
-1
Let s = 2/27 + -20/27. Let p = 0.4 + -0.5. Which is smaller: p or s?
s
Let t = 1 + 0. Let y = 411.06 + -383. Let f = -28 + y. Which is smaller: f or t?
f
Let v be (4 + (-5)/1)*-7. Suppose f = -2 - v. Is f at least as big as -9?
True
Suppose 5*u + 11 = k + 18, 4*k + 3*u + 5 = 0. Let m = -3 + -2. Which is bigger: m or k?
k
Let m = 0.4 - 0.4. Let o = 0 - -9. Which is smaller: m or o?
m
Let p = -6 + 6. Suppose q = -2*n - 20, 5*q + 140 = -2*n - p*n. Let w be 2*3/q*2. Is -1/3 bigger than w?
True
Let a be 33/(-27) - -2*3/27. Which is smaller: -4/11 or a?
a
Suppose 2*c - 16 = -2*c. Let a be 10/4*(-1 - -3). Is c <= a?
True
Let n = 5 - 9. Let l = 114 - 118. Is l less than or equal to n?
True
Let n be (-20)/6*24/(-10). Let w = n - 8. Let r(o) = -o**2 + 3*o + 3. Let v be r(4). Which is smaller: v or w?
v
Let d = -2/443 - 7501/6645. Let c = 8/15 + d. Let w = 0 - 0.2. Are c and w non-equal?
True
Let q(k) = k**3 - k**2 + 1. Let a be q(2). Let r be ((-75)/30)/(2/(-4)). Are r and a non-equal?
False
Let g = 23 - 15. Which is greater: 9 or g?
9
Let b be (3/1 - 6) + 4. Which is bigger: -2/21 or b?
b
Suppose -3*j - 13 = -43. Let q = 72/7 - j. Let t be (1 - 33/6)/(2 + -14). Is t at least q?
True
Let u = 0.15 + 0.55. Is u smaller than 4/3?
True
Let f = -1608408/1595 + 5042/5. Which is bigger: -1 or f?
f
Let l = 8324516/58295 - -2/11659. Let z = 142 - l. Is 0.1 at most z?
False
Suppose 9*k - 87 = -240. Is k >= -17?
True
Let r = -6 + 5. Which is smaller: -2 or r?
-2
Suppose -5*f + 4 = 9. Which is smaller: -4/9 or f?
f
Suppose -4*d + d = 0. Suppose -b = -4*r + 20, 2*b - r = 2*r - 50. Let t = b - -85/3. Which is bigger: t or d?
t
Let f = 5 - 1. Let a = -16 - -21. Suppose -f*y - a = -9*y. Is 0 bigger than y?
False
Let h be (3/18)/(2/(-3)). Let r = -3 + -3. Let s = -2 - r. Which is smaller: h or s?
h
Let i(s) = -s**2 + 9*s - 8. Let c be i(8). Let v be c/(-2) - (-8 - -3). Is v at least as big as 6?
False
Let r = 3281789/26 + -126202. Let h be (-3 - -1)/((-12)/123). Let g = h - r. Is g less than or equal to 1?
True
Suppose 3*v + 4 = c + 5*v, 5*c - v - 9 = 0. Let q be c/7 - 1744/910. Let x = q - -16/13. Which is smaller: -1 or x?
-1
Let j(i) = -21*i - 1. Let w be j(-1). Suppose 4*a = -w, -5*d = -a + 6 - 21. Is 4 at least as big as d?
True
Suppose -5*j = -j. Let h(z) = -z**3 - z + 4. Let y be h(j). Suppose -y*v - 6 = -2. Is -1 <= v?
True
Let l = -144 + 143. Which is bigger: 2/93 or l?
2/93
Suppose 4*x = -1 + 13. Is -1/6 not equal to x?
True
Suppose s - t + 18 = 3*t, -3*s + 4*t = 78. Let o be (5/(s/(-4)))/2. Is -1/3 > o?
False
Let a(l) = 12*l**3 + l**2 - 1. Let i be a(-1). Let p be (i/(-9))/((-1)/3). Let h be 3/(-18)*p/(-5). Which is smaller: 1 or h?
h
Suppose 4*t - 37 + 29 = 0. Which is greater: t or 19/7?
19/7
Let k = -5 + 4.94. Which is greater: -1 or k?
k
Let y = -5 + 10. Suppose -y*x + 5 = -2*s - 5, -6 = -2*s - 3*x. Let i = s + -1. Is -1 equal to i?
True
Let i be 3*-1*(-26)/6. Suppose -5*c = 4*w - i, -c = w + c - 4. Which is smaller: 0 or w?
0
Suppose -4*v - m - 3 = 0, 2*m = v - 0*m + 3. Let w(y) = y + 2. Let s be w(3). Suppose 5*j = -4*o - 21, -j - 22 = s*o - 1. Is j != v?
False
Let v = 43 - 19. Let r be (1/2)/((-12)/v). Which is bigger: r or -8?
r
Let x be (2/(-20)*-2)/(-1). Let u(y) = -1 + 3 - 3 - y. Let a be u(0). Which is bigger: a or x?
x
Let m(h) = -1498*h. Let a be m(-3). Let o = a - 89907/20. Let x = 7/4 + o. Which is bigger: -2/3 or x?
x
Let p be (5 - 9) + (-1 - -3). Let a be (-28)/13 - (-3 - p). Let w = a - -66/91. Which is smaller: 1 or w?
w
Let p(d) = -3*d**3 - 5*d**2 - d. Let z(v) = -v**3 - 1. Let q(k) = p(k) - 4*z(k). Let h be q(5). Let x = -31/2 - -47/3. Are x and h unequal?
True
Let j(b) = 2*b + 1. Let t be j(-1). Let v be (t + 11/9)*1. Is -0.1 less than or equal to v?
True
Let g = 8.98 + -9. Let d(o) = o**2 + 1. Let j be d(0). Does g = j?
False
Let u = -35/2 - -389/22. Let q = 16 - 40. Let c be (-6)/(-9) + 22/q. Which is bigger: u or c?
u
Let h be 1 + 3 - (-52)/(-14). Which is greater: h or 1?
1
Let v = 22 + -21.86. Let u = v + -1.14. Is 3 != u?
True
Let f = 23 + -3011/131. Are 1 and f equal?
False
Let s = 7098103/255843 + 25/12183. Let q = -242/9 + s. Let o = q + -5/14. Is o less than or equal to 2?
True
Let v = -17 + 17. Which is greater: v or 2/43?
2/43
Let w = 3/19 - -23/95. Are w and 1 unequal?
True
Let i be 1/(-2) - 2/4. Let s be 2*i*(-2)/(-4). Is 1 greater than s?
True
Let h be ((-2)/(-8))/((-3)/(-12)). Are h and 2 nonequal?
True
Let j be (-63)/14*(-24)/171. Is 0 not equal to j?
True
Let v be 4/8*(-23)/5. Let k = 5/2 + v. Which is smaller: k or -1?
-1
Let n be 2 + 1 + -1 + (-5 - -2). Which is smaller: n or -2/11?
n
Let l be (-3)/2 + 8/(-5 + 9). Is l bigger than -4?
True
Let z = 107 - 106.8. Is z at least -28?
True
Let k = 16.11 - 0.11. Let c = k + -15. Is 0.1 >= c?
False
Let i = 3/85739 + -37125095/3086604. Let x be 0 + 2 + (-82)/(-8). Let v = i + x. Which is bigger: 2 or v?
2
Suppose -4 = l - 10. Suppose l*j = j - 5. Is -5 greater than or equal to j?
False
Suppose 3*q + r = 5, q + 13 = 5*q - 5*r. Let k be -2 + (-2)/(-4)*6. Is q bigger than k?
True
Let j be 394/130 + 4 + 49/(-7). Is j greater than or equal to 0?
True
Suppose 10 + 10 = 5*x. Suppose -x*j - 1 = 3. Which is greater: 2/31 or j?
2/31
Let i(g) = -g**2 + 7*g - 6. Let v be i(8). L