be l(9). Let f be (-8)/14 - v/(-7). Are f and -20 non-equal?
False
Let t(j) = 3*j**2 + j. Let m be t(1). Suppose 2*p = 5*d - 30 + 1, -m*p = -4*d + 28. Is p equal to -2?
True
Let y = -32 - -127/4. Suppose 0 = -9*n + 11*n + 6. Let a be ((-6)/9)/(2/n). Is y >= a?
False
Let c be (-9)/(-3)*-1 + -33. Let i be (c/(-21) - 2) + 0. Let z = 0.2 - 0.1. Which is smaller: i or z?
i
Suppose 3*c = 4*b + 40 - 10, 0 = -3*c + 5*b + 30. Suppose 14*f = c*f - 8. Is -1/2 at least f?
True
Let g = 29.4 + -29. Which is bigger: g or 0.3?
g
Let o(d) = d - 13. Let h be o(9). Let i be (-2)/7 + (-82)/7. Let s be i/2*h/(-6). Is -4 greater than s?
False
Let q(o) be the third derivative of o**7/5040 - o**6/80 + o**5/20 + o**2. Let t(z) be the third derivative of q(z). Let v be t(8). Is -2 > v?
False
Suppose 0*d = -4*d + 16. Let a be (7 - d)/(6/4). Is 2 at least as big as a?
True
Suppose -6*d + 2*d - 48 = 0. Is d greater than -13?
True
Let k be (-5)/10*(2 - 0). Let r be (-3)/6*(k - 2). Is r not equal to 2?
True
Suppose 0 = s + 10 - 5. Let b = s + 9. Let p be (-2)/4 - b/(-16). Which is greater: p or -2?
p
Suppose 4*d - n = -11, -d - 4*n + 11 = 1. Let k be d - -1 - 20/(-35). Let z(p) = -p**3 - p + 1. Let s be z(0). Which is smaller: k or s?
k
Let f(d) = -d + 1. Let k be f(-1). Let t = 1 - 0.9. Which is smaller: t or k?
t
Let w(j) = j**2 + 5*j. Let m(z) = z**3 + 6*z**2 + 6*z. Let c be m(-5). Let k be w(c). Is k at most -8?
False
Let s be (-4)/(-7)*28/8. Is 5 equal to s?
False
Let x = -114 - -118. Let l be -1 - (75/(-29) - 2). Let g = l - 5/58. Which is smaller: g or x?
g
Let m = 8 - 5. Let u = m + -2.9. Is u greater than -2?
True
Let g = 27/5 - 233/45. Let r = 7 + 5. Let y be (8/r)/((-2)/(-3)). Which is greater: g or y?
y
Let x = -14 - -13. Are x and -0.4 equal?
False
Let m be (2/5)/(6/(-10)). Let w = 12.9 - 13. Which is smaller: m or w?
m
Let v be (4/5)/(5/50*-4). Is v greater than or equal to -4?
True
Let c = 5.6 + -5.8. Let i be 4/(-35) + 12/(-42). Which is smaller: c or i?
i
Let h = -6 + 6. Let x = h - -1. Which is smaller: x or -3?
-3
Let l be (-31)/14 - (-8)/(-28). Is l at least 2/3?
False
Suppose -14*o = 59 + 137. Which is greater: o or -13?
-13
Let z = -16 - -10. Let c = z - -7. Let j be 18/(-20) + 4/10. Do j and c have the same value?
False
Let q be 0/(-2) - (13 - 1). Let p(c) = c**3 - c - 13. Let t be p(0). Which is bigger: q or t?
q
Let c be -3*1/(-6)*0. Let w = -14611/86409 - -2/220823. Let u = 9/23 + w. Are u and c unequal?
True
Suppose v = -5*g - 13, 0 = -3*v - 3*g - 5 + 2. Suppose -j - v*j = 6. Is -2/3 >= j?
True
Suppose -2*o = 10, 4*x + 2*o + 3*o - 15 = 0. Which is smaller: 7 or x?
7
Let m = 0.07 + 0.13. Is m < -0.07?
False
Let b be (20/(-8) - -2)*0. Is b less than -3/4?
False
Let h be ((-765)/162)/(1/3). Which is smaller: h or -13?
h
Let s = 1 - 3. Let z be (4/3)/(2/(-116)). Let v = z - -78. Is v less than s?
False
Suppose 4*x + 154 = 5*q, 0*q = -4*x - q - 142. Let c be ((-20)/x)/((-2)/(-6)). Which is bigger: -1 or c?
c
Let x be (30/8)/1 + -2. Is 2 greater than x?
True
Let y be ((-21)/(-12))/(-7)*-1. Suppose -s + 3 = 0, -1 = -0*a + 2*a - 3*s. Suppose -40 = -5*u - 5*f - 0, -a*u + 5 = -5*f. Which is bigger: y or u?
u
Let b be ((-8)/4)/((-10)/(-4)). Which is smaller: b or -2/9?
b
Let j be 3/18*-3 - 21/6. Suppose -4*d = -5 + 1. Let n = -3 + d. Which is smaller: j or n?
j
Suppose -l - h - 38 = 0, -5*l + 2*l + 2*h = 119. Let d be (-3)/(l/37) - 3. Do d and 1 have the same value?
False
Suppose -2*f = -6*f - 8. Let y be ((-12)/8)/((-1)/f). Which is smaller: y or -2?
y
Let s(w) = w**3 - 13*w**2 + 12*w + 1. Let a be s(12). Let y = -283 - -4247/15. Is y at least a?
False
Let q(u) = u. Let y be q(-1). Let f = -0.07 + 0.27. Let c = -0.2 + f. Which is bigger: y or c?
c
Let m = 0 - -0.2. Let n be (-3)/(-1) - (7 + -6). Suppose 2*h + n = -4*p, -h = 3*p - 0*p. Which is smaller: m or h?
h
Let n = 7.1 - 0.1. Which is smaller: -2/5 or n?
-2/5
Let k = -16 + 22. Suppose -p - k = -5*z + 1, -2*z = p. Which is smaller: 0 or p?
p
Let r = 375/1261 + 1/97. Let i = -3 - -4. Which is bigger: r or i?
i
Let w = -11 - -14. Let l = -3 + w. Is -4 > l?
False
Let a = -10.1 - -16.1. Are 1 and a unequal?
True
Let j(t) = 4*t - 61. Let u be j(14). Is -6 at least as big as u?
False
Let j = -141 + 703/5. Let c = -0.23 + -0.07. Let h = c + 0.4. Is j not equal to h?
True
Suppose 13 = -4*j - q + 38, -3*q = -5*j + 44. Suppose t + 3*m - j = -0*m, -5*t - 5*m + 5 = 0. Let w be 3/6*t/3. Is w equal to 1?
False
Let a = 17 - 18. Is 2/5 smaller than a?
False
Let u(l) = -l. Let p be u(11). Let h(k) = -k**3 - 10*k**2 + 12*k + 14. Let o be h(p). Let s be (o - 4)*(-2)/2. Are -1 and s nonequal?
True
Let s(c) = -c**3 - 6*c**2 - 4*c. Let a be s(-4). Which is smaller: a or -18?
-18
Suppose 4*t - 3*t = 3*y + 2, 3*y = -4*t - 7. Suppose -6*v = -3*v - 6. Let a be 1/v + (1 - 2). Which is smaller: a or y?
y
Let q be 14/(-4)*(-24)/(-9). Is -9 less than or equal to q?
False
Let m = 4 - 0. Suppose 0 = m*j + 7 + 5. Let k = 6 + j. Is k greater than or equal to 2?
True
Let h be (-2)/(-6) + 1884/18. Let f = h + -1157/11. Let z be 2*2*(-1)/2. Is z not equal to f?
True
Suppose 3*y - 9 = 0, -279 = 6*a - 11*a - 3*y. Which is greater: a or 53?
a
Let t be (116/12)/(2/6). Suppose -v = -0*v + 3*u - t, 44 = 2*v - u. Let z be (-5)/(-20) - v/28. Is 0 greater than or equal to z?
True
Let l be (4 - 2) + (-9 - -1). Let b be l/(-33) - 24/(-110). Is 0 greater than or equal to b?
False
Let v be (3/(-7) + 1)/(1 - -1). Suppose -5 = 3*x - r, -4*x - x + 2*r - 10 = 0. Which is smaller: v or x?
x
Suppose -4*k + 0*x + 6 = -3*x, -5*x - 2 = -4*k. Suppose -2*d - g - 162 = 0, k*d + 3*g - 74 = 4*d. Let q be d/(-45) + 4/18. Which is greater: 1 or q?
q
Suppose -3*s = -8*s - 10. Let i(a) = a**3 + 2*a**2 - 3*a - 1. Let x be i(s). Which is smaller: 4 or x?
4
Suppose -4*y + 20 = -4. Suppose -3*z - 3*m + y = 0, -5*z + m = -4*z. Let o = 21/4 - 55/12. Is z less than o?
False
Let r = 2.6 + -4.5. Let g = 0.1 - r. Let a = g + -2.5. Which is bigger: a or 1?
1
Let r be 2/(-10)*10/8. Let v = 19.4 + -19. Which is smaller: r or v?
r
Let y be 0 + (2 - (10 - 3)). Let p = 6 + y. Is 2/7 greater than or equal to p?
False
Let l(h) = 1. Let x(g) = -g + 7. Let i(k) = -3*l(k) + x(k). Let z be i(4). Let p be 2/18*16 + -2. Which is smaller: p or z?
p
Let c be (-4 + 6)*(-11)/(-2). Let z = c - -1. Let i be 2/z - 57/126. Is i != -1?
True
Let v = -0.15 - -10.15. Let h = -30 + v. Which is smaller: h or -1/2?
h
Let b = -4959/37 + 134. Which is smaller: b or 1?
b
Let m = -12 + 14. Let i(f) = f**2 - f + 1. Let g(h) = -h**3 - 4*h**2 + 4*h - 5. Let u(c) = -g(c) - 6*i(c). Let v be u(1). Which is greater: m or v?
m
Let u(c) = c**3 - 19*c**2 + c - 36. Let i be u(19). Are -15 and i unequal?
True
Let s = 0 + 3. Suppose s*q - z = 7, 3*z = -q - z - 15. Let i be -1 + (48/22 - 1). Which is greater: i or q?
q
Let a(n) = n - 10. Let f be a(10). Let h = 94 + -661/7. Which is bigger: h or f?
f
Let c(z) = 8 - 3 + 0*z - z**3 + 3*z + 10*z**2 - 6*z**2. Let l be c(5). Which is greater: -7 or l?
l
Suppose 9 = 2*c + 1, -a - 5*c + 20 = 0. Let z = 3 - a. Is z at least 3?
True
Let d be 1*2 - 4/1. Let w be (-28)/6 + 0 - -3. Which is smaller: w or d?
d
Let w = -106 + 111. Suppose 0 = 4*p + 4*a - 4, -5*p = -3*p + a - 2. Do p and w have different values?
True
Let p be 4*(-12)/(-16) - 4. Let x be 0 - p/((-1)/14). Is x greater than -15?
True
Let s = 2/77 - 113/1386. Which is bigger: 1 or s?
1
Let d = 1 + -2. Let s be 3 - (-1 - -2)/1. Let i be (-4)/(-24) - s/12. Is i equal to d?
False
Suppose -22 = -0*b - b. Suppose -4*f + 2 = b. Let t(g) = g**2 + 3*g - 7. Let n be t(f). Is 3 at least n?
True
Let k(p) = -p**3 - 7*p**2 + 8*p + 3. Suppose 5*u + 21 = 2*u. Let s(w) = w**2 + 7*w - 8. Let y be s(u). Let z be k(y). Is 4 less than or equal to z?
False
Let h be (2/4)/(10/380). Is h smaller than 19?
False
Let i = -40 - -42.04. Let j = i + -0.04. Is j < 0?
False
Suppose 10 = 5*n - 5. Which is greater: n or 0.2?
n
Let l be ((-3)/3)/((-12)/(-6)). Is l != 0?
True
Let f be 258/(-1197) - 10/(-35). Which is greater: 0 or f?
f
Suppose 0 = -12*u + 16*u + 156. Is -37 bigger than u?
True
Suppose -6 = -2*o - 4*k, 3*o + 2*o + 4*k - 9 = 0. Let s be 2*6/(-4)*o. Let x be (-2 - -5)*(-1)/s. Is -0.2 at least x?
False
Let r = 68 + -55. Which is smaller: r or 1