-2 = 2*f - 3*f + c, -3*f - 2*c + 31 = 0. Let x be 2/f - 87/21 - 0. Which is greater: x or -3?
-3
Let h(z) = 2*z**2 - z - 5. Let q be h(-5). Let k be 51 + ((2 - -2)/12 - 1/3). Is q <= k?
True
Let h(x) = -12*x**3 - x**2 - x. Let f be h(-1). Let u be 6*105/(-126)*18/(-10). Is u greater than or equal to f?
False
Suppose -o = o. Suppose 3*g + o*g = 0. Let c = 1.11 - 1.1. Which is greater: c or g?
c
Let z = 8 + -6. Suppose -2*t + l + z*l = -16, l = 3*t - 38. Let f = 15 - t. Which is greater: f or 2/21?
f
Let y = 21 + -23.3. Let d = -1.144 + 3.644. Let m = y + d. Which is bigger: -15 or m?
m
Let p be (2 + (-3 - -1))/(-1). Suppose p*b + 3*o + 77 = -b, -2*o + 82 = -b. Does -79 = b?
False
Let i be (22 + -23 - (0 + 0))*1. Let w be (-5)/(-35) - 111/826. Do i and w have the same value?
False
Let b = -121811/72 - -1692. Is 0 at most b?
True
Let w = 0.015 + 1.985. Which is smaller: w or -91?
-91
Let k(o) = 2*o + 10. Let c be k(0). Suppose c*t - 8 = 6*t. Which is smaller: 5/6 or t?
5/6
Suppose 3*f + 6 = 3*h, -3*f - 2*h = -0*f + 21. Suppose -3*b + 0*b - 18 = 0. Are f and b unequal?
True
Let g = -0.9562 + -0.0438. Which is smaller: g or 56?
g
Let t = -525 + 99. Is -426 > t?
False
Let f = -1 - 15/2. Let h(j) = -47*j - 68. Let a be h(-6). Let y = 204 - a. Which is smaller: f or y?
y
Let f(u) = -u**3 + 20*u**2 - 63*u - 4. Let i be f(16). Which is smaller: 5 or i?
5
Let r(j) = 2*j**2 + 2*j - 7. Let c be r(2). Suppose -3*x + 116 = -5*x + c*m, -104 = 2*x + m. Which is smaller: -54 or x?
-54
Let t(b) = b**3 + b**2. Let z be t(1). Suppose -17 = z*o - 1. Let p(c) = -c**2 - 6*c + 16. Let l be p(o). Which is bigger: l or 1/7?
1/7
Suppose -39*f = -42*f - 2*n + 5, -2*n + 2 = 0. Does -1/736 = f?
False
Let j = -21 - -1. Let f be j/90 + 908/3. Let s = -303 + f. Which is greater: s or -1?
s
Let t be (-7)/9*66/(-77). Which is smaller: t or 6?
t
Let m = -229 - -212. Let u be (34/4)/(1/(-2)). Is u equal to m?
True
Suppose -12 = 2*o - 2*j, -5*j + 15 = -2*j. Is -12.9 < o?
True
Suppose -32*d - 1983 = -4991. Which is smaller: 93 or d?
93
Let q = 428/35 + -59/5. Let r = 33 - 0. Let g = -35 + r. Which is smaller: g or q?
g
Let z be (1/(-2))/(1/8). Let s = -2042 - -2041. Which is smaller: s or z?
z
Let p = -24 - -24. Suppose -q = -p*q. Let j = 2.9 + 0.1. Is q not equal to j?
True
Suppose 14*u = 22 - 8. Which is bigger: 4/27 or u?
u
Suppose -5*o = 0, 0*o = -5*r + o - 35. Let s(n) be the third derivative of -n**5/60 - 3*n**4/8 - 5*n**3/3 - 9*n**2. Let i be s(r). Is i equal to 3?
False
Let x = -110 - 29. Which is smaller: -140 or x?
-140
Let r = 14.27 - 0.27. Let i = -12 + r. Which is smaller: -7 or i?
-7
Let c = 62 - 56. Let w be 1/(c/2 + 312/(-105)). Is 35 equal to w?
True
Let c(k) = -k**3 + 18*k**2 - 18*k + 56. Let h be c(17). Is -3 greater than or equal to h?
False
Let s = -12697/11 - -1159. Which is smaller: s or 5?
s
Let r be (-6 + 7)/((-29)/4). Let p = -3 - -2.9. Which is smaller: p or r?
r
Suppose -9*l - 657 = -216. Are l and -193/4 unequal?
True
Let i = -1308 - -1307.88. Let n = -4 - -1. Let f = n + 4. Is i != f?
True
Let a = 1 + -16.8. Let f = a - -15.6. Is f equal to -22?
False
Let b(m) = m**3 + 6*m**2 - 3*m - 5. Suppose -q + 3 = 2*q, 0 = -u + 2*q - 6. Let k be b(u). Which is smaller: 1 or k?
1
Suppose 5*f - 23 = -128. Suppose 28*u - 2*j = 25*u - 63, -21 = u - 5*j. Is u bigger than f?
False
Let d(l) = -2*l - 24. Let x be d(-11). Let t be 10/(-18)*31934/35. Let q = t - -506. Which is greater: q or x?
q
Let k be (30/20 + -1)*(0 + -34). Is k at most as big as -196/11?
False
Let f = 57 + -109/2. Let l = -9 - -5. Let p(i) = -i**3 - 2*i**2 + 9*i + 7. Let n be p(l). Is n at least f?
True
Suppose 0*n - 2 = n. Let m be -1 - n - (-11 - -5). Let p be m/(-12) - (-2)/3. Which is bigger: p or 0?
p
Let o = -21 - -15. Let s = o + 8. Suppose s = z + i, -6*z + 2*z + 8 = -4*i. Is z at most 2?
True
Let z = -8/23 - -9/92. Do -1 and z have the same value?
False
Let g be (-1 + 1/2)*0. Let k be (-6)/(-5) - 3/15 - g. Are -1/32 and k non-equal?
True
Let r = -42 + 39. Is r bigger than -35/9?
True
Let x(v) = -2*v - 22. Let l be x(-12). Suppose 3*p + l = -5*w, -22 = -w - 2*p + 7*p. Which is bigger: 7 or w?
7
Let m be 69/(-23)*2*1. Let x be m + 4 + 2 - 0. Which is smaller: x or 2/7?
x
Let y(o) = 6*o. Let b be y(1). Let u = b + -23. Do u and -17 have different values?
False
Let r be (-66)/(-15) - 6/(-10). Suppose -r*d - 102 + 327 = 0. Suppose -15 = -3*n + 2*x + 12, 5*x = 5*n - d. Is n at most 8?
False
Let m = 692 - 691. Which is bigger: m or -2/5389?
m
Suppose 4*v - 4*p + 12 = -140, 4*p = 8. Let t be (-3)/(-4) + 1179/v. Let q = 26 + t. Which is bigger: -5 or q?
-5
Let a be -3 - (-4 - -3) - 13. Let x = -15 - a. Is -1 less than or equal to x?
True
Let r(q) = -6*q**2 + 119*q + 21. Let h be r(20). Is h at most as big as 14?
True
Let c = 684 + -682. Is c <= 27?
True
Suppose c - 3*f = -6, -2*c - 26 = -3*c - 5*f. Suppose -4*t = -7*t + 12. Suppose 0 = y - t*x - 25, -y + 0*y + 10 = -x. Do y and c have the same value?
False
Let w = -14 - 76. Let r be 4/(-18) + w/324. Let a = 3.7 + -0.7. Is r > a?
False
Let p = 4162 - 507767/122. Which is smaller: 0.3 or p?
p
Suppose 0 = -3*w - 4*l + 838, 3*w + 2*w = 2*l + 1440. Is 286 not equal to w?
False
Let d = 4 - 3. Let c = 10/2293 + -2463/38981. Do c and d have the same value?
False
Suppose -5*z = 54*m - 56*m + 637, -2*z = -5*m + 1624. Are m and 0.2 equal?
False
Let k(u) = 6*u**2 - 5. Let w be k(-4). Let h be (-63)/w - -1*1. Which is smaller: -1 or h?
-1
Let a(u) = -4*u - 19. Let w be a(-6). Suppose 0 = -5*x - 0*x - w. Does -2/49 = x?
False
Let k = -141 + 195. Are 54 and k nonequal?
False
Let p(d) = -12*d**2 - 4*d - 5. Let i be p(-2). Let h be 16/(-9) + 10/i. Let q be (4/(-68))/((-2)/h). Which is smaller: q or 1?
q
Suppose 9*w = 4*w + 15. Suppose -4*i + q - 976 = 0, 0*q - 4*q = 0. Let d = 740/3 + i. Which is bigger: d or w?
w
Let x be 6/4*(-20)/1. Let k be 3/3 + 26/x. Let u be ((-3)/6)/((-2)/(-4)). Which is smaller: u or k?
u
Let w be 1/(-2) - (-4 + 1/2). Let i(l) = -l**2 - 2*l + 2. Let v be i(w). Which is smaller: v or -41/3?
-41/3
Let b = 20.2 + -5.9. Let x = b - -2.7. Are x and 0 equal?
False
Let b(w) = 31*w**3 - w**2 - 2*w + 2. Let a be b(1). Is a not equal to 29?
True
Let m be 75/2*8/6. Are 49 and m equal?
False
Suppose -6*i + 3 = 2*t - 9*i, 0 = t - 3*i + 6. Is -50 < t?
True
Let t be 15/((-3)/2 - 0). Suppose 0 = 20*o - 102*o - 656. Is t at most o?
True
Let f = -1.99 - 0.01. Let t = 2.75 + -2.58. Which is greater: f or t?
t
Let u = -538 + 1630/3. Let t be 108/(-1 + 0) - (1 + 3). Let b = t - -116. Is u <= b?
False
Let z = 36821/7 - 5318. Which is greater: -57 or z?
-57
Let r(j) be the first derivative of -j**4/4 - 4*j**3/3 + 3*j**2 - 3*j + 4. Let l be r(-5). Let p be 0 + -2 + l + 0. Is -10 >= p?
True
Let r = 31.713 - 0.113. Let m = r - 32. Is m >= -4/3?
True
Let b be (-11)/2 - (-47 + 42). Is b != 96?
True
Let n be (5 - 158/(-3))/((-2)/24). Which is bigger: -693 or n?
n
Let f(p) = p - 1. Let z be f(3). Suppose z*m = 6*m. Is m > -14?
True
Suppose u - 7 - 9 = 0. Let m be u/(-10) + 2 - 4. Are m and -5 nonequal?
True
Let j be 1/(2/6) + -45 + 46. Suppose 2 = -m + j. Which is greater: 11 or m?
11
Let j = -25.9 + 25.89. Is -0.07 equal to j?
False
Let s = -60 - -34. Let u = -25 - s. Suppose u - 26 = 5*f. Is f at most as big as -4?
True
Let q be 6/(-15)*(-5)/7. Let b be 0*(-4 - -2)/2 + 1. Is q < b?
True
Let o be (-7)/(14/(-12))*(-24)/(-18). Let s be (-2)/(-15)*(-10)/o. Is s less than or equal to -15?
False
Let q = 497 + -496.7. Let u = -0.2 + -0.3. Is u >= q?
False
Suppose 0 = 2*z - 4*u - 2, -2*u = 4*z + 62 - 66. Is 10/23 at least as big as z?
False
Suppose -39 = -16*m - 55. Which is smaller: m or 1/189?
m
Let p = -148.2 + 148. Which is smaller: p or 14?
p
Let n(g) be the first derivative of 4*g**3/3 - g**2 - 7*g - 17. Let p be n(-2). Is p >= 12?
True
Let y = -132 + 797/6. Which is bigger: 0.35 or y?
y
Let i = -6085/93 - -196/3. Which is bigger: 0 or i?
0
Let s be (2/586)/(2/24*-12). Which is smaller: s or 0.1?
s
Let u = -49.8 - -50. Which is smaller: u or -22?
-22
Let o = -45.5 - -24.2. Let n = o + 21. Is n less than 4?
True
Let f be -2 - (3 + -20 + 3). Let x be (5 + f/(-4))/(-2) - 9. Does x = -10?
True
Let o = 458 - 484. Is o smaller than -9?
True
Let s be (5 + -3)*(-4)/4 - 55. Wh