h be s(5). Let d be 2/5 - 34/10. Are h and d non-equal?
False
Let c = -597 + 4783/8. Which is smaller: c or 2?
c
Let q be (-1)/3*(-4 - -1). Let r be q/3 - 4/(-6). Which is bigger: -2/17 or r?
r
Let a = -83 + 87. Which is greater: 0.7 or a?
a
Let g be (3/8)/((-6)/(-4)). Let c be 5/2 + (-3)/(-6). Suppose -2 = -r - c. Which is greater: r or g?
g
Suppose 0 = 2*s - 6*s + 24928. Let l = s - 592032/95. Let n = 6/19 + l. Is -2 greater than or equal to n?
False
Let b = 134 + -79. Which is greater: -2/7 or b?
b
Suppose -t + 0*t + 2 = 0. Let n be (-10)/6 - (-10)/15. Let r be 8/14 + n + 1. Which is smaller: r or t?
r
Let n = 19 + -18.6. Which is greater: -2 or n?
n
Let m = 38 - 39. Is m < -4/7?
True
Suppose 60 = 2*p + 2*p. Let o be 5/(p/6) - 0. Which is greater: 2/7 or o?
o
Suppose -4*a - 8 = 4. Let i(t) = -2*t - 6. Let v be i(-5). Suppose 4*y + p = -1, -y = -0*y - v*p + 13. Are a and y equal?
False
Suppose -29 + 9 = -5*k. Suppose -k + 12 = -2*q. Is -10/3 >= q?
True
Let b = 7 + -7. Which is smaller: -2 or b?
-2
Let d be -2 + -2 - (1 - (-723)/(-147)). Is 1 != d?
True
Let r = -2.5 - -1.4. Let y = -2.1 - r. Is -4/3 less than or equal to y?
True
Suppose 5*k + 6*k = -5*k. Which is smaller: k or -5/28?
-5/28
Let q = 4 + -5.3. Do 0 and q have the same value?
False
Suppose 3*i = -2*i - 510. Let o be (-152)/i*(-27)/18. Let c = 313/102 + o. Which is smaller: c or 2?
c
Let z be (-6*3/(-96))/((-3)/2). Is 1 greater than z?
True
Let h = -34698/343475 - 110/1249. Let p be 2 - (2208/(-550))/(-2). Let a = h - p. Is a not equal to 0?
True
Let j(x) = 20*x**2 + 2. Let g be j(4). Let w = -2248/7 + g. Which is smaller: 0 or w?
0
Suppose 4*b = 3*b + 2. Suppose -5*l = -b*l. Suppose 4*m - 11 = -3*a, -2*m + l = -a - 3. Which is bigger: 5/2 or m?
5/2
Suppose 15 = -0*g + 3*g - 3*f, 2*g + 2*f = -6. Suppose 0 = -x + 1 + 1. Suppose -x*c = -4*c. Which is smaller: c or g?
c
Let i = -2.6 - -0.6. Let k be -4 + 65/9 - (-8)/(-36). Is k not equal to i?
True
Let c(y) = y**3 - 5*y**2 - 4*y - 3. Let z be c(5). Which is smaller: -24 or z?
-24
Suppose -2*k + 2 = 0, 0 = -2*o - 0*k - 5*k + 3. Let g = o - 2. Let c = 1 + -2. Which is smaller: g or c?
g
Let a be ((-3)/(-114))/((-2)/(-8)). Let c be ((-6)/3 - 1) + 27. Let n be (-6)/(-10) + c/(-15). Which is bigger: a or n?
a
Suppose -4*m + 5*f + 42 = 0, 4*f = 2*m - m - 5. Let l = -13 + m. Are 4 and l nonequal?
True
Let q(d) = d**3 + 1. Let p be q(0). Suppose -5*j = 4*z - 22, -6*z + 4*z = -3*j. Suppose 6 = 2*g - 4*k + z*k, -2*k - 8 = -2*g. Which is smaller: p or g?
p
Let n = 1.6 - 3.6. Which is smaller: -0.1 or n?
n
Let n be (-39)/(-2) - (-4)/16. Is n less than 20?
True
Let d = -66 - -64. Is 7 smaller than d?
False
Let b be (2/6)/(10/(-12)). Let y = 23 - 37. Let f = y + 15. Which is greater: f or b?
f
Let o(b) = 22*b**2 + b - 1. Let z be o(1). Let c = z + -10. Let w be (6/c)/((-1)/1). Is w smaller than 0?
True
Let o = 34 - 33. Which is greater: 2/119 or o?
o
Let z = 1 + -2. Let o = 2.14 + -0.14. Let b = o + z. Which is smaller: 0.1 or b?
0.1
Let n = -1.2 - -0.2. Let x = 1/202 - -393/2222. Which is greater: n or x?
x
Let s be -2*(-1)/(-1)*-1. Let h(b) = s*b**3 - 4*b**2 + 4*b**2 - b**2 - 6*b**3. Let o be h(1). Which is bigger: o or -4?
-4
Suppose 3 = -5*j - 7. Let h = -8 + j. Let r(x) = x + 11. Let i be r(h). Which is smaller: i or 2?
i
Let g(z) = z**3 + 3*z**2 - 3*z - 1. Let o be g(-4). Let v = 43 - 47. Which is bigger: v or o?
v
Suppose -d - 5 = 4*d. Let a = -5 - -6. Let t be a + -1 + 6/27. Is d less than or equal to t?
True
Suppose 7*n = 4*n + 6. Suppose 5*v + 13 = -n. Which is smaller: -4 or v?
-4
Let m(h) = -2*h + 15. Let i be m(11). Let g = i + 6. Are g and -1/3 non-equal?
True
Let v(y) = y**2 + 11*y - 26. Let o be v(-13). Let g = 4 + -6. Let u(f) = -f - 3. Let s be u(g). Which is smaller: o or s?
s
Let i = -0.116 + -0.014. Which is smaller: i or 0?
i
Let t = -186 - -176. Suppose -4*m - 5*y - 3 = 16, 36 = -m + 5*y. Is m != t?
True
Let p(h) = h**3 - h**2 - 2*h + 1. Let o be 20/25 - (-2)/10. Let r be p(o). Is r greater than or equal to 1?
False
Let w(r) = -2*r - 3. Let j be w(-2). Suppose -3*l = 2*y + 6, 5 = -2*l + 2*y + j. Is 0.6 greater than or equal to l?
True
Let s(a) = a**2 + 5*a - 14. Let o be s(-7). Which is smaller: 1/2 or o?
o
Let x(o) = -2*o**3 - o**2 - o - 4. Let q be x(-2). Does 10 = q?
True
Let y(t) = 3*t**2 - 2*t + 2. Let x be y(1). Which is smaller: x or -5?
-5
Let c be ((-15)/(-12))/((-6)/16). Which is smaller: c or 0?
c
Let b be 8/6*1/(-6). Suppose -1 = -5*w - 16. Let z be ((-10)/15)/((-2)/w). Which is greater: z or b?
b
Suppose 0 = -2*x + 8 + 2. Let r(z) = -z**2 + 6*z - 6. Let t be r(x). Which is smaller: t or -1/2?
t
Let k = 7 + -7. Let d(m) = -m**2 - m. Let h be d(k). Let l(v) = -v**3 + v**2. Let b be l(h). Which is greater: -3 or b?
b
Let d = -77 + 97. Is d at least 99/5?
True
Let q = 1 + -2. Let c = 2 - -3. Suppose v + 2*v - 10 = -5*u, 4*v - c*u = -10. Is v at most as big as q?
False
Suppose -2*w - 47 = s - 3*w, -3*s - 121 = 2*w. Is s at least 1?
False
Suppose -6*m = 7*m - 767. Which is greater: m or 58?
m
Suppose 0 + 15 = 5*h. Suppose 0 = q + 4, 2*q = h*f - q - 24. Suppose l + f*l = 0. Is 3 greater than l?
True
Let d be -65*((-4)/8 - (-36)/40). Which is smaller: d or -25?
d
Let x be (-3 - -5) + 9/(-4). Let n = 12 + -13.4. Let k = n + 1.7. Is k greater than or equal to x?
True
Suppose -5 - 1 = -3*i. Suppose i*c = 3 + 9. Suppose -2*q - c = 0, 2*m + 2*q - 2 = 4*q. Is -7/4 equal to m?
False
Let a(w) = w**3 - 5*w**2 - 6*w + 2. Let t be a(6). Suppose 0 = 5*j - t*g + 10, 3*j - 8 = 7*j + 3*g. Which is bigger: j or -5/4?
-5/4
Let t = 78 - 78.03. Let u be (-12)/16 - 14/(-40). Which is smaller: t or u?
u
Let q(a) = -2*a - 5. Let j be q(4). Let z be (-41)/j + 12/(-78). Which is greater: z or 5/3?
z
Let u = 35384 + -248547/7. Let x = 11 - -112. Let k = x + u. Which is smaller: -1 or k?
-1
Let z be (4 + -7)*3/(-9). Let u be 2 - (-1 + -1) - z. Suppose -b + r = 0, -8*b + 4*b + 14 = u*r. Which is smaller: 4 or b?
b
Let o = -5 - -1. Let c be -8*2/(-1 - -3). Let a = -13 - c. Is o equal to a?
False
Let h be (3 + 358/(-120))*-1018. Let l = -101/6 - h. Let a = -7/60 - l. Which is bigger: a or -2/17?
-2/17
Let m be 2 + (-2 + 3)/1. Let z be 1 + (4 - 69/15). Which is smaller: m or z?
z
Let s be 18/(-32)*1*(-9 + -3). Which is greater: 7 or s?
7
Let x = -6 - -6. Suppose x = -3*b + 3 - 0. Is b at most -1/4?
False
Suppose 7*x + 3 = 4*x. Let v be -2 - ((-122)/42 - -1). Is x less than v?
True
Let i(y) = -y**2 + 6*y + 8. Let g be i(7). Let n = -53 + 211/4. Is n less than g?
True
Let h = 214 - 216. Let l be 22/8 + 1/4. Let d = 1 - l. Is h equal to d?
True
Let q be 0 + -2 - (-58)/4. Let n = 12 - q. Which is greater: n or 2?
2
Suppose 8 = -l + 5*f, -5*f + 0 = -10. Let j(c) = -4 - l + 0 - c. Let h be j(-7). Which is smaller: 2 or h?
h
Let n = 0.32 + -0.22. Which is bigger: n or -0.012?
n
Let t(p) = p**2 + 3*p - 10. Let x be t(2). Is x less than or equal to 14/19?
True
Let z = -15681/14 - -2157/2. Let n = 42 + z. Let o be 9 - 84/10 - (-4)/10. Are n and o nonequal?
True
Let z(s) = s**3 + 2*s**2 - s + 5. Let m be z(-3). Which is smaller: -3 or m?
-3
Suppose -q = -h - h + 19, -3*q + 6 = h. Let o be 3/h - (-44)/(-60). Let k = -6 + 4. Is k at least o?
False
Suppose f - 2*m + 6 = -3*f, -5*f + 4*m - 3 = 0. Let h = 4 + f. Which is greater: h or -3/8?
h
Let d = -11 - -15. Let i = d + -3.6. Suppose -4*h = -3*a, 0*h = -4*a - 4*h. Which is smaller: i or a?
a
Let v = -259/3 - -87. Are 0.1 and v unequal?
True
Let p = -2 + 13. Let u = p - 5. Which is smaller: 5 or u?
5
Let k(f) = -f - 4. Let p be k(-4). Let s be (-60)/(-70) + (-61)/63. Is p greater than s?
True
Let w = -5.94 - -6. Let a = w + -0.16. Is 3 < a?
False
Let r be 1 - -10*(-2 - -3). Which is smaller: r or 12?
r
Let x be (-1)/1*1 + 1. Which is smaller: -2/61 or x?
-2/61
Let b be 40/(-25)*(-10)/(-26). Do -2 and b have different values?
True
Suppose 0 = 2*t - 2 + 12. Let h = t + 5. Which is smaller: h or -5?
-5
Let z = 1.1 + -1.1. Let c = -1.1 + 1. Let t = z - c. Are 0.1 and t equal?
True
Let t be (-14)/4*(2 - 4). Suppose 4*b + t = 3*m, b + 3*m - 2 = -0. Is b <= -2?
False
Let b = 9.1 + -9.5. Are 2/19 and b nonequal?
True
Let l = -9677/9 + 1069. Which is smaller: l or 0?
l
Let t be 2/(-6)*6/7. Suppose -2*f = 2*f. Let v =