. Let d be z(-3). Which is smaller: d or j?
j
Let w be -1 + 0 + 3 + -1. Let o = 62 + -495/8. Is o bigger than w?
False
Let q be ((-486)/20)/(-9) - (-2)/(-10). Which is smaller: 4 or q?
q
Let c be (1*-27)/(2 - -5 - 6). Does -26 = c?
False
Let m = 427/3979 - -4/173. Which is smaller: 1 or m?
m
Let j = 16 + -17. Let o be -1 - 2 - -1 - -1. Let n be (0/o)/(-1) - -1. Is n >= j?
True
Let s(m) = m**3 + 6*m**2 + 6*m + 4. Let o be s(-5). Suppose -2*w - 2*j = j - 2, 0 = 2*w - 4*j + 12. Which is bigger: o or w?
o
Let g = -0.18 + 5.58. Let x = 2.8 - g. Let l = 3 + x. Is 0 at most as big as l?
True
Let m = 1687213/260004 + 1/5532. Let b = m - 27539/282. Let a = -91 - b. Are 1 and a nonequal?
True
Suppose 3*v + 25 = 7. Let y be (-2)/v - (-4)/6. Let j be 1 + y - 2 - -2. Are 2 and j equal?
True
Let i(r) = -r**3 + r**2 - 6*r - 7. Let p(q) = q + 1. Let z(s) = i(s) + 6*p(s). Let v(k) = 3*k + 21. Let t be v(-7). Let f be z(t). Which is smaller: 0 or f?
f
Let f be ((-5)/2)/5*2. Let x be 1/(1/2 + f). Which is greater: -1/2 or x?
-1/2
Let u be 2 + (-1596)/610 + 0. Let q = u + 1/61. Which is smaller: q or 1?
q
Let s(u) = -u + 9. Let w be s(10). Are w and -1/12 unequal?
True
Let f be (1 + -2)*2/(-167). Let p = 137/2505 + f. Are p and 1 nonequal?
True
Let g = 7 - 5. Suppose i + 0*i = -c + 5, -5*c = 0. Suppose 0*r = 4*r + 3*x + 19, i*x + 21 = 4*r. Is r less than or equal to g?
True
Let u = 39 - 40. Let p be 2 + 0 + 21/(-6). Which is bigger: u or p?
u
Let f = -11/15 - -263/195. Let p = f + 12/65. Is p at least 2?
False
Let n(k) = -k**3 - 10*k**2 - 5. Let p be n(-10). Is p at most as big as -21/4?
False
Let w(i) = 2*i. Let s be w(1). Let t be 2/12*s*9. Let k be (0 - t)*24/18. Are -4 and k equal?
True
Let x(m) = -3*m**3 - m**2 + m + 1. Let a be x(-1). Let g(o) be the first derivative of o**4/4 + 7*o**3/3 - 4*o**2 + 2*o + 5. Let n be g(-8). Is a <= n?
True
Let u = -29 + 16. Is u >= -11?
False
Let h = -73 + 73. Is -2/3 >= h?
False
Let a(f) = -3*f**3 - f**2 - f - 1. Let v be a(-1). Suppose 0 = -0*h - 3*h - 12. Let m = h + 6. Is v smaller than m?
False
Let i = -0.1 + 0.1. Let p = -0.056 + -26.944. Let g = p + 19. Is i less than g?
False
Let d = 111 - 63. Which is smaller: d or 1?
1
Let v(i) = -i + 2. Let g be 2 + 0/(1 + 2). Let b be v(g). Suppose 4*m + 0 + 4 = b. Which is smaller: m or -2?
-2
Suppose u + 2 = 6*u + 2*m, 5*m - 5 = 3*u. Let f be 0/(2/(-2 + u)). Is f equal to -9/7?
False
Let f = -13/6 + 23/12. Which is smaller: f or 1?
f
Suppose -5*l + 16 = -2*f, 2*f + 0*l - 20 = -4*l. Which is greater: 8 or f?
8
Suppose 0 = -25*o + 22*o + 273. Which is bigger: o or 92?
92
Let m = -1.1 + 1. Let i be ((-2)/(-35))/((-3)/(-5)). Is m greater than i?
False
Let g be -3 - (2 - 4) - -2. Let b be ((-2)/(-2))/((-1)/g). Let p = 194/33 - 72/11. Which is smaller: b or p?
b
Let q = -5.07 - -0.07. Let n = q - -4.8. Let l = -29/2 + 59/4. Which is bigger: n or l?
l
Suppose -d + 4*z - 6 - 5 = 0, -5*d - 4*z = -41. Suppose -2*p + 4 = -3*g - 0*g, -d*p = 5*g + 15. Are -1 and p unequal?
False
Let m = 5.9 - 6. Is m > -2/11?
True
Let w = -6262 + 18622/3. Let u = w + 54. Is -2 smaller than u?
True
Let j = -112/3 + 37. Suppose -2*m - 11 = -0*q + q, -5*q - 5*m - 35 = 0. Is q at most j?
True
Let w be (-3)/1*(-3 + 4). Let c = 3 - 0. Suppose 0 = -c*j + 6*j. Does j = w?
False
Let j = -0.11 - -0.21. Which is smaller: 15 or j?
j
Suppose 5 - 7 = -h. Let g be 30/9*(-6)/(-25). Which is greater: h or g?
h
Let w be (-5)/(-10)*(-2)/(-11). Let v = -5/66 - w. Which is smaller: 2/5 or v?
v
Let n = 1 - -1. Let k be n/(-10) - (-3)/15. Is k < 0?
False
Let l = -6.6 + 8.6. Let a = 35 + -209/6. Is l less than or equal to a?
False
Let h = 3 - -4. Let s = h + -10. Let i = -1 + 1. Which is smaller: s or i?
s
Let n(p) = -15*p + 89. Let d be n(9). Is d >= -45?
False
Let b = -29 - -30. Which is bigger: -1/47 or b?
b
Let y(q) be the first derivative of -q**4/4 + 7*q**3/3 - 3*q**2 - q - 3. Let r = 11 - 5. Let b be y(r). Is b greater than -5/3?
True
Let c = -0.1 - -0.22. Let l = 0.02 - c. Is l != -8?
True
Let l be -6*1*(5 - 1). Let z be 26/l + 3/(-12). Which is smaller: 0 or z?
z
Let b = 91 + -91.53. Are b and -1 non-equal?
True
Let d be (-6 + (-231)/(-28))/((-2)/(-8)). Which is greater: d or -2/7?
d
Let b(s) be the first derivative of s**4/4 + 4*s**3/3 - 3*s**2 - 6*s + 3. Let m be b(-5). Is m > -1?
False
Let c(x) = x**3 + 4*x**2 - 9*x + 2. Let r be c(-6). Are r and -17 equal?
False
Let a = -148 - -15541/105. Is a bigger than -0.1?
True
Suppose -5*o = 5*p - 2*o, 3*p + 2*o = 0. Do 0 and p have the same value?
True
Let s = -31 + 67. Which is bigger: s or 35?
s
Let c = 6 + -8. Let o be c + (2 - 3) + 1. Is -1 less than o?
False
Let n = -0.17 - -0.17. Is n equal to 8?
False
Suppose -v - 3 = 2*v. Is -1/10 less than or equal to v?
False
Let q(t) = t**3 + 7*t**2 + 5*t - 23. Let v be q(-5). Which is greater: 15 or v?
15
Suppose 0 = 5*x - 0 + 10. Which is greater: -23 or x?
x
Let r(g) = 3*g**2 + 4*g**2 + g**2 - 7*g**2 + 7*g - 2. Let b be r(-9). Let u be -2 + 2 + 6/b. Which is smaller: u or 0?
0
Let i = -201819361 + 118064293303/585. Let q = i - -1/117. Let z = -56 - q. Is -1 greater than z?
False
Let s = 0.29 + -1.29. Do s and 16 have the same value?
False
Let i be 3/2 - 1/(-2). Is i > 22?
False
Let c = -25 + 24. Let o = 9 + -28. Let k be (-1)/o*(-3 - -1). Which is greater: k or c?
k
Let i = -0.02 - 6.98. Let l = -3.3 + -3.4. Let v = i - l. Is v at most 0?
True
Let p be 465/(-12) - 2/(-32)*-4. Is -1/2 at most as big as p?
False
Let n(o) = -234*o + 1. Let y be n(6). Let l be 1 + (3 - y/(-332)). Let a = l + -2/83. Which is bigger: a or 0?
0
Let i(g) = g + 10. Let d be i(-7). Which is bigger: d or 2?
d
Let x = -73 - -72.29. Is x less than 1/4?
True
Let c be (-1 + (-5)/(-3))*-3. Let m be (-27)/21 + 1 - 15/21. Are m and c unequal?
True
Let c = -5.3 + 5. Let i = c - -0.1. Let w = -2.2 - i. Is 0 bigger than w?
True
Let d be (-13)/(-11)*(-427)/(-7). Let a = d + -72. Which is smaller: a or 1?
a
Let p = 7 - 3. Let i be (p/18)/(28/21). Which is smaller: 0 or i?
0
Let b = 8605/4 - 2168. Let m = -33/2 - b. Is 13/4 >= m?
True
Let h(d) = -4*d - 3. Let v be h(-2). Suppose v = -5*k + 15. Suppose k = -w - w. Which is greater: w or -2/31?
-2/31
Let x = -0.292 + 0.092. Which is bigger: x or -24?
x
Let r(g) = -g**2 + 4*g + 2. Let c be r(4). Suppose 0 = -v - v + c. Which is bigger: v or 2?
2
Let t be (1/((-2)/12))/(-2). Let s(d) = d**2 - 4. Let c be s(t). Suppose -5*u - 3 = -18. Which is bigger: u or c?
c
Let g = -66 - -68. Which is greater: g or 21/11?
g
Let g be 15/(-3)*6/5. Let p(q) = q + 1. Let t be p(-5). Is g greater than or equal to t?
False
Let o = 90 + -91. Which is smaller: o or 1.9?
o
Suppose 0 = -4*m - 9*m - 351. Does m = -27?
True
Let z = -24 + 25. Which is smaller: z or 1/75?
1/75
Let m(u) = u**3 - 7*u**2 - 9*u + 4. Let z be m(7). Are -59 and z nonequal?
False
Let b = -8 - -5. Suppose -10 = -5*c + 2*i + 3*i, 4*c = -2*i - 16. Which is greater: b or c?
c
Let d = -13 + 51/4. Is 1 at most d?
False
Let m = -2/105 + 113/420. Is 0.2 equal to m?
False
Suppose 0 = f + x - 6*x - 19, -f = 5*x + 21. Is -1/16 at least as big as f?
True
Let g be (-8)/(-2) + (-912)/232. Is -1/3 less than or equal to g?
True
Let x(n) = 2*n**3 - 4*n**2 + 3*n. Let v be x(2). Suppose -v = -3*f - t + 5, 2*f - t = 4. Are 3 and f non-equal?
False
Let o be (-57)/(-38)*(-4)/(-3). Which is smaller: o or 5?
o
Let k be (14/35)/((-8)/(-20)). Let o = 2 + 1. Is k at most as big as o?
True
Suppose -2 = f - 12. Suppose 5*w = -f + 20. Are w and 6/7 equal?
False
Let d(j) = j. Let y(l) = l + 1. Let t(c) = -6*d(c) + 7*y(c). Let h be t(-7). Is h <= 0?
True
Let o be 4/(8/5 - 2). Let p be (-6)/130 - 2/o. Which is greater: -1 or p?
p
Let d be (-2 + 2 - -3)*(-112)/(-6). Suppose -3*a + 10 = 2*a. Let n be ((-4)/d)/(a/(-8)). Which is smaller: -0.1 or n?
-0.1
Suppose 0 = q - 5*q - 12. Let x(t) = -4*t. Let i be x(q). Let k = i - 18. Is -7 not equal to k?
True
Let q = -2 + 3. Let l = -1 - -3. Suppose -l*k + 0*k = 0. Is q < k?
False
Let v(u) = -u + 2. Let s be v(2). Let z = 0 + s. Let n = -520 - -517. Which is bigger: n or z?
z
Let o be (18/69)/(3 + (-32)/12). Which is bigger: o or 0?
o
Suppose 0 = u - 4*x + 44, u + 2*x = -x - 9. Let z = 73/3 + u. Let p = 1.99 + -2. Is p < z?
True
Let r(z) = z**2 - z - 1. Let w be 