 z. Which is smaller: r or -1?
-1
Let s(t) = -3*t - 3. Let c be s(1). Let v(w) = -w**3 - 6*w**2 - 3*w - 16. Let r be v(c). Is 6 greater than or equal to r?
True
Let d = -0.0214 + 0.5914. Which is smaller: d or 1/2?
1/2
Suppose 0 = u + l + 419, -3*u - 2*u + 5*l - 2045 = 0. Let m be u/714 - 4/(-14). Is 1 < m?
False
Let n = -613 - -3058/5. Let c be (-1)/1 - (-6)/2. Let z be -3*(1 - c/6). Is n < z?
False
Let k be (-4 - (-7)/(-3))*3. Suppose -100 = -3*s - x, 2*s - x - 84 = -6*x. Let v be (-10)/15*(s + -2). Which is smaller: v or k?
v
Let m be 279/(-285) + (-2)/(-4). Let z = 2/1927 - -5705/73226. Let p = m + z. Is -3 < p?
True
Let l = -40 - -39.9. Is l greater than 1/136?
False
Let d be -20*(27/45)/(12/10). Which is greater: 5 or d?
5
Let h = -583/3 + 195. Let s = -11 + 9.1. Which is smaller: s or h?
s
Let n = 658 - 226. Let u = 215 - n. Let z = u + 1522/7. Which is smaller: z or -3/4?
-3/4
Let p = 1/3 + 0. Let u be (0 + 1)*5*(-31)/(-155). Suppose -a - u = -1. Is p != a?
True
Let q(b) = b**3 - 33*b**2 + 91*b - 30. Let d be q(30). Which is smaller: d or -2/535?
-2/535
Let h be (-53)/(-3) - (-1)/3. Let d = 4449/254 + -2/127. Let g = d - h. Is -1 at least as big as g?
False
Let t = 109.214 + -109. Let y = t + -0.014. Which is greater: 4 or y?
4
Let j be (37/(-3))/(2/(-6)). Suppose -5*g + j = 7. Let k be 8/g + 11/(-33). Are k and -2/37 equal?
False
Let h be 6/3*5/(-15)*12. Let c(x) = x**3 + 7*x**2 - 7. Let w = -17 - -10. Let y be c(w). Which is bigger: y or h?
y
Let w be 5*(2 - 1) + (-410 - -406). Let v be (9/(-63))/((-102)/7). Is v at least as big as w?
False
Suppose 4*f - 3*b + 4*b = 6, f + 3*b - 7 = 0. Let c be (-28 - -29)*(1 - f). Which is greater: 2/51 or c?
2/51
Let s(j) = -j**2 - 5*j - 3. Let o be s(-3). Let a = o + 9. Let i be 2/6 - 31/a. Do -1 and i have different values?
True
Let v(d) = d**2 + 13*d - 3. Let q be v(-7). Let b be 40/q*(-1)/(-4). Which is greater: -2/3 or b?
b
Let i = 19 - 19. Does i = -2/269?
False
Let p(k) be the third derivative of k**4/3 - 41*k**3/6 + 19*k**2. Let z be p(5). Which is bigger: 7/17 or z?
7/17
Let i be ((-15306)/30)/((-564)/870). Let n = -787 + i. Is 1 != n?
True
Let k = 0.36 + 0.04. Let p = -1.6 - k. Which is bigger: -0.4 or p?
-0.4
Suppose 2*l = 4*h + h + 3, -l - 3*h = -18. Which is smaller: 135/16 or l?
135/16
Let p = 214 - 219. Which is bigger: 0.1 or p?
0.1
Let n be 1622/(-1304)*6/9. Let b = 2/489 - n. Let r = -11 - -11. Is r less than or equal to b?
True
Let j = -0.58 - -13.78. Let k = -15.3 - -2.3. Let c = k + j. Is 2/11 at most c?
True
Let t = -2447/5 - -489. Which is greater: t or -43?
t
Let x = -393 + 391.2. Which is smaller: x or -2/3?
x
Let s be ((-75)/(-69))/(-1) + 1. Let c(y) = 2*y + 9. Suppose 40 = -20*x + 12*x. Let t be c(x). Is s >= t?
True
Let c = -74.6 + 69.67. Let h = c + 5. Are -1 and h nonequal?
True
Suppose 5 + 13 = 3*l. Let i be (-3)/(-4) - (-7)/((-140)/55). Let o be 24/(-9)*3/i. Is o > l?
False
Let s be (258/(-45))/(-6*(-1)/36). Which is bigger: 0.1 or s?
0.1
Suppose -3*p = -2*p. Let t = 1321/238 + -6/119. Let z = 6 - t. Are z and p non-equal?
True
Let k(d) = d**3 + 8*d**2 - 8*d + 12. Let f be k(-9). Let s be (-2*28/20)/(18/(-10)). Is f bigger than s?
True
Let h = 4773/4984 + -90/89. Does h = 1?
False
Let a = -58369/46 + 1269. Which is greater: a or -1?
a
Let b = 1.5 - -3.5. Let f = b + -1. Is f > 1?
True
Let q be 2/(-60) - (-1)/5. Let x(a) = a**3 - 4*a**2 - 18*a + 10. Let v be x(-3). Is v less than or equal to q?
False
Suppose 2*b - b = -6. Let q be 0/((2 + 3)*b/15). Which is smaller: q or -2?
-2
Let o = 819/4 - 205. Which is smaller: 16.8 or o?
o
Let u = 10 + -7. Let t(f) = f**2 - 20*f - 34. Let d be t(18). Let b be ((-3)/(-5))/((-14)/d). Do b and u have different values?
False
Suppose -6415 = -5*j + 3*m - 2*m, -m = 5. Is j > 1281?
True
Let f be ((-16)/1620)/(4/(-6)). Suppose -7*r - 4*q = 23, 7*r = 2*r + q - 1. Is r >= f?
False
Suppose -g - 2*l + 4 = 0, -g - 4 = -3*l - 3. Suppose -2*c - 20 = 4*p, g*p + 9 = -p. Let r be c/(-30)*10/(-34). Which is smaller: 1 or r?
r
Let q be (-86)/1161 + 119968/(-270). Is -445 less than or equal to q?
True
Suppose 0 = 2*h - 2*n, -5*h + 7 = -n - 13. Is 49/11 greater than or equal to h?
False
Let u(w) = w**3 - 9*w**2 + 10*w - 19. Let o be u(8). Let v be (-5 + 1)*o/(18/(-4)). Are -1 and v equal?
False
Let x be (-3)/(-4) + (-341)/(-4). Let q = x + -89. Suppose -s - 4 = 3*s. Which is smaller: s or q?
q
Let p = -3160051/7 + 466944. Let k = -15547 + p. Let w = 4596/119 + k. Which is bigger: w or -1?
w
Let b be 4/(-74)*(7/(-4))/7. Which is smaller: 0 or b?
0
Suppose 16*p + 10 = -6. Let y be -3 - p/((-1)/(-19)). Suppose -o + 2 = -5*a + 11, -4*o = 3*a - 79. Is y greater than or equal to o?
True
Let c(r) = -2*r + 14. Let z(d) = -d**2 - 8*d + 9. Let y be z(-8). Let a be c(y). Let p(n) = -n**2 - 5*n - 7. Let x be p(a). Which is smaller: x or 2?
x
Suppose -3*h - 1464 = -11*h. Which is smaller: 182 or h?
182
Let o = 14 - -9. Let j = 51 + -26. Which is greater: o or j?
j
Let g = -12 - 101. Let t = g - -165. Is 52 not equal to t?
False
Let r = -16361/2 + 13391479/1637. Which is smaller: -1 or r?
-1
Let i = -41 - -3. Suppose x = 3*l - 27, -4*x + 6*x = l - 74. Is i >= x?
True
Suppose 0 = 2*q - 2*z + 42, -2*q - 5*z + 21 = -3*q. Let x = 551 + -573. Which is greater: x or q?
q
Let z(b) = -b**3 - 2*b + 6. Let v be z(0). Suppose 5 = -4*c - 3*o, 0*c = -3*c - 3*o - v. Let n be 0/(-4 - (c + -4)). Which is smaller: 3/13 or n?
n
Let o be 1 - (230/113)/2. Let v = 212/791 - o. Which is bigger: 0 or v?
v
Let k be 45/(-40)*-4*40. Is k equal to 179?
False
Let n = -1.13 - -1.12. Is -1/53 less than n?
True
Suppose -19*v - 5913 + 935 = 0. Which is greater: -263 or v?
v
Let q = -143 - -143.084. Let p = 0.066 + q. Which is greater: -1/2 or p?
p
Let w(p) = 5*p**3 + p**2 + 1. Let l(f) = 9*f + 64. Let j be l(-7). Let q be w(j). Is q <= -4?
False
Let i be 6/4*4/(-2). Let b(p) = -2*p - 16. Let y = 43 + -50. Let d be b(y). Which is greater: i or d?
d
Suppose 2 = 2*o - 0*o. Let f = -11.5 - -16. Let m = -8.5 - f. Is m < o?
True
Let f = 65 - 366/5. Is -7 smaller than f?
False
Let z(g) = -g. Let j be z(-2). Let s(y) = y**3 - 5*y**2 + 6*y - 1. Let f be s(4). Suppose -f*b - 25 = -j*b. Which is greater: b or -4?
-4
Let p = -197 + 236. Does p = -0.06?
False
Let i be (-88)/48 + (-2)/12. Let c be (1 - i) + -5 + 1. Which is smaller: c or -2?
-2
Let u = -8 - -10. Let c = 5 + u. Is 6 less than c?
True
Let t be (1 - -1 - -69) + 0. Let d = 31 - t. Let l = d + 121/3. Are 0 and l equal?
False
Let k = 1398 - 1398.1. Let n be (44/(-10))/(4/(-20)). Let d = n - 8. Are k and d non-equal?
True
Suppose 47 = -3*r - 166. Is -358/5 at least r?
False
Let n = -2/7 - 3/14. Let i = 816 - 813.3. Which is smaller: n or i?
n
Let c = 2.671 - 49.951. Let k = c - -44. Let i = k - -0.28. Which is bigger: i or 1?
1
Let h = 1832 + -1829. Which is bigger: h or 257?
257
Let h = 2.5 - 0.5. Let a = h - 2.05. Let x = a + 0.05. Are x and 2/11 equal?
False
Let y = -8.92 - -8.82. Do y and -154 have the same value?
False
Let l(q) = q**2 + 4*q + 6. Let g(b) = -1. Let m(d) = 3*g(d) + l(d). Let i be m(-2). Let o = i - -13. Is 13 at most as big as o?
False
Let w be (-1)/3*(-4)/12*-9. Let g = -2/317 - 871/12680. Which is smaller: w or g?
w
Let l = -2531/1615 - -30/19. Is -1 smaller than l?
True
Let f = 83/3 - 28. Let j = 37/60 + 2/15. Which is smaller: j or f?
f
Let n be ((-1)/3)/(2/(-18)). Let c be 1/n*510/(-20). Which is smaller: c or -8?
c
Let k = 11/30 + 7/10. Are 0 and k equal?
False
Let p be (2 + 26)/4 - 3. Let v be 8 - (0/(-1) + p). Suppose 4*u = -v*x, -2*x + 0*u + 4*u = 0. Is x less than 2/19?
True
Let b = 62/185 - -12/185. Which is greater: b or -14?
b
Let x = -1.029 - -1.089. Let a = -103 - -513/5. Which is smaller: a or x?
a
Let x be (-6)/9*(-3)/(-137). Let v = 407/274 - x. Suppose 4*m + 7 = 3. Are m and v nonequal?
True
Let m = -0.43 - 0.54. Let s = m - 0.03. Which is smaller: s or -1/16?
s
Suppose -38*i + 4473 = 25*i. Is i greater than or equal to 357/5?
False
Let b be (-4)/((-38)/(-40) + -1) + 1. Is b equal to 82?
False
Let g = -0.024 + 18.024. Let s = g - 21. Which is smaller: 1 or s?
s
Let q = -21601/5291 - 4/481. Let s = q - -425/77. Let c be (4 - 2) + -1 + 1. Which is greater: s or c?
c
Let w = 106 - 531/5. Which is bigger: w or