
Let g(v) = -3*v**3 - 8*v**2 + 11*v - 2. Let i be g(2). Suppose 5*f + 0*f = -5*l + 435, -4*f = 16. Let c be l/(-288) - i/162. Are c and -1 equal?
False
Suppose -24*u + 82*u + 1207920 = -26*u. Is u less than or equal to -14380?
True
Suppose -15*p + 14*p = -6. Suppose -4*b = p*b - 50. Let k be 4/b - (-3252)/(-3990). Which is greater: k or 1?
1
Let k = -1719 - -1695. Do k and 39 have different values?
True
Suppose -4*a + f - 78 = 0, 13*f = 2*a + 17*f + 12. Which is greater: -316/17 or a?
a
Let y = 8 + -5.8. Let u = 10404.6 - 10413.6. Which is smaller: u or y?
u
Let p = -3 - -3. Let l = -836/1667 - -5113570/31673. Let n = -161 + l. Which is greater: n or p?
p
Let u be 522 + (-4)/22 + 505/55. Is 530 >= u?
False
Let o(v) = -19*v**3 + 10*v**2 + 17*v + 29. Let u(f) = -35*f**3 + 19*f**2 + 33*f + 57. Let d(k) = 11*o(k) - 6*u(k). Let b be d(7). Which is smaller: b or 45?
45
Let a be (12/(-8))/((-168)/32) + 14856/(-56). Is -5 >= a?
True
Let b be 13 + -14 - -6 - 6. Which is greater: -4/81 or b?
-4/81
Let q = 61320 - 61523. Let h(l) = -7*l**2 - 9*l - 5. Let d be h(-6). Is q < d?
False
Let a = -111 + 112. Let z be (36 - 35)/(a/(77 - 1)). Which is smaller: z or 77?
z
Suppose -7*s + 2265 - 2287 = 15*s. Is 4071 bigger than s?
True
Suppose l + 3*m + 621 = 3*l, 3*l = -2*m + 899. Let q = -321 + l. Is q less than or equal to -18?
True
Let d = -493 + 350. Let x = 122 + d. Let w = 245/4 + -61. Which is smaller: x or w?
x
Let g = 5.1 - 7.3. Let v = 0.11 - 36.11. Let r = v - -36.1. Is r not equal to g?
True
Let y be (-20)/(-14) - (-3432)/(-168). Which is greater: 27 or y?
27
Suppose 2*o = 3*a - 30, -3*a = -3*o - 6*a - 30. Let z be (1/(-21))/(20/o). Let t = 0.1 + -0.1. Which is smaller: z or t?
t
Let p be 42385/(-63) - (-12)/(-54). Let j = p + 711. Which is smaller: 46 or j?
j
Let u(i) = 11*i**2 + 64*i + 67. Let c(o) = -7*o**2 - 43*o - 45. Let d(f) = 8*c(f) + 5*u(f). Let t be d(-19). Suppose 5*r + 0*r = t. Which is smaller: r or 16?
r
Let u be (6/3720*10)/(25/(-4)). Let c(b) = 14*b + 71. Let h be c(-5). Is u bigger than h?
False
Let r = 19 - -39. Let x = r + -72. Let b = x - -13.9. Which is bigger: b or -32?
b
Let o = 181 + -53. Let x be 3989/(-30) + -71 + 76. Let i = o + x. Which is smaller: i or -1?
-1
Let m(f) = -f**2 + 5. Let p be m(0). Suppose -c - 2 + p = z, z - 1 = 0. Let o be (8/(-12))/(c/(-3)). Which is smaller: o or 5/9?
5/9
Let m = 101228 - 12046470/119. Which is bigger: m or -2?
-2
Let m = -374.09597 - 0.00403. Let v = m - -374. Are 0.9 and v non-equal?
True
Let i(k) = k**2 - 2*k + 2. Let l be i(5). Let n(t) = 9*t - l*t + 2*t + 10*t. Let d be n(0). Which is smaller: d or -9/10?
-9/10
Let i = 13955 - 13947. Let h = -6230/19 - -328. Is h less than i?
True
Let z = 0.3947 - 2.3947. Let i be (-627)/(-1242)*2 + -1. Which is smaller: i or z?
z
Let r = 6912 - 6911. Which is smaller: 1/10411 or r?
1/10411
Let j(d) = -106*d - 359. Let b be j(-3). Which is bigger: -45 or b?
b
Let f(x) be the third derivative of -x**7/2520 - x**6/30 + x**5/60 + 22*x**2. Let a(c) be the third derivative of f(c). Let d be a(-11). Is -7 > d?
False
Suppose -16*j + 16 = -12*j. Suppose -5*t = -o + 1661, -t + 3*o - 337 = j*o. Let u be 2 - (-48)/(-18)*t/(-12). Do u and -72 have the same value?
True
Let w = -25280 + 25269. Let r be (5 + -6)/((-2)/(-6)). Let p be r/12 - 27/(-12). Which is smaller: w or p?
w
Suppose 13*k = 10*k + 6. Suppose 53 = k*s + x, -5*s + 0*x - 2*x = -135. Which is smaller: 32 or s?
s
Let k be (-27 + 0)/(0 + 9/150). Let o = -482 - k. Is o greater than -30?
False
Let h(b) = 2*b**3 + 85*b**2 - 23*b - 17. Let k be h(-43). Is -877 greater than k?
False
Let p = 524.39 - 549.5. Let o = p - 65.87. Let r = 91 + o. Which is smaller: r or -1/2?
-1/2
Let j = -2387/86886 + 74/1609. Let d = 1 - 0. Are j and d unequal?
True
Let i be -1*(3 - 4)*3. Let w be i/6 - (-151)/2. Let h = w + -86. Is -1 greater than h?
True
Let s = -27881/5 - -5577. Which is smaller: s or 3149?
s
Let h be ((-1)/(-3))/(21 + 2 - 28). Let p = 6.04 - 0.04. Is p != h?
True
Let z(q) = -72*q + 45. Let j be z(6). Let k be (-3375)/j - 5 - (-4)/(-1). Is k less than or equal to -1?
False
Let f be ((-24)/(-10) + -2)/((-84400)/(-16875) - 5). Which is smaller: f or 255?
255
Let c = 3232 - 3134. Is c at most as big as 114?
True
Let g be (1 - (-14)/(-8))*4. Suppose 0 = -6*t + 13 - 1. Let f be (175/(-14) + 4)*t/4. Are f and g equal?
False
Let n = 31337 + -31401. Suppose -u - 5*g + 21 = -3*u, 0 = -5*u - 2*g - 9. Let l be 1/(10/34) + u. Is n at least as big as l?
False
Let w = -9205 + 9199. Let f(t) = -t**3 + 4*t**2 + 6*t - 7. Let i be f(5). Let k be 2 + i - (-5)/(-1). Is k less than or equal to w?
False
Let w = 8194 + -8193. Which is smaller: w or 94/357?
94/357
Let s = -3.18 - 124.82. Let c = 138 + s. Which is smaller: 1/4 or c?
1/4
Let k(m) = 2*m**2 + 16*m - 6. Let j be k(-14). Suppose j = -7*z + 5*z. Are -81 and z unequal?
False
Suppose 3*h - 10*h = -833. Suppose -2*k = h - 103. Is 2 != k?
True
Suppose -2*g + 8295 = -5*c - 1096, -9440 = 5*c + 5*g. Which is greater: c or -1883?
c
Let f(x) = x**3 + 9*x**2 - 20*x + 25. Let m be f(-11). Suppose 2*r = -m*r - 115. Which is greater: -4 or r?
-4
Let p = -105 - -103. Let b = -10 + 9. Let w = b + 1.9. Which is smaller: w or p?
p
Let i(h) = 11*h - 69. Let c be i(-24). Let t = c - -324. Is t at least -39/4?
True
Suppose -4*t - 7 + 27 = 0, 0 = m + 3*t - 23. Let i be 166*2*(-2)/m. Let a = 79 + i. Is a < -33/8?
False
Let h = 33555 + -33555.08. Let p = -0.2 - -1. Which is bigger: h or p?
p
Let y be 1/8 - (1024034/(-880) + 24). Which is smaller: 1141 or y?
y
Let h(w) = 7*w**2 + 3 - 9 + 6*w - 10*w**2 + 4*w. Let j be h(4). Let u be 7 + j + 0 + (-4 - -2). Which is smaller: u or -8?
u
Let o = -4/8119 + 195356/1014875. Do o and 3 have different values?
True
Let n(v) = 53*v**2 - 8*v - 5. Let u be n(-5). Suppose 3*t - 13*t + u = 0. Let h = 123 - t. Are -13 and h non-equal?
False
Suppose 0 = -s + 2*i + 124, -4*i - 14 = 5*s - 634. Which is smaller: s or 135?
s
Let z(h) = -h**3 + h**2 + 4*h. Let j be z(-2). Let w be 15/(9 - j)*(-7 + -2). Is -21 at most w?
False
Let o = -645 + -1110. Which is smaller: -1754 or o?
o
Let c = 6990 + -6678. Is c at least as big as 302?
True
Let x = 79 - 43. Let z be (-1 + 0)*-3*8/x. Let f be 7 + -6 - 1/1. Is z smaller than f?
False
Suppose 2*i = -27 - 351. Let h = 6230 + -6228. Is i bigger than h?
False
Let a = -16907 - -16906. Is a > -1/9515?
False
Let l be 15/(-45) - (-5)/(5 + 10). Are l and -5/101 equal?
False
Suppose 2*v = 3*a - 1, 0*v = -2*v + 8. Suppose a*x + 512 = 5*d, -d + 6*x = x - 120. Let b = d - 82. Is 19 less than or equal to b?
False
Let h be -32*(0 + 2/4)*-2. Suppose 9*y - y - h = 0. Let m be ((-4)/(-6))/(1/30*y). Which is smaller: 22/5 or m?
22/5
Let b be (220/(-385)*(-14)/10)/((-1)/13235). Which is bigger: 1 or b?
1
Let r = 3/4093 + -2525414/45023. Does r = -57?
False
Suppose q + 9 = -5*i, -i - 5 = 2*q - 5*q. Let p be (-302)/(-78) + -2 + 66/33. Let j = 59/13 - p. Which is smaller: j or q?
j
Let n = -2120 + 2120. Which is smaller: 10/2213 or n?
n
Let c = 239.78 + -239.6. Is c equal to -348?
False
Let q = -0.4 - 0.6. Let v = 1858 + -1857.007. Let m = v - -0.207. Is m equal to q?
False
Let x = -0.0648 - -242.0648. Let m = x + -246. Let k = -0.3 - -0.5. Which is smaller: m or k?
m
Suppose 22 - 2 = -4*c + t, 4*t + 10 = -2*c. Let j be 413/(-42) + 10 - c/6. Which is smaller: j or 34/3?
j
Let q = -13640.089 - -13640. Is 3/2 >= q?
True
Let o(i) = i - 5. Let v be o(13). Let d(w) = w**3 - 9*w**2 + 8*w - 3. Let j be d(v). Which is greater: j or -14/11?
-14/11
Let a be 0/(4/(-12) - 56/21 - -1). Is 4/1683 smaller than a?
False
Let h be (-1 - 3955/2)*(-36)/54. Which is greater: h or 1318?
h
Let w be 26 - (-3)/(-6)*(-1 + -1). Suppose w = -a - 2*a. Let d be -1 + -1 + (-93)/15. Is a bigger than d?
False
Let x = -4160 + 1990. Which is smaller: -2169 or x?
x
Let s(b) = 17*b**2 + 2*b - 38. Let f be s(-5). Is 378 >= f?
True
Let q be -3*16/(-168) + 11894/2226. Let o = -2/53 - q. Which is greater: o or -7?
o
Let q = 250 - -141. Let n = q - 389. Which is bigger: -0.54 or n?
n
Let v = 1707/28 - 1042973/17108. Are v and 1 non-equal?
True
Let u(n) = 18920*n**3 - n**2 + 36*n + 38. Let g be u(-1). Which is smaller: -18918 or g?
g
Let b = 32996/1435 + -28/205. Let a = -3614 + 3637. Whic