8)/(-2) + 6/(-2). Let i = 267427 + -16847279/63. Let v = i - 88/9. Are l and v non-equal?
True
Let x = 20.059 + -20. Is x greater than 1?
False
Let r(n) = n**2 + 7*n + 9. Let m be (14/(-4))/(5/(-40)). Suppose -m = 3*z - 10. Let l be r(z). Which is bigger: l or 2?
l
Suppose 0 = 2*j + 2*j - 16. Let l(q) = q - 3. Let r be l(11). Let x be 4/r - 6/(-2). Which is smaller: j or x?
x
Suppose 8 = p - 0. Is p bigger than 10?
False
Let r be 6/4*(-2)/(-6). Let m be (0 + -9)*2/2. Let q be (3/m*-2)/2. Is r > q?
True
Let g = -6 + 3. Let y be 1*0/g*1. Let t = 0.06 + -0.06. Is t less than or equal to y?
True
Let j be (3/4*1)/((-5)/4). Let l(w) = 2*w**3 - 2*w**2 - 3*w + 2. Let c be l(2). Suppose t + t = -c. Do t and j have the same value?
False
Let r = -0.07 + -3.93. Let x = r - -4. Let l = 0.1 - x. Which is smaller: l or 2?
l
Let j be 14/(-35) - (-38)/(-5). Let b = j + 7. Which is bigger: -3 or b?
b
Suppose 3*r + 2*r + 15 = 0. Let k be (-1)/(1 + -2) - -2. Let m be (1 - 6/k) + -1. Is r greater than or equal to m?
False
Let v = -38 + 33. Which is smaller: v or 4?
v
Let a = -8 + 7. Let d be 1 + (-8)/(-10) + a. Which is smaller: 1 or d?
d
Let n be (-2)/(0 + (-3)/6). Let t = -2 + n. Suppose t = -r - 0. Which is smaller: -2/5 or r?
r
Let b = 443/812 + 3/116. Are b and 0 equal?
False
Let u(r) = 7*r**2 + 8*r - 8. Let t(z) = z**2 + z - 1. Let x(m) = 6*t(m) - u(m). Let g be x(-3). Let v be (-2 - (-6)/4)/1. Which is greater: g or v?
v
Let t be 8/(-4 - -6)*2. Which is greater: t or 6?
t
Let h(y) = -3*y + 47. Let z be h(17). Which is smaller: -6 or z?
-6
Suppose 0*l = 4*l. Let m be 2/((-84)/(-27)*(-6)/(-4)). Which is smaller: l or m?
l
Let h be (8/(-3))/((-3)/9). Let g = 179 + -171. Is g >= h?
True
Let l(r) = -3*r + 10. Let i be l(3). Let q = -2/175 + 72/175. Is i at least q?
True
Let q(o) = 2*o**2 + o**3 + 4*o - 2*o + 0*o + 3. Let t be q(-2). Let p = -10 + 9. Is p greater than t?
False
Suppose 4*w - 61 = 4*k - 21, -w + 3*k = 0. Suppose -3*d = -3*l + w, 0 = 2*l + d - 0*d + 5. Are l and -1 nonequal?
True
Let r = 0 + -7. Which is greater: -4 or r?
-4
Let p(v) = v**2 + 10*v + 20. Let w be p(-7). Is w less than 18/29?
True
Let z(i) = i + 9. Let d be z(-8). Let y be 28/(-20) - (d - 2). Which is smaller: -1 or y?
-1
Let h = -22 - -44. Let v = -87/4 + h. Is v equal to -0.2?
False
Suppose 0 = -q - 4*q + x + 55, 0 = -2*x. Which is greater: -2 or q?
q
Suppose 0 = h + k, k = 2*h + 5*k - 2. Let a be ((-38)/2 - -1) + 2. Let z be 3/(27/a) + 2. Is h at least z?
False
Let x be ((-4)/(-2))/(2 + -4). Which is bigger: 2/23 or x?
2/23
Let v be (-16 - -10)*(-2)/3. Let l(d) = -d**2 + 2. Let o be l(-2). Let g = v + o. Do 3 and g have different values?
True
Let s be 4/(-1) + (-1 + -6 - 22). Is s >= -31?
False
Let k = -5 - -2. Let l = -3.2 - k. Which is smaller: l or -2?
-2
Let h = -15 + 13. Is 1/10 > h?
True
Let f = -1375/78 + -1/26. Is -18 < f?
True
Let s(a) = a - 7. Let o be s(12). Suppose 6 = o*d - 14. Is 9/2 > d?
True
Let w be 75/12 + (-1)/4. Let h = -2.77 - -0.77. Which is greater: w or h?
w
Suppose 4*g - z = 4*z + 94, 5*z - 140 = -5*g. Let b = -25 + g. Let a = 3/11 - 4/11. Which is bigger: b or a?
b
Let p(m) = -m**3 - 6*m**2 - 4*m + 3. Let g be p(-5). Let h = 3502 - 6863/2. Let k = -72 + h. Is g greater than k?
False
Suppose -9 = -g - 8*g. Which is bigger: 1/16 or g?
g
Let t = -2.8 + -0.2. Let g be 1*((-13)/4 + 3). Is t bigger than g?
False
Let j = -1/8 - 3/4. Which is smaller: j or -0.1?
j
Let j = 108 + -108. Are j and -21/8 equal?
False
Let w = -2 + 6. Let u = -3.6 + w. Let g = 0.4 - u. Do 0.2 and g have the same value?
False
Let s(l) = l**3 + 7*l**2 + 5*l - 3. Let c be s(-6). Suppose -2*n - c = 1. Is -4 >= n?
False
Let p = -5 + 9. Let l(f) = -f**2 + 5*f - 4. Let r be l(p). Which is bigger: r or 1?
1
Let w be (46/(-4))/((-7)/14). Let f = -24 + w. Is f smaller than 2/35?
True
Suppose 9*a - 6*a = 0. Do a and 6/13 have different values?
True
Let i(k) = -43*k + 1. Let t be i(-5). Let s be 4/22 - t/(-22). Let q be 2/s + 9/(-195). Is q equal to 0?
False
Let k = -87/2 + 271/6. Suppose 4*h - 3*w = 0, 3*h + 4*w = 1 + 24. Is k <= h?
True
Let b be ((-412)/(-8))/((-2)/4). Let z = b - -827/8. Are -1 and z unequal?
True
Let h = -0.05 + 0.35. Let f = h + -0.4. Let s be -2 + 5 - (-26)/(-10). Which is smaller: f or s?
f
Let r be (1 - 1) + 6 + 0. Suppose -2*n - 2*m = -6, -2*n + 21 = n - 3*m. Suppose n*k - 21 = 2*k. Is r less than or equal to k?
True
Let m(r) = -2*r + 1. Let v be m(1). Let u(k) = -3*k + 9. Let c be u(6). Let h(n) = -n - 9. Let f be h(c). Which is greater: f or v?
f
Let k be (0/(-3))/(2 - 0). Suppose k = -2*z + 6*z - 8. Suppose -4*m - 14 = 2*a, -5*m - z*a - 11 - 4 = 0. Which is smaller: -4 or m?
-4
Let v = 656 - 7202/11. Which is bigger: v or 1?
v
Let c = -15 - -11. Let k = c - -6. Let p = 3 - k. Is p < 5/4?
True
Suppose 3*q + 24 = -3*q. Is q >= -6?
True
Suppose 1 = 3*t - 2. Suppose -7*p + 4 = -3*p + 2*j, 4*p + 5*j + 8 = 0. Suppose 0 = p*q - 5*v - 5, 1 - 5 = q + 4*v. Is q greater than t?
False
Let i = 1.1 + -0.1. Let l = 0.023 - -0.377. Which is greater: i or l?
i
Let d = -4 - -6. Suppose 0 = -4*s + 2*j - 6 - 2, -5*s - d*j = -8. Which is greater: 3/5 or s?
3/5
Let d(a) = -a**3 - 5*a**2 + 5*a - 2. Let f be d(-6). Let i be (-48)/36 + (-38)/(-6). Which is smaller: i or f?
f
Let h(z) = -5*z - 76. Let b be h(-16). Let r be 306/105 - 4/(-14). Is b != r?
True
Let v = 86 - 62. Is v < 0?
False
Suppose -24 = 71*h - 75*h. Which is smaller: h or 5?
5
Suppose d = 2*d. Let h be 4/(-14) + 18/63. Is h bigger than d?
False
Let t(g) = 4*g**2 + 9*g - 6. Let u = 18 + -12. Let v be t(u). Let m = 1346/7 - v. Which is greater: m or 0?
m
Let y be 0 - -24 - (1 - 3). Let r = 20 - y. Which is smaller: r or -5?
r
Suppose -4*z = -3 - 5. Let h be (z - 1) + 3 + 0. Is 2 bigger than h?
False
Let c(h) = h**3 + 6*h**2 + 3*h - 7. Let u be c(-5). Suppose -2*t + u*m + 6 = -t, 4*t = 4*m. Is -3 bigger than t?
False
Let g(u) = u**2 - 4*u - 2. Let i be g(5). Suppose -5*m - 3*k = -k - 3, 0 = -i*m - 3*k. Suppose o - 3 = m. Is 3 at least o?
False
Let k = -5 - 1. Let o be (k/(-14) - 0)/(-1). Which is smaller: o or 0?
o
Let c = -67 + 129/2. Are c and -7 unequal?
True
Let i be (-2 - 1)/((-75)/(-15)). Which is smaller: 0 or i?
i
Let y = -1.6 - -7.6. Which is smaller: y or -0.2?
-0.2
Let x = 2.8 - 3. Suppose -5*i - 8 = 2*r, 5 = i + 7. Is x < r?
True
Let x(l) = l**3 + 4*l**2 - 5*l. Let w be x(-5). Suppose 5*r - 5*a - 15 = w, -4*r - 24 = -0*a + 5*a. Is r at most as big as -7/3?
False
Let f be 12/32*(-1)/4. Is 0 less than f?
False
Let i(b) = -b**2 - 2*b**2 + 0*b**2 - b + 6 + 2*b**2. Let l be i(-6). Let w be l/(-9)*1/(-4). Which is smaller: -3/5 or w?
w
Let f(n) = -n + 5. Let s be -2*3/(-6) + 4. Let a be f(s). Let l be (1 + a)*6/(-18). Which is greater: -1 or l?
l
Let t(g) = -g**3 - 3*g**2 - 2*g - 1. Let w be t(-1). Suppose x = 2*x - 6. Let h(r) = r**3 - 6*r**2 - 2. Let k be h(x). Is k > w?
False
Let x = -995/4 - -247. Let q = -13/12 - x. Let s be 0/(-3 + 3 - -1). Do s and q have the same value?
False
Let f = 1 + 1. Let y = 119/18 - 41/6. Which is bigger: f or y?
f
Let h(l) = -l**3 - 9*l**2 - 9*l - 8. Let g be h(-8). Which is smaller: g or -4/9?
-4/9
Let l = -7 - -14. Let x = l - 10. Is x < -4?
False
Let f = -15 + 21. Suppose 5*n = -o - 32 + 12, 0 = -2*o - 5*n - 15. Is f greater than or equal to o?
True
Suppose -2*p = 4*c - 14, -2*c + 0 = -2*p + 2. Which is greater: 11/4 or p?
p
Let z be 5/(-10)*-3*(-22)/(-3). Is z < 15?
True
Let h = -0.21 + 0.54. Let g = h + -0.13. Is g >= -1?
True
Let k(l) = l**3 + 2*l**2 + l + 1. Let j be k(-1). Let v be (-2)/(-1*(-1)/(-2)). Suppose v = 4*m + 4*g, 3 = m + 4*g - 1. Is j at most m?
False
Let d be 9/15 - (-2)/5. Is 0.2 equal to d?
False
Suppose 26*x + 156 = 676. Which is smaller: 2 or x?
2
Let r = -29 + -3. Let n be (12/r)/(6/4). Which is smaller: n or -3/11?
-3/11
Let y(w) = -w + 2. Let f be y(5). Let t(v) = -v**3 + v**2 + v. Let z be t(2). Is z at most as big as f?
False
Suppose -14 + 4 = -2*f, 2*x + 10 = 4*f. Suppose 5*m = -2*w - 0 - 1, -3*w - x*m = 4. Are w and -2 equal?
False
Let a(z) = z**3 - 11*z**2 - 10*z - 8. Let w be a(12). Suppose 0 = v - 6*v + f - 23, v = 4*f - w. Is -5 less than v?
True
Let u = -3.9 - -0.9. Which is smaller: 6 or u?
u
Let p be -5 + 2 + 4/1. Which is smaller: 1/5 or p?
1/5
Supp