et v be 27/18 - (-19)/r. Let j be (-5)/(-2)*(-3 - -1). Is v > j?
False
Let m = 49 + -44. Suppose -m*k = -5*o - 9*k - 4081, -4*k + 3236 = -4*o. Let q = o - -13825/17. Which is bigger: q or 0?
q
Let f be (-131)/8 + 2*3/(-48). Let y = f + 17. Let q be (-1 - 3/(-2))*0. Which is smaller: y or q?
q
Let y = 17.6 - 15.6. Suppose 0 = -5*c - 2*z - 267, -2*c + c - 43 = 3*z. Let o = c + 384/7. Which is greater: y or o?
y
Let g = -47.33 + 48. Let p = 1.33 + g. Let w = -13.93 - -14. Which is bigger: p or w?
p
Let v(w) = 7*w**2 - 12*w + 7. Let m(q) = q**2 - q + 1. Let u(o) = -6*m(o) + v(o). Let t be u(-2). Which is greater: t or 16?
t
Let b = 654.2 + -783.2. Is -0.04 >= b?
True
Suppose -5*x - 3*c - 3823 + 306 = 0, -4*c = -2*x - 1386. Which is bigger: x or 0.08?
0.08
Let q = 2451 + -1685. Let o = -1665/2 + q. Let f = o - -943/14. Which is smaller: 1 or f?
f
Let u = -29 - -39. Let m(i) = -2*i - i**3 - i**2 + u*i**2 + 6*i**2 - 8*i - 34. Let w be m(14). Is w at most as big as 23?
True
Suppose -t - t = -6*x - t, 2*x = -4*t. Is x greater than or equal to -526?
True
Suppose 21 = 3*l + u + 3*u, 0 = 3*u - 9. Let b(w) = w**2 + 2*w - 8. Let q be b(l). Which is smaller: 10 or q?
q
Suppose -65 = -3*b + 4*z, 0 = -3*b - 3*z + 95 + 19. Which is smaller: b or 60?
b
Let u(t) = -694*t - 337. Let d be u(4). Which is smaller: d or -1?
d
Suppose 17*i + 77906 = 77345. Let y = -102 + 70. Which is bigger: y or i?
y
Let w = -86389/88 + 10074/11. Is -65 less than w?
False
Let c = -111 - -77. Let q = 26.894 - -0.106. Let g = c + q. Do g and -3 have the same value?
False
Suppose 39*q + 80 = 37*q. Let f be (-4)/(-22) + q/(-22). Suppose 0 = 3*w - w + f*o + 16, 38 = -4*w + 2*o. Is w greater than -10?
True
Let a(k) = -k**2 - 27*k - 161. Let l = 455 - 465. Let g be a(l). Which is smaller: g or 2?
2
Let u = 14846/37 - 113230257/282199. Which is bigger: 1 or u?
1
Let k = 132 - 127. Suppose -r - k*s + 3*s = -11, 3*r + 5*s - 30 = 0. Is r less than or equal to 13/3?
False
Let m = 2057 + -2057. Is 6/1217 bigger than m?
True
Let c = 367953 + -367894. Let k = 0.2 + -2.2. Which is smaller: c or k?
k
Let c = 83 + -83. Suppose -4*l + 0*z + 5*z + 187 = c, 3*z + 144 = 3*l. Are l and 1 equal?
False
Let n be 153/51 + (-375)/145. Which is bigger: 0 or n?
n
Let v = -20432/1535 - -34/307. Suppose 3*i + 5*y - 16 - 14 = 0, -2*y = -4*i + 14. Let d be i - (-3 - -6) - 14. Does v = d?
False
Let l = -40 - -61. Let d be (-36818)/(-82) - (1 - (-2 + -1)). Let b = d - 423. Which is greater: b or l?
b
Let x(g) = -21*g + 48. Let c be x(2). Let j(m) = -m**3 + m**2 + 5*m**2 - 2 + 9 + m. Let q be j(c). Which is smaller: q or 14?
q
Let b = -129 + 139. Let j be b/84 - (-7)/(-42). Let v be 2 + -1 + 0/1. Which is bigger: j or v?
v
Let w be (3/(3/2))/1. Let n = -685877/25 + 27435. Is n at least w?
False
Suppose 0 = -2*m - 0*m - 2. Let b be 298/20*m - -2. Let n = 25/2 + b. Which is smaller: n or 0.9?
n
Let z = -7986.836 + 7873. Let t = z - -0.836. Which is greater: t or -0.1?
-0.1
Suppose 382*u - 375*u - 84 = 0. Let t be (u/(-12)*(-1)/(-1))/(-2). Which is smaller: -1/176 or t?
-1/176
Let t = 44.16 - -4.84. Let c = t + -47. Is c >= -145?
True
Let j be ((-42)/(-16) + (-26)/(-26))*(-26 - -12). Which is smaller: j or -51?
-51
Let g = -9/20 - -5/4. Let h = 1947 - 1946.4. Is g smaller than h?
False
Suppose -2*j - 1307 = k, 17*k - 22*k - 3*j - 6556 = 0. Are -1313 and k non-equal?
False
Let g = 21.5782 + -107858.5782. Let l = 107895.031 + g. Let k = l - 58. Is k bigger than 0?
True
Let i be (1 + 0)*2 - 0. Let o be ((-1)/(-4))/((3/20)/3). Suppose 9 = i*t + o. Are t and 2 equal?
True
Let o(j) = 37*j + 17. Suppose -7*n = -13 - 57. Let z be o(n). Let f be ((-4)/6)/(1 - 381/z). Which is greater: f or -42?
-42
Let r = -23 + 1. Let a = r - 31. Let i = -52.86 - a. Which is greater: i or 1/4?
1/4
Let m = 45262 + -227956/5. Is -330 smaller than m?
True
Suppose 0 = -7*n + 2*n - n. Let y be 1/(n + 39/126). Which is bigger: y or -6?
y
Let n = 1365.965 + -1366. Let m = 0.3 - 0.5. Are m and n unequal?
True
Suppose -8*f + 72039 = -45*f. Let t = f + 17545/9. Which is bigger: t or -0.1?
t
Let x be (6/(-4))/(-6 + (-39039)/(-6500)). Let d = x + 247. Is d > -22/7?
True
Let p(u) = u**3 + 6*u**2 - 14*u - 17. Suppose 117 = -39*r + 26*r. Let q be p(r). Which is greater: -135 or q?
q
Suppose 2*u - c = 6, -3*u + 11*c = 6*c - 23. Which is smaller: -36 or u?
-36
Let i = -0.1 - -0.1. Let y = 1032 - 275. Let g = y + -788. Which is greater: i or g?
i
Let j = 59/12 - 53/12. Which is bigger: j or 4/1309?
j
Let p(n) = n**2 - 4*n + 3. Let m be p(5). Let o be (6/m)/((-51)/(-8)). Let y = 1532 - 1533. Do y and o have the same value?
False
Let v = 548.97 - 552. Let n = v + -0.17. Let c = -3 - n. Which is bigger: c or 0?
c
Let a = 909 - 1909. Which is smaller: a or -2?
a
Suppose 3*z = -33*o + 34*o + 8949, -3*z + 8940 = -4*o. Is -1 <= z?
True
Let s be 102/187 + 2912/(-5016). Which is smaller: s or -1/12?
-1/12
Let v be 2 + 4/8*(-2 - -2). Suppose w = -v*l - w, 0 = w. Let h be ((-108)/(-40))/(4/(-10)) + l. Is -7 greater than or equal to h?
False
Let j(h) = -h**2 + 11*h + 33. Let i(t) = -t**3 - 12*t**2 - 24*t + 20. Let c be i(-9). Let u be j(c). Which is bigger: -94 or u?
u
Let u = -7 + 5. Let b = 1.9 + u. Let z = -76.659 - -66.659. Do z and b have the same value?
False
Let g be -12 - (-4 + (-2)/2) - 0. Let z be (-3510)/(-140) + -8 + (-3)/g. Suppose -2*p = 3*q - 24, p = -0*p - q + 14. Is p bigger than z?
True
Let a = -28 + 28.1. Let f = 0.28 + a. Let g = 1.08 - f. Is -2/3 at most as big as g?
True
Let p = -114/7 - -116/7. Let k = -293 - -329. Let s be (2/4)/((-9)/k). Is s bigger than p?
False
Let w(l) = 93*l + 11. Let o(s) = 183*s + 21. Let q(y) = -6*o(y) + 11*w(y). Let m be q(-2). Is 146 at most m?
False
Let v be ((-40)/(11 + -21) - -1) + 3. Suppose -4*q = -0*q - 4. Which is smaller: v or q?
q
Let i(u) = -67*u - 11. Let k be i(-5). Let b = 26891/83 - k. Which is smaller: -1 or b?
-1
Let f be (158 - 170) + 9*1. Is f greater than or equal to 1/437?
False
Suppose 708*v + 72 = 709*v. Let f be (12/18)/((-4)/v). Is f less than or equal to -12?
True
Let n = 117 - 10. Let u = 190 - n. Let d = 81 - u. Is d >= -0.6?
False
Let n be (-18)/(12 - 3) - (-2 - (-64)/1). Is n at most -69?
False
Let j be (2472/16 + -3)/(1/(-70)). Which is smaller: j or -10606?
-10606
Let z = 33239/520 - 830/13. Does z = 1/3?
False
Let a = 73405/3 - 24511. Which is smaller: -43 or a?
-43
Let q be ((-256)/160)/((-3)/30). Is -373 less than q?
True
Suppose -5*a = -5*y - 0*a - 15, 0 = -3*a - 6. Let u be 3/y*(-10)/(-75). Let x be (-4)/130 + 684/2964. Which is bigger: x or u?
x
Let u = -10020 - -10074.981. Let j = u + -55. Let i = j - 0.981. Is 0.3 bigger than i?
True
Let q = 2079 + -226609/109. Let p(k) = k**3 - 5*k**2 - k + 6. Let c be p(5). Which is smaller: q or c?
q
Let m = -18816 - -18933. Which is smaller: 14 or m?
14
Let p(l) = -26*l - 64. Let h be p(-3). Suppose -h*g = -8*g + 11*g. Are g and 3/47 unequal?
True
Let k be -2 - (-2)/(-6 + 5). Let c be k - (34/51)/((-2)/(-9)). Do -7 and c have different values?
False
Suppose 2*m + 1142 = 4*v + 106, -3*v + 2*m + 776 = 0. Suppose 22*t - 35*t = v. Is t at most as big as -20?
True
Let a = -7125 - -7005. Let y = -0.23 + 0.13. Is a less than or equal to y?
True
Let b be (2/10)/((-133)/(-665)). Is b at least 2/5091?
True
Let l = -98 - -295. Suppose 9*w = -251 + l. Are w and -7 equal?
False
Let b = 64 + -3. Suppose b*z = 55*z. Is -3/188 less than z?
True
Let f = 15/97 + 52/291. Which is bigger: 96 or f?
96
Suppose -4*x = 4*m - 3 - 1, 2*x - 4*m = -4. Let f be 13/((-4550)/44780) - 2/(-8). Let a = -639/5 - f. Is x < a?
False
Let c(x) = -2*x**2 + 10*x + 4. Let d be c(5). Let z be d + -6 - 33/(-1). Let p = 31 - z. Which is smaller: -1/2 or p?
-1/2
Suppose -3 + 27 = -6*u. Let m be 1*-4 - (-42 - (u - 4)). Which is smaller: 29 or m?
29
Let n = -23706967/135 - -175606. Let u = 13/135 + n. Let s = -7/5 - u. Which is smaller: s or -0.3?
s
Let j be 5471/7 - (28/8)/((-21)/(-18)). Is 778 greater than or equal to j?
False
Let z be 2 + 36385/(-2584) - -12. Which is bigger: z or 1?
1
Suppose -191*j - 107*j = 0. Is 42/41 bigger than j?
True
Let i = -30502 - -40214. Is i at least as big as 9713?
False
Let w be 16/(-120)*3 + (-4546)/10. Let a be 5*14/w + (-732)/(-26). Is 28 <= a?
True
Let a(c