= -0.01 + -2.99. Let c = d + 2.9. Is p bigger than c?
True
Let y = -31/3 - -10. Let g = -1 + 1. Which is smaller: y or g?
y
Let i = -61/2 - -545/18. Is i bigger than -2?
True
Let c = 4 + -3.7. Let x(l) = -l - 2*l - l**2 + 8 - 10. Let w be x(-3). Is w at most c?
True
Suppose -2*c = -7*c - 15. Suppose -4*v = v + 10. Let r be 2/c + v/6. Are r and -2 unequal?
True
Let o(l) = -l**2 + 2. Let b be o(0). Suppose -p + 3 = b*p. Let k = -38 + 264/7. Which is bigger: p or k?
p
Let f = -3.165 - -0.165. Do 1 and f have the same value?
False
Let l be 4/10 + 68/(-20). Let c = 0.3 - 0.5. Let n = c + -0.8. Which is greater: n or l?
n
Let u be (-2 + 8)*(-3)/2. Let o be (-2)/(-2 - u/6). Suppose 5*a - 24 = o*g - 0*a, 4*g = -5*a + 16. Are 0 and g equal?
False
Let r be -4*(-4)/16 + -2. Let m = 8.5 + -9. Which is bigger: m or r?
m
Suppose -4*j - s = -0*s + 68, -4*j - 68 = 4*s. Which is smaller: j or -19?
-19
Let x be (-65)/(-15) - (-4)/6. Let g = x - 6. Is -1 at most g?
True
Let m = 26.2 + -26. Which is bigger: m or 7?
7
Let h be 3/(-12) + 33/4. Suppose 0 = -w - w + h. Is w greater than or equal to 4?
True
Let x(m) = m**3 - 7*m**2 + 6*m + 12. Let a be x(5). Are a and -7 unequal?
True
Let d(r) = -r. Let v be d(-2). Let y be 166/(-7) + v + -1. Let p = 23 + y. Is p bigger than -1?
True
Suppose z - 47 = -4*m + 144, m + z = 44. Is 48 != m?
True
Let c = -1/4 + -1/28. Let y(l) = -l**2 - 7*l - 1. Let t = -9 + 2. Let d be y(t). Is d > c?
False
Let s = 124451853/1001 - 870350/7. Let n = 110/13 + s. Which is bigger: 1 or n?
1
Let x = 39.7 + -39.8. Let m = 1.8 + 0.1. Let o = m + -2. Is x < o?
False
Let n = 0 + -1. Suppose 0 = 5*u + 4*m - 5, -m + 3*m = -2*u + 4. Let t = u - -2. Are n and t unequal?
False
Let a = 8 - 8.3. Let h = 0.3 + a. Suppose d = -d. Is d != h?
False
Let n = 135 - 135.05. Are 2 and n non-equal?
True
Suppose -r = -5*c - 570, -2*c - 3*r = -r + 228. Let j be -1 + 4 - (-324)/c. Which is greater: 0 or j?
j
Let g be (742/(-6))/(5/3). Let j = 74 + g. Is -1 < j?
True
Let k be ((-1)/(-3))/(2/6). Let h = 115/2 + -1039/18. Which is smaller: h or k?
h
Let n = 0 - -2. Let h = 5 + -7. Let o = h + n. Which is bigger: 0.2 or o?
0.2
Let t(h) = -3*h**3 + h**2 + h - 2. Let q be t(1). Let w be q + 9/3 + 1. Is -1/10 smaller than w?
True
Let m = 27 - 26. Is -54 >= m?
False
Let x be (6/12)/((-1)/(-2)). Let t be 3/(2 + x - 2). Is 4 at least as big as t?
True
Let g(m) = -m**3 + 2*m**2 + 6*m - 5. Let f be g(5). Let y be (9/21)/(f/35). Which is greater: y or -1?
y
Let h be (1/4)/(125/(-60)). Is h < 0?
True
Let y = 0.88 - -0.12. Let u = 2 - 1. Let w = -3 - u. Which is smaller: y or w?
w
Let a = 1 + 1. Let h = 17 - 17. Suppose -5*q + 14 + 1 = h. Which is bigger: q or a?
q
Let i = 18 + -9. Let f(z) = -z**3 + 9*z**2 + z - 10. Let u be f(i). Is u at least as big as -2?
True
Let w be 20/(-9)*1/(-4). Which is smaller: 2 or w?
w
Let a = -17 + 11.6. Let x = a - -1.4. Is 1 equal to x?
False
Let p(u) = u**2 + 7*u + 6. Let z be p(-6). Which is bigger: z or -1/6?
z
Let g = 1.86 + -2.1. Let v = 0.24 + g. Which is smaller: 1 or v?
v
Let m = -23296/25677 - -74/81. Which is smaller: 0 or m?
0
Suppose -10 = 8*v + 6. Which is greater: v or -11/9?
-11/9
Let g = 2/49 + 12/49. Are 0 and g equal?
False
Suppose y - 6*y = -20. Suppose -l + 0 = -y. Suppose -3*o - l = -o. Which is smaller: -1 or o?
o
Let l(z) = z + 1. Let d(k) = 2. Let r(m) = -d(m) + l(m). Let f be r(1). Which is smaller: f or -3/5?
-3/5
Let o = 2/53 + 88/477. Let j = 4 + -4.8. Let c = -1.2 + j. Is o greater than c?
True
Let q = -7 - 25/4. Let u = q + 13. Let s = 0.2 - -0.3. Which is smaller: u or s?
u
Suppose 80*v + 12 = 86*v. Suppose 0 = 4*h + h - 5. Is h bigger than v?
False
Let m be 33/15*(4 + -6 - -3). Is 3 not equal to m?
True
Let f = 6.8 - 0.8. Let w = -1.47 + -4.43. Let u = f + w. Is u at most as big as 0.1?
True
Let i = -33 + 29.4. Let b = 1.8 + i. Let q = b + 2. Is 1/2 >= q?
True
Let h = -42 + 41. Is 2 >= h?
True
Let r = -39 - -22. Let c = r + 18. Is -3/10 not equal to c?
True
Suppose -45 = -4*v + 23. Suppose 4 = -2*r - 4*d, -4*r - v - 6 = 3*d. Let k be (-2)/r*4/5. Is -1 at most as big as k?
True
Let d = 18.13 + -18. Let i = d + -0.03. Let k = 8/3 - 13/6. Does k = i?
False
Suppose 2*b = -2*b. Is 3 at most b?
False
Let j(m) = -m**2 + 3*m - 1. Let d be j(3). Let b be (-200)/455 - (-4)/26. Is b equal to d?
False
Let f = 41 - 39. Are 10/9 and f equal?
False
Let s be (2/6)/((-9)/54). Which is greater: s or 1?
1
Let c = -33 - -47. Let g be ((-1)/4)/((-8)/c). Let r = -3/16 + g. Is r != 0.1?
True
Let v = 41/8 + -39/8. Is 1 bigger than v?
True
Let j be (-34)/(-72) - (-1)/(-4). Let m = -15 + 30. Let w = m + -15.1. Which is bigger: w or j?
j
Let r = -10/23 + 1356/3013. Which is smaller: 1 or r?
r
Let u = -6.1 + 6. Let q(s) be the first derivative of 2*s**3/3 - 2*s**2 + 2*s - 1. Let w be q(2). Is w bigger than u?
True
Let d = 30 - 4. Let y = -26.1 + d. Let b = -3 + 5. Which is bigger: b or y?
b
Let g be 4/(5 + -1) - -4. Suppose 25 = -4*j - 5*b, g*b + 25 = -0. Which is bigger: -4 or j?
j
Suppose 0*p + 5*p + 25 = 2*y, -p - 32 = 5*y. Suppose 40 = -2*l + 6*l. Let q = p + l. Which is smaller: q or 4?
q
Let g = 16 + -12. Suppose -g*o = -3*k + 7, o + 3*k = -0*o + 2. Let w = 25 - 124/5. Which is smaller: o or w?
o
Let z = -52 + 51. Which is greater: 12 or z?
12
Let o = 8 - 2. Let j be 22/o*3/1. Suppose v + 4*q - 9 = 2, -5*q = 4*v - j. Which is bigger: -2 or v?
v
Let l be 5/(25/(-4))*-2. Let k be ((-10 - -4)/(-6))/(2/6). Which is smaller: k or l?
l
Let a be ((-2)/(-76))/(35/(-42)). Which is greater: 0 or a?
0
Let a = 32 - 36.1. Let l = a + 4. Let u = l - -0.1. Which is smaller: -0.4 or u?
-0.4
Let s = 0 + 0.03. Let r = 0.97 + s. Let a = r - 4. Are -0.1 and a equal?
False
Let d = -4 - -7. Let x(g) = -2*g**3 + 42*g**2 + 42*g + 46. Let y be x(22). Is d >= y?
True
Let c = -80 + 79.6. Is c equal to 5?
False
Let b be (-87)/15 + (0 - -3). Which is greater: b or -2?
-2
Let c = 0.216 + 0.074. Let g = c + 0.01. Let v = 0.3 - g. Is -2/17 less than v?
True
Let q be 1/(-6)*(7 + -34). Suppose 0 = -3*a - 0*a + 12. Is a greater than or equal to q?
False
Let m = 12 + 82. Do 94 and m have the same value?
True
Let c(y) = y**3 + 5*y**2 - 7*y - 6. Let k be c(-6). Which is smaller: -2/15 or k?
-2/15
Suppose 2*h + 2 - 12 = 0. Let x = -24.1 + 26.1. Which is bigger: x or h?
h
Let f = 422569/5 - 753020923/8910. Let l = f - 5/162. Does l = -1?
False
Suppose 16 = -4*i, 4*c - 4*i + 0*i - 24 = 0. Let v = -6 + 8. Is c <= v?
True
Let m = 96.2 - 96. Let z = -1 - -1.3. Is z < m?
False
Let w = 52 - 35. Let h = 0.9 - -0.1. Is h < w?
True
Suppose -2*q + 12 = -30. Let p be (-1)/1 - (-35)/q. Is p less than or equal to 0?
False
Let d(g) = -g**2 - g. Let q be d(0). Let x = 0.26 - 0.16. Which is bigger: x or q?
x
Let v = 5 - 4. Suppose 3*f = -4 + v. Are 1/7 and f equal?
False
Let q = -2.1 + 2.1. Is q less than 4?
True
Suppose -2*b + 12 = -2*s, -2*s = -0*s + b - 3. Let m = 5 + -3. Suppose 2*c - m + 6 = 0. Which is bigger: c or s?
s
Suppose -2*h - 4 = -2*x, -4 = -2*h + 3*h - 3*x. Which is smaller: h or -3/8?
h
Suppose q + 10*y = 5*y - 7, 3*q = -5*y - 11. Let j(a) = -a + 3. Let w be j(7). Does q = w?
False
Let y(u) = u**2 - 3*u + 1. Let g = -38 + 53. Suppose -4*a - a = -g. Let t be y(a). Which is smaller: t or -2/7?
-2/7
Let o = -5 - -4.4. Let k = o - 1.4. Let a = k + 1. Is 2/3 < a?
False
Let k be 2/(-2) - (-3)/5. Which is smaller: -3 or k?
-3
Suppose -1 = 4*d + m, -2*d + 4*m - 2 = -6. Let x = 15 - 10. Let t be 0 + x*(-6)/(-45). Is d less than or equal to t?
True
Let i(x) = x**3 - x**2 - x + 1. Let b = 4 + -4. Let o be i(b). Are -0.5 and o nonequal?
True
Let h = -83 + 84. Which is bigger: 1/330 or h?
h
Let m = 1/12 - -1/4. Let s = -1/6 - m. Which is smaller: 0.1 or s?
s
Let a(t) = t**2 + 5*t. Let h be a(-5). Which is smaller: h or 1/25?
h
Suppose 4 = -2*h - 2*g, 1 = -5*h - g + 5*g. Is -8/7 smaller than h?
True
Let q = -0.05 - -0.37. Let i = 11.02 + -11. Let v = i - q. Is v at most as big as -0.1?
True
Let u = 1 + 0.3. Let f = u + -1. Which is smaller: f or 0.1?
0.1
Let y = -0.04 - 1.96. Let d = y - 0. Let l = -5 - d. Is l equal to -0.1?
False
Suppose -3*y = -5*y - 60. Is -30 not equal to y?
False
Let c be 5 - (2 + -1 + -1). Suppose 5*q - 9*q + 24 = 0. Suppose y - q + 3 = 0. Which is smaller: c or