t s be v(5). Is -9 less than or equal to s?
True
Let q be 301/196 + 2/(-7). Which is smaller: q or 2?
q
Let g = 8 + -7.9. Let u = -1.1 + g. Is 1 less than u?
False
Let m = 37/135 - 2/27. Which is smaller: 1 or m?
m
Let q = -0.2 + 0.3. Let m = -0.8 - -1. Let z = m - q. Is z <= 0?
False
Let c = -157 + 157. Are 2 and c non-equal?
True
Let l be ((2 - 2)/(-2))/2. Let y = -20 + 21. Is l > y?
False
Suppose 5*u + 4*d = 13, 6 = 2*u + 4*d - 4. Is u less than or equal to 7/25?
False
Let r be (10/8 + -1)*-4. Let m = 1 - 3. Which is greater: m or r?
r
Let p(v) = -2*v**2 + v + 1. Let r be p(-1). Let b = r + 6. Suppose -b = w + w. Which is smaller: w or -1?
w
Let b(p) = -p**3 - 2*p**2 + 3*p - 2. Let k be b(-3). Let t be ((-20)/5 - (-83)/20)*-8. Is k < t?
True
Suppose 3*g - 7 = -2*o, 6*o + 3 = 3*o. Suppose g*k + k = -16. Is k greater than or equal to 0.2?
False
Let k be (2/(-2 + 4) - 5) + -8. Suppose -4*x = 5*b + 23, 5*b - 21 - 16 = x. Is x bigger than k?
False
Suppose 0 = -6*d - 55 - 29. Is d smaller than -14?
False
Suppose 0 = -r + 2*v + 8, 0*v + 10 = -2*v. Suppose 3*a - 4 = -16. Which is smaller: a or r?
a
Let k be 2 + (1 - 36/15). Is 1 != k?
True
Let j = 2/5 - 381/40. Let f = -9 - j. Which is smaller: f or 1?
f
Let y = -215 - -210.92. Let n = 0.08 + y. Let i = n + 5. Which is greater: i or 2?
2
Let v = 32 + -24. Is v at least as big as 6?
True
Let a(i) = i + 8. Let m be a(-12). Let t = 5 + m. Which is bigger: t or 2?
2
Let m be 1*-3 - (4 - 15). Which is smaller: m or 1?
1
Suppose 6*r = 14 - 8. Which is bigger: r or 0?
r
Suppose -4*l + 20 = l. Suppose h + 6 = l*h. Let j = -257 + 1033/4. Is j at most as big as h?
True
Let h = -7 + 5. Let l be (1/h)/((-5)/(-2)). Which is bigger: l or -1?
l
Suppose 2*n + 14 + 12 = 4*z, 4 = -4*n. Let x be (-4)/(-16) + 11/4. Let s be x/18 + (-3)/z. Are -1 and s non-equal?
True
Let c = -1.6 + -0.4. Let f = 1/2246 + -26981/65134. Let n = f - -118/145. Which is bigger: c or n?
n
Suppose 0 = -4*i + 6*i - 16. Let o = i + -7. Is 3/8 smaller than o?
True
Let a be -1 - (4/(-2))/(-2). Suppose 197*h - 15 = 202*h. Which is smaller: h or a?
h
Suppose 5*w + 9 - 4 = 0, -2*w = m + 2. Suppose 40 = -5*a - m*a. Which is greater: a or -7?
-7
Suppose 4*u = 2*u - 4. Let v be (-12)/10*u/(-6). Let o(k) = k**3 + 6*k**2 + 4*k - 5. Let l be o(-5). Is v > l?
False
Let r = -0.27 + 0.27. Let p = 0 - 0. Is r at least p?
True
Suppose 3*n + 63 = -4*m, -m + 10*n = 5*n + 10. Is m bigger than -14?
False
Let g = 16/5 - 82/35. Are g and 1 nonequal?
True
Let o be 36*(-4 - 14/(-4)). Is -17 at most as big as o?
False
Let h be (3/(-2))/(7/42). Is h greater than -9?
False
Let q = 0.21 - 0.21. Is q greater than 14?
False
Let r be (-3*3/(-54))/(4/32). Are r and 1 nonequal?
True
Let y = -43.2 + 43. Let x be 9/7 + -1*1. Is x > y?
True
Let m = 9 + -8. Let u = -1 - 2. Is m != u?
True
Let g = -10 + 10. Let z = -0.2 - 0.8. Let b = z + 1. Is g >= b?
True
Let k(j) = 4*j + 2. Let t be k(-5). Let o be ((-2)/(-12))/((-6)/t). Which is greater: o or 4/9?
o
Let f = -0.088 + 3.988. Let y = -0.1 - f. Which is bigger: -2 or y?
-2
Let m = 2/7863 - 1305272/55041. Let k = 24 + m. Let y(s) = s - 8. Let c be y(8). Which is bigger: k or c?
k
Let y(h) = -2*h**3 - h - 1. Let w be y(-1). Is -6 < w?
True
Let v = -31/12 + 9/4. Which is smaller: 0 or v?
v
Let i = -2.17 + 2.3. Let m = i + -0.03. Which is smaller: 1/9 or m?
m
Suppose 31*t - 29*t + 20 = 0. Which is smaller: t or -12?
-12
Let b = 11 - 6. Suppose 6 = m - b. Is 13 != m?
True
Let m be (1 + -1)*(0 + -1). Let j be 0/(m/2 - 1). Let v = -3/37 + 83/111. Is v greater than or equal to j?
True
Suppose 0 = 2*q + 5*g + 29, 30 = -5*q + 2*q - 3*g. Let u be (4/q)/2*1. Let a = -5 - -5. Which is smaller: u or a?
u
Suppose m - 8 + 4 = 0. Suppose -m*p + 10 = p. Let l = 2 - p. Which is bigger: -1 or l?
l
Let y be (-8)/(-12)*258/(-4). Is y equal to 1?
False
Suppose 2 = i + 7. Let j be (-2)/i - (-39)/15. Let y be 1 + 0 - (j - 3). Is 0 at most as big as y?
True
Let l = 0.23 + 8.77. Let h = -3 + l. Is h >= 0.1?
True
Suppose -5*i - 3*j + 2*j = 128, 3*j = 5*i + 116. Is i bigger than 0?
False
Let q be 10*(3/(-2) - -2). Suppose -3*x = -3*b - b - 37, -4*x = -4*b - 44. Let l = q - x. Is l greater than -1?
False
Let q(u) = u - 2. Let j be q(4). Let g be (-1)/(-3) + 30/36. Is j less than g?
False
Let m = 0.2 - 0.3. Let a = -1.1 - m. Let z = -2.4 - -2.4. Which is smaller: z or a?
a
Let i(f) = f**2 - f + 2. Let j be i(0). Let s be (0 + 0)*1/j. Suppose 7 = 5*b + x, -3 = -b - s*x - x. Is b greater than 3/7?
True
Let m = -541/102 - -16/3. Which is smaller: 1 or m?
m
Let h be (-2)/3*(-6)/(-4). Let c(i) = 10*i + 1. Let k be c(h). Is -8 >= k?
True
Suppose -3*w - 3*i = -27, w + 0*w - 2*i = -3. Let n be 10/w - 3*1. Is n greater than -1/5?
False
Let s = 0.3 - 1.3. Is -0.18 smaller than s?
False
Let p = -115 + 225/2. Which is bigger: -4 or p?
p
Let t = 92/1785 - 10/357. Is 0 equal to t?
False
Let j be 102/304*(-1 - 3). Let d = -3/19 + j. Is d greater than -1?
False
Let h(v) = 2*v - 3. Let t be h(3). Let c(q) = 2*q**2 - q. Let s be c(t). Do 14 and s have the same value?
False
Let w = 3 + -8. Let z = 7 + w. Let i be (6/(-48))/((-1)/(-2)). Which is greater: i or z?
z
Let p(w) = w**3 + 3*w**2 + 2*w - 2. Suppose -l - 3*y + 1 = 18, 5*l - 2*y = 0. Let q be p(l). Which is smaller: 0 or q?
q
Suppose -3*z + 21 = z - s, 5*s = -4*z - 9. Let x be 12/8*z/(-3). Which is smaller: 0 or x?
x
Let o be (-4)/(-7)*35/10. Suppose -8 = -2*y + 4. Let b be 2/(-6) - (-2)/y. Which is greater: o or b?
o
Let k(w) = -w**3 - 3*w**2 - 2*w - 2. Let r be k(-2). Is r at most as big as -6/11?
True
Suppose 59*x - 57*x = -6. Which is smaller: x or 2?
x
Let q(d) = -d**2 + d + 1. Let f be q(0). Let w be 0 - (29/(-40) - -1). Let s = w - 1/8. Is s at least as big as f?
False
Let y = 10 + -28/3. Let s be (-1 + 1)/((-3)/3). Let u be (-3 + s)*4/12. Which is greater: y or u?
y
Let f be (-5)/15 - 8/3. Let d(v) = -v**2 - 2*v + 4. Let l be d(f). Let q be (1/9)/(l/(-3)). Is q equal to -1?
False
Let j = 5.5 - 3.5. Which is greater: -0.02 or j?
j
Let s = 10 - 10. Is 2/43 less than or equal to s?
False
Suppose -4*p + 2 = -3*s, 3*s + 2*s = -5*p - 15. Is 2/17 greater than or equal to p?
True
Let r = 4 - 3. Suppose -7*u + 2*u = 30. Let z = -8 - u. Which is smaller: z or r?
z
Suppose -41 = -4*x - 125. Is -20 greater than or equal to x?
True
Let n(h) = -h**3 - 2*h**2 - 2. Let f be n(-2). Is f at least as big as -9/4?
True
Let x = 0.1 + -3.1. Let y = 1/3 - 0. Let w = 0 + y. Which is bigger: w or x?
w
Suppose 2*n + 2 = -0*n. Let f = 28 + -8. Let o be 2/4*f/(-45). Which is smaller: o or n?
n
Let h = -11 - -47/4. Let g be 0/(-2) + (-1 - -1). Is g greater than or equal to h?
False
Let x(f) = f**3 - 15*f**2 + 1. Let u be x(15). Which is greater: 2/23 or u?
u
Let g = 58/5 - 32/5. Which is smaller: g or 6?
g
Let z = -131.5 + 130. Which is smaller: z or 5/3?
z
Let x be -1*(-5 - (0 + -2)). Let w = -2 - 1. Let z = x + w. Is -1/4 bigger than z?
False
Suppose -2*q - 3*q = -25. Let s = q + -4. Which is smaller: 2/19 or s?
2/19
Let x = 27593855/2421804 + 1/73388. Let z = -35/3 + x. Are z and -1 non-equal?
True
Let j = 1.3 + -1.5. Are j and -3/5 equal?
False
Suppose -4*r = 3*f - 7, -4*r + 2*f + 1 = -1. Let h be (-144)/798 - (-4)/14. Let m = -35/152 + h. Which is smaller: m or r?
m
Suppose 5*u + 0*z = -4*z - 567, -462 = 4*u - z. Let x = u - -573/5. Is 1 bigger than x?
True
Let q be (-180)/84 + (-2)/(-14). Let d be -3 + (q - -3) + 1. Which is smaller: -2/23 or d?
d
Let j(y) be the first derivative of -2*y**3/3 - 7. Let w be j(-1). Which is bigger: -5/8 or w?
-5/8
Suppose 8*r + 2*o = 4*r + 82, -r = o - 18. Is 22 bigger than r?
False
Suppose 0*y - 5 = -5*y. Suppose 0 = -3*v - l + 65, 0*v - 5*l + 39 = 2*v. Let o be 4/(-143) + 4/v. Which is smaller: y or o?
o
Let t = -0.2 - -1.6. Let x = -1.3 + t. Are x and 2 equal?
False
Let w = -2/37 + -56/333. Let x be 1/2 - (-9)/2. Let f(u) = u - 6. Let t be f(x). Which is bigger: t or w?
w
Suppose 0*f + 3*f - 60 = 0. Let o be (-14)/30 + (-4)/f. Is o != 0.01?
True
Let z(t) = t**2 - t. Let l be z(4). Suppose 2*a + 0*a = l. Let k be -1 - (a/(-15) + -1). Which is greater: 1 or k?
1
Let g be (-3)/(-2*(-9)/24). Let v be ((-1)/15)/(g/(-12)). Is v less than or equal to 1?
True
Let a = 2/45 - 49/90. Let r = 30 + -31. Which is