 be ((-132)/27)/(-4) - 1. Which is bigger: z or y?
z
Let f = -0.17 + -0.03. Let m = f - -0.4. Are 0.2 and m nonequal?
False
Let t(z) = -z**2 + 7*z + 5. Let r be t(6). Is r > 10?
True
Let o(u) = -u**2 - 6*u + 1. Let a be o(-6). Let z be 2*a - (-6)/(-4). Is z greater than 2/5?
True
Let r(u) = 3*u + 17. Let z be r(-5). Let d = 3 + -3.1. Let m = d - 0. Is m != z?
True
Let c = -165 - -193. Which is bigger: 25 or c?
c
Let p(o) = -o**3 + 15*o**2 - 27*o. Let f be p(13). Which is smaller: f or -15?
-15
Let t be (1 - 3)/(2/(-1)). Let i be t/(-2) + (-5)/(-10). Let a(j) = -j + 7. Let v be a(9). Is i less than v?
False
Let j = -0.4 + 0.3. Is 4.4 smaller than j?
False
Suppose -5*m = -3*n - 4, 0 = -0*m - m + 5*n + 14. Is 0.12 greater than m?
True
Let y = -15 - -15. Let k(n) = -6*n**2 - 25*n - 21. Let r(a) = a**2 + 5*a + 4. Let s(g) = 2*k(g) + 11*r(g). Let i be s(5). Which is smaller: y or i?
y
Suppose -12 = -3*a, a + 6 = 2*b + 2*a. Let o be (-3)/(2 + -5)*b. Which is smaller: o or -1/7?
-1/7
Let t = 4 - 3. Let l be (-112)/(-420)*(-2)/(-12). Do t and l have the same value?
False
Suppose 0 = -6*o + 2*o + 8. Suppose 3*n = -o*n. Suppose 5*c + 0*c - 10 = n. Is c > 3?
False
Let z be (-1)/3*(1 + 2). Is z at most as big as 2/31?
True
Let b be (82/6 + -10)/((-1)/(-6)). Do 16 and b have the same value?
False
Let g = 137 + -145. Which is smaller: g or -6?
g
Let x be (-1 - 0) + 2 - 1. Let y be 2 - x - 2 - 0. Let j be 30/(-90)*3/16. Is y > j?
True
Let d = -31/14 - -19/7. Let s = -1.1 + 0.1. Let c = s + 0.95. Which is smaller: c or d?
c
Let g = 230903 - 24013631/104. Let q = 1/13 - g. Let n = q - -27/8. Is n > 2?
False
Suppose 0 = 4*l + o + 2, 0*l - l + 4 = -2*o. Which is bigger: 2/71 or l?
2/71
Let v be 4/(-18) - 606/(-54). Let k be (-2)/v - 3/44. Is -3 greater than k?
False
Let i = -55 + 56. Is 2/27 >= i?
False
Suppose 3*m + 6 = -150. Is m at least -52?
True
Let j = 16.3 - 25. Let f = j - -8. Which is smaller: 0 or f?
f
Let w = 14 + -21. Which is smaller: -8 or w?
-8
Let w = -13 + 21. Suppose 5*n - w - 2 = 0. Which is smaller: n or -3?
-3
Let j(v) = -v**3 - 8*v**2 - v - 8. Let x be j(-8). Is 0 < x?
False
Suppose 73 = 6*d - 11. Is 14 less than d?
False
Let n = 7.99 - 9. Let j = 0.01 + n. Which is smaller: j or -2?
-2
Let f = 6.85 + 0.15. Let u be 80 + -1 + (-6)/21. Let r = u + -79. Is f smaller than r?
False
Let u(x) = -x + 5. Let l be u(6). Is l >= -7.8?
True
Suppose 39*j - 3 = 36*j. Is 1/2 >= j?
False
Suppose 0 = -7*d + 4*d. Suppose 0*o - s + 10 = -3*o, 2*o - 4*s = d. Which is smaller: -5 or o?
-5
Suppose 0 = 6*j - 3*j + 39. Is 2/3 <= j?
False
Let i = 18 - 14. Suppose 51 + 12 = 3*c - 5*k, -2*k = 3*c - 42. Suppose 5*a = -3*o + c, -a + i = -0*a + o. Which is greater: 1 or a?
a
Let x = -104 + 103. Is 3/38 < x?
False
Let k = 0.3 + 3.7. Let r = k + -7. Are 2 and r equal?
False
Suppose 0 = 3*f - 12. Suppose z = -z - f. Which is smaller: -4/5 or z?
z
Suppose 1 = -2*y - 13. Let l = y + 7. Is l greater than or equal to 1?
False
Let y(m) = -m**3 - m + 10. Let r be y(0). Are r and 10 non-equal?
False
Let z(m) = -2*m. Let i be z(1). Let x be (i/(-3))/((-8)/(-108)). Let p(n) = n**2 - 9*n - 1. Let y be p(x). Is -2 < y?
True
Let b = -12 + 15. Suppose -b*h = -h. Is 2/3 smaller than h?
False
Let w be (-12)/2*33/(-22). Which is smaller: w or 8?
8
Let d be (-2)/(-304)*2*-1. Which is greater: d or -1?
d
Let m be 8/4 + (-40)/14. Suppose -o - 3*v = -24, 4*v - 9 = -o + 17. Let s = 17 - o. Is s <= m?
True
Let m = 24 + -16. Let d = m + -8.3. Let b = d - -0.4. Is b != -0.3?
True
Let r = 4.04 - 0.04. Suppose 0 = 5*p - 8*p. Let l be (4 + -2)/(p - -2). Is r not equal to l?
True
Suppose 0 = 216*t - 219*t. Is t greater than or equal to 1/20?
False
Suppose 5*o - 62 + 12 = 0. Is o bigger than 11?
False
Let a(n) = n**2 + 6*n - 4. Let c be a(-8). Suppose 0 = -2*o - o + c. Let u be o/(-10) + (-1)/(-5). Do -1/3 and u have the same value?
False
Let l = -2 - -6. Let r = 0 + l. Suppose -i = -5*i + r. Is i > 2/17?
True
Let r(h) = -h**3 - 3*h**2 + 7*h + 1. Let v be r(3). Which is smaller: -33 or v?
-33
Suppose 5*v = 2*j + 3*j + 10, 0 = -3*j - 3*v. Which is bigger: j or -2/27?
-2/27
Suppose -2*u - 2*f + 0*f + 16 = 0, 0 = 3*u + 5*f - 16. Let s be u/3 + -1 + -8. Is s smaller than -3?
True
Let r be 2/30 - (-2)/6. Let s = -1.95 - -1.85. Which is greater: s or r?
r
Let m be (10 - 10)/((2 + -1)*-2). Let u be ((-4)/(-10))/(1/(-5)). Let r be 2 + 8/10 + u. Is m smaller than r?
True
Let a(t) = 4*t - 7. Let p be a(-4). Which is greater: -22 or p?
-22
Let r be (-20)/1065*3/2. Which is greater: r or 1?
1
Suppose -2*m + 1 = -3*b, 2*m - 2 = b + 1. Is m < 7/4?
False
Let p(w) = -w**3 - 4*w**2 + 1. Let g be p(-4). Let c = 1 + g. Suppose -c*r - 11 = x, 8 = -3*x + r - 2*r. Is 1 > x?
True
Let n = -47 + 44. Is 9 at most n?
False
Let c = -50 + 48. Which is smaller: -28 or c?
-28
Let i(w) = -17*w**2 + 2*w. Let p be i(-2). Let r be (-16)/p - (-32)/(-90). Which is greater: r or -1?
r
Let w be 1/2*(-24)/15. Let b = w - -17/40. Suppose 15*h = 17*h - 2. Is b at least h?
False
Suppose -4*m = 16 - 0. Let f = m - -1. Is -7/3 less than f?
False
Let x be 3/(-15)*(-3 - -1). Let p = 1 + 0. Which is smaller: p or x?
x
Let i(t) = 2*t - 2. Let d be i(2). Which is greater: 1 or d?
d
Suppose r + 4*r = -2*n + 9, -4*r = 4*n. Does 6 = r?
False
Let d = -125 + 150. Which is smaller: d or 26?
d
Let z be 11*(-2)/6 + (5 - 2). Which is smaller: z or 0.13?
z
Let v(u) = -u**2 + 3*u + 1. Let r be v(3). Which is greater: r or 2/35?
r
Let a be 12/15 - (-477)/(-90). Is -4 greater than a?
True
Let d = 3.2 + -0.2. Let t = d - 5. Let g = 61/2 - 31. Which is bigger: t or g?
g
Let t(l) = l**3 + 6*l**2 + 4*l - 5. Let r be t(-5). Let o be 1 + (r/(-2) - -15). Let y be o/9*(-6)/8. Which is smaller: -1 or y?
y
Let a be (36/(-8))/((-21)/(-4)). Which is greater: a or -2?
a
Let w be 0/(12/8*-2). Suppose -2*n = 4*i + 4, n + w = -3*i - 1. Which is smaller: i or 0?
0
Let p = 27/4 - 245/36. Is -1 bigger than p?
False
Let h(g) = -g**3 + 4*g**2 - 3*g + 4. Let c be h(4). Let l = c - -7. Is l != 1/3?
True
Let j = 0 - 1.8. Let f = 0.9 + j. Let m = 1 + f. Which is smaller: 0.2 or m?
m
Let v = 1/56 - 59/168. Let z(l) = 2*l. Let c be z(-7). Let r be (-4)/c + (-38)/(-14). Which is greater: r or v?
r
Let d = 14 - 12. Suppose 2*h + 5*z = 19, -2*z + 10 = h + h. Suppose 2*f - 2 + 8 = -h*q, -d*q = 5*f + 9. Which is greater: f or 0?
0
Let b be 1/((2/1)/8). Which is smaller: b or 11/3?
11/3
Suppose 0 = 4*p + 16. Let o(l) = -2*l - 4. Let d be o(p). Is 4 greater than or equal to d?
True
Suppose -5*z + 10*z + 10 = 0. Let r be z/3*(-3)/(-2). Is r != -4/5?
True
Let g = 0.1 - 0.3. Let l be (-2 - (-96)/45)/(1/3). Do l and g have the same value?
False
Let y(z) = -2*z + 10. Let n be y(5). Let i be 1 + 1 + 0 + 2. Suppose 0 = -i*g + 4. Which is greater: g or n?
g
Let n = -0.08 - 0.15. Which is greater: 1 or n?
1
Suppose 0 = 19*l - 15*l. Is l greater than or equal to 1/44?
False
Let i = -77.9 + 78. Which is greater: -10 or i?
i
Let m = 8/63 - 61/315. Which is bigger: -1 or m?
m
Let n = 4 - 2. Suppose o + o - 4 = 0. Suppose -b + o + 1 = 0. Which is smaller: n or b?
n
Let r(g) = g + 10. Let a be (0/1)/(4 - 2). Let x be r(a). Do x and 10 have the same value?
True
Suppose -2*g - y - 14 = 3*y, y = 4*g - 8. Suppose 0 = 3*x - 2*x + 5. Let j = -5 - x. Is j at most g?
True
Suppose -5*g + 13 = -b, 2*g - b - 4*b = -4. Suppose -g*q = -q. Let y be q/(-2) - 8/14. Is -1 less than or equal to y?
True
Suppose -2*z + 3 = 3*k - 3, -3*k = z - 6. Is z less than 2/27?
True
Let b = 1.7 - -7.3. Let j = -0.048 + -6.952. Let z = b + j. Are z and 1 unequal?
True
Suppose -2*i = -3*i. Which is smaller: 2 or i?
i
Let s be ((-2)/6 + 1)*3. Let a be 2*-2*2/(-4). Suppose 0 = 4*i - s*i + a. Is i > 2/11?
False
Let h be 2 + ((-4)/18 - 58/(-18)). Are h and 1 equal?
False
Let g = -68 + 344/5. Let r = 7 + -2. Suppose r*q = 2*q. Is g < q?
False
Let z = 1517/15 - 101. Suppose 4*f = -0*i - 2*i + 24, -5*f + 35 = 5*i. Suppose -w = 4*r - 14 - f, 4*w + 2*r - 6 = 0. Is z at most as big as w?
False
Let d(k) = -3 + 2 - k**3 + 8*k**2 + 3*k - 11. Let t be d(8). Let p be 2/(-6) + t/(-18). Which is smaller: -3/2 or p?
-3/2
Suppose -4*i + 29 = -7. Let x be (-4)/20 + i/(-5). Let b = 1 + x. Is b smaller than -1?
False
Let m = -31/2 - -77/5. Is m greater than or 