re x and 66 equal?
False
Suppose 7*g = 5*g - 32. Let h be -2*(-2)/8*4. Let r be h/(-7) + g/(-7). Is 0 at most r?
True
Let a be ((-3)/3)/(1/(-7)). Let f = -6 + a. Let p be f/(10/(-24)) + 3. Which is smaller: 0 or p?
0
Let n be (40/(-25))/(2/(-5)). Is -0.05 greater than or equal to n?
False
Let h = -1 - -3. Let l = 1 - h. Let f be (-48)/70 - (-6)/15. Which is bigger: l or f?
f
Let u be (1/5)/((-7)/6937). Let o = 199 + u. Are -0.1 and o nonequal?
True
Let k = -32 - -36. Which is bigger: k or 32/7?
32/7
Let g = 59 - 408/7. Does g = 2?
False
Let l(r) = r**3 + 3*r**2 - 3*r - 2. Let m be l(-2). Let g be (-2)/8 + 10/m. Suppose 5*a + g = -4*j - 0, 0 = 4*a + j + 3. Which is bigger: 1 or a?
1
Let g be (14/(-63))/(14/3). Which is smaller: g or -1/2?
-1/2
Let z = 27 + -22. Suppose l + z*l + 6 = 0. Let q = 1/158 + -485/1738. Is q at least l?
True
Let l(a) = -a. Let r(y) = y**2 + 3*y - 4. Let c be r(-3). Let d be l(c). Suppose 1 = -k + d. Is 4 != k?
True
Let w = 1.1 - 2.3. Let i = w + 1.2. Which is smaller: i or -0.7?
-0.7
Let z be 2*-2*(-2)/16. Suppose 5*r - 4 - 26 = 0. Let c be (-8)/r*6/(-4). Which is greater: z or c?
c
Let s be (-16)/(-6)*6/4. Let d be (0 - 1)*s/(-4). Which is bigger: d or 2/7?
d
Let k = 2.6 - 0.6. Let o be 4/16 + (-1)/2. Which is bigger: o or k?
k
Let y be 100/(-24) + 1 + 3. Which is smaller: y or 0?
y
Suppose -3*s = s. Suppose s*g = -2*g - 20. Let k = g - -7. Does k = -4?
False
Let s = -23/279 + 6/31. Let r(t) = -2*t + 3. Let g be r(2). Is s smaller than g?
False
Suppose 0*h + 31 = 2*h - 3*w, -3*h = 5*w + 1. Suppose -3*i + 5 = -2*b, -i = -5*b + 2 - h. Is b at most as big as 0?
True
Let i = 1.36 - 4.2. Let y = -0.16 + i. Is -2 at least as big as y?
True
Let w be ((-110)/(-99))/(8/(-6)). Is -2 >= w?
False
Let b be (0 - 1)/(2/(-6)). Let x be 1 + (-5)/17*b. Which is greater: -1 or x?
x
Let c = -3 + 4. Which is smaller: -1/6 or c?
-1/6
Let h(l) = -4*l - 1 + 2*l + 4*l. Let f be h(-3). Let o be (-3)/(-2)*(5 + f). Are -2 and o equal?
False
Let u = 1 + 0. Let s = 3 - u. Let o(m) = -m**3 + 3*m**2 - 3*m + 1. Let k be o(2). Which is greater: s or k?
s
Let y be (1/2)/(2/4). Let b be 4 + (-1)/(y/1). Is 1 bigger than b?
False
Let a(z) = -2*z**2 + 5*z - 3. Let g(f) = -f**2. Let c(y) = a(y) - 3*g(y). Let p be c(-5). Let n(i) = -2*i - 3. Let s be n(p). Which is greater: s or 3/2?
s
Suppose 2*x - 3*x - 4*f - 41 = 0, x + 5*f + 45 = 0. Is -25 at most x?
True
Let u = -79 - -79. Is u greater than or equal to 0.3?
False
Let y = 12.24 + -12. Let o = -0.04 + y. Let t = o - 0.3. Is t smaller than -2/7?
False
Let f(a) = -9*a**3 - a + 1. Let r be f(1). Let v be 0 - r*1/2. Let n = v - 5. Is 1/4 != n?
True
Let p be ((-2)/(-6))/((-39)/(-18)). Let f = 9.6 - 13.7. Let k = -4 - f. Are p and k equal?
False
Let c be ((-1)/(-6))/(6/81). Let n = -2378 - -28559/12. Let z = c - n. Which is bigger: z or -1?
z
Let u(x) = -x**2 + 7*x - 5. Let h be u(7). Let m(l) = l**3 + 6*l**2 + 7*l + 7. Let j be m(h). Let n be ((-4)/j)/(2/3). Which is smaller: 3 or n?
n
Suppose -7 - 8 = -5*t. Suppose 0 = -0*f + f + t*h + 5, 0 = -3*f + 3*h + 21. Suppose o - f*o = 5*r - 25, -4*o = 3*r - 26. Is r != 2?
False
Suppose -5*v - 47 = -2. Let w be ((-3)/v)/(1 - -1). Let q be 1/(-3)*(2 - -1). Which is smaller: w or q?
q
Let k be ((-3)/69 + 0)/1. Is k bigger than 1?
False
Let c(i) = i + 9. Let v be c(-8). Are v and 2 non-equal?
True
Let a(p) be the third derivative of -p**3 + p**2 - 1/24*p**4 + 0 + 0*p. Let s be a(-5). Which is greater: -1/3 or s?
-1/3
Suppose 4*r - 30 = 10. Let d = 8 + r. Let p be 0 + 2/(d/3). Which is bigger: p or 1/4?
p
Suppose -5*d + 511 = -3*s, -2*d - 2*s = 2*d - 422. Is 104 not equal to d?
False
Let s be ((0/6)/4)/2. Let d = -73/4 - -18. Which is bigger: d or s?
s
Let v = -1 - -4. Suppose -c - 4 = v*c. Suppose 7*g - 2 = 8*g. Which is bigger: c or g?
c
Let t(c) = -11*c**3 + 27*c**2 - 3*c + 22. Let x(u) = -7*u**3 + 18*u**2 - 2*u + 15. Let o(k) = -5*t(k) + 8*x(k). Let l be o(9). Is 1/6 at most l?
True
Let r be ((-3)/15)/((-4)/20). Which is smaller: r or 2?
r
Suppose 4*w + 6 = 2. Which is smaller: w or -5/6?
w
Suppose -6*t = -29 + 215. Which is bigger: -1 or t?
-1
Let k(r) be the third derivative of -r**4/24 - 7*r**3/6 + r**2. Let c be k(-8). Let d = -2 + c. Are 0 and d equal?
False
Suppose -2 = 2*u - 0. Let o(w) = 2*w**2 - 2*w - 1. Let v be o(u). Which is smaller: v or 2?
2
Let t = 0.3 + -0.2. Let c = -190738/255 + 748. Let b = -12/85 + c. Is b >= t?
False
Suppose 84 = r - 5*a - 77, r = -4*a + 206. Let q be 9/3 - r/66. Let s(o) = -o**3 + 2*o**2 + 3*o - 1. Let k be s(3). Which is smaller: k or q?
k
Let n be (-3 - 8/(-3))*3. Suppose -5*i + 2*h = 36 - 7, 18 = -4*i - h. Let u be ((-8)/20)/(7/i). Which is greater: n or u?
u
Let g = -6 - -11/2. Is g bigger than 0.5?
False
Suppose 34 = -11*w - 21. Is -7/2 bigger than w?
True
Let a = -0.48 + -0.02. Let y = 1.03 + -0.03. Which is smaller: a or y?
a
Let k = -1/20 - -11/20. Is k < 2/5?
False
Let n be -2*(4/(-8) + 1). Is 2/7 at least n?
True
Suppose 0 = 34*y - 29*y - 10. Let w = -0.17 - 0.53. Let h = 0.3 - w. Which is greater: h or y?
y
Let v(a) = a**3 - a**2 - 2*a - 1. Let g be v(-1). Let s(j) = j + 11. Let p(h) = -h - 12. Let t(z) = -4*p(z) - 5*s(z). Let q be t(-3). Which is greater: q or g?
g
Let k be (-45)/6*6/(-5). Are 9 and k unequal?
False
Suppose -3*p = -6*p - 69. Which is bigger: -22 or p?
-22
Suppose 2*v - 18 = 3*o, 35 = 4*v + v - 5*o. Let g = -15 - -12. Let p be -1*g/v + -2. Is p equal to -1?
True
Let p(x) = x**3 + 4*x**2 + x. Let b be p(-3). Let q be 1 + -2*b/(-4). Suppose m - 3*m = q. Do m and 2/3 have different values?
True
Suppose -2*y - 3*p = 2*p, 0 = -y - 5*p + 10. Let u = 14 - 29. Let r = u - y. Is -2 != r?
True
Suppose 0 = 3*s + s - 12. Suppose -s*f = -3*l, -5*l - 2*f = -12 - 9. Suppose -2*y - 23 = 5*r, -2*r - l*r - y - 19 = 0. Is -4 < r?
True
Suppose k - 5 = 0, v - 20 = -2*v - k. Suppose -2 = v*z - 7. Let u = 47 - 139/3. Which is greater: z or u?
z
Let c(l) = -l**2 - 9*l - 6. Let w be c(-7). Suppose -12*d + 4 = -w*d. Is 3 bigger than d?
True
Let k be (12/(-8))/(6/32). Let u = k + 4. Which is smaller: -3 or u?
u
Let n = -4.9 - 1.1. Let l = n + 6. Does 1/8 = l?
False
Let r(m) = -m + 2. Let z = 3 + 3. Let a be r(z). Let l = a - -3. Which is greater: -1/6 or l?
-1/6
Let f(u) = u**3 - 3*u**2 - 3*u - 4. Let g be f(4). Let x = 8071566/35 + -230601. Let j = x + -102/7. Which is smaller: j or g?
g
Let x(i) = -i**3 + 4*i**2 + 6*i - 6. Let m be x(5). Let u be 2/((-26)/(-11)) + m. Let j = -8.7 - -10.7. Which is greater: j or u?
j
Let k(u) be the second derivative of u**5/20 - u**4/3 - 5*u**3/6 - u**2/2 + 2*u. Let a be k(5). Let o be 2/(2 + -9 + 2). Which is greater: o or a?
o
Let i be 5*(-1 + (-44)/20). Which is smaller: i or -14?
i
Let h = -0.02 + 6.02. Let u = 5.6 - h. Is u greater than or equal to 0?
False
Let v = 8 + -7. Let j be ((-15)/(-10))/((-30)/(-16)). Is j >= v?
False
Suppose -5*t - 21 = o, -t - 2*t - 33 = 4*o. Which is bigger: 1 or o?
1
Let n(s) = -s**3 - 4*s**2 + 4*s - 5. Let z be n(-5). Let o = 541/10934 - 2/497. Which is greater: o or z?
o
Let x = 16 + -12. Are 9/2 and x unequal?
True
Let k = -20 - -21. Let f be k/(-4)*(-8)/8. Let q = -0.1 + 2.1. Is q less than f?
False
Let h = -14.68 + 21.6. Let x = -7 + h. Let p = -0.38 - x. Which is bigger: 1 or p?
1
Let z = -5.94 + 6. Let s = -131 + 129.94. Let c = s + z. Which is smaller: c or 4?
c
Suppose 0 = -0*t - t + 21. Suppose 3*o - t = 15. Which is bigger: o or 13?
13
Let k be (3/2)/(12/8). Suppose l + 1 + k = 0. Let i be (1*l)/2*-2. Is i bigger than 0.1?
True
Let y be (-8)/(-42)*(1 + 23 + 0). Which is greater: 5 or y?
5
Let g be 1 + 0 + 1*-2. Let z = -1300173/3494920 + -132/7943. Let i = z - 1/88. Which is bigger: i or g?
i
Let r be (-18)/(-10)*15/18. Which is smaller: 0.05 or r?
0.05
Let c be (-1 - 0)/(1/3). Let z(n) = 12*n + 1. Let f be z(c). Let h be (-16)/42 + 10/f. Which is smaller: h or 1/4?
h
Let g be 8/(-12)*(-36)/8. Which is smaller: g or 4?
g
Let r = 7 + -7.3. Let t = r - 0.7. Let n = t - -1.1. Is n at least as big as -0.2?
True
Let s be 244*3*(-1)/(-6). Let m = s + -977/8. Which is smaller: 0 or m?
m
Let y = -6.4 + 6. Let l = y - -0.8. Let s = -0.3 + l. Do s and -0.2 have the same value?
False
Let f be (-3)/(-2) + (-5)/(-2). Suppose f = -4*t, o - 5*o + 3*t = -3. I