 s be ((-4)/6*-3)/(-4 + d). Which is smaller: s or -3?
-3
Let s(u) = 556*u**2 - 8*u - 8. Let v be s(-1). Is 2219/4 <= v?
True
Let d = 4 - 4. Let h = 5673 - 73751/13. Is h >= d?
False
Let d = -43.2 + -129.8. Let g = 297 + d. Which is greater: g or 1/4?
g
Suppose -11*p = -13 - 64. Suppose 4*k + 6*a + 22 = p*a, 5*a + 5 = -3*k. Do k and 1 have different values?
True
Let f = -11.7 - -12. Let n = 0.77 + -0.808. Let b = 5.962 - n. Is b >= f?
True
Let r = -36.2 - -249.2. Let f = -212.4 + r. Which is greater: -0.1 or f?
f
Suppose 107051 + 45466 = -230*g - 44363. Is g less than or equal to 4?
True
Let i = 2160.1 - 2160. Which is greater: 0.876 or i?
0.876
Suppose -16*r - 14*r = -8*r - 37136. Is 1688 <= r?
True
Let j = -1471710413713/27916344 - 2265/775454. Let m = j + 52713. Let r = -5/72 + m. Is r at least -5?
False
Let n(z) = z**2 - 13*z + 20. Let j be n(14). Suppose -x + j = 3. Let p = 31 - x. Which is smaller: p or -1/8?
-1/8
Let a be 0 + 1 + 0/(-1). Let u be a/(-3) - (-1)/3. Let v = -466/9 - -20092/387. Does v = u?
False
Let t = -1.5852 - -1.6102. Which is smaller: t or 20?
t
Let r(x) be the third derivative of -1/3*x**3 - 30*x**2 + 0*x - 1/120*x**6 - 1/6*x**4 + 0 + 1/12*x**5. Let d be r(4). Is -13/5 less than d?
True
Let x(r) = 3*r**2 + 13*r - 1. Let z be x(-6). Let w = z + -11. Suppose w*t - 19*t - 9 = 0. Are -8 and t nonequal?
True
Let m = 1250 + -1445.4. Let b = -194 - m. Is -1 at most b?
True
Let b be (5/(-3))/(55/(-264)). Let f be (-7 + (b - 0))/(-1). Let y = 5/21 + -13/42. Is y bigger than f?
True
Suppose 0 = c - 7*c - 24. Let l be -6 - ((-45)/27 - c/6). Let q be (-3 + l/(-1))/(-2 - -1). Is q less than or equal to -5?
False
Let l = 22 + -21. Let k = 1.2 + 38.8. Let o = 47 - k. Which is smaller: l or o?
l
Suppose 2*f - 2632 = 5*v + 4*f, -2*v - 2*f - 1048 = 0. Let m = v - -945. Which is smaller: 418 or m?
m
Let f be (135/10)/9*(-4)/3. Let k be f/10 - (5 - (-167)/(-35)). Let q = -6.7 - 0.3. Is q equal to k?
False
Let y be ((-47)/(-9) - 5)/(9*(-22)/(-891)). Is y < -4/2495?
False
Let j = -255 - -3827/15. Let n be 58 + -54 - ((-2)/(-22))/((-3)/(-156)). Is j less than or equal to n?
False
Suppose 59*a = -11*a - 101 + 731. Is a smaller than 302/31?
True
Let p = 66 + -13. Let n = -52 + p. Suppose 1 = -2*h - n. Which is bigger: h or -2/157?
-2/157
Let q(m) = 24823*m + 99322. Let l be q(-4). Let x(i) = 6*i**2 + 3*i - 2. Let o be x(2). Is o less than or equal to l?
True
Let i = 1.7 - 2. Let r be ((-1)/5)/(406/(-435)). Let n = 13/28 - r. Is i less than or equal to n?
True
Let i = 10737630/11 - 976148. Let r be (-1)/(-25)*-1*1. Which is smaller: r or i?
r
Let l(z) = -z**3 - 63*z**2 + 52*z - 1320. Let o be l(-64). Is -2761/5 < o?
True
Let y = -53047/11 + 4833. Is y smaller than 10?
False
Let z be 690/8 - 0 - (-1164)/(-4656). Which is greater: 53 or z?
z
Suppose 0 = 5*b + 25, 4*h - 3*b = 3*h + 146. Let y be 19/38 - h/(-2). Are y and 68 equal?
False
Let i be ((-628)/138)/(72/432). Which is greater: i or -27?
-27
Let c = -2/14667 - -29708/2742729. Let j(g) = -1172*g - 14063. Let l be j(-12). Are l and c non-equal?
True
Let b(z) = 4*z - 4. Let k be b(7). Suppose 5*s = k + 31. Let h be s/(-33)*(2 - 1). Which is bigger: h or -7?
h
Let i be (-398)/(-1692) - (5 + (-470)/90). Which is bigger: i or -1?
i
Let r = 10443/28 + -373. Let s = r - -31/84. Which is bigger: -21.4 or s?
s
Let m be 2/(0 - 4/6). Let n = -271 + 274. Let f be n - (-14 + 10 + 182/18). Is f > m?
False
Let t be (-2)/(-6)*-3 - 0. Let l = t - -4. Suppose -3*g - 8*v = -l*v - 147, 2*v - 94 = -2*g. Is g not equal to 89/2?
True
Let a = -0.08 - 0.22. Let j be ((-3)/6)/((-2)/44) + 3. Suppose -j*w = -17*w + 30. Which is smaller: w or a?
a
Suppose 3*m + 3*p + 4 + 8 = 0, -m + p + 6 = 0. Let i be 2*m/(4/(-4)). Let g(a) = a**3 + 24*a**2 + 2*a + 46. Let x be g(-24). Is x >= i?
True
Let t(h) = 3*h - 1. Let c(o) = -o. Let v(m) = 2*c(m) + 2*t(m). Let w be v(-27). Do w and -109 have the same value?
False
Let t(o) = 29*o**2 - 22*o - 27. Let z be t(-5). Which is smaller: z or 800?
800
Let c = 11809 + -11726. Which is bigger: c or 9?
c
Let z = -89 - -222. Let j = z + -133. Which is smaller: 4/41 or j?
j
Suppose 15*o = -24*o - 3*o - 1447404. Is o equal to -34462?
True
Let v be 32/(-176) + 1808/22. Suppose v = -a + 5*f, 2*a = -3*f - 0*f - 99. Let r = -85 + 29. Is r at most as big as a?
False
Let k = 38541/2 - 38271197/1986. Which is smaller: 1 or k?
k
Suppose -23*v + 204 = -17*v. Suppose -3*g + u + 15 + v = 0, 0 = g - u - 15. Suppose 3*j - 8*j + 3*f = 30, 0 = j + 4*f - g. Which is greater: j or 2?
2
Let m(j) = -j**3 - 88*j**2 + 872*j - 10. Let o be m(-97). Is o at least as big as 2530/29?
False
Let s = -2 - -1. Let h = -540.066 + 540.0881. Which is smaller: s or h?
s
Suppose -5*n = 170 - 30. Suppose 484*b - 101*b + 1915 = 0. Which is smaller: n or b?
n
Suppose 6*q = -h - 819, 22 = -5*q - 8. Which is greater: -781 or h?
-781
Let h = 32 + -20. Let q(a) = a**3 - 12*a**2 + 11*a + 12. Let c = -15 + 26. Let g be q(c). Is g at least h?
True
Let x be (-1)/(-1) - (-34)/10. Let m(z) = -2*z**3 + 15*z**2 + 27*z - 4. Let k be m(11). Let o = 557 + k. Is o greater than or equal to x?
False
Let n(c) = -8*c + 53. Let x be n(6). Suppose 0 = -x*m + 5*z + 15, 0*m = -2*m - z - 6. Let y = 1 - 2. Is y less than or equal to m?
True
Let m = -23036 + 21687. Is -1349 less than or equal to m?
True
Suppose 0 = 43*r - 47451 - 29347. Is 1787 < r?
False
Suppose -376*d = -382*d + 834. Let v = -132 + d. Which is smaller: v or -0.26?
-0.26
Let z(d) = -d**3 - 4*d**2 + 3*d - 5. Let w be z(-5). Let s(g) = -16*g - 6*g + 16*g - 141. Let j be s(-24). Are j and w unequal?
True
Let i be ((-78224)/6)/2*1*(-6)/4. Is 9776 bigger than i?
False
Let r be 9666/(-1380) - (-9 - -2). Let h = r + -153/17710. Are -1 and h equal?
False
Let q = -5118.26 + 108.26. Which is greater: -1 or q?
-1
Let p = 234 + -229. Suppose 4*a - 3*t - 175 = 0, p*a - 218 = -31*t + 34*t. Which is greater: a or 6?
a
Let p = 6655.04713 + -6655. Is p smaller than -2?
False
Suppose -s - 75 - 25 = 3*n, -4*n - 5*s = 148. Let b = -4.3 + 3.3. Is b bigger than n?
True
Let l(b) = 47*b - 668. Let c be l(13). Which is greater: c or -55?
-55
Let h be (-1)/3 - 1364/66. Let m be ((-30586)/6118 + 5)*h/(-9). Let n = -56/6555 + m. Which is smaller: 1 or n?
n
Suppose -5*y - 1107 = -8*j + 4*j, 831 = 3*j - 3*y. Suppose 0 = -j*u + 273*u + 5. Which is greater: -3/305 or u?
u
Let h(y) = -y**3 - 13*y**2 + 12*y - 30. Let t be 42 + (1 - (-2)/1). Let g be 6*1*(-105)/t. Let z be h(g). Which is greater: -9/11 or z?
-9/11
Let o = 0.3 + -0.29. Let z = -0.29 - o. Let h = -155.65 - -149.65. Which is bigger: z or h?
z
Let f be (2320/(-44))/(-5) - 10. Let w(i) = -2*i + 4. Let v be w(5). Let t = 6 + v. Is f <= t?
False
Let z = -17156.7 + 17271. Does -3/2 = z?
False
Suppose 105*y + 6444 + 9600 = 119*y. Which is smaller: 1141 or y?
1141
Let m = 10684 - 10614. Which is greater: m or 71?
71
Let c = 64 + -59. Suppose -615 = c*y + 270. Which is smaller: -176 or y?
y
Suppose 129 = 4*w + 9. Let t be -4 + w/(-12) + 6. Is t less than or equal to 0.3?
True
Let w(z) = z**3 + 6*z**2 - 211*z + 97. Let i be w(-18). Suppose -p = 2*s, -3*p + 12 = -2*p - s. Do p and i have different values?
True
Let b(s) = -s**3 - 5*s**2 - 4*s + 1. Let u be b(-4). Let q be u/3 + (-4)/10. Let l be (1440/84 - 18)/((-9)/(-42)) - -5. Is q <= l?
True
Let p be 1 + (168/3 - 2). Let l = p + -387/7. Which is smaller: -4 or l?
-4
Suppose 280 = -3*n + 970. Let v(m) = -119*m - 8. Let w be v(-2). Is w bigger than n?
False
Let s be (-2)/(-6) + (-1250)/6. Suppose 0*t + 2*t + 5*q - 220 = 0, -t + 104 = 4*q. Let z = t + s. Is z < -87?
True
Suppose -2*b = 5*x - 18, -2*x + 18 = 3*b + 2. Suppose 168*s + 12 = 172*s. Suppose 2*q - b*d = -24, -s*q + d - 76 = q. Is q at least -20?
True
Suppose 0 = 3*p + 5*y - 528, 2*y - 57 - 295 = -2*p. Suppose -b + 5*b + p = 0. Let z be b/(-6) - (-18 - -16). Which is smaller: z or 8?
8
Suppose 10*p = -14 - 6. Let l(r) = r - 5. Suppose -2*c + 13 = -m, -c + 9 = -0*m - m. Let f be l(c). Which is smaller: p or f?
p
Suppose -69*x = -x + 3740. Let j(z) = -z**3 - 4*z**2 - 2*z - 4. Let w be j(-3). Let c(p) = -2*p**2 - 8*p - 12. Let v be c(w). Is v != x?
True
Suppose 30*f + 112 = -82*f. Is 3/2552 equal to f?
False
Let y be 2/(-4) + (-3)/(-6). Let v be (3 - 2)/(-1 