ler: d or -4?
-4
Suppose 3*c + 1 = 4. Suppose i = -c - 1. Let o(d) = -7*d + 238. Let q be o(34). Is i < q?
True
Let f = 4 - 1. Let s = f - 2. Let p(l) = -2*l**3 - 1. Let w be p(-1). Is s >= w?
True
Let l(x) = -6*x**2 + x + 2. Let j be l(-2). Let s = 121/5 + j. Which is smaller: s or 0?
0
Let p = -7.11 - -0.11. Let t = 8 + p. Which is greater: t or -1?
t
Let d be (4 - 5/30) + -4. Which is bigger: 0 or d?
0
Let p(o) = -2*o + 0*o + 6*o. Let h be p(-1). Let j = h - -7. Do j and 2 have the same value?
False
Let y = 0.171 - 0.071. Which is bigger: y or -21?
y
Let d be (-48)/80 + (-7)/(-20). Let s = 75 - 71.9. Let b = -3 + s. Is d bigger than b?
False
Let f be ((-30)/(-21))/((-1)/255). Let o = f + 363. Does o = -1?
False
Suppose 8*y = 9*y - 3. Let k(p) = p + 4. Let i be k(-2). Which is smaller: i or y?
i
Let f be (-2)/(-8) - (-206)/(-16). Let n = f + -23/8. Let c = n - -16. Is c <= 3?
True
Suppose -2*b + 5*r - 215 = 0, -3*b + 0*r = 4*r + 311. Which is smaller: b or -106?
-106
Let m = 1 + -1. Let i = 0.35 + -2.35. Which is bigger: m or i?
m
Let f be (4 + 3 + -7)/1. Is f greater than -1/7?
True
Let m = -212/1547 + -2/119. Suppose -1 + 1 = -9*q. Does m = q?
False
Let d(o) = -o + 6. Let a be d(0). Let s be a/9 + (-6)/9. Suppose 2*k - k = s. Is 1/4 >= k?
True
Let g be (-10)/24*245/250. Let t be 1 + -1 - 6/80. Let l = t - g. Do l and 1/4 have the same value?
False
Let m = -0.41 + 0.3. Let t = 0.09 - m. Let c = -0.08 - -0.38. Which is bigger: c or t?
c
Let u be 2*(44/8 - 3) - 1. Is 30/7 < u?
False
Let c(x) = 3*x**2 - 1. Let s be c(1). Let o be (s/1)/(10/(-4)). Suppose -4*k + 2 = 10. Do k and o have the same value?
False
Let i = -19 - -28. Let z = -10 + i. Which is smaller: z or 3?
z
Let a be 2/((-5)/2 + (-4)/8). Which is smaller: -1 or a?
-1
Let g be (-245)/(-22) + 3/(-2). Let x = 815/88 - g. Suppose 5 = 4*s + 1. Which is smaller: s or x?
x
Let h = -7 + 10. Suppose 11 = h*r + 3*g - 7, -2*r + g = -15. Is r greater than or equal to 9?
False
Let t(s) = -s - 5. Let i be t(-9). Let u be (-2)/((i/(-10))/(-1)). Let d(z) = z**2 + 4*z - 4. Let v be d(u). Which is smaller: -1/6 or v?
-1/6
Suppose 0 = -s - s - 4. Let v = -3 - s. Is v < -2?
False
Suppose 4*l = 5*v - 12, -l + 5*v = -3*l + 24. Let z be ((-4)/2)/(l/(-11)). Is z greater than 10?
True
Let v = 1.1 - 0.1. Let x = -0.9 + v. Let r(s) = s**3 + 7*s**2 + 5*s - 6. Let q be r(-6). Which is greater: q or x?
x
Let d be ((-6)/128)/((-1)/(-53)). Let q = d + -1/64. Is q <= -2?
True
Let r be 1/(-4 - (1 - 4)). Let l = -4 - -2. Let c(o) = o. Let n be c(l). Is r equal to n?
False
Let l be (8/6)/((-200)/(-12)). Is 1 not equal to l?
True
Let u = -1.1 + 1.1. Which is smaller: 3 or u?
u
Let d = -5 + 6. Let r be -3*d/39*3. Which is smaller: -1 or r?
-1
Let q be (-3)/(-4)*(-4 + 8). Suppose -2*l - 119 = -q*v, 4*v - l = -57 + 214. Let s be 1/(-2) - v/(-42). Is -1 at least as big as s?
False
Let v = 104 + -1146/11. Let y(u) = -u - 4. Let t be y(-3). Which is greater: t or v?
v
Let l = 7 + -8. Let n be l/(3/((-6)/(-22))). Which is smaller: 0 or n?
n
Let r(n) = -n**2 - 6*n + 4. Let o be r(-6). Suppose -i - 2*i - 15 = 0. Let k = o + i. Which is bigger: k or 1/4?
1/4
Let l be -1*2*30/(-4). Suppose 0 = 2*g - 7*g + l. Let m be (-2)/5 + g/20. Which is bigger: m or 0?
0
Suppose -3*p = -2*d + 11, -2 = -4*d - 2*p + 4*p. Is -5 equal to d?
False
Let k(o) = -o - 5. Let d be k(-8). Suppose -16 = b + d*b. Let c = b - -8. Do 5 and c have the same value?
False
Suppose -36 = -3*c - c - 4*n, -4*c - 3*n = -32. Let w be (c/(-2))/((-1)/(-2)). Suppose -4*q - 4*k - 16 = 0, 0 = 3*q + k + 17 - 1. Which is smaller: q or w?
q
Let q(l) = l**3 - 4*l**2 + 3*l + 2. Let i be q(2). Is -5/9 at least as big as i?
False
Let q(o) = -o**3 + 2*o**2 - 2*o + 1. Let i be q(1). Which is smaller: i or -1/7?
-1/7
Suppose -4*h - 55 = h. Let k be h/(-2) + (-3)/(-6). Suppose 0 = k*o - 9*o. Is o <= 0?
True
Let q = 585 + -586. Let x = -44/13 + 282/91. Is x smaller than q?
False
Let r = -7 + 11. Which is smaller: 5 or r?
r
Suppose -42 - 73 = 5*a. Is a bigger than -24?
True
Let y(x) = x**3 + x**2 + 2. Suppose 4*b + 6 = b. Let q be y(b). Is q at most as big as -7/3?
False
Suppose -5*u - 3 = -4*i, -2*i + u + 0*u = -3. Suppose 4*z - 8 = 0, -3*b + i*z = 5*z + 21. Let v(l) = l**2 + 8*l - 8. Let x be v(b). Which is smaller: -1/9 or x?
-1/9
Let l be (-482)/(-120) + (-24)/32. Let r = l - 11/3. Is -2/31 bigger than r?
True
Let m = -5 + 4.94. Let a = m + 0.06. Is a less than or equal to 10?
True
Let f(z) = z**2 - 8*z + 10. Let w be f(10). Which is greater: w or 28?
w
Suppose 3 + 2 = -5*t. Let q be (-2)/1*t/2. Let o be 1/(6 + -3 + 6). Is o smaller than q?
True
Let m = 26 - 25. Does m = 10/9?
False
Let g = -6 - -5.99. Let z = 0.99 - g. Is -6/7 not equal to z?
True
Let x = 6 + -4. Let y(z) = -z + 0*z**2 + z**x + 2 - 1. Let h be y(0). Are h and 1/4 nonequal?
True
Let l(m) = 4*m + 1. Let r(s) = s. Let j(t) = -2*l(t) + 7*r(t). Let p be j(-2). Let b = 72/119 + -3/17. Are b and p non-equal?
True
Let x be ((-1)/2)/(6/168). Let p be 3/7 - 8/x. Let v be (4/6)/(3/9). Is v not equal to p?
True
Let s = -2.04 - -0.04. Let x be 7/(-70) + 2/4. Is s < x?
True
Suppose -j + w = 0, -j - 3*j = -2*w - 6. Suppose 4*a - 6*a - j = -i, 0 = -2*i + a + 3. Is 1/4 bigger than i?
False
Suppose 4*c - 3*t + 27 = 0, -2*t = -c - 10 - 3. Let h(k) = -k**2 - 4*k - 4. Let q be h(c). Is q not equal to 0?
True
Let q(p) = -p**2 - 10*p - 11. Let i be q(-9). Which is smaller: i or -3?
-3
Let c be (21/14)/((-3)/(-2)). Let i = 0.12 - 0.02. Is c greater than i?
True
Let i be (3 - 1)/(9/(-18)). Which is greater: -5/2 or i?
-5/2
Let m = -0.132 - -0.092. Which is smaller: -3 or m?
-3
Let y be 27/9*1/(-3). Let n be (2/(-4))/((-1)/(-4)). Let t be n*(10/(-6) - -2). Is y at most t?
True
Let v(x) = -2 - 3 - 4 - 2*x. Let d be v(-6). Is d at least as big as 3/2?
True
Suppose -11*z + 25 = -6*z. Let c(d) = -d + 6. Let j be c(z). Is j smaller than -1/9?
False
Suppose -2*i - 9 = 4*z + 13, 2*z = 8. Is -19 less than i?
False
Suppose -20 - 5 = -5*x. Suppose -2*l + 1 - x = 0. Which is smaller: l or -1?
l
Let t be -26*(-2)/(-4) - 3. Let c = -17 - t. Are 2/11 and c nonequal?
True
Let i be ((-25)/33 + 1)*8/(-16). Which is smaller: 1 or i?
i
Let w be (72/45)/(38/(-10)). Which is smaller: w or -1?
-1
Suppose 2*w + w = 3. Let n be 4 - ((-38)/(-5))/2. Which is smaller: w or n?
n
Let h be (6 + 1690/(-285))*3/(-2). Is h at least 1?
False
Let r(l) = -l**2 - 8*l - 11. Let v be r(-8). Is -34/3 greater than v?
False
Let w = 5/3 + -7/3. Let a(r) = r - 1. Let m be a(3). Suppose 3*b + m = b. Which is greater: w or b?
w
Suppose 0 = z + 4*o - 11, 4 = 3*z - 5*o + 22. Let r be 1/(-1)*7/6. Which is greater: r or z?
z
Let l be (-45)/(-30) + (-29)/2. Do -12 and l have the same value?
False
Let s = -999/464 - -35/16. Let f be (-1)/(-2 + 1) + -1. Is s equal to f?
False
Let r(l) = l + 4. Let y be r(-8). Are y and -30/11 unequal?
True
Let n = -1.97 - -2. Let h = n - -2.97. Let v be 1/(-4) + 11/12. Which is bigger: v or h?
h
Let a be (-30)/(-35)*(-2)/(-6). Let w = -17.8 - -18. Are a and w unequal?
True
Let m = 22 - 47/2. Let x = m - -25/14. Which is smaller: -0.1 or x?
-0.1
Let l(h) = -5*h**2 + 3*h - 2. Let v be l(1). Is v <= -4?
True
Let q = -1.2 + 0.2. Let o = -0.04 + -0.36. Let w = o + 0.4. Is w at least q?
True
Let n = -6 + 10. Let l be (5/(-6))/((-20)/(-24) - 1). Which is smaller: l or n?
n
Suppose -5*f - 18 = r + 95, 4*f = 2*r + 282. Let a = r - -668/5. Which is smaller: -2/3 or a?
-2/3
Let s = -33.48 + 32. Let b = s - -0.08. Is b at most as big as 0?
True
Let y(l) = -l + 11. Let d be y(8). Let k be d/(-7) - 32/(-91). Which is smaller: 0 or k?
k
Let w = 17 - 32. Is w > -15?
False
Let g(s) = -s**2 + 6*s + 9. Let b be g(7). Suppose 0 = 2*y - 3*y + b. Let z be ((-6)/3)/(4/y). Does z = -1/7?
False
Let i be (3/(-6))/(2/(-4)). Let q be i*(-3)/(-5 - -2). Which is greater: q or 1/8?
q
Let c(o) = -o + 2. Let s be c(3). Let z be (3 - 0)/(2 + -3). Let j be (-26)/30 - (z + 2). Is j less than or equal to s?
False
Suppose i + 4*o = 6, 2*i = o + 5 + 7. Let n be (-3)/(3 - 21/6). Is n at most i?
True
Suppose 5*d + r = 122, r = -0*d + 5*d - 118. Let v = 57480/7 + -8235. Let j = v + d. Is 1 greater than or equal to j?
True
Let r(n) = 2*n**2 - 12*n + 8. Let h(x) = -3*x**2 + 18*x - 12. Let a(f) = 