f. Let n be 18/4*(-20)/3. Let o be f*(-3)/n*2. Is o equal to 2/5?
False
Let i = 51 - 36. Let x be (2 - 33/i)*-2. Do -0.3 and x have the same value?
False
Suppose -x + 24 = x + u, -3*x + 54 = -3*u. Suppose x = 4*y + 2. Which is greater: 0.2 or y?
y
Let z = -5 + 19. Let n be -1 - -2 - 7/z. Are n and 0 equal?
False
Suppose 3*y - y = 0. Which is smaller: 1/17 or y?
y
Let n = 14 - 11. Suppose -4*k - 4*p + 4 = -n*p, -p + 5 = 5*k. Let w be (-2 + 4 + -2)/(-2). Is w bigger than k?
False
Let m = -1 + 1. Let s = -0.1 - m. Let h be (2/(-35))/(1/(-5)). Which is smaller: h or s?
s
Suppose 0*c = 5*c. Suppose 5*j - 2*j = c. Which is smaller: j or 1/7?
j
Let a(f) = f**3 - 7*f**2 - 8*f. Let j be a(8). Which is bigger: j or -1/12?
j
Let z = 20.92 + -20. Let s = -0.08 - z. Which is greater: -1/4 or s?
-1/4
Let d be (-73)/(1 + 22/(-12)). Let m = d + -88. Is m greater than 1?
False
Let q(a) = a**3 - a**2 + a + 15. Let x be q(0). Suppose -2*i - i - x = 0. Let j be (-1 - i/3) + -1. Which is smaller: 0 or j?
j
Let g = 7 + -11. Let u = 3.8 + g. Let s = 0.1 + u. Is 1/4 less than or equal to s?
False
Let l(g) = -g**2 - 14*g - 14. Let z be l(-13). Which is bigger: 1/18 or z?
1/18
Let u = -220 - -221.03. Let p = 0.03 - u. Let r = -0.8 - p. Is r != 1?
True
Let k = 8 - 9. Is 23 greater than k?
True
Let y be 18/16*((-32)/(-2))/4. Let x be (1/(-1))/((-4)/16). Which is bigger: x or y?
y
Let l(a) = a**2 - 7*a + 7. Let n be l(4). Is -3 greater than n?
True
Let m(l) = -l**3 - 6*l**2 - 6*l - 3. Let g be m(-5). Suppose 3*x = -g*x + 5. Is x <= 2?
True
Let u = 138 - 56. Let c = u - 655/8. Which is bigger: 0 or c?
c
Let q be (-412)/(-264) - 10/12. Which is smaller: q or 2?
q
Suppose -h + 5*h = 8. Let f be (-33)/(-3) - (-3 - 0). Suppose -r - 1 = h*k, f = 3*k - 4*r - 1. Which is bigger: k or -2?
k
Let w be (-1)/3 - (-4)/12. Suppose u = 2*g - 1, -g + w*u - 5*u + 6 = 0. Do 1 and g have different values?
False
Suppose 2*r + 2*m = -84, 0 = m - 3. Which is greater: -46 or r?
r
Let s(z) = 5*z. Let d be s(1). Is 3 <= d?
True
Let l = -140 - -81. Is l greater than or equal to -59?
True
Let t = 108 + -111. Which is smaller: t or -9/5?
t
Suppose -2*d - 3 - 1 = 0. Let l be (1 - (d - -4))*0. Is 3/5 greater than or equal to l?
True
Let k be 3 - 6 - -4 - 0. Which is bigger: -4/23 or k?
k
Suppose -4*j = -2*j + 54. Let p = 53/2 + j. Which is smaller: 2/19 or p?
p
Suppose r - 5*w + 27 = 0, -3*r - r + 2*w - 18 = 0. Let s be 2 + ((-3)/1 - r). Let i = -20/33 - -3/11. Which is smaller: s or i?
i
Let n be (9/66)/(264/32). Which is smaller: n or 1?
n
Suppose -c + 6*c = 0. Suppose 0 = -2*r + 1 + 1. Which is smaller: r or c?
c
Let u = 1 - 0.98. Let t = -0.02 + u. Is 0 at most as big as t?
True
Let h = 0 - 6. Which is smaller: -17/3 or h?
h
Suppose 5*y + 5 = -6*d + d, 2*d + 6 = -4*y. Suppose 3*n = 5*k, d = -n + k + 3. Suppose 5*r - 21 = 2*s, r = -n*s + 2*r + 5. Is s equal to 3?
False
Let f(g) = 8*g - 16. Let k be f(6). Which is smaller: k or 33?
k
Let w(u) = -u**3 + 12*u**2 - 13*u - 8. Let r be w(11). Let i be (r/4)/((-2)/(-12)). Let d be (-10)/i + 4/(-18). Is 0 greater than or equal to d?
True
Let k be -14 + (-5)/((-10)/6). Suppose 5*c = -p - 18 - 29, 5*p + 35 = -5*c. Are c and k non-equal?
True
Let o = -10 + 7. Let f be (0/(o - -5))/(-2). Is 2 less than or equal to f?
False
Let v = -2 - -2. Let q = 181/246 - -4/41. Which is smaller: q or v?
v
Let j = 0 - 1. Let s be (j + -1)*4/16. Let t = -9 + 9.02. Is t at most as big as s?
False
Let q = 4 + -4. Let m be 1/(-4) + 55/380. Which is bigger: m or q?
q
Let n = 194 - 194. Is n greater than -1?
True
Suppose -3*m = m + 3320. Let n = 9136/11 + m. Is n less than 2?
True
Suppose 0 = -o - 3*o. Let w = o - 2/15. Is w greater than or equal to 0?
False
Let g = 16 + -5. Let u = g - 9. Is 0.1 greater than or equal to u?
False
Let w be (15 - -3)*2/4. Let t = -10 + w. Which is smaller: t or 2/29?
t
Let l be (9/(18/(-20)))/(-2). Suppose -4 = -l*c + 4*c. Do c and 5 have different values?
True
Let x = -0.02 - -5.02. Let d = 0.74 - -0.26. Which is bigger: d or x?
x
Suppose -7*i + 3*i = -4*n - 4, -2*i = -3*n - 2. Let b be -1 + ((-1)/((-4)/(-12)) - -1). Is n at least b?
True
Let o(d) = d**2 - 4*d - 3. Let m be o(5). Let v = m + -2. Is 3 > v?
True
Let u = -392/15 - -26. Suppose -4*g - g = 0. Is g <= u?
False
Let k = 0.18 - -0.52. Let g = k + -0.4. Is g >= 1/4?
True
Suppose -3 = -6*l + 3. Which is smaller: l or 1/35?
1/35
Suppose -5 = -4*t - k, 4*t - 25 = 3*t - 5*k. Let p be -2*(t + (-5)/2). Let o = 0 + p. Is 5 at least as big as o?
True
Suppose 2*y - 4 = 3*y. Let n be 6/y*1*2. Is n greater than -1?
False
Suppose -7*k - 5 = -2*k. Let u = k - -1. Let r be 0 - u - (-8)/(-52). Is r at most -1?
False
Let q be (-1 - -3) + (-6)/2. Which is greater: q or -2/41?
-2/41
Suppose -3*p - 6 = -3*v, -p - 8 + 0 = 5*v. Let a = v - 2. Let n be 6 + a + 23/(-7). Is n at most as big as -0.2?
True
Let l(j) = j**3 - 4*j**2 - 7*j + 7. Let n be l(5). Let a be 1/(-1)*(2 + n). Which is smaller: a or -1/5?
-1/5
Let r(d) = -d**3 + 15*d**2 + 16*d. Let n be r(16). Which is bigger: n or 10/7?
10/7
Let z = -0.38 - -16.38. Let h = z + -15.9. Which is greater: h or -2/7?
h
Let c = -0.088 + 0.298. Which is greater: c or -0.4?
c
Suppose n - 2*n + 3*q = 3, 0 = -5*n - 5*q + 5. Do -5/11 and n have the same value?
False
Let m = 0.11 - 6.11. Let b = m - -6.5. Is -2/3 at least as big as b?
False
Suppose -2*v = -2*t - 5 - 1, 5*v = 2*t - 3. Let n = 7 + t. Is 2 less than or equal to n?
False
Let x = -8 + 8.68. Let m = x + -0.6. Which is smaller: m or 1?
m
Let j = 1082/9 + -120. Is j at least -1?
True
Suppose 15 = -3*r - 3*c - 0, -5 = -4*r + c. Which is greater: -4 or r?
r
Let q = 0.1 - -5.9. Let u = 7 - q. Which is bigger: 1/2 or u?
u
Let x = 18.99 + -19.1. Suppose 4*k = -0*l + 4*l, 2*l = 3*k + 1. Is x less than k?
False
Let a be (-3)/9 - 64/(-3). Let v be (-2)/12*a/14. Is 1 at least v?
True
Suppose -x = 3*r + 13, 5*x + 15 - 2 = -2*r. Let j(m) = m**2 + 2*m + 1. Let f be j(x). Suppose f = -2*k + 4, -4*o + 4*k = 24. Which is smaller: o or -1?
o
Let d = 0.9 - 1.1. Let h be (2 - (-2 + 7)) + -1. Let k be ((-7)/((-70)/h))/2. Is d > k?
False
Let c = -2/91 - -283/455. Let h be (-1 - (-1)/(-1)) + 1. Let i = 1 + h. Is i equal to c?
False
Let d = 15 - 21. Are d and -5 nonequal?
True
Let h = -7.2 - -3.2. Let r = 4 - 8. Let s = r - h. Is s at most -1?
False
Let j(k) be the second derivative of -k**5/20 - k**4/6 + 2*k**3/3 + 6*k. Let t be j(-3). Is t less than or equal to -3?
True
Let l = -2/161 + 332/805. Which is smaller: l or 0.09?
0.09
Suppose 2*f = 3*t + f - 10, 5*t + 5*f + 10 = 0. Suppose 0 = -2*v - 2*v + 12. Which is bigger: t or v?
v
Let k = 16 + -8. Let c = k + -5. Suppose -4 = -c*x - 13. Which is smaller: x or -2?
x
Let s = -30199/4 - -7707. Let l = s - 156. Is -2 > l?
False
Let m = -1.04 - 4.66. Let k = 6 + m. Let v = -0.9 - -1.9. Which is smaller: k or v?
k
Let h = 0 + 1. Let m = 1 - 1. Does m = h?
False
Let z = 51 - 13. Let f be z/30 + 4/12. Which is greater: f or 3?
3
Let g = -8 + 5. Let j be 10/3 + (-2)/g. Suppose -3 = -j*z - 11. Are -1 and z unequal?
True
Let a = 0.023 + 0.047. Which is greater: a or 0.06?
a
Let v be (2/3)/(5/(-3)). Let y = 6.92 + -7. Which is smaller: y or v?
v
Let r = 0.7 - -0.9. Let n = r - -0.4. Which is bigger: n or -1?
n
Let j = 2.96 - -0.04. Let u = j - 1. Let i = 3 - u. Are -2/5 and i equal?
False
Suppose 2*k - 3 = -k. Let u be (28/98)/((-13)/(-7)). Which is bigger: u or k?
k
Let c be (4/(-10))/(11/5). Which is greater: c or -1?
c
Let i = 13 + -14. Is i != -1/32?
True
Suppose -r + 8 - 12 = 0. Is -3 equal to r?
False
Let l be (3/610)/((-3)/(-426)). Let c = -6/61 + l. Let a = -1 + 1. Which is smaller: c or a?
a
Let b = 56 - 55. Suppose h - 6*h = 0. Which is bigger: b or h?
b
Let d(l) = -l + 4. Let t be d(6). Let f(o) = -o - 2. Let x be f(t). Is x at most as big as 2/21?
True
Let t = -0.52 - -0.39. Which is smaller: t or 0.2?
t
Let l(g) = 3*g - 3. Let n be l(3). Are 0.2 and n unequal?
True
Let d(z) = -z**2 - 2*z - 1. Let i be d(-2). Let l = -2 + -5. Let s be (-25)/14 - 2/l. Is i less than or equal to s?
False
Let u(s) = -s**3 + 6*s**2 + s - 5. Let j be u(6). Which is greater: j or 2/151?
j
Let y be 160/(-252) + (-4)/18. Let j = y + 4/7. Which is smaller: j or -1?
-1
Let x = 2.3 + -0.3. Let z = -0.06 - 1.