Which is smaller: 1/5 or o?
o
Let c = -18 + 20. Let m(t) = -t. Let n be m(c). Is -2 equal to n?
True
Suppose 25 - 116 = -7*x. Which is bigger: 12 or x?
x
Suppose 0 = -5*j - 6 + 36. Suppose 2*k = -k + j. Let g(b) = b**3 - 5*b**2 - 6*b. Let t be g(6). Are t and k nonequal?
True
Let a = -148 - -449/3. Is a less than 1?
False
Let o = -6.1 - -6. Which is smaller: -3 or o?
-3
Let z = 1 + 3. Let y = z + -2. Suppose -y*k + 5 = 3*k. Is k < 2?
True
Let a be 0/(2*(-2)/(-4)). Suppose a = -g + 1 - 3. Let f = 0 - g. Which is smaller: f or -0.2?
-0.2
Suppose x = -5*g - 13, 3 = -3*g - x + 2*x. Let n(u) = u**3 - 8*u**2 + 7*u - 4. Let s be n(7). Which is bigger: s or g?
g
Suppose 4 + 0 = -g. Let q be 1/(g + (-9)/(-3)). Is 2/17 less than q?
False
Suppose 3*w - 227 = -l - 42, 4*l + 220 = 4*w. Let n be 457/w - 2/3. Let t = -36/5 + n. Which is smaller: 0 or t?
t
Let r be 3 - (-2)/(1 + 0). Let l be 0/1 + r + -5. Let m = -2/175 - 68/175. Is m > l?
False
Let y = 3.5 - 3.2. Which is smaller: y or -3?
-3
Let k = 23/24 - 5/8. Which is smaller: -5 or k?
-5
Let c be (2*-2)/(5/1). Suppose 6 = 5*m - 19. Let g be -4 + m + (-1)/2. Is c less than or equal to g?
True
Let m be (-4)/8 + (-2)/8. Is m not equal to -2?
True
Let c(t) = -t**3 + 3*t**2 + 3*t. Let w be c(3). Which is smaller: w or 8?
8
Let f be 8 + 4 - (0 + 3). Is f at least as big as 0.1?
True
Let s = -42 - -42.1. Which is smaller: -4 or s?
-4
Let j be 0 + (-12)/20 + 1. Which is bigger: j or 0?
j
Let f(k) = -k**2 - 7*k + 10. Let m be f(-9). Which is smaller: m or -7?
m
Let w = -288350759918759498/351999 - -819180622442. Let g = 1/26074 + w. Let q = g - 2/27. Which is bigger: 2 or q?
2
Let g(w) = -w**3 - 16*w**2 + 3*w + 19. Let b be g(-16). Let x be b/9 - 2/(-9). Which is bigger: -5 or x?
x
Let w = -229 - -229.93. Let c = w - -0.07. Let b = 1.04 - c. Which is bigger: b or -1/4?
b
Let r be (13/26)/((-2)/(-1 + 19)). Do r and 3/5 have different values?
True
Let x = 0.59 - -5.47. Let a = -0.06 + x. Which is bigger: 1 or a?
a
Let a be 9/(-6)*(-20)/(-45). Which is smaller: a or -0.2?
a
Let x be (-3 - 0)/3 + (-39)/(-15). Are x and -0.4 nonequal?
True
Suppose 0*g - 8 = -4*g. Let b be (-10)/(g*(-3)/(-6)). Let q = 10 + b. Is q less than or equal to -3/5?
False
Let p = 61697/71 - 869. Let u = -147601/882459 + -37/1381. Let y = u + p. Is y at most as big as 2/7?
True
Let d = -161/9 + 18. Suppose -z = 3*z + 4. Is z less than or equal to d?
True
Suppose -4*j + 4 + 0 = 0. Let x be (2/20)/(32/19120). Let s = x - 60. Does j = s?
False
Let k(f) = 2*f**3 - f**3 + 6*f - 16*f**2 + 9*f**2. Let i be k(6). Which is smaller: i or -2/19?
-2/19
Let a = -1.99 - -2. Let d = a + 2.99. Let h = -4 + d. Does 0.2 = h?
False
Let w = 4 - 8. Let l(u) = u**3 + 3*u**2 - 4*u - 5. Let t be l(-4). Which is smaller: w or t?
t
Suppose -2*a + 5*a = -2*w - 47, 5*a + 41 = -w. Is w greater than or equal to -19?
True
Let u = 4 + -2. Suppose -3*g = u*g + 2*z - 1, 3*g + 4*z + 5 = 0. Is 2 >= g?
True
Suppose 94 = -4*i + 2*i - 3*h, 182 = -4*i - 3*h. Is i < -43?
True
Suppose -2*s = b - 6, -b + 2*b = s - 6. Let o be ((-2)/(-3))/(2/(-6)). Is o smaller than b?
False
Let m(n) = 2*n**2 - 4*n - 4. Let j be m(4). Suppose 4*f = a - 14, a - 5 = 5*f + j. Suppose 0*k + a*k = -2. Which is smaller: k or -2?
-2
Let q = 11 - 11. Let j(o) = o**3 + 4*o**2 + o. Let d be j(-4). Is d <= q?
True
Let s = 1.4 - 2.4. Is s smaller than 3?
True
Let p(x) = 25*x + 7. Let f be p(7). Let b = f - 2368/13. Is b bigger than 1?
False
Let i = 4 - 6. Let h be (1/15)/(i/(-6)). Which is smaller: 1 or h?
h
Let p = -0.006 + -8.994. Let g(m) = m**3 + 5*m**2 - 7*m - 5. Let v be g(-6). Which is bigger: p or v?
v
Let y(t) = -5*t**3. Let b be y(-1). Suppose 1 = b*s - 4*v, 2*v - 5*v + 3 = 0. Is 0 not equal to s?
True
Let q be (1 + 3)*4/48. Do q and 9 have the same value?
False
Let p = 1 + -0.4. Let r = -0.9 + 0.5. Let b = p - r. Is b greater than 1?
False
Let j be ((-15)/10)/(1/(-6)). Suppose 3*r = -j + 3. Which is greater: -3 or r?
r
Let o be ((-4)/6)/(-5 - (-92)/12). Is o < -40?
False
Let r be (-1)/7 - (-10)/(-35). Let t(q) = -q**3 - 10*q**2 - 10*q - 9. Let o be t(-9). Let p be (o + -1)*4/(-10). Is r > p?
False
Suppose 2*a - 2*o + 8 = -2, 5*o - 17 = -3*a. Let g be -1 + (11 - (a - -1)). Suppose 2*s = -3*s + g. Is s <= 1?
False
Let v be 1 + (2 - (-3)/(-1)). Let d = -19 - -27. Let t(k) = -k + 9. Let p be t(d). Which is smaller: v or p?
v
Let z = -23/24 - 3/8. Is z greater than or equal to -1?
False
Suppose -5*v + 0 - 15 = 0. Which is smaller: v or -8/5?
v
Let z = -7 + 7.3. Suppose 3*m + m - 4 = 0. Is m <= z?
False
Let b(k) = 3*k - 41. Let l be b(17). Is l greater than or equal to 14?
False
Let w(g) = -23*g**2 + g. Let t be w(1). Which is smaller: t or 2?
t
Let t(m) = -m**3 + 13*m**2 + 2*m + 2. Let l be t(13). Do l and 29 have the same value?
False
Let c = -0.039 + -0.061. Let o = 1242/11 + -113. Is o bigger than c?
True
Let x = -141/5 - -28. Let f(g) = -2*g + 3*g + 5 + 2*g - 2*g. Let o be f(-6). Is x at least o?
True
Let z be (-2)/5*(-375)/(-24). Which is greater: -7 or z?
z
Let j = 9.2 + -9. Suppose 7*s = 2*s - 30. Let r = s + 3. Is r at most j?
True
Let x be 1*-9*(9 - 10). Which is smaller: 15 or x?
x
Let p = -520/41 + 28067/2255. Let c = p + 2/55. Is c greater than or equal to 0?
False
Let a(y) = 5*y**2 - y**3 + 2*y + 3 - 16*y + 10*y. Let t be a(4). Is 0 <= t?
True
Let p(h) = -h**3 + 9*h**2 + 10*h + 1. Let a be p(10). Let g be (-2)/62 + -1 - -1. Let k = 67/155 + g. Which is smaller: k or a?
k
Suppose 2*x + 3*x = -5*i - 20, 5*x = 25. Which is greater: -6 or i?
-6
Let v(t) = 11*t**3 + 2*t**2 + 2*t + 1. Let c be v(-1). Suppose 91*w = 92*w + 1. Is w at least as big as c?
True
Let r = 71 - 89. Is -58/3 less than or equal to r?
True
Let f(m) = -m**3 + 4*m**2 + 5*m - 1. Let d be f(5). Is 0 bigger than d?
True
Let r = -9 - -6. Let m = r - -2.9. Let z = 0.1 - 0.1. Are m and z non-equal?
True
Suppose 0 = -0*p + p - 3. Suppose p*y + 0*y = 0. Is y greater than or equal to -1/18?
True
Let y = -2 + 3. Let s = -13 - -13. Which is bigger: s or y?
y
Let m = -0.31 - -3.51. Let u = -0.2 + m. Is u at most -2/5?
False
Suppose -q - 3*o - 3 = 0, -q + 4*o - 12 = -2. Does q = -6?
True
Let b(k) = -k**2 - k + 5. Suppose 1 - 8 = 2*i - 3*j, 2*i + j = 13. Let g be b(i). Let h be 18/g*(-10)/(-3). Is h smaller than -4?
False
Suppose v + 17 = 4*m, -3*m = -6*m + 2*v + 14. Let n be (-2)/m - 1/2. Suppose 5*k - k + 8 = 0. Which is bigger: k or n?
n
Let k(s) = -s - 6. Let i be k(-6). Suppose 5*c - 10 = -0*c. Which is bigger: c or i?
c
Let a = -51/638 - -1/29. Is -1 >= a?
False
Let o(y) = -y - 1. Let b be o(3). Let k be (0/b - 0)/(-1). Are 0 and k non-equal?
False
Let b = 3 - 5. Let k = b - -2. Let i(o) = o**2 + 2*o + 1. Let r be i(-2). Is r < k?
False
Let r = -0.053 - -3.153. Let o = -3 + r. Let b = -0.78 + 0.88. Is o < b?
False
Let z(u) = 2*u**2 + 2*u - 12. Let a be z(5). Which is greater: a or 46?
a
Let w = 32.2 - 32. Suppose -3*u - 1 = -4*t + 27, 3*t + 8 = -5*u. Let y = u - -2. Which is smaller: w or y?
y
Let z = 20312195/877 - 23161. Let v = -1804/21925 - z. Is v <= -0.1?
False
Let p = -311 - -116. Let y = -1757/9 - p. Let w = 1/55 + 21/55. Which is smaller: w or y?
y
Let y be 10/68 + 0/1. Let r = y + 297/1564. Let j = r + -2/23. Does j = 1?
False
Let k = 0.6 - -2.4. Let j = -18 + 13. Let b be j/(-6) - 1/3. Which is smaller: b or k?
b
Let j = -2.7 - -2.5. Let b = 0.1 - -1.9. Which is smaller: j or b?
j
Suppose j = 3*w - 2*j - 3, j = 0. Which is smaller: 2/7 or w?
2/7
Suppose 20 = -4*g - 4. Let z be 1/3 - 4/g. Let y(k) = -k**3 - 4*k**2 - 3*k + 2. Let i be y(-3). Which is bigger: z or i?
i
Suppose l - 11 = -4*b, -3*l - b = -0*l - 44. Suppose -l = 8*i - 3*i. Let f be i/(-9) - (-58)/(-138). Which is smaller: f or -1?
-1
Suppose 2 - 10 = s - 5*i, 0 = -s + i. Let w(x) = 2*x**3 - 20*x**2 + 2. Let r be w(10). Is s != r?
False
Let c be (622/(-18))/((-25)/105). Let o = 145 - c. Which is smaller: o or -1?
-1
Let s(v) be the third derivative of v**6/120 + 7*v**5/60 - v**4/3 - 2*v**3/3 + v**2. Let p be (-4)/((-16)/4)*-8. Let h be s(p). Is -3 <= h?
False
Let a(r) = -2*r + 2 + 3*r + 2. Let y be a(-2). Let d be 21/(-35) + y/10. Which is bigger: 4/3 or d?
4/3
Let o(a) = -a**2 + 5*a. Let y be o(4). Suppose 5*m = -4*d - 28, y*m - 1 = -4*d - 25. Do m and -15/4 have 