ss than or equal to v?
True
Let t be 8506/8*10*(-3)/82. Let f = -389 - t. Which is smaller: 0 or f?
f
Suppose 5*f + 1 = s, -5*f - 3*s = 1 + 16. Let m = -35916/8165 + -2/1633. Which is bigger: m or f?
f
Let n be (662/6)/((-2)/54). Let b = n - -402163/135. Which is greater: -1 or b?
b
Suppose m - 13 = a - 2, -3*m = 4*a - 26. Let p(l) = 4*l - 16. Let c be p(m). Is 24 at most c?
True
Let w = 5.8 + 1.2. Let h = 6.92 - w. Let g = 0.01 - -0.09. Is g != h?
True
Let f be 1 + -11*1/9. Let s(k) = -k**3 - 9*k**2 - 2*k + 25. Let c be s(0). Which is greater: f or c?
c
Let j = -3.219 - -1.219. Which is bigger: j or -1/8?
-1/8
Let y(x) = x**2 - 3*x + 2. Let c be y(4). Let v be (-1080)/(-162)*(-12)/(-8). Which is greater: v or c?
v
Suppose -3*n + 2*o + 10 = 2*n, 0 = -3*n + 5*o - 13. Let z = 9 - n. Let a be (-6)/(-12) + 1/(-2). Is a <= z?
True
Let q = -1/620 + 49/5580. Which is smaller: -1/2 or q?
-1/2
Let s(a) = 4*a + 390*a**2 - 2*a - 7 - 389*a**2. Let m be s(-6). Let o(i) = i**2 - 2*i - 7. Let g be o(6). Is m >= g?
True
Let n(s) = -s**3 + 10*s**2 + 1. Let w(x) = x**3 + 12*x**2 - 12*x + 23. Let f be w(-13). Let r be n(f). Is -3/8 equal to r?
False
Let o(u) = 4*u - 7. Let a be o(4). Let v = 7 + a. Let g = v + -18. Is -1 at most g?
False
Suppose 33*f = 8*f - 200. Suppose -3*x = 5*w - 3*w + 30, -3*w - 15 = -3*x. Which is smaller: f or w?
w
Let a be 1098/(-8) - 170/(-34) - -1. Which is greater: a or -131?
-131
Let r = 10/61 + 174/427. Let h(t) = -t - 5. Let o be h(-5). Is r equal to o?
False
Let i = 34 - 31. Let f be -2*((-210)/(-100) - (-1 + i)). Which is smaller: f or 1?
f
Let t be 177/(-59) - 13558/(-4518). Which is smaller: 1 or t?
t
Let n = -8.9 + -1.1. Let q = 8.9 + n. Let h = 3.1 + q. Is h bigger than 2?
False
Let j = 17.2 - 23.2. Let z = -0.1 - -0.2. Which is smaller: j or z?
j
Let u = -199 + 43. Which is smaller: -155 or u?
u
Let i(h) = 5*h**3 - 7*h**2 + 7*h + 1. Let z be i(4). Is z at most 238?
True
Let w be 13/(91/(-238))*75/11. Let s = w + 232. Which is smaller: -5/4 or s?
-5/4
Let u = 0.088 - 1.118. Let k = -2.03 - u. Is -2/69 equal to k?
False
Let z(a) = a - 14. Let s(q) = q - 21. Let g(c) = 5*s(c) - 7*z(c). Let u be g(-5). Let m be u + 3 + -2 + -4. Which is greater: 6/11 or m?
6/11
Let d = -26 + 24.2. Let f = d + 0.8. Which is greater: f or -0.03?
-0.03
Let l be (147 + -2)*666/(-185). Are l and -522 nonequal?
False
Let c be 1/(-3)*27/33. Let h = c + 17/143. Suppose -4*v + 2*f + 8 = 0, -5*v - 40*f - 11 = -39*f. Which is smaller: v or h?
v
Let t = 12 - 9. Suppose 4*z = 13*z + 9702. Let f be (27/(-84))/((-11)/(z/(-12))). Is f >= t?
False
Let p(z) = -56*z**3 - 6*z**2 + 9*z - 2. Let m be p(1). Which is smaller: m or -68?
-68
Let a be (-1503)/(-1448) - 4/6. Let u = a + 2/543. Let b be 3/2 - (-20)/(-8). Does u = b?
False
Let d = -0.7 + 13.7. Let u = 4 - d. Let x = u + 11. Which is smaller: x or 1?
1
Let o be (5 + (-2)/2)*15/(-4). Let y(z) = -z**2 - 12*z + 41. Let n be y(o). Which is greater: n or 0.3?
0.3
Let a be 1 + (-84)/(-77) + 0. Do 2 and a have different values?
True
Let j be (-4)/(-3) - 22*(-52)/(-696). Which is smaller: -1 or j?
-1
Let l = 9 - 5. Suppose -4*h + 1 = -3. Let b = l - h. Is 2 less than b?
True
Let m be ((-112)/(-6))/((-1)/(-3)). Let l(c) = 37*c + 500. Let x be l(-12). Is m > x?
False
Let m be ((-2)/(18/(-141)))/(290/1860). Let s = m + -201/2. Is 0 <= s?
False
Suppose s - 4 = -0*p + p, -3*s = 4*p - 26. Let y be s/3 - 710/356. Let m = y - 269/356. Which is smaller: 0 or m?
m
Suppose -2*h - 4*l - l + 13 = 0, -5*h + 4*l - 50 = 0. Let n be (3/15)/((-2)/(-10)). Let t be ((-2)/n)/((-78)/h). Which is smaller: 0 or t?
t
Let v = -505 - -867. Is v < 363?
True
Suppose 574 + 42 = 8*h. Which is smaller: 79 or h?
h
Suppose -2*a = -o - 644, 2*o + 2*a - 3*a + 1288 = 0. Is o less than -643?
True
Let k = 18 - 17. Suppose 0 = j + k - 0. Which is smaller: -5/11 or j?
j
Suppose 757 = 6*r - 173. Is r less than or equal to 156?
True
Let x = -0.008 - -10.008. Which is smaller: -0.8 or x?
-0.8
Let m = -523 - -523. Is m greater than 3/88?
False
Let s be 1 + 1/(-3) + (-1172)/12. Let d = s + 677/7. Which is smaller: 1/7 or d?
d
Suppose 6*y - 994 = -1000. Which is smaller: y or -9/109?
y
Let j = -12 + 17. Suppose -4*n + 104 = 4*f, -f - 3*n - n + 38 = 0. Suppose -r - 2 = 0, 4*r + 21 + f = -j*h. Are h and -7 unequal?
False
Let n(h) = 6*h - 32. Let x be n(7). Suppose -1 = 3*b - 4*c - 12, 3*c + 24 = 4*b. Which is smaller: b or x?
b
Let a be 176/(-308) - (-2)/14*4. Let k be ((-70)/65 - -1)*3. Which is smaller: a or k?
k
Let m = 11.07 + -13.3. Let h = m + 0.13. Let v = h + 1.1. Which is smaller: v or -1/4?
v
Let h(l) = 7*l + 9. Let x be h(-6). Suppose 0 = 3*m - 4*o - 1576, 3*o - 1048 = -2*m + 7*o. Suppose -24*c + 8*c = m. Is x at most as big as c?
True
Suppose 3*g - 94*s + 91*s = 6, 0 = 4*g + 5*s + 19. Let y be (-1)/(-2) - (-96)/(-189). Let o = y - -73/1260. Is o at most as big as g?
False
Let s = 101 - 101.2. Let o = -1.8 - s. Is o >= 0?
False
Let y = 647 + -63. Which is smaller: y or 583?
583
Let w = -8.6 - -7.848. Let g = w - -0.75. Is 1/3 less than g?
False
Let p be (-672)/(-63)*27/5. Let o = -58 + p. Let k = 6 + -8. Which is bigger: k or o?
o
Let l = 0.6 + -0.8. Suppose -6*i + 0*i = 72. Let z be -3*(-12)/i*(-1)/(-8). Which is bigger: z or l?
l
Let l = 19 - 17. Let u(a) = -a**3 + a**2 - a - 2. Let x be u(l). Let f be 22/(-5) - (x - -6). Which is smaller: -3 or f?
-3
Let g be (9 - 8)/(-6) + (-50)/(-12). Which is smaller: g or 111?
g
Let u = -275 + -54. Which is greater: -330 or u?
u
Let s be (-3 - -2) + 4 + -1. Let r(j) = -j**3 + 2*j**2 - j + 1. Let z(l) = 4*l - 24. Let d be z(6). Let c be r(d). Are s and c equal?
False
Let a = 76 - 134. Let o = -57 - a. Is 0 bigger than o?
False
Suppose 2*q + q - 18 = 0. Let v(u) = u**3 - 7*u**2 + 8*u + 6. Let i be v(q). Let c be 24/i*3/(-2). Which is smaller: c or -1?
c
Let i(g) = g**3 + 5*g**2 + 3*g - 2. Let u be i(-4). Suppose 3*q + 1 = -u. Is q at most as big as -4/5?
True
Let v(t) = -2*t - 6. Let b be v(-4). Suppose -b*c = -1 + 7. Let n(y) = -y**3 - 3*y**2 + y + 2. Let s be n(c). Which is greater: s or -2?
s
Let n = 0.122 - 1.042. Is n bigger than 0?
False
Let b = 11795771/905 - 13034. Are 1 and b unequal?
True
Let m = 7.9 - -3.1. Is 0.22 greater than or equal to m?
False
Let d = 224 - 229. Which is bigger: -45/7 or d?
d
Let j = -6.8 - -7. Let v = -0.11 + 8.11. Let y = 8.2 - v. Is j at least y?
True
Let m = -37.7 - -29.7. Which is greater: m or -7/2?
-7/2
Let m be ((-18)/(-4))/(3/20). Suppose 5*z - 2*x - 2*x - 27 = 0, m = 5*z - 5*x. Let h(y) = -y**2 + 3*y + 1. Let j be h(z). Is 1 at most as big as j?
True
Suppose -6*w + 35 - 857 = 0. Are w and 0 equal?
False
Let c = 0.06 - 0.07. Let x = c - 7.99. Let g = 6 + x. Is g greater than or equal to 0.3?
False
Let y = 47.63 - 48. Let v = y - -0.17. Let t = 1/4 + -3/4. Is t at least v?
False
Let p be 40/(-7) + (6/(-7))/3. Let i be 49/(-63) - p/(-27). Which is smaller: i or 4/23?
i
Suppose 0 = q - 5*q - 32. Let l be (-47)/(-156) - (-2)/q. Let o(w) = -w**3 + 18*w**2 + 11*w + 151. Let k be o(19). Is l > k?
True
Let l = 446 - -150. Which is smaller: 597 or l?
l
Let v(o) = -4*o - 20. Let k be v(-9). Suppose -6 = 2*a + k. Which is smaller: -7 or a?
a
Let n = -0.28 + -0.17. Let g = 0.35 + n. Let q = 0 + -0.05. Does q = g?
False
Suppose -5*o + 10 = -0*o. Suppose 14 = d - 3*v, -2*v - 12 = o*v. Suppose b - 2*b = -d. Which is bigger: 4 or b?
b
Suppose -5*t = 25, -3*d + 2*t + 5 = -8. Let b be ((-11)/29)/(2 - -21). Let x = 3/29 + b. Is d <= x?
False
Let l be 12*6/27*4323/44. Is 262 at least l?
True
Let i = 0.44 - 0.75. Let h = -3.31 - i. Let q = -3 + 1. Which is smaller: q or h?
h
Let c be (-5494)/656 + 16/2. Which is greater: c or -1?
c
Let s = 20.7 - 19. Let n = -0.2 + s. Let a = 1.4 - n. Which is smaller: a or 0.2?
a
Let y be (5 - 10/(-15))*-41 - 4. Is y equal to -235?
False
Let q = -2.9 + 3. Let u = 2055.2 - 2073.2. Which is smaller: u or q?
u
Let z(p) = -p**3 + p**2 + 2. Let f be z(4). Let c be 1/2 - (-11)/f. Let x = 382 + -382. Are x and c nonequal?
True
Let w = 125 + -449. Which is smaller: w or -323?
w
Let i = -7.29 - -9.29. Which is greater: i or 231?
231
Let g = -27.5 + 10.5. Is g bigger than 2?
False
Let k be 4*(-4)/(-8) - -4. Suppose -2*j + 2 - k = 0. Let v be j/(-8)*(6 - 2). Is 1/14 