se
Suppose 4*t = 17 - 45. Which is greater: -8 or t?
t
Let h = -16 + 15.9. Are h and 7 non-equal?
True
Let f be 2 + (-1)/((-3)/6). Suppose -f*o - t - 20 = 0, o = -0*o + 5*t + 16. Let u = 5 + o. Is u smaller than 2/13?
False
Let w(v) = -v**2 - 10*v + 43. Let k be w(-13). Let f = 0 - -3. Which is smaller: f or k?
f
Let z be (6/8)/(6/(-96)). Let b(m) = -m**2 - 10*m + 5. Let l be b(z). Which is smaller: -20 or l?
-20
Let n = -25/6 + 31/2. Let a = 25 + -13. Let h = n - a. Which is greater: 0.2 or h?
0.2
Suppose -6*q + 8*q - 132 = 0. Is 66 greater than or equal to q?
True
Let n = -0.1 - -0.3. Let g = n + -0.2. Let v = 0 + g. Is v != 0.1?
True
Let p = -13252/5 - -2633. Suppose -5*l = -3*r + 97, 2*l + 25 = l + 2*r. Let j = l - p. Is j <= 0?
False
Suppose -5*x + 2*x = 54. Let a be (-40)/(-144) - 4/x. Which is bigger: a or 2?
2
Let m = 12 - 1. Let k be (4/(-16))/(3/(-132)). Is k at least as big as m?
True
Let k = -1 - -3. Suppose 0 = -k*s + 4*o + 18, 4 - 7 = -2*s - o. Suppose -s*g - 1 = i + 1, 4*i + 8 = -4*g. Which is smaller: g or 1?
g
Let x(s) = 14*s**2 + s - 1. Let q be x(1). Suppose -l = -3*l - 4*j + q, 3*l + 11 = 2*j. Is -2 < l?
True
Suppose -r - 4 = 2*g, -7 = -2*r + 2*g - 3. Is -98 >= r?
False
Let u = -628/975 + 22/39. Let n be (-3)/(-6)*-2 + 3. Suppose m = n - 3. Which is bigger: u or m?
u
Let g = 25 - 26. Is g at least -2?
True
Suppose -7 - 20 = 3*f. Which is smaller: -2 or f?
f
Let o = 16 + -20. Are 0 and o nonequal?
True
Let k be ((-4)/(-55))/(4/(-10)). Suppose -12 = -h - 3*h. Let t = -3 + h. Are k and t equal?
False
Let m be ((-3)/30)/((-3)/(-12)). Which is smaller: m or 0?
m
Let d(a) = a**2 + 1. Let h be d(0). Suppose n = 2*n + h. Which is bigger: n or 1/7?
1/7
Let f be (-80)/(-182) + 6/(-21). Suppose -5*i - 4*r - 40 = -3*r, 3*r + 29 = -2*i. Let h(z) = z**2 + 8*z + 7. Let o be h(i). Which is bigger: o or f?
f
Let w(y) = -4*y**3 + 10*y**2 - 16*y - 13. Let f(j) = -j**3 + 3*j**2 - 5*j - 4. Let k(t) = 7*f(t) - 2*w(t). Let r be k(-2). Is 7/5 != r?
True
Let w be -2 + 3 - 88/(-1)*-1. Is w smaller than -87?
False
Let r be 3/(-12) + 7/(-4). Let a be (-1 - -1) + -17 - -1. Let u be (-1)/3 + a/6. Do r and u have different values?
True
Suppose -4*f + 5*z + 20 = -3*f, -4*z - 16 = -5*f. Let d be (44/165)/(6/(-5)). Which is smaller: d or f?
d
Let h = 3.07 + -0.07. Let d = 3.4 - h. Which is smaller: d or -0.1?
-0.1
Let c = 1018 + -3086/3. Is c less than or equal to -12?
False
Let f = 10 - 42. Let i be f/(-5)*(-1)/2. Let y = -27/10 - i. Are -1 and y non-equal?
True
Let d = 2 + -1. Let b be (-4)/(-16) - d/(-4). Is b > -11?
True
Suppose 0 = -4*a - 1 - 3. Let g = a - -1. Which is smaller: g or -1?
-1
Let c be (-7)/(-9) - (5 - 4). Is 3/4 smaller than c?
False
Suppose 3*y = 9 - 3. Let k = 3 + -2. Let s be -1*(y - 2/k). Is 1/8 not equal to s?
True
Suppose -7*c + 32 = -3. Which is greater: 7 or c?
7
Suppose -18*z = 6 + 12. Which is smaller: z or -6/11?
z
Let h = -37 - -28.94. Let x = 8 + h. Which is smaller: 0 or x?
x
Let j(a) = a + 0*a - 2 + 1 - 1. Let q be j(-8). Let n = 12 + q. Is n equal to 3?
False
Let b(o) = -o**3 + 3*o**2 - 6*o + 2. Let z be b(2). Suppose g - 3*l + 16 = -3*g, g - 4*l = 9. Which is greater: g or z?
z
Let w be (-12 - -2)*(-9)/3. Suppose -6*j + 2*j + w = s, -25 = -5*j. Let i be ((-6)/(-105))/(2/s). Is i greater than or equal to -1?
True
Let z = -0.2 - -0.3. Let y = -34.4 + 2.4. Let v = y - -32. Which is greater: z or v?
z
Suppose -3*m - 10 = 5*z + 4, -2*z - 10 = -m. Suppose -5 = -3*k + w, -5*w = 8*k - 3*k - 15. Is k less than m?
False
Let s = 15 + -22. Let c = 9 + s. Let f be (3 - c - 1)/(-2). Which is smaller: f or 3/5?
f
Let o(f) = 3*f - 1. Let j be ((-3)/1)/(-3) + 0. Let q = 2 - j. Let n be o(q). Which is greater: 3/2 or n?
n
Let u(k) = -k**3 - 4*k**2 + 6*k - 1. Let d be u(-5). Suppose -2*p - 18 = -5*p. Let g = p + d. Is 1/5 at most as big as g?
False
Let g = 22 + -23. Which is smaller: g or 1?
g
Let v be (6/49)/((-11)/(-693)). Is v at least 7?
True
Suppose -4*q + 0 = -3*g - 5, q = 3*g + 8. Let b = 191/1189 - 8/41. Are q and b non-equal?
True
Let b = 1.1 - 1. Let n be 15/18 + (-4)/(-8). Which is smaller: n or b?
b
Suppose t - 42 - 16 = 0. Is 59 at most as big as t?
False
Let y = -3/298 - 2363/2086. Are y and 0 non-equal?
True
Suppose 0 = -5*c + 2 - 7. Which is smaller: c or 1/22?
c
Let i = 0.4 - 0.4. Is 0 <= i?
True
Suppose -5 = -w - 4. Let s be w/2 + -4 + 4. Is -0.1 not equal to s?
True
Let a = 4 - 12. Let c be 4/(-18) - a/36. Let p be -1 + 0 - (c - 1). Is p >= -2/3?
True
Let i = 6 + -6.2. Let p = -0.1 - i. Are 0.1 and p unequal?
False
Let o = 2 + -2. Let j = 67/2 - 33. Which is bigger: j or o?
j
Let g = -8 + 10. Let z = g + -2. Is z >= 0?
True
Let w = -0.119 - 6.581. Let a = 0.7 + w. Which is smaller: 1 or a?
a
Let h = -28 - -22. Which is smaller: -7 or h?
-7
Let i be (4/(-6))/(2/(-6)). Suppose 4*m + 2*z = 7 - 33, -4*m - 21 = z. Let b be (2/(-35))/(m/40). Which is greater: b or i?
i
Let n be 1/(-2)*(-8 + 8). Suppose n*o = -2*o + 4. Which is bigger: o or 1?
o
Let x = 3/19 + -83/285. Is x greater than -3/7?
True
Let c = 144 - 144.1. Is c smaller than 25/6?
True
Let z be 3/1*(0 - -1). Suppose -2 = -z*n + 1. Let a be n/4*(-12)/(-3). Which is greater: -0.2 or a?
a
Let p = 1.4 + -0.4. Let d = 1.6 - p. Which is smaller: -0.1 or d?
-0.1
Suppose 4*n - 55 = -3. Suppose 5*c = -2*y + n, -2*y + 6*y = 2*c + 14. Which is bigger: c or 1/2?
c
Let t be (-18)/12*(-4)/6. Suppose -4*x + t = -3*x. Which is bigger: x or 0?
x
Let g(n) = n**3 + 4*n**2 - 2*n - 5. Let q be g(-4). Suppose 2*v - 3*z = -6*z + 2, -5 = -5*v + 3*z. Is v less than q?
True
Let b = -4 - 0. Let n be ((-2)/b)/((-21)/12). Which is smaller: n or -1?
-1
Let w = -11 + 26. Suppose -20*z = -w*z. Which is bigger: -3/2 or z?
z
Let t = 119 - 111. Which is smaller: -3 or t?
-3
Suppose -2*o = -2*z + 2, 2 + 3 = 5*z + 4*o. Suppose 0 = -4*s + 3*t - 1 - 0, 2*s + t = -13. Let l = 11/3 + s. Is z > l?
True
Let p be (-48)/20 - 4/(-10). Let r be p/(0 - -2) - -6. Do 4 and r have the same value?
False
Let p = -0.092 + -1.948. Let f = 0.24 - 0.2. Let k = f + p. Is k greater than 0.1?
False
Let b be (-9)/4 + 24/(-32) - 11. Do -14 and b have the same value?
True
Let n be (2/(-2))/(1*9). Is n < 1?
True
Let s be 6/(-9)*-3*2. Let w = 8 - s. Let o = w + -6. Are -1 and o equal?
False
Let j = -3/10 - -17/50. Which is greater: 1 or j?
1
Let k = 12711/13 + -977. Which is bigger: k or 0?
k
Let k = 21 - 21. Which is greater: k or 7/9?
7/9
Let m be (1 - 1)*(-2)/(-4). Are m and 59 nonequal?
True
Let t(n) = -n**2 - 11*n - 7. Let j be t(-5). Which is bigger: j or 24?
24
Let s(j) = -j - 6. Let y be s(-6). Let a(x) = x**3 + 3*x**2 - 4*x + 4. Let w be a(-4). Let i be (w/(-12))/((-14)/(-6)). Is i > y?
False
Let q = 3.2 - 2.3. Let w = q + -1. Is -0.7 < w?
True
Let k(y) = -y - 1. Let p be k(-1). Let h = 9 - 4. Let q be h/2*(-12)/(-15). Do q and p have the same value?
False
Let o = 1 + -1. Let k = o - 0. Do k and 1/5 have different values?
True
Let i be 1 - (3 + -5 - 2). Let c be 0 - (-5)/(i/(-4)). Let o(f) = -f**2 + 6*f. Let v be o(6). Is c greater than v?
False
Let w(q) = -q**3 - 4*q**2 - 2*q - 3. Let a be w(-4). Let s be -6*(a/(-2) + 3). Do -1 and s have the same value?
False
Let q(u) = -5*u - 2. Let t be q(-1). Let j = 2 - -1. Are j and t equal?
True
Let m = -3536/99 - -328/9. Let u = m - 28/99. Is 0 smaller than u?
True
Let j be 4/(-14) - (-44)/7. Let v = 5 - j. Which is smaller: v or -2/9?
v
Suppose 2*y - 4 = y. Suppose -3 = -m - y*l + 4, 2*l = 6. Is -5 at least m?
True
Let x = -1012/565 - 1/113. Is -2 bigger than x?
False
Let d(q) = q**3 - 3*q**2 + 2*q - 3. Let z be d(3). Is z at least 3?
True
Let n(d) = -2*d + 4. Let a be n(4). Let l = -5 - a. Is -2/7 > l?
True
Let i = 4 - 7. Let s = 1 + i. Is s at most as big as -2?
True
Suppose -2 = 39*z - 37*z. Let p = -7 - -1. Is z not equal to p?
True
Let u = 32 - 22. Suppose u + 2 = 3*m. Let b be (m/(-10))/(1/5). Do -1 and b have the same value?
False
Let w = -0.01 - 0.05. Let l = -1.46 - -1.6. Let t = l - w. Which is smaller: 0.4 or t?
t
Let x = 0.274 + -0.074. Let w = -2 + 1. Which is greater: w or x?
x
Suppose -2*l + 2*w = 4 - 2, 4*w - 18 = -3*l. Suppose l*v + 18 = -2*r - 3*v, 3*v + 7 = -5*r. Which is smaller: 1/3 or r?
1/3
Suppose 3*l - 4 = 2*l. Let q be 0/l - 0/2. Suppose q = -d - j