 f(d) = -2*d**2 - 3*d + 28. Let z be f(t). Which is smaller: z or -73/2?
z
Let y = 2.03 + -0.03. Suppose 0 = 2*a + 1344 - 1342. Let p be -9 + (56/a)/8. Is y >= p?
True
Let a = 28389 + -28362. Is -8.1 > a?
False
Let s be -34 + 12 - (3 + -11 - -16). Which is bigger: s or -674/23?
-674/23
Let x = -20.9 - -20. Let c = x - 4.3. Let l = 5 + c. Is l < -12?
False
Let b = -109.3 - -123. Let c = b - 11.5. Is 1 at most c?
True
Let s = 82228 - 82228. Let r = -2683/165440 + 10/517. Is s less than r?
True
Let m be (136/1173)/(8/10*12/(-72)). Which is smaller: -0.35 or m?
m
Suppose 1049 = -2*i + 5*n - 919, 3*i = 4*n - 2980. Which is smaller: -1002 or i?
i
Let s = -29.638 + 29.698. Let n = -31 - -44. Which is smaller: n or s?
s
Let x = 19872 + -19872. Which is smaller: x or -4/3113?
-4/3113
Let v = 3454 - 1895. Is 1559 greater than v?
False
Let i = 2 - 4. Let p be (-18)/(-105) - i/(-7). Let z = 276.946 - 276.846. Is p smaller than z?
True
Let t = 129/299 - 404553/2093. Which is smaller: -193 or t?
-193
Let v = 23464/128505 - -4/1977. Is v at most as big as 10?
True
Suppose -5*w - 79 = 191. Let t = w - -30. Let c be 952/(-40) + 24/30. Is t bigger than c?
False
Let s(j) = 3*j**3 - 4*j**2 - 4*j. Let o be s(-1). Let a be 9 + (-15 - -17) + (0 - o). Is a > 12?
True
Let f be 2/4 - (-3)/6*-1. Suppose -5*j - 201 = 429. Let u be (-9)/(j/(-4)) + 192/770. Which is smaller: f or u?
u
Let h = 6 - -2. Let i(l) = -l**3 + 9*l**2 - 9*l - 5. Let n be i(h). Suppose -7*m = 84 - 0. Is n equal to m?
False
Let o be (6 - (-3267)/(-18))*(-28)/6. Suppose 824*n = o*n. Is n bigger than 3/38?
False
Let o = 9657.8 + -9647. Let h = 14 - 11. Are h and o equal?
False
Suppose 48*f - 44*f = -5*d + 933, -5*d + 2*f + 921 = 0. Is d >= 185?
True
Suppose -3*c + 4*k + 76 = -109, -3*c = 2*k - 155. Let d = 173.1 + -173. Is d less than or equal to c?
True
Let p = 0.095 - -88.905. Let b = 7.32 - 8.333. Let l = 0.913 + b. Which is greater: p or l?
p
Let u = -8.239 - 3.761. Which is greater: u or -14?
u
Let l = -3433 + 3407. Is l greater than or equal to 8?
False
Let k be 0*(-7)/42*3. Suppose 16*a - 12*a + 84 = k. Which is bigger: a or -27?
a
Suppose -n + 1 - 10 = 0. Let x be 8 - (4*(-1)/1 + 0). Suppose -33 = 5*f + x. Is n equal to f?
True
Let h = 163 - 161. Let i be 46/(-4)*h + 3. Which is smaller: i or -10?
i
Let i(v) = 16*v**3 + v. Let h be i(1). Suppose 4*r - 63 = r. Suppose -60 = -r*x + 297. Is x bigger than h?
False
Let u = 797 - 720. Let b(m) = 17*m - 24. Let w be b(6). Which is greater: u or w?
w
Suppose -l + 3 = d + 3*d, -3*d + 2*l = 6. Let w(q) = 481*q + 3853. Let i be w(-8). Suppose 5*k + 4*h = -13, d*h + 5*h + 15 = -i*k. Which is smaller: 1/7 or k?
k
Let d = -172 - -210. Let o be 482/12 + -20 + (-2142)/(-108). Is o less than d?
False
Suppose -2*b + d + 4*d = 36, 0 = 2*b + 2*d + 8. Let j be 1259292/(-420) - (-2)/(-5). Let u = j - -2991. Which is bigger: b or u?
u
Let z = 16072 - 16070. Is -4/2003 <= z?
True
Let x = 16 - 14. Let b be (8/(-7890))/((-99)/45 + 1). Let j = b - -23644/30771. Are j and x equal?
False
Let z = 45/7360177 + 94511875537/25731178792. Let x = z - 575470167/276184. Let w = -2080 - x. Which is smaller: 1 or w?
w
Let c(u) = u**3 + 28*u**2 + 52*u - 152. Let l be c(-27). Is l != 0.3?
True
Let y = 2687 + -2633. Let c be (-8)/((15/18)/5). Let z = c + y. Is z greater than or equal to 7?
False
Let i = -7364 + 8134. Is 771 >= i?
True
Let l = -5907/14 + 427. Which is greater: l or 6?
6
Suppose 5*q - 32 = 3*q. Let u(r) = -r**2 + 18*r - 17. Suppose 2*s - 46 + 14 = 0. Let l be u(s). Which is greater: l or q?
q
Let q(z) = -97*z - 2. Let u be q(-1). Suppose -1503 = -19*c + 318 + 3. Is u less than c?
True
Suppose 69*k + 80264 = -85358 + 54187. Which is bigger: 1 or k?
1
Let n be (-108)/(-9) + (-172)/14. Which is smaller: -193.4 or n?
-193.4
Suppose 0 = 3*b + b - 4. Let o be 1 + 8256/(-31900) + -1. Let u = o - -6/319. Which is smaller: u or b?
u
Let w be 12/5 + 2142/(-4080). Which is greater: 7 or w?
7
Suppose 5*h - 30 = 2*h. Let u be (-216)/(-81)*(13 - 1). Suppose d + h = u. Is d at least as big as 23?
False
Let p = 0.3 + 0.7. Let t = 3 - p. Let w = -0.99563 + 1.99563. Which is bigger: w or t?
t
Let b = -2457.167 + 2461. Let x = b - -0.167. Which is smaller: 11 or x?
x
Let t be -78*(2 + (-8 - -5)). Suppose -83*d + t*d = -30. Which is bigger: -1 or d?
d
Let n be ((-12)/(232*30))/(-2). Is 0 <= n?
True
Let u = -16 - -8. Let o be (u/(-3))/((-6)/(-27)). Let z(q) = q**2 + 27*q + 194. Let i be z(-14). Are o and i nonequal?
False
Let r = 8206/117 + -880/13. Is -0.248 <= r?
True
Let u(z) = -z**3 + 4*z**2 - 3*z + 10. Let b(t) = t**2 - 13*t + 4. Let p be b(13). Let w be u(p). Let a = w - -6. Does 2 = a?
False
Let d(s) = 17*s - 460. Let a be d(27). Is 25/82 less than a?
False
Let j(p) = 3*p**2 + 16*p - 13. Let n be j(-10). Suppose 13 = 5*y - n. Let i = 0.1 + 0. Which is smaller: y or i?
i
Suppose -509*a + 420*a = 0. Which is greater: -2/101 or a?
a
Let p = 697 - 314. Let j = p + -218. Which is smaller: -0.1 or j?
-0.1
Let m = -9/235 - -3137/51230. Which is smaller: m or 0?
0
Suppose 176481 = 283*g + 61017. Is g > 409?
False
Let c = 1629791/1768 - 15513/17. Let t = 75/8 - c. Is 1/5 <= t?
False
Let n = -5 - -4.71. Let d(g) = g**2 + 11*g + 8. Let v be d(-12). Let s be 26/15 + -1 + (-8)/v. Is s at most as big as n?
False
Let r = -1448.4 - 1670.6. Which is greater: r or 0.1?
0.1
Let q be 18/(-10)*(-40)/12. Which is bigger: q or 18?
18
Let f be (-1387464)/7293 - (-4)/(-238)*(-17 - -24). Is f at least as big as -190?
False
Let q(k) = -188*k + 284. Let p be q(2). Is p bigger than -15?
False
Let j be 3/6 - 34/(-12). Suppose -6 = d - 55. Let x = d + -46. Is x != j?
True
Suppose -162*s + 4 = -161*s. Suppose -s*i - 3*g - 798 = 2*g, 6 = 3*g. Which is bigger: i or -203?
i
Let t be 2 + -1 + 12/(-2). Let s be (3 + 8)/((-13)/(-13)). Let f = t - s. Are 1 and f non-equal?
True
Let p = -28 + 19. Let b(y) = 93*y - 1128. Let r be b(12). Which is smaller: r or p?
r
Let p be ((-5)/5*-9)/((-1)/(-6)). Let i be -3 + (-5)/20 + p/(-8). Suppose -48 = 28*x - 24*x. Are i and x nonequal?
True
Let j(w) = -w**2 - w + 4. Let d(b) = -b**2 + 4. Let c(g) = -4*d(g) + 3*j(g). Let i be c(4). Let x = -2/73 + -55/657. Is x bigger than i?
False
Let z = 660 + -696. Is z > -33?
False
Let x = -2/1487067 + 3496094551/25280139. Let o = 138 - x. Let z be (1 + -2)/(1 + (-8)/4). Which is greater: o or z?
z
Let x = 20 + -25. Let y = -166 - -204.2. Let a = 38 - y. Which is greater: a or x?
a
Let c = 0.1058 + 340.8942. Let r = c + -524. Which is greater: -1 or r?
-1
Let b = -180571 - -180478. Suppose 0 = -5*a - 14 + 4. Are b and a nonequal?
True
Let t(y) = -y**3 - y**2 + 6*y + 5. Let v be t(-3). Suppose -3*n + x + 3*x + 103 = 0, -v*n = 5*x - 125. Let i = n - 88/3. Which is bigger: -1 or i?
i
Let f = -2417 + 2412. Let t be (-1)/(-2) + 9/6. Let a = f + t. Which is greater: a or -0.09?
-0.09
Let w(q) = -q + 1. Let d be w(-4). Let f be (d + -7)/(1/12). Let m = 1120 - 1120.2. Which is smaller: f or m?
f
Suppose -13*j + 16*j = 15. Let p be (4/6)/(j*12/4770). Which is smaller: 54 or p?
p
Let g = 15153 - 16039. Which is smaller: -890 or g?
-890
Let z(i) = i**3 - 40*i**2 - 81*i - 292. Let v be z(42). Which is bigger: v or -154?
-154
Let d be -51*(-53)/8109 - 6106/66. Are -91 and d non-equal?
True
Suppose -9376 = -p - p - 4*s, -2*p + 3*s = -9376. Let w = p + -13900/3. Let a = 1474/27 - w. Which is smaller: a or -0.4?
-0.4
Let a = 1 - -7. Let t = -203.943 - -204. Let d = -0.057 + t. Is d less than or equal to a?
True
Let c be ((4 - 1) + -2)/((-6)/(-300)). Let a be ((-96)/160)/(1 - 58/c). Suppose -4*y = -3*p + 2*p, y = -2*p + 9. Which is smaller: p or a?
a
Let u = -143226606575048/73437 + 1950333028. Let r = -9/269 + u. Is r at least as big as 1?
False
Let j = 2716 + -2739. Is -223/10 bigger than j?
True
Suppose 8 = -4*q - 11*x - 1, 3*q + x = 15. Which is smaller: q or -1767?
-1767
Let f = 136 + -41. Suppose -c + 6*c = -4*j - f, 2*j + 40 = -2*c. Let p = 17 + c. Which is greater: p or 9?
9
Suppose y + 4*y = 0. Let d = 278743 + -41253959/148. Which is smaller: d or y?
y
Let h be -72 + (-13 - 9) - -13. Which is smaller: -97 or h?
-97
Let m = -86.1524 + -0.0476. Let o = 12.2 + m. Let n = o + 59. Which is greater: n or -1?
-1
Let j = 0.26 + 79.74. Let y = -69 + j. Let n