 Which is smaller: 1/2 or f?
1/2
Let a be 2/8 + 21/12. Suppose 3*n = 2*b - 21, -a*b + 27 = 2*n - 7*n. Which is smaller: b or 7?
b
Let y = 5 + -8. Let l = -1 + y. Let j be (-10)/l*(-8)/30. Which is greater: 0 or j?
0
Let z = 1661/2204 - 2/551. Suppose 3*x - 4*i - 25 = 0, 0*i = -3*i - 12. Suppose -x = h - 5. Which is smaller: z or h?
z
Let g = 6 + -12. Let o = g - -5. Which is smaller: o or -0.3?
o
Let j be (20/25)/(4/30). Suppose -4*r = -r + j. Which is smaller: -6/5 or r?
r
Let x = -1.52 + 1.52. Which is greater: x or -3/2?
x
Suppose -5*b - 10 = -4*p + 4, -p = 3*b + 5. Let t be (-44)/690 + 1/3. Let f = t + 3/23. Which is smaller: p or f?
f
Suppose 17 = -f - 2*p, f - 4*p + 8 = -3*p. Which is smaller: 2 or f?
f
Let h be 6/10 + 1 + -1. Suppose 0 = 3*g - 2*n - 12, -3*g - n - 3 = 2*n. Which is greater: h or g?
g
Let j be (-25)/(-30) - 2/4. Are 13 and j non-equal?
True
Let p(q) = -q**2 + 9*q + 13. Let h be p(10). Let d = 6 - h. Is d bigger than 1?
True
Let b = 289/132 + -9/4. Which is smaller: 0 or b?
b
Let w(z) = z**2 + z - 8. Let i be w(6). Is i smaller than 34?
False
Let j be (-1)/(2/(-8)) + (-42)/9. Is -78 > j?
False
Let i be 1/(-4 - -8 - 3). Let d be ((-1)/15)/((-2)/(-5)). Which is smaller: i or d?
d
Suppose 0 = -2*k + 1 + 5. Suppose n + 7 = k. Which is greater: -3 or n?
-3
Let r(i) = -6*i - 10. Let p be r(-12). Is 62 not equal to p?
False
Let j = -19 + 26. Let d be (-2)/j + (-39)/21. Are -2 and d equal?
False
Let c be (87/(-315))/((-1)/(-3)). Let t = c - -3/7. Let b = 0 + 0. Is t at least b?
False
Let t = 33 - 41.9. Let s = t + 12. Let i = 3 - s. Which is greater: -1 or i?
i
Suppose 15 = q + 3*q - v, 4*v - 12 = -2*q. Suppose 3*y - p + 9 = -3*p, -2*y = q*p + 14. Which is smaller: y or -2/29?
y
Suppose 4*a = 3*a + 5, -3*q - a + 23 = 0. Let o(j) = -j**2 + 8*j - 4. Let i be o(q). Let b = 5 - i. Is 1 greater than or equal to b?
True
Let m = -42 + 36.95. Let x = m + 7.1. Let f = x - 0.05. Is 1 at most f?
True
Let k be 96/(-44) - (-1)/(-1)*-2. Which is smaller: -0.1 or k?
k
Let h = 0.045 + -0.115. Is -4 bigger than h?
False
Let p = -14 - -25. Which is bigger: 19/2 or p?
p
Let n(m) = -m**3 + 4*m**2 - m - 4. Let h be n(3). Let u be -2*((-42)/(-22) - h). Is 0 at most u?
True
Let b = -110 - -548/5. Which is bigger: b or -2?
b
Let z be -1 - 2*2/(-4). Let c = 193/260 + 3/52. Which is greater: c or z?
c
Suppose 3*r - 6*r - 18 = 0. Which is greater: r or -3?
-3
Suppose -2*z - 33 = -31. Is z at most as big as 1/80?
True
Let y = 91/2322 - -3/86. Suppose 0 = -58*l + 51*l. Which is smaller: l or y?
l
Let l(x) = x - 8. Let t be l(10). Let s be (0 - -1)/t*0. Which is smaller: 3/5 or s?
s
Suppose 21 = 4*k - w + 6*w, -k - 2*w = -6. Let c = 1 - k. Which is greater: -1 or c?
-1
Suppose -3*m = 4*l - 15, -7*l = -6*l - 3. Which is greater: m or -0.36?
m
Let k = -3.1 - -3. Let t = 6.1 + -7. Let f = k + t. Is f equal to 2?
False
Let v = 65 + -517/8. Let d be 1/3*30/(-10). Is v >= d?
True
Let d(x) = x**3 - 11*x**2 + 10*x + 2. Let s be d(10). Suppose 3*t + z = 6, 0*z + s*z - 11 = -5*t. Are 2/13 and t unequal?
True
Let z = 0.76 + 0.24. Is z bigger than -1/5?
True
Let i be (0/5)/(-1 - -3). Suppose i*g + g + 1 = 0. Does -2/5 = g?
False
Let l = 55 + -52. Is 3 greater than or equal to l?
True
Let y = 1361/42 - 203/6. Is y greater than 0?
False
Let w(h) = h**2 + 8*h + 15. Let c be w(-5). Are 1/57 and c non-equal?
True
Suppose 3*x + 45 - 3 = 0. Which is smaller: -1 or x?
x
Let z be (-3)/(-6)*(-2)/6. Suppose 0 = -l - 4*l + 15. Suppose -l*v = -2 - 1. Which is smaller: z or v?
z
Suppose 0 = -t + 4*g - 4, 0 = -3*g + 2*g - 2. Let f = -359 + 348. Is f at least t?
True
Let s = 21 + -9. Suppose -3*i + 5*i - s = -5*n, -4*n = 3*i - 11. Suppose 0 = -2*t - 10 + 12. Which is bigger: t or n?
n
Let w = -39 + 44. Let h = 9 + -17/2. Do w and h have the same value?
False
Let z be (6/8)/(9/36). Suppose 4*l + 2*r + 25 = -z*r, -10 = -5*l + 2*r. Which is smaller: l or 5/6?
l
Let i be (8/12)/(2/9). Is 2 bigger than i?
False
Let u = -4.2 + 4. Let q(z) = 3*z**2 - 3*z - 3. Let l be q(-2). Suppose -3*i - 12 = -4*y, y + 3*i = -l + 3. Is u != y?
True
Let v = 33 + -33.06. Let g be -3*1*4/30. Is v at most g?
False
Suppose 0*l - 234 = 3*l. Let g be (2 - 1) + l/42. Is -1 < g?
True
Suppose 3*x - 20 = -x, 3*u = 2*x - 16. Let c = 18 - 13. Let z be (0 - 3)/(c + -1). Which is bigger: u or z?
z
Let m = -43 - -42.83. Let c = m + 7.17. Let l be (4 - 3)/(1 + 0). Do l and c have the same value?
False
Let v(p) = -3*p - 28. Let m be v(-9). Is -0.6 at least as big as m?
True
Let d = -0.61 + 0.51. Is d bigger than 6?
False
Let j = -54/5 + 11. Suppose -5*z = -z. Suppose -2*r - 3*r = z. Which is smaller: j or r?
r
Let c(s) = -s**3 - 1. Let h be c(-1). Let g = -12076/17 - -710. Is g less than or equal to h?
True
Let q = 11 - 10. Which is bigger: q or 2/7?
q
Let v = 25 + -4. Which is smaller: v or 22?
v
Let b = 13 - 54. Which is bigger: -2 or b?
-2
Let t be (-5)/(5/(1 + 4)). Let l be 0/2 + 1*-5. Is t bigger than l?
False
Let a = -37 - -38. Let n be 3 + -1 - 98/50. Is a less than n?
False
Let h(x) be the third derivative of -x**5/60 + x**4/24 + x**3 - 2*x**2. Let k be h(0). Suppose -3*v = 3*l - k, 2*v = l + 3*l + 34. Is 7 greater than v?
False
Let c = 28.2 - 28. Let n = 4 - 2. Which is smaller: c or n?
c
Let p = -211 - -1685/8. Let a(j) be the second derivative of -j**5/20 + 5*j**4/12 + 5*j**3/6 + 7*j**2/2 - 2*j. Let q be a(6). Which is smaller: q or p?
p
Let v be ((-6)/(-4) - 1)*0. Suppose v = h - 0*h. Which is greater: h or -2/3?
h
Let q = 42 + -54. Which is smaller: -14 or q?
-14
Let m = -26 - -34. Do 7 and m have the same value?
False
Let i = 45 + -80. Let b = 20 + i. Let v be (-1)/b*30/(-12). Is v smaller than -1?
False
Let n = -20 - -19. Which is bigger: n or -2/3?
-2/3
Let t = -9.22 - -0.22. Let i = 9 + t. Which is smaller: 3 or i?
i
Let b(g) = -g**3 - 11*g**2 + 11*g - 15. Let l be b(-12). Let w be l - (248/(-60) + 1). Is w greater than 0?
True
Let f = -5 + 5.27. Which is smaller: -0.1 or f?
-0.1
Let y(q) = q**2 - 5*q - 4. Let a be y(6). Suppose 3 = f, 0*f = -5*u + a*f + 4. Which is smaller: 3 or u?
u
Let j(b) = -b**2 - 14*b + 48. Let a be j(-15). Which is smaller: a or 34?
a
Let l = -19 + 20. Is l greater than or equal to -1/5?
True
Suppose p - k - 1 = 0, 2*k - 4*k + 8 = 0. Suppose -3*x - p*f = -10, -6*x + 2*x + f - 25 = 0. Which is bigger: -6 or x?
x
Suppose 9 = 4*k - n + 4*n, 4*n = -3*k + 12. Let g = 2/69 + 191/552. Is g equal to k?
False
Let g = -81 - -49. Let s be (2/(-8))/((-8)/g). Which is bigger: s or -9/4?
s
Let q(r) = -r**3 - 6*r**2 + 3*r - 2. Let s be q(-7). Is s at least 28?
False
Suppose 0 = -23*j + 27*j + 12. Is -2 at least as big as j?
True
Let a(p) = 2*p - 2. Let r be a(-3). Is -5 greater than or equal to r?
True
Suppose -4*j - 12 = -12. Let x(v) = -v**2 + 6*v - 2. Let n be x(6). Is j less than or equal to n?
False
Let c be 4/(-6) + 2/(-6). Let b be c - 3*-6 - 2. Let p be 2/b*50/(-30). Which is bigger: 0 or p?
0
Let p = -3/21353 + -5739961/28442196. Let w = p - 3/148. Let n = 0.01 + -0.21. Do w and n have different values?
True
Let k(h) = -3*h**2 - h - 4. Let o(b) = -7*b**2 - 2*b - 9. Let t(s) = -5*k(s) + 2*o(s). Let f be t(0). Suppose 0 = -4*i + i + 6. Do i and f have the same value?
True
Let m be (-87)/(-15) - (-2)/10. Which is smaller: 19/4 or m?
19/4
Let h = 8 + -6.9. Which is bigger: h or -1?
h
Let f = 0.5 + -0.5. Which is greater: f or -6?
f
Let a(z) = -z**3 - 3*z**2 - 3*z. Let h be a(-2). Suppose 0*s - 4 = -h*s. Suppose -s = -4*b + 2. Which is bigger: 2 or b?
2
Let c = 9821173/652113 + 4/59283. Let t = c + -15. Do 1 and t have the same value?
False
Suppose 0 + 5 = 5*w. Suppose d - 3*d = 36. Let s be -2*(16/d - -1). Is w <= s?
False
Let g = -0.42 - 0.08. Which is bigger: -4 or g?
g
Let j be (-762)/(-27) - 4/18. Suppose -4*u + j = -4*h, -5*h + h + u = 13. Let k be (6/(-4) - h)*0. Is -3/7 > k?
False
Let k be -3 + 0 + (3 - -16). Suppose -4*b + 2*n - k = 6*n, -10 = -5*b + n. Is -1/4 greater than b?
False
Suppose 57 = 4*m + 9. Let p = m - 8. Suppose 0 = p*x + c, 0 = -3*x - 0*x + 2*c + 11. Which is smaller: 0.2 or x?
0.2
Suppose 0 = -3*m + 29 - 131. Let o = 47 + m. Let v = o + -10. Is 1 <= v?
True
Let s = -13/425 + -2753/1700. Let d = -3/20 - s. Which is greater: 2 or d?
2
Let b = 1 - -11. Let r = -23 + b