-14237795222/59792310175 + 66/11270935. Let i = h + -2/1061. Let a = 33 - 33. Which is smaller: a or i?
i
Let i be ((-65)/(-3 + 8))/(4/4). Is -141/11 greater than or equal to i?
True
Let u = 0.403 - 0.403. Is -2.88 equal to u?
False
Let v(u) = -2*u - 4. Let q(l) = l + 3. Let c(o) = 8*q(o) + 5*v(o). Let i be c(2). Which is bigger: 12/13 or i?
12/13
Let b(l) = l**2 + 2*l. Let f be (-7)/3 - (-1)/(3/(-2)). Let u be b(f). Is u less than 2?
False
Let t be -12 + 5 + 4 + -1. Let a be t - 7/3*3. Which is bigger: -12 or a?
a
Let w be 1/(-14) - ((-106332)/(-168) + -9). Are w and -625 unequal?
True
Let v = 416/57 - -2/57. Which is greater: v or 7?
v
Let x = 83 + -565/7. Let h(r) = -r**3 - 7*r**2 + 7*r - 6. Let s(t) = -7*t**2 + t. Let y be s(-1). Let i be h(y). Which is bigger: i or x?
x
Let q(k) = -k - 9. Suppose z + 5 - 17 = 0. Let w be q(z). Let r be 2*(1 - w/(-12)). Which is bigger: r or 0.1?
0.1
Let w = 394 - 340. Is 55 bigger than w?
True
Let t = -21 - -24. Let m = 21 + t. Let i be 6/(-4) + 35/m. Which is greater: 0 or i?
0
Suppose 0 = 12*p - 2*p + 1680. Which is smaller: -169 or p?
-169
Suppose 66*y - 19 = -19. Which is greater: y or -2/1943?
y
Suppose -j + 0*z + 22 = 2*z, -3*z = 4*j - 108. Let i = 11152.7 + -11153. Which is smaller: i or j?
i
Let x = -5 + 15. Suppose 5*a - 3*a = x. Let g be (-8)/56 - 1071/(-294). Which is smaller: g or a?
g
Let o = -5 + 3. Let s be -11 - ((2 - -2) + o). Let h be (-28)/((-15)/((-120)/16)). Do s and h have different values?
True
Let b be 2/11 - (-889)/11. Suppose 4*j + b = p - 2*p, -2 = 2*p. Is j not equal to -19?
True
Suppose -c - 13 = -6. Let a = 18 + -14. Suppose 0 = a*p + 5*g + 44, 3*g + 2*g = -2*p - 32. Is p at most as big as c?
False
Let f = 14390/13 - 1107. Is f at least -0.069?
False
Let r = 0 + 4. Suppose -4*c + 17 = -5*l, r*l + 0*l = -5*c + 11. Which is smaller: 4/23 or l?
l
Let f = -263/21 + 38/3. Let n = -10 + 9.4. Let x = -1.4 + n. Which is smaller: x or f?
x
Let h be 25896/28782 - 2/(-9). Which is smaller: 1 or h?
1
Let i be 16/88 - (-134)/(-11). Let y(g) = -g**3 - 11*g**2 + 11*g - 11. Let m be y(i). Which is smaller: -2 or m?
-2
Let c be (-66)/21 - (-12)/(-14). Is -80/3 at least c?
False
Let i = 2 + -3. Suppose 7*m - 260 = 391. Let y = 1766/19 - m. Which is greater: y or i?
y
Let h = -224 - -134. Let r = 89 + h. Is r greater than or equal to 10?
False
Let g = -50.4 - -49.4. Is g less than 13.8?
True
Let c(k) = k**3 - 8*k**2 + 3*k - 11. Let h be c(8). Let d = h - 10. Suppose j - 4*m = -9, 2 + d = -5*m. Is j at most -12?
True
Let a be -50 - -48 - (-22)/2. Which is smaller: a or 10?
a
Let a(d) = -91*d**3 - 1. Let h be a(-1). Let l = h - 39. Suppose 0 = 14*w - 17*w - l. Is -16 less than or equal to w?
False
Suppose 11*c = -41 + 30. Which is bigger: -21/26 or c?
-21/26
Suppose -2*r - 26 = -4*p, 0 = 11*p - 12*p - 5*r + 23. Is p >= 48/7?
True
Suppose w = -3*b - 56, 3*w = -4*b - 39 - 39. Let d = b + 19. Let n be d/(-4) + (-21)/(-36). Is n at least -0.5?
True
Let u = -0.502 + -60.698. Let h = u + 61. Let x = -6.94 - -7. Which is greater: x or h?
x
Let v(t) = 5*t**2 - 16*t + 34. Let k be v(5). Which is smaller: 80 or k?
k
Suppose 2*i + 189 = 1235. Suppose 0*t = -t - i. Let w = 3669/7 + t. Is w bigger than 0?
True
Let x = 105 + -101. Suppose x*v - 131 = -7. Is v < 89/3?
False
Let r = 207 - 178. Which is bigger: r or 91/3?
91/3
Let y = -119 - -129.2. Let u = 2.8 + y. Let j = 12.7 - u. Is j >= -4?
True
Let l = 20 - 39/2. Suppose 3*o + 3*s = -327, -3*o + 2*s + s = 303. Let g = -105 - o. Which is bigger: g or l?
l
Suppose -118 = 22*m - 96. Let f = -18/19 - -559/570. Is f at most m?
False
Let i = -124.2 - -65.2. Is 4 >= i?
True
Let j = 16/17 + -10/119. Let n = 216 + -214. Is j smaller than n?
True
Let i = 4.8 + -4.61. Is i less than 0.13?
False
Suppose m + 7 = -2. Suppose -3*d - d = -36. Suppose -4*i + d*i = -40. Which is smaller: m or i?
m
Let z = -65.6 + -21.4. Let k = -89 - z. Suppose 0 = -5*m + 30 - 0. Is k greater than m?
False
Let i = 69 + -56. Let z = i + -7. Is 5 < z?
True
Suppose 3*u - 2*t = 342, u = -2*u - t + 351. Suppose 3*s - 12 = 0, -3*s - s = 5*b - u. Is b greater than -2?
True
Suppose 0 = -37*y + 13*y - 24. Suppose 16 = 3*a + 76. Let x be (y/5)/((-28)/a). Is x at least as big as 0?
False
Let o be (330/(-968))/(2*(-2)/272). Is o at least 22?
True
Let a = 281 + -294.7. Let s = 15.79 + a. Let u = s - 0.09. Is u at least as big as 0.2?
True
Suppose 5*p - 17 - 6 = -2*z, -p - 5 = -2*z. Which is smaller: 21/13 or p?
21/13
Let c(o) = o**3 + o**2 - 3*o - 3. Let k be c(-2). Let s be 6/5 + -1 + 67 + -6. Let y = 61 - s. Which is smaller: y or k?
k
Let g be -1 + (-18 - -3)/5. Is -14 >= g?
False
Suppose -231 = -10*h - 711. Let f be 2/(-19)*h/64. Is 0 <= f?
True
Let w(q) = 3*q + 23. Let x be w(-8). Let m = -0.64 - -0.04. Which is smaller: x or m?
x
Let f = -133.13 - -159.13. Let s = -0.7 - -0.4. Is s not equal to f?
True
Let v = 77.007 + -0.007. Which is smaller: -1/3 or v?
-1/3
Let q(t) = -6*t**3 + 7*t**3 - 2*t**2 + t - t + 7 - 5*t. Let l be q(3). Are 20/11 and l non-equal?
True
Let s(w) = 5*w**3 + 12*w**2 - 10*w + 12. Let q(g) = -4*g**3 - 11*g**2 + 10*g - 12. Let u(j) = -4*q(j) - 3*s(j). Let o be u(-9). Are 21 and o non-equal?
False
Let f = 327 + -326.836. Which is smaller: f or -0.1?
-0.1
Let u = 389 + -2679/7. Let t = 129/35 - u. Let a = -1 - -1. Which is bigger: t or a?
a
Let r = 83 + -3. Let o = r + -97. Which is smaller: o or 0.2?
o
Let m(z) = -z + 123. Let b be m(0). Suppose -4*g - 2*a + 168 = 2*a, 3*g - b = -4*a. Which is greater: g or 44?
g
Let d = 33 - 0. Let i = 20 - d. Do -16 and i have different values?
True
Let a(g) = -g**2 - 7*g + 20. Let n be a(-9). Suppose -5 = -3*r + 5*q, r - 4 = n*q - 2. Does r = -11/9?
False
Let t = -26613/4 - -6718. Which is bigger: 66 or t?
66
Let r be (-3)/12*7 + 5/(-20). Let h be -5 - (-3)/2 - (-1)/r. Are -1 and h equal?
False
Let o be (35 - 3) + (2 - 3) + 2. Let z be 2 + (-10)/15*o. Is -19 <= z?
False
Suppose -5*d + u = -2*u + 9, 3*d + 4*u = -17. Which is smaller: -7 or d?
-7
Suppose -5*y - 186 + 51 = 0. Let m = y - -26. Let x be 3/(-6)*2*1. Are m and x non-equal?
False
Suppose 0 = -2*y - 4*n - 306, 3*n - 222 = 2*y + 70. Which is smaller: -0.1 or y?
y
Let q(w) = -w - 14. Let z be q(-13). Let f be z/(-8)*23 + -1. Which is smaller: f or 3?
f
Let w be ((-4200)/(-133))/(-8) + 4. Let n be 2/(-6) - 32/(-6). Let f = -5 + n. Is f greater than w?
False
Let i(p) = -p**3 + 2*p. Let n be i(2). Let f be n/(-14)*(-7)/(-13). Is f > 1?
False
Let q = 3 + -3. Let k be q/((1/1)/1). Let a be 4 + (3 - 6) - (2 + -4). Is k <= a?
True
Let i(a) = -23*a - 321. Let j be i(-14). Is j greater than or equal to -107.9?
True
Let l(u) = u**2 + u + 3. Let b(n) = -4*n**2 - 3*n - 10. Let x(s) = 2*b(s) + 7*l(s). Let d be x(0). Which is smaller: d or -4/37?
-4/37
Let v = -7840355/681 + 11513. Is 0 at least as big as v?
True
Suppose -x = y - 15, -4*x = -5*x - 4*y + 24. Let o be ((-4)/(-28))/(x/(-14)). Is 1/3 >= o?
True
Let m = 2920/9 + -324. Which is smaller: m or 0?
0
Let h = -0.027 - 0.033. Let z = 3.06 + h. Which is bigger: z or 5?
5
Let a = 6805.245 - 6786. Let j = a - 0.045. Let p = j - 19. Are p and -6 unequal?
True
Let q = -4.7 - 0.3. Suppose 56*x - 257*x = -804. Do q and x have different values?
True
Let d be 1/(-2)*(-4 - 0). Suppose -d*j + 20 = -5*s, 3*j + j - 12 = -4*s. Which is greater: s or -14/9?
-14/9
Let z(o) = -5*o - 15. Let y be z(-4). Suppose -y*d - 247 = -3*q, -d = -4*q - q + 419. Suppose 2*k = -2*k + q. Which is greater: k or 22?
22
Let r be ((-30)/(-7) - 4) + 1122/42. Is 18 greater than or equal to r?
False
Let d = -40 - -37.6. Let q = 3.4 + d. Is q <= 0.03?
False
Suppose 0 = -45*t + 50*t + 270. Is -53 at most t?
False
Let i be (-3015)/126 - 2/4. Is -24 < i?
False
Let o = -77/111 + 1/37. Let p = 33 - 38.2. Let m = p + 5. Is m < o?
False
Suppose -8*v - 3*v - 275 = 0. Let k = 0.8 - -0.2. Is v at most k?
True
Let y = -173.55 - -14.45. Let p = y + 153. Let k = -6 - p. Which is smaller: k or 0.2?
k
Let s = -253 - -353. Which is smaller: s or 304/3?
s
Let m(b) be the first derivative of b**4/12 + b**3/6 - 2*b + 4. Let z(c) be the first derivative of m(c). Let i be z(1). Which is smaller: 3 or i?
i
Suppose -4*v + t = -53, -3*v + 5*v = -2*t + 24. Let l = 0 + v. Is l != 19?
True
Let h = -157/2 - 