*d + 5. Let v = -32 + 25. Let z be f(v). Suppose -t + z = 4*t. Which is smaller: t or 9?
t
Let g = 8.4 - 27.5. Let r = 19.17 + g. Which is bigger: r or -0.11?
r
Let q(s) = -s**3 - 1. Let g(k) = -3*k**3 + 3*k**2 + 2*k - 6. Let a(v) = g(v) - 6*q(v). Let i be a(-2). Let j = i + -13. Is -30 less than or equal to j?
True
Suppose 5*j + 37 = -53. Suppose 802 = 2*u + 3*w + w, -4*w = 0. Suppose -u = 22*d + 39. Does d = j?
False
Let g = -166 - -170. Suppose 529 = -4*c - c - g*v, 2*c + 2*v + 212 = 0. Is -105 <= c?
True
Let u be (1*117)/(6/(4 + 2)). Let y be -2 - ((-1231)/9 + (-26)/u). Which is bigger: 136 or y?
136
Let s(d) = -110*d**3 + 4*d**2 - 7*d + 1. Let n be s(3). Let q = -2108 - n. Let w = q - 66836/79. Are w and 0 unequal?
True
Let s = -14364 - -14364. Are -980/3 and s unequal?
True
Let w = 93.113 + -0.113. Let b = 92.7 - w. Is b less than -36?
False
Let d = -0.002 + -0.0527. Let s = d - 0.1053. Which is greater: 2/7 or s?
2/7
Suppose 5 = -4*p - 3*u, -150*u + 155*u + 19 = 4*p. Which is smaller: p or 11/20?
11/20
Suppose 3*a + 8 = 2*b, b = -0*b + 5*a + 4. Let o be -5 + b/(816/1028). Is 1 <= o?
False
Let q(y) = -147*y**3 - 4*y**2 + 4*y - 2. Let b be q(1). Which is smaller: b or -153?
-153
Let t = -154 + 70. Let n = -83.88 - t. Is n at most as big as 3?
True
Let l = 4290 - 4287. Let o(b) = b**2 + b + 3. Let k be o(0). Suppose -l*y + 6 = -u, -k*y = -0*u - 2*u - 6. Which is smaller: 9/11 or u?
u
Let k = 0.29 - 0.5. Let t = k - 0.19. Let h = t + 0.3. Which is bigger: -3 or h?
h
Let g = -5.8 + -1. Let c = g + -0.4. Let s = c - -7.4. Which is greater: -0.1 or s?
s
Let l(w) be the first derivative of w**4/4 + 4*w**3/3 - 4*w - 1. Let b be l(-4). Suppose 0*c + 36 = -12*c. Which is smaller: c or b?
b
Let d be (0 - (-2)/(-4))*-58. Suppose -14*i - 9620 = -i. Let q be ((-2)/3)/(i/(-186) - 4). Which is smaller: q or d?
d
Let j = -4 - -15. Suppose 5*l + 5*l = -20. Let m be (-525)/189 - (40/18 + l). Which is greater: j or m?
j
Suppose 13 = -p - d, 0*p + 2*p + 6*d + 14 = 0. Which is bigger: -28 or p?
p
Let y be (-3821)/(2 + 2 + -3). Let h = y + 65173/17. Are h and 14 nonequal?
True
Suppose -2*t + 5*t = 0. Let a = 9865801/26553 - 71859/167. Let l = a + 176/3. Is t != l?
True
Let u = 0.119 - 0.148. Let f = 45.029 + u. Which is bigger: f or -3?
f
Let b be (-84)/54544*16/(-9). Which is smaller: -1 or b?
-1
Let p be (56/(-36))/7 + (-1084)/(-18). Let r be (-3)/p*-5 - 9/(-12). Is -2/117 less than r?
True
Let n(l) be the second derivative of l**4/12 - 7*l**3/3 - 48*l**2 + 97*l. Let k be n(19). Is -12/19 at most as big as k?
False
Let l(r) = r**2 - 13*r + 14. Let f be l(12). Suppose 13*u + f = 11*u. Is u smaller than -6/43?
True
Let b = 3038/5 - 23339/40. Let s = 314/13 - b. Is 1 <= s?
False
Let k be (-81 - -2) + (4 - (-5 + 9)). Is k at least -81?
True
Let g be 495/(-6) - 45/60. Let y(s) = -s**3 + s**2 - 83. Let h be y(0). Let w = h - g. Is 0.2 != w?
True
Let g = -317957/4 - -942473/12. Is -951 at most as big as g?
True
Let f be (6016/512)/((-1)/24). Which is greater: -256 or f?
-256
Let u = 1003/29 - 415/12. Let j = -161641260 + 618762747445/3828. Let w = u + j. Which is smaller: 1 or w?
1
Let j(p) = -5*p**2 - 6*p - 14. Let g be j(9). Let o = g + 3313/7. Is o at least 0.3?
False
Let o = 0.018 - -7.882. Let r = o - 8. Do r and 0.001 have different values?
True
Let a = 31 - 1. Let y be (-8)/(-10) + 4536/a. Is y at least as big as 153?
False
Let g be 12735/566 + 0 + -23. Which is smaller: 1073 or g?
g
Let w(g) = 11*g**2 + 19*g + 25. Let m be w(10). Let k = -890 + m. Is k at least as big as 425?
True
Let m = 609 + -608. Let o(l) = -123*l. Let a be o(m). Which is smaller: a or -121?
a
Let r be (2 + (-4 - -22))/((-6)/(-183)). Suppose -51*g - 100 = -r. Let t = -18/133 - -5259/532. Is t greater than g?
False
Let p = 0.10319 + 0.89681. Is -2410 >= p?
False
Let t be (4 - 0)*(-4)/(-8). Suppose 2*q + r + 1 - 3 = 0, -2*q - 2*r + t = 0. Is -145 less than q?
True
Suppose 13*g - 90 = -46 - 57. Let u be (-64)/98 + 2/3. Which is greater: g or u?
u
Suppose -8737 + 4957 = -46*s + 22992. Are 581 and s equal?
False
Let g(w) = -208*w - 2146. Let i be g(-10). Which is smaller: 0.088 or i?
i
Suppose -c - 3*v + 12 = 0, -12*v + 6 = -10*v. Let f(x) = -x**3 + 2*x**2 + 4. Let k be f(c). Is -21/5 != k?
True
Suppose 4*q = 2*q. Let d = -424386/5 - -84476. Let s = d + 400. Which is smaller: s or q?
s
Let y be (-2)/(-8)*4/26. Let t(n) = n**2 - 11*n + 35. Let z be t(12). Suppose z = 9*v + 38. Which is smaller: y or v?
y
Let v(o) = -o**3 + 9*o**2 + 10*o + 32. Let i be v(10). Let q = -72 + i. Are q and -41 nonequal?
True
Let y be 0 + -1 + (-46)/(-50). Let k(d) = -7*d**2 - 27*d**2 + 17*d**2 + 14*d**2 - 50 + 77*d. Let t be k(25). Is y at most t?
True
Let p(o) = 4*o**3 - 30*o**2 - 19*o + 22. Let n = -998 + 1006. Let t be p(n). Let m be (2/(-44))/((-2)/(-24)). Which is bigger: m or t?
m
Let i(u) = 83*u + 6117. Let b be i(-77). Is b at least as big as -1369/5?
False
Let t(m) = -m**2 + 3*m + 3. Let a be t(0). Suppose -b + 33 = -j - 4*j, -a*b + 4*j = -66. Suppose z - b = 2. Is 20 equal to z?
True
Let d = -26637289/42330 + -98/4233. Let k = 9005303/14310 + d. Let y = k + 15731/7155. Is 2 at most as big as y?
True
Let y = -27491 + 30086. Which is greater: y or 2596?
2596
Let h(q) = -q**3 + 4*q**2 + q - 5. Let k be h(4). Let u = -1.04 - -0.926. Which is bigger: u or k?
u
Let k be (25/57 + 78/(-741))*18/(-11149). Which is bigger: 0 or k?
0
Let b(v) = 3*v**2 - 2 + 7*v**2 + v**2 + v**2 + v**3. Let n be b(-12). Which is greater: n or -5?
n
Let i(k) = 5*k**2 + 32*k + 28. Let v be i(-1). Which is greater: -4/1925 or v?
v
Let k(p) = 2*p + 15. Let b be (60/(-18))/((-2)/(-6)). Let y be k(b). Let t be 8/(-8)*(-2 + 4 + 4). Which is bigger: y or t?
y
Let h = 800/9 - 207371/2331. Do -1 and h have different values?
True
Let q = 1 - 2. Let j = 208569 + -2294261/11. Is q not equal to j?
True
Suppose -8*o - 436 = 300. Which is bigger: o or -91?
-91
Suppose 11*h = 5*n + 15*h - 9, -3*n + 4*h + 31 = 0. Suppose 0 = 4*q - 5*x - 418, 0*q + 331 = 3*q + n*x. Is q at most as big as 0?
False
Let t be ((-2400)/(-246))/5 + -3*6/9. Is t at least as big as -9/11?
True
Let r be 310/40 - 3/(-12). Let x = 2160668/7791 + 12/2597. Let m = x - 8936/33. Which is smaller: m or r?
m
Let g be 20/(-250) + 96/(-50) - (-23)/7. Which is bigger: -22/5 or g?
g
Let x(z) = 0*z - 9 + 1 - 3*z - 19. Let r be x(-10). Let y(t) = -2*t**3 - 3*t**2 - 3*t - 2. Let h be y(-2). Which is smaller: r or h?
r
Let h(g) be the third derivative of -g**4/8 + 5*g**3/2 - g**2. Suppose -2*y = 4*z - 14 - 40, -5*y + 31 = 2*z. Let t be h(z). Which is smaller: -1 or t?
t
Suppose -5*i = 3*r - 62, -7*i + 2*r + 76 = -3*i. Is 11.7 bigger than i?
False
Let q = -206 + 209.36. Let b = q + 0.04. Let w = 6.6 + b. Is -3 > w?
False
Let m(p) = -p**2 + 25*p - 31. Let w be m(22). Let r be ((-12)/(-5) + -2)*25/w. Do 1.5 and r have the same value?
False
Suppose -5*t - 8863 = -v, t = -10*v + 12*v - 1760. Is t less than or equal to -1772?
True
Let t(y) = -7*y**2 - 41*y - 255. Let v be t(-10). Is v > -1634/3?
False
Suppose -2*s + 15*z - 12*z = 257, -3*z - 423 = 3*s. Let o be 46/3910*10/s. Is o smaller than 0?
True
Let g = -1378539943/1444758 + 3/240793. Is g bigger than -955?
True
Let q = 3952923/47 - 84099. Is q != 5?
True
Let k(t) = 4*t**3 - 10*t**2 + 4*t - 30. Let y be k(6). Let l be 2/(-12)*(-8 + 3960/y). Which is smaller: 1 or l?
l
Let i = 43.81642 + 0.05358. Let x = i - 0.87. Let z = x + -41. Which is smaller: 3 or z?
z
Suppose -230 = 265*n - 1002 - 553. Is -465/11 <= n?
True
Let l = -39 + -77. Let o = -104 - l. Let t = 16 - 17. Is t greater than or equal to o?
False
Let t(f) be the first derivative of -f**2/2 + 13*f - 13. Let o be t(4). Which is smaller: o or 8?
8
Suppose 4*c = -2*a - 1022, 14*c + 10*a - 7*a + 3589 = 0. Which is greater: c or -263?
c
Let v = 2348 - 2395. Which is greater: 0.7 or v?
0.7
Let g = -167 + -140. Let u = 304 + g. Which is bigger: 4 or u?
4
Let y = 46029 + -24139. Which is smaller: y or 21889?
21889
Let k(d) = -7474*d + 7447*d + 4 + 98. Let r be k(4). Which is smaller: -11 or r?
-11
Let t = 9342 - 5172. Let v = 5920 - t. Let r be 6972/v - 4*1. Which is smaller: 0 or r?
r
Let c(o) = -o - 5*o + 5*o + 23. Suppose 2*n - 3*n + 94 = 4*y, 5*n + 58 = 2*y. Let x be c(y). Which is gre