et b = -467 + 1050. Is 585 at least as big as b?
True
Let u = 142 - 146. Let g be ((-5914)/4)/(9/14). Let r = g - -2296. Are r and u equal?
False
Let y be 1384/(-414) - -3 - -1. Let g = y + -10/23. Suppose -5*z + 3*r = 80, -8 = -z - 3*r - 6. Is z greater than g?
False
Suppose -4*x - 5*h - 3 = 0, 4*x - 5*h + 3 = -10. Let q be (-1*(-3 - -2))/(x/46). Let i = q - -71/3. Which is smaller: -3/4 or i?
-3/4
Let t(b) = b**2 + 17*b - 116. Let j be t(15). Let d be 2/(-15) + j/(-420). Suppose -g = -2*w + 9, -2*g - 4*w = 9 - 23. Is d < g?
False
Let w = -5177 - -5159. Which is smaller: w or -4?
w
Let i = 6726537 + -174889957/26. Let p(l) = l**3 - 5*l**2 - 5*l - 5. Let f = 3 + 3. Let n be p(f). Is i < n?
True
Let m be (-32)/(-48) - -12*(-5)/63. Which is greater: -1.145 or m?
m
Let r(j) = 5*j**2 + 7*j - 6*j**2 + 0*j**2 - 4. Let h be r(4). Suppose -h*n + 38 = -10*n. Are -19 and n unequal?
False
Let k be (1 + 3)*(-16)/32. Let p be k/23 + (-105)/644. Are p and 2/11 non-equal?
True
Let c = 1169 - 1126. Suppose -98 - 16 = -3*j. Let u be j/(-95) - c/(-20). Which is smaller: u or 2?
u
Let p = 57154/11 - 5196. Which is greater: p or 100?
100
Let o be (564/(-9))/(-47) + (-3371)/15. Which is smaller: -222 or o?
o
Let h = 2 - 0. Let r = 14.65 + -1.15. Let t = r + -12. Is t less than h?
True
Let s be (-17 - -3)*((-14)/(-4) - 3). Let o(a) = -a**3 - 2*a**2 + 2*a - 48. Let n be o(s). Which is bigger: 1/5 or n?
n
Let h = -170 + 87. Let x = h + 87. Is x at most as big as 5?
True
Let c(x) = x**3 - 14*x**2 + 27*x - 15. Let m be c(9). Let j = m - -129. Are -47 and j equal?
False
Let n = 1/6442981 - 130476808397/1069534846. Let j = n + 122. Is j less than or equal to -1?
False
Let h(n) = 26*n - 404. Let j be h(22). Which is bigger: j or 177?
177
Suppose -4*b = -2*t + 16, 5 = -2*t - 3*t - 5*b. Let j be t/(-8) + -1*(-2)/4. Let m = 0.41 + -0.37. Which is bigger: m or j?
j
Suppose 0*y - 2*y = 0. Let b be (-48)/20 + 2 - 115880/50. Let c be 10/(-6) + b/(-912). Is c at least y?
True
Let y = -2896.69 + 2896. Let t(u) = -u**3 - 8*u**2 - 1. Let w be t(-8). Are y and w non-equal?
True
Let h = -4 - -2. Let k = 33 + -41. Let t(n) = -n**3 - 7*n**2 + 8*n - 10. Let v be t(k). Is h smaller than v?
False
Let b(w) = 11*w**3 + w**2 - 10*w - 33. Let f be b(-6). Let k be 0 - (f/(-465) + -5). Which is smaller: -1 or k?
-1
Let g be 18/(-48)*20/(-138). Suppose 470*l + 555 - 85 = 0. Which is smaller: g or l?
l
Let z(l) = 8*l - 632. Let f be z(24). Let m be ((-504)/16)/(6/84). Is f at most m?
False
Let r = 23867/8 + -2973. Suppose 7*a = 3*a - 5*u + 24, -5*u = -a + 31. Are a and r non-equal?
True
Let p = 23920 + -23920. Which is bigger: p or -2/1167?
p
Let d be (3/4)/((-2)/(-72)). Suppose f + f = -2, m - f = -d. Let j = 29 + m. Which is smaller: -5/18 or j?
-5/18
Let s be 950/130 + -4 - (-9)/(-6). Is 1 greater than s?
False
Let v(z) = 3*z**3 + 17*z**2 - 6*z - 13. Let h be v(-6). Suppose -c = -12*c + 231. Let d = 8 - c. Is h at most as big as d?
True
Suppose 0 = z + 21*b - 19*b - 9, 4*z - b = 27. Let g(u) = u**2 + 5*u - 3. Let k be g(-6). Is k greater than or equal to z?
False
Let f = -169.5 - -169.3655. Let a = f + -18.8655. Let q = 1.5 + 0.5. Are q and a non-equal?
True
Let s = -171.9 + 32.9. Let r = s - -136. Is r < -0.17?
True
Let o = -5 - -5.1. Suppose -8*k + 247 = -6*k + 5*a, -458 = -3*k + 5*a. Is k at most o?
False
Let z = -36714 - -36732. Let i be 1/3 - (-4)/(-6). Which is greater: i or z?
z
Let x be (704/40 - -4)*(-7)/1281. Which is smaller: x or 1?
x
Let i(d) be the first derivative of -d**3/3 + 15*d**2/2 - 3*d - 7. Let v be i(15). Let w be -32 + (9/(-12))/(v/12). Is -29 equal to w?
True
Suppose z - 751 = -4*z + n, 3*n + 153 = z. Suppose -30*c + 25*c - z = 0. Which is bigger: c or -32?
c
Let y = -4310 - -4310. Let w = 29/3 - 896/93. Which is greater: w or y?
w
Let i = 638304071/4663 + -136887. Which is greater: 0 or i?
0
Let v be 9/(-21) - (327/21 + 2). Let w = 18 + v. Let l be (-4)/41 + w - 0. Is 0 not equal to l?
True
Let r = 19636/5595555 - 6/7613. Is 1 at most as big as r?
False
Let s(r) = -r**2 - 2*r + 27. Let d be s(-6). Suppose -d*a + 5*k + 126 = 0, -5*k + 0*k - 42 = -a. Are 41 and a nonequal?
True
Suppose 2*w = s + 5, 12 = -s + 4*s + 3*w. Let b(n) = 5*n**2 - 51*n - 73. Let r be b(-10). Let z = r + -68403/73. Which is smaller: z or s?
z
Let r(w) = -7*w**2 - 117*w - 177. Let b be r(-23). Is b != -1189?
False
Suppose -5*m = 272 + 8. Let c be 34/51 + m/66. Are -1 and c non-equal?
True
Suppose -4*m - 28 = -5*y + 69, 20 = y - m. Let w(u) = -69*u + y + 139*u - 73*u. Let b be w(-4). Is b less than 27?
False
Let a = 0.064 - 59.064. Let u = 9422 - 9353. Let x = u + a. Which is smaller: -2 or x?
-2
Let f(v) = -4 + 9*v + 5 + 7 + 7 - 5 + v**2. Let y(b) = -b**2 - 4*b. Let x be y(-5). Let c be f(x). Is c >= -1?
False
Suppose -11*w + 5*w = 0. Suppose 45 = -w*s + 9*s. Suppose 3*a = 0, s*d + a + 10 = -0*a. Are -36/13 and d unequal?
True
Let p(z) = -2*z**3 + 11*z**2 - 4*z + 24. Let v(j) = 2*j**2 + 6*j - 31. Let c be v(3). Let b be p(c). Are b and 4 unequal?
True
Suppose -6*c + 16 = -260. Suppose 0 = 44*m - c*m + 208. Which is smaller: 103 or m?
103
Let n be (2 + 26/(-4))*6. Let m = 37 + n. Suppose 23 = 2*q + 3*k, 28*q + 2*k = 31*q - 41. Which is greater: m or q?
q
Let c = -89/3 + 30. Let p = -120 - 24. Let g = p - -182. Is g at most c?
False
Let t = -0.152 + 0.002. Let q = 0.149 + t. Let w = -1.001 - q. Which is smaller: -10 or w?
-10
Suppose 27*j - 58 + 4 = 0. Let o be -197 - (-3 + j + 10/2). Which is smaller: o or -202?
-202
Suppose w = -17*d + 19*d - 6, 12 = 3*w + 4*d. Do -14/275 and w have the same value?
False
Let m = 5338 - 5531. Is 6 less than or equal to m?
False
Suppose 2*a = -2*t - 1270, -1327*a - 3199 = 5*t - 1330*a. Do t and -630 have the same value?
False
Let n(f) = -3*f - 7. Let w(o) = -16*o - 35. Let d(x) = 11*n(x) - 2*w(x). Let h be d(-5). Let z be 2/15 + h/(-10). Which is bigger: -2/63 or z?
z
Let k = 1725 - 4898/3. Let w = k + -92. Let q = 0.08 - 0.93. Is q bigger than w?
False
Let u(a) = 4*a - 2. Let d be u(2). Let n = 884 + -7031/8. Is n less than or equal to d?
True
Suppose 4*w + 198 + 90 = 0. Let a be w/27*(-1)/(-44)*-1. Is 0 less than or equal to a?
True
Suppose 0 = g + 4*g - 35. Let q(a) = a**3 - 6*a**2 - 5*a - 17. Let m be q(g). Let n be 28/m + (3 - 55/15). Which is smaller: n or -13?
-13
Let n be ((-5)/(-24) - (-108 - -108))*-916. Is n bigger than -190?
False
Suppose 39 = 10*m - 11. Suppose m*d + b = 2*b + 9, -5*d + 15 = 5*b. Let r be (-9)/15 - (-4)/(-10). Is r >= d?
False
Suppose -4*x + f = 2*f - 9, 2*x + 18 = 4*f. Let u = x - 0. Let y = -23461/2626 - -1929/202. Which is smaller: y or u?
y
Let z = -3 + 3. Let u = -40523/18 + 2251. Is u bigger than z?
False
Let o(d) = 0 + 0 - 1 + d**2. Let f be o(0). Let l = 27527/75 - 367. Is l < f?
False
Let w = -187 + 98. Let k = 82 + w. Let t = 49/10 - 57/5. Are t and k non-equal?
True
Suppose 4*y = -t - 1052, -4*y + t - 470 = 590. Let u = 509 + -507. Is u smaller than y?
False
Let d(y) = 0 + y + 8*y + 2 - 4. Let w be d(7). Suppose 2 = -3*q - w. Do -22 and q have different values?
True
Let y = -268 + 274.8. Let c = 43.2 + y. Is c bigger than -1/3?
True
Let p = 276373.967 - 276570. Let u = -196 - p. Let k be (-80)/(-35) + 1*-2. Are k and u non-equal?
True
Let a be -48 - (-6)/((-42)/(-35)). Let u = -146 + 105. Which is smaller: u or a?
a
Suppose -i = -13*i + 2604. Suppose -6*c + 173 = -i. Let h = c - 27. Do h and 38 have different values?
False
Let s be (-7)/14 - 6/(-28). Suppose 0 = -100*d + 105*d. Let z be (10 - (-1 - d)) + (-1 - -1). Which is bigger: z or s?
z
Let j(c) = -15*c + 90. Let d be j(6). Let a be 0 + (-57)/64 + (1 - d). Which is greater: 1 or a?
1
Let s be 5*((-288)/(-30) - 9). Suppose 0 = 3*t + t - s*a - 4, 2*t = -4*a + 2. Let p = 164/6237 + -10/567. Do t and p have the same value?
False
Let y(k) = -k**3 + 45*k**2 - 21*k + 1005. Let x be y(45). Is x != 56?
True
Suppose 54*a - 53*a - 708 = -5*v, 4*a = -5*v + 702. Which is bigger: v or 143?
143
Let y be (58/4)/((-850)/(-8)*(-221 + 222)). Which is smaller: 1 or y?
y
Let g = -21.09 - -46.09. Is g > 12?
True
Let u = 83/4 - 19. Let z(c) = c**3 + 14*c**2 + 12*c - 12. Suppose 98 - 24 = -5*r - 3*s, r - 5*s = 2. Let d be z(r). Is d at most u?
True
Let h = 29/3 + -10. Suppose 5*s = 62 - 17.