3. Let f = -1.3 - y. Which is greater: 3 or f?
3
Let l(w) = w**2 - 1. Let j be l(-1). Does j = 0?
True
Let d(o) = -o - 4. Let h be (-1 - -3)/(8/(-12)). Let g be d(h). Which is greater: g or 1/4?
1/4
Let p be (-1)/(20/(-19) - -1). Let j = p - 58/3. Let z = 1.21 + -3.21. Which is smaller: z or j?
z
Let o(v) = -v**2 - 11*v - 10. Let t be o(-10). Let f(j) be the third derivative of j**4/24 + 3*j**3/2 - 2*j**2. Let u be f(-7). Which is greater: u or t?
u
Let w = 25 + -97/2. Let y = 23 + w. Let t be (-2)/5*(6 - 1). Which is smaller: y or t?
t
Suppose -4*v = -2*z + 3*z + 3, 5*v + 5*z = -15. Let r be 1 + 2 + 1*-2. Which is smaller: r or v?
v
Let d = 0.29 + -1.27. Let o = d + -0.02. Which is bigger: -2/3 or o?
-2/3
Let c be ((-2)/130)/((-27)/45). Let p = c + 2/91. Is p >= 1?
False
Let j be ((-11)/1)/((-1 - 1)/2). Is j smaller than 11?
False
Let c be 3 - (6/(-24) + (-418)/(-8)). Are -49 and c equal?
True
Suppose 0 = 9*n + 32 + 13. Is n at most as big as -4?
True
Let s = -10 - -12. Is 2 at least as big as s?
True
Let u = -4 - 0. Let d = -1 - u. Is 4 != d?
True
Let n = 0.14 + -3.14. Let z = 73 - 69.9. Let o = n + z. Which is smaller: o or -2?
-2
Let n = -3 + 3.1. Let j = 2 - 12. Let m be -2 - j/4*1. Which is greater: n or m?
m
Let l be 4 - (-91 - (3 - 1)). Which is greater: 96 or l?
l
Let u = 0.32 - 0.02. Let x be (-2)/(-6) + 3/45. Which is smaller: x or u?
u
Let l be ((-2 + 2)/3)/1. Suppose 2*r + 0*r - 4 = l. Let k be 0 - 0 - (2 + -2). Is k less than r?
True
Let v = -120 - -137. Which is bigger: v or 15?
v
Suppose -3*w + 4*k = 61, 4*k = -2*w - w - 101. Let s be ((-4)/(-6))/((-6)/w). Let x be s/(-18)*3/(-2). Is x greater than or equal to -4?
True
Let f be (8 + -4)/(-16) + 5/4. Which is smaller: f or 10?
f
Let a = -579/4 - -144. Let g = -13 + 11. Is a greater than g?
True
Suppose 2*j - 38 = 4*r, 3*r - 95 = -5*j - r. Is j greater than or equal to 20?
False
Let i = -6.98 + -0.02. Let y = i - -5. Which is smaller: y or 0?
y
Suppose 0 = -5*f - 4*q - 61 - 11, 0 = 4*f + q + 51. Which is greater: f or -2?
-2
Let i = -0.04 - -5.04. Let b = i + -7. Let r = b + 1. Which is smaller: r or 0?
r
Let q = -2 - -2. Let l = -323/252 + 2/63. Which is greater: q or l?
q
Let o = -6 + 6.2. Let l = -0.2 - o. Which is greater: -1 or l?
l
Suppose 2*h - 16 = 6*h. Let w be (h - -1 - -2) + 7. Is w equal to -1?
False
Suppose 5*c + 25 = 0, 3*k - 3 = 4*c + 23. Suppose -5*u + 3*u = -4*b - 4, -5 = -k*u + 5*b. Let o(y) = -y**3 - y + 1. Let l be o(1). Is u less than l?
False
Suppose -4*l - 1 = -13. Let m be 76/18 + (-4)/18. Is l less than m?
True
Let b = 0.28 + -0.03. Let t = b - 0.2. Is 2/3 smaller than t?
False
Suppose 21 = f + 2*f. Suppose -f = 5*u - g, -5*g - 4 + 12 = 2*u. Is u greater than or equal to -2?
True
Let u be 1/4*(3 + (-15)/5). Is 1/3 at most u?
False
Suppose 0 = 5*w - l + 66, l - 20 = -3*w - 66. Let h = w + 296/21. Which is smaller: -1 or h?
-1
Let p be (-1 - 1)/(0 + -1). Suppose -5*q + 8 = 3. Suppose 2*h = h - q. Which is greater: h or p?
p
Suppose 8 = 4*w - 12. Suppose -4*a - l = -9, -w*a + 2*l + 6 = -a. Is a less than or equal to 3/2?
False
Suppose 0*j = -j, 5*y = -j - 10. Let m = 0 - y. Suppose -8 = -2*o - m*o. Is 2 at least o?
True
Let s = -2/33 + -20/33. Which is greater: s or -12?
s
Suppose 7 = -5*q - 3. Is -0.02 <= q?
False
Let h = -10.08 - -10. Let g = h + 0.14. Which is smaller: 0 or g?
0
Let v be (-2 - -3)/(2/(-10)). Let y = -72 - -67. Do y and v have the same value?
True
Let k be 4/(-10) - (-3)/(-5). Let q be 1/4 + (-6)/(-8). Let x = q + k. Is x less than or equal to 0?
True
Let p be 0 + 0 - (-6 + 3). Is 5 < p?
False
Suppose 3*f - u - 5 = 0, 2*f + 5*u - 15 = -3*f. Is 0 at least f?
False
Suppose 0 = 2*i + 2*i. Let t = -11 + 8. Let f be t/15*(0 + -1). Is i > f?
False
Suppose r - 96 = -2*r + 3*g, r = -4*g + 47. Are 36 and r non-equal?
True
Suppose -4*i = -2*i. Let s(u) = u + 15. Let d be s(-15). Is i at most as big as d?
True
Suppose -y - 2*y + 6 = 0. Let c(f) = 2 - 7 + f - y*f. Let v be c(-6). Is -2/13 not equal to v?
True
Let m be (12/(-15) - 0) + 1. Let r = 4.9 - -0.1. Which is smaller: r or m?
m
Let n = -103 - -91. Is n != -12?
False
Let x = -163 + 91. Which is smaller: x or -71?
x
Let p be (2/(-5))/((-4)/20). Let z be 1 - -1*6/2. Suppose 0 = -s + 5*v - 7, -5*v = z*s - 3 - 19. Which is greater: p or s?
s
Let g = 1/9 - 4/9. Which is greater: -0.2 or g?
-0.2
Let u = 134 - 533/4. Which is greater: u or 0.11?
u
Let z be -2 + 1 + -2 + 5. Suppose 0 = -z*t + 2, x = t - 0*t. Let m = -3.4 - -0.4. Which is smaller: x or m?
m
Let q(b) = b**2 + 5*b - 8. Let h be q(-7). Let x be (h - 2/1)/1. Let d = 9 - 5. Is x < d?
False
Let h be (-4)/(-14) + (-4 - 1300/(-105)). Are h and -0.1 non-equal?
True
Let i = 1.8 + -1.9. Is -5 smaller than i?
True
Let n = 12 - 9. Suppose 12 = -l - 3*m, m = -4*l - n*m - 16. Is -1/7 at least l?
False
Let v = -7 - -6. Let f be -36 - (v - 0/1). Let k be 6/(-2) + (-55)/f. Which is smaller: -1 or k?
k
Let d be 6/21 - (-24)/(-42). Which is smaller: -0.5 or d?
-0.5
Suppose 0 = -5*q - 0*q. Is 0 bigger than q?
False
Suppose 8 = -5*g - 2. Let b = -3 - -2. Is g smaller than b?
True
Let l = -55/3 + 19. Suppose -4*b + 3*a = -19, 0 + 12 = -3*b - 3*a. Is l greater than or equal to b?
False
Let o = -1159/5 - -56806/245. Is o > 1?
False
Let a = -1 + 0. Suppose -2*k = -0*k - 2. Let h be (-2 + 3)*(0 - k). Is h > a?
False
Let u(v) = -v**2 + 7*v - 7. Let m be u(6). Let n = -3/11 - 1/77. Which is smaller: n or m?
m
Let s = 146 - 147. Let o = 138 + -693/5. Is s bigger than o?
False
Suppose 2 = r + 5*y, -5*r - 3*y - 5 = 7. Let u be 0 + r - 65/(-21). Is 0 > u?
False
Let a = 124 + -130. Let v = 1 - 1.2. Is v > a?
True
Let g = -0.1 + 0.1. Let a = 2 - g. Let h = a + 1. Are 0 and h non-equal?
True
Let h = -0.6 - 4.4. Let n = 0.047 - -5.353. Let x = n + h. Which is smaller: 1/4 or x?
1/4
Suppose 0 = 5*h - 1 - 9. Suppose -h = 3*v + 1. Which is greater: -2/5 or v?
-2/5
Let t = 18.9 - 18. Let w = -0.6 + t. Is -0.1 greater than w?
False
Suppose -4*y + 12 = 0, -4*o - y = -o + 24. Suppose z - 8 = -5*a - 1, a - 17 = 5*z. Let g be (-15)/o - 4/a. Is g at least as big as -2?
True
Let z = 182/11881 - 150962352/154453. Let b = z + 976. Let q = -7/52 - b. Which is smaller: q or 0?
0
Suppose 5*y - 5 = 2*f - 0, -5*y = -25. Which is bigger: 11 or f?
11
Let b(j) = 6*j**2 + 2*j - 1. Let l be b(1). Let o = -7 + l. Is 5/7 <= o?
False
Let w = 8 - 9. Which is smaller: w or 1/28?
w
Let u(j) = j**2 + 15*j + 3. Let l be u(-15). Is 5/3 not equal to l?
True
Suppose -7*d = -3*d + 100. Let f be -1 + (1 + d)/3. Let g be (-2)/(-3) - 21/f. Do g and 3 have the same value?
True
Suppose 2*t + 0*t = h - 43, t = -4*h - 44. Which is bigger: -25 or t?
t
Suppose -5*y = -0*y + 15. Let a be 14/4 - (-6)/12. Suppose 0*p - p = a. Is p smaller than y?
True
Let b be (-39)/8 - (-1 + -2). Let t = 149/88 + b. Is 0 <= t?
False
Let r be (-2)/3 - (-2)/3. Let m be (-2)/((-42)/9 + 4). Suppose r = 3*g + 12, -2*g - 19 = m*l + 2*g. Which is bigger: 2/13 or l?
2/13
Let j(h) = -7*h + 8. Let i be j(2). Are -5 and i nonequal?
True
Suppose 0 = p - 5*p - 8. Let n(s) = 2*s**2 + 3*s + 2. Let q be n(p). Let c be 3 + (-1 - (-3 - -1)). Is c >= q?
True
Let z be (-3)/(-18)*1*5. Let x(j) = j**2 - 3. Let f be x(2). Which is smaller: z or f?
z
Let w = -2.5 + 2. Let b = -2 - -2.6. Let i = b + w. Which is bigger: -1/4 or i?
i
Let g(o) = o**3 - 5*o**2 + o - 2. Let m be g(5). Let f = m + -2. Let q = -92 + 93. Is q at most as big as f?
True
Let x = -16 - -25. Let f be (-12)/x*(-18)/(-20). Is f bigger than -1?
False
Suppose -5 = -5*a + 5*v, -5*v - 5 = 3*a + 24. Let w be (-8)/(-9)*a/4. Let r = 2 + -1.7. Which is smaller: w or r?
w
Let h(p) = 6*p - 174. Let q be h(32). Suppose a + a + 4*o = 30, -103 = -5*a + 4*o. Are a and q non-equal?
True
Let j = 4 + 6. Is 17/2 bigger than j?
False
Let l = 0.4 - -1.1. Is -2/7 greater than l?
False
Let p be 2 + (3 - 4) + 2. Let i = 3 - p. Suppose -3*a = -4*u + 26, -5*a + 3*u = -i*u + 25. Which is smaller: -4/7 or a?
a
Let l be (4/15)/((-1)/5). Suppose v - 1 = -3*d - 6, d - 2*v = -4. Let k be 0*1/(-4)*d. Which is smaller: k or l?
l
Let n = -0.119 - 0.011. Is -1/5 less than n?
True
Let l be (1 + (0 - 15))/1. Let f = -7 - l. Suppose 0 = -f*w + 2*w. Are w and -1 equal?
False
Let s = 1.6 - 1.4. Suppose 15 = 6*y - 11*y. Let x 