t g = -32 - -28. Is g >= o?
True
Let l = -28/373 - -14597/189484. Is l > 0?
True
Let x be 3/((-72)/33) + 1. Let v(j) = 2*j**2 - 5*j + 5. Let k be v(3). Suppose k - 3 = -5*g. Is g at most as big as x?
True
Let a = -696.36 - -697. Which is greater: -1/5 or a?
a
Let s(q) = q**2 - 10*q + 25. Let a be s(6). Is a smaller than -2/7?
False
Let g = 27 + -29. Let o be (2/(-8))/(g/56). Is o equal to -1?
False
Let y(z) = z**3 - 12*z + 4. Let c be y(4). Let r(p) = p**2 - 15*p - 29. Let f be r(c). Is 70 less than f?
True
Let g = 4 - 0. Let m be (-1)/(-9)*51*3. Let h be (1 + -2)/(m/(-68)). Does h = g?
True
Let c(z) = 16*z + 153. Let n be c(-9). Is n > 14?
False
Let d = -288.3 + -2.7. Let w = d - -322.8. Let p = w + -32. Is 2 less than p?
False
Let v = -1531.1 - -1531. Let m = -12 - 4. Is m < v?
True
Let s be (-3 + 2)/((-7)/(-847)). Which is smaller: s or -122?
-122
Let l = 149 - 156. Is l at most as big as 2?
True
Suppose 8*q + 20 = 7*q. Let m = 60 + q. Suppose 6*b = b + m. Is 17/2 < b?
False
Let w(b) = -b + 20. Suppose 4*o - 3 = 33. Let y be w(o). Let x be (-1 + 2)*11 - 0. Is y at most as big as x?
True
Let s = 20 - 20. Suppose 5*h = 2*r + 20 + 16, s = -r + 2. Which is smaller: h or 9?
h
Let u = -13237/9 + 1469. Let q be (-1 - (-2)/23) + 10/(-115). Is u >= q?
False
Let g(u) = 12*u - 56. Let t be g(-19). Is -1133/4 bigger than t?
True
Let g = -13 - -16. Suppose 8*m - g*m = 100. Suppose -h - 5 = -5*z, m = h - 5*h. Which is smaller: 2/27 or z?
z
Let f be (-2 - (-7 - (0 + -4)))/(-1). Let s = 406/9 - 7750/171. Which is smaller: f or s?
f
Let l be 29/(-12)*(-206)/103. Let x(z) = 4*z**2 - z - 1. Let t be x(-1). Which is smaller: l or t?
t
Suppose 0 = 3*c - 7*c + 4. Let s be 3 + c + (-16)/(-4). Suppose 0 = 4*d + 4 + s. Which is bigger: -2 or d?
-2
Let g = 64 - 110. Let h = g - -46. Is -11 not equal to h?
True
Let l = -162.6 + 162.99. Is 4 less than l?
False
Let j(h) = 2*h + 10. Let y be j(8). Let f = -1049 - -1071. Is y at least as big as f?
True
Suppose -q + 126 = q. Let p = q + -62. Which is smaller: 1/25 or p?
1/25
Let g = 6.62 + -0.62. Which is smaller: 3/5 or g?
3/5
Let f = 320 + -322. Which is greater: 2/253 or f?
2/253
Let m = -434/15 + 411/10. Is 13 greater than m?
True
Let z(b) be the first derivative of b**3/3 + 11*b**2/2 + 25*b + 43. Let m be z(-7). Suppose -5*r - 11 = 4*c, 2*c - 4*r + 9 = -3*r. Which is smaller: c or m?
c
Let y be (-2 + 0)/(51/9). Let b = 1545 + -1544. Is b greater than or equal to y?
True
Suppose 7*m = -0*m - 2023. Let k = -2005/7 - m. Suppose 0*z = -4*z + 12. Is z < k?
False
Suppose -7*q = -916 + 755. Is 28 bigger than q?
True
Let w = -118 - -85. Let d(j) = -2*j**2 - 1. Let i be d(-4). Is i != w?
False
Let b = -36862/3 + 12676. Is b at most 389?
True
Let x(r) = r**3 + 2*r**2 - 14*r - 14. Let a be x(-4). Let f be 19/45 + a/(-45). Does -1/3 = f?
False
Let a = -233 + 258. Which is greater: a or 22?
a
Let o = 3 - -1. Let x = -3.82 + o. Is x equal to -0.2?
False
Let j = -17 - -16.84. Let q = j + -1.84. Let h = 2.1 + q. Is h equal to 6?
False
Suppose 12 = 4*h, 2*x - 3*x + 3*h - 13 = 0. Suppose 0*i - 5*i + 35 = 0. Suppose -n - j - 9 = 0, -2*n = -2*j + i - 1. Is n at most x?
True
Suppose -72 = -10*t + 7*t. Suppose -t = 4*i - 7*i - 3*v, 4 = -i - 4*v. Which is bigger: 13 or i?
13
Suppose 2*a - 2*m + 16 = 0, -3*m = 2*m - 15. Suppose -5*x = h + 31, x + 2 + 3 = 0. Which is greater: a or h?
a
Suppose -o - 4 = 2*o + w, 4*o + 12 = -3*w. Let a be -7 + (o + 0)/1. Which is smaller: -5 or a?
a
Let d(i) = i**2 + 1. Let f(u) = -5*u**2 + 5*u - 3. Let b(t) = -4*d(t) - f(t). Let r be b(4). Suppose -4 = -4*m, -5*v = 3*m + 2 + 10. Which is bigger: r or v?
v
Suppose -83 = 3*h + b, 0 = -3*h + 4*h - 2*b + 23. Let s = 27 + h. Is 0.04 < s?
False
Let g = -5/224 - 209/672. Which is smaller: -5.1 or g?
-5.1
Suppose 5*c - 15 = -5*n - 65, -2*n = c + 15. Let t be n/10*(-1 - 1 - -2). Does t = 4/11?
False
Suppose 2*i = 46 + 40. Suppose 3 = -4*v + 3*s + i, 2*v - 2*s - 18 = 0. Which is greater: 12 or v?
v
Let x = -2.54 + -1.46. Is -29 at most x?
True
Let x = -333.5 + 337. Is 4 < x?
False
Let x = -6.5 + -27.5. Let u = 34 + x. Is u greater than 3/7?
False
Let j be ((-7)/(-49))/((-1)/2). Let a be (4 - 1 - 3)/(6/3). Is j at least a?
False
Suppose -a + 27 = 5*v, 5*v - 3*a - 11 = 8. Let n be 106/4 - 2/(-4). Suppose 5*p + 3*t = 4*t - n, 0 = v*p - 4*t + 33. Is p less than or equal to -4?
True
Suppose 2*u = a - 259, 4*u + 0*a + 527 = -a. Is u less than -2/9?
True
Let w = -9 - 14. Let f = w + 15. Let v be 7/252 - (-1)/(-4). Which is smaller: f or v?
f
Let p be (4 + -2)/(-3155 - 8). Is 1 at most as big as p?
False
Let n = -1526 - -1522. Is -2.11 at most as big as n?
False
Let b be (-27)/(-18)*(-16)/12 - -14. Is 0.061 at most b?
True
Let j = 3316 + -3312. Suppose -o = -4*o. Is o not equal to j?
True
Let m = 52.25 - 54.85. Let d = 3 - 4. Let b = 2 + d. Which is bigger: m or b?
b
Suppose -3*k - a = 6, 0 = 2*k - a + 6 - 2. Let r be (-378)/(-15) - (k - (-55)/25). Are r and 24 equal?
False
Let x = 1 + -2. Suppose -2*v + 15 = 17. Let y be 8 + 4 - (x - v). Is y > 12?
False
Let w be (0 - 1)*(8 - 7) + -54. Let p be 9248/(-168) - (-1)/3. Let h = w - p. Which is smaller: h or -1?
-1
Let y = 3 - 46. Let i = 213/5 + y. Let h = -3 - -4. Which is smaller: i or h?
i
Let d(l) = -2*l**3 - 27*l**2 + 18*l + 12. Suppose -7*v + 13*v + 84 = 0. Let b be d(v). Is -44 greater than or equal to b?
True
Let n = 14 + -22. Let v be ((-6)/9)/(n/(-24)). Let h be 2 + 0 + -2 + 0. Which is bigger: v or h?
h
Let t = -119 + 118. Which is smaller: -3/7 or t?
t
Let c = -0.044 + 0.094. Let o = c + -0.08. Let y = 2/33 + 3/11. Is y equal to o?
False
Let c = 65.512 + 0.488. Which is smaller: c or 0?
0
Let t = 72.2 + -72. Does 15/4 = t?
False
Suppose y - 2*z = -11, z - 5 = -0*z. Let m = 854 - 41848/49. Which is smaller: y or m?
y
Suppose d = u + 23, -d + 30 = 3*u - 1. Suppose 0 = 4*b - 1 + d. Suppose -2 = -x - 8. Is b >= x?
True
Let u be 6/1 + (7 - 10). Let k be 4*u/4 + 22. Let d = k + -31. Which is smaller: -5 or d?
d
Let l(c) = -21*c**3 - 3*c**2 - 7*c - 28. Let b be l(-3). Is b less than 2?
False
Let k be (33/5)/((-16)/240). Which is smaller: -101 or k?
-101
Let s(z) = -z - 65. Let o be s(-16). Let b = o + 244/5. Which is smaller: b or -6?
-6
Let c be ((-66)/88)/(4/(-112)). Which is bigger: -1/5 or c?
c
Let z be 19/99 + 2/(-9). Let f = 200 - 201. Which is smaller: z or f?
f
Let l(y) = y**2 + 2*y + 16. Let i be l(0). Are i and 13 equal?
False
Let l be (5/(-4))/(13/52). Let p be (l - -5)*4/(-12). Which is smaller: p or 1/2?
p
Let l = -12.6955 - -0.0955. Which is greater: l or -1?
-1
Let f be (24/4 - 5)/(1/(-2)). Let m be 0 + (f/3 - -1)*-1. Is m >= -9?
True
Suppose -6*m + 10*m - 128 = 0. Let g = 32 - m. Is g at most 5/7?
True
Let x be ((-3)/2 + 0)/(2/(-24)). Suppose -a - 4*s + 14 = 0, 5*a + 3*s + x = 5*s. Is -6 less than a?
True
Suppose 308 = 9*t - 223. Does 233/4 = t?
False
Let q = -60.3 + 60.2. Is 71 greater than q?
True
Let x = 0.5 + -24.5. Suppose -5*d = 5*b - 7 - 38, 40 = 5*b + 4*d. Let l be 1/3*3/b*-2. Which is greater: l or x?
l
Let t be 17 + -6 + (-3 - 1). Which is smaller: 11 or t?
t
Suppose -13 = q - 5*l + 2*l, 3*q + l = 1. Which is smaller: q or -14/31?
q
Suppose 2*p = -3*t + 82, 2*t - 19 = -5*p + 21. Let o be 8/24 - 2/t. Suppose 3*z + 9 = 0, 4*i + 8 = -5*z + z. Which is greater: o or i?
i
Suppose 73 + 23 = d. Suppose l - 5 = 0, -5*h + l - 21 = -d. Do -2 and h have the same value?
False
Let a = -829 + 827. Which is smaller: a or -14.4?
-14.4
Suppose -3*s - i + 64 = 0, -2*i + 68 = 3*s - 0*i. Let h be s/110 + -8*(-5)/(-99). Let a be (-1)/2*1*2. Does a = h?
False
Suppose 0*c = -5*x - 5*c - 55, 2*x = 5*c + 13. Let d be (-765)/(-119) + x/14. Which is smaller: d or 3?
3
Let z = 340 - -66. Is z not equal to 1?
True
Let d be 144 + -141 + 3/(-1). Suppose 4 = -2*u - 6. Which is bigger: u or d?
d
Suppose 4*u = 3*y - 21, u + 13 = 3*y + 1. Let v be (6/8 + u/4)/2. Is -0.8 > v?
False
Let s = 373 + -373. Is 4/483 at most s?
False
Let m(r) = 3*r + 17. Let w be m(-8). Let d be (-5)/w - (0 - 0). Let f be 7/28 + 1/4. Are f and d equal?
False
Let m(t) = 3*t**3 - 3*t**2 - 6*t + 1. Let g be m(2). Is -2/633 at least as big as g?
False
Let q = 300 + -299. Let a = -9/1941773 - 429082126/10724412279. Let m = 2/263 - a. Is q at least m?
True
Le