et f be q(t). Let u be (-92)/f + 20/110. Is u >= -3?
False
Let j = 0.02 + -2.02. Let g = 1.996 + 0.004. Which is smaller: j or g?
j
Let h = -0.6 + 0.4. Suppose -w - 3 = -2*w. Which is bigger: h or w?
w
Let j be ((-2)/(-4))/(1/2). Let m = 0 - j. Let d(n) = 3*n + 1. Let a be d(-1). Which is smaller: m or a?
a
Suppose -y - 8 = -5*a, 0 = 3*y + 3*a - 11 - 1. Suppose 0*x + 4 = 2*x - k, -y*x - 4*k + 14 = 0. Suppose 2*i = -2*i, -3*s = 5*i - 3. Is s greater than x?
False
Let r = 0.05 + 9.95. Let o = r + -9. Which is smaller: -0.2 or o?
-0.2
Let y = -0.5 - -3.5. Let b = y + -3. Which is smaller: 0.2 or b?
b
Let q = -93403 - -61646021/660. Let n = 1/60 - q. Which is smaller: -1 or n?
-1
Let x = 3569/92 - 155/4. Does x = 1?
False
Let d(y) = 2*y**2 + 2*y - 1. Let h = -4 - -2. Let j be d(h). Suppose -j - 3 = -3*i. Are i and 1/2 unequal?
True
Let z(p) be the second derivative of -p**4/12 + p**3/6 + 3*p**2/2 - 5*p. Suppose 5*g - 6 - 9 = 0. Let o be z(g). Is o != -2?
True
Suppose 0 = 5*z - 1 - 4. Is 0 >= z?
False
Let y be (-2)/((-8)/(-1)) - -37. Let w = 37 - y. Let r = 1.2 + -0.2. Is r < w?
False
Let u(z) = -z**3 + z**2 + 5*z - 5. Let g be u(2). Is g at least as big as -2/13?
True
Let t = -19 - -18. Which is bigger: t or -14?
t
Let f = -18.04 + 0.04. Is -0.2 >= f?
True
Let j = 13.9 - -2.1. Let b = 16.4 - j. Which is smaller: b or 2/11?
2/11
Let o = 1 - 2. Is o bigger than -4/37?
False
Let f = -8 - -5.2. Let q = -0.2 + f. Let g = q - -2.9. Is g at most as big as 0.3?
True
Let k = -7 + -2. Let w be (-3)/(-12)*(3 + k). Which is greater: -3 or w?
w
Suppose 21*w - 17*w = 0. Which is smaller: w or 2/7?
w
Let r = -578/5 + 116. Let v = -3 - -4. Is r smaller than v?
True
Let m = -0.95 - -5.95. Let t be (0 - -2)/(2 - -1). Which is smaller: m or t?
t
Let a be 1 + ((-1468)/730 - -1). Let t = -2242/4745 - a. Which is smaller: t or -1?
-1
Let c = -1.43 + -12.57. Does -0.4 = c?
False
Let u = 1914/5 - 384. Is -1 bigger than u?
True
Let b(g) = -3*g**2 + 31*g + 22. Let i be b(11). Is 17 bigger than i?
True
Suppose 2*p - p + 5*d = -5, 0 = -2*d - 4. Suppose -x - n + 4 = x, 4*x - p*n = -6. Is x > 1?
False
Let w(s) = -s**3 + 8*s**2 - 8*s + 6. Let q(y) = 6*y**3 + y. Let d be q(1). Let p be w(d). Let n = 1 - 1. Which is smaller: p or n?
p
Suppose -3*p + 5*p = -4. Let s(f) = -f + 10. Let u be s(13). Are p and u equal?
False
Let f = -2 - -5. Suppose f*a + 1 = -2. Let m(c) = c**3 + 5*c**2 + 5*c + 2. Let z be m(-4). Is a != z?
True
Let n be (-2 + (-8)/(-3))*12. Let m be 25/(-24) - n/(-12). Which is smaller: 1 or m?
m
Let x = -3 - -2.6. Suppose 11*j - 9*j = -2. Which is greater: x or j?
x
Suppose 4*l - 10 = 2*l. Suppose -l*y - 8 - 8 = 4*t, 2*y - 3*t - 12 = 0. Let p(o) = -o + 8. Let u be p(6). Which is smaller: y or u?
y
Let p = 6 + -4. Let j = p + -2.5. Let o = j + 0.4. Is o smaller than -0.1?
False
Let s = 1 - 1. Suppose -2*g + 3*g - 4*h + 14 = 0, 12 = 2*g + 2*h. Which is smaller: s or g?
s
Let q be 1/3 + 39/(-63). Let k(z) = 2*z + 1. Let i be k(-1). Are i and q equal?
False
Suppose 5*u + 0 - 5 = 0. Let i = u + 4. Is i greater than 5?
False
Let a = 1590/493 - 56/17. Are 1 and a equal?
False
Let y(o) = -2*o**3 + 13*o**2 - 6*o. Let v be y(6). Suppose 8 = 5*d - 2. Is v <= d?
True
Suppose 0 = -2*g - g + 6. Which is smaller: g or 0.2?
0.2
Suppose 0 = 3*h - r - 14, 0 = -r - 0*r + 1. Let l = h + -3. Is 1 < l?
True
Suppose -5*m - 5*u = -27 - 23, -50 = -2*m + 4*u. Suppose -m = -5*j - 3*t, -t = 5*j + 2 - 7. Is j >= 3/14?
False
Let w = 579 - 20269/35. Is w equal to -1?
False
Suppose -4*g + 5*t - 640 = 0, 2*g = -2*t - 2*t - 294. Let h = g + 469/3. Let q = 0 + 1. Is q less than or equal to h?
True
Let x(n) = n**3 + n**2 - n - 4. Let u be x(0). Let s be (-3)/4 + (-7)/u. Is s <= -3?
False
Let j = -181 + 159. Which is bigger: j or -25?
j
Let y be 26 - (-2 - ((-2 - -2) + 0)). Is y greater than 1?
True
Let w = 573/5 - 105. Is w smaller than 9?
False
Suppose 3*q = 2*q - 3. Which is smaller: q or 2?
q
Suppose -g + 6*g = 20. Suppose -2*n - g*u = 4, 16 + 2 = 5*n + 3*u. Let f be 56/(-21)*n/(-4). Which is bigger: f or -0.1?
f
Let n = -7.93 - -8. Let q = -0.07 + n. Which is smaller: 3 or q?
q
Suppose -134 = 5*a - 29. Is -19 > a?
True
Let x be 3/((-4)/(20/(-3))). Are x and 2 non-equal?
True
Let w be ((-1)/(-2))/((-3)/42). Suppose -5*q + 68 = -82. Suppose 3*o + q = -2*o. Which is smaller: o or w?
w
Let q = -4 + 8. Suppose -q = -5*w + 3*w. Let c = 1/5 - -3/10. Which is smaller: c or w?
c
Let d = -0.4 + 2.4. Is d at least -24?
True
Let q = -1/207 + 4417/207. Suppose -4*s - 33 = 51. Let r = q + s. Which is greater: -1 or r?
r
Let n(m) be the third derivative of m**6/120 - m**5/30 - m**4/8 - m**3/6 - 6*m**2. Let q(h) = h**3 + h**2 + 3. Let t be q(0). Let l be n(t). Is l >= 1/3?
False
Suppose -2*j = -c, -4*j - 3*c = -4*c. Suppose i + j*i = y, 3*y = 4*i. Suppose -v - 3*g = -i*g, 5*g = -v. Which is smaller: v or -1?
-1
Let d = 16 - 20. Which is greater: 4 or d?
4
Suppose -x + 5*x = -4*i + 68, 5*x - 3*i = 45. Which is smaller: 11 or x?
11
Let i = 1 - 2. Suppose 8 = 2*t - 0*t. Let d be 1/(-4) - i/t. Which is greater: d or -2/7?
d
Suppose -5*m - z = -0 + 3, 9 = 2*m - 3*z. Suppose 5*i + 21 = -4, 3*k + i - 16 = m. Suppose k = -2*j + 3*j + 3*s, -3*s = 4*j - 1. Which is bigger: j or -3/2?
-3/2
Let w = 5 - -5. Which is smaller: w or 12?
w
Suppose -3*d = -3*h + 4*h + 9, -3*h + 5*d = -29. Let n = -12 + 37. Let b = n - 25.1. Which is greater: h or b?
h
Suppose -3*g + 26 = -4*q, 4*g - 2*g = -3*q - 11. Which is smaller: g or 5/4?
5/4
Let d = 8 - 6. Suppose r + 5 = d*y, 3*y - 6 - 12 = 5*r. Does -1/4 = y?
False
Let b = -2390 + 9687/4. Which is bigger: b or 32?
32
Let a be (-4)/(-3) + (-2)/(-3). Let u be 1*(-3)/(27/(-6)). Is u < a?
True
Let s = 13 + -14.4. Let n = s - -1.3. Let z = -134 - -398/3. Which is bigger: n or z?
n
Let y be (16/10)/((-2)/(-10)). Suppose 6*q + y = 2*q. Let x = -112 - -112.1. Which is greater: x or q?
x
Let n be 3/18*2*9. Suppose 5*j = 3*q - 28, 4*q + 18 - 48 = n*j. Let x(f) = f**3 - 7*f**2 + 5*f + 6. Let s be x(q). Is s greater than 2/17?
False
Let g = -0.3 - 8.7. Let i = -9.1 - g. Which is smaller: 0.1 or i?
i
Let b = -121 - -602/5. Let z be 9/27 + 13/(-3). Let j be (-2 - z)*(-3)/3. Is b < j?
False
Suppose 2*j = -0*j + 2. Suppose -2*n + 15 = -5*c - j, c = 5*n - 17. Let g = -0.1 + 0.1. Is g at most as big as n?
True
Suppose 0 = 4*r + 3*a - a + 78, 0 = -4*r + 3*a - 83. Is r greater than or equal to -20?
True
Suppose 0*x - 5*x + 2*l + 70 = 0, 5*x + 5*l = 35. Is 12 greater than x?
False
Let u = -4 - -9/2. Let m = 0 + -1. Let a = 2 + m. Is u less than or equal to a?
True
Suppose 8*h + 84 = 11*h. Do 28 and h have the same value?
True
Let c = 244 + -147. Is c less than 96?
False
Suppose -q - 3*c = -2*q + 10, 5*c = -25. Let f = -3 - q. Let w be (-13)/20 + f/8. Is w greater than or equal to -2/3?
True
Let u be 5/8*(-2)/(-1). Let n = -61 - -62. Is n greater than or equal to u?
False
Let n be (6/39)/((-5)/50). Is n greater than or equal to -2?
True
Suppose v + 9 - 35 = 0. Let t = 16 + -14. Suppose -t*j - 5*f = -v, 4*f = -3*j - 0*f + 25. Which is greater: 2 or j?
j
Suppose 0 = 5*c - 3*c - 4. Let w(k) = -k + 2. Let g be w(6). Let f be (40/(-14))/g - 1. Is f at most as big as c?
True
Let y be 6*(-2 + 14/8). Let q = 0.28 + -0.18. Which is smaller: q or y?
y
Let x = -2444/5 + 9251/20. Let r = 26 + x. Which is bigger: -0.2 or r?
-0.2
Suppose -6*q + 5*a = -5*q + 25, a - 5 = -4*q. Are 4/25 and q unequal?
True
Let h be (-3 - -3)/((-4)/(-2)). Let n = 1 - h. Let x = 652/5253 + -2/309. Is x at most as big as n?
True
Let b be (-9)/36 - 47/(-172). Let n = b - 111/1075. Which is bigger: 1 or n?
1
Let o be 2/4*8/2. Is o greater than or equal to 14?
False
Let d(z) = -z**2 - 8*z - 6. Suppose 0 = -2*t - 14. Let o be d(t). Let q be (8/(-10))/((-2)/5). Which is greater: o or q?
q
Let t = 3 - 3.38. Is -1 <= t?
True
Let c = 0.08 + -0.38. Suppose -4*z - 12 = 5*h - 28, z - h - 4 = 0. Suppose 0 = -z*j + j. Are j and c equal?
False
Let l be (-2)/(-17) + (4 - (-321)/17). Is l less than 21?
False
Let d = -1/47579 - 278664/618527. Let k = d - -2/91. Which is smaller: 1/2 or k?
k
Let g be (0*3/12)/(-1). Suppose g*z = -z + 3. Let v = 2 + -1.9. Is v bigger than z?
False
Let c = -4.968 + -0.032. Which is greater: c or -6?
c
Let a = -13.2 - -15.5. Whic