12). Let z be (f*5/20)/(2/(-8)). Is 10/17 greater than or equal to z?
False
Suppose 56*m = 67*m. Let i be 2/32*20/(-15). Which is smaller: i or m?
i
Let a = -178.1 + 152. Let i = 24.11 + a. Let l = i - -2. Is l <= 2/9?
True
Suppose 1 = 2*a + j, 2*a + a - 12 = -5*j. Which is bigger: a or 2/1337?
2/1337
Let n(k) = -k**3 - 2*k**2 + 4*k + 5. Let b be n(-3). Suppose -b*o = 5*c + 109, -o - 14 = -5*c - 117. Which is greater: -22 or c?
c
Suppose 0*n + 55 = 5*n. Suppose 0 = 4*s + 10 - 90. Let v be -9 + 368/s + 3/5. Which is smaller: n or v?
v
Suppose 21*g - 43 = -64. Is g less than or equal to -2/5263?
True
Let q = -3579/7 - -513. Let k = -2 + q. Does k = 1?
False
Suppose 0 = -30*m + 3*m + 621. Suppose -120 = -2*b - 3*b. Which is smaller: m or b?
m
Let y = -202 - -131. Let w = y - -73. Which is bigger: 9 or w?
9
Let s be 316/(-1885) - ((-120)/(-130))/(-6). Which is smaller: s or 0?
s
Let v(n) = -n**3 + 14*n**2 - 12*n - 4. Let j be (39 - 0)*(-6)/(-18). Let i be v(j). Are i and 17/2 non-equal?
True
Let o = -10066 - -3774748/375. Which is greater: o or 1?
1
Suppose -x - 3*x = -24. Let j = -0.4 + -0.6. Let s = j - 1. Is x bigger than s?
True
Let j be 12/(-16)*(-16)/246. Let k = 82 - 85. Let u(p) = p**2 + p - 7. Let t be u(k). Which is smaller: t or j?
t
Let m = 264/19 + -6019/38. Is -146 < m?
True
Let w(f) = -14*f - 79. Let x be w(-8). Is 33 less than x?
False
Suppose 4*j - 2*x - 31 = -x, -2*x - 6 = 0. Let l be 1/(-2)*(8 - 20). Let s be l - (1 + -1 - 1). Is s smaller than j?
False
Let n be (5 + 687/(-132))/((-12)/(-64)). Is n bigger than -1/18?
False
Suppose -5*n - 22 = 3*h, 3*h + 6*n = 2*n - 20. Let i(f) = -3 - 4*f**2 - 2 + 7*f**3 - 8*f**3. Let g be i(h). Is g at most as big as -4?
True
Let g be 26/42 - (-14)/(-49). Is g greater than -0.3?
True
Let d = -21/74 + 79/148. Do d and 0.004 have the same value?
False
Let p be 195/(-494) + 2/4. Let c(x) = -x - 10. Let h be c(-8). Let b = -2 - h. Is p bigger than b?
True
Let c be 2/20 - (-2)/(-4). Let z = 1011.4 - 1010. Is z less than or equal to c?
False
Let y = -4 - 1. Let n = y + 5. Let a = 0.4 + n. Is a less than or equal to 0?
False
Let p = -84 + 28. Let a be (-1)/((-3)/9) - p/(-24). Which is bigger: 6 or a?
6
Let b be (-4)/10*-1*30. Suppose -2*h = -4*l + 3*h + 47, l = h + b. Let o = 16 - 3. Is l equal to o?
True
Suppose -5*f + 3*f + 5*i = -14, 4*i = -5*f - 31. Let y be 32/(-6) + ((-165)/45)/(-11). Which is greater: f or y?
f
Suppose -2*j + 3*j = -29. Let r = 30 + j. Let l(p) = p**2 - 4*p - 2. Let d be l(5). Is r smaller than d?
True
Let t(v) = -v**2 - 3*v - 1. Let r = -16 + 11. Let o be t(r). Let l = -8 - o. Is 5 greater than l?
True
Let u be ((-6)/4)/((-1)/(-4)). Let a(s) = s - 12. Let v be a(5). Is u less than or equal to v?
False
Let t = -72 - -116. Let f be 1 + -3 + t/20. Is f smaller than 3?
True
Let a be 3/10*20/12. Is -20.6 at least a?
False
Let y(r) = 2*r + 22. Let g be y(-10). Let i(s) = -s**2 - s + 7. Let n be i(g). Which is bigger: n or -4/37?
n
Let o(d) = 2*d**2 - 6*d + 3. Let w be o(4). Let v be 1*(7 + 11 + -9). Is v < w?
True
Let a = 687/2 + -343. Which is bigger: -4 or a?
a
Let y = -0.47 - 46.53. Let m = -0.31 - 0.69. Is m at most y?
False
Let j = -158 + 158. Which is smaller: 1/110 or j?
j
Let o = -0.25 + 0.235. Let f = 615.1 + -615. Which is smaller: o or f?
o
Let a = -678 - -673. Which is smaller: a or -7?
-7
Let h be (-11)/(-44) - 33/(-12). Which is bigger: h or -3?
h
Let g = -2 - -7. Suppose -g*x - 19 = -3*h, -3*h + 14 = -0*h - 4*x. Let u be h/(-12)*(-18)/(-10). Which is smaller: u or 0?
0
Let t = 589 - 588.985. Is 0.5 > t?
True
Suppose 4*x - f = -10, -x - 4*f = -3*x - 12. Does x = -2?
True
Let z = -0.0039 + -9.9961. Which is bigger: z or 13?
13
Let r = -675/229531 + 50865834942/53939785. Let v = r + -943. Which is greater: v or 1?
1
Suppose 0 = 4*h + 2*r - 34, r + 4 = -h + 14. Suppose -4*k - b = -3*b - 4, k = -2*b + 6. Suppose 3*c = k*c + 8. Is h greater than or equal to c?
False
Let i = 130.6 - 133.6. Is i at least as big as 58?
False
Let q = -0.0743 + 0.112. Which is bigger: 2/5 or q?
2/5
Let z = -1 - -2. Let m = 0.2601 - 1.6911. Let f = 0.031 + m. Which is smaller: f or z?
f
Suppose -7 = -0*z + z. Let h(b) = b**3 + 7*b**2 + 5*b + 21. Let c be h(z). Which is smaller: -0.4 or c?
c
Suppose 178*u - 202*u + 8640 = 0. Is u >= 360?
True
Suppose 4*w = -3*x - 359, 17*x - 449 = 5*w + 21*x. Is -82 greater than w?
True
Suppose 0 = 54*x - 440 - 46. Which is greater: 13 or x?
13
Let z = -4/4413 + 4642/1875525. Is 1 greater than or equal to z?
True
Suppose 0 = 39*m - 42*m + 138. Suppose 8 = -2*x - 4*q, -5*x + q + 4 = m. Which is bigger: x or -25/3?
x
Let m = -0.14 + -9.86. Let s = -10.16 - m. Let h = s + -0.04. Do -6 and h have different values?
True
Let c be (0 - (-1)/2)/((-66)/(-528)). Let i(p) = p**2 + 4*p - 7. Let o be i(-6). Which is smaller: c or o?
c
Let b = 96 + -136. Is -40 > b?
False
Let k be (-20616)/483 + (-6)/(-14). Let o = 4353/98 + -195/98. Let c = k + o. Which is smaller: c or 0?
0
Suppose 21*m = 23*m - 8, 2*k - 4*m - 1322 = 0. Which is greater: k or 668?
k
Let s = 1.12 + -2.2. Let r = -0.08 - s. Let d = r - 5. Which is smaller: 1/3 or d?
d
Let r = -60 - -51. Let t = -15.4 - -15.43. Which is smaller: t or r?
r
Suppose 0 = v - 4*v + 9. Let j be 53/7 - (114/(-21) - -5). Let r be v + 0 + (7 - j). Is 0 at most r?
True
Let v(z) = 22*z - 82. Let w be v(2). Is w != -27?
True
Let i = 2/33 - -25/132. Is 174 bigger than i?
True
Let j(d) be the third derivative of -d**6/40 + d**5/30 + d**4/12 + d**3/6 - d**2. Let x be j(-1). Suppose 2 + 2 = x*c. Which is smaller: 2 or c?
c
Let y = 31 + -6. Let r(i) = 2*i + 68. Let x be r(-29). Suppose -5*o + 5*n + y = -x*o, -3*n - 14 = 2*o. Which is greater: 1/18 or o?
1/18
Let m = 28 - 27. Let c(h) = -h + 5 - 1 + 2 + 5. Let t be c(9). Which is smaller: m or t?
m
Let l(b) be the first derivative of -4*b**2 + 1/4*b**4 - b - 3 - 7/3*b**3. Let c be l(8). Is -5/9 bigger than c?
True
Let z = 97 + -101. Which is greater: z or -26/9?
-26/9
Suppose -5*w - 2*t + 4 = -124, -4*t - 134 = -5*w. Suppose -4*l = -4*a + 3 + 21, 0 = -5*a + 3*l + 30. Let c be (-354)/(-14) + a/(-21). Is w at most as big as c?
False
Suppose 0 = -q + 5*q - 16. Suppose 4*h = -4*n + 112, -q*h + 12 + 4 = 0. Is n less than or equal to 25?
True
Let g = -479/75828 - 1/852. Is g >= 1?
False
Let u(s) = s**2 - 2*s - 1. Let d be u(0). Let x = -243/11 - -22. Let q = 13/264 + x. Which is smaller: q or d?
d
Let f = 24 - 23. Suppose -n + 10 = 4*n. Let x be (-37)/(-30) - n/(-12). Which is greater: x or f?
x
Let x(z) = z - 10. Let d(j) = -j + 9. Let y(c) = 7*d(c) + 6*x(c). Suppose 0 = 2*o - 9*o + 14. Let g be y(o). Which is bigger: g or -2/19?
g
Let q be 8*(2 + 0)/(-2). Let y be (-1)/((182/(-143))/(-14)). Is q >= y?
True
Let z be (-72)/(-108)*6/2084. Which is bigger: 1 or z?
1
Suppose 9*s = -0*s + 18. Is 42/19 != s?
True
Let i = 1.0989 - 0.0989. Is i greater than or equal to -2.04?
True
Let y = 1640 + -1605. Which is smaller: 37 or y?
y
Let n = 33013/16 - 2064. Which is smaller: n or 0?
n
Let v be 4/(-10) + 4/40*194. Are 20 and v equal?
False
Let y(m) = 2*m + 1. Let c be y(-5). Which is greater: c or -7?
-7
Let u be (-1 - 6/(-45)) + 14/70. Which is greater: 351 or u?
351
Let u(p) = 16*p + 150. Let q be u(-21). Which is greater: -179 or q?
-179
Suppose 2*u = -2*x + 18, 3*x = 5*u + 4*x - 29. Suppose u*p = -4*a - 54, -a - 5*p + 42 = -3*a. Let s = 15 + a. Which is smaller: -0.2 or s?
s
Suppose 0 = 64*j - 19*j + 540. Which is bigger: j or -17?
j
Let j(s) = 2*s + 34. Let u(g) = 2*g + 33. Let f(z) = 4*j(z) - 3*u(z). Let t be f(-18). Is t smaller than 4/5?
False
Let v be -2 + ((-1)/(-3))/(12/108). Which is bigger: v or 7/4?
7/4
Suppose -5*f + 3*j = 1, 0 = -2*f + 3*j + 24 - 28. Let w = -682 - -4103/6. Is w < f?
False
Let k = 67.049 - 0.049. Let b = -66.3 + k. Which is bigger: 0 or b?
b
Let o = 452 + -453. Is o bigger than 2/145?
False
Let v = -26.2 - -26. Suppose 42*y - 2*y + 720 = 0. Which is greater: v or y?
v
Let k be 22*-13*43/(-86). Is 143 at most as big as k?
True
Suppose -4*z + 26 = -43*j + 45*j, -j - z + 10 = 0. Which is bigger: j or 24?
24
Let z = 106 - 86. Is z <= -8?
False
Suppose -15*m - 111 = -306. Suppose 2*g = 3*x + 182, 260 = 3*g - 2*x - m. Is g bigger than 91?
False
Suppose 6*l - 11*l - 4*a = 12, 4*l +