 -1. Let g = 8 + k. Suppose -g*d - 2*d = -16. Are d and 5 non-equal?
True
Let z = -654 + 656. Suppose 2*d + 10 = 7*d. Let l(m) = m**3 - 3*m + 1. Let p be l(d). Is z greater than p?
False
Let f be 4/10 - (-64)/(-120). Let w be -11 - -6 - -4*1. Are f and w nonequal?
True
Let d(l) = 2*l + 19. Let n be d(-8). Let s = -0.8 - 4.2. Let a = 5 + s. Which is smaller: n or a?
a
Let x = 267 + -266. Which is bigger: 3/71 or x?
x
Let y(p) = p**2 - 9*p + 4. Let q be y(9). Suppose -q*z + 15 = z. Suppose 2 = z*l + 14. Do l and -4 have different values?
False
Suppose 0 = -4*o - 16, 0*o + 3*o = -z - 113. Let l be 3/9 - z/3. Let b = -37 + l. Which is bigger: -11/5 or b?
-11/5
Let p = -325.077 - -325. Which is bigger: p or -3?
p
Suppose -9 = 7*v - 4*v. Let s = -17 - v. Which is smaller: s or -11?
s
Suppose 27*f + 288 = 21*f. Suppose 0 = 5*i + 76 + 159. Which is greater: f or i?
i
Suppose 4*d - 118 = 3*r + 13, r = -4*d + 111. Which is smaller: d or 28?
28
Let j be ((-28440)/1125)/(4/10). Which is bigger: j or -64?
j
Let k = 385/2 - 222. Let t = k + 31. Let z = 2 - 1.9. Which is bigger: z or t?
t
Suppose -3*r + 4 - 1 = 3*j, 3 = 3*j - 2*r. Let m = 4445 + -88901/20. Which is smaller: j or m?
m
Let g = 17/18 + -7/6. Let b be (-4 + 38/10)/((-1)/(-3)). Let z = b - -19/15. Which is greater: g or z?
z
Let n(r) = 3*r**2 - r - 4. Let h be n(2). Let i = -7 + h. Let d be 4/(3/i - -2). Is -2 less than d?
False
Suppose -3*w - 2*w + 3*i = -45, -w = -4*i - 9. Let a be 9/(-27) - (-21)/w. Which is smaller: 11 or a?
a
Let f(n) = n**3 - 2*n**2 - 7. Let u be f(3). Suppose 0 = -u*q + 4*g - 116, q - 11*g = -7*g - 68. Are q and -49 non-equal?
True
Let k = 136 + -135. Is k smaller than -2/185?
False
Let v be (-8)/6 + 4/12. Let w be (-2*3/(-174))/1*2. Which is greater: w or v?
w
Let b = -184 + 184. Is b >= -2?
True
Let r(q) = -q**3 - 12*q**2 - 8*q + 3. Let k be r(-6). Let y be 630/k + (-8)/(-2). Which is greater: y or 1?
1
Suppose 13*w - 569 - 445 = 0. Let t = w - 79. Is t at least as big as -2?
True
Let t = 344 + -400. Does -1/9 = t?
False
Let s(n) = -n**2 - 2*n - 2. Let z be s(-3). Suppose -40 = -4*h + 14*h. Let b be h/z*3/6. Which is greater: b or -2?
b
Let j = 3.4 - 1.4. Let u = j + 0. Let q = u + -1. Does 6 = q?
False
Let z be ((-10)/15)/(71/6). Let g be 32/96 + (-4)/(-6). Is z bigger than g?
False
Let s be (-4 - -3)*3 - -5 - 2. Which is bigger: 2/809 or s?
2/809
Let h = 1722 + -1728. Let q be ((-3)/6)/((-2)/(-24)). Are q and h nonequal?
False
Suppose 0 = -5*a - 15 - 10. Let s(q) = q - 8*q**3 - 1 + 2*q**2 + 10*q**3 - 3*q. Let h be s(-2). Is a bigger than h?
False
Let z be (-2)/(-2) - (-37 + -7). Suppose 11*t - 6*t + z = 0. Let u be (6/t)/(2/3). Which is greater: 0.1 or u?
0.1
Let v = 0.2024 - 0.0024. Let g = 3 + -4. Let x = -3 - g. Which is greater: v or x?
v
Let f(d) = 3*d**2 + 7*d - 3. Let x be f(5). Suppose -4*l + 3*l - 196 = -2*m, m - 5*l - x = 0. Let w = -286/3 + m. Is -1/3 greater than w?
False
Let o = 17810 + -88623/5. Let j = o - 86. Is j <= 2?
True
Let l be (-76)/(-18) - 10/45. Suppose 0*o + 2*o = l*r - 10, -16 = -4*r - 4*o. Suppose -i = -4*t - 5*i + 4, -r*t = -2*i - 3. Is t != 1/9?
True
Let c be 1 + -2 + (-4)/(-16). Let a be (-10)/(0 + (-4)/(-16)). Let x = a + 40. Is c less than x?
True
Let w(i) = i**2 + 4*i - 7. Let s be w(-5). Let b be (3 + -2)/(s/6). Suppose 13*x + 98 = 33. Which is smaller: x or b?
x
Suppose 3*m - 63 = -324. Let y be -67 - (-260)/117*-9. Are m and y nonequal?
False
Suppose a + 4*a - 5 = 0. Let m be -2 - ((-4060)/52 - -3). Let t = 73 - m. Is a at least as big as t?
True
Let q(w) be the third derivative of w**4/8 + 2*w**3 - w**2. Let r be 16 + -22 + (1 - 0)/1. Let j be q(r). Which is greater: j or -4?
j
Let l = 64 + -64. Suppose l = -4*w - 0*w + 8. Let t = -6 + 5.8. Is w > t?
True
Suppose -6333 = 3*h - 0*h. Let g = -6209/3 - h. Let b = -2099/51 + g. Are b and 0 unequal?
True
Let f = 8 - 13. Let c = -0.13 - 7.87. Let s = c - f. Is s greater than -0.3?
False
Let z = 9/4 + -163/76. Let d = 3501 + -3500. Which is greater: z or d?
d
Let w(o) be the first derivative of -o**3/3 - 5*o**2 - 15*o - 8. Let x be w(-8). Is x <= 3?
True
Suppose 0 = -12*b + 6*b - 90. Is b equal to -3?
False
Let t(s) = 4*s**3 - 2*s**2 + 1. Let u be t(1). Suppose 8*v + 20 = u*v. Let d be 0*v/((-16)/4). Which is greater: 1/4 or d?
1/4
Let w = -316 + 315. Do w and -21.6 have different values?
True
Let r be 0/(-2 + -3 + 3). Suppose r = 4*j + 4, -5*l - 58 = -2*j - 0*j. Is -14 >= l?
False
Let y be (-6)/(-20)*(6 + 64/(-12)). Is y != -2/133?
True
Let h = 67 - 81.1. Let k = -13 + -1. Let p = k - h. Which is smaller: -0.03 or p?
-0.03
Let v(c) = -1. Let t(d) = -d**3 - 5*d**2 - 2*d - 8. Let y(m) = t(m) - 3*v(m). Let a be y(-5). Is 2 <= a?
True
Let a(k) be the second derivative of -k**3 - 59*k**2/2 - 2*k + 22. Let z be a(-11). Which is smaller: 12 or z?
z
Let b = -36687 + 513109/14. Let z = 174/7 + b. Which is smaller: -12 or z?
-12
Suppose 5*t + 9 = -6. Let c be t*(1/2 + (-10)/12). Let s = -2.4 + 0.4. Is s at least as big as c?
False
Let f = 1.756 - 0.656. Is -1/14 bigger than f?
False
Let f be -11*2/2 - -6. Let d be 0/(1 - (2 - 0)). Which is greater: f or d?
d
Let f = 14 - 20. Let b = f - -7.2. Let r = -0.8 + b. Are r and -0.3 unequal?
True
Let k = -606 + 606.3. Is k less than or equal to 35/2?
True
Let t(u) = u + 3. Let b be t(-8). Suppose 0 = -4*g + 2*y - 4*y - 18, 0 = -2*y - 10. Let n be g/b*(1 - 6). Which is greater: n or -2/3?
-2/3
Let u(s) = -s + 133. Let a be u(-8). Which is bigger: a or 140?
a
Let v = 487 - 486.9. Which is smaller: -119 or v?
-119
Suppose 2 - 3 = 4*y + 5*g, g + 4 = 3*y. Which is smaller: -4/107 or y?
-4/107
Suppose 37*b - 33*b = 224. Let z = b - 74. Which is bigger: z or -17?
-17
Let p = 23 + -23. Let x = -206 - -203.02. Let f = x + -0.02. Which is smaller: f or p?
f
Let y = 1.25 - 1.35. Let i = -0.2 + -8.8. Let m = 14 + i. Which is bigger: m or y?
m
Suppose 13 - 73 = 10*v. Which is greater: -54/11 or v?
-54/11
Let p = -0.25 + 3.85. Let x = -3.62 + p. Is x less than -0.2?
False
Let y be 8/(-28) + 9130/31906. Which is greater: -1 or y?
y
Let q be 4/97*(22/(-4) - 0). Is 0 equal to q?
False
Let q(g) = -g - 1. Let x be q(0). Suppose 2*d + 2 = -0. Let l be 224/(-110) + (-2)/d. Which is smaller: l or x?
x
Let j be ((-273)/26 + -14)*(3 - 1). Is j at least -46?
False
Let o = 7.8 - 7.708. Is -2 greater than or equal to o?
False
Let b be (-1 + 6)*-7*(-14)/(-735). Is b > 0.0864?
False
Suppose 12 = 4*i, i = 2*u - 3*i + 16. Let v(j) = -1. Let l(z) = z**2 - 4*z + 3. Let n(x) = l(x) + 6*v(x). Let t be n(u). Is 9 bigger than t?
False
Suppose -22*g + 410 = -27*g. Which is smaller: g or 0.01?
g
Let k = -0.09 + -4.91. Let f = k + 5.6. Let x = -62 + 62.1. Which is smaller: x or f?
x
Let s = 273 + -286. Which is greater: s or -188/13?
s
Let f = 13 + -19. Let h = -11 - f. Which is smaller: h or 1/3?
h
Let f be -2*((-3468)/8)/3. Is f less than 289?
False
Let y = -248 - -246. Is y less than -5?
False
Let j = -1529 - -1087. Which is bigger: -440 or j?
-440
Suppose -837 = 29*l + 381. Which is smaller: l or 0.3?
l
Let f(b) = 58*b - 354. Let s be f(5). Let m(y) = -10*y - 4. Let p be m(6). Do s and p have the same value?
True
Let d = -12 - -15. Suppose -9*y = -6*y - d. Which is smaller: 0 or y?
0
Let p be (-1)/(-1 + 62/64). Suppose -p = 2*j - u + 1, -5*u = -4*j - 75. Is -15 greater than or equal to j?
True
Suppose s - 8 = -3*s. Suppose -40 = -4*q + 4*j, -3*j - s*j + 40 = q. Let f be 12/9 - 5/q. Which is greater: 0 or f?
f
Suppose 2*x - 58 + 323 = -t, -485 = 2*t - 5*x. Which is bigger: -259 or t?
t
Suppose -38*q - 26 = -39*q. Suppose -h + 4*f + 4 = -10, -5*f - 37 = -2*h. Is h at most as big as q?
True
Let k = -8 + 4. Let i = k + 3.9. Let a = 8 + -8.2. Which is smaller: i or a?
a
Suppose -6*s = -17*s - 121. Is s greater than or equal to -13?
True
Let c be (-10)/(-15)*-4*9/3. Suppose -3 = x + 3. Let r = x - -8. Which is smaller: c or r?
c
Let d = 393 + -292. Which is greater: d or 107?
107
Let c(m) = 2*m + 11. Let s be c(-9). Let t = 3 + s. Let b be 12/t + 36/14. Is 0.2 <= b?
False
Let t be 351/6*8/12. Let u = -40 + t. Suppose 0 = 2*s - 6*s - 8. Which is smaller: u or s?
s
Let k = -681 - -645. Let u = 49 + -84. Which is smaller: u or k?
k
Let j = -19 + 4. Let a be (j*1)/(189/(-14)). Is a smaller than 