et t be -1*((-12)/2 - 1). Let m(y) = y**3 - 7*y**2 + y - 7. Let u be m(t). Is i > u?
False
Let t = 0.36 + -0.46. Is -33 greater than t?
False
Let l be (40/(-84))/((-2)/3). Is 0 less than l?
True
Let k = 11 + -11. Which is smaller: -2/21 or k?
-2/21
Let j = -6/5 - -8/15. Is j >= -63?
True
Let b(r) = -r**2 + 3*r + 1. Let x(s) = -s + 1. Let q be x(-2). Let j be b(q). Which is smaller: -0.6 or j?
-0.6
Suppose 5*x + 19 = -4*c, 5*c - 2*x + 1 - 2 = 0. Let g = 7 + -7. Suppose g = -4*m - 4. Is m equal to c?
True
Let i = 0.057 - 0.257. Is 0.2 greater than or equal to i?
True
Let d = -2 - -13. Suppose 42 = 4*g + o, 5*o + 32 = -0*g + 2*g. Do d and g have different values?
False
Let s = 3 + 0. Let k(r) = -r + 1. Let u be k(s). Is u not equal to -2?
False
Let x be 5/(-6) - 2/(-2). Suppose 0 = -0*v - 4*v + 4. Is v > x?
True
Suppose 163 = -2*d - 175. Let g = d - -673/4. Let u(w) = -w**3 - 2*w**2 + 4*w + 2. Let p be u(-3). Is g greater than p?
True
Suppose 0 = 7*a - 12*a. Let k be (2/(-3))/(2/(-6)). Which is smaller: k or a?
a
Let y = -6 + 6.02. Let m = y + -3.02. Let x = -2.9 - m. Which is bigger: x or 8?
8
Let o = -17 - -18. Are -2/7 and o unequal?
True
Let d(z) = -z + 6. Let g be d(5). Let w = 0.2 + -0.6. Which is greater: g or w?
g
Let b be -1 - 15/(-12) - 0. Let o = 0 + 0. Which is smaller: o or b?
o
Let y = 11 + -12. Which is smaller: 0 or y?
y
Let d be 13 + ((-9)/(-3))/(-3). Suppose -3*y + 0*c + c - d = 0, -3*c = -2*y - 15. Let w = 13 + -15. Which is smaller: y or w?
y
Let t be (-52)/138 + (-2)/(-6). Is t equal to -1?
False
Suppose -4*v + 7 = c, 4*c + 8 - 23 = -3*v. Suppose 0 = -c*p + 7*p. Suppose 3*u - 2*u = 0. Does p = u?
True
Suppose 4*p + 14 = -2*v + 4*v, -4*v + 28 = 5*p. Let t = 10 - v. Let a = -1 - -3. Is t <= a?
False
Let t = -15 - -20. Suppose 3*f + t*z + 15 = 0, -4*f + 2*z = -0*f - 6. Which is smaller: f or 5?
f
Let d(u) = -u**3 - 2*u**2 - 3*u - 3. Let c be d(-3). Let v be c/9 - (-4)/(-6). Let r be ((-3)/(-96)*4*6)/(-3). Is r less than or equal to v?
True
Let r = 2 - 1.97. Let f = 2.97 + r. Let u = f + -2.8. Is u <= 1?
True
Let q = 1.5 - 1.3. Which is smaller: q or 0.3?
q
Let g = -1.8 + 1.8. Let r = 0.08 - g. Which is bigger: 1 or r?
1
Let p = 1.23 - -0.77. Is p at least -2?
True
Suppose 0*t + 1 = t. Let f = -5.14 - -0.14. Let o = f + 5. Which is bigger: o or t?
t
Let x = 10 + -10. Let r(f) = f**3 + f**2 - 2*f + 8. Let y be r(x). Are 7 and y equal?
False
Let c(j) be the first derivative of -j**4/4 + 5*j**3/3 + j**2 - j + 4. Let a be c(5). Suppose -y - 9 - 2 = 4*u, a = -3*y - 4*u. Which is smaller: 2 or y?
y
Let c = 5 + -5. Let y be (-6)/(-7) - (10 + -10). Is y <= c?
False
Let p = -0.03 - 0.03. Let u = p - 2.94. Is 2 at most as big as u?
False
Suppose 3*t - 22 = -112. Let l be (42/2)/(t/20). Let c = -4 - l. Does 10 = c?
True
Let s = -5 - -5. Let m be (s - (-60)/21) + -3. Which is bigger: m or 0?
0
Let p be 7/14*(1 - 1). Is -1/22 > p?
False
Let g be ((-56)/2)/(10/(-4)). Let l = g - 58/5. Let p = 19 + -18. Which is greater: p or l?
p
Let u = 16 + -11. Suppose 0*d = u*d + 5. Which is bigger: -2/9 or d?
-2/9
Let r = 73 + -73. Let z = 251/10 - 25. Is r <= z?
True
Let m be (-4 + 5)/(2/8). Suppose -3*u - u - 4*t + 4 = 0, -4*t = -5*u - m. Let p = 1 + u. Is -2/7 not equal to p?
True
Let l be (2 - (-12)/(-8)) + 81/6. Do 16 and l have the same value?
False
Let t(y) = y**3 + 3*y**2 + 2*y + 3. Suppose 1 - 13 = 4*j. Let f be t(j). Let n be 0 + (f - (-6)/3). Which is greater: -3/2 or n?
n
Let v be 2/8*6*-2. Let x be 1 + 2 + (2 - 3). Let p be 1/x - (-3)/(-6). Which is smaller: p or v?
v
Suppose 5*w = -2*u + 25, -4*w = w + 5*u - 40. Suppose 0 = w*o + o. Suppose q = -3*q - 4. Which is smaller: q or o?
q
Let a = -28 + 27.9. Is -9 at most a?
True
Let d = 0.1 - 0. Let p = 0.2 - 0.2. Let j = p + d. Which is greater: j or -0.1?
j
Suppose -1 = -3*z + 4*z. Let p be z - -2 - 6/3. Which is smaller: -4/5 or p?
p
Let i = 6/5 + -47/35. Suppose 0 = -0*s + 2*s - 6. Suppose 2*x = -s*x. Which is smaller: i or x?
i
Suppose -27*m + 104 = -23*m. Is 25 <= m?
True
Let b = 3.02 - 3. Let t = 13 - 13.32. Let n = b + t. Which is smaller: -0.2 or n?
n
Suppose -30 = 3*g + 36. Is g > -22?
False
Let c be (-2 - (-5)/4)/(-3). Let t = 4 + -3. Is c equal to t?
False
Let y be (-36)/24 - 1/(-2). Let i be (-1)/(-4) + (-9)/20. Which is smaller: y or i?
y
Let u = 4 + -6. Let j be (-14)/3 + (-8)/(-2). Is u greater than j?
False
Suppose -3*p - 4*w - 13 = 0, 4*w + 12 + 0 = -4*p. Which is smaller: p or -1/4?
-1/4
Let i = -2996/37 + 81. Let z be (1 + (-19)/(-3))*18/(-777). Let u = i + z. Is 1/3 < u?
False
Let c(x) = 7*x**2 + x + 1. Let t be c(-1). Let u = t + -9. Let y = -1 - u. Which is smaller: -4/11 or y?
-4/11
Let l be ((-300)/(-40))/((-21)/4). Is l > -2?
True
Suppose 3*i = 2*i - 2*j - 6, 9 = -2*i - j. Are i and -6 nonequal?
True
Let x be ((1 + -5)/4)/1. Is x > -42?
True
Suppose -3*c = -0*c - 3. Let a = 6/17 - -16/51. Is a <= c?
True
Let c(z) = z - 1. Let n be c(1). Let i be n - (0/(-1) - 1). Let q = 8/31 + -63/124. Do i and q have different values?
True
Suppose 0 = 3*c - 0*c - 87. Let s = 179/6 - c. Does -1 = s?
False
Let p(h) = -5*h + 6*h + 4*h + 1 - 4*h. Let a be p(-2). Which is greater: -2/7 or a?
-2/7
Let q(x) = 2*x**3 + 3*x**2. Let k be q(-2). Which is smaller: -5 or k?
-5
Let v(p) be the first derivative of p**4/4 - 8*p**3/3 + 9*p**2/2 - 4. Let t be v(7). Let i = 11 - t. Which is bigger: i or -2?
-2
Let c be (-228)/(-72) - 2/12. Which is greater: 9/4 or c?
c
Let u(s) = -2*s**3 - 2*s**2 + s - 1. Let h be u(-2). Suppose h*r = 2*r. Is r != -2/7?
True
Let f = -575 + 8614/15. Are -2 and f unequal?
True
Let t = -3 + -3. Let h = 7 + t. Which is smaller: -2/9 or h?
-2/9
Let k = -127.7 + 128. Is k > 12?
False
Let d = -310 - -4648/15. Let a = 0.3 - 0.1. Which is bigger: a or d?
a
Let d be 4 - 1 - 16/6. Is -0.03 > d?
False
Let u be ((-3)/330)/((-4)/30). Which is smaller: 1 or u?
u
Let a = 69 - 68.59. Which is greater: 0.1 or a?
a
Let w = -5 + 16. Let j = -7 + w. Let g = j - 3.9. Which is smaller: -2/3 or g?
-2/3
Let v(c) = c**3 - 5*c**2 + c + 7. Let r be v(5). Let g be 8/42*r/(-8). Are g and 1 equal?
False
Let p = -14/15 - -157/120. Which is smaller: p or -1?
-1
Suppose 0 = 5*q - 12*q - 245. Is q <= -37?
False
Let a be (-2)/(-5) + (-116)/(-10). Let f be (-56)/a + 2/(-6). Is -4 at most f?
False
Let p = 0.12 - -2.48. Let i = p + -0.6. Let w = 9.1 - 9. Is i <= w?
False
Let v = 5.5 + -3.1. Let a = 0.04 + -0.64. Let b = v - a. Which is greater: b or 0?
b
Let m be (1/2)/(10/(-100)). Let l = -4 + 0. Is m > l?
False
Let m(i) be the first derivative of i**2/2 - 4*i - 3. Let s be m(6). Let k be (-4)/6 - (-16)/6. Is k at most s?
True
Let m(y) = y**2 - 6 - 2*y + 3*y + 3*y. Let p be m(-6). Let l be 9/p - 1/2. Is l >= -1/4?
True
Let g = 0.7 + -0.2. Let v = -0.2 - 0.4. Let h = v + g. Which is bigger: h or 0.2?
0.2
Suppose -4*l - 3*g = -6, -l - 2*g + 1 = -3. Suppose l = -5*a - 5, a + 24 = -4*d + 3. Which is bigger: d or -6?
d
Let o(d) = -d**2 + 15*d - 1. Let i be o(15). Which is greater: -2 or i?
i
Let f = -6 + 4. Let i = 0 - -2. Let j = 1 - i. Is j smaller than f?
False
Let b(z) = -z + 0*z + 5 + 2*z. Let x be b(-6). Let w be (12/(-52))/((-6)/(-4)). Which is smaller: x or w?
x
Suppose 0 = 3*u - 18 - 27. Let h be 93/u + 1/(-5). Is 6 smaller than h?
False
Let m be 2 + -4 - (-181886)/(-10). Let u = m - -18257. Let b = 66 - u. Is b at most 0?
True
Suppose 2*c + 0*x + 22 = -2*x, -4*x - 2 = -2*c. Let b(g) = -g**3 - 7*g**2 - g - 10. Let y be b(c). Let k = 1076/7 + -154. Which is smaller: k or y?
y
Let u = 0.5 + 2.5. Let k = -3.27 + 0.37. Let i = u + k. Does 4/5 = i?
False
Suppose -5*o + 3 = -7. Let s be 4/(-7) - o/(-7). Which is greater: -2 or s?
s
Let i be (-72)/(-5) + 18/(-45). Suppose 5*o - 4*y + 60 - i = 0, -o + 2 = 2*y. Is o greater than -6?
False
Suppose -4*h - 7*a + 6*a = 0, 0 = -5*h - 5*a + 15. Is 1 greater than h?
True
Let g be (-12)/8*20/(-3). Suppose -4*i = i + g. Which is smaller: i or -3?
-3
Suppose 0*n - 2*n + 6 = 0. Let b = n + -5. Let x(g) = -g**3 - 4*g**2 - 2*g + 1. Let h be x(-3). Is b smaller than h?
False
Let c = 1228/15 - 82. Suppose 5*x - 2*w = 3*w - 5, -w + 2 = 0. Which is smaller: c or x?
c
Let f = 3.93 - -0.07. Let d = f + -5. Which is smaller: d or 8?
d
Let x(j) = -j**3 + 7*j**2 + 4*j + 3. Let v b