ual to f?
False
Let t = 0.7 - 0.2. Let l = -0.4 + t. Let o = -0.2 + l. Is 1 at least as big as o?
True
Let j(u) = u**2 - u + 4. Let a be j(0). Suppose -g = 3 - 8. Which is smaller: a or g?
a
Suppose 5*x + 3*j = 1027, 0*x + 3*x = -5*j + 629. Which is smaller: 0.1 or x?
0.1
Suppose 3*j + z = 30, 3*j + 2*z - 3*z = 30. Suppose j*f + 3 = 7*f. Let t be (1/(-2) - -1)*-1. Is t smaller than f?
False
Suppose -2*p + 2*c = -14, -3*c = -p - 8*c + 7. Suppose 0 = 5*o - y - 36, -13 - 7 = -5*y. Is o greater than or equal to p?
True
Let b be -1*((-8)/2 - -3). Let z be (-2)/(-6) - (-3)/(-11). Which is bigger: z or b?
b
Let o be -1*(7 - (0 - 0)). Let u(b) be the second derivative of b**4/12 + 7*b**3/6 + 3*b**2/2 + b. Let w be u(o). Is 3 >= w?
True
Let d be 0 + -3 + 22/8. Let m be -2*(-3)/(-2)*-1. Suppose -m*h = 3*u - 6, 5*h + 3*u - 7 = u. Is d bigger than h?
False
Let v = 7.42 + -7.2. Which is bigger: v or -0.1?
v
Suppose -g = 4*g - 40. Let a be 5/6 - g/12. Is a greater than 1?
False
Let v = -1 - 1. Is 0.5 smaller than v?
False
Let p be 7/5 - (10/25 + -1). Which is smaller: 22/23 or p?
22/23
Let h(r) = 6*r**2 - r + 4. Let t(s) = 5*s**2 - s + 3. Let q(n) = 3*h(n) - 4*t(n). Let p be q(1). Suppose -4*o + 2 = -2*z, -7*o = z - 6*o + 1. Is p < z?
False
Suppose -3*h = -3 + 6, -4*h = 5*g + 4. Let w be 1*(-11 + (g - 0)). Let a = 23/2 + w. Which is smaller: 0 or a?
0
Let v be ((-42)/68)/(-3)*2. Let k = 37/34 + v. Let s = -60 - -61. Which is bigger: k or s?
k
Suppose 0 = -5*m - 5*n + 515, 4*m = -0*m - n + 418. Are m and 105 unequal?
False
Let l(c) = 3*c + 9. Let i be l(-6). Let h = 15 + i. Is 6 != h?
False
Suppose 0 = 3*l - 13 + 1. Let r be l/6 - (-6)/(-9). Let h = 29/84 - 2/21. Is h at most r?
False
Suppose 2*o + 3*h + 2 = 0, 0 = -2*o + 4*h - 3*h - 18. Let z = 4 + o. Let f(k) = k**3 + 7*k**2 + 6*k - 2. Let a be f(-6). Is a bigger than z?
True
Let v = -14 + 16. Are v and 8/7 non-equal?
True
Let q = 238/9 + -3076/117. Suppose 3*s - 45 = -2*s. Suppose -s + 4 = 5*j. Which is greater: j or q?
q
Let g be (-428)/(-296) - (-6)/(-4). Do 1 and g have the same value?
False
Let l be ((-1)/2)/(1/(-2)). Let o = l - -1. Suppose 5*u - 6 = -0*y + 2*y, o*u + 4*y = 12. Are u and 1/2 equal?
False
Let p be 4/3*(-93)/(-310). Is p at least as big as 5?
False
Suppose -3*d - 4 = 2*a, -8*a - 10 = -d - 3*a. Let l be (-7)/(-1*(-6)/(-34)). Let h = l - 39. Is d at least h?
False
Let d(a) = -23*a. Let r be d(-1). Suppose -4*q = 3*p - 21, -5*p = q - r + 5. Suppose 0 = 3*h + p. Which is bigger: 0 or h?
0
Let o(c) = -3*c + 5. Let a be o(3). Which is bigger: a or -5?
a
Let g = 9 - 9. Let m be 0 - 2*(-2)/(-20). Which is greater: g or m?
g
Suppose -4*u - 2*z = -10, 2*u - 14 = -4*z - 0*z. Suppose -3*c + 2*c = 2*t - 9, -3*c + 4*t - 23 = 0. Is c equal to u?
False
Let f be (-3)/((-9)/(-21)) - -4. Which is greater: -2 or f?
-2
Let o(z) = z**2 + 4*z - 5. Let q be o(-6). Suppose 2*b - 3 - q = 0. Let c(m) = m**2 - 6*m + 2. Let u be c(b). Is u >= -3?
True
Suppose 0 = 5*y - 5*m - 50, -5 = -2*y + m - 2*m. Suppose 5*a = -4*g - 71, 5*g + 0*g + 90 = -5*a. Let d = 25 + g. Is y >= d?
False
Let h = -9 + 9. Let a = -1.95 - 0.05. Is a at most as big as h?
True
Suppose 0 = -i - 1 - 1. Let f be (4/(-5))/((-4)/(-10)). Is f < i?
False
Let b(j) = -3*j - 29. Let f be b(-10). Which is greater: f or 2/55?
f
Let f be (-62)/(-8) + 4/16. Let b be (f/(-6))/((-78)/9). Let c be 1*-2 + (0 - -1). Which is smaller: c or b?
c
Let w = 9.1 + -1.1. Which is bigger: 0 or w?
w
Let g = 361/15 + -71/3. Which is smaller: g or -0.06?
-0.06
Suppose -2*w - 4*v + 3*v = -8, -8 = -2*w + 5*v. Are 4 and w nonequal?
False
Let d = -0.043 + 0.043. Which is smaller: d or 18?
d
Let h = -1 + 0.8. Let s be (-48)/27 - 2/9. Which is bigger: s or h?
h
Let j = -8.5 - -1.5. Let g = -9.87 - 0.13. Let d = g - j. Which is bigger: d or 2/3?
2/3
Let k = 0.02 + 2.98. Which is smaller: k or 0.12?
0.12
Let v(a) = -a - 5. Let b be v(-3). Let k be (b + 36/21)/2. Are 1 and k equal?
False
Suppose 2*z + 3*x + 1 + 2 = 0, 4*x = -4*z - 4. Suppose z = -4*m + 8, 7*r = 2*r + 4*m - 3. Let q = -1/21 - 2/7. Which is bigger: r or q?
r
Let s = 3 - 0. Let d = -47 - -50. Suppose s = -d*k - 3. Are k and -2 nonequal?
False
Let a = 49 + -116. Is a less than or equal to -67?
True
Suppose -l + 0 + 2 = 0. Let u(k) = k**2 + 8*k - 23. Let z be u(-10). Is l smaller than z?
False
Let d = 2 - 0. Suppose -4*b - h = h - d, h = -5. Let p = b - 2. Is p > 1?
False
Let z be 2/10 + 556/20. Which is greater: z or 29?
29
Let x = 1 + 1. Suppose -3*w - x - 1 = 0. Which is greater: -2/11 or w?
-2/11
Let h = -135 + 663/5. Is h > -3?
True
Let p = 1/65 + -133/195. Let w(q) = q**3 - 4*q**2 - q + 3. Let y be w(4). Which is smaller: p or y?
y
Let r(k) = -k**3 + 13*k**2 - 12*k + 7. Let n be r(12). Suppose -4*u - b = -n, -6*u = -u + 3*b - 7. Which is greater: 7 or u?
7
Let g = 0.04 + -1.04. Are 0.03 and g non-equal?
True
Let l be 0/2 - 2 - 0. Let x = -3 - l. Suppose 0 = 5*m + 5*r + 10, 2*m = m - 3*r - 6. Is x != m?
True
Suppose 5*c = -3*b - b, -5*c = 2*b. Which is greater: -14/45 or b?
b
Let n = -38/3 + 13. Suppose -h - 4*h = 0, 1 = b + 5*h. Which is greater: n or b?
b
Suppose i + 13 = 4*d + 4, 24 = -5*i - d. Is i <= -1?
True
Suppose 0 = -3*v + 3, -5*h + 3*h = 3*v + 1. Let r = -1 - -0.7. Which is smaller: r or h?
h
Let o = 1291/40 + -167/5. Which is smaller: o or -1?
o
Let m = -0.3 - -8.3. Which is smaller: -1/3 or m?
-1/3
Let o be (1 + -2)/4*-1. Is 1 greater than or equal to o?
True
Let q(b) = b**2 + 5*b - 1. Let r be q(-5). Let s = 8/17 + -6/85. Which is smaller: s or r?
r
Let a(y) = -y**2 + 3*y + 3. Let o be a(4). Let l be 0 + 2 + o + -3. Is -1 greater than l?
True
Suppose 51 = 4*k + 3*l + 5, -2*k + 16 = 5*l. Let f = -13 + k. Is f less than or equal to -1/2?
False
Let r = 28 - -13. Which is smaller: 40 or r?
40
Let i(l) = -l + 7. Let o(j) = j**3 + 4*j**2 + j - 5. Let a be o(-4). Let d be i(a). Suppose 0 = -b + 2*v + 7 + 1, 0 = 2*b + 4*v + d. Which is bigger: 2 or b?
2
Let n(a) = -a**3 - 3*a**2 + 5*a + 6. Let y be n(-4). Suppose y*c = -u - 5, 0 = 2*c + 4*u + 14 - 0. Let f = 1 + c. Is f at most 2/7?
True
Let k be (-3)/(-21) + (-194)/(-14). Let z be k/(-21) + (-1)/(-3). Which is bigger: z or 9?
9
Let y = -1 - -0.8. Let m = 3.2 - 3. Let z = y + m. Which is smaller: 0.1 or z?
z
Let i = -0.01 + -0.09. Let d = -2 + 2. Let v = 0.2 + d. Which is smaller: v or i?
i
Let n be -1 + 93/18 + -3. Let y = n - 2/3. Is 1 bigger than y?
True
Let m = -10.98 - -11. Is 0.2 < m?
False
Let o be (-4)/14 + (-32)/(-14). Suppose o*x + 1 + 1 = 0. Is x less than 0?
True
Let x = 173/4 - 43. Let c = 0.8 - 0.5. Let y = c + -0.5. Is y greater than or equal to x?
False
Let c = -20 + 29. Let a = c + -2.2. Let y = 7 - a. Which is greater: 3 or y?
3
Let n = 17 + -17. Let h = 8 - 11. Let g = h + 3.4. Is g at most as big as n?
False
Let w = -4.55 + 4.5. Which is bigger: -0.2 or w?
w
Let s = 0.705 - 3.635. Let n = s + -0.07. Let j = 4.8 + -5. Is n at least j?
False
Let j be 14/(-12) - (-1 + -1). Suppose 6 = 5*m + 2*c, -3*m = -6*m - 5*c + 15. Which is smaller: j or m?
m
Let l = -70/11 + 269/44. Which is smaller: -3/10 or l?
-3/10
Let g be (-3)/(-7) + (-126)/(-49). Suppose g = r - 5. Which is smaller: r or 7?
7
Suppose -p - 2*f = -6, 3*p + 8*f = 7*f + 28. Which is smaller: 9 or p?
9
Let z = -14 - -10. Which is smaller: -1/9 or z?
z
Let g be -2*21/30 + 6/15. Which is bigger: g or 2/101?
2/101
Let k = 1 + 7. Suppose -3 = -k*a + 5*a. Is -2/31 at least a?
False
Let x be (5 - 1155/230)*-3. Are x and 1 non-equal?
True
Let u(q) = -3*q**2 - 18*q + 4. Let i be u(-6). Let v be 60/14 + 2/(-7). Is v bigger than i?
False
Let k = 70.2 - -0.8. Is -0.1 at most as big as k?
True
Let i = -2.8 + 1.7. Let f = i + 1. Let n = 3 + -4. Which is greater: n or f?
f
Let s(z) = -2*z + 1. Let y be s(-1). Suppose -2*u + y = -3*u. Let o be (-3)/u - 18/10. Is o less than or equal to -2?
False
Let b = -34.4 - -34. Which is bigger: b or 1/2?
1/2
Let d be ((-4 - -2) + -2)/(-9). Suppose 5*h = 6*h. Is d at least as big as h?
True
Let s be -2*(2 + 15/(-6))/1. Which is greater: s or 9/11?
s
Let c be 0 - (0 - 2) - 0. Suppose c*z = -0*z + 6. Let p be (-15)/(-6) + (-1)/(-2). Is z at most as big as p?
True
Suppose -2*y - 30 = 4*l, 2*y = -3*y - l - 48. Let t(v) = v**3 + 10*v**2 + 10*v + 9. Let m be t(y). Le