er: y or w?
w
Suppose -3*o = 20 + 13. Which is greater: o or 0.1?
0.1
Let o = 345442/33495 + 1/957. Let k = o - 53/5. Which is smaller: k or -1?
-1
Let q(c) = c**2 + 4*c + 3. Let x be q(-3). Let t be 4/(-1 + 3) - x. Let r be (-42)/(-45) + 2/(-20). Is r less than or equal to t?
True
Let a(w) = w + 3. Let b be a(-4). Is b at least 1/45?
False
Suppose 5*z - 13 + 48 = -4*f, -4*z - 2 = -2*f. Let u be (-2)/f*15/(-21). Let q = -0.2 - -3.2. Is u bigger than q?
False
Let n = -1 - -4. Suppose -1 = 3*k - a + 10, -4*a = -2*k - 14. Let p(g) = g**2 - 4. Let u be p(k). Which is greater: n or u?
u
Let c(a) = -a**2 - 5*a + 13. Let g be c(-6). Suppose 5*t = 5*p + 35, 5*t + g - 2 = -5*p. Which is smaller: -9/2 or p?
-9/2
Let c = -20 + 15. Is c > -6?
True
Suppose -3 = 2*z + z. Let a = -4 + z. Suppose 0 = 4*g + 10 + 10. Are g and a non-equal?
False
Let z = -6 + 8. Suppose 2*q = 4*q - 8. Suppose 0 = q*p - z - 2. Is 1/3 bigger than p?
False
Suppose n = 3*n. Let y = -3 - -6. Suppose 0 = m - y*m - 2. Is m < n?
True
Let k be ((-2)/(-20))/(6/4). Which is greater: k or 0?
k
Let g be (-1427)/(-1148)*(1 + 0). Let l = -2/287 - g. Suppose -3*q = 2*q + 5. Which is smaller: q or l?
l
Let f be 1 + (3/2 - 1). Let w = 33 + -32. Is f > w?
True
Let l be 2 - (2 - 2) - -23. Suppose l = 5*u + 4*r, -4*u + 5*r = -u + 22. Let n be (3/((-3)/(-1)))/(-4). Is u < n?
False
Let n be (-3)/((-3)/(-1 - -10)). Let s be ((-1 - 2)/n)/(-1). Which is greater: s or 0.05?
s
Let w = 2 - 0. Let t = -1.2 - -1.9. Which is greater: w or t?
w
Let z be 1484/(-36) + 2/9. Is -41 <= z?
True
Let x = 0.2 + -0.3. Let u = 3.1 + -3. Let a = 0.1 - u. Which is smaller: a or x?
x
Let l be 4/(-16) - 39/(-12). Are l and 10 nonequal?
True
Let n(p) = 141*p**2 + p. Let r be n(-1). Let b be 68/r + (-6)/21. Are b and 0 non-equal?
True
Let w(o) be the third derivative of -o**5/60 + o**4/12 + o**3/2 + 5*o**2. Let y be w(-2). Is y equal to -5?
True
Suppose 0 = -4*l + 5*y + 10, -l + 0*y + 4 = -2*y. Suppose 8 = 2*t, l = -0*p - p + 5*t - 21. Let i be (-52)/48 + p/(-3). Which is greater: 1/4 or i?
1/4
Let k(l) = -7*l**3 + 12*l**3 - 1 + 9*l**2 + l - 4*l**3. Let g be k(-9). Which is smaller: -9 or g?
g
Suppose 4*j = 4 - 0. Let w = 4 - 8. Let h be (w/10)/((-56)/35). Which is greater: j or h?
j
Suppose -4*h + 130 = 18. Which is smaller: 29 or h?
h
Let p = -37 + 37.3. Which is bigger: p or -0.3?
p
Let y = 46.8 - 47. Are 1 and y non-equal?
True
Let g = 0.04 - 0.18. Is g at least 1?
False
Suppose 2 = 3*d - 13. Suppose -22 = 7*o - 3*o - n, o - d = -5*n. Let w be (2 + 0)/1 + o. Are w and -4 equal?
False
Let a = 54 - 55. Let b be (1 + 7/(-8))*2. Is a < b?
True
Let v(n) = 5*n**2 + 6*n - 4. Let g(h) = 4*h**2 + 6*h - 4. Let s(z) = 6*g(z) - 5*v(z). Let f be s(4). Let c be 2/(-4)*(4 - f). Are c and -2/7 non-equal?
True
Let c = 11.158 - 0.258. Let u = -11 + c. Which is smaller: u or 0.2?
u
Let g = -1 + 3. Is 9 equal to g?
False
Let w = 6 + -7. Is w > -3?
True
Let p = 5 + -3. Is 3/8 greater than or equal to p?
False
Let z(x) = x + 2. Let q be z(-4). Let o be (21/35)/(1/(-5)). Is q at most as big as o?
False
Let v = -89/276 - 1/92. Let f be (3/(-6))/(1/(-4)). Let k = 1 - f. Is k at most as big as v?
True
Suppose 0 = -2*u - u + 6. Suppose 5*b + 17 = u. Which is smaller: b or -2?
b
Let m(q) = -q**2 + 7*q + 2. Let g be m(7). Suppose -g*o + 0*o = 16. Is -8 smaller than o?
False
Let o = -6 + 4. Let z be 4/(-14) + o/(-7). Let c = 2.2 - 0.2. Which is bigger: z or c?
c
Suppose -g = -2*u - 5, 2*g = -5*u - 2 + 12. Suppose u = v + v - 12. Is v != 6?
False
Let x = 165/4 + -41. Let o = -154.1 + 154. Which is bigger: x or o?
x
Let y = 4.5 - 10.3. Let r = 5 + y. Let c = -1 - r. Which is bigger: c or 1/2?
1/2
Let d be (-1980)/(-48) + 3/(-1). Let w = d - 38. Which is bigger: 0 or w?
w
Suppose 0 = 2*o - 0*b - 4*b - 24, -5*o = -b - 15. Suppose 3*f = -o*f + 35. Let j be 2 - f*2/2. Is -4 at most j?
False
Let h = 0.3 - -0.7. Let r = 1 + h. Which is bigger: r or 2/3?
r
Let m(z) = 3 - 4*z + 3*z - 4 - 2. Let l be m(-5). Is 0 at most l?
True
Let q = 69 + -70.48. Let y = q + -0.22. Let t = 0.3 - y. Which is greater: t or 3?
3
Let i = -67/40 + 15/8. Let g be (-1)/(2 + 3 + -8). Which is smaller: g or i?
i
Let m = 0.2 - 0. Is -0.1 < m?
True
Let b be -2 + (-2)/(-2) + 0. Let q be ((-220)/8)/11 - (-2)/4. Let m = q - b. Is m smaller than 0?
True
Let n = 18 + -5. Which is bigger: -1/3 or n?
n
Let u(q) = -q**2 - 13*q - 15. Let h be u(-10). Let i be 1 - (-3)/((-9)/h). Is i greater than -4?
False
Let s be 8/28 + (-87725)/7329. Let d = s + 6/349. Let i = d + 11. Is -2 at most as big as i?
True
Let f = 1.43 - 0.83. Which is smaller: f or -3?
-3
Suppose 24 = -t + 5*u, 0*u - 20 = -4*u. Let v be -3*(-1 + 2)*t. Let j = v - -3. Which is smaller: -1 or j?
-1
Let n = -142 - -270. Suppose 0 = d + d + n. Let w = d - -323/5. Does 2 = w?
False
Let g be (36/(-4) - -2)*3. Let l be (-14)/g*6/(-4). Which is smaller: l or 0?
l
Suppose -2*s = -3*s + 1. Let k(c) = 2*c**2 - c**2 - 2*c**2. Let j be k(s). Is -4/7 at most j?
False
Let y(r) = -2*r**3 + r**2 + r - 1. Let v be y(-1). Let w = 114/749 - 1/107. Are w and v equal?
False
Suppose -17 + 1 = 4*f, -5*t - 65 = 5*f. Let j = t - -6. Let w be 1 + (-4 - j) + -1. Which is smaller: w or -1/6?
w
Let m(s) = -s**2 - 9*s - 5. Let y be m(-4). Suppose y = 4*t + 7. Let x = t - -1. Is 2 >= x?
False
Suppose -3*p + 1 = -2*n, -2*n + 4*n - 1 = 5*p. Which is smaller: 2/15 or p?
p
Let v = 532.14 - 526. Let b = v - 0.14. Is b at least 2?
True
Let c = -5 + 2. Which is bigger: c or -36/11?
c
Suppose -1 = -5*u + 29. Let w be (15/6)/((-1)/2). Let n = w + u. Do 6/11 and n have the same value?
False
Let q be 21/(-6)*62/(-505). Let h = q - 3/101. Let z = 0 - 0.1. Which is greater: z or h?
h
Suppose -o + 5 = 5*c, o + 2*c + c = 3. Let i = -17/43 - -1223/3311. Is o greater than i?
True
Let m be 1219/4140 + (-1)/4. Is m <= -1?
False
Let p(w) = w + 6. Let l be p(-6). Which is greater: -1/17 or l?
l
Let f = -119 + 117. Which is smaller: 11 or f?
f
Let w be -2*(-1 + 7/8). Let v(a) = a**2 - 3*a + 1. Let x be v(2). Which is greater: w or x?
w
Suppose 5*m = -4*a + 3 - 24, m = -5*a. Which is greater: 3/26 or a?
a
Suppose g + 5*p - 5 = -4*g, 5 = 5*p. Let s = 0 - g. Are s and -6/5 non-equal?
True
Suppose 5*z - 3 = 2. Suppose 3*r + z = -11. Is r > -4?
False
Let r be (12/(-1605))/(18/(-45)). Is 0 greater than r?
False
Suppose 8 + 0 = l + 5*y, 2*l - 4*y + 26 = 0. Is l at most -15/2?
False
Let t = 42 + -43. Which is smaller: 1 or t?
t
Let l = 1/44 + 41/132. Let h(x) = x + 3. Let j be h(0). Suppose j = -2*w + 1. Is w less than or equal to l?
True
Let s be 1/(-3*(-4)/(-120)). Is -9 at most s?
False
Let m = -2 + 2. Let q = -4 - -10. Let g be 12/(-60) + q/(-70). Which is smaller: g or m?
g
Let w be (-1 - 1)*12/8. Is -1 less than or equal to w?
False
Suppose -a + p + 38 = 0, 5*a - 103 - 89 = 4*p. Let w = -119/3 + a. Is -2/15 > w?
False
Suppose 3 = 3*l - 75. Suppose 0 = 2*b - 4*r - l, b + 2*r + 33 = 6*b. Is 3 <= b?
True
Let p(s) = -s - 2. Let t be p(-3). Let d(x) = 1. Let m(b) = b**2. Let l(f) = -d(f) - m(f). Let v be l(t). Which is smaller: v or -3/2?
v
Let d be (-2)/6*(-3)/(-2). Suppose -5*r - 9 - 2 = -2*q, -3*q + 6 = -4*r. Is q not equal to d?
True
Let u be ((-2)/5)/((-2)/30). Let p(t) = -t**2 - 2*t + 3. Let k be p(-4). Let b be (-2)/4*(-15 - k). Is u <= b?
False
Let j = 1.04 + -0.04. Which is greater: -6 or j?
j
Let o(h) = -h**2 + h + 3. Let k be o(3). Let l(t) = -t**3 - 8*t**2 + 9*t + 2. Let f be l(-9). Let b = f - 5. Is k at most b?
True
Suppose 29 = 4*d - 11. Let j = d - 7. Suppose 2*r + 0 - 4 = 0. Which is smaller: j or r?
r
Let z(p) = -p**3 - 3*p**2 + 4*p - 6. Let r be z(-5). Let l be (-2)/2 - (-30)/r. Which is smaller: l or 0?
0
Let q = -0.06 - -2.06. Let w = q + -1.95. Let v = -7.1 + 7. Which is greater: v or w?
w
Let d be (-2)/10 - 32/(-10). Let h = d + -5. Let b be (-2)/6 - 4/6. Which is smaller: h or b?
h
Suppose 0 = 5*c - 13 + 3. Suppose -5*d + o = 2, 0 = o + c*o - 6. Let q be 2/(d - 5/3). Which is greater: q or -1?
-1
Let f be 2/40*(5 - -1). Which is smaller: -1 or f?
-1
Let x = 6 + 2. Let n be 16/6 + x + -10. Which is smaller: 0 or n?
0
Let m be (-1 + 2 - 0) + 1. Let s be ((-27)/(-12) - m)*2. Is 6 less than s?
False
Let l = 4060 - 328855/81. Let q = l - -188/891. Which is bigger: 1 or q?