ose 0 = 22*q - o*q - 120. Are q and 28 nonequal?
True
Let k = 7.8 + -7.41. Let a = -0.075 + -0.395. Let j = a + k. Which is bigger: j or 2/7?
2/7
Suppose -860 = 3*o + 4*q, -10*q + 5*q + 1095 = -4*o. Let u be (18/12)/((-15)/o). Is 28 < u?
False
Let v = 46103/10 - 4616. Let y = v - -1073/190. Is y not equal to 1?
True
Let w = -6373 + 5959. Is -2067/5 less than w?
False
Let o = 20055.2 - 20056. Is o smaller than 454?
True
Let f(b) = 3*b**3 + 102*b**2 + 69*b + 8. Let p be f(-33). Is p at most 998?
True
Suppose z = -2*w + 88 - 25, w = -2*z + 33. Suppose -3*r = -s - 88 + 104, 5*r - 13 = -4*s. Is w less than or equal to s?
False
Let y(p) = p**2 - 11*p + 7. Let b be y(7). Let z = 13 + b. Let o be (-2 - z)/((-15)/10) - -3. Is 2/53 smaller than o?
False
Suppose 4*s + 6*t = 8*t + 32, -34 = -3*s + 4*t. Let g be (s/(-9))/((-1)/3) + -4. Which is greater: g or -5/4?
-5/4
Let z be 38395/25 - (-12 + 5/1)/1. Do z and 1542 have the same value?
False
Let t = -37894/53 + 715. Let a(q) = -q**3 + 8*q**2 + 9*q - 9. Let r be a(4). Let b = r + -91. Which is smaller: b or t?
b
Let u(s) = -s**3 + 3*s + 2. Let o be u(-2). Let b = -63 - -59. Let v be (-78)/(-9)*((-6)/b)/3. Which is greater: v or o?
v
Let s = 61 - 59. Suppose -4*t - 36 + 4 = -3*f, 0 = -s*f - t + 3. Suppose 0 = -6*z + 7*z + 5*w + 27, 2*w = -f*z - 18. Which is greater: 16 or z?
16
Let i = -0.9383 + -6662.0617. Let l = -6631.81 - i. Let k = l - 0.19. Which is bigger: 0.1 or k?
k
Let p be (8 - 374/51)/(251/(-3)). Is p < -0.2?
False
Let c = 0 + 0.2. Let k = -1264 - -1264.803. Let f = 8.197 + k. Is f >= c?
True
Let u = 33407/5 + -6726. Which is greater: u or -44?
-44
Let k be (-15)/12 - (-2)/8. Suppose 4*u - 2*t - 598 = 0, 755 = 5*u + 10*t - 5*t. Let v be (-8)/u*(-260)/312. Is k <= v?
True
Let h be 3/(-15) + 0/3. Let s = 62.32 + -62.32. Is h <= s?
True
Let w(k) = -k**2 + 79*k + 3287. Let q be w(-32). Which is bigger: q or -243?
-243
Let j(i) = -4*i. Let u(y) = 3*y. Let s(z) = -4*j(z) - 5*u(z). Let a be s(4). Let k = -3063 + 27566/9. Is a at most as big as k?
False
Let u = 130 + -225. Let d = u + 101. Which is smaller: -0.05 or d?
-0.05
Let q be 6/9 + (-3755)/(-2150)*16/(-42). Which is smaller: -1/2 or q?
-1/2
Let a = 1866836/13 + -143706. Which is bigger: a or -103?
-103
Suppose -3*v + 366 = -3*g, 0 = -5*g + 4*v - 350 - 264. Let a = g + 116. Which is bigger: a or 7?
7
Let l = -41021/220570 - -53/274. Is -1 at least l?
False
Let h(s) = s**2 + 2*s - 3. Suppose 2*j - 16 = 5*d - d, -3*d + 13 = j. Let l be ((-6)/j)/(6/30). Let n be h(l). Is n less than -3/16?
False
Let g be 0/1 + -9 + 9. Suppose c = -g*c - 2. Let m be (0 - (-3 - -2)) + 12/(-16). Is m < c?
False
Let s = -1556 - -1557. Let x be 6/(-42) - 1192/(-8540). Are s and x unequal?
True
Suppose -86*d = -178*d + 87*d + 35. Which is smaller: -0.0612 or d?
-0.0612
Let q = -186148/9 + 20684. Which is greater: 2 or q?
2
Let s = 835 + -841. Let z be s*2/(-10)*(-3500)/(-225). Which is bigger: z or 20?
20
Let k = 7685 - 7683. Are 57/109 and k nonequal?
True
Let w = 29108 - 29106. Is w bigger than 3/124?
True
Let q = -0.287 + -21.713. Let p = -195 + 172.94. Let c = q - p. Which is bigger: 3 or c?
3
Let o be (((-224)/(-98) - 2)*-1)/(2/3746). Is -535 <= o?
False
Let c = 506 + -507.517. Let j = -1.57 - c. Which is greater: j or 0?
0
Let h = 0.545 - 0.445. Let k = 35 + -38.4. Which is bigger: k or h?
h
Let p be (5/(30/(-18)))/(-1). Suppose -p*x - 8*x = 2*x. Is -163 at most x?
True
Let t = -35453/24773 + 9/3539. Suppose 9 = -2*l + 3*q, -5*l + 2*q - 7 = -1. Is l less than t?
False
Let f be (5 - 1)/(8/(-20)). Let m be (-8)/f + 28/(-35). Which is smaller: m or 1/33?
m
Let p = 155825 + -6700797/43. Which is smaller: p or -7?
p
Let g = 58 - 47. Suppose 6*x - 765 = -g*x. Let j = 136 + -91. Are x and j non-equal?
False
Let c be 2 - 34/14 - 130/(-434). Let u = c + 91/465. Is u less than 1?
True
Let s = -8346 + 8288. Suppose -3*b + 248 = -7*b. Is s equal to b?
False
Let n be (-20)/(-14) + -2 + 34/(-14). Let q be 176/(-40) - (-4)/10. Is q > n?
False
Suppose -4*i = -a + 5, 0 = -a - 5*i + 3 - 7. Let c = -2840869/8408 + 2703/8. Which is bigger: a or c?
a
Let r be (3 - 1)*(-1365)/26. Let a be 10/(-3)*(-5 - 1). Let z = a + r. Which is smaller: z or -84?
z
Let x(t) = t**3 + 12*t**2 + 2*t + 150. Let v be x(-12). Is 125 at most v?
True
Suppose -2*j + 96 + 4 = -4*y, -y = -5*j + 25. Let w be (-268)/10 + 15 + 1022/(-70). Which is bigger: y or w?
y
Let u = 375.5 + -782.6. Let i = 407 + u. Which is greater: 63 or i?
63
Suppose 3*k = -2*z - 16, 98*k + z = 101*k + 19. Is k at least -101/17?
False
Suppose 0 = 5*g + 19 - 4. Let a(q) = -2*q - 3. Let o be a(g). Let b be 1 + -7 - (-3 + -6). Do b and o have the same value?
True
Let p be -1593 + 1598 - -23*(-214)/30. Which is greater: p or -159?
-159
Let w(u) = -42*u - 1789. Let h be w(-43). Which is greater: h or 359/22?
h
Suppose -5*d - 5 = 3*z, 0 = d + 3*d + 4. Let i = -36 + 41. Suppose i*v - 39 = 71. Is v less than z?
False
Let j be (-2)/15 - (-264182)/465. Do 568 and j have different values?
False
Let b be 25/(-120)*-6 - 3/12. Let w be 0*b*(-9 - -8). Suppose -7*l + 4*l = 6. Is w != l?
True
Let z = -42555 - -42555.4. Which is smaller: -804 or z?
-804
Let v(r) = 46*r**2 + 203*r + 604. Let h be v(-3). Is 430 <= h?
False
Let c = 4 - 4.5. Let s = -56 - 174. Let t = s + 240. Is t at most as big as c?
False
Let k = 144 - 112. Suppose 388 - k = -4*t. Is -89 != t?
False
Let v = -4712 - -9228. Which is smaller: 4518 or v?
v
Let u = 1892/7 - 8991/35. Let g = -1 + 5. Suppose m - 16 = -g. Is u at most as big as m?
False
Let t = -617/154 - 33993/6314. Which is smaller: -8 or t?
t
Let l = 1.6 + 7.4. Let s = -2248/25 - -90. Is s <= l?
True
Let n = 738 + -1088. Is n >= -348?
False
Suppose -4*m + 2416 = -4*c, -4*m - 3*c = -3*m - 584. Let l = m + -644. Is -45 at least l?
True
Let h(q) = q**2 + 4*q + 6. Let w be h(-3). Suppose -2*l + 4*l + 24 = -w*t, -3 = -2*t + 5*l. Is -6 > t?
False
Let a = 0.41 - 370.41. Let x = a + 501. Which is greater: x or -0.2?
x
Suppose -p + 6*s - 7*s = -8, -4*p + 29 = s. Suppose p*f - 13 = -6*f. Let b = 3265/19 - 172. Which is smaller: f or b?
b
Suppose 0 = 28*q + 17109 + 282351. Which is smaller: -10696 or q?
-10696
Suppose 994 = -10*y - 6276. Are y and -732 equal?
False
Let h be ((-73)/4)/((-4730)/1320). Which is smaller: 6 or h?
h
Let k(i) = -5866*i + 17596. Let c be k(3). Let q be (-2)/(-6) + (-46)/48. Which is smaller: c or q?
c
Let u be (-53460)/(-70) + (-4)/(-14). Suppose -5366 = 10*n + u. Let t = 9199/15 + n. Are -2 and t equal?
False
Let c be (-246)/(-63) - (-4 + 8). Let p = 334 - 343. Is c less than p?
False
Suppose z = -5*y + 46, -18 = 4*y + z - 54. Let v(m) = m**3 - 10*m**2 + 6*m - 59. Let o be v(y). Which is greater: o or 7/16?
o
Let y = -19644 + 19645. Which is greater: y or 3/3878?
y
Let r(u) = -2*u**2 + 34*u - 145. Let g be r(10). Is 31 <= g?
False
Let j be 18 - 11 - (-3 - -8). Suppose -5*i = b + 201, -3*b - 213 = -j*b + i. Is -214 at least b?
True
Let f = 800 - 380. Suppose 5*k - f = -5*k. Let z = k - 72. Is z at least as big as -30?
True
Suppose q - 63 + 241 = 0. Let d = 150 + q. Does d = -32?
False
Let h(k) = -4*k**3 - k**2 - 3*k - 1. Let g be h(-1). Suppose 5*q - n - 20 = -4*n, 5*q + g = 2*n. Is -2/487 greater than q?
False
Let t(m) = -1037*m - 9334. Let x be t(-9). Which is smaller: x or 1/3221?
x
Let f(q) = q + 157. Let x(r) = -r + 1. Let c(k) = f(k) + 4*x(k). Let w be c(16). Is 113 bigger than w?
False
Let s = -3/173950 - -2135758199/5740350. Let o = -372 + s. Let m(h) = -366*h + 35502. Let c be m(97). Which is smaller: c or o?
c
Let q(o) = -o**2 - 2*o - 10. Suppose m + 3*m + 16 = 0. Let t be q(m). Let j = t + 9. Which is greater: j or -4?
-4
Let w(i) = 115*i + 3396. Let r be w(43). Is r at least as big as 8343?
False
Let y = 0.55 - -0.3. Let t = -4.6 + 4.75. Let i = t + y. Is i <= 5?
True
Let j = -22.07 - -22. Let k = -1623/4 + 407. Which is smaller: j or k?
j
Suppose 2*o = 3*o + 47. Suppose f = -2*v - 0*f + 1, -4*f = -4. Suppose -13*h - 627 + 42 = v. Which is smaller: o or h?
o
Let x be 9/(-6)*2 - -4. Let u(r) = 53*r**3 + r**2 + 2*r - 1. Let s be u(x). Suppose -5*j + 17 + s = 3*z, -3*j = -3*z - 48. Is 16 at least as big as j?
True
Let g = 9655 + -12599774/1305. Which is smaller: g or -1?
-1
Suppose -b - 7*r - 211 = -5