/(-154). Is d < y?
False
Let q = -17/278 - -6995/82566. Which is greater: 1 or q?
1
Let h = -71887927/3199 - -22472. Which is bigger: h or 0?
h
Let k = 837 - 818.65. Let m = 17.1 - k. Which is smaller: -0.1 or m?
m
Let g(t) = t**3 + 42*t + 188. Let m be g(-8). Is m at most -659?
True
Let d = -8 - -6. Let m be (11/(-33))/(d/12). Suppose 22*q - 67 = 21. Is m not equal to q?
True
Let n = 741785729774/2827 - 262393251. Let l = 5/257 + n. Is 3 <= l?
True
Suppose 5*a = 11*a - 18. Suppose -8*c + 6*c + 3*t = 294, 2*c + 294 = -a*t. Let h be 5/((-5)/(-3)) - c/(-28). Is h at most as big as -3?
False
Suppose -5*s = -2*b + 35, -b - 3*s + 6*s = -20. Suppose b*y = 5*x - 35, -3*y - y - 37 = -x. Let n = y - -9. Which is bigger: n or -8?
n
Let i(b) = 3*b + 17. Let r = 163 + -113. Suppose 5*h + r = -5*h. Let x be i(h). Which is bigger: x or 8/11?
x
Let z be 0 - (-2)/(2 - 3). Let p = 9923 + -99263/10. Is p > z?
False
Let f = -7664 + 5084. Is f at most as big as -2578?
True
Let t = 3 + -3. Suppose -6 = 2*a, -5*v + 3*a - 189 = -3*v. Let r = v + 1284/13. Does r = t?
False
Suppose 4*u = 2*u + 4, 4*y - 110 = 5*u. Let n = 17 + -38. Let q = y + n. Is 9 > q?
False
Let y = -3.31 - 1.69. Which is smaller: y or 0.048?
y
Suppose -5*j + n + 280 = -0*j, 112 = 2*j + 3*n. Let p be ((-7)/j)/(5/52). Let l = p + 251/190. Is l greater than or equal to 0?
True
Suppose g + 4*g - 20 = 0. Suppose 4*h + 0*t - 818 = 2*t, g*h + t - 809 = 0. Suppose -7*o - 35 = h. Is o at least as big as -35?
True
Suppose -d = -4*d + 18. Let c(j) = j**3 - 7*j**2 - j + 1. Let l be c(d). Let f(p) = -p**2 - 27*p - 180. Let x be f(-20). Which is smaller: l or x?
l
Let h = -925633 + 6210657. Let q = h - 179647639/34. Let b = -1270 + q. Which is smaller: -1 or b?
-1
Let m(z) = z**3 - 7*z**2 + 5*z - 194. Let s be m(12). Which is smaller: 2349/4 or s?
s
Suppose 32*k = 141*k - 11554. Do k and 107 have the same value?
False
Let y be (14/21)/(6/(-27)). Let m be (y/(-9) + -6)*-3. Is m <= 31/2?
False
Suppose 3*p + 74 = 740. Let i = -1 + p. Is 220 greater than i?
False
Let i(q) be the first derivative of 2*q**3/3 - 11*q**2/2 + q - 121. Let g be i(0). Which is greater: g or -8/47?
g
Let g = -294.07 + 154. Let c = -0.07 - g. Let h = c - 171. Is h greater than or equal to 1/7?
False
Suppose -19 = -3*h + 5*v, 5*h - 2 = v + 37. Let r be (h/420)/((-6)/(-10)). Let y(u) = -599*u + 3593. Let w be y(6). Which is bigger: w or r?
r
Let n be 1/12 - -1*(-335)/(-12). Is 48 greater than n?
True
Suppose 6*w = 4*b + 8*w + 6, 0 = -w - 3. Let m(s) = s**3 - 3*s**2 - 26. Let v be m(b). Which is bigger: -20 or v?
-20
Let g = -7546 - -606. Is g at most 2/3?
True
Let c(a) = 2*a**3 + 39*a**2 - 11*a + 47. Let m be c(-20). Let g = -232 - -98. Which is smaller: m or g?
g
Let p = 0.152 - 0.123. Let g = -0.3 + 0.339. Let q = g - p. Which is smaller: -3 or q?
-3
Let j(s) = s**3 + 12*s**2 - 4*s + 21. Let l be j(-9). Suppose -10*t - l = -1200. Is 94 less than or equal to t?
False
Let q = 14 - 5. Suppose 0 = -3*p + 12 - 126. Let y = p - -46. Do y and q have the same value?
False
Let m = -21764 - -21762. Let t = 13905/76 - 735/4. Is m <= t?
True
Let w = 662.4956 - 30.5076. Let g = w + -634. Let q = g + 0.012. Which is smaller: q or 12?
q
Let v = 2 + -3. Suppose -12 = -4*j + 4*m + 68, m = 5*j - 80. Suppose 4*k = 11*h - j*h - 24, 0 = -5*h + 4*k + 15. Is h > v?
False
Let y be -4*(-24)/(3240/(-555)). Which is smaller: y or -22?
-22
Suppose -3*i = z - 20, 30*i - 33*i + 16 = 5*z. Is z at most -18/161?
True
Let n = -85.07 - 0.93. Let d = -83 - n. Let g = -1.7 - 2.3. Which is bigger: g or d?
d
Let t = 29.58636 - 0.01636. Let u = t - -0.43. Let y = u + -28. Which is bigger: -3/8 or y?
y
Let a = 5.268 + -5.668. Which is smaller: a or 2.087?
a
Let r(y) = -24*y + 102. Let s be r(3). Suppose 0 = -4*l + 8*p - 7*p + s, -2*p - 36 = -5*l. Which is smaller: 9 or l?
l
Let w be 22817/(-100) - 82/1025. Let u = w - -161605/708. Which is smaller: u or 1?
u
Suppose -4*u = -5*y - 61179 - 136, -3*y = 2*u + 36789. Which is smaller: -12261 or y?
y
Let j be 22 + 2354/(-88) + 5. Let v = 2 + -1. Which is smaller: v or j?
j
Suppose 0 = -83*h - 86 + 916. Let r be -1 + -2 + -2 + 333/21. Which is greater: r or h?
r
Let s = 116 - 131. Let u = -10 - s. Suppose -385 = u*h - 2*g, -h = -6*h + 5*g - 385. Which is bigger: h or -78?
h
Let a = 147621/173499634 - 9/33814. Is 0 at most as big as a?
True
Let c = 543 + -527. Suppose c*p = -18*p - 1666. Is -49 greater than p?
False
Let l = 6169 + -2127. Which is bigger: l or 4043?
4043
Let w(r) = -11*r**2 + 111*r + 1790. Let f be w(-17). Is f at least -3278?
True
Let d = -5783 - -5809.87. Let h = d - 27. Let b = -0.23 - h. Is -0.07 equal to b?
False
Suppose 0 = -2*v + 77 + 7. Let x be (-10)/(-6) + v/(-63). Is x > -4/37?
True
Let x = -512 + 511. Which is greater: 26/87 or x?
26/87
Let r be ((-8)/((-48)/18))/(2 - 3). Let o be (-24)/32 + r/12. Is -1/214 <= o?
False
Let o be ((-507)/676)/(9/4728). Is 0.13 at most as big as o?
False
Let u be ((-72)/(-2) - 3/(-6))*1/(-2). Is u >= -0.7?
False
Let s(c) = c**3 - 3*c**2 - 1. Let v be s(4). Let i(u) = u**3 - 9*u**2 + 10*u - 2. Let f be i(8). Which is bigger: f or v?
v
Let f = -5242 + 5240. Is f at most as big as 455.1?
True
Suppose 2*o = -3*d + 1783, -4*d + 2*o + 232 = -2136. Which is bigger: 2/3 or d?
d
Suppose 2*m - 2*v = -5*v - 54, 2*m + 78 = 3*v. Let o = 34 + -35.18. Let l = 2.18 + o. Is m not equal to l?
True
Let m be 1820/230 + -8 - 754296/138. Which is smaller: -2 or m?
m
Suppose 5*n + 7 = 17. Let i be ((-4)/n - (-20)/8)*0. Suppose 4*j + 4*j - 10*j = i. Is j > 4/11?
False
Let m be (-1)/(-5)*(2/16 - 46/368). Let a be 4/(-40)*-5*(-14)/(-16). Which is smaller: a or m?
m
Suppose 0 = -4*v + 3*l + 23 + 72, -5*v = -4*l - 119. Let w(o) = -8*o**3 - v - 11*o**2 - 10*o - 9*o**3 + 18*o**3. Let u be w(12). Is -3/8 < u?
True
Let v be (-2 + (-1060)/(-14))*(21 - 7). Let a be (v/108)/(1/(-6)). Is -56 != a?
True
Let s = -70437 + 70447. Let q be 2*(-2)/(-4)*4. Is s at least q?
True
Let y = -3116.1 + 3116. Suppose -10*j = -992 - 778. Which is smaller: y or j?
y
Let l be 4/1*978/(-28). Let d = 140 + l. Which is bigger: 1 or d?
1
Let v be 14 + (6/(-15) - 42/(-30)). Let n = v - 7. Is n greater than -1?
True
Let z be 3/6 - (-26)/4. Suppose 4*m = -4*j + 4, -6*j + j - z = 3*m. Which is smaller: m or -1?
-1
Suppose -6*x + 8*x = 0. Suppose x = 3*q - 4*f - 32, f - 4 + 1 = -2*q. Suppose -5 = 3*v + 4*n, -5*v - 5 = -q*v + 2*n. Which is bigger: v or 1?
v
Let x = -0.14 + -0.06. Let t(w) = 8*w - 2. Let l be t(0). Let m be 2 + l - (-12 + 21). Which is smaller: x or m?
m
Let q = 4988 - 54832/11. Which is smaller: -0.4 or q?
-0.4
Let c be (-2)/(-23) - (-1049401)/(-8763). Which is greater: -121 or c?
c
Suppose -3*m + 4*l - 3*l = -1, 0 = -5*m + 5*l - 5. Let i = -919907/20 + 45995. Does m = i?
False
Let d = 234.12 + -233.88. Let x be (-3)/(-12) - (-62)/8. Is d <= x?
True
Let b = 314.06 - 176.07. Let u = -2.99 + b. Let c = -134.9 + u. Is 29 less than or equal to c?
False
Let o = 2016 + -4387. Which is bigger: o or 2?
2
Suppose 22*k = 33 + 55. Let r be (3/((-15)/k))/((-78)/975). Is r not equal to 6?
True
Let f = 11.029 + 3.371. Is -2/5 at least f?
False
Suppose -864*c = -857*c + 245. Let x be (19 - 10)*(-1)/(-3). Suppose -x*d - d = 136. Which is smaller: d or c?
c
Let l(z) = z**3 + 8*z**2 - 8*z + 8. Let q be l(-9). Let w = 40.111 - 40. Let f = w + -0.041. Is q smaller than f?
True
Let y = 589/7 - 84. Let m = -280 - -26. Let v = m - -254.4. Is y at most as big as v?
True
Let u = -25 + 24. Let z be (-4)/(-3) + u - 27/81. Let b be (-1)/(-3)*(1 + z). Is b equal to 5?
False
Let k be ((-1)/3)/(48/(-2016)). Suppose -3*p - 8 = n, 0 = 4*p + 11*n - 9*n + k. Let a = -50161/66 + 760. Do p and a have the same value?
False
Let k = 94 - 91. Suppose -5*u - 49 = -2*v + 153, 2*v + 4*u - 220 = 0. Let i be 24/(-16) - v/(-20). Is k at most as big as i?
True
Let t = 57188 + -171163682/2993. Is t smaller than 0?
False
Let v(f) = -7*f**3 - 14*f**2 + 5*f - 9. Let o(p) = -p**3 + p. Let g(j) = 6*o(j) - v(j). Let r be g(-14). Which is smaller: r or -14?
-14
Let g be 0 + -618 + (93 - -11)/(-13). Are g and -626 nonequal?
False
Suppose -10221*z - 7 = -10216*z + n, -2*n - 3 = -z. Are -2/5487 and z unequal?
True
Let t = 8 + -8.178. Let i = t - -0.078. Which is smaller: -2/65 or