*(-1)/(-4). Suppose -2*d - 5*s + 7 = -o*s, 3*s = 3. Are d and 7 non-equal?
True
Let t(j) = -j - 17. Let r be t(-16). Which is bigger: 1 or r?
1
Let y be 3*((-24)/(-30) + (-388)/510). Are -2 and y nonequal?
True
Let k = -23 - -43. Suppose -k = -2*x + 4*x. Let c be 2/2 - (-14)/x. Which is bigger: 1 or c?
1
Let b be 3/(30/8 + -3). Let q be (2/b)/((-4)/(-16)). Which is greater: 1 or q?
q
Let v be -15*(2/3 - 1). Suppose x + 14 = 3*x. Let w = v - x. Are w and -2 non-equal?
False
Let w = 27 - 17. Let u = w - 8. Which is greater: u or 0?
u
Let v = 21 + -11. Is 0 < v?
True
Let c = -793 - -221249/279. Let d = 532/3627 + c. Suppose -20 = x - 4*u, u + 0 = -4*x + 5. Which is smaller: d or x?
x
Suppose -2 = -2*s - 0*s. Suppose 11 = 2*y - 11. Suppose 5*p - 18 = -3*c, 0*c + 2*c - y = -3*p. Are s and p equal?
False
Let b be ((-1)/14)/((-10)/(-3)). Let x be (-614)/336*18/135. Let z = x - b. Is 0 equal to z?
False
Suppose 0 = 3*k + 3*q + 21 + 9, 0 = -q - 4. Let p = k + 2. Let y = -7 - -3. Is y at least p?
True
Let m = -551/6 + 92. Let z(p) = -p - 8. Suppose -2*i = 4*u + 3 + 41, 5*i = -4*u - 56. Let t be z(u). Is t at least m?
True
Let r be 16/6 - (-2)/6. Suppose -r*c + 8*c = 10. Which is smaller: c or 3?
c
Let b = -4843/47 + 103. Let z = -37/235 + b. Which is smaller: z or 0.2?
z
Let y be 6 + (-64)/10 + 16/(-30). Is y at most -1?
False
Let b = -5 + 2. Let q = -12 - -7. Let d = q - b. Which is smaller: d or 0?
d
Suppose x = 4*x + 6. Let b be 34/119 + (-31)/35. Is x <= b?
True
Suppose 0*s = -4*s + r + 3, -s - 3*r - 9 = 0. Which is bigger: 3/13 or s?
3/13
Let a = -13.88 - -14. Is 0.2 smaller than a?
False
Suppose 2*t - 5 = -3. Let m = -22806/25 + 912. Let x = m - -43/75. Is t less than x?
False
Let x = 445/6 - 74. Let p(s) = -4*s + 5. Let f(v) = -9*v + 10. Let k(z) = -3*f(z) + 7*p(z). Let b be k(4). Which is greater: x or b?
b
Let y = 24 - 23. Is y not equal to -2/121?
True
Let f be 2/(-6) + (-48)/(-9). Suppose -f*w - 5 = -0*w. Is 4/9 at most w?
False
Let j(y) = -y**2 - 2*y + 8. Let m be j(-6). Suppose 4*d = -314 + 254. Is d < m?
False
Let w = -16 + 14. Which is greater: -5 or w?
w
Let f be 1/3 - (-178)/6. Let z = 61/2 - f. Suppose -3*c = -0*c + c. Which is bigger: c or z?
z
Suppose 0*r - 5*b - 30 = 5*r, -3*b - 15 = 0. Let h(m) = -m**2 - 4*m + 4. Let a be h(-4). Let z be (6/a)/((-90)/(-8)). Which is bigger: r or z?
z
Let x = -2 + 8. Which is smaller: x or 4/7?
4/7
Suppose 13*o - 11*o = -20. Which is smaller: -11 or o?
-11
Let d be 15/24*(-10)/25. Which is smaller: 4 or d?
d
Let i be 0 - (2 + (0 - 2)). Suppose i = -2*y + 10 + 2. Is 6 greater than or equal to y?
True
Let x = -402 + 24521/61. Which is smaller: 1 or x?
x
Let t be -1 - -4*(1 + 0). Let x(n) = -n - 5. Let m be x(-10). Which is smaller: t or m?
t
Suppose m - 5*g = -0*m + 1, g - 1 = 0. Suppose 9*s - 2*s = 49. Let w = s - m. Is w bigger than -1/7?
True
Let z(c) = -5*c + 1. Let a(r) = 11*r - 2. Let m(l) = -6*a(l) - 13*z(l). Let w be m(-3). Suppose 2*s + w*v = -2*s + 10, -5*v = s - 25. Is s <= -1?
False
Suppose -2 = m - 3. Which is smaller: m or -1/28?
-1/28
Suppose 2*c - 4 = -3*c + n, -2*n = 8. Is c equal to 2/13?
False
Let l be 4/(-26) - 162/(-39). Suppose l*r - 2 = 2. Let v be (3 + 2 + -3)/(-5). Which is bigger: v or r?
r
Let h = -1.34 + -0.46. Which is smaller: 0 or h?
h
Let q be (-2)/4*(-4)/(4/13). Is 6 greater than or equal to q?
False
Let l = 0.01 - -4.99. Let t = 7 - 1. Let f = l - t. Is -0.4 greater than or equal to f?
True
Let c(v) = v**2 + 6*v + 2. Let q be c(-6). Suppose -3*i - 22 = q*r - 4*r, 2*r - 20 = 4*i. Let a = -9 + r. Is a smaller than 5?
False
Suppose 0 = -2*u - 0*u - 8. Let b = u + 3. Let j = -1169/6 - -195. Which is smaller: j or b?
b
Suppose 2*o + o = 0. Is -3 at least as big as o?
False
Let u = 2 - 2. Let k = u - 0. Suppose -n - 8 = n. Which is smaller: n or k?
n
Let a = 158/11 + -1091/66. Do -2 and a have different values?
True
Let h = -1.1 - -1.2. Which is greater: h or -24?
h
Let s be (-1)/2 - 3/(-6). Suppose 1 - 3 = k. Let v be 18/(-8) + k/(-8). Is v < s?
True
Let j = 7 - 7.18. Let u = j + 7.18. Let v = u + -5. Is 2/7 != v?
True
Let h be (-72)/(-3)*16/3. Let l be ((-17)/2)/((-4)/h). Let m = -1627/6 + l. Are m and 2 equal?
False
Let f(o) = 6*o**3 + o**2 + o + 1. Let a be f(-1). Let h = a + 6. Is -1 greater than or equal to h?
False
Let j be 4/22 + (-870)/(-55). Which is smaller: 18 or j?
j
Let l(a) = -8*a + 4. Let d be l(2). Which is bigger: d or -11?
-11
Let a be 1/(22/6) + (-1)/3. Are a and -1 equal?
False
Let p(c) = c**2 + 8*c + 4. Let s be p(-8). Suppose -4 = -s*o - u + 24, -2*o + 32 = 5*u. Which is smaller: 7 or o?
o
Let i be (4 - -1)/(-1 + -15). Which is smaller: 0 or i?
i
Let w = 0.3 - 0.2. Let h = 1.7 - 1.4. Which is smaller: h or w?
w
Suppose -3*g = -5*w + 9, -6*w - 2*g = -w - 19. Suppose 0*m - m + 1 = 0. Let o = m - w. Which is smaller: o or -1?
o
Let v(w) be the third derivative of -w**6/120 - w**5/6 + w**4/24 + 3*w**3/2 + 4*w**2. Let j be v(-10). Are j and -1/8 equal?
False
Let z(y) = y**3 - y**2 - 2*y + 2. Let g be z(2). Suppose o = -g*o. Which is greater: 2 or o?
2
Let b(x) = -2*x + 5. Let s(g) = -g + 4. Let r be s(0). Let l be b(r). Which is smaller: l or -0.1?
l
Suppose -g + 36 = -4*j, -5*j - 45 = -0*j - 5*g. Let y = -10 - j. Is y equal to 3/7?
False
Suppose 3*c = -5*u + 1, 5*c = -0*c + 10. Which is smaller: u or -2/127?
u
Let q = 6 + -1. Suppose 12 = q*b - 7*b. Let i be 0/(1/(3/b)). Is 0 bigger than i?
False
Let j(z) = -z**3 + 3*z**2 + 3*z + 5. Let s be j(4). Let i be 1325/(-45)*s*6. Let d = 179 + i. Which is greater: d or 1?
d
Let f = 2 + -2. Let o(i) = -3 + i - 3*i + 3*i + 7. Let w be o(-3). Which is bigger: f or w?
w
Suppose 0*l = 2*l + 2. Which is smaller: l or -2/13?
l
Suppose 4*q = 5*b - 11, -21 = -3*b + 4*b + 5*q. Is 2/23 != b?
True
Let l = 6442/105 + -1561/15. Let r = 43 + l. Suppose -3*n + 2*t + 1 = 0, 0 = -0*n - n + t. Which is smaller: r or n?
r
Suppose 2*w + 0 = -4, -m - 6 = 2*w. Let d = -4 - m. Is d equal to -1/2?
False
Suppose -2 = -3*s + 2*k + 11, -5*k - 25 = 0. Suppose 0*g - g = -2*u - s, -4*u - g - 5 = 0. Let w = 0.7 - -0.3. Which is smaller: w or u?
u
Let r = -124 + 125. Let h = 1/8 - 13/40. Which is bigger: h or r?
r
Let y be 6*4/(-2)*-1 - 1. Is y at most as big as 0.2?
False
Suppose -2*d - 1 - 13 = -3*b, b - 2*d = 10. Let i = -5 + b. Suppose -4*n - 18 = -6. Is i greater than n?
False
Let r = 30.99 - 31. Which is greater: r or -1/2?
r
Let y be (2 + 20)*(-3)/6. Let h = -15 - y. Is h smaller than -1?
True
Suppose 4*b - 11 = -3*c, 1 = -2*c + 3. Suppose -m = b*m. Let d = -56 - -278/5. Is m less than d?
False
Let f be (-5)/5290*(-3 + 1). Let c = f - 1075/8993. Which is bigger: c or -1?
c
Let y = 2/693 + 1780/693. Is y greater than or equal to 4?
False
Suppose 65 = -9*t + 227. Which is bigger: 16 or t?
t
Let t = -0.7 - 0.3. Let i be (-4 + 5 + (-6)/7)*-1. Which is greater: i or t?
i
Let v = 0.2 + -0.2. Let c = v - 2. Which is greater: c or -0.2?
-0.2
Let n(s) = s**2 + 4*s + 3. Let i be n(-3). Suppose i = x - 1 + 4. Suppose -3 = -g + 2*g. Is g greater than or equal to x?
True
Suppose 2*s = -s. Suppose s = 2*k - 7*k + 30. Which is smaller: k or 5?
5
Let z = -83591/6 - -13878. Let d = -54 - z. Is 0 <= d?
False
Let g = 6 + 0. Let k = g - 8. Let u = -616/5 + 122. Which is bigger: u or k?
u
Let v be 2/(-6) + 16/48. Which is greater: 2/99 or v?
2/99
Let g be 1/(1*(-2)/(-4)). Let b be g + 0/(-1) + -1. Let s = -5/4 + 3/2. Is s equal to b?
False
Suppose -3*w = 4*r + w - 28, 0 = r - 3*w + 13. Let f = r - 2. Which is smaller: f or 1/12?
f
Let m = 11 + -11. Is m at most as big as -2/11?
False
Let n = -2 + 2. Suppose 30 = -n*x - 5*x. Let g be ((-2)/3)/(4/x). Is g > 2/5?
True
Let r(s) = -s + 13. Let h be r(8). Let t be (-10)/(-3) + (-4)/(-6). Let w = h - t. Is 0 at least as big as w?
False
Let y = -8041/7 - -1138. Which is smaller: y or -11?
-11
Suppose 0 = 6*w - 19 - 5. Is 5/2 >= w?
False
Suppose 0 = -j - 2. Let b be j/5 + 44/10. Let a = 4 - b. Which is smaller: a or 1?
a
Let s = -9 + 7. Let f(n) = -n**2 - 3*n - 1. Let v be f(s). Let i = 2/21 + 4/7. Are v and i unequal?
True
Let d(b) be the third derivative of b**5/60 - 7*b**4/24 + b**3 + 2*b**2. Let a be d(6). Which is greater: a or 2/11?
2/11
Let r = -20 + 21. Let c = -0.1 - -0.2. Are c and r equal?
False
Let h(