 -l - 476. Let a = 9832/21 + l. Suppose 2*n = 5*v + 2, n + 3*v = -3*n + 4. Which is bigger: n or a?
n
Let k = 17750.7307 - 17750. Which is bigger: k or -2/3?
k
Suppose 2*r + 44 = 2*m, -7*m = -4*r - 2*m - 89. Let c = -86 - r. Let p = 60 + c. Is p greater than or equal to -7?
True
Let k be 0 - ((-10)/(-6))/(-5). Let n be 481/1326*-11 + 4. Which is smaller: n or k?
n
Let w(g) = g**3 - 9*g**2 + 12*g + 22. Let m be w(9). Let d = m - 912/7. Which is bigger: d or -0.5?
d
Let l be (834795/(-10))/(55652/(-8)) + -12. Which is smaller: l or 1?
l
Let x(p) = -30*p**3 - 2*p**2 - 3*p + 8. Let k be x(2). Let q be 41/k*1*6. Which is greater: q or -2/305?
-2/305
Suppose 7*n = n + 72. Suppose -324 = -2*v - a + n, 3*v = 4*a + 504. Suppose -t - v = 6*t. Is t greater than -24?
False
Suppose -52*b - 8 = -50*b. Let g be 1 - ((-8)/28)/((-6)/96). Is b <= g?
True
Let r = -259 + -67. Let q = -323.2 - r. Is 1.1 < q?
True
Suppose -u + 3 = 0, -4*u = -3*y - 6*u + 432. Let n = y + -196. Which is smaller: -52 or n?
n
Let o(t) = -43*t + 1076. Let d be o(25). Let f = -194 + 126. Let j be f/(-145) - 4/10. Which is smaller: d or j?
j
Suppose 5*u + 8 = 9*u. Let s be (1/u - 1)/((-72)/144). Let l be s - -10*15/(-24). Is l smaller than -6?
False
Suppose -9*g + 2*h = -4*g + 4, 5*h - 10 = -4*g. Which is smaller: 1/5258 or g?
g
Suppose -1452*q + c - 284 = -1455*q, 292 = 3*q - c. Let z(d) = -d. Let o be z(-4). Suppose -w + 2*j - o*j + 104 = 0, -80 = -w + 4*j. Is w at least as big as q?
True
Suppose 3*x = -321 + 456. Let q be (-66)/x + (-8)/(-10). Is 2/27 at least q?
True
Let k be (-4)/(-5) - 50928/(-240). Let p be (3 - 2)/(k/(-72) + 3). Which is smaller: p or 99/4?
p
Let y = 265 + -5299/20. Suppose -2*o + 765 = 13*o. Suppose -52*j + o*j = 0. Which is greater: j or y?
y
Let j be (55*(-52)/2002)/((2/(-2))/4). Let m(o) = o**3 + o + 5. Let s be m(0). Is s greater than or equal to j?
False
Let w = 922 + -101421/110. Let q = 411/3190 - w. Let k = q + -15/319. Are k and -2/5 equal?
False
Let i(z) = z**3 - 2*z**2 + 1. Let n be i(2). Let s be 3*n/(-3)*346. Let j = -8648/25 - s. Is j greater than or equal to -1?
True
Suppose 4*p - 4*c + 24 = 0, 5 = -4*p + 3*c - 15. Is 14753 != p?
True
Let m be -16*(7/2 - -3). Suppose -318 = a - 3*a. Let l = m + a. Is 54 less than l?
True
Let t be (-660)/(-20) - (-14)/(-1). Is t > -29?
True
Let g = -12 - -16. Let j = 509 - 490. Which is smaller: j or g?
g
Suppose -2*y - 32 - 74 = 0. Suppose -26*z + 108 = -88*z - 202. Which is greater: z or y?
z
Let b = -31 + 4. Let c = b - -24.8. Let v = c - 16.8. Which is greater: v or -0.1?
-0.1
Suppose 2*g = -15*g + 2295. Suppose h - 2*m + 167 = 26, 4*m = -h - g. Which is smaller: -141 or h?
-141
Suppose 9*d = -t + 27 + 28, 0 = 5*t + 2*d - 17. Which is bigger: -88/949 or t?
t
Let k be (-4 + (-52150)/(-12))/(63/378). Which is smaller: 26050 or k?
26050
Let w = 13 - 35. Let h = w + 20. Let s be 2 - (-2)/((-9)/((-2961)/14)). Do s and h have the same value?
False
Suppose -2*l + 7*l = 0, 2*l = 4*i + 316. Let b = i + 22. Let u = b - -59. Which is smaller: 2/3 or u?
2/3
Let s be (-1)/(-2)*(-12)/(-3). Suppose -12*w - w = -s*w. Which is greater: w or 5/11?
5/11
Let b be 40*((-20)/8 + 11). Let d = 15 - 10. Suppose -d*i + b = 105. Which is greater: 46 or i?
i
Let c = 4/2353 + -8164922/7059. Which is greater: c or -1156?
-1156
Let a be (-4 - -3)*100/(-4). Let r be 23/1 - (54/36)/((-1)/2). Is r at most as big as a?
False
Let d be (-40752)/270 + (-64)/96. Is -153 at least d?
False
Let h(l) = -2*l**2 - 55*l - 28. Suppose 4*y - 2*i = -0*i - 118, -5*y + 5*i - 160 = 0. Let n be h(y). Which is bigger: n or -2/53?
-2/53
Let c = -12 - -53. Let n(d) = -33*d**2 + 2*d + 3. Let f be n(-1). Let p be -5 - f*9/6. Which is greater: c or p?
p
Let x(i) = 4*i**2 + 3*i + 9. Let m be x(-8). Let y be (-1617)/(-11 - -4) + 10. Is m > y?
False
Let w = -6 - -4.8. Let i = w - -0.2. Let v = -291 + 263. Which is greater: i or v?
i
Let t = -193.087 + 0.087. Let y = t - -188. Is y <= 4/11?
True
Let w(h) = h - 2. Let x be w(5). Suppose 0 = y - 5*s + 209, y + 2*s - 48 + 264 = 0. Let p = y - -216. Which is greater: p or x?
x
Let p be 2 + (-2 - 48/(-22)). Let t be (-3 + 39/9)*6/4. Suppose u - 6 = -2*b, -3*b - t*b = -5*u. Is b equal to p?
False
Let x = 27032 - 25976. Which is greater: -1.1 or x?
x
Let i = -42.523 - 1.897. Let g = 44 + i. Let u = g + -1.58. Which is smaller: u or -1.4?
u
Let z be (-59)/((-6)/(-90)*(2 - 5)). Let n = 158 - z. Is -138 bigger than n?
False
Suppose -4*n - 6 + 12 = -y, 0 = 5*n + 2*y - 1. Let j be n/(-2)*266/(-35)*5. Is 19 >= j?
True
Suppose -66*d - d - 3*d - 335720 = 0. Which is greater: -4795 or d?
-4795
Let n(m) = m**3 - 41*m**2 - 48*m + 267. Let c be n(42). Let x(y) = -y**3 + 11*y**2 + 11*y + 16. Let b be x(12). Let u be 44/3 + b/(-6). Is c less than u?
False
Let y = 2607.48 + -2642. Which is greater: -0.1 or y?
-0.1
Let n = -104 + 81.64. Let c = n + -0.64. Are c and 1/6 non-equal?
True
Let j be (-1106)/(-42) - 121/(-33). Is 401/13 greater than j?
True
Let f(d) = -109*d - 14. Let b be f(-8). Let o be b/(-8705)*40/(-50). Let a = o + 2/1741. Is a >= -1?
True
Let d = 243 - 117. Let n = d - 129. Are n and 0.19 equal?
False
Let w be ((-7)/(-21))/((-1)/(-93)). Let o be (-87)/(-3) + (-5 - (0 + -3)). Let q = 5 + o. Which is smaller: w or q?
w
Let v = 1 + -2. Suppose -4*o - 2*x = -3482, 2*o - x - 1737 = 2*x. Let z = o - 65252/75. Is v at least as big as z?
False
Let n(y) = 322*y**2 - 2898*y - 3. Let i be n(9). Suppose -2*j + 5*j = 0. Let s = 0 + j. Are s and i equal?
False
Suppose -18*f + 15*f + 12 = 0. Suppose g = -f*g + 350. Suppose 3*d - g = d. Is d less than 35?
False
Let y be 128*(7/(-2))/(-7). Suppose 7*a - 15 = -y. Which is bigger: -0.3 or a?
-0.3
Let y = -10256 - -10269. Let i(x) = 2*x**2 - x - 1. Let n be i(-1). Suppose -29 = -4*o + 5*d, -3*o + d + 52 = n*o. Which is greater: o or y?
y
Let r = 2343601167745/15416 + -152023947. Let z = r - 1/376. Let j(f) = f**3 - 4*f**2 + 4*f. Let i be j(2). Is i greater than or equal to z?
False
Let m be 7 - 24/(-30) - (-4)/20. Let h = 2.9 + 1.1. Let l = h + -6. Which is bigger: l or m?
m
Let h = 16/445 - 73/7476. Is h less than 1?
True
Suppose 0 = 4*a - 7 + 19. Let v(u) = u**2 - 9*u - 5. Let x(r) = r**2 - 4*r - 3. Let g(p) = -3*v(p) + 5*x(p). Let i be g(-3). Is i greater than or equal to a?
True
Let m = 101 - 79. Suppose 79*w - m*w - 57 = 0. Is 53 < w?
False
Suppose -4*s - 465 = 2*i + 45, -5*i - 1275 = -s. Is -252 less than or equal to i?
False
Suppose -63*r = 13*r - 28*r + 17088. Which is greater: 2/13 or r?
2/13
Let a be -779 - -1 - (-18 - -25). Let l = a - -914. Is 129 bigger than l?
False
Let y = 1894 + -1893. Let m be ((-4)/(-10))/((-1465)/25). Is y greater than or equal to m?
True
Let s be ((-1370)/(-2520) - -4) + ((-6)/27)/1. Is 3 at least as big as s?
False
Suppose 2*p - 40 = -0. Let i be (2/(-10))/((-4)/p). Let y be ((-3)/(-34))/((-21)/(-28)). Which is bigger: y or i?
i
Suppose 8*q - 4*q = 2*j + 20, -j = 4*q - 20. Let i be (-14)/(-3)*(j - (-42)/49). Suppose 0 = i*x + 4*h - 44 - 100, 5*h - 139 = -4*x. Which is smaller: 0 or x?
0
Let i = -324 - -251. Let h = 71 + i. Let y(k) = k - 10. Let r be y(12). Is r at least as big as h?
True
Let n = -106 - 276. Let y = n - -1147/3. Are y and -15 nonequal?
True
Let x be (-28)/(-3) + 52/78. Let f be (-1)/((10/(-13))/x). Let r be (-2)/6*(-10 - -1). Which is smaller: r or f?
r
Let k(r) = r**3 + 3*r**2 + 27*r + 31. Let s be k(-13). Which is smaller: -2013 or s?
-2013
Let d = -217 + 643/3. Suppose f - 12 + 0 = 5*u, 0 = 2*f + 2*u. Let k = d + f. Is -0.17 smaller than k?
False
Suppose 18*s - 1125 = -7*s. Let r be s/15165 - (-1 - 1/(-1)). Which is smaller: 0 or r?
0
Let q = 6 + -4. Let g = 3 - q. Suppose -43*s + 15*s + 504 = 8*s. Which is greater: g or s?
s
Suppose l = 6*z - 4*z + 4, 0 = -5*z + 10. Suppose 0 = 3*v - x + 44, l = -v + x - 2*x. Let k be -2 + v/6 - 1/(-6). Are k and 0 nonequal?
True
Let n = -41/62057 + 133326275/42136703. Let p = n + -2/97. Let l = -52/21 + p. Is -1.1 greater than l?
False
Suppose 2*l + 16*l + 26929 - 3493 = 0. Which is smaller: -6506/5 or l?
l
Let h(q) = 2*q**2 + 18*q + 6. Let m(y) = -2*y + 18. Let f = 110 - 97. Let b be m(f). Let v be h(b). Is v greater than -10?
False
Let c = -111 + -44. Let h = 155 + c. Is h > -0.67?
True
Let l be (6 - 