 d be l(4). Suppose -3*x + d + 4 = 0. Let n = 6 - 16/3. Which is bigger: n or x?
x
Let z = 88 + -138. Let a = z - -352/7. Is a != -4/9?
True
Let a = -18 - -18. Let y = -0.1 + 0.3. Let i = 0 - y. Which is greater: i or a?
a
Let n = 26.1 + -26. Is n != -0.02?
True
Let n = -125972 - -6928773/55. Let w = 2987 - 32801/11. Let i = n - w. Is i greater than 1?
False
Let y = -0.34 + 0.3. Let m = 47.86 + -48. Let j = y - m. Is 0 equal to j?
False
Suppose -2*a = a - 3. Let x = 13 - 13. Suppose 4*c - 3*c - 2 = x. Which is smaller: a or c?
a
Let m = 0.03 - -0.97. Let q(t) = -28*t**2 - 2*t - 1. Let n be q(-1). Let i = n + 161/6. Which is smaller: m or i?
i
Suppose -3*w - 20 - 1 = 2*c, -3*w + 4*c = 3. Are w and 0.5 non-equal?
True
Let n = 3 + -1. Suppose 5*c + 2*b = -20, 2*c - n*b - 14 = 4*c. Is -0.3 bigger than c?
True
Let o = 0 + -1. Let h be -2 + ((-6)/(-8) - o). Is 1 at least h?
True
Suppose 2*y - 2*h + 10 = 0, 2*y + 19 = -2*h - 11. Let g = 17 - 26. Which is bigger: g or y?
g
Let u = -314/55 + 54/11. Is -1 at most as big as u?
True
Let t(k) be the first derivative of k**2 - 4*k + 4. Let u be t(0). Is u <= -4?
True
Let m = 11 - 15. Let o = m + 4.2. Which is smaller: -1 or o?
-1
Suppose 9 = -3*t - 3, -t + 23 = 3*q. Is 38/5 at most as big as q?
True
Let l be 15/((-2 - -4)/1). Let n = l - 31/4. Which is smaller: 1 or n?
n
Let q = -2 + 3. Suppose 2*c + v - 10 = 3, 4*c - 21 = -3*v. Let k be 2/c + 2/(-9). Is q less than or equal to k?
False
Suppose 5*p - j = -20, -2*p - 4 = j + 4. Let v be 1/((-3)/((-12)/p)). Which is smaller: 2/7 or v?
v
Let b = -304/65 - -66/13. Let r be (-31)/310 + 19/40. Which is smaller: b or r?
r
Let k = 0.3 + -1.3. Is -1 at least as big as k?
True
Let f be (-1*13)/(2 + -1). Let l be (-13 - f) + 4/6. Is -1/7 at least as big as l?
False
Let c be (-6)/(-4)*8/3. Suppose -2*t + 8 = -0. Is t smaller than c?
False
Suppose -3*z - 152 = -7*z. Which is bigger: z or -0.1?
z
Suppose 3*h - 2*w = -11 - 45, -2*h + 5*w = 52. Let z be (6/(-4))/(4/h). Let r be 3/18 + z/4. Are 1 and r nonequal?
True
Suppose -2*r = x + 32, 27 = -5*r - x - 50. Let v = 3 - 4. Which is greater: v or r?
v
Let w = -8 - -15. Let v = w - 7.1. Which is smaller: v or 0.1?
v
Suppose 0 = -2*s + 5*v - 26, -5*s + 2 - 1 = 4*v. Suppose -3*r - 4 = -10. Suppose r*f + f = -3. Which is bigger: f or s?
f
Let b = 27 - 27.2. Which is bigger: 0.5 or b?
0.5
Let d = -17/1488 + 1/31. Is 1 greater than d?
True
Let w = -5 + 0. Let p = 3 + w. Let i be (-1)/p*2/3. Is i at least 1?
False
Let w(q) = q**3 + 6*q**2 + 5*q. Let p be w(-5). Suppose 5*l + r - 20 = 0, 5*l - r + p - 10 = 0. Let o be (l/(-2))/(4/(-8)). Is 3 at least as big as o?
True
Suppose y + r - 33 = -4*y, 3*r - 3 = y. Suppose -4 - y = -5*w. Let c = 92 + -90. Does c = w?
True
Let p = -2299/2 + 1129. Suppose -3*f + 43 = -3*j + 121, 4*j + 2*f - 74 = 0. Let n = p + j. Is 0 < n?
True
Suppose 0 = -o + 5*h - 18, -4*o = o - h + 18. Is 0 greater than or equal to o?
True
Let g = -157 - -115. Which is greater: g or -41?
-41
Let r = 6 - 4. Suppose h + 2*n + 8 = 0, r*n + 12 = 5*h - n. Which is greater: h or -2/45?
h
Suppose 2 = q + q. Let c = 7/12 - -1/12. Is q <= c?
False
Suppose -3*j + 12 = -0*j. Let m be ((-1)/1)/((-10)/j). Let a be ((-143)/1001)/((-2)/(-6)). Is a at least as big as m?
False
Let l = -0.1 - -0.1. Let t = 13183/430 + -540/43. Let a = -37/2 + t. Is a smaller than l?
True
Let o = 1 + -3. Let q(h) = -h**3 - 3*h**2 - 4*h - 3. Let n be q(o). Let p = 1 - 1. Which is bigger: n or p?
n
Let f = -0.2 + 0.1. Let s = 0.1 + f. Let j = 1 - s. Is j > 1?
False
Let a(l) = -34*l**2 - 3*l + 3. Let y be a(2). Let o = 2364/17 + y. Which is smaller: -1 or o?
-1
Let o(s) = -s**3 - 3*s**2 - s. Let m be o(-1). Which is smaller: m or -1/23?
m
Let y(k) = k**3 + k**2. Let c be y(0). Let a be ((-9)/(-30))/(4/330). Let l = a + -25. Is l not equal to c?
True
Let a = 5 + -2. Let m be 9*a*(-4)/18. Are -7 and m equal?
False
Let p = 17 + -18. Is p smaller than -2/17?
True
Suppose 0 = -0*i + 2*i + 3*d - 57, 3*d + 63 = 2*i. Let c be (-45)/i*(-20)/(-18). Which is bigger: -1 or c?
-1
Let q be (8/(-6))/((-10)/(-60)). Let h(v) = v**2 + 8*v + 2. Let x be h(q). Let f = 0.1 - 0.1. Which is bigger: x or f?
x
Let w = -4 - -7. Suppose 0 = -w*y - 3*a - 12, 3*y - 2*a = -a - 20. Let s be 3/(-2 + 51/y). Is s >= 1?
False
Suppose -6*v = -4*v + 24. Let i be (-14)/v - 1/6. Suppose -8 = 4*p, 2*w + 0*w - 6 = 4*p. Do w and i have different values?
True
Let r = -0.2 - 1.8. Let w = r + 2. Let l = 0.2 + w. Which is smaller: -2/7 or l?
-2/7
Let j(r) = r + 5. Let k = 6 - 12. Let m be j(k). Let t = 0.3 - 0.2. Which is smaller: t or m?
m
Let w be -1 + -1*2*-9. Suppose -5*a = -4*h - w, -5*h + 6*a = 4*a. Suppose -f + 4*m + 5 = 0, h*f - 10 = -2*m - 0*m. Which is smaller: 1 or f?
1
Let h(u) = u + 13. Let p be h(-9). Let z be ((-1)/2)/(p/(-8)). Which is smaller: 2/7 or z?
2/7
Let a(y) = -2*y + 3*y - 3*y**2 + y**2 + 3*y**2 - 3. Let b be a(2). Which is greater: b or -1/2?
b
Let d be (-32)/(-18) - 6/(-27). Let p be (-3 - -2) + d + 1. Suppose 4*i - 16 = -4*g, -14 = -5*g - 4. Is i greater than or equal to p?
True
Let m = -213/2 + 104. Let f = 816 + -818. Are m and f non-equal?
True
Let p = 0.48 - 0.78. Let k = -1.1 - -0.1. Let y = -1.1 - k. Which is bigger: y or p?
y
Let h be 34/(-36) + 0 + 1. Suppose 2 = 2*x - 5*d, 3*x - 2*d - 3 = -0*x. Is h >= x?
False
Suppose 41 = 15*b + 296. Is b at least -14?
False
Suppose 0 = -3*u - 4*z + 2*z - 101, u - 3*z = -52. Is -37 greater than or equal to u?
True
Suppose 0*p = -p + 2*f - 5, 3*f = 2*p + 6. Suppose -p*m = -0*m - 9. Let n = -24 - -27. Is m != n?
False
Let c(w) = w**2 + 6*w - 6. Let o be c(-6). Let a(t) be the third derivative of -t**5/60 - t**4/4 - t**3/3 + 6*t**2. Let p be a(o). Does p = -2?
True
Let k = 6 - 9. Let u be 0 - (6/k)/(-2). Which is greater: -1/6 or u?
-1/6
Let i = 10 + -5. Suppose -i*l = -6*l. Which is bigger: -2/5 or l?
l
Let g be (7/((-105)/(-36)))/(2/(-15)). Is -19 less than or equal to g?
True
Let t be (-1181)/(-385) - (-12)/(-4). Let h = -4/35 - t. Let w = -3 + 2. Does w = h?
False
Let x = -25 + 4. Is -21 at least x?
True
Suppose -2*x = 4*q + 10, x = q - x. Let h(j) = -3*j**3 - 1. Let b be h(1). Is b less than q?
True
Let k be (-2)/(-7) + 16/(-7). Let o = 3 + -4. Which is smaller: o or k?
k
Let r be (-2)/(-3) + (-84)/18. Let d be 210/(-156) - 6/r. Are -1 and d nonequal?
True
Let i = 250/3 - 84. Which is smaller: -0.1 or i?
i
Let s(j) = -j + 1. Let d(n) = 1. Let l(k) = -4*d(k) - s(k). Let x be l(7). Which is greater: x or -0.1?
x
Let q = 8 - 7. Let l be q/9*(3 + 3). Is l at most as big as 13?
True
Let r = -166 + 1496/9. Which is smaller: r or 0?
0
Let w(n) = n**2 - n + 2. Let c be w(2). Suppose -4*f + c = -16. Is 5 <= f?
True
Let m = 10 + -9. Is m smaller than 6/7?
False
Suppose 5*i + q = 16, 0 = 2*i - q - 0*q - 5. Let y be -18*2/(-4) + i. Let n be ((-4)/y)/((-22)/(-36)). Is n != -0.1?
True
Let r(k) = -k + 42. Let i be r(-13). Is i greater than 55?
False
Let g(t) = -t**2 + 21*t - 20. Let k be g(20). Which is greater: 4/15 or k?
4/15
Let l = -2.05 - -2. Let j = -2.05 - l. Let s = j + 3. Is 2 equal to s?
False
Let h = -0.5 - 0.9. Let t = -0.037 + 0.437. Let c = h + t. Is 3 not equal to c?
True
Let m = 4 + -4.5. Let p = m + 0. Let j = 1.5 - p. Which is bigger: -2/5 or j?
j
Let n = 5 - 7. Let o be n/21*18/(-6). Which is greater: 0 or o?
o
Let k = 111358/35 - 3182. Let x = k + 22/105. Is -1 less than or equal to x?
True
Let w = -7.1 + 7. Let v = -9/2 + 23/6. Is w smaller than v?
False
Let w = -0.152 - -3.152. Are w and -2/17 equal?
False
Let s be (5 - 1) + 41/(-10). Does s = -1?
False
Let t = 1.01 - -0.99. Which is bigger: -1.7 or t?
t
Let l = -1.9 - -1.7. Is l at least 4?
False
Let y(g) = -g - 1. Let v be y(-6). Suppose v*o = -1 - 4. Let d = -155/4 + 39. Which is greater: o or d?
d
Let n be ((-52)/(-8))/((-1)/4). Which is bigger: n or -27?
n
Let y(p) = -3*p + 1. Let u be y(-1). Suppose 0*s + u = -4*s. Is s greater than -1?
False
Let w = 0 - -2. Let c = w + -4. Let t = -165 - -657/4. Is c > t?
False
Let w(z) be the first derivative of -z**4/4 + 7*z**3/3 - z**2/2 + 8*z - 2. Let u be w(7). Let t = u + 0. Which is smaller: t or 2?
t
Let w(h) = h + 3. Let f be w(-7). Let a = -28 + 24.1. Let c = a + 4. Is c > f?
True
Let h = 35 - 35.2. Is 7 greater than h