er than or equal to 182/3?
False
Suppose -5*f + 2*c = -15, 0 = 4*f - 5*f + 2*c + 3. Let b(w) = 2*w**3 - 2*w**2 + 2*w + 2. Let i be b(2). Let q be i*(3 + -4)/(-6). Is q < f?
True
Let r = 7 - 6.91. Let d = r + -1.49. Let u = d - -1.5. Which is bigger: 0 or u?
u
Let w be -18*4/(-3 - -1). Suppose 4*n + w = -y, -3*n + 46 = -8*n - y. Let o be n/(-18) + 16/(-72). Are o and 0 nonequal?
True
Let v be 10*((-480)/116 - -4). Is v != -2?
True
Let j = -1323 - -177281/134. Which is bigger: -1 or j?
j
Let i be (4/3)/(2/3). Let m(j) = 2*j + 3 - 4 + 4*j**2 + 5*j**3 - 4*j**3. Let g be m(-2). Which is greater: i or g?
g
Suppose 7*v - 5454 = -3*b + 4*v, 4*v = -8. Suppose -490 = 21*n + b. Are -109 and n nonequal?
True
Suppose 27*u = 7*u - 280. Is u at least as big as -17?
True
Let p(v) = -v + 3. Let j be p(6). Suppose -8 = -5*l + 7. Let y be 6/(-3)*l/6 - 1. Which is bigger: y or j?
y
Let g = 83110/263 + -316. Which is smaller: 0 or g?
0
Suppose 2*g = 3*a - 0*a - 75, -4*g = -a + 35. Suppose 0 = -5*z - 3*p + 49, z - a = 7*p - 12*p. Which is smaller: z or 4?
4
Let g(i) = 81*i + 179. Let s be g(-2). Which is smaller: s or 16?
16
Let r(v) = 9 + 0 - 4 + v. Let q be r(-11). Which is bigger: q or -5?
-5
Suppose 3*u = -2*k - k, 4*u - 6 = 2*k. Let i be (-28510)/(-66) - (-6)/9. Let s = i - 433. Which is greater: s or u?
u
Let q be ((-35)/30)/(22/(-11)). Suppose -2*m + 3 = 1. Which is smaller: m or q?
q
Let m = -40 - 4. Let g = m + 43.7. Which is greater: g or 6?
6
Suppose 4*n - 3*n - 5 = 0. Let g be n - 3*(-4)/(-6). Let a(c) = -c - 1. Let s be a(g). Is s < -3?
True
Suppose 0 = 5*s + 5*b - b - 98, -s - 3*b = -13. Let z = -19 - -42. Which is smaller: s or z?
s
Let a(z) = -2*z**2 - 13*z - 84. Let w be a(-14). Which is bigger: w or -295?
w
Let j be (36/16)/((-6)/18*3). Which is smaller: -1 or j?
j
Let d = -17 - -17. Suppose d = x - 7*x. Do x and -1/17 have different values?
True
Let q = 1/96002 - 370183719/672014. Let i = -31 + -521. Let r = q - i. Is r at most 2?
True
Suppose 0*v = -2*v. Let i = v + 17. Suppose 5 = m + i. Which is greater: m or -21/2?
-21/2
Let l = 761986/137 - 5562. Is 0 bigger than l?
True
Let m = 120.876 - 121. Let h = 1.124 + m. Which is smaller: 9 or h?
h
Let v = 280.022 + -280. Which is bigger: v or 2/3?
2/3
Let f = 991.7 - 991. Let m = -3 + 1. Which is smaller: f or m?
m
Let s = -1500 + 1581. Do 78 and s have the same value?
False
Let b = -25 - 25. Let l = 49 + b. Is 11 smaller than l?
False
Suppose -2*g - 5*b = -274, -b = g + 2*g - 437. Which is bigger: 149 or g?
149
Let w = -92/15 + 24/5. Which is smaller: w or -8?
-8
Let c = 44.986 + -44.93. Let f = -0.3 + 0.4. Is f less than or equal to c?
False
Let l be (-12)/15*(-5)/2 - 0. Is 356 < l?
False
Suppose -3 = -5*v - 2*i, -2*v + v = -3*i - 4. Let n = 7/24 - 1/8. Which is smaller: n or v?
n
Let u(g) = -6*g**2 - 18*g + 60. Let y be u(5). Which is smaller: y or -179?
y
Let y be ((-68)/85)/(4/(-10)). Suppose 7 - y = -5*p. Is p less than -9/8?
False
Let q(a) = 3*a**2 - 2*a**2 + 17 - 18*a + 13. Let g(h) = 3*h**2 - 19*h + 2. Let o be g(7). Let b be q(o). Is -1 >= b?
True
Suppose 80 = 3*c - 4. Let a = c + -142/5. Which is smaller: -4 or a?
-4
Let h = 252 + -206. Do 46 and h have the same value?
True
Let a = -5.95 + 4.95. Which is smaller: a or -5?
-5
Suppose 0 = -5*a - d + 288, 2*a - 50 = -5*d + 79. Let i = 54 - a. Is i >= -20/13?
False
Suppose -1461*t + 1465*t - 4 = 0. Let f(z) = -1. Let b(s) = 3*s. Let x(r) = -b(r) + 2*f(r). Let m be x(3). Is t greater than m?
True
Let a(g) = 4*g + 17. Let s be a(4). Suppose s = -n + 8. Is -27 <= n?
True
Let d = 387 + -390. Let z = 0.9 - 0.85. Let o = 0.05 + z. Is o > d?
True
Suppose -2*p + y = -7*p + 203, 2*p - 77 = y. Do p and 370/9 have different values?
True
Suppose -4*u = -4*n + 16, 2*n - 10 = -4*u - 8. Is u <= 1/628?
True
Let c(g) = -156*g - 1. Let q be c(-7). Let w = -25097/23 + q. Which is greater: 1 or w?
1
Let q be ((-154)/(-21))/((-1)/(6/(-34))). Is 1 not equal to q?
True
Suppose k - 2*s - 27 = 0, s = 3*k + 5*s - 111. Let l be ((-2)/4)/(k/(-4)). Suppose 16 = 2*m - 3*f, 5*f - 16 = 3*m - 43. Is l at most as big as m?
False
Let q(y) = -202*y + 10. Let x be q(7). Let i be 16/20 - x/(-1780). Does i = 0?
False
Let d be -1 - (-5215)/(-77)*32/(-5). Let f = d + -433. Which is bigger: f or -2?
f
Suppose 10 = -x + 4*x - 2*z, 4*x - 15 = z. Are 11 and x unequal?
True
Suppose -4*i + 2*y + 40 = 10, -2*i + 3*y + 25 = 0. Let b be i/6 - (-3)/18. Is -1/9 at least b?
False
Let h = -14.2 - -1.4. Let u = h - -11. Let z = -1.8 - u. Which is smaller: 6/7 or z?
z
Let a be -2*(1/(-4) + (-39)/(-52)). Is a bigger than 2/861?
False
Let m = -0.1 + 0.2. Let i = -543.922 - -544. Which is smaller: m or i?
i
Suppose 3*r = l - 507, 3*r - 5*l + 513 = -6*l. Is r smaller than -681/4?
False
Let t(r) = -r**2 + 51*r - 258. Let l be t(48). Is -114 greater than or equal to l?
True
Suppose 375*y - 26 = 374*y. Which is smaller: 24 or y?
24
Let w be 0*(0 + (-5)/(-10)). Suppose w = -5*h + 5*v - 115, 2*h + 3*v - 8*v = -43. Is h less than or equal to -2/3?
True
Let m = 3799 - 3795. Let l = -21916/7 - -3136. Is m at most l?
True
Let p be 145/(-50) + 3 + 55/(-1550). Let n(y) = y**3 + y + 1. Let b be n(0). Which is smaller: b or p?
p
Let l be ((-30)/40)/(25/40*554). Is l less than or equal to 0?
True
Let p(l) = -35*l**3 - 4*l**2 - 9*l - 1. Let k be p(-3). Let n = -6514/7 + k. Which is smaller: 5 or n?
n
Let d be (8/(-102))/((-70330)/40989). Let k = d + -12/541. Is 0 < k?
True
Let f be 19896/(-32)*36/(-27). Is 829 at most f?
True
Let o = -93.2 - -67.2. Which is greater: o or 0.2?
0.2
Let g = -205930 + 119439521/580. Let n = -1/116 + g. Which is bigger: n or -36?
n
Let l = -28 - -27. Let m = 1.1 + l. Which is greater: -2.2 or m?
m
Let y = 5364 - 606120/113. Let j = 728/2599 - y. Is -1 greater than or equal to j?
False
Let a be (868/(-3038))/(-2 - 0 - (-8)/7). Let q = 5 - 1. Are a and q equal?
False
Let m be ((-4)/10)/(16/20). Suppose -4*a = -2*o - 2*o + 4, 32 = 4*a + 5*o. Suppose 0 = n - 3*n - 3*y - 15, -a*n = -5*y - 25. Which is bigger: n or m?
n
Suppose -f + m - 82 = -3*f, 0 = -3*f - m + 122. Let n = 46 - f. Which is bigger: 7 or n?
7
Suppose 0 = 13*i - 316 - 48. Is 9 less than i?
True
Suppose -5*q + 5 = 5*v, -3*v + 2*q = 40 - 18. Let d(w) = 8*w + 31. Let b be d(v). Which is greater: b or -14/11?
b
Suppose 0 = 3*s - 2*s - 4*x + 15, s + 20 = 5*x. Suppose 10 = 3*f - s*f. Let t be 2 + (-3 - f - -2). Is 4 smaller than t?
True
Let d = -1.231 + 1.27. Let w = d + -0.139. Which is greater: w or -12?
w
Let r be 5 + (-3 - -1) + 1. Suppose -3*n + 5*d = -208, -n + 72 = r*d - 7*d. Let w be ((-2)/n)/((-3)/9). Is 1 at most as big as w?
False
Let a = 706 + -165908/235. Let s = a - 243/940. Let g = 18.975 + 0.025. Which is smaller: s or g?
s
Let i = 33 - 35. Let q be (-380)/(-57) - i/6. Is q bigger than 9?
False
Suppose 0 = -n - 4*i + 4 - 0, 5*n - 5*i - 20 = 0. Suppose -n*q = -38 - 62. Suppose q = 5*s, -5*z + 4*s - 80 = -0*s. Is z greater than or equal to -1/2?
False
Let a(m) = -2*m - 5. Let n be a(-3). Let g(k) = 6*k + 1. Let w be g(n). Let x(t) = -t**2 - 8*t - 6. Let f be x(-5). Which is greater: w or f?
f
Let a = 0 - -3. Let o = -10 + a. Suppose -14*s = 212 - 100. Which is smaller: o or s?
s
Let q = 1.166 + -1.366. Which is smaller: q or 1.58?
q
Let j = 14.809 + 1.291. Is j bigger than 0.3?
True
Suppose 8*o = 5*o - 2*w - 374, -4*o = -w + 517. Which is smaller: o or -1?
o
Let m = 0.2 + -0.3. Let w = -23.85 - 0.55. Let i = w + 24. Which is smaller: i or m?
i
Suppose 6 - 26 = -5*r. Suppose r*x + 0*x + 17 = l, 0 = 3*l - 3. Suppose -13 = 5*d + 2. Which is greater: d or x?
d
Let b = 50 - 47. Let n be (8 - b) + (-2)/1 - 1. Are 4/3 and n unequal?
True
Suppose c + p = 6, 0*c = c - p + 4. Is 1/350 less than or equal to c?
True
Let u = -2.9 - -3. Let f(y) = -2*y**2 + 31*y + 19. Suppose 6*r = -2*r + 128. Let c be f(r). Does u = c?
False
Let a = 15/587 + 2459/64570. Which is bigger: -1 or a?
a
Suppose 6*i = -17*i + 69. Let n = 24 - 25. Is n <= i?
True
Let h = 4 - 5. Let o(p) = p - 7. Let u be o(9). Let q be 28/(-40)*u - -1. Is q less than or equal to h?
False
Let l = 565 - 6775/12. Which is bigger: l or 1?
1
Let j = 186/67 - 78812/28341. Which is smaller: j or 2/5?
j
Let a = 101/30 + -41/5. Is a < -4?
True
Let w(l) = -l + 4. Let p be (13 - 