is smaller: -1/77 or w?
w
Suppose 4*y + 8 = 5*y. Are y and 9 nonequal?
True
Let i be 9/(-20) + (-3)/(-12). Let d be (1/(-2))/(4/24). Let v = d - -2. Which is smaller: v or i?
v
Let c = 3 - 3.2. Let o = 0.4 - c. Which is bigger: 0 or o?
o
Let z = 1599 + -4747/3. Which is greater: 18 or z?
18
Let a be 2 + -1 - 0 - -7. Suppose -6 = -4*x + 2*c, 2*x = -c + a + 5. Suppose x = b + 3. Are 1 and b unequal?
False
Let l be (-134)/(-3) - 9/(-3). Let d = l - 49. Is 0 at most d?
False
Let j be (-11 - (-1)/(-1))/1. Let h be (-1)/2*j/2. Suppose 4*m = 2*b - 6 - 2, 6 = 2*b - 2*m. Which is smaller: h or b?
b
Let r be ((-48)/108)/(1/(-2)). Let j = -58/45 + r. Let a(f) = f**3 - 3*f**2 - 5*f + 5. Let i be a(4). Is i at most j?
False
Let i(z) = 2*z + z**3 + 0*z + 2 + 4*z**2 - z + 2*z. Let c be i(-3). Which is greater: c or 3?
3
Let a = 3 - -1. Suppose 3*j - 2*j + 1 = -5*t, -a*j - 4*t = -12. Which is bigger: j or 5?
5
Suppose -4*d - 37 = -3*d. Is d less than -37?
False
Let p = -65/3 + 21. Are p and -53 equal?
False
Suppose 0 = 3*x - 14 - 1. Suppose x*l - 24 - 26 = 0. Let s be ((-2)/l)/((-2)/(-6)). Do -2 and s have the same value?
False
Let b be ((-10)/4)/((-5)/(-10)). Let v = -5 - b. Suppose v*y + 1 = y. Which is bigger: 1/2 or y?
y
Let t be (375/(-777))/(-1) + 3. Let b = t - 24/7. Which is smaller: b or 0?
0
Let p(c) = -c + 9. Let s be p(7). Which is greater: s or 0?
s
Let x = 6 + -5.97. Let j = 0.97 + x. Is 2/9 at least j?
False
Let f = -38 - -58. Let s = -4813/237 - 2/79. Let w = s + f. Which is smaller: 4 or w?
w
Let j(c) = -c**2 + 4*c + 11. Let y be j(6). Is y equal to -1/9?
False
Let p(y) = y**3 - 7*y**2. Suppose 5*q - 18 = 17. Let h be p(q). Is 0 != h?
False
Let k = -2 + 2. Let b be (-1244)/(-60) + 1 + k. Let g = 122/5 - b. Which is bigger: g or 3?
3
Let c = 11 - 10.3. Let v = c + -0.7. Which is greater: 0.1 or v?
0.1
Suppose 2 = p + 2*c + 14, 0 = 4*p - 5*c + 48. Let u = p + 9. Is -7/3 at least u?
True
Let u be (-76)/6 + 3/(-9). Which is smaller: -12 or u?
u
Suppose 3*b - 11 = -d, 9 = 5*b + 3*d - 6*d. Are 3 and b unequal?
False
Suppose 12*p - 9*p = 12. Suppose 3*k + 1 - p = 0. Which is smaller: -0.04 or k?
-0.04
Let h = 1413/5 - 284. Suppose 3*g + 0 = -3. Which is smaller: h or g?
h
Let l = -2.732 - -2.7. Are l and -1 unequal?
True
Let g = -0.5 + 0.7. Which is bigger: 3/4 or g?
3/4
Suppose -4*s - 2*w + 0*w + 4 = 0, -4 = 3*s + 5*w. Suppose s*l = 0, -3*i + l = 6*l - 3. Let h = 188/21 - 58/7. Is h bigger than i?
False
Let g(k) = -k - 3. Let w be g(6). Is w smaller than -9?
False
Let l = -20 + 9. Are l and -13 nonequal?
True
Let x = -0.026 + -0.074. Is x equal to 4/7?
False
Let z(w) = -w**3 - 7*w**2 - 7*w - 7. Let q be z(-6). Let i = 23/51 + -2/17. Is i > q?
True
Let d(q) = 3*q - 13. Let v be d(6). Which is greater: 3 or v?
v
Let t(l) = 11*l + 111. Let f be t(-11). Which is greater: f or 6?
6
Let n(t) = -4*t + 17. Let h be n(3). Which is smaller: 0 or h?
0
Let o = -6.43 + -1.47. Let q = 0.1 - o. Is q smaller than 1?
False
Let l = -5 + 9. Let i be (-3)/18 + l/(-6). Which is smaller: -2/7 or i?
i
Let y be -1 + 33/7 + 14/49. Is 4 <= y?
True
Let m(g) = g**3 - 11*g**2 + 14*g + 3. Let y be m(9). Which is smaller: -34 or y?
-34
Let c = 2 + -3. Let l(w) = 5*w - 21. Let n be l(4). Is c less than or equal to n?
True
Let f be 2 - -2 - 2 - 2. Suppose f*d = -d. Let b = -22 + 91/4. Is b at most d?
False
Let j = -14 + 9. Let x be 4/(-6) + 13/(-3). Is x greater than j?
False
Let k = 10 + -13. Is -1/4 less than or equal to k?
False
Suppose 9 = 3*s + 3. Let h = s - 2. Are h and -2/5 nonequal?
True
Let s = -0.4 + 0.6. Let p = -0.3 + s. Which is smaller: -2 or p?
-2
Let l(z) be the first derivative of z**4/4 + 4*z**3 - 11*z**2/2 + 19*z + 8. Let p be l(-13). Is p greater than or equal to -7?
True
Let q = 20.7 + -23. Let o = q + 2. Which is smaller: o or -1/3?
-1/3
Let c be (-3 + 7)*(543/270 + -2). Is 0 != c?
True
Let a = 85 + -511/6. Let h = -3 + 4. Which is smaller: h or a?
a
Suppose 4*y + 1 = 3*y. Suppose v + 53 = 5*m - v, 5*v = 5*m - 50. Let u = m + -56/5. Which is greater: y or u?
u
Let u be ((-1)/(-1))/((-1)/(-1)). Suppose -4*i + 10 = -n - 8, -25 = -5*i. Is n equal to u?
False
Let g = -6 - -12. Is g equal to 2/5?
False
Let g = -1849/1165 - 3/233. Are g and -1 equal?
False
Suppose -6 = -3*j - 9. Are -1 and j unequal?
False
Let h = -20/37 - 737/74. Which is smaller: -10 or h?
h
Let f = 155/2346 - 1/138. Is f at most -3/7?
False
Let o be (2 + -3)*(-7)/(-5). Which is smaller: -2 or o?
-2
Let q = 5 + -3. Suppose -6 = -q*n + 6. Let m be 2/3 - n/9. Is 3/5 > m?
True
Let v = -8 + 9. Let g be (v - (-2)/2) + 0. Suppose -3*n + 2*n + 2 = 0. Is g < n?
False
Let b = 16 - 16.1. Let c = 0 + 0.2. Which is smaller: c or b?
b
Let g = 105 - 102. Is g > 20/9?
True
Let c = 0.09 - -8.91. Let t = c - 8.3. Let b = t + -0.8. Which is smaller: 0 or b?
b
Suppose -75 = 3*h + 3. Let y be -32 - (3 + -7) - -1. Which is greater: h or y?
h
Let t = 2/3 + 0. Let y = 5.4 - 0.4. Let u = -6 + y. Which is smaller: t or u?
u
Let m = -13 - -13. Is m less than 1?
True
Let r = 17 - 2. Suppose c = 2*n + 13, -c - r = -0*c + 5*n. Suppose -4*i + 3 - 9 = c*o, 16 = -4*i. Which is smaller: o or 1?
1
Let q = -0.474 - -0.4. Is q smaller than 0?
True
Let q be ((-236)/(-20))/(-1) + (2 - 3). Which is greater: -12 or q?
-12
Let y = 5683/28 - 1636/7. Let o = 31 + y. Which is smaller: o or 7?
o
Let o be 8/10*(-4)/8. Which is bigger: 5 or o?
5
Let s = 129.89 + -132. Let d = -0.11 - s. Which is greater: d or -3?
d
Let q be (1/(-5))/((-20)/(-50)). Suppose -8*g + 150 = -3*g. Suppose 6*t + g = t. Does t = q?
False
Let f be (-6)/63*1*-3. Suppose 0*n - n + 9 = 2*c, 4*n = 2*c + 6. Suppose -10 = n*l + 5. Is l smaller than f?
True
Let i(x) = x**3 - x**2 + 3*x - 3*x - x. Let s be i(0). Suppose 2*b - 6 = -s. Which is smaller: b or 1?
1
Let p be (2 - (-40)/(-15))/(2/(-165)). Is 56 at most p?
False
Let x = 4 + -14. Let r(l) = -l - 5. Let b be r(x). Is 6 smaller than b?
False
Let b = 1826/5 - 367. Let h(p) = -3*p**2 - p. Let v be h(-1). Which is smaller: v or b?
v
Let g = -314/525 + 2/75. Let u = g - -22/63. Do 1 and u have different values?
True
Let f be 9/(-77) - 15/35. Is -2 at least as big as f?
False
Let a be (50/8)/((-3)/12). Let z be (-10)/a - 44/10. Let p = 265/2 - 135. Is z >= p?
False
Let s be (-34)/(-8) - (0 - -3). Let n(d) = d**3 - 7*d**2 + 6*d. Let m be n(6). Is m >= s?
False
Suppose -3*x - m = 3*m + 23, -4*x + 1 = -m. Let d be ((-454)/(-24))/((-3)/6). Let l = -38 - d. Do x and l have different values?
True
Let u = 0.23 - 0.62. Let c = -0.29 - u. Is 0.11 at least c?
True
Let k = -197/4 - -1765/36. Let g = -14 - -13. Is g equal to k?
False
Let z = 166 + -32. Let a = z + -1607/12. Which is greater: a or -1?
a
Let b = -24 + 10. Let k = -0.23 + -9.77. Let t = b - k. Is 0 != t?
True
Let y = 5.2 - 1.2. Which is bigger: y or -1/3?
y
Let n be 1/3 + (-301)/21. Let a(o) = -o**3 - 13*o**2 + 14*o + 1. Let i be a(n). Is 2/9 equal to i?
False
Let l(s) = 2*s**2 + 5*s - 1. Let k be l(-4). Let q be (2 - 2) + (-3)/k. Which is bigger: 1 or q?
1
Suppose -4*i - 10 = -3*l - 66, 2*l = -8. Is i > 11?
False
Let f = -84 - -165/2. Which is smaller: f or -0.14?
f
Let o = 11 - 6. Let b = o - 4. Let u = b - 3. Which is smaller: 0 or u?
u
Let t = -86 - -82. Is t greater than -10?
True
Let m = 5 - 7. Let r be -1*m*1/2. Which is greater: r or -2/9?
r
Let u = -3729/119 - -221/7. Let p = u - -6/119. Let x be (-110)/(-25) - (-12)/(-3). Which is greater: p or x?
x
Suppose -5*t - 1 = -6. Let k = 0 + t. Let w = -85 + 84. Is k < w?
False
Let r = -33.1 + 36. Let c = -2.3 - 0.7. Let s = r + c. Is s not equal to 3/2?
True
Suppose -j = c + 1 - 2, 2*c + 3*j - 1 = 0. Let k = -10 + 13. Let r be k + (-4)/(132/81). Which is bigger: c or r?
c
Let o = 14 + -13. Is -1/6 less than or equal to o?
True
Let w = -343/5 + 69. Is 9.2 bigger than w?
True
Suppose -2*p - 2*p = l + 20, -3*p - 15 = 4*l. Let r be (1/(-3))/((-3)/117). Suppose 3*d - 5*y = -r, 3*d + 12 - 3 = 3*y. Is d smaller than l?
True
Suppose 0 = -2*i - 0*i + 8, -3*t + 4*i = 10. Let j = 6 + -3. Is t < j?
True
Let g = 0.01 + 0.49. Let t = g - 0.4. Which is greater: 2/9 or t?
2/9
Let t be (-2)/(-5) - (-64)/(-10). Let o be (-20)/(-15) - 4/t. Suppose -9 = -s - o*s. Is 4 smaller than s?
False
Suppose 0 = -0*z - 3*z - 3. Let k(g) = -g**2