
Let h be (-36)/21 + -1 + 3. Let w = -3 - 1. Let j = w + 3. Is h smaller than j?
False
Let r(i) = -i**2 - 9*i + 3. Let m = -5 + 6. Let w = -10 + m. Let l be r(w). Is 2 greater than l?
False
Let b = -710/3 + 241. Let k = 11/3 - b. Is -2 smaller than k?
True
Let m = 2 + -4. Let y be 1/(-3)*3*m. Let w be -3*(5/3 - y). Is 1/2 < w?
True
Let p be (0 - -3)*(5 + -4). Let t be (-1)/(-1) - (-3 - -2). Suppose -1 = -b + t*s, -p*b + 4*s + 3 + 0 = 0. Is b greater than or equal to -3/7?
True
Let a = 14 - 16. Let x be (-15)/12 - (-2)/8. Is x at most a?
False
Let g = 0.48 + 0.02. Let v = -0.5 - g. Which is greater: v or 0.5?
0.5
Let a = 5.1 + -5. Let z = -0.1 + -0.1. Is z bigger than a?
False
Let a be ((-2)/(-9))/((-14)/21). Which is smaller: a or 1?
a
Let w(l) = -87*l - 2. Let p be w(-1). Let t = p + -423/5. Which is greater: t or 0?
t
Let b(y) = y**3 - 11*y**2 + y - 11. Let l be b(11). Which is smaller: -4/5 or l?
-4/5
Suppose -26 = 2*y - 6. Is -9 >= y?
True
Let w be -2*2 + (-153)/(-36). Is w > 21?
False
Let q(o) = 2*o**2. Let a be q(-1). Suppose 0*v - 6 = -a*v. Is v greater than or equal to 3?
True
Let f be 24/(-14)*(-2)/(-4). Suppose 0 = -4*d + a, 5*d = 3*d + a. Which is smaller: d or f?
f
Let u = 13 + -11. Is u at least as big as 1/4?
True
Let g = -256 - -2814/11. Let l = 1 - 2. Is l bigger than g?
False
Suppose 0*f + 6 = 3*f. Suppose -f*x + 4*w = -16, -4*x + 32 = w + 2*w. Which is smaller: x or 6?
6
Let t = 8 + -6. Suppose 0 - t = -f. Let v be -1*(f - -19)/3. Which is smaller: v or -6?
v
Suppose -k + 0 = -3. Let j be (k/8)/(9/(-6)). Are j and 1 non-equal?
True
Suppose -100 = 4*k - x, -4*x - 36 = 5*k + 110. Is -25 at least as big as k?
True
Let p = 0.8 - 1. Let c = -0.2 + 0.4. Let h = -0.3 + c. Is h <= p?
False
Suppose 0 = -4*j + d - 5 + 1, d - 4 = 3*j. Let y = j - -2. Suppose 11 = 3*l + 4*c, 2*l + 3*c = 5*l + 3. Is l less than or equal to y?
True
Let d(f) = -f**2 + f. Suppose 0*k = -2*k. Let t(x) = -x + 2. Let u be t(k). Let o be d(u). Are -1 and o equal?
False
Let c = 5 - 3. Suppose -c*g = 2, -23 - 5 = -5*h - 2*g. Suppose -5*d = -h*d - 4. Is -5 != d?
True
Suppose 0 = 4*m + 12, -4*m - 20 = -2*k - 0*m. Suppose 3*o - k*o - 85 = 4*b, 5*b - 3*o = -85. Let d be 2/b*(-2 + 4). Are 0 and d unequal?
True
Let r(s) = s. Let z(c) = -c**3 - 2*c**2 + 3*c + 1. Let i(p) = 3*r(p) - z(p). Let j be i(-1). Which is smaller: j or 12/11?
j
Let d = 60 - 10. Let w = d + -22. Let n be 4*(-18)/w + 2. Which is bigger: -2 or n?
n
Let u be ((-36)/3)/(-4 - -2). Which is smaller: u or 7?
u
Let n be (3/2)/((-3)/(-340)). Let q be (-4)/18 + n/(-45). Let g be 2 + q - (1 + -1). Is g greater than -1/2?
False
Suppose 5*j - 14 = -4. Let y be (-1)/((6/3)/(-4)). Is j equal to y?
True
Let w = 1 + -3. Let k = -3 - w. Let p = 0.2 + -0.3. Is p >= k?
True
Suppose 3*c = -2*d + 5, 5*d = -4*c + 11 - 2. Suppose 4*l = 3*s - 7, 3*l + l = -5*s + 1. Let u be 2 + l/23*44. Which is greater: u or c?
c
Let o = 2 + 3. Let a = 9 + -14. Let u = a + o. Do u and 1/4 have the same value?
False
Let n(x) = -x**3 + 6*x**2 - 4*x - 4. Let v be n(5). Suppose 4*b = 2*k - 9 - 7, -b - 2*k = -v. Let l = 3 + -5. Is b at most as big as l?
True
Let k = -0.03 + 0.23. Let n = 0 - k. Which is smaller: n or -1?
-1
Let y = 10.8 - 9.78. Let z = -0.02 + y. Does 3/11 = z?
False
Let h be 3/9*-1*(-76)/12. Are 2 and h nonequal?
True
Let g = -27 + 47. Let n = g - 9. Is 1 >= n?
False
Let z = -10 + 11. Let t = z + -6. Is -5 > t?
False
Let v(c) = c. Let j be v(-2). Are -3 and j non-equal?
True
Let g(s) = -s - 1. Let i be g(1). Which is bigger: -1 or i?
-1
Suppose 3*a + 2*a + 30 = 0. Let f be ((-6)/(-22))/((-9)/a). Which is smaller: f or 1?
f
Suppose -19 = -3*x + 5*r, -2*r = 4*x - 8 + 26. Suppose 12 = q - 5*q, 4*q + 12 = -3*b. Suppose b*p + 10 = -4*i - p, i + 2*p + 6 = 0. Is i at least as big as x?
True
Let g = -5 - -5. Suppose n + 4*n = 0. Is n > g?
False
Suppose s - 4*l - l - 5 = 0, 5*l - 55 = 5*s. Let c be (6/10)/((-3)/s). Suppose -c*h = 2*h. Which is smaller: -1/4 or h?
-1/4
Suppose 0 = 3*l, 2*l + 1 = -4*w + 9. Is -10/7 <= w?
True
Let b be 40/450 + 2/(-9). Let a(m) = -m**3 - 2*m**2 + 2*m - 1. Let r be a(-3). Suppose -r*o - o - 3 = 0. Is o < b?
True
Let l(b) = -b - 3. Let r be l(-3). Is 2/35 != r?
True
Let l = 27 + -24. Is 11 equal to l?
False
Suppose -4*l = -8*l. Suppose -4*w + 2*w = l. Which is smaller: w or -6?
-6
Let x = 2497 + -7369/3. Let s(o) = -o**2 - 14*o + 1. Let l be s(-10). Let i = l - x. Is i less than or equal to -3?
False
Let i be 5*(-1 + (-17)/(-15)). Let q = -98 - -108. Which is smaller: q or i?
i
Let q be -3 - 2*(-1 - 5). Let i be (-65)/(-21) + q/(-3). Which is smaller: i or 0?
0
Let q(m) = -m**2 + 5*m + 5. Let b be q(6). Let l(s) be the first derivative of -s**4/2 - s**3/3 - 2. Let h be l(b). Which is smaller: 2 or h?
h
Let n = -218 + 2394/11. Which is bigger: 0 or n?
0
Let r be 2/(1/(7/2)). Let j be 4 + (5 - 2) + -2. Is j greater than or equal to r?
False
Let c(n) = -1 - 4 - n**2 + 2 + 1 + 7*n. Suppose 0 = b + 2*b - 21. Let s be c(b). Which is smaller: s or -3/5?
s
Let c = -34 + 34. Which is smaller: c or 5?
c
Suppose -9*x = -14*x - r + 50, 4*r = -5*x + 50. Are 11 and x nonequal?
True
Suppose 12 = -t - t. Let o(p) = -p**3 - 7*p**2 + 6. Let x be o(-7). Suppose 0 = 5*f - 6*f - x. Is t at least f?
True
Suppose 0*a = -a. Is a less than -1/5?
False
Let b = -15 + 4. Let t = -9 - b. Suppose -t*h = -3 + 7. Which is smaller: h or -1?
h
Suppose -r + 5 = 2*x - 6*r, -5*r - 5 = 0. Is x greater than 2/57?
False
Let b be 1/((-10)/8 - -1). Let p = b + 6. Suppose -3*t - 6 = -6*t. Is t greater than p?
False
Let w be ((-2)/8)/(3/12). Let a = 0.1 + 0.1. Let x = -0.1 + a. Is w at least as big as x?
False
Let z = -5.6 + 3.9. Let t = 2 + z. Let x = -0.7 - t. Which is smaller: 0.1 or x?
x
Let r = -4.37 - -0.47. Let x = -0.1 + r. Let j = -3.9 - x. Which is bigger: -4 or j?
j
Let v = -11.1 + -2.9. Is -3 > v?
True
Let n = 2.06 + -0.06. Let y be (-10)/55 - ((-62)/(-22) + -2). Is y > n?
False
Let u = 115 - 111. Which is smaller: u or 21/4?
u
Let c = 136 - 133. Suppose 2*v - v - 3 = 0. Is c at most as big as v?
True
Let r = -47 - -32. Let t be r/5 + 10/3. Is 1 equal to t?
False
Let k = 2 + -4. Let p be (0/1 + k)/(-4). Let s = -60 - -60.01. Is p smaller than s?
False
Let y be (-15)/(-27) - (-2)/(-9). Let p = 10/11 + -85/33. Let q = y + p. Which is smaller: 0 or q?
q
Suppose -3*h - 11 + 8 = 0. Is h greater than -3?
True
Let f(n) = n**2 + n - 5. Let s be f(-4). Let v be s/7*(1 + 2). Is v not equal to 2?
True
Let w(o) = o**3 - 12*o**2 + o - 6. Let c be w(12). Let u be 128/(-270) + c/15. Let m = u + -7/27. Is 2/11 less than or equal to m?
False
Let z be (2 - -1)*5*(-5)/(-75). Which is smaller: -1/27 or z?
-1/27
Let w = 678 + -91532/135. Are w and 1 equal?
False
Let j = 53.5 - 53. Which is bigger: j or -1?
j
Let k = 1 - 3. Let b be (1 + k)*(-4 + 9). Let m = 7 + b. Are 0 and m nonequal?
True
Let g = 13 - 3. Let w = g + -8. Is w bigger than 4?
False
Let p = 0.4 + -0.3. Suppose 2*u + 3*u = 4*x - 5, -4*x = -4*u - 8. Which is bigger: p or u?
u
Let r = -38 + 190. Let p = 1978/13 - r. Let j be (3 - 3)/(1 - -1). Do j and p have different values?
True
Let x be (1*2/178)/(2/4). Is 1 smaller than x?
False
Let s = -27 + 14. Let q = s - -12. Which is greater: q or -1/4?
-1/4
Let j(d) = -3*d + 16. Let r be j(8). Which is smaller: r or -6?
r
Let g be 1*8/(-36)*(-1)/2. Is g > 0?
True
Let j be 3/(-4) - ((-2584)/32 - 9). Which is smaller: 88 or j?
88
Let x = -68 - -66.8. Which is smaller: x or 1?
x
Let i(u) = -u**3 + 6*u**2 - 6*u + 5. Let g be i(5). Suppose g = 3*f - f. Which is smaller: f or 1?
f
Let f = -15 + 22. Let u be ((-2)/f)/(6/(-14)). Let b = 0 + 0. Is u <= b?
False
Suppose -2*n - 3*u = 3*n - 4, 4*u - 16 = 4*n. Which is smaller: n or 0?
n
Let d = 7 - 3. Suppose 0 = w + 3*h + 2*h - 22, -d = 4*w - 3*h. Let t = -3 - -4. Which is greater: w or t?
w
Let p = 30 - 42. Does p = -13?
False
Let n = -12 - -8. Let t = 9 - 5. Let c = n + t. Is -2 > c?
False
Let v be 8/(-28) - 92/(-28). Suppose v*f - 12 = f. Is 6 != f?
False
Let x(l) = 5*l - 21. Let b be x(5). Is b > 21/5?
False
Suppose 6 = b - 2. Is 8 greater than b?
False
Let s = 249/2 + -127. Which is greater: -3 or s?
s
Suppose 0 = 4*q + 9 + 11. Suppose 0 = -4*t - 10 - 6. Is q at least as big as t?
False
Let t = -39 + 38.