Let t be ((-3)/(-6))/(5/d). Let v = -1.12 + 4.12. Which is smaller: v or t?
t
Let s be (-3)/(-135) + (-1)/35*-7. Is s > 1?
False
Let r be 3/6*(-6*31 + 6). Is r at least -89?
False
Let m(v) = v**3 - 11*v**2 + 10*v - 17. Let x be m(8). Is -128 at most x?
False
Let g be (2/((-8)/(-1)))/(34/8). Suppose -l + 2*w - 1 = 0, 5 = 3*l + 4*w - 2*w. Are l and g non-equal?
True
Suppose -17*o = -1039 + 971. Is 52 greater than o?
True
Let f = 11.8 + -12.59. Let c = 0.79 + f. Which is smaller: c or -13?
-13
Let j(c) = -29*c + 9. Let h be j(9). Let a be (1/(-1))/(-2 - 426/h). Which is smaller: 4 or a?
a
Let i be ((-8)/6)/((-15)/(-9)). Let d = 0.16 - 4.96. Let m = d + 4.9. Is m at least i?
True
Let o(m) be the first derivative of -m**4/4 + 5*m**3/3 - m**2/2 + 5*m + 16. Let i be o(5). Suppose -y = 5*z + 4*y - 20, -5 = -5*z - 2*y. Is z not equal to i?
True
Let q = 95 - 81. Suppose -6*g + q*g + 152 = 0. Is -20 at least g?
False
Let n be (12/16*2)/(9/246). Let g = n + -54. Is -12 greater than g?
True
Let q be 8192/(-4094) - (4 - (-8 + 14)). Are q and -1 equal?
False
Suppose 0 = -r + 33 - 41. Let t be 15/(-6)*r/4. Suppose t*n = -4*h - 24, -2 = -2*h + 2*n + 4. Is 2/27 greater than or equal to h?
True
Suppose -12*p = -7*p - 70. Let n = p + -14. Suppose w - 7 + 3 = d, -4*d - 5*w - 7 = n. Which is bigger: d or 1?
1
Let j be ((-8)/(-12)*-6)/(-1). Suppose -j*z + 2*z = -38. Suppose 0 = 5*d - z - 11. Which is bigger: d or 0.2?
d
Let x = 31 - 30.8. Let h = -0.3 - 13.7. Let r = h + 10. Is r > x?
False
Let a be ((-506)/33)/(28/3177). Let b = a + 1739. Let z = 2/7 + b. Which is bigger: 0 or z?
0
Let d(x) = 2*x**2 - 15*x - 134. Let y be d(17). Which is smaller: 187 or y?
187
Let x = -10 - -12. Suppose 0*c + x = -2*k - 3*c, -5*c = 4*k. Suppose -3*t + 3 = 4*f, 4*t - 35 + 0 = k*f. Which is greater: -5 or f?
f
Let c(l) = 9*l + 45. Let q be c(-7). Which is greater: -12 or q?
-12
Let f = 944 - 943.85. Which is bigger: f or -10?
f
Let l be 7 - (12/36)/((-2)/(-870)). Which is smaller: l or -140?
-140
Let j = -20 - -24. Suppose -j*s = s. Suppose s*x = 8*x. Is 4/7 less than x?
False
Let u be 5*((-36)/(-20) - -3). Suppose f = 3*j + 14, 4*f - j + 5*j + u = 0. Let b(k) = -3*k**2 - 2*k - 1. Let w be b(f). Which is greater: -5/2 or w?
w
Suppose 2*b - 3*x + 2 + 2 = 0, -5*x + 10 = -5*b. Let f = b - 0. Is f smaller than -5/2?
False
Let d = 21 + -229/11. Let z = -856 + 861. Is d greater than or equal to z?
False
Suppose -j = -213*y + 217*y + 36, 0 = -y + 5*j + 12. Let d be (-2)/(54/(-33)) - 1. Which is smaller: d or y?
y
Suppose -5*s = 1993 - 183. Which is smaller: -364 or s?
-364
Let k = 933 - 1550. Which is greater: -619 or k?
k
Let b be -66*-3*4/12. Suppose 46 + b = 7*o. Suppose -9 = 4*m + t, 2 = -3*m + 3*t - o. Which is smaller: m or -5?
-5
Suppose -3 = -3*c + 5*w, 5*c + 3 = 2*w + 8. Let o(x) = -x**3 + 2*x**2 + 3*x - 3. Let l be o(2). Suppose -15 = l*r + 5*p, 2*p + 6 = -r + 2*r. Is r at most c?
True
Let x = -809 + 804. Is -100/19 at most as big as x?
True
Suppose -9*s = 17 + 118. Let n be 3 - -2*8/(-1). Is n < s?
False
Let n(p) = 6*p**3 + p**2 - 3*p - 2. Let w(t) = -5*t**3 + 3*t + 2. Let c(i) = 3*n(i) + 4*w(i). Let q be c(-2). Suppose 16 - q = -2*o. Which is smaller: -1 or o?
-1
Let p be ((-4)/5)/(2/(-70)). Let a be p/(-3) + (-10)/15. Which is greater: -0.2 or a?
-0.2
Let k(m) = m**2 + 3*m. Let q be k(-2). Let r(j) = -3*j**2 - 2*j + 2. Let w be r(q). Suppose -233068*z + 96 = -233080*z. Is w less than or equal to z?
False
Let i be 50/84 - (-3 - 44/(-12)). Let y(g) = g**2 - g - 1. Let z(p) = p - 2. Let b be z(2). Let j be y(b). Which is smaller: i or j?
j
Suppose -7*u = -37 + 2. Which is greater: 0 or u?
u
Let p = -13545/4366 - -207/74. Do p and -1 have the same value?
False
Suppose 0 = -4*c - 12, 21 = -2*y - 5*c - 0. Let z be y/7 - (-45)/(-189). Let s be ((-8)/(-32))/(6/(-56)). Which is bigger: s or z?
z
Let s(r) = -r**3 - 12*r**2 + 13*r + 6. Suppose -3*v = 3*m + 33, -6 = -5*v + 2*v. Let y be s(m). Let j = 16 - 9. Is y at most as big as j?
True
Let o be 2/7 - 1*104/413. Which is smaller: 0 or o?
0
Let a = 909.1 - 866. Let o = a + -43. Is o > -2/43?
True
Let p = 0.07 + -0.37. Let c = p - -0.4. Let m = 0.214 + 0.086. Is c greater than or equal to m?
False
Let t(a) = -a + 4. Let m(y) = -y**2 + 8*y - 4. Let x be m(7). Let z be t(x). Suppose -2*v + 5*i - 18 + z = 0, 4*i = 12. Is v smaller than -3?
False
Let o = 125.318 - -0.682. Is o greater than -0.2?
True
Suppose -4*z + 5*z - 16 = 0. Let i be 7/9 + z/72. Which is greater: 1/24 or i?
i
Let u = -2168.92 + 2169. Which is greater: u or -2/15?
u
Let c = -176 - -193. Are c and 15 nonequal?
True
Let i = -124 + 487/4. Which is greater: i or -3?
i
Let k = -42 - -26. Let t be 12/k + (-119)/(-4). Suppose -2*p - 17 = -5*d, 5*p - 2*d + t = -3*d. Which is smaller: -5 or p?
p
Let r(h) = -h**3 - h**2 - h - 2. Let q be r(0). Let s be 3/q - 19/(-10). Is s greater than or equal to -2.8?
True
Let q be (2/(-6)*-58)/(56/588). Is q greater than 202?
True
Let p = 32 - 92. Let y be ((-1)/3)/((-4)/p). Which is greater: y or -0.1?
-0.1
Let z = -549 + 442. Is z less than or equal to -107?
True
Suppose -27*c + 35*c = -880. Let a be (-4)/8*444/2. Is c < a?
False
Suppose x + 1 = -5*c, 4*c + 4 = -3*x - x. Let q be (-1)/(-25)*2/4. Is q smaller than c?
False
Let t = -720/222919 + 775548091/694169766. Let f = 1/346 - t. Is 0 > f?
True
Let w = 4388/7 + -1908766/3045. Which is greater: w or 0?
w
Let b(n) = n**3 + 8*n**2 - 9*n - 2. Let f be b(-9). Let y = 6 - 11. Let i be (-2 - y)*(-3)/15. Are f and i equal?
False
Let m be (-50)/45 + 3/(27 + 0). Which is smaller: 10/49 or m?
m
Let a = 299982/265 + -1132. Which is bigger: 1 or a?
1
Suppose o + 7 + 3 = -2*z, 4*o + 5*z + 25 = 0. Let l be (-8*(-1 - o))/(4 + 5). Which is smaller: 2 or l?
l
Suppose 0 = -3*v + 2*t + 10, v - 2*t - t = 15. Suppose -2*s + s - 3*l - 40 = 0, v = -2*s - 5*l - 78. Let d be 6*(-1 - s/33). Is d greater than or equal to 0?
True
Let v = -571.7 - -557. Which is smaller: -2 or v?
v
Let m be 6/(-27) + (-4 - -4)/3. Which is smaller: 0.03 or m?
m
Let c(j) = j**3 - 5*j**2 - 2*j + 2. Let u be c(-2). Which is greater: u or -167/8?
-167/8
Let h be (-255)/(-56) - (-156)/273. Is 5 at most h?
True
Let u be (-2)/20*(-3)/768*-20. Is -1 smaller than u?
True
Suppose -1 = 5*h - b, 5 = 6*h - h + 5*b. Is 36/31 smaller than h?
False
Let a = -1 + 1.1. Let r = 930 - 922.095. Let b = r + 0.095. Which is smaller: a or b?
a
Let l = 20 - 26.96. Let x = -0.04 + l. Let h = 11 + x. Is 0 at most as big as h?
True
Let t be (28/(-5))/(1773/(-180) + 10). Is t > -2?
False
Suppose -147*u = -134*u + 1092. Is -82 smaller than u?
False
Let r(t) = -t**2 + 30*t + 90. Let m be r(29). Which is bigger: m or 115?
m
Let j = -1.5 + -30.5. Let z = j + 15. Which is bigger: -1 or z?
-1
Suppose 3*f = 2*d - 14, 3*d - 6 = -3*f - 30. Let z be 1/f - (-69)/90. Which is smaller: z or 1?
z
Let z = 1.27 + -4.83. Let j = z + 3.5. Is j less than 0.1?
True
Let y be -10 + -94 - (0/(-2))/4. Is y at most as big as -113?
False
Let k be (((-96)/5464)/2)/(-3). Which is bigger: 1 or k?
1
Let g = -143 + 544. Which is greater: g or 400?
g
Let l = -461.02 + 461. Are l and 1 equal?
False
Let y = 1115 - 1115. Let f = 7 - 4. Suppose -f*n + 2*n + 2 = 0. Which is bigger: n or y?
n
Let g be (-144)/377 + 420/(-1365). Which is smaller: -2 or g?
-2
Let x(t) = t**3 + 8*t**2 + 7*t + 2. Let s be x(-7). Let m be 10 + -8 - 2/s. Let g = 492 + -12297/25. Is g at least m?
False
Let b = -142/11 + 972/77. Which is greater: b or -1/16?
-1/16
Suppose 45 = -2*m - 3*m + 4*w, 45 = -5*m - 2*w. Let b = m + 41/5. Is b at most as big as -1?
False
Let p(u) = -u**2 + 2*u + 2. Let k be p(2). Let y be 3/k*(-2)/3. Let i be 14/(-8) + (-3)/12. Which is smaller: y or i?
i
Let d = 134 - 74. Let p = d - 64. Which is bigger: p or -6?
p
Suppose -4 = -2*l + 4*t, 4*t + 3 = -l - 1. Let s be -2 - ((-969)/327 - -1). Let w = -262/1199 - s. Which is greater: w or l?
l
Suppose d - 3 = -1. Suppose -2*z + 2 - 8 = 0. Let g be (-1)/7*(z - 1). Which is greater: d or g?
d
Let s be (-1 - 125/(-8))*(-4)/(-12). Let o = s - 223/40. Is 0 greater than o?
True
Let p = 549 - 588. Is 4 greater than or equal to p?
True
Let m = 20.2 + -21. Let d = -2.2 + m. Which is bigger: d or -0.2?
-0.2
Let d = -1009 - -863. Is 6 > d?
True
Let j = 4.6 + -83.6. L