o?
True
Let l be (-2)/(-9) + (-6)/27. Suppose -4*t = -l*t - 16. Let j(u) = -u - 2. Let b be j(-5). Which is smaller: b or t?
b
Let p(h) = -h**3 + 6*h**2 - 1. Let o be p(6). Suppose 0*y + 5*y + 1 = -3*v, 0 = -3*v + 4*y - 10. Which is smaller: v or o?
v
Let l = 25/132 + 2/33. Which is smaller: l or 3/7?
l
Let i(t) = -t**3 - 8*t**2 + 4*t + 11. Let w be i(-8). Is -20 greater than w?
True
Suppose -k = -5*k. Let s = -1/74 - 143/370. Which is smaller: k or s?
s
Suppose 6*o - 25 = 11*o. Is -13 less than or equal to o?
True
Let u be ((-10)/(-8))/(51/(-48) - -1). Is -19 at least u?
True
Let x = 0.08 + -0.06. Let r = -0.02 + x. Which is bigger: r or -2/5?
r
Let m be ((-18)/27)/(21/9). Is m equal to 0.25?
False
Let d = 312 - 314. Suppose 0 = -2*k + 5*u + 4, k - 4*u = 2*k + 11. Which is bigger: d or k?
d
Suppose 2*i - 4*b + 14 = 0, 3*i = b + 2*b - 12. Let x(j) = -j. Let n be x(i). Let l be (2 + n + -2)/1. Which is smaller: l or -1?
-1
Let x(y) = -y + 24. Let v be x(0). Let u = v + -22. Which is smaller: u or 8/9?
8/9
Let u = 5 + -4. Let p = u + -1. Suppose p = 3*z + 3*f - 12, z + 5*f - 24 = -0*z. Are z and -1 unequal?
False
Let n = 0.1 + -0.2. Let r(t) be the second derivative of -t**4/12 + t**3/6 + 2*t**2 - t. Let o be r(0). Is n less than or equal to o?
True
Let h = 2.69 - 2.9. Let l = -10.79 + h. Let j = l - -10. Do -2/5 and j have different values?
True
Let i = -115875 + 1044790/9. Let w = -213 + i. Which is bigger: w or -1?
w
Suppose -2*f + 4*d = 0, -2*d + 8 + 28 = 5*f. Suppose 2*k + f = 4*k. Let t be k/(3/(-6)*-15). Are 1/3 and t equal?
False
Suppose 0 = -y + 4 - 1. Suppose -8 - 4 = -2*g + y*u, 3*g - 4*u - 16 = 0. Do g and 0 have the same value?
True
Let u = 21 - 11. Does 9 = u?
False
Let l = 15/22 + -2/11. Let k = 0.2 + -0.4. Is l at most as big as k?
False
Let n = -23 + 21. Is 4 bigger than n?
True
Suppose 2*q = -8, -a + 3*q + 4 + 1 = 0. Which is smaller: -4 or a?
a
Let u be (3 + -4)*3 + 3. Is 2/71 not equal to u?
True
Let k be 3/1 + 77/66. Which is smaller: 4 or k?
4
Let z be ((-2)/4)/((-1)/(-10)). Let n(c) = -c - 5. Let m be n(z). Let i = 47 + -143/3. Which is bigger: i or m?
m
Suppose 4*x + 11 = 5*t, 4*t - x + 0*x = 0. Is -2/85 < t?
False
Let n = -14 + 13.9. Let g = -0.07 - n. Is 2/5 > g?
True
Suppose 2*v - 12 = 5*t, 2*t - 7 + 15 = 4*v. Let b be -3 + -3 - v - -2. Is b >= -5?
True
Let h(z) = -z**3 - 3*z**2 - 3*z. Let o be h(-2). Let r(a) = 2*a**3 - 4*a**2 + 2*a + 1. Let c be r(o). Is 5 at most as big as c?
True
Let z be 61*7/(14/8). Let l = z - 1216/5. Suppose -5*f - 6*n + 2*n - 15 = 0, 3*n + 10 = -5*f. Which is smaller: f or l?
l
Let w(v) = -v**2 + 4*v + 11. Let s be w(6). Which is bigger: -1/2 or s?
-1/2
Let m be -3 - 2/2*-3. Let l = 11/20 - 61/220. Are l and m equal?
False
Let r = -5.782 + 0.652. Let q = r + 0.13. Let y = -9 + 8. Is q greater than y?
False
Let n = 28/3 + -257/6. Let h be ((-4)/2)/((-4)/66). Let v = n + h. Which is smaller: v or -1?
-1
Let f = 237 + -7583/32. Which is bigger: f or -1?
f
Let f(o) = -o + 4. Let q be f(2). Suppose 3*a = 4 + 14. Suppose 0 = 4*p - 2*p - a. Is p less than or equal to q?
False
Let r be (54/(-40))/((-2838)/12875). Let l = r - -1/1892. Let t = l + -359/56. Which is bigger: t or -1?
t
Suppose 7*c + 0*c + 14 = 0. Which is bigger: c or -13?
c
Let q = 0 + -0.15. Let v = q - -0.05. Are -1 and v equal?
False
Let t = -134.73 + 136. Let s = -1.3 + t. Which is greater: s or -2?
s
Let h = -5 + 9. Suppose -h*z + 5*t = 92, 2*z = z - 5*t + 2. Let j be 8/(-6) + 12/z. Are j and -1/2 non-equal?
True
Suppose 5*k + 4*b = 31, 4 = 5*k + b - 15. Suppose c + 24 = -4*j, 0 = k*c - 4*j - 4 - 4. Is c smaller than -2?
True
Let o be ((-28)/14)/((-2)/43). Which is smaller: 41 or o?
41
Let h(w) = -2*w**3 + w**2 + 3*w + 5. Let n(a) = -a**3 + 2*a + 2. Let s(k) = -4*h(k) + 7*n(k). Let d be s(4). Does d = 2?
True
Let y = -22 - -11. Let d = y + 11.1. Which is smaller: -5 or d?
-5
Let q = 13808/3 + -100379/21. Let o = 177 + q. Let n = 0.33 - 0.03. Is o at least as big as n?
False
Suppose 0 = -0*q + 5*q - 10. Is q greater than 1?
True
Suppose 2*k - 8 = 2*x - 0*x, 5*k = -4*x + 11. Which is smaller: -3/32 or x?
x
Let i = -1.1 - -1. Let o = 29 + -29.2. Which is greater: i or o?
i
Let o = 14 + -9. Let b = -4 + o. Suppose -4*v + 1 = -3. Are b and v non-equal?
False
Let x = -0.06 + -1.44. Is x bigger than -1/3?
False
Let z = 1.96 - 2. Suppose 2 = 3*u - 4. Do z and u have different values?
True
Let n = 10 - 14. Let u(y) = -y - 2. Let k be u(n). Which is greater: k or 3?
3
Let g be 0 - ((-171)/(-42) - 2). Let a = g + 3/2. Suppose -4*l + 5*l = 0. Which is smaller: a or l?
a
Suppose -8*f - 5 - 11 = 0. Is 3 equal to f?
False
Suppose 4*r + 2*i - 3*i - 17 = 0, -i = -3*r + 14. Let z be (-2)/(3 - (r + -2)). Is z less than 2?
True
Let j be (-2)/1 - 13/(-3). Which is smaller: j or 3?
j
Let z be -18*1/(1 + 1). Let m be 2/z*(-2 + -1). Is m less than or equal to 7/4?
True
Suppose -4*c + 3 = -7*c. Is c not equal to -14?
True
Let l(p) be the first derivative of p**3/3 + 3*p**2/2 - p - 3. Let q be l(-3). Let o(j) = j + 2. Let c be o(-2). Which is smaller: q or c?
q
Let w be 12/(-9)*(-9)/(-6). Suppose -7 = -5*x - 2. Let p = w + x. Are 2/7 and p equal?
False
Let f be -3 + 46/14 - (-216)/(-315). Let b be (-1 + (3 - 3))*-1. Which is greater: f or b?
b
Let u be (-132)/(-21) - (-2)/(-7). Suppose 4*c = u*c. Suppose -4*x - 2*r + 10 = c, 0*x + x - 4 = -r. Is x at least as big as 2/9?
True
Let f be -8 + 4 + (-182)/(-44). Is f <= 1?
True
Let s(v) = -v**2 - 6*v + 5. Let z be s(-7). Let p be -13*z/4 - 1. Let w = -5 + p. Are w and 3 non-equal?
True
Let i = 14 + -15. Which is smaller: -1/3 or i?
i
Suppose -n = -3*n. Suppose n = 4*g - 74 + 278. Let f be (-2)/(-7) + g/(-42). Which is smaller: 2 or f?
f
Let k = 5 + -4. Let d be (5/(-10))/(k/(-2)). Suppose -2*o + 3*o = -3*l + d, 0 = 5*l - 5*o + 5. Which is smaller: 1 or l?
l
Let f be ((1 - 1) + 1)/(-1). Let d(t) = t**2 - t + 2. Let y(n) = n - 1. Let h(m) = d(m) + 3*y(m). Let i be h(-2). Is i > f?
False
Suppose -v + 21 = -3*j, -v = 2*v - j - 79. Suppose -4*h = -h + 15, 2*l + 5*h = -v. Which is greater: l or -2/19?
-2/19
Suppose 0 = -5*c + 5*l + 130, -l = -2*l + 4. Let d be 8/c - 14/(-35). Let r = 4 + -2. Is r != d?
True
Let h(p) = p. Let m be h(0). Suppose -i + 3*o - 11 = m, 0 = 4*i + 4*o - 5*o. Let s be (-28)/(-21)*(-3)/10. Is i greater than s?
True
Let t be ((-188)/(-40) + -4)*-2. Is t less than -2?
False
Suppose 4*l = 1 + 11. Let j = 0.06 + -0.06. Are l and j nonequal?
True
Suppose -3*t = 2*r - t - 8, 0 = t - 4. Let v(b) = 3*b + 6 + 2 - 2*b. Let k be v(-9). Are k and r nonequal?
True
Let o = -4.8 - -5. Which is greater: o or 10?
10
Let o = -5.9 - -0.9. Let z = -4.8 - o. Do -0.1 and z have the same value?
False
Let v = 5 + -4.9. Let j = v - 0.2. Are 0 and j equal?
False
Let v be 2*(4 - 2) - 2. Let u be (-38)/4*(v + -1). Let g = u + 10. Which is bigger: 0 or g?
g
Let h = 107 - 106.98. Let f = 0.1 - -0.1. Which is smaller: h or f?
h
Let l be (-3)/(-1)*(-2)/(-12). Is 1 > l?
True
Let g(u) = 7*u - 7. Let w be g(1). Is w less than or equal to -4?
False
Let n = 544522/13 + -42081. Let m = 195 + n. Is m at most 0?
False
Let a = -48 - -66. Is a less than 16?
False
Suppose 82 = -5*z + 57. Is -5 != z?
False
Let k = 0.19 + -1.19. Which is smaller: 4 or k?
k
Let c = 109 + -109. Which is greater: -69 or c?
c
Let f(y) = y**2 - y. Let j be f(-6). Let h = -10024/45 - -1625/9. Let x = j + h. Which is greater: 1 or x?
1
Let v = 5.9 - -0.1. Which is greater: -1 or v?
v
Let b(i) = i**2 - 7*i - 8. Let p be b(8). Suppose 2*r + 3*m + 22 = 0, 7*r = 3*r + 5*m. Let u(c) = c + 6. Let g be u(r). Which is smaller: g or p?
p
Let i be (-2)/(-6) - 6/(-9). Let h be -2*i/4*-2. Let w = -6.099 + 0.099. Do h and w have different values?
True
Let p = -884/7 + 126. Let t(n) = n - 6. Let i be t(7). Which is smaller: i or p?
p
Let w be (-2)/(-8)*2*10/(-20). Let i = 2 - 3. Does i = w?
False
Let h(k) = -4*k - 73. Let f be h(-18). Which is smaller: f or -1/13?
f
Suppose -6*j = -j + 15. Let k be 2/j*(-3 - 0). Suppose 2*r - 4 = -k*r. Is -2/13 at least as big as r?
False
Let l be (6 - -2) + 6/2. Let y be 1217/(-6754) - (-2)/l. Let m = -1215/7982 - y. Is m at most as big as 0?
True
Suppose -5*h - 5*f + 20 = 0, 4 = -h + 2*h - f. Is 25/6 equal to h?
False
Suppose 3*a + 17 = 