an c?
False
Let r = -23/12 - -5/3. Are r and -37 non-equal?
True
Let u(h) = 2*h**2 - 11*h + 4. Let p be u(5). Does p = -4/11?
False
Let o be (-2)/(1 - (2 - 3)). Which is smaller: o or 3/55?
o
Let s be (-1 - 39/33) + 2. Let c = 24084 + -2384356/99. Let l = s - c. Is 0 at most as big as l?
True
Let i(f) = -f**3 + f**2 + 6. Let y be (0 + 0)/(0 + 1). Let a be i(y). Is 6 less than a?
False
Let k = -0.051 + 6.451. Let q = k - 0.4. Let m = 10 - q. Which is smaller: m or -1?
-1
Let i = -7 + 6. Let t(u) = 2*u**3 + 2*u**2 + 2*u + 1. Let k be t(i). Let j = 0.8 + -0.3. Which is bigger: k or j?
j
Let s = -80 - -719/9. Let l = 2 - 1. Which is smaller: s or l?
s
Let k = 63 + -63. Which is bigger: k or -1/5?
k
Suppose 4*o = -4*a + 46 - 2, 4*o = 3*a + 30. Let n = 11 - o. Do n and 4/3 have different values?
True
Let c = 0 + 12. Suppose 17*u = c*u. Which is greater: u or 16?
16
Suppose 2*i = -5*x + 4*i - 14, 2*x + 2 = 2*i. Is x at least -1?
False
Suppose 5*c - 70 + 15 = 0. Let f(l) = -l**3 - 2*l**2 - 6*l. Let q be f(-2). Which is greater: q or c?
q
Suppose 2*x - 10*x + 224 = 0. Is 28 less than x?
False
Let h = 0 + 1. Let f = -3896/15 + 260. Which is smaller: f or h?
f
Suppose 6*m - m = 5*a, -6 = 3*a. Suppose -4*z - 1 = -3*z. Which is smaller: z or m?
m
Let z = 11593/7 + -1653. Which is greater: z or 4?
4
Let a be ((-5)/(-2))/(15/(-90)). Let y = 15 + a. Is 2/37 smaller than y?
False
Let j = -12 + 5. Let y = -9 - j. Let b(l) = 3*l + 1. Let z be b(y). Is z not equal to -5?
False
Let r = 148 - 100. Suppose 5*j = 3 - r. Is j smaller than -9?
False
Let b(s) = s + 2. Suppose -2*a + 0*a = -6. Let n be b(a). Is n at least 6?
False
Let p(g) = 3*g - 8. Let s be p(3). Let f(y) = 3*y - 1. Let b be f(s). Let o(v) = -v**3 - 7*v**2 - 7*v - 5. Let m be o(-6). Are m and b nonequal?
True
Let m be 2/(-4) - (-13)/2. Let o be 2/(-2) - m/15. Is -1 bigger than o?
True
Let g = 27 - 7. Suppose 3*o - 12 = 0, -4*b = 4*o - o - g. Suppose u + 0 = -b. Is u bigger than 0?
False
Let y = -0.29 - 0.01. Let d = 0 - 4. Let z = 4 + d. Which is greater: z or y?
z
Let v(a) = a**3 - 2*a**2 - 3. Let i be v(2). Let r be (-4 + -1)*(-4)/(-5). Which is smaller: r or i?
r
Let r(i) = -i**3 - 3*i**2 + 4*i + 4. Let z be r(-4). Let d(s) = s**2 + s + 1. Let j be d(0). Are z and j nonequal?
True
Suppose 0 = -2*x - 2*n + 5*n + 13, 0 = -x + 4*n + 19. Is x != 6?
True
Let u = 1 + 2. Let k be ((0 - 2) + 3)/u. Which is smaller: 0 or k?
0
Let s be (-69)/(-15) - 2/(-5). Let l(u) = -u**2 - 8*u + 53. Let a be l(4). Are s and a equal?
True
Let k = 4 + -2. Suppose -8 = 5*t + k*p, 2*t - p + 2*p = -4. Is t greater than 1?
False
Let s be 18/63 - (-1586)/(-4620). Let d = s - 6/55. Suppose 10*f = 5*f. Which is smaller: d or f?
d
Let y = -3 - -2. Suppose 0 = -2*c - 8, 4*t = 3*c - 0*c + 8. Is t greater than or equal to y?
True
Let k be 3*(26/(-6) - -1). Which is smaller: -11 or k?
-11
Suppose -3*b - 231 = -3*x, -3*b + 6*b - 89 = -x. Which is greater: 79 or x?
x
Let g = -39 + 157/4. Let i = -5 - -6. Let c be i*(-2)/4*0. Which is smaller: g or c?
c
Let i be 2 - 10/36*-13. Let m = -35/6 + i. Which is smaller: 0 or m?
m
Let n = -3.75 - -0.15. Let x = 3 + n. Let a = x + 0.5. Are -2 and a equal?
False
Let y be (1/(-3))/((-1)/12). Suppose s + y = h, -2*h + 5*s = 3 + 1. Let o be (-40)/(-15)*6/h. Is o at least as big as -1?
True
Suppose 0 = 3*b + 2*m + m, -3*b = 5*m + 6. Suppose 2*f - b = 4*x + 11, -5*f = 4*x + 7. Is x <= -3?
True
Let n = -19 - -9. Let m be ((-4)/(-5))/((-2)/25). Let w = m - n. Which is bigger: w or -1/6?
w
Suppose -3*b + 2*b - 5*s + 13 = 0, -2*s = 3*b. Let f be -3*(0 - -1) - b. Let l be ((-1)/(-3))/(6/(-4)). Is l at least as big as f?
True
Let f = 87 - 1219/14. Suppose -2*k + 3*g = -4 - 3, 3*k + 9 = -2*g. Which is greater: f or k?
f
Suppose 0 = -0*u - u - 1. Let b(n) = -n**3 + 4*n**2 + 6*n + 2. Let m be b(5). Suppose -5*l + 30 = d, 4*d = -2*l + 1 - m. Is l less than or equal to u?
False
Let q = 0.1 + -1.1. Let s = 461 + -1843/4. Which is smaller: s or q?
q
Suppose 0 = 2*l + 33 + 21. Let f = -21 - l. Which is bigger: f or 8?
8
Suppose -5*x = 0, -4*w + x = 5*x - 4. Which is bigger: w or 10/21?
w
Let f be (57/69)/1 + -3. Let l = -48/23 - f. Let h = -27/46 + l. Which is greater: -2 or h?
h
Let m(w) = w**3 + 7*w**2 + 5*w + 5. Let c be m(-5). Suppose 3*h = -4*o - 5, -5*h - 4*o + 5*o = -c. Does h = 4?
False
Suppose 24 = 4*o - 5*u, 2*o = 5*u - u + 18. Is -1 at least o?
False
Let m = 2.06 - 0.06. Let r = -4 + m. Which is smaller: r or -1/5?
r
Let d = 5.6 - 4. Let s = d - 0.6. Let u = s - 0.9. Are 8 and u unequal?
True
Let l = -0.03 + 0.13. Let w = 0.2 - 2.2. Which is bigger: w or l?
l
Let z = -132 + 65. Let k = 6130 + -24791/4. Let n = k - z. Which is bigger: -1 or n?
n
Let f = -7 - -12. Suppose -4*c + 3*c = -f. Suppose c*l + 0*l = 0. Which is smaller: l or -2/17?
-2/17
Let n = -11 - -20. Let a = 100/11 - n. Which is smaller: 1 or a?
a
Let i = 25 - 26.3. Let p = -0.06 - 0.24. Let s = p - i. Is -3 < s?
True
Suppose p - 8 = 3*b, 5*p - 2 - 19 = -4*b. Let n be 2/(9/6 + -1). Which is smaller: p or n?
n
Let h = -702/1415 - -528753/663635. Let k = h + -1/67. Which is smaller: k or 0?
0
Let a(h) = -h**2 + 12*h + 12. Let p be a(13). Let y be (-9)/(-7) - 1/1. Which is bigger: p or y?
y
Let y be 8/36 + (-133)/(-9). Let c be (-13)/y - (-3)/15. Let l = 2 - 4. Are c and l non-equal?
True
Let h = -61 + 72.4. Let l = h - -0.6. Is 0.2 smaller than l?
True
Let z = 13.6 - 0.6. Let k = z + -6. Let d = k + -7.2. Is d greater than or equal to 2?
False
Let h = 26 + -25. Suppose 4*u - 8 = -p, 2*u = -10*p + 5*p + 4. Is h <= p?
False
Let k(h) = h + 14. Let b be k(-11). Suppose 4*o = -5*a + 9, 5*a - b = -3*o + 5. Which is greater: -2/7 or a?
a
Let i(b) be the third derivative of 0*b - b**3 + 0 - 1/24*b**4 - b**2. Let n be i(-6). Which is smaller: 0.1 or n?
n
Let g(q) = -4*q - 12. Suppose 28 = 2*l - 0*l + 4*b, -3*b + 46 = 4*l. Let z be g(l). Let k be 2/13 + 8/z. Do 1/4 and k have different values?
True
Let q(x) = x**3 - 3*x**2 - 3*x + 4. Let g be q(4). Let d be (-4)/g*0/(-1). Is 1/21 greater than or equal to d?
True
Suppose -2*s - g + 28 = -3*g, 4*s - 5*g = 53. Is s at most 18?
True
Let q(m) = m**3 + 4*m**2 - m + 4. Let k be q(-4). Suppose 2*c + 0*c = k. Suppose -c*n = -2*n - 5*b + 8, 0 = 5*n + 4*b - 13. Which is smaller: n or 2?
n
Let l(o) be the second derivative of o**3/6 - 11*o**2/2 + 3*o. Let f be l(0). Let v be (-5)/15 + f/(-15). Which is smaller: v or 0?
0
Suppose 4*j - 8 = 8. Suppose 6*b = b - n - 9, j*n = 5*b + 14. Let s be b/6 - 95/(-15). Is 6 greater than s?
False
Let h = -53 + 53.33. Let z = 0.4 - h. Let r = -3.93 - z. Which is greater: r or 2?
2
Let h be 42/352 + 4/(-22). Is h <= 1?
True
Suppose 0 = q + 3*f - 5*f - 57, -q - 5*f = -78. Let t be -2 - (q/(-3))/3. Is 6 at most as big as t?
False
Let c be (1 + -2*2)*-1. Suppose -2*a - 3*n + 44 = 0, -81 = -3*a - n + 4*n. Suppose t + 2 = q, c*t + 2*q - a = -2*t. Which is greater: 4 or t?
4
Suppose -4*w + 3*v + 25 = 0, -2*w - 70 = -7*w - 4*v. Suppose 5*c + 5 = 5*q - w, -2 = -c + 2*q. Do c and 1 have different values?
True
Let v = 5.1 - 5. Is -9 != v?
True
Suppose -9*t = -11*t. Is t <= 1/56?
True
Let w(d) = d**2. Let s be w(2). Suppose 0 = 5*y - 3*q + 10, 0 = s*q - 5 - 15. Is y not equal to 1/7?
True
Let s = -6.7768 + -0.1132. Let j = s - 0.11. Let t = -5 - j. Which is smaller: 4 or t?
t
Let g be 33*((-8)/3 - -2). Let j be (-4)/g - 102/(-44). Is 2 at least as big as j?
False
Let r be ((-32)/(-33))/(-1) + (6 - 5). Let q = 2 - 3. Which is bigger: r or q?
r
Let w be (52/(-585))/((-2)/(-5)). Let j = 0 - -1. Does j = w?
False
Suppose 4*y + 15 = 131. Suppose 5*o + 4*l = y, -l + 14 = -4*o + 33. Suppose 0 = 5*k + 3*s - s + 4, 4*k = -o*s + 7. Is -3 < k?
True
Suppose -3*r + y - 4 = 5, -3 = 3*r + y. Let n = r + 6. Suppose -3*a + n*m = -20, 5*m = m - 20. Is 2/15 != a?
True
Let p = 6.1 - -0.5. Let r = 6.89 - -0.11. Let k = r - p. Does k = -1/2?
False
Let i(l) = l - 3. Let z be i(5). Suppose -z*w = -6*w. Let a = 1/28 + 11/28. Is w < a?
True
Suppose 3*i + 15 = 4*z - 4, z + 14 = -3*i. Let c be z/(-2)*(-8 + 4). Which is smaller: c or 8/11?
8/11
Let u(a) = 3*a - 1. Let v be u(-1). Let b be ((-4)/v)/((-1)/(-3)). Let x = b + -3. Which is bigger: -1 or x?
x
Let a be (2/(-3))/(10/(-195)). Suppose -2*m + 4*j - 11 - a = 0, 3