ich is bigger: x or -1?
-1
Let u be -3*2*15/(-9). Let g = 8 - u. Let n be 0 + g + (-60)/(-27). Which is greater: n or 0?
n
Let h = -1 + 1.1. Which is greater: -2 or h?
h
Suppose 7*n + 20 + 50 = 0. Is -28/3 > n?
True
Let s(d) = -d**2 - 16*d - 12. Let w be s(-15). Which is smaller: 14/5 or w?
14/5
Let a(n) be the third derivative of n**5/60 - n**4/3 - 2*n**3/3 - 9*n**2. Let m be a(9). Is 6 <= m?
False
Let z = 2 + 0. Let k be 0 - (2 + 3/(-2)). Which is smaller: k or z?
k
Let r be 242/172 - (-36)/(-24). Which is bigger: 1 or r?
1
Let d = -24 - -25. Is 1/7 < d?
True
Let z = 0.068 + 0.032. Which is bigger: z or 0.42?
0.42
Let r = -3 - -6. Suppose -r*t + 18 = 6. Suppose -5 + t = u. Is 1/3 smaller than u?
False
Let l be 2362/(-14) + (-4)/14. Let y = -849/5 - l. Is y equal to 0?
False
Let d = 2.2 - 0.2. Let z = d - 3. Which is smaller: z or -2?
-2
Suppose -4*t = -3*t - 5*j - 10, -3*t + 66 = 3*j. Suppose 5*p = p + 4*i + t, 3*p + 5*i = -1. Suppose 4 - p = -x. Are x and -1/4 nonequal?
True
Let m be 4/4 + (-4)/6. Let o = -1 + 2. Is m > o?
False
Let g(d) = -7*d**2 + 2*d + 2. Let m be g(-1). Which is greater: m or -6?
-6
Suppose 2*j = 0, -5*n = 5*j + 21 + 9. Let f(i) = -3*i + 5. Let c be f(4). Which is smaller: n or c?
c
Let h = -266.1 - -292. Let s = 26 - h. Let c = -261 - -1309/5. Is s greater than or equal to c?
False
Let w = -0.55 + 0.05. Which is smaller: -2 or w?
-2
Let d be (-2)/5*15/54. Which is bigger: d or 0?
0
Let r(k) = -k**2 + 6*k - 2 + 2 - 4 + 3. Let t be r(6). Is 1/5 at least as big as t?
True
Let l = -2/179 - -551/1253. Is -0.6 greater than or equal to l?
False
Let v(o) = o**2 - 10. Let u be v(0). Let s be u/12 - 5/(-15). Let l be 6/(-14)*2/(-3). Which is bigger: s or l?
l
Let j = 206.76 + -172.8. Let g = j + -32. Let t = g + 0.04. Which is smaller: t or -0.1?
-0.1
Let d = 12 - 14. Let k be 21/(-2)*6/(-9). Suppose -5*c = 20, -k*c + 3*c = -2*p + 12. Is d not equal to p?
False
Let t = -1075/57 + -636/19. Let s = -53 - t. Suppose -2*p + 8 = 5*z, -z - 2*z + 4 = p. Which is smaller: z or s?
s
Let t = -0.521 + 0.021. Is t at most as big as -0.06?
True
Let j = 1.7 + -2. Let s = j - -0.4. Let r(m) = -4*m - 62. Let i be r(-16). Is i > s?
True
Suppose -3*c - 5*y + 37 = 0, -68 = -5*c - 2*y - 0*y. Suppose 0 = 2*k - 4*r - 18, -3*r = k - r - 5. Let l be ((-2)/24)/(k/c). Is l smaller than 1?
True
Let d be (-2)/(-9) - (11/9 + 0). Let z(t) = -t**3 + 2*t**2 + 3*t - 3. Let p be z(3). Let u be 1 + 1 + p/3. Which is greater: u or d?
u
Let j(k) = k + 4. Suppose 3*t - 8 = 4*f, 3*t - 2 = -4*f - 10. Let d be j(f). Are 2 and d nonequal?
False
Let x be (6 + -2)*(-3)/6. Let o(b) = -b + 5. Let w be o(6). Which is bigger: x or w?
w
Let a = -6 + 10. Let v be a/(-8) + (-14)/4. Suppose -5*s + 25 - 7 = -r, -9 = -r - 4*s. Is v at most r?
True
Let q be ((-1)/(-2))/(1/(-12)). Suppose -6*c = 44 + 4. Which is bigger: c or q?
q
Let m be 3/(-14)*4/3. Which is smaller: m or 7/5?
m
Suppose 0*z - 10 = 4*z - 5*x, -4*z - 3*x = -6. Let n = -7/8 + 9/8. Is z greater than n?
False
Let x = -21 + 31. Is 9 greater than x?
False
Let d = 22 + -8. Which is greater: 10 or d?
d
Let y be 1/3*(-3)/(-1). Let x be (-26)/(-22) + 3 + (-2 - 2). Which is bigger: x or y?
y
Let o = -2486 - -27322/11. Which is greater: o or -2?
-2
Suppose 3*k + 48 = 7*k. Suppose 0 = -5*f + 3 + k. Suppose -f*r + r = -2. Which is greater: 1/4 or r?
r
Suppose 2*x - 92 = -5*c, -3*c = 2*x - x - 56. Which is smaller: 19 or c?
19
Let j = 18 + -12. Let l be 3/(-6) + (-30)/(-4). Let z = j - l. Which is greater: -1/5 or z?
-1/5
Let p(b) = b**3 + 10*b**2 + 9*b + 1. Let x be p(-9). Let z = 8/11 + -45/77. Is x greater than z?
True
Let q = 11 - 11.2. Let h = q + -1.8. Let a = 18/11 - 112/55. Is h greater than a?
False
Suppose 11 + 0 = -w. Let x = w + 12. Are x and -1 nonequal?
True
Let t = -1/483 - 2386/14007. Is 1 bigger than t?
True
Suppose -3*j - 4*o = -4, -4*j + 3*o - o = -42. Which is bigger: j or 0?
j
Let w be (17 - 2)/((-3)/(-2)). Is w > 10?
False
Let w be 1/((-3)/((-12)/(-38))). Let s = 52/133 + w. Suppose -2*t - m = m + 8, -10 = 5*t + 3*m. Which is smaller: t or s?
s
Let v = 2.91 - 3. Let m = v + -0.91. Which is smaller: 1 or m?
m
Let d = -252 + 221. Is d > -63/2?
True
Let d = -495899/141 + 3517. Is -1 <= d?
True
Let l be 0*((-5)/2 + 2). Which is smaller: 4/3 or l?
l
Let r = 19 - 10. Let k = r - 9.03. Which is greater: -2 or k?
k
Suppose 4*w + 0 = -32. Which is smaller: w or -9?
-9
Suppose -11 - 1 = 2*x. Let l be (15/(-50))/(x/16). Which is smaller: l or 2?
l
Let o be (-2)/44*(-10 - -8). Which is bigger: 1 or o?
1
Let r = 1 - -1. Suppose 5*z = 25, -r*v + 10 = -v + 2*z. Let n be v/((3 - 1) + -4). Which is smaller: n or 1?
n
Let a = 118 + -127. Is a less than or equal to -2?
True
Suppose b + 32 = 5*b. Which is smaller: 6 or b?
6
Let t = 0 - -3. Let r = 0 + t. Are r and 1/2 unequal?
True
Let g(p) = -4*p**3 + 3*p**3 + 3 - 5*p**2 + 1 - 2*p. Let a be g(-4). Let c be 9/(-6)*a/3. Which is smaller: c or 3?
c
Let s be (6/(-4) - -1)*0. Suppose s = -2*t + 14. Which is smaller: t or 1?
1
Let z = -67 + 336/5. Is 3/5 equal to z?
False
Let f(k) = 2*k + 1. Let p be f(-5). Let z be 7/p + (-2)/9. Is 1/4 smaller than z?
False
Let m(q) = q - 6. Let t be m(9). Suppose -2*y - 2 = -t*u, -u = 4*y + y - 12. Is 2/3 at most as big as u?
True
Let w(x) = -x**2 + 9*x - 8. Let v be w(6). Let r be (-4)/20 - (-2)/v. Is 4/7 greater than or equal to r?
True
Let t = 26 - 105/4. Let a be 6*2/(-3)*-1. Suppose 0 = -4*w - a. Which is smaller: t or w?
w
Let d = 28 + -34. Which is smaller: 0 or d?
d
Let q be 3 - (1 + (1 - -1)). Suppose 5*m = s - 5*s - 18, -4*m + 5*s - 39 = q. Let i = m - -6. Is -4 equal to i?
False
Let x = 0 - -1. Suppose -x = -5*w + 4. Is w greater than or equal to -1/7?
True
Let b = 244/39 + -19/3. Let l = -14 + 27/2. Are b and l equal?
False
Let z = 23 + -22. Suppose -w = 3*w - 8. Suppose -1 - 1 = -w*q. Is q at most as big as z?
True
Let b be (-1 + 0)/((-4)/(-12)). Let h(c) = c + 4. Let m be h(b). Which is smaller: 1/3 or m?
1/3
Let p = -0.07 + 0.17. Is -2 != p?
True
Let w = 4.07 - 0.07. Which is bigger: w or -0.1?
w
Let u = -7.4 - -24.4. Which is greater: 3 or u?
u
Let t be ((-36)/16 + 2)*11. Which is smaller: t or -4?
-4
Suppose 3*u + 23 = 4*s - 0*u, 4*s - 3 = -u. Let y = -4 - s. Which is smaller: -0.1 or y?
y
Let q = -1985/7 - -283. Suppose -2*c + 4*c - 2 = 4*a, 0 = 5*a - c + 1. Is a not equal to q?
True
Suppose -4*u - 42 = 4*f + 6, -5*f - 32 = u. Let r = 1 - 6. Are r and u unequal?
True
Let m(z) = z**3 + 3*z**2 + 1. Let i be m(-2). Suppose 3*q - 5 = 5*c - 3, -i*q = c - 22. Let t = 0 - c. Does t = -1?
False
Suppose 4*h = 5 + 31. Are 10 and h equal?
False
Let f be 1/((3 + -5)/(-2)). Are 7/4 and f non-equal?
True
Suppose -8 = -3*a + 1. Let i be (a - (-21)/(-12)) + -2. Is i at most as big as 0?
True
Let j = -27 - -28. Which is smaller: 0.1 or j?
0.1
Let l(o) = o**2 - 4*o + 7. Suppose 4 = 2*d - 6. Let i be l(d). Suppose 0 = 4*f - i. Which is smaller: f or 2?
2
Suppose 0 = -3*t - 12, -2*n + 2 = -2*t - 2. Let d(w) be the third derivative of -w**6/120 - w**5/30 + w**3/3 - 2*w**2. Let f be d(n). Are 2/7 and f non-equal?
True
Let j be (1 + -3)*1*1. Does j = -6/11?
False
Let y = 21 - 24. Which is smaller: 1/9 or y?
y
Let m = 1 - 1.1. Let b = -0.9 + 1. Let l = b - m. Which is greater: 2 or l?
2
Let q be ((-5)/(-90))/((-6)/8). Which is greater: 0 or q?
0
Let t(u) = -5*u**3 - u - 4. Let v be t(-4). Let x be v/(-55) + (-4)/22. Is -5 <= x?
False
Let h = 0.747 - -0.143. Let t = h - -0.11. Let d(x) = -3*x + 1. Let o be d(1). Which is bigger: o or t?
t
Let x = -1 + 0. Suppose j = 4*y + 16, -5*j = -2*y - 28 + 2. Suppose -j = z - s, -4*z + 8*z - 2 = -5*s. Which is bigger: z or x?
x
Suppose m + 2 - 1 = 0. Let a be 2/(-4) + (-3)/6. Let r be (a - 1 - m)/1. Do 1/3 and r have the same value?
False
Let t = -1 - -2. Let m = 8 - 9. Let a = m - t. Is 0.1 bigger than a?
True
Suppose -6 = -w + 10. Which is greater: 17 or w?
17
Suppose -2*x = 2*x + 60. Is x less than or equal to -16?
False
Let y = 4 + 0. Let r = y - 2. Do r and 0 have the same value?
False
Let w(l) = l**2 + l - 1. Let j = -4 + 3. Let d be w(j). Let r = 10 - 31/3. Which is smaller: d or r?
d
Suppose 4*k - 2*h - 12 - 46 = 0, -4*k + 55 = -5*h. Is 14 < k?
True
Let y be ((-77)/(-429))/((-1)/(-861)). Let c = 155 - y.