Suppose 0 = -x - 24 + 23. Let r be s(x). Suppose -2*u - 2*u - 16 = 0, -5*u = -5*k + 40. Which is smaller: k or r?
r
Suppose -10 = 8*u + 2*u. Let t(i) = -i**3 + 9*i**2 + 8*i - 1. Let h be t(10). Let k be (7/h)/(23/6). Which is bigger: k or u?
k
Let k = -1 + 1. Let n be 732/12 - 3 - 9. Is k at most n?
True
Suppose -4*p + 149 + 71 = -5*a, -20*a = -4*p + 880. Which is smaller: a or -47/3?
a
Let s = 3343 - 3214. Which is smaller: 110 or s?
110
Let i = 138/29 - 67409/14123. Is i bigger than 0?
False
Let u be ((-51)/2)/(6/(-8)) + -8. Is 288/11 at most u?
False
Let z(o) = o**3 - 16*o**2 - 36*o + 22. Let f be z(18). Let x be (-36 - 2)*(-2)/(-4). Let q = f + x. Is q at most 2?
False
Let u = 360.76 + -357. Let k = u - 2.76. Which is bigger: k or 6?
6
Suppose 0*g + 2*g - 42 = 0. Let b be (1 - 15/g)*(-77)/14. Let o = b + 169/112. Is o at most as big as 1?
True
Let i = 986 - 985.031. Let w = 1.279 - i. Are w and 4 equal?
False
Let y(a) = 2*a - 2. Let v be y(6). Suppose k - 8 - v = -3*c, -k - 2 = -2*c. Suppose 9*f = k*f - 3*g - 3, -12 = -2*f + 5*g. Do f and -2/43 have different values?
True
Let i be 11/(-22)*(20 - 20). Let l = -14304/19 + 753. Which is smaller: l or i?
i
Suppose -3*w = -5*z - 1862, 2*w = -4*z - 0*w - 1472. Is -2 greater than z?
True
Let s be (-1 - 0)*-3 + -1. Suppose 4*j - 4*c + 12 = 2*j, 5*j - 10 = s*c. Suppose j*z - i = 4*i - 4, 4*i + 3 = -3*z. Does -2/87 = z?
False
Let p be 144 + 2611 + 1*-14. Are p and 2741 non-equal?
False
Let t be 64285/4278 - (13 - -2). Which is smaller: t or 0.3?
t
Let x be (3 + 1)/(170/40 + -4). Suppose 2*m + m = 297. Let i be 3 - m/22*(-2 + -1). Which is smaller: i or x?
x
Let z = -59 + 58. Let x be ((-11)/(-5) + 2)/(z/(-5)). Suppose 5*m = y + 9, x = 5*m - 3*y + 4. Which is greater: m or -2/7?
m
Let t = -3376 + 3382. Are -2/1429 and t equal?
False
Let w be 81/36 + 1/(-4). Suppose -4*a = w*k, -2*k = -0*k. Suppose a = -2*x + 39 - 49. Is -2/7 less than x?
False
Let g = 4092 - 3845. Is g < 740/3?
False
Let q = -56.9086 + 56.9. Let v = q - 0.0914. Which is smaller: 89 or v?
v
Let j = -112 - -157. Let s be (-4)/j*(-55)/(-22). Let i = -46 - -371/8. Which is smaller: i or s?
s
Let a be 12 - 160 - (-1 + (-4)/(-1)). Which is smaller: -128 or a?
a
Let n = 268 + -613. Let b = 5858/17 + n. Is 0 != b?
True
Let o be (3 + -2)*44/11. Let q = -1 + -2. Let n be (0 - q/(-15))*-19. Are n and o non-equal?
True
Let a = 0.1025 - -0.0907. Let q = -0.0068 - a. Is 17 less than or equal to q?
False
Let x = -6253 + 6253.1. Is x bigger than 48/7?
False
Suppose -24*b - 28043 = 5*b. Is -969 equal to b?
False
Let g = -3063 + 3288. Is g at least as big as 224?
True
Let v(b) = 3*b**2 + 358*b + 1471. Let s be v(-116). Is s > 267?
True
Let p(s) = s**2 + 2*s - 17. Let t(y) = 3*y**2 + 6*y - 51. Let q(v) = -17*p(v) + 6*t(v). Let f be q(-7). Let l be 34/(-51)*(0 - 27). Is f greater than l?
False
Let c be (-32)/64 + 266/262*1/2. Does c = 6?
False
Let v = 2 + -1. Let y be (-2)/6 + 128/448. Is v <= y?
False
Let y be -3 + 3/(7/(2296/(-12))). Let p be (y/15)/(3/(-18)). Suppose -352 = -7*r - 114. Are p and r nonequal?
False
Let p(z) = z**2 + 9*z - 70. Let n be p(-14). Suppose 4*a - d - 3*d - 4 = n, -6 = 2*a + 2*d. Let c = -4540/11 + 413. Are c and a equal?
False
Let d = 14706 + -250076/17. Let b = 47646 - 47650. Which is bigger: d or b?
b
Let w = 25.807 - 0.007. Let f = w + -7.7. Which is smaller: 0 or f?
0
Let j be ((-616)/(-5))/(8 + (-164)/20). Let a be (j/(-42))/((-4)/(-69)). Does a = 253?
True
Let g be ((-1)/10 - 15478/66540) + 1/3. Is g less than or equal to 0?
False
Let v be (-2)/(-3) + 14/(-21). Suppose v = t - 9 + 4. Suppose t*l + 0*l = 35. Which is smaller: 8 or l?
l
Let z(y) = 16*y**2 - 252*y - 3. Let a be z(15). Which is smaller: a or -1103/6?
-1103/6
Suppose 4*f + 1 = 3*f - 2*n, -5*f - 2*n + 11 = 0. Suppose f - 6 = l. Let r be l/((-3)/(-2)) - (-32)/12. Is r less than or equal to -0.18?
False
Let a(s) = -577*s - 2307. Let l be a(-4). Are l and -9/767 unequal?
True
Suppose -7*j - q - 1250 = 0, 4*j - 5*q - 265 + 996 = 0. Is -218 bigger than j?
False
Let m be ((4 - 6) + 5)/((-830)/76 - -11). Suppose -u + 96 = -5*u. Let j = u - -61. Is m greater than j?
True
Let b = -78.837 - -79. Let f = b - 58.163. Are -3 and f non-equal?
True
Suppose 13*s = 9*s - 116. Suppose 6 = 3*v, -b - 5*v + 2 - 22 = 0. Which is smaller: s or b?
b
Let l(q) = -q + 11. Let k be l(8). Suppose 5*v = -2*h + 208, -k*v + 4*h + 85 = -45. Let f be 2*86/4 + -1. Are v and f nonequal?
False
Let l = -0.216 + -0.044. Let u = -25.26 - l. Which is smaller: u or 0?
u
Let k be 14/(-63) + 4/18. Suppose k = -2*j + 3 - 9, -3*i - 3*j = -561. Is 190 > i?
False
Suppose -9*h + 13*h - 16 = 0. Let k be h/18 - (-375)/(-1890). Which is greater: k or 1?
1
Let h = 89 - -129. Suppose 188 + h = 14*x. Which is smaller: 30 or x?
x
Let j = -96 + 95.8014. Let t = 0.0714 - j. Are t and -1/2 nonequal?
True
Let p = -4971/14 + 355. Which is bigger: -11/130 or p?
p
Suppose -2*f - 3*h + 909 = -432, -3*f + h + 2028 = 0. Suppose 10*d + 235 = -f. Is -90 > d?
True
Let i = 49.21 + -50.21. Let g = -43.15 + -0.85. Which is bigger: i or g?
i
Let z = -217 - -221. Suppose 30*t = 26*t - z*f + 24, -4*t + 30 = f. Is 7 greater than or equal to t?
False
Let t(m) = m**3 + 20*m**2 + 19*m + 3. Let v be t(-19). Let c(z) = -z**2 + 3*z. Let o be c(v). Let d be 3 + 0 + -3 + o. Do 18 and d have different values?
True
Let u = -12762.2 - -12762. Which is greater: -5213 or u?
u
Let z = 254 + -207.1. Let s = -1.18 - 45.82. Let t = z + s. Is t <= -12?
False
Let j be 5 + (0 - 4) - 2. Let q be 4 + ((-924)/(-920) - 4) + j. Which is bigger: q or -1?
q
Let c(m) = -m**2 - 12*m - 24. Let b be c(-8). Let w(u) = -u**3 + 12*u**2 - 11*u + 4. Let r be w(b). Is 172 bigger than r?
False
Let j = 536 - 76. Which is bigger: j or -0.2?
j
Let m = -23.11841 - 0.32799. Let b = -23.5 - m. Does b = -2/3?
False
Let a(q) = -4*q - 10. Let z be a(3). Let f = z - -76. Suppose -3*s + f = -3*r, 0 = 5*r + 4*s + 24 + 75. Is r not equal to -18?
True
Let j(f) be the second derivative of -f**5/20 - 13*f**4/12 - 3*f**3/2 + 27*f**2/2 - 2*f. Let n be j(-12). Let p = n - -10. Is p <= 6/47?
False
Let h = -16002.18 - -16002. Is h > -0.119?
False
Suppose -5*v + 4*x = 144, -3*x - 105 + 29 = 2*v. Which is greater: -439/14 or v?
-439/14
Let i = -3 + 37. Let n = 5251.5 - 5251.6. Which is smaller: i or n?
n
Let o = -20.9 + 23. Let u = -7.1 + o. Let k = u - -7. Is k less than or equal to -4?
False
Let y = -19767 + 18721. Are -1048 and y nonequal?
True
Let c = 19 - 16. Suppose -3*h + c*g = 39, -h + 5*h - 3*g = -47. Is h equal to -2?
False
Let g = -741.59 + 741. Let n = -6.41 + g. Let x = 0 + -5. Which is greater: x or n?
x
Suppose 0 = 5*x + 5*b - 2*b + 34, 4*x - b = -17. Let m be x/(-4) + 2/(-8). Is -2/29 smaller than m?
True
Let q = -7074 - -473726/67. Is q <= -4?
False
Suppose 137*y + 393 = 2*t + 136*y, 2*y = 2. Is t less than or equal to 1565/8?
False
Let c be -166*(3/(-6) - 0). Let h = c + -90. Let a be ((-1)/(-2))/(((-7)/(-2))/h). Which is bigger: a or -4/31?
-4/31
Suppose 2*u + 3*u - 27450 = 0. Let f be (3 - -2)*36/u. Which is greater: 1 or f?
1
Let a(l) = -2*l**3 - 7*l**2 + 25*l - 19. Let w be a(-8). Suppose -w = -14*r - 133. Which is smaller: 18 or r?
r
Let k = 5593.13 + -5593. Is 5 >= k?
True
Suppose 2*c - 4 = 4*a, a + 4*a + 2*c - 4 = 0. Suppose -3*n - l - 11 = 0, a*l - 15 = 4*n + l. Let u be (-15)/60*n/13. Is u bigger than 0?
True
Let i = -28601695/3 + 142751056922/14973. Let b = i + -6/161. Are 1 and b equal?
False
Let o be (133/(-3))/(501/1503). Is -98 greater than or equal to o?
True
Let y = 1192 + -817. Let z = 374.9 - y. Let u = -9 + 9.21. Is u >= z?
True
Let q = 7.283 + -7.2505. Which is smaller: q or 1?
q
Let f be (0 + (-3)/6)*(-1697)/4. Which is smaller: 213 or f?
f
Let d = 0.00123 - 0.00223. Which is bigger: d or 55?
55
Suppose 3*f + 9 - 30 = 0. Let c(v) = -v**3 + 6*v**2 + 8*v - 7. Let p be c(f). Which is bigger: p or -13?
p
Let v = 3554.37 + -3541. Do v and 1 have the same value?
False
Let t = 6047 - 72565/12. Which is bigger: t or -29?
t
Let c = -213 + 213.7. Let h = c + 10.3. Which is smaller: -3 or h?
-3
Let i(a) = 7*a + 23. Let w be i(15). Suppose -9*n = -7*n - 258. Which is bigger: n or w?
n
Let w(t) = 742*t + 6. Let g be w(9). Let z = g + -1176381/176. Let m = -17/932