se
Let g = 7 - 10. Let a be (-2)/(-9) - 89/36. Which is smaller: g or a?
g
Let s(q) = q**2 - q + 1. Let y be s(0). Let n = -1 + y. Suppose h - 6*h + 3*b = 17, n = 4*h - 5*b + 24. Is h >= 1/4?
False
Suppose 2*x - 102 = -5*h, -4*h = -5*x - 50 - 58. Let k be h/(-33) + (-2)/(-3). Which is smaller: -1/4 or k?
-1/4
Suppose -h = -0*h. Let a = -2 - -2. Is a at least as big as h?
True
Let t = -0.25 + 0.25. Is t equal to 27?
False
Suppose 120 = 16*q - 21*q. Let h = 23 + q. Which is greater: h or 3/10?
3/10
Let z = 1.3 - 1.3. Is z < -5?
False
Suppose 0 = -19*y + 21*y - 10. Let q = -3 - -8. Is y greater than q?
False
Let k be (-16)/(-532) + (-8)/(-28). Is k less than 0?
False
Let d = -2 - -1. Let z be 1 - 1 - d/(-4). Suppose 13*t + 4 = -9. Is z != t?
True
Let x be (-2)/(-4)*(7 + -3). Suppose -3*v - x = 4. Suppose 2*b - a + 2 = 0, -3*a = -5*b - a - 5. Which is greater: b or v?
b
Let s = -138.08 - -135. Let w = s - -0.08. Let f = w - -2.9. Is f at most 0.1?
True
Let p be (-2)/(-11) + 2 + -2. Let w = 13 - 11. Suppose -k - 5 = 3*t, 3 + w = 2*t - k. Which is greater: t or p?
p
Suppose -11 = -12*a + 13. Is a at most as big as 6/7?
False
Suppose 2*q + 1 = 3. Let y = q - 1. Let n = 10/23 + -47/161. Which is smaller: n or y?
y
Let o = 0.45 + 10.55. Which is bigger: 0.1 or o?
o
Suppose 0 = 2*k - 6*k - 12. Let p be 33/(-30) - k/6. Let l(h) = h**2 - 4*h + 1. Let a be l(3). Which is smaller: p or a?
a
Let s = 15249/16 - 33419/48. Let q = s - 256. Which is smaller: 1 or q?
q
Let j = -66 - -67. Let w(a) = 3*a + 1. Let c be w(-1). Which is smaller: j or c?
c
Let x = -16 + 22. Let h = 6 + 0. Let k = x - h. Is 1/6 not equal to k?
True
Suppose -6*n = -n - 10. Is 2 smaller than n?
False
Let f = -12/5 - -64/35. Is 2 != f?
True
Let p be 1/2*11*2. Suppose 0 = -5*o + p + 4. Let t(v) = -v**2 + 4*v. Let x be t(o). Which is greater: x or 4?
4
Let i = -2148/19 + 113. Suppose -3*s = s. Is s > i?
True
Suppose 4*u = -2*z - 0*u - 10, -22 = -2*z + 4*u. Suppose z*p + 4*l = 29, -7 - 2 = 2*p - 3*l. Let c be 3 + (2 + -4 - -3). Is p less than c?
True
Let i(u) = u + 14. Let a be i(-10). Suppose o + 5 = a*r - 2*o, 2*r + 11 = -3*o. Which is greater: r or -6/5?
r
Let p = 0.1 - -3.9. Let c = 0.74 + -4.84. Let s = p + c. Which is smaller: s or 2?
s
Let g(r) = -r**3 + 6*r**2 + 7*r + 5. Let b be g(7). Suppose -3*j - 3 = 2*f, j + 4*j - 3*f = -b. Let m = -125.2 - -125. Is m at most as big as j?
False
Let m = -17 + 7. Is m smaller than -10?
False
Let d be (1 + -2)*-1 + (-26 - -23). Is -36/13 bigger than d?
False
Let c(m) = m**2 - 11*m + 7. Let s be c(10). Let y = s - -5. Let q be (1*-1)/((-1)/1). Which is greater: q or y?
y
Let z = -14.66 - -1.46. Let n = z - -13. Which is bigger: -0.4 or n?
n
Let j(s) = -1. Let p(g) = g**3 + 3*g**2 + 4. Let l(t) = 4*j(t) + p(t). Let b be l(-3). Which is bigger: -1/4 or b?
b
Suppose 21 = -w - 5*b, -w + 0*b - b - 1 = 0. Let u be (w/200)/((-2)/8). Which is smaller: 1 or u?
u
Suppose 0 = -3*y - 0*y + 9. Suppose 3*h + 4*x = -9, 2*x - 1 = -5*h - 2. Suppose 3*f = -f + g - h, 0 = y*f + 3*g - 3. Which is smaller: f or -2?
-2
Let j be 5*(-21)/(-4 - -1). Let i be 14/(-10)*(-10)/j. Which is smaller: i or 1?
i
Let t(w) = 0 + 2 + 2 - 3 + 2*w. Let n be t(-3). Is n greater than -5?
False
Suppose 7*i - 4 = 5*i. Let u be (-3)/(-2)*4/3. Let a = u - i. Which is smaller: a or 1?
a
Let s = 5 - 11. Suppose -14*q - 44 - 40 = 0. Is q greater than or equal to s?
True
Let b = -3 + 5. Let k = 7 + -4. Suppose -5*w = 3*m - 0 + b, w = k*m - 4. Which is bigger: -2 or w?
w
Let r(w) = -2*w**2 + 27*w - 12. Let l be r(13). Which is smaller: l or 17/8?
l
Suppose -3*g - 186 = 3*g. Is -32 greater than or equal to g?
False
Let g(p) be the third derivative of p**4/24 - p**3/3 + 3*p**2. Let o be g(3). Is o less than or equal to 1/3?
False
Let x = -7 + 24. Suppose -d = -4*u - 0*d + 31, 3*u - 2*d - x = 0. Is u at most as big as 9?
True
Let g be (-21764)/25806 + 4/6. Let s = -2/391 + g. Which is smaller: s or 0?
s
Let q be 10/(-5) + (-90)/(-51). Are 0 and q equal?
False
Let x = 10 + -7. Are x and 2 unequal?
True
Let p be 40917/(-189) + 6/(-21). Let i = -217 - p. Let x(d) = -d**2 - d + 1. Let z be x(1). Which is smaller: i or z?
z
Let f(v) = v + 2. Let d be f(0). Let o(l) = 2*l - 9. Let z be o(7). Suppose 3*r = -z*q + 5, 3*r = -3*q - 2 + 5. Is q less than or equal to d?
True
Let y be (0*2/4)/(-3). Suppose -2*b + 0 + 4 = y. Suppose -b*c + 2*g - 2 = 0, c + 7 + 0 = -5*g. Is -1 less than or equal to c?
False
Suppose -6 = -2*h - 2*n, 3*h - 33 = 3*n + 2*n. Let x(u) = -2*u - 1. Let m be x(-2). Let d = h - m. Is 3 less than or equal to d?
True
Let q = -0.03 - -0.07. Let n = 0.06 - q. Let i = n - 2.02. Is i greater than 1?
False
Let a be (-18)/30 - 18/(-40). Let i = -27/20 + a. Is i bigger than -2?
True
Suppose -15 = -5*t - 0*t. Let m(d) = -5*d - d**3 + 3*d + d**3 - 3*d**2 + d**3 + 4. Let b be m(t). Which is smaller: -1 or b?
b
Let b = 1.6 + -1.6. Is -5 greater than b?
False
Let c(g) = -2*g**3 - 14*g**2 - 3*g - 15. Let o be c(-7). Are 5 and o non-equal?
True
Let b = -0.3 - -0.5. Let w be (-3)/35*-1 + 0. Let a = w - -1/5. Which is greater: a or b?
a
Suppose -2*o + 6 = 2*d, -17 = -3*o - o - 5*d. Let y be ((-15)/(-6) + o)*2. Which is smaller: y or -0.1?
-0.1
Let m(f) = -f**3 + 2*f**2 + 4*f - 1. Let r be m(4). Which is greater: -2 or r?
-2
Suppose 5*x - 6*x = 6. Let r = 8 + x. Suppose 4*a = 2*a + r. Does a = -1/3?
False
Let w(t) = -4*t**3 - 2*t**2 - t. Let f be w(-1). Which is greater: 0 or f?
f
Let k = 80 - 80. Is -3/14 at most as big as k?
True
Let t = -461995007662 + 280824589397442339/607852. Let k = 2/8939 + t. Let v = k - -2/17. Which is smaller: v or 1?
v
Let k = -9 - -4. Let h = -6 - k. Does h = -1?
True
Let j(r) = r**3 - 3*r**2 - 4*r + 5. Let w be j(4). Suppose -4 = -w*f + f. Do f and 1 have the same value?
True
Let z = 26 - 25. Let g be (-19)/(-5) + z/5. Which is greater: 5 or g?
5
Suppose 5*b = 27 + 48. Let k be 4/10 + 9/b. Suppose -k = 4*m + 3. Is -1 smaller than m?
False
Suppose 4*n - 16 = 4*j, 5*n - 6*n + 4 = 3*j. Are j and -1/69 nonequal?
True
Let m(w) = -2*w + 2. Let x be m(4). Is 2 at most x?
False
Suppose -2*x = -5*x. Suppose x = 3*u - 4*u - 4. Which is smaller: u or 0?
u
Let b = 120 - 86. Suppose -41 = 5*q + b. Let r be 1/(-4)*(-20)/q. Is -1 not equal to r?
True
Let h be ((-36)/(-144))/(5*1/164). Is 8 less than or equal to h?
True
Let r be 6/9 - (-5)/(-3). Let f be ((r - -2) + -1)/(-1). Let i(a) = a + 3. Let m be i(-4). Does f = m?
False
Let z = 9.9 - 10. Which is smaller: 5 or z?
z
Let c be (-2)/6 - (-11)/(-3). Which is smaller: c or -2?
c
Let c = -3 + 2.94. Let u = 50 - 49.9. Is u at least as big as c?
True
Let r(y) = y**3 - y**2 - y + 3. Let t be r(0). Let x be (-15)/5 + 1*t. Which is bigger: -2/5 or x?
x
Suppose -12 = 3*t - 0. Let s be 12/18*6/1. Suppose 3 = -s*v - 5. Is v at most t?
False
Let q be 0 + -1 - (4 + -10). Suppose 5*x = -0 - q. Are -1 and x nonequal?
False
Suppose -7*j = 9*j. Suppose -t + 2 = -0. Let a be (-1)/t - (-2)/5. Which is greater: j or a?
j
Suppose 5*p + 4*o = -10, -2*p + 4*o = 2*o - 14. Suppose 2*w = 5*w - d, 5*w + d + 8 = 0. Is p <= w?
False
Suppose -8 = 3*d + 1. Let m be -16 - (-4)/(-12)*d. Is m <= -15?
True
Let o = -9013/40 - -1116/5. Is 2 >= o?
True
Let i = -2 + 3. Suppose -5*n + 9 = -1. Let v be (n - i) + (-2)/8. Is v smaller than 1?
True
Let i = 0.055 - -0.145. Is i less than or equal to 1/3?
True
Let y = 25 - 28. Which is smaller: y or -7/4?
y
Let g(p) = p. Let m be g(0). Which is smaller: 2/107 or m?
m
Let a = 5 - 2. Let x be 7 + 3/(-3) - 2. Let j = 0 + x. Is j less than or equal to a?
False
Let j be 1/(-2) + 6/4. Suppose 7*x + 5*l = 4*x - 6, -2*l = 0. Let w be x + 1 + 10/8. Is j equal to w?
False
Suppose -4*t - 6 = 2. Suppose -2*f = 13 - 5. Which is smaller: f or t?
f
Let g = -3 - -3. Suppose g = -z + 4 - 1. Which is smaller: 3/2 or z?
3/2
Let s = 8 - 66. Is s > 1?
False
Let j = 5 - 5. Suppose 3*q + 2*q - 10 = j. Let z = q - 1. Which is smaller: 2/19 or z?
2/19
Let p = -7 - -6.9. Is 1.2 > p?
True
Let u = -11 - -10.7. Which is greater: -0.1 or u?
-0.1
Let g = -11 + 7. Let m = g + 3.8. Which is bigger: m or 2?
2
Suppose -2*l = 2*l - 2*g - 34, 3*l = 3*g + 21. Suppose -4*f + l = -2. Let s = 1 - 0. Is s != f?
True
Let j = 41/2 - 21. Let k be 10 + 1 + -1 + 34 + -40. Which is