) + (-561)/(-55) - -1. Which is smaller: -5 or b?
-5
Let c = 7648/51 + -150. Which is smaller: -1 or c?
-1
Suppose -5*g = t - 2, 3*t - 5*g = 6*t - 6. Suppose 0 = t*h - 9*h - 70. Is h bigger than -10?
False
Suppose -14 = -2*f + 4*f - 3*n, 3*f = -5*n + 17. Let m = 643/986 + -21/34. Which is greater: f or m?
m
Let l be (-1)/(-3) + (-11)/(66/(-4)). Let c be -46 + -7 - (1 + 2/l). Is c greater than -56?
False
Let q = 55 - 53. Let t be 7/q*52/65. Is 2 > t?
False
Suppose d = 5*f + 219, -4*f + d - 4*d - 160 = 0. Which is smaller: -41 or f?
f
Let b = -0.219 + 0.119. Which is smaller: -2/479 or b?
b
Let c = 12 + -18. Let v be (-243)/c + 3/1. Let n = v + -41. Which is greater: 1/3 or n?
n
Let o = 6.61 + 3.39. Is o equal to 20?
False
Suppose 0 = 3*p, -3*p = 3*s - 867 + 204. Which is bigger: s or -2?
s
Let d = 5 + -6. Suppose 7*g - 22 = 20. Let v be 1/4 - ((-18)/(-6))/g. Is v less than d?
False
Let x = -0.5 + -42.5. Let h = x - -58. Let j = 0.1 - 0.1. Is h less than j?
False
Let y = -0.1 - -0.1. Let l = 0.464 + 0.056. Let d = -0.62 + l. Is d less than y?
True
Let r be (2/(-5))/(6/(-10))*18. Suppose -13*n - 79 = r. Suppose -a + 9 - 41 = 5*l, -5*a - 40 = l. Is n at most as big as a?
True
Suppose -15*i = -327 - 1323. Is i bigger than -0.3?
True
Suppose 3*r + 3*v + 46 = 5*r, r - 36 = -5*v. Which is bigger: r or 124/5?
r
Suppose -16 = 3*z - 5*m, 2*m - 7*m = 3*z - 34. Suppose 3*h = 6*h - z. Let w be 12/9*-3*h. Which is greater: -5 or w?
w
Let j(k) = k**3 - 36*k**2 + 44*k - 321. Let i be j(35). Which is greater: -11 or i?
i
Let l(t) = -31526*t + 1. Let d be l(2). Let z = -442402/7 - d. Let u = 149 + z. Is -7 greater than u?
False
Let q = 53 - 55. Let s be q + 11/((-33)/42). Which is smaller: -18 or s?
-18
Let i be ((-12)/14)/(128/(-56)). Does i = -1?
False
Suppose 2*k - 6 = -24. Suppose 3*a - 3 = 6. Suppose -2*r = -w + 14, -r - 17 = -w + a*w. Is r at most k?
True
Let h = 0.081 + -0.791. Let g = -0.69 - h. Which is smaller: g or -0.6?
-0.6
Let i = -7 - -7.05. Let o = 0.55 - i. Let w = -111 - -112. Is o not equal to w?
True
Let w be (159/(-371))/(6/(-4)). Suppose 0 = g - 5*p - 13, 2*g + 0*p - 48 = -p. Suppose 5*x + g = 4*f, -f - 6*x + 3*x - 7 = 0. Which is bigger: f or w?
f
Suppose -3*r + 5*x - 17 = r, -5*x + 31 = 3*r. Suppose 6*i = -r*l + 4*i - 10, 5*l - 4*i + 70 = 0. Let n = l - -14. Which is smaller: 5 or n?
n
Let s = -3/2219 - -468215/4438. Is s at least 105?
True
Let d = -1091/9 + 122. Suppose -111*k = -143 + 32. Is d > k?
False
Let s be ((-700)/24)/(-35) - (-7550)/12. Is s <= 630?
True
Let w be 2/6 - 14/(-3). Suppose w = 5*x + 25. Suppose 13 = -6*m - 11. Are x and m unequal?
False
Let q(t) = -38*t + 282. Let h be q(11). Is h != -134?
True
Let g = -173.65 + 179. Let k = g - 0.35. Let o = -15 + k. Is -2/5 at least o?
True
Let k be 7/(105/10) + -1. Which is smaller: -89 or k?
-89
Let a = 265/63 + -233654/55503. Which is smaller: a or -1?
-1
Let m be ((1 + 3 + -1)/3)/(-1). Which is greater: 1/588 or m?
1/588
Suppose -2*f - 2 = -3*f. Suppose 5*q + 17 = 3*k - 3, -f*q = k - 3. Which is bigger: 2/15 or q?
2/15
Let j(g) = -g - 4. Let x be j(-13). Let a(f) = -7*f + 64. Let r be a(x). Is -1/38 smaller than r?
True
Let u = -50 - -50.037. Let z = u + 1.963. Does z = -2.5?
False
Let n(k) = 4*k**3 - 2*k**2 + 2*k - 1. Let l be n(1). Suppose l*v = -20 - 82. Which is bigger: v or -35?
v
Suppose -3 = -5*v - 18, -4*m + v = -455. Is m != 111?
True
Let b = -45.2 - 13.8. Let h = 44 + b. Do h and -1 have the same value?
False
Suppose 5*h = x - 194 - 462, 664 = -5*h - x. Is -132 < h?
False
Let c = 1 - 1. Let y = -1 - c. Let h(n) = 3*n**2 + 82*n - 64. Let z be h(-28). Which is bigger: z or y?
y
Let x be 12/18 + (2432/(-1788))/2. Do x and 1 have different values?
True
Let a be -1 + -5 + 2 + (-663)/2. Let t = a + 359. Is t != 23?
True
Let s be (-25)/2*8/(-10). Suppose 0 = -3*q - 2*b + 10, 2*b + 0 = -q + 10. Suppose -s*g + 13*g + 12 = q. Is g > -4?
False
Let i = -0.213 + 3.213. Let k = -0.8 + 1. Are k and i equal?
False
Suppose 119*c = 126*c. Let q = 1981/8874 - 5/306. Let n = 13/203 - q. Are c and n non-equal?
True
Let d = 3/16 + -35/144. Let h = -4 - -3. Which is smaller: h or d?
h
Let d be ((-8)/(-44) - 104/88)*41. Are -61 and d equal?
False
Let g be -7*((-45)/21 - 1 - -4). Which is smaller: g or -56/11?
g
Let p be (9/18)/((-1)/26). Let g(i) = i**2 + 14*i + 13. Let y be g(-12). Which is smaller: y or p?
p
Let z = 6825 + -6896. Let d = -64 + -8. Is z greater than d?
True
Suppose -402 = 3*z - 1176. Let d be (-1028)/z - (-1 - 3). Is d greater than or equal to 1?
False
Let r = 43 + -28. Suppose v = 4*q + 5*v + 4, 5*q - r = 5*v. Are q and 2 non-equal?
True
Let a be (6 - -21) + 1 + -4. Let z = a + -14. Let k = 17/32 - -263/32. Which is greater: z or k?
z
Suppose -62 = 11*n + 48. Which is smaller: -13 or n?
-13
Let z be (0 - -1)*-1 + (2 - 25). Let r be (-6)/18 - 2/z. Let j be (1/(-4))/((-3)/(-4)). Is j at least as big as r?
False
Let y = -10.4 - -1.4. Let v = y - -9.3. Let l = -157/4 - -39. Which is bigger: l or v?
v
Let y be -2 + 1 + 59 + -7. Is y greater than or equal to -4?
True
Let r be 9/109*(-2880)/18846. Let q = -2/349 + r. Let g = 3 + -2. Is q greater than or equal to g?
False
Let i = 246 + -245. Which is smaller: 2/1085 or i?
2/1085
Let x = -1.98 - 1.83. Which is smaller: x or 1/2?
x
Let v(y) = -y**3 + 4*y**2 + 80*y - 2. Let r be v(11). Is r at least as big as 161/5?
False
Let z = -1.9 + 2. Let q = z - 0. Let b be -12 - (1953/(-70) + 16). Do q and b have the same value?
False
Suppose 546 + 589 = 5*c. Are c and 227 non-equal?
False
Suppose 5*u + 0*u = 40. Let t = u + -27. Is -19 <= t?
True
Let c = -190 + 100. Let r = -89 - c. Is r > 4/11?
True
Suppose 2*i - 14 = -m, -3*i - i + 12 = -2*m. Let x(w) = 5*w + 8. Let p be x(-10). Let u = p - -45. Which is smaller: i or u?
u
Suppose -f - 18*f - 475 = 0. Which is bigger: -126/5 or f?
f
Let s = -52.014 + 52. Do s and 0.1 have the same value?
False
Suppose 3*o - 5*f - 1 + 15 = 0, 4*o - 12 = -f. Let z be 1/o + 620/(-1320). Is 0 <= z?
True
Let b be 29/24 - (-1 - 16/(-12)). Suppose 2*f - 4*z = 0, 0 = 2*f + f - 5*z. Which is smaller: f or b?
f
Suppose -25 = 5*b, -2*i - 5*b = i - 146. Let j = i - 115/2. Let n = -141 + 1267/9. Which is smaller: n or j?
j
Suppose -22*a + 4*b = -21*a - 331, 0 = a - 5*b - 333. Is 323 >= a?
True
Let b = 126 - 52. Let y = -74.1 + b. Which is smaller: y or 11?
y
Let t be (-2)/4 - 55/(-110). Let l be (2 - -8)/(2 + -1). Let o be 1*l*4/(-50). Which is greater: o or t?
t
Let d be 2/5 + 88/130. Let w(u) = u**3 + 27*u**2 + 47*u - 73. Let f be w(-25). Which is greater: f or d?
f
Let n be (-2)/(8/(-12)) + 1. Let l(m) be the third derivative of -m**6/120 + m**5/15 + m**4/24 - m**3/3 - 2*m**2. Let w be l(n). Which is smaller: 3 or w?
w
Let a(g) = g**2 - 21*g - 46. Let n be a(-2). Which is bigger: n or 1/190?
1/190
Let x be (-12168)/(-405)*5 - 4/18. Is x greater than or equal to 151?
False
Let h = 62.4 + -56. Let n = -3.2 + h. Let z = n - 3.4. Is -0.1 at least z?
True
Let t = 0.312 + -0.612. Is t equal to -18?
False
Let t be 7 + (-5 - 4/(-4)). Let q = t - 4. Is q > -2/3?
False
Suppose -65 - 13 = 3*w. Let r be (-3 - 80/w)*6. Is r < -0.1?
False
Let h = 12.3 - 21.3. Let y = -2 - 0. Is h < y?
True
Let w be (-12)/(-18) + (-7)/(-3). Is w greater than 31/7?
False
Let j = 6.2 + -7. Let h = -32 + 71. Let f = 37 - h. Is j at most f?
False
Let b = 101943/1406 - 4/703. Let f = -74 + b. Let l be 1*3*((-2)/(-6) + -1). Which is bigger: f or l?
f
Let g = 0.2802 + 0.0198. Which is smaller: g or 18/7?
g
Let l be 0/(77/11 + -13). Is l < 1/377?
True
Suppose -4*h = -3*l - 3*h + 6, 4*l - 18 = -2*h. Suppose -2*a - l*a = 0. Suppose -5*b + 5*n + 30 = 0, 2*b + a*n - 12 = -2*n. Are 7 and b non-equal?
True
Let a = -6846939/4 - -1724096. Let z = a - 12251. Let c = z - 112. Is -3 < c?
True
Let k(j) = -4*j + 59. Let l be k(-9). Let x be (-37)/37 - (-99)/l. Which is smaller: 1 or x?
x
Let o = 3.8 - 3.82. Let g = 6/5 - 7/5. Is g smaller than o?
True
Let m be (24/40)/(1/(-15)). Let p = m + 9. Let o be 0/(9/(-3) + p). Which is smaller: 6/5 or o?
o
Let h = -1.101 + 1.601. Is h at least 23.2?
False
Let q be -45 - 4*9/12. Let d be q/(-21) - 6/21. Let r be d/9*(-2 + 8). Is 1 greater than or equal to r?
False
Let h = -4 + 2. Let p = 2 + h. Let j be (-5)/((-1290)/(-9))