s + 19. Let c be i(4). Let z be 322/(-1368) + -6 + (-280)/c. Let d be (0/1)/(0 + 2). Does z = d?
False
Let z be (-2310)/1330 + 2/(-4)*-2. Which is bigger: z or 1?
1
Suppose -2*k = p - 13, 4*p + 0*k - 34 = k. Let s(n) = -n**3 + 9*n**2 - 2. Let g be s(p). Let m be g/6 + 164/6. Which is greater: 28 or m?
28
Let h be ((-27)/21 + 3/3)/(8/(-56)). Is -17 > h?
False
Let f(h) = 2*h**3 - 44*h**2 + 48*h + 3. Let j be f(21). Let a = 129 - j. Which is smaller: -3/22 or a?
-3/22
Suppose 4*u = 3*z - 2*z + 3, -z - 2*u = 3. Let x = 0.4 + -6.3. Let g = x + 6. Which is greater: g or z?
g
Suppose -d = -5*d - 4. Let w be -10*(-9)/45*(-2)/580. Which is bigger: w or d?
w
Suppose -3*u = -4*u - 5*p + 25, 3*p = -2*u + 22. Suppose 3*i + 72 = u*q - 6, i = -1. Suppose -2*a = -5*g - 23, 3*a + q = -2*g + 2. Which is greater: -1/12 or a?
-1/12
Suppose 0 = 44*c - 94 - 126. Let w(t) be the third derivative of -t**6/120 + t**5/30 + t**4/8 + 2*t**3/3 - 3*t**2. Let f be w(3). Does c = f?
False
Let t = -2.3481 - 0.2519. Suppose -q - q - 38 = 4*a, -15 = 5*q. Is t at least as big as a?
True
Let j = 104755/44 - 14196/11. Is 1091 bigger than j?
True
Suppose 6*u + 16 = 2*u. Let l be u/10 - 288/(-45). Let m be 45/(-12) + -4*l/(-8). Is m bigger than -2?
True
Let z be (1 - -2)/((-6)/(-48)*-1). Let s be ((-8)/z)/(1/(-3)). Is 3/67 > s?
True
Suppose -98 = -2*z + 5*r + 111, -3*z = -r - 320. Let s = z + -14. Which is greater: s or 92?
s
Let t be (2/(-8))/((-20)/(-60)) - (-1926)/8. Which is smaller: t or 963/4?
t
Let o = -12/17 + 147/425. Let y = 347087903/425 - 816677. Let r = y + o. Which is bigger: r or -1?
r
Let m = 5 - 7. Let u = -1.9 - m. Let l = -5646.5 - -5648.3. Which is smaller: u or l?
u
Let l = -167/621 + -22/621. Is l at most 1?
True
Let o = -0.066 - 0.204. Let v = -0.17 - o. Let f = 9.04 - 0.04. Which is greater: f or v?
f
Let b = 171 + -272. Let k = 295 + -354. Let v = k - b. Is v at most as big as 0?
False
Let d = 5768423/1653 - 10469/3. Is d greater than -1?
True
Let l = -48 + 33. Let o be -609 - -4 - (5 - 0). Let t = o + 593. Is t less than or equal to l?
True
Let w = 58.19 + -57.6. Which is greater: -13 or w?
w
Let x = -8547 - -8547. Are x and 2/3497 unequal?
True
Let g = -122 - -364. Suppose g = 14*y - 178. Which is greater: 31 or y?
31
Let r = -235 - -729. Suppose 13*v + 0*v = r. Which is greater: v or 43?
43
Suppose -o + 4*o + 95435 = 4*x, -2*o - 12*x - 63506 = 0. Is o at most as big as -31800?
True
Let i be (27/(-2))/((-23)/(-46)). Is i at least as big as -120?
True
Let x be 2/(-25) + (1478/(-14400) - 113/(-565)). Is x at most as big as 0?
False
Suppose -u + 268 = 3*t - 449, -u + 4*t + 731 = 0. Suppose 3*y - 753 = -y - d, u = 4*y - 5*d. Which is greater: 185 or y?
y
Let w = -3663 - -3665. Is 0.466 < w?
True
Let i(m) = m**3 - 5*m**2 - 3. Let h be i(4). Let u = -70 + 6. Let s = -82 - u. Which is bigger: s or h?
s
Let b(k) = k - 8. Let l be b(4). Let r be -13*(10 + (-8 - l)). Is r equal to -2/5?
False
Let b = 1/314 + 13029/628. Let i(c) = c**3 - 14*c**2 + 17*c - 31. Let j be (32 - 24) + (5 - 0). Let r be i(j). Which is greater: b or r?
r
Let b(m) = 6*m - 8. Let l be b(5). Let h = 21 - l. Let q(n) = -3*n**2 + n - 1. Let c be q(h). Is c greater than -2?
False
Let q be 160/(-74) + (-18)/(-9). Let u = q + 4415/74. Which is greater: u or 61?
61
Let x = 1313 + 1004. Is -1 at most x?
True
Let h = -72871 - -291473/4. Let w(c) = 3 + 0 + 3*c**2 - 4*c - 4*c**2. Let v be w(-5). Is v less than or equal to h?
False
Let s = 1802.7 - 1802.59. Which is smaller: s or -202?
-202
Let x = 0.062 - -0.037. Let a = -294726 - -294727. Which is greater: a or x?
a
Let g be (-963)/(-630)*((-45)/(-2))/9. Let h = 25/7 - g. Which is smaller: -54 or h?
-54
Let y(k) = k**3 + 5*k**2 + 22*k + 67. Let i be y(-3). Let n = 343/12 - 41/4. Which is greater: i or n?
i
Let t be 0*((-105)/(-14) - (8 + 0)). Which is smaller: t or 0.2359?
t
Let c(q) = -q**2 - 24*q - 1. Let j be c(0). Is -99/194 greater than or equal to j?
True
Suppose -u - 506 = 4*h - 140, -2*h - 188 = -2*u. Let a = -82 - h. Let p be 1/(-3 + 0) - a/(-18). Which is smaller: p or -1?
-1
Suppose -4*u - 6 = 4*f - f, 0 = -2*f + 3*u + 13. Let q be (-297)/(-66)*(87/69 + 1/(-1)). Is q not equal to f?
True
Let k(o) = 48*o**2 - 4*o + 3. Let a be k(-3). Suppose 417 = -3*f - a. Let x be (3/(-4))/((-2)/f*6). Do -14 and x have different values?
True
Suppose 0 = 2*p + 5*w + 505, 5*p + 1247 = 21*w - 18*w. Let k = p - -3751/15. Is 0.3 equal to k?
False
Let z(k) = -12*k. Let f be z(-2). Let h = 10 - 9. Let v be h + -6 + (-15 - -11)*-1. Is f greater than v?
True
Let t = -3665 + 4082. Let x be -3 - (-4 + 5) - -422. Which is smaller: x or t?
t
Let n = 6121 + -6145. Is n less than or equal to -19?
True
Suppose -13*h - 59 = 45. Let v be (4/h)/((-2)/14)*14. Let k = 50 - v. Which is greater: k or -4/13?
k
Suppose -6 = -z - 21. Let a be (2 + (-806)/(-4))*(-6)/z. Let i = 81 - a. Is -2 bigger than i?
False
Let a = 879712/11931 - -2/59655. Which is greater: 74 or a?
74
Let s be 2 - (0 + 2) - -2. Let l = 3632 + -3624. Which is bigger: s or l?
l
Let x = -1241 - -1146.9. Let w = x - -95.1. Are -15.5 and w unequal?
True
Suppose 30 = 4*s - 5*g, -5*s - 16*g + 12 = -18*g. Which is greater: -3/1000 or s?
s
Suppose 4*p = -h + 16, 0 = -p - 0*p + 5*h + 4. Let o be (p + -5)/1*1. Let c be (0 - (-4)/(-8))/o. Is -3/26 at most as big as c?
True
Let z = -1091.3 + 1087.3. Which is greater: z or 41.4?
41.4
Let z = 0.479 + 5.121. Which is smaller: z or -3/5?
-3/5
Let l(a) = -500*a - 2317. Let g be l(-4). Which is greater: g or -316?
-316
Let d be -1*(-3 + 280/92). Let s(z) = -z**3 - 6*z**2 - 5*z. Let p = -66 - -61. Let w be s(p). Is d at most as big as w?
True
Let l be (-2)/3 - (-8)/9. Let r(a) = -11 - 45*a - 2*a + 16*a**2 - 2815*a**3 + 2814*a**3. Let m be r(12). Which is greater: l or m?
m
Let x = 25.96 - 26. Let p = -1.96 + x. Let j = -1 - p. Is j less than 6?
True
Suppose -57*h + 78*h + 21 = 0. Let f = -51/20 + 9737/3740. Which is smaller: h or f?
h
Suppose -87 = 2*z - 6*z - 3*k, -25 = -5*k. Suppose 4*s - 3*s = -z. Let p be (s/21)/((-5)/(-35)). Do p and -3 have the same value?
False
Let z = 4/21797 - -35856041/130782. Which is smaller: z or 273?
273
Let m(f) = -2*f + 12. Let w be m(4). Let p be (6/(-18) - 28/6)*-1. Suppose -p = -l - 3*d, -3*d - 3 = -5*l + w. Is 1 greater than l?
False
Suppose -5 + 13 = -4*t. Suppose 5*g + 50 = 3*z, -3*z = -g - 6*z - 10. Let j be 3/5*7/((-7)/g). Is j >= t?
True
Suppose -51*u = 24*u + 2400 + 675. Which is smaller: -21 or u?
u
Let q = -5 + 4. Suppose 3*i - 842 = 7*i - 3*g, 3*g - 206 = i. Let o = -1699/8 - i. Which is smaller: o or q?
q
Let g(v) = v**2 + 12*v + 11. Let x be g(-11). Suppose 2*z - 83 - 1 = x. Suppose h + 46 = z. Are -6 and h non-equal?
True
Let v = 17 - 15. Suppose 3*d - 6*l = -l - 66, -2*d = -v*l + 48. Suppose 3*i = -i - 112. Are i and d unequal?
True
Let u = -37795/4 + 9540. Let n = -50731/556 + u. Which is bigger: n or 1?
1
Suppose 5*j - 26 = -11. Let d be (5 - (0 + j))*1/2. Is 3/113 at most d?
True
Let y(b) = -b**3 - 32*b**2 - 32*b + 8. Let r be (-310)/(-25)*(-10)/4. Let f be y(r). Which is smaller: f or 115/3?
115/3
Let c = 15.795 + -17.795. Are 562 and c equal?
False
Let y(u) = -u**2 - 11*u - 1. Let c be y(-8). Suppose -3*b - 2*n - 47 = c, -n = 3*b + 65. Let s be (4 + 72/b)*35. Which is smaller: 13 or s?
13
Let c = -0.1169 + 0.8479. Let m = c + -0.215. Let v = -0.016 + m. Which is smaller: 0.3 or v?
0.3
Let z(u) = -4*u**3 + u + 2. Let s be z(-1). Suppose s*g + 3*p = 56, -26 + 6 = -3*g + 5*p. Let a be (-3 - 64/(-20)) + (-2)/g. Are -2/9 and a equal?
False
Let i = -24622/5 + 4924. Is i != 53.8?
True
Let c = 114 + -108. Suppose 57 - c = 17*x. Let a be -3*x/(-1 - -4). Is -3/2 less than a?
False
Let s(u) = 5*u + 2. Let g be s(0). Let o be (-7)/((-35)/100) + g. Is o at most as big as -4/5?
False
Let n = 12.62977 + 1.67023. Let m be 3/12*10 + -2. Which is smaller: m or n?
m
Let g(u) = -18*u - 639. Let f be g(-42). Let r(l) = -8*l**3 - 2*l**2. Let q be r(2). Let j = f + q. Which is greater: j or 44?
j
Let z be (-307)/(-7982) - 2/(2 + 2). Is z smaller than 159?
True
Let m = -320 - -359. Let k = 41.8 - 81.2. Let p = m + k. Is p at least 0.05?
False
Let c = 3857 + -907. Let d be (24/40)/(5/c). Is d equal to 355?
False
Let r = 728 - 2395/4. Which is small