hich is greater: -7 or r?
-7
Let u = 253.9 + -254. Is u greater than 72?
False
Let o(n) = -n**2 + 4*n + 6. Let r be o(5). Suppose -r = -3*l + 2*l. Is l less than -36?
False
Let b(r) = r**3 + 5*r**2 - 10*r - 17. Let q be b(-6). Let z be (q + -5)/(-4 + (-7)/(-2)). Let m be (-5)/2 - (-2)/(-4). Which is smaller: z or m?
z
Let i be 37/13 + (-1 - 6). Is i smaller than -3?
True
Suppose -5*v + 5 = -5*f, v = 3*f - f + 4. Let y = -6 - -5. Which is smaller: y or f?
f
Suppose 5*h - 13 = 42. Suppose 0 = -3*t - 1 - h. Is -5/2 smaller than t?
False
Suppose 18 = 104*y - 101*y. Let w be (y/4)/(-3*1*103). Is 1 less than or equal to w?
False
Let n = -5711 + 188399/33. Which is bigger: -1 or n?
-1
Let o = -9.19 + -2.16. Let h = o + 0.35. Let m = -12 - h. Are m and 0.14 equal?
False
Let c = 0.02 - 0.07. Let x = 368 + -1105/3. Which is smaller: c or x?
x
Let k = 0.1071 - 439.1071. Is -0.1 > k?
True
Suppose 3*n + 133 = 22. Let t = -37 - n. Which is smaller: t or -1/91?
-1/91
Let w be (-2)/4 - (-9)/12. Suppose -9*q = -7*q - 52. Suppose -2*l = -4*a - q, 5*l + 8 - 41 = 2*a. Is w at most a?
False
Let u(q) be the first derivative of 2*q**3/3 + 7*q**2/2 - 7*q - 1. Let y(p) be the first derivative of u(p). Let r be y(-2). Which is smaller: -3/25 or r?
r
Let u(r) = 2*r**2 + 11*r + 15. Let h be u(-6). Suppose m - h = 8*m. Which is smaller: -0.1 or m?
m
Suppose 0 = 3*v + 2*p - 15, 9 = 2*v - 2*p + 3*p. Let z(d) = 28 - 13 + d - d**2 - d**v - 19. Let f be z(0). Which is smaller: f or -2?
f
Suppose -11*m = -2*m + 261. Let d = 0.27 + -0.37. Which is greater: d or m?
d
Let j be (-1 + 1)*5/(-10). Let q = -207/5 - -1374/35. Let y = 53/28 + q. Which is bigger: y or j?
j
Let y = -28015/2387 + 129/11. Which is bigger: y or 2/7?
2/7
Suppose -20 = -5*i, 0 = -0*z + 2*z - 4*i + 28. Suppose 10 = 5*s - 0*m + 5*m, -2*s - 3*m = 0. Suppose -w - s = -0*w. Is w at least z?
True
Let k be 9/(-36) + (-6)/8. Suppose -3*p - 2*j = -5*j + 30, 0 = -p + 2*j - 10. Let s be (-35)/48 + p/(-15). Which is smaller: k or s?
k
Let j = 14 + -10. Suppose 15 = 2*r - 5*i, 5*i + 10 + 5 = j*r. Suppose r*m = -5*m + 45. Which is smaller: 8 or m?
8
Let d be (1/4*0 + -2)*3. Suppose -14 = 3*a + 1. Is a less than or equal to d?
False
Suppose -11*s - 649 - 33 = 0. Which is smaller: -1/2 or s?
s
Let f = 2 + 4. Let j = -19/3 + f. Let m = -679.5 + 685.5. Is m <= j?
False
Let y = -121.32 + 86.6. Let f = 5.02 + y. Let p = -30 - f. Which is smaller: -7 or p?
-7
Let a = 381790 + -6486454/17. Let g = -234 + a. Does 0 = g?
False
Suppose 2*b = -2*t + 170, 4*t - t + 305 = 4*b. Which is greater: b or 393/5?
b
Suppose -290*r + 280*r = 120. Which is greater: -14 or r?
r
Let i be ((-78)/(-2990))/((-1)/(-5)). Is i <= 0?
False
Let g be 1/2 + (-39)/6. Let t = -5 + 7. Suppose t*p + 4 = -0*p. Which is smaller: p or g?
g
Let s(x) = -x**2 - 24*x - 139. Let h be s(-15). Let o be (14/6)/(6/(-9)). Which is smaller: h or o?
h
Let d be 20/(-8)*12/(-2255). Is 1 >= d?
True
Let b = -76 + 80. Let l be -2 - (5/(-25))/(b/35). Which is greater: l or -2/7?
l
Suppose -9*l + 260 - 98 = 0. Suppose -l = 3*v + 6*v. Is v bigger than -26?
True
Let a(i) = 6*i + 1. Let f be a(6). Suppose x = 0, -k + 5*x + 1 - f = 0. Let d be (k/(-63))/(4/14). Which is smaller: d or 1?
1
Suppose 1462*q = 1459*q - 3. Let o = -7 - -4. Is o greater than or equal to q?
False
Let l = 3.337 - 0.337. Let r = -5 + 3. Which is bigger: l or r?
l
Let s = 0.02 + -0.55. Which is smaller: 2 or s?
s
Let b(p) = -13*p + 6. Let y(m) = -27*m + 11. Let h(l) = -13*b(l) + 6*y(l). Let f be h(4). Which is bigger: 17 or f?
17
Let a = 0 + 5. Suppose -2*x + 5*q + 16 + 2 = 0, a*x = 3*q + 7. Which is smaller: x or 2?
x
Let j be 3/(-4)*2/(-9). Suppose c = -d + 3*c - 10, -2*d = -5*c + 25. Let w(m) = m**3 - 2*m**2 + 2*m - 1. Let y be w(d). Which is bigger: j or y?
j
Let c(p) = 2*p**2 + 3*p + 1. Let t be c(-4). Let z be 384/21 - 6/t. Which is greater: 16 or z?
z
Suppose 4*i = 5*j - 84, 0*i - 45 = -3*j - 3*i. Suppose c + 3*c = b - j, -c = b + 4. Let k = b - 2. Is k bigger than 0?
False
Let d = 0.32 + 0.68. Let g(y) = -y**3 + 2*y**2 + 5*y - 3. Let j be g(3). Suppose 0*x = j*x - 9. Which is smaller: x or d?
d
Suppose 5*p + 80 = 7*p. Is 40 >= p?
True
Suppose 5*l + 13 = 4*h - 21, -2*l + 4*h = 16. Which is smaller: l or -8?
-8
Let x = -30 - -29. Let a be x*-14*3/48. Is 1 < a?
False
Suppose 6*f - 300 = -84. Let l = 35 - f. Are 0.08 and l non-equal?
True
Suppose 0*d = -d - 2*k - 14, -d - 16 = k. Let a be 2/9 - 453/(-27). Suppose 68 = -3*x + a. Is x at most as big as d?
False
Let r be (-14)/(-4)*(-216)/(-126) + -1. Let x be (r/3)/5*141. Is 46 at most as big as x?
True
Let o be -6 - (3 - (-2 + 4)). Let i = -1478 - -1476. Is o < i?
True
Let v be ((396/40)/(-11))/((-12)/10). Let h = 0 + -1. Are v and h unequal?
True
Suppose -2*w + 134 = c + w, 248 = 2*c + w. Suppose c - 14 = 12*u. Is 8 at most as big as u?
True
Let d be (1/1*-1)/((-12)/1938). Is 163 at most as big as d?
False
Let r be (1 + -4)/(-3) + -7. Let g be (4/r)/((-12)/18). Let x = -10/11 + 69/88. Are x and g equal?
False
Let n = -125 + 2123/17. Is n <= 1?
True
Suppose p + n + 6 - 12 = 0, -n = -2*p + 15. Suppose -j = 8 - p. Which is smaller: 1/8 or j?
j
Let p = 6.5 - 5.8. Let j = p + 0.3. Which is bigger: -7 or j?
j
Let z = -2/503 + -3501/5030. Let t(o) = -o**3 + 5*o**2 + 10*o - 25. Let g be t(6). Is z equal to g?
False
Let n be 8/20*(-4 - -57). Is n < 22?
True
Suppose -34*r + 38*r - 12 = 0. Suppose -l = 1 + 2, -3*s + r*l = 78. Which is smaller: s or -28?
s
Let s = -1.12 - 0.48. Let k = s - 0.4. Are k and -0.03 unequal?
True
Let h(s) = 24*s + 268. Let x be h(-14). Which is greater: -275/4 or x?
x
Let y be 0*(-19 + 17 - (-1 - 2)). Which is smaller: y or 3/199?
y
Let z(f) = -f**3 - 4*f**2 + 11*f - 13. Let v be z(-7). Let t = v + -53. Which is smaller: -0.06 or t?
-0.06
Suppose -8*s + 4*s + 80 = 0. Suppose -m + 5*t = 4, 4*t + 0*t + s = -5*m. Let q be (-6)/m*(-4)/78. Is 1 at most q?
False
Let j = -15 + 10. Let t be (-7)/(5*(j + 4)). Which is greater: t or 1/3?
t
Let l = -559/10 + 56. Let b = -5039 + 5038. Is l < b?
False
Suppose 0 = 3*q + 13 + 2. Suppose 0 = -2*i + i + 2*t - 13, -5*i - 30 = -3*t. Let w be 6 + i - 52/6. Is w < q?
True
Suppose -3*w + 2*f = 4*f - 5, -4*f = 4*w - 4. Suppose -6*h = w*l - h - 12, -l + 4*h = -21. Is 5 less than l?
True
Let t = 611/4 - 4285/28. Let d = 23.009 + -0.009. Are d and t unequal?
True
Suppose -7*g = 19*g + 5122. Which is bigger: g or -196?
-196
Let i be (-1526 + -1)/3 + -4. Let d = i + 26161/51. Which is greater: 0.1 or d?
0.1
Suppose -8 = -5*b - 3*n, 0*n + n = -5*b + 6. Suppose 0*f - 3*f = -s - 8, 3*s + 9 = 4*f. Let p be s/(-98)*(-5 - -9). Is b >= p?
True
Let v = -6/257 + -1821/21074. Which is smaller: v or -1?
-1
Let a be 1*(-1 + 0) - 1. Let j = 8075 + -56529/7. Which is bigger: a or j?
j
Let b(l) = -7*l**3 + 2*l**2. Let a be b(-2). Let v = -80 + a. Is -14 < v?
False
Let p be (78/(-75) - -1)*15/6. Let h = p - -3/130. Let b be 1*0*(2 + -1). Which is bigger: b or h?
b
Let q = 1363 - 74963/55. Suppose 0 = v + m - 4, 10*v - 4*m = 5*v + 38. Let k be (v/(-10) - (-6)/(-15))/1. Is k at most as big as q?
True
Let x = 157 - 113. Is 0 at least x?
False
Let t be ((-440)/12)/(42/(-9) + 5). Which is bigger: -112 or t?
t
Let w(x) = -x**2 - 10*x - 10. Let m be w(-8). Let o be m/(-1 - (1 + -3)). Suppose -2*y = -8 + o. Is 1/7 less than y?
True
Suppose -5*w + 10 = o, 0*o = 3*o. Suppose -3*b + w*j = -3*j + 25, 3*j = 15. Let v be b/(-5) - 4/26. Is 1 smaller than v?
False
Let l = -605 - -2435/4. Suppose -10 = -5*v + 5. Which is bigger: l or v?
l
Let w = 12 - -15. Suppose 5*k = 397 - w. Which is bigger: 73 or k?
k
Let u = -6826/143 - -656/13. Is u not equal to 2?
True
Let k be (-2)/20 - 9386/(-260). Suppose m + 175 = 5*i, 2*m + 2*m = -3*i + 128. Is k at least as big as i?
True
Let u be (-4)/14 - (-410202)/938. Let f = u - 437. Let p be ((-6)/(-6))/((-13)/26)*(-2)/(-4). Is f bigger than p?
True
Let z be 640612968/2340 + (-2)/(-2). Let r = z - 1369511/5. Let v = r - -135. Is v at most as big as -1?
False
Let g = -0.6 + -2.3. Let p = g - -2. Let q = 0.1 - p. Does 0.3 = q?
False
Suppose 0 = 5*p - 15, -2*f - f + p = 42. Let u = -9 - f. Let q = u + -6. Is q at most -1?
True
Let o = 3 - -4. Let s be o/6 - (-4)/(-6). Suppose -5*i = -21*p + 22*p - 20, 0 = -3*p + 3*i +