/2. Are 1/3 and f nonequal?
True
Suppose -19 - 1 = -5*s. Suppose s*c - 3*j + j = -18, 5*j = -4*c + 3. Let i be (15/(-6))/(2/4) + 2. Is i > c?
False
Let d = 21.02 - 0.02. Let k = 26 - d. Which is greater: k or 1?
k
Let u be 6/(-21) - 30/(-7). Suppose 0 = g + 4*g + u*y + 5, 4*g - 5*y = -4. Which is smaller: 4/9 or g?
g
Let c = -3.97 + -0.03. Let w = -1/37 + 79/185. Which is smaller: c or w?
c
Suppose c - 6*c + 10 = 0. Suppose o - c = -1. Suppose -2*m + m + o = -q, q - 3*m = -3. Does q = 0?
True
Let k = -350/11 + 32. Which is greater: k or -3?
k
Let i = 70.2 + -64. Let l = 6 - i. Let k = 3/5 - 14/15. Is k less than l?
True
Suppose 6*q - 5*q = 10. Is q >= 9?
True
Let i = -4/11 - -1/33. Suppose 4*f + 3 + 1 = 0. Let l be f/3 + 2/(-3). Which is smaller: l or i?
l
Let c = 1.99 + -2. Let w = c - -0.11. Suppose 0 = -6*x + x. Which is greater: x or w?
w
Suppose -2*o - 1 = 5*w, -2*o - 5 = 1. Is 19 greater than w?
True
Let y = -1959/377 + 68/13. Which is smaller: y or 0?
0
Let l = -62/7 - -65/7. Which is smaller: l or 0?
0
Let o = -301/45 + 71/9. Which is bigger: -0.3 or o?
o
Let u(s) = -s**2 - 3*s - 2. Let q be u(-7). Let h be (-3)/q + (-2)/(-5). Is 0.1 != h?
True
Suppose 11*w - 15*w = 0. Let f = 487/42 + -80/7. Which is bigger: w or f?
f
Let x be (6/(-4))/((-6)/1). Let b = 15.4 + -16.4. Are b and x non-equal?
True
Let p = 0.54 - 2.84. Let w = p - 6.7. Let c = w + 8.9. Which is smaller: c or -1?
-1
Suppose -b - 59 = -14. Let l = b - -271/6. Which is smaller: -2 or l?
-2
Let h = -10 + 9. Let d be (6 + -1)*2/35. Which is smaller: d or h?
h
Suppose 22*o = 17*o - 185. Is o at most -38?
False
Let j = -2 + 5. Suppose j*h - 2*h - 2 = 0. Is h at least 1?
True
Let m = -6 - -9. Let q = m - 0. Let d = -0.4 + 0.3. Which is greater: q or d?
q
Let f = -80 - -236/3. Is 0 >= f?
True
Let j = -2.3 + 2.3. Is j less than or equal to -16?
False
Let z be 1 - (2*46)/(-4). Suppose r - 3*d = 6*r + z, -3*d = 9. Which is bigger: r or -2?
-2
Let h = -138 + 123. Is h less than -46/3?
False
Suppose -2*k - 1 = x - 0, 0 = 4*x + 2*k - 14. Is x at least as big as 5?
True
Let z = -6 + 9. Let q be (7/(-21))/((-1)/z). Let y = 153/2 + -1065/14. Which is smaller: y or q?
y
Suppose 40 = -3*v - 2*v. Suppose 3*x - 2*y = -25, 5*y - 2*y + 29 = -5*x. Which is smaller: x or v?
v
Let m(z) be the third derivative of z**4/12 - z**3/2 + z**2. Let b be m(2). Do b and 0 have different values?
True
Suppose 2*g + 8 = 4*g, 2*a - 22 = -5*g. Which is smaller: a or 2/47?
2/47
Suppose -7 = 11*r - 40. Which is bigger: r or -4?
r
Let o(m) = 2*m**2 + 46*m - 12. Let u be o(-23). Which is smaller: u or -13?
-13
Suppose -4*u = -2*u + 8. Let q(o) = -o**2 + 12*o - 2. Let f be q(11). Suppose 3*x + 3 = -f. Is u <= x?
True
Let o be 2*3/6 - 1. Suppose -2*k = t - o*t + 2, -4*k = t. Is k less than 0?
False
Let m = -12 + 13. Are m and -1/8 equal?
False
Let g = 9/187 + -6964/935. Let w = g + 301/40. Is -1 < w?
True
Suppose 9 = 50*w - 49*w. Do w and 7 have different values?
True
Let s = -52 + 41.2. Let z = s - -11. Which is smaller: z or 1?
z
Let m(s) be the second derivative of -s**3/6 - 3*s**2 + 2*s. Let u be m(-5). Let n be (u/7)/((-1)/2). Does n = -0.1?
False
Let q be -10*9/(-180)*2/4. Let l = 3.1 - 3. Is l <= q?
True
Let j(b) = -4*b - 1. Let q be j(-1). Suppose -2 - 1 = -m - q*t, -t = 3*m - 1. Let a = -59/21 + 22/7. Is a bigger than m?
True
Let s = 0.061 + 0.239. Which is greater: s or 11?
11
Let r = 795 + -3171/4. Let j be 16/7 + 2/(-7). Which is greater: j or r?
r
Let w = -20 - -20. Which is greater: 0.6 or w?
0.6
Let o = 17 + -6. Suppose -4*y - o - 1 = 0. Do -5/2 and y have the same value?
False
Let n = 3 + 13. Let v be (-2)/(-2)*(-4)/n. Are -2 and v equal?
False
Let h(q) = -q**2 + 6*q + 8. Let d be h(7). Let b = -2/27131 + 11476423/135655. Let j = -84 + b. Is j greater than d?
False
Let u = -44/59 + -1078/295. Is u at most -4?
True
Let g = -17 - -88/5. Is -0.2 at least g?
False
Let b be 6/10 - (-52)/(-100). Which is bigger: 1 or b?
1
Let o(p) = 13*p**2 + 2*p + 1. Let c be o(-1). Let w be (-1 - -11)/(c/(-6)). Let t(f) = f**2 + 4*f - 5. Let n be t(w). Which is bigger: n or -1/4?
n
Let z be ((-1)/(-16))/((-4)/24). Let b = -5 + 3. Let s be 1*(-1)/(1 + b). Which is greater: s or z?
s
Let r = 3 + -3.1. Suppose 0 = -3*m - 2*k - 2, k + 18 = m - 3*k. Are r and m unequal?
True
Let h be (3/(-9))/((-8)/66). Let j = h - 37/12. Which is smaller: -1 or j?
-1
Let w = 32 + -21. Let l be (-9)/w - (-2)/(-11). Let v = 8.1 + -1.1. Which is greater: l or v?
v
Suppose 3*m - 5*k + 80 = 0, 20 = -3*m - 3*k - 52. Let l = m + 24. Let a be (2/(-1))/(18/4). Is a less than l?
False
Let b be ((-5)/25)/((-2)/(-15)). Which is smaller: b or 2/3?
b
Let a(l) = -3*l - 25. Let u be a(-8). Suppose g - 3*x = -4, 1 = 3*g + 2*x + 2*x. Is g smaller than u?
False
Let r be (125/(-10))/5*1. Let w = 2 + -5. Is r greater than or equal to w?
True
Suppose -4*q + 9*q + 5 = 0. Is -4/7 greater than q?
True
Let s(y) = -2*y**3 - 2*y**2 - 1. Let q be s(-2). Let j(i) = -i + 10. Let t be j(q). Suppose 0 = -b - 2 + t. Is -2/5 greater than or equal to b?
False
Let p(h) = -h**2 + h + 1. Let o be p(4). Which is smaller: o or -2/3?
o
Let a be (6/42)/(16/28). Let c(t) = t**2 + 5*t + 6. Let i be c(-4). Which is bigger: a or i?
i
Let r = -3475 + 86893/25. Let o = r + -298/275. Let v = o - -9/55. Is -1 >= v?
False
Let l = 0.3 + -1. Let r = -0.7 - -1. Let k = r - l. Do k and -1/4 have the same value?
False
Let v = 12 - 18. Let i = -5 - v. Which is bigger: -2/11 or i?
i
Let r = 24 + -35. Let h = -11.5 - r. Which is smaller: h or 0.2?
h
Suppose 2*k - 4*i = k - 19, -4*k - 21 = -5*i. Are -2/23 and k nonequal?
True
Let h be 0/1 + 2/(-278). Let x be ((-14)/(-1112))/((-2)/118). Let t = h + x. Is t smaller than -1?
False
Let p = 11 + 1. Let m = 20 - 7. Is m > p?
True
Let z(t) = t**2 + 19*t - 17. Let p be z(-20). Let x = 3 + 1. Let d be (1 - 1) + 1/x. Which is bigger: p or d?
p
Suppose 7 = u - m, 31 = u + 2*u - 5*m. Suppose -4*h + 2 = -u. Let i = -1 + 1. Is h less than i?
False
Let a(f) = -f**2 + 6*f + 1. Let m be a(8). Let h = m - -12. Which is greater: h or 0?
0
Let v = 13 - 21. Let y be v/(-20)*5/(-6). Which is smaller: 0.1 or y?
y
Let b = 1.4 + 2.2. Let d = b + -3. Let h = d - -0.4. Are 1 and h non-equal?
False
Let v = 1.5 - -4.5. Let g = v + -7. Is 0 less than g?
False
Let z = -4 + 7. Suppose -z*h = 5*w - 13, 3*w + 5*h + 8 - 3 = 0. Suppose 3*r = w*r. Is 3/7 != r?
True
Let w(t) = -t**2 + 5*t. Let x = -1 - -5. Let p be w(x). Suppose 3*n + 7 = -4*i, -i - p*n = i + 6. Which is bigger: i or -2/7?
-2/7
Suppose 0*c - 3*c + 27 = 3*h, 2*h = 10. Which is smaller: -4 or c?
-4
Let z be 2/(-3) + 10/(-6). Let m be 4/34 + 95/(-85). Which is bigger: m or z?
m
Let q = -25 - -14.6. Let o = q + 8. Let n = o + 0.4. Is n < -1/2?
True
Suppose 3*s + 17 = -5*c - 3, 0 = -4*s - 20. Which is bigger: -3/5 or c?
-3/5
Let n(d) = -d + 13. Let q be n(9). Suppose -5*t - q*s - 14 = -0*t, -8 = 2*t + 4*s. Do t and 1 have the same value?
False
Suppose 92 = 2*b - b. Let s be (b/(-50))/(4/60). Let r = s + 28. Which is bigger: 0 or r?
r
Let t(w) be the third derivative of -w**4/24 - 5*w**3/3 + w**2. Let j be t(-10). Is -3/4 at most j?
True
Suppose -t - 3*i + 1 = 0, 3*t - 1 = -2*i + 2. Let h be ((-3)/(-2))/(5/2). Which is bigger: h or t?
t
Let o(u) = u - 22. Let l be o(15). Let f = -4 + -4. Which is bigger: l or f?
l
Let w = -1.79 - -2.79. Is w less than 0.03?
False
Let y(j) = 2*j + 13. Let p(x) = 2*x + 13. Let z(c) = 6*p(c) - 5*y(c). Let g be z(-9). Let i = g - -3. Which is smaller: -3 or i?
-3
Suppose -z + 1 + 0 = 0. Let h be (-12 + (-2)/z)/(-2). Suppose h*y = 3*y + 4. Which is smaller: y or -0.2?
-0.2
Suppose 0 = -3*f + 5*f - 4. Let m = 8 + -9. Let c be (f/(-4))/(m/(-2)). Which is smaller: -2/7 or c?
c
Let l be 122/(-42) + 1 - -2. Let c = -35 - -35. Which is smaller: l or c?
c
Let t(g) = 0*g**2 + 3*g**2 - 4*g**2 + 5. Let k be t(0). Suppose 0 = k*c - c. Is 2/5 at least c?
True
Let g be (1/3)/(2/36). Is -1 >= g?
False
Let u = 27 + -28. Is 1/2 smaller than u?
False
Let z = -89/138 - 1/46. Is 2 greater than z?
True
Let v be 3/(-4)*(-2)/(-6). Suppose u + 4*k = 5, 0 = 2*u + 4*k - 6 - 0. Is v equal to u?
False
Suppose 5*s - w - 2 = 0, -2*s - 2*w - w - 6 = 0. Suppose s = -4*c + c. Let k be 147/(-189) - 1*-1. Does k = c?
False
Suppos