). Let k be (2 - (0 + 3))*-3. Suppose r + 5*s - 3 = 0, -7 = k*s - 1. Is r >= c?
True
Suppose 0 = -4*d - 132 - 324. Let m = 113 + d. Which is bigger: m or -3/32?
-3/32
Suppose 362*x = 355*x - 1470. Let d be 4/14 - 4140/x. Which is greater: 6 or d?
d
Let k be (-253)/(-23) - 190/19. Let j be (-133)/(-135) + (-1)/1. Which is greater: j or k?
k
Let o = 1/127 - -247/889. Let i = 4897 - 63602/13. Let k = -2157/481 + i. Which is smaller: o or k?
k
Let g = 26 - 22. Suppose -4*x - 2*t + 14 = 0, g*t = -0*x + 2*x - 2. Let o be (x + 30/(-5))/((-3)/1). Is o != 4/9?
True
Let j = 233.6 - 233.4. Let l(q) = 9*q + 7. Let f be l(-3). Let r be f/(-15) + (-71)/51. Which is greater: r or j?
j
Let k = 8387/9135 - 32/35. Let j = -9 + 10. Is j <= k?
False
Let v = 395 + -314. Suppose 5*q - 2*c = 255, v = 13*q - 11*q - 5*c. Is 54 not equal to q?
True
Let q = 19186 + -19189. Let b(r) = 7*r + 3*r**2 + 0 - 2 + r. Let l be b(q). Which is smaller: -38 or l?
-38
Suppose 3*w - 1275 = m - 76, w = -4*m - 4835. Is m greater than -1207?
False
Let t = -8 - -5. Let v(b) = b**3 + 49*b**2 + 49*b + 51. Let g be 33/15 - 3 - 472/10. Let n be v(g). Is t <= n?
True
Suppose -4*o + 24 = 2*x - 0*x, -2*o + 5*x - 12 = 0. Suppose -o*k = -5*m + 4, -3*m + 7 = -4*k + 3. Let q = -2 + 2.1. Are m and q nonequal?
True
Suppose -5*l - 20 = 0, -3*l = 2*z - 8*l + 84. Let d = -33 - z. Suppose 2*h - d + 59 = 0. Is -20 <= h?
True
Let u be 0/(3*(-4)/(-12)). Let d be -3 + 128/36 + u. Let n = 1 - 1. Which is smaller: n or d?
n
Let j(q) = -3*q**3 + 13*q**2 - 7*q + 4. Let t be j(4). Let y be ((-6)/(-1))/((-9)/((-684)/t)). Let u = 66 + y. Is 15 less than u?
False
Let p be 2/4*1*(-778)/13615. Which is smaller: 11 or p?
p
Let x = 486475 - 486475. Let n = 41/10 + -2581/630. Which is smaller: x or n?
x
Let g = 57 + -120. Let i(c) = 238*c - 2920. Let d be i(12). Which is smaller: d or g?
d
Let z = -2989 - -2938. Which is smaller: z or -199/4?
z
Let h = 14 + 0. Suppose 0 = -2*v, 3*c = 3*v - h - 55. Let s = c + 28. Is s bigger than 8?
False
Let l(b) = 5*b + 28. Let x be l(-4). Suppose 5 = 3*t - 2*t. Suppose -26 = -7*m - t. Does x = m?
False
Let t be (8 - 0)*(6 + -1). Suppose -5*i - 3*i + t = 0. Suppose 5*d + 5 = -i. Which is smaller: d or -5?
-5
Let r = 4562/21 - 977/7. Let q = r - 77. Let l(x) = 2*x**2 + 7*x - 6. Let u be l(-6). Which is smaller: u or q?
q
Suppose 0 = 4*a - 3*m + 19980, -18497 - 1531 = 4*a + 3*m. Is a at least as big as -5000?
False
Let w = -423 + 30878/73. Which is greater: 23 or w?
23
Let u be (-215)/(-2) + 5/10. Suppose 4*z = 2*z - u. Let v be 72/z + (-59)/(-42). Is v smaller than 1?
True
Let x = -9324 + 9422. Is 0.145 <= x?
True
Let v = 471.24 + -431. Let s = v - 40. Which is greater: 2 or s?
2
Suppose 3*u + 6 = 2*m + u, 5*u = m - 19. Let g be 55/(-147) + m/(-3). Let v(z) = 395*z - 5135. Let c be v(13). Which is smaller: g or c?
g
Let g = 164/20511 - 26/477. Is 103 at most g?
False
Suppose 219 - 3823 = -2*r. Suppose -30 = -r*k + 1808*k. Which is bigger: k or -68?
k
Suppose -q = 5*f - 23, f + 2*f - 3*q = 3. Suppose f*r - 45 + 13 = 0. Let x = 9 - r. Is x at most as big as -1/49?
False
Let w(l) = -2*l**2 - 12*l - 24. Let h(u) = -9*u + 68. Let z be h(8). Let m be w(z). Is -5 > m?
True
Let b be 4/3*63/6. Let m(v) = -v**2 - 8*v + 8. Let h be m(-7). Suppose -2*t = t + 3*y, y + h = 4*t. Is t at most as big as b?
True
Let p = -818 + 482. Let l = 336.03 + p. Is l less than or equal to 2/5?
True
Let o = 296.493 - 0.493. Let j = o - 295.8. Is j greater than 0.7?
False
Suppose -o - m = 75, -2*o - 24 - 141 = 5*m. Let n = 295/4 + -2663/36. Which is bigger: o or n?
n
Let p be -4 - ((-2)/8)/((-15)/5310). Let i = p - -13139/142. Does 0 = i?
False
Let w = 96.798 - -0.102. Let s = 97 - w. Let d = 1.1 + -12.1. Are s and d non-equal?
True
Suppose -2*p = -5*j - 4, -10 = -5*p - 83*j + 82*j. Let y = 9 + 0. Suppose -23 = -5*a - k, 3*a - p*a = 2*k + y. Is a less than 0.8?
False
Let x be (-5)/2 + (2*1 - 697775/(-650)). Does x = 1074?
False
Suppose v = -4*y - 6, 2*y - 4 = -5*v + 2. Suppose 0 = -5*b + 35 + 80. Let x = -21 + b. Is x smaller than v?
False
Let v(p) = 432*p + 8544. Let u be v(-20). Which is smaller: u or 70?
u
Let y be (5 - 5) + 4/27. Suppose -a = -l - 7, -5*a + 16 = -2*a - 2*l. Let j be (-2)/18*a + 133/(-171). Are y and j non-equal?
True
Suppose -5 = -3*r - 2*h, 0*r - 2*r - 4*h = -6. Let n be (2/2 - (0 + 0))/r. Let f be (n - 2/8) + (-19)/4. Which is bigger: f or -6?
f
Let r(n) = -188*n + 228. Let a be r(9). Does a = -1465?
False
Let x be 8883/(-35) + (-108)/90. Which is smaller: -263 or x?
-263
Let b(u) = 21*u**2 - 259*u + 86. Let g be b(12). Let s = -27546 - -798912/29. Which is smaller: s or g?
g
Let d(m) = m**2 + m + 1. Let i(n) = -2*n**2 - n + 88. Let k(c) = 3*d(c) + i(c). Let z be k(0). Let t be (-1 - 0)*52/z. Which is bigger: 2/5 or t?
2/5
Let r = 1.04 + -0.04. Let p(w) = -w**2 + 678*w - 3330. Let i be p(5). Is i < r?
False
Suppose -25 = 5*f + 5*j, -91*j = -2*f - 95*j. Let u(o) = -o**3 - 10*o**2 - o - 13. Let s be u(f). Which is greater: s or -18/5?
s
Let w be (-37 - -36)/((-1)/2). Suppose 4*b = -3*z - 514, -w*z + 371 = -4*z + 3*b. Which is smaller: 0 or z?
z
Suppose 7*v - 2*v - 280 = 0. Suppose -5*t - v = 2*t. Let o be 4/(-8)*t/(-22). Which is smaller: o or 7?
o
Let u = -2186.331 - -2185. Let f = -0.031 - u. Let n = 1.2 + -1. Which is greater: f or n?
f
Let u(p) = -3*p - 16. Let g be (-32)/(-8) - (-16)/(-2). Let j be u(g). Let v be (-95)/130 - 1/j*2. Which is smaller: v or -1?
-1
Let v = 5232 - 1438798/275. Let g = 493/275 + v. Which is smaller: g or 1/2?
1/2
Let w = 1254 + -334. Let x = 6442/7 - w. Which is smaller: -1.9 or x?
-1.9
Let d = 165083/9405 - -3/1045. Suppose -18 = -225*p + 224*p. Which is greater: d or p?
p
Let j be (1840/4600)/(163/(-20) + 0). Which is greater: j or 1?
1
Let a = 11 - 8. Let c be (4/(-12))/((-49)/(-16149)). Let p = c + 112. Is a > p?
True
Let w = 1038 - 1051. Let s = 16.3 + -17. Let d = s + 0.6. Which is smaller: d or w?
w
Suppose -6*b - 346 = -5*a, 5*b + 514 - 174 = 5*a. Is 922/15 less than a?
True
Let q(c) = -c**2 + 5*c + 6. Let r be q(6). Suppose -3*u - 5*s + 31 - 188 = 0, -2*u - 112 = -4*s. Let g = -54 - u. Do r and g have the same value?
True
Let i(g) = g**3 + 4*g**2 - 4*g + 6. Let t be i(-5). Let x = -7877/239316 + -9/1813. Which is smaller: t or x?
x
Let j = -546805/4 - -135604. Which is smaller: -1097 or j?
j
Let v = 158 - 164. Let w(g) = -2*g**3 - 13*g**2 - 9*g - 15. Let p be w(v). Which is smaller: 23/8 or p?
23/8
Suppose 0 = 15*g + 11388 - 12198. Is g > 3/5?
True
Let o(m) = 2*m**3 + 4*m**2 - 3*m - 5. Let n be o(-2). Let v(b) = 10*b - 6. Let g be v(n). Let i = 22 + -21. Which is smaller: g or i?
i
Let q = -13.3 + 10.35. Let v = q - -0.983. Let w = v - 0.033. Which is greater: w or 5?
5
Suppose -5*k + 421 = 4*m, 4*m + 2*m - 627 = -3*k. Is m at most as big as 94?
False
Let r(d) be the first derivative of 8*d**2 + 190*d - 122. Let p be r(-14). Is p not equal to -31?
True
Let o(z) = z**2 + 21*z - 356. Let y be o(-32). Let b = -16 + 82. Let x be 8/b*(5 + (-70)/y). Is x less than 3?
True
Let p(i) = -9*i**3 - 2*i - 1. Let u(v) = v**2 + v. Let d(s) = p(s) + 4*u(s). Let z be d(1). Is z <= -34/7?
False
Let s(o) = -1. Let f(q) = 17*q**2 + q + 3. Let p(t) = f(t) + s(t). Let d be p(-1). Let i be (4/505)/(1/((-15)/d)). Is i bigger than 1?
False
Suppose 48 = z - 9*z. Let i be (z/(-60))/((-48)/(-50)). Let x = 1/6 - i. Which is smaller: x or -0.1?
-0.1
Let z = 284 + -286.4. Let q = -2.3 + -0.5. Let w = q - z. Are w and 1 non-equal?
True
Let w = 5439793/369 - 14742. Which is smaller: 0 or w?
w
Let p be (-8)/(-62) - ((-18)/(-3) - (-6 + 12)). Which is greater: 1 or p?
1
Let y = -0.8 - -1. Let k = y - 0. Let f = 473065 + -473023. Which is bigger: f or k?
f
Let l be (-6)/8*33/54*3. Let r = 1503 + -1501. Which is greater: r or l?
r
Suppose -5*i = -4*i + 5*r - 50, 52 = i + 3*r. Suppose -4*o + 12 + 4 = 0, 5*b - 3*o - 268 = 0. Suppose -68*c = -67*c - b. Which is smaller: i or c?
i
Let u(h) = 3*h**2 - 7*h - 22. Let j be u(-3). Suppose 9*o + j = -19. Which is greater: -35/6 or o?
o
Let x be (2 + -1)/(1*2/6). Let p be (2 + x)/5 + -2*1. Let l be (4 - (3 - p))*2/(-4). Are l and -2/89 unequal?
True
Let l = -11819 - -3273859/277. Let a = 253/1662 - l. Which is smaller: a or 9?
a
Let g be (308/32)/(