 f be i/(-4)*0 - -6. Let m be -1*(3 - f)/9. Does 1 = m?
False
Let k = 15.21 + -0.21. Is k not equal to -1/2?
True
Let b = 4 - 6. Let g be 2/3 + 8/(-3). Let w be (g/6)/(12/9). Which is smaller: w or b?
b
Let g be (-27)/36 + (-10)/8. Which is bigger: g or -3/14?
-3/14
Let u = 14 + -14. Is u <= -5/4?
False
Let j = 18 - 18.06. Let r = j + 0.13. Which is greater: 0 or r?
r
Let b = 0 - -4. Let m be 2/b + 31/66. Let p = -18/11 + m. Is 0.2 != p?
True
Let d be 4/(1/((-1)/(-2))). Suppose 2 = d*r + v, -v + 2 + 0 = 4*r. Let c be -2 - ((-12)/(-3))/4. Which is greater: c or r?
r
Let k = 61 - 63. Is -2/3 at least as big as k?
True
Suppose 2*w - 3*w = 2*o + 5, 5*w - 2*o = 35. Suppose -5 = -4*z + 15. Does w = z?
True
Let u = -21 - -228/11. Which is smaller: u or -1?
-1
Suppose 2*i + 3 + 3 = 0, -5*j - 4 = 3*i. Which is greater: j or 8.6?
8.6
Let g(y) = -y**3 - 3*y**2 + y - 5. Let i be g(-4). Suppose i = h + h - 5*o, 2*h + 5*o = 37. Are 11 and h equal?
True
Let q = 0.6 - 0.6. Is -0.41 greater than q?
False
Let f = 0.49 - -0.01. Let a = f - 0.5. Is a != 2?
True
Let c(y) = -y**3 + 7*y**2 + 8*y - 13. Let v be c(8). Is -15 greater than v?
False
Suppose 0*a - 2*a = 0. Let z be 1/3*(-20)/(-20). Which is smaller: a or z?
a
Let a(x) = -316*x**2 - x. Let v be a(-1). Let j be (-2)/5 - 1371/v. Let m = j - 11/3. Are m and -0.1 nonequal?
True
Let h = 84.8 - 78. Let k = h - 7. Suppose 2*x + x = 6. Is x < k?
False
Let z be (-10)/104*(-1)/(-5). Which is greater: 1 or z?
1
Let c(m) = -2*m + 17. Let f be c(7). Suppose 6*y = f*y. Which is greater: 2/41 or y?
2/41
Let y be (3 - 7/2)*-4. Suppose 2 = -0*q + y*q. Which is bigger: q or 0?
q
Let q(h) = -h + 2. Let a be q(3). Let f = a + -1. Let n be (0/f)/(3 - 5). Is n smaller than -1?
False
Let w be 4 - 2 - (-3 - -2). Is -3 at least as big as w?
False
Let v be (-2 + 3 + -4)/(2/4). Is -6 greater than v?
False
Let l = -4 - 3. Which is bigger: 2/5 or l?
2/5
Let i be (-1*2 - 0) + 3. Let a be (-3)/6*-10*i. Suppose k = 1 - a. Which is smaller: -3 or k?
k
Suppose 0 = 4*o + 3*k - 66, 2*o - 14 = 4*k + 8. Suppose l = 5*l + 80. Let g be ((-1)/3)/(l/o). Which is bigger: 0.3 or g?
0.3
Let w(x) = x - 3. Let y be w(5). Let v be (-8)/(-28) - 32/14. Are y and v equal?
False
Suppose 5*a = -c - 3*c - 37, -a + 2*c + 1 = 0. Let d be 329/(-35) - (-3)/a. Is -9 at least as big as d?
True
Let l be -2 + (70/6 - 2). Which is smaller: 8 or l?
l
Let i be (-3 - -2)/(5/1). Which is smaller: i or 0.05?
i
Let s = 6 - 9. Suppose -3*g + 11 = -8*p + 3*p, 5*g = -2*p + 8. Is s less than p?
True
Let p(m) = -m - 2. Let o be p(-2). Let s be 0 - (432/(-66))/(-6). Is s <= o?
True
Suppose 4*p = p + 1134. Let k be (-7788)/p + 2/(-7). Let b = k + 62/3. Which is greater: b or 0?
0
Let i(m) = -m**3 + 3*m**2 + 5*m - 1. Let w be i(4). Let j(y) = -y**3 + 6*y**2 + 5. Let l be j(6). Let r = l - w. Is r less than or equal to 2?
True
Let p be (-1)/(-49)*(-11698)/(-18). Let c = -119/9 + p. Is 0 < c?
True
Let c(l) = l**3 - 5 + 5*l - 4*l + 7*l**2 - 2*l. Let n be c(-7). Suppose -20 = -5*o - r - 0*r, -4*o = -n*r - 2. Is o less than 2?
False
Suppose 3*k = 3*i + 4*k + 3, -2*i = 2*k + 6. Which is smaller: i or -10/11?
-10/11
Suppose -3*h - 43 = 119. Let r be 12/h + 56/9. Which is smaller: r or 5?
5
Let l(a) be the third derivative of a**6/120 + 3*a**5/20 - a**4/24 - 5*a**3/6 + 5*a**2. Let d be l(-9). Is 5 < d?
False
Let n be (-5)/(-10)*20/(-55). Is n at least as big as 7/3?
False
Let s = 1/8 + 1/8. Which is smaller: -1 or s?
-1
Let q = -1/99 - 391/495. Is q smaller than -2/17?
True
Let z be (4 - 17/4)/((-18)/(-64)). Suppose 3*k - 8 + 2 = 3*c, -k - 10 = 5*c. Which is greater: z or c?
z
Let h(n) = 6*n**3 - 4*n**2 + 6*n + 6. Let k(g) = -5*g**3 + 3*g**2 - 5*g - 5. Let q(r) = -4*h(r) - 5*k(r). Let w be q(0). Suppose -s = -0*s + w. Is s at most -1?
True
Let i be (-8)/30*-3*5/358. Is i greater than or equal to -1?
True
Let b = 0.4 - 0.32. Let p = -66.08 + 62. Let x = p + b. Which is smaller: 1/2 or x?
x
Suppose 0*m - 6 = m - 2*i, 0 = -4*m - i + 12. Suppose -m*n - 6 = -5*n. Suppose -y = -n*y. Is y at least as big as 2/7?
False
Let g be 0/(-1) + 42/29. Let t = g + -656/493. Let f = 12 + -13. Is f > t?
False
Let n(q) = q - 6. Let i be n(6). Is 9/8 at least as big as i?
True
Let g = 64 - 63. Which is bigger: g or 3/121?
g
Let p(h) be the first derivative of h**2/2 - 2. Let s be p(1). Suppose 3*c = 4*c + s. Are c and 0 equal?
False
Let b = 0.18 - 0.11. Let r = b - -0.13. Which is smaller: -5 or r?
-5
Suppose 0 = -0*u - 5*u - 75. Let h = u + 33. Let y be (51/h - 3)*2. Is 0 bigger than y?
True
Let l = 0.1 - 0.1. Let p = -12.6 - -8.6. Are p and l non-equal?
True
Suppose 0 = 3*z - 2 + 5. Let a be 0*(-3)/6*z. Let m = 1483/9 - 165. Is a < m?
False
Suppose x - 8 = 4*v, 0 + 4 = 2*x + 4*v. Suppose 2*y - 5*d = 4, -5*d = -2*y + 4*y - x. Are 4 and y equal?
False
Let t be 15/(-21)*-1*-2. Which is greater: t or 1/4?
1/4
Let y = 0.8 + -0.61. Let p = 8.81 + y. Is p > -1?
True
Let u = 209 - 3134/15. Which is smaller: u or -1?
-1
Let z = 18 - 17. Which is greater: 2/5 or z?
z
Let j(g) = g**2 - 3*g - 3. Suppose h + 0*d + 4*d + 8 = 0, 0 = -3*h + 2*d + 18. Let f be j(h). Let u = 241 - 4098/17. Is u at most f?
True
Let p = -0.7 + 0.1. Let w = -2.6 - p. Let z = w - -2.2. Is z >= 0.2?
True
Let f(d) = -4*d - 2. Let i be f(-2). Suppose -4*s = -0*s + 12, 2*s = m - i. Suppose -2*o = o - 3. Which is greater: m or o?
o
Suppose -a + 19 - 33 = 0. Which is bigger: 0.1 or a?
0.1
Let q = 63 - 90. Is q smaller than -27?
False
Suppose -4*n = -1 - 3. Let g = 0 - -3. Let s be (-1 + 0 + 3)/g. Which is bigger: s or n?
n
Let w be (-1)/(-5)*(6 + -1). Let r be 21/(-7) + w + -1. Is -4 less than r?
True
Let s = 0.66 - 0.06. Let d = -5.6 + s. Is d > 1/3?
False
Let o = 7 - 2. Suppose 0 = -o*d - 10, 0 = -4*r + d + 23 + 11. Suppose -4*u - r = -8*u. Which is greater: u or 4?
4
Suppose 4*o = 8 - 32. Let i = o + 5. Which is smaller: i or -3?
-3
Let l = -2573 + 789909/307. Is l not equal to -1?
True
Let o = 512 + -11267/22. Is -1 not equal to o?
True
Let a = 683/9 + -76. Which is greater: a or 0?
0
Let l be (-16)/(-45) + (-1)/(-5). Is -1 at least l?
False
Suppose 0 = -11*w + 5 - 5. Let o = 238961/2583 + 127/369. Let h = o - 93. Is h > w?
False
Let z(u) = 3*u**3 + 2*u + 2. Let d = 5 + -6. Let k be z(d). Which is smaller: 1/3 or k?
k
Suppose -s + 2*s - 47 = 0. Let a = s - 233/5. Which is greater: a or 2?
2
Suppose 5*b - 3*b = 0. Let n(c) = -c**3 + 3*c**2 + 6*c - 6. Let u be n(6). Let m be (u/21)/2 + 3. Is m at most b?
False
Let k = -17.67 + -0.33. Which is greater: 2 or k?
2
Let f = -7/40 - -3/10. Let x = -1.3 - -2. Let g = x - -0.3. Which is bigger: g or f?
g
Let y be 1 + (-14)/(-8) - 1. Let s = 3 + -1. Let n = s - y. Is n > -0.1?
True
Let c = 0.5 + -0.6. Let p = 0.1 - 0.3. Let g = -0.1 - p. Is g greater than or equal to c?
True
Let h be (-2)/(-4) + 2/(-4). Suppose -a + 1 + 2 = h. Suppose r + a = -5. Are r and -8 equal?
True
Let v(q) = -q + 2. Suppose 3*l - 10 = -2*l. Suppose 4*z - 2 = 3*k, 2*k - 1 = -l*z + 7. Let o be v(z). Is -3/2 less than or equal to o?
True
Let i = 5762/765 - 68/9. Which is smaller: -1 or i?
-1
Let a(k) = -k - 3. Let b be a(-7). Let l = b + -1. Let w be l/(-6)*(-1 + -3). Which is greater: w or 3/2?
w
Let l = 12 + 6. Is 18 greater than or equal to l?
True
Let g(m) = m**3 + 5*m**2 + 2*m + 7. Let k be g(-5). Which is smaller: k or -4?
-4
Let b be (-3)/(-9) - 6/(-9). Let w be (-5 - -3) + 3/b. Let i be (1 - 1/2)*0. Which is bigger: w or i?
w
Let o be (-4)/25*(-80)/(-608). Is o equal to -2?
False
Suppose 5*t - 2 = 28. Let d = t - 4. Let c be 2/6 + 2/(-3). Is d at most c?
False
Let s(n) = -2*n + 4. Let u be s(5). Let f(v) be the second derivative of -v**5/20 - 5*v**4/12 + v**3 + v**2/2 + v. Let g be f(u). Which is smaller: g or 0?
0
Let b = -51 + 51.1. Is 5 at least b?
True
Let f(d) = 2*d - 9. Let m be f(7). Let h(o) = -3*o + 5*o + 3 - m - o. Let c be h(2). Which is smaller: c or 2/31?
c
Let m be 2 + 108/(-3) - 1. Let p = m - -51. Let x = -31/2 + p. Is x at most -1/3?
False
Let l be 2*(15/51)/(-5). Which is bigger: l or 1?
1
Suppose 4*p + 3 = 7. Which is smaller: p or -4/13?
-4/13
Let n(f) = -f**3 - 2*f**2 + 3*f + 2. Let g(j) be the first derivative of j**4/4 + 2*j**3/3 + j**2 + j + 3. Let o be g(-2). Let i be n(o). Is i greater than 2?
False
