
False
Let x be (2 - 265/85) + 1/1. Is -6 greater than x?
False
Let r be ((-48)/(-18))/((-4)/(-6)). Suppose -3*u + u - r = 0. Let n be (-2)/u*(-6 + 2). Is -4 at least n?
True
Let y = -2 + 1.4. Let l = y - -1.2. Let o = -0.7 + l. Is o at most -3?
False
Let i = -19.17 - -19. Let d = i - -0.27. Which is bigger: d or 2/5?
2/5
Let o = -2708 + 159776/59. Is -1 at least as big as o?
False
Let b = 80/9 - 3013/342. Which is bigger: b or 0?
b
Let n be (0 + 0)/(-1 - (-7 - -8)). Is n greater than 1/3?
False
Let d(g) = g**3 - 5*g**2 + g - 10. Let r be d(5). Is -34/7 at most as big as r?
False
Let u(r) = -r**3 + 3*r**2 - 4*r + 2. Let p be u(2). Is -10 greater than or equal to p?
False
Let b = -1.97 + -0.03. Let t = -1.9 - b. Let k be (9/(-36))/((-33)/(-24) - 2). Do t and k have different values?
True
Suppose p - 54 = 50. Is p less than 104?
False
Let w = -0.12 - 6.88. Let h be ((-15)/(-30))/((-2)/4). Which is smaller: w or h?
w
Let a(y) = y + 1. Let m be a(-1). Let t = -1.2 - -1. Which is greater: m or t?
m
Let u = -8 + 11. Let a be 4/6 - (-4)/u. Is 2 smaller than a?
False
Let t(h) = -h**3 - h**2 + h - 2. Let c be t(-2). Which is bigger: c or -3?
c
Let o = 2 - 1. Let u = -69796/5 - -13914. Let z = -45 - u. Is z not equal to o?
True
Let o(n) = -n**2 + 9*n + 23. Let m be o(11). Is 3/26 at least as big as m?
False
Suppose 3*c = -2*b + 7*b + 15, 3*c - 15 = 4*b. Let z be (-3 - (-21)/c)*-1. Is -1 >= z?
True
Let v be (-990)/48 + 3/24. Let k = v + 20. Is 1/2 < k?
False
Let y = 15 - 22. Is y <= -9?
False
Suppose 0 = -3*j - 5*w + 5 + 3, -3*j + 2 = -w. Let s be 4/(-2) - 100/(-2). Let u be 1*s/15 - 3. Is u less than j?
True
Let j(i) = i**3 + 5*i**2 + 6*i + 4. Let m be j(-4). Let x = -30 - -45. Suppose b = 4*b + x. Which is smaller: m or b?
b
Let j = 75 + -75. Which is smaller: 7/5 or j?
j
Let r = -1 - 0.4. Let d = r - 0.6. Let x be (-2)/(-4)*2/(-4). Is d less than x?
True
Let n(s) = 4*s - 55. Let l be n(12). Which is bigger: l or -37/5?
l
Let d = -4.2 + 4. Let p = -0.07 - -0.07. Is p at most d?
False
Let y(i) = 11*i**2 - 3*i**2 - 4 - 9*i**2 - 8*i. Let c be y(-7). Let f be c*(-1)/(54/4). Which is greater: f or 1?
1
Suppose 3*c = 21 - 57. Let f be c/9*573/70. Let j = 56/5 + f. Which is smaller: j or 0?
0
Let k = 226 + -222. Which is bigger: 20/7 or k?
k
Let t = -1.1 + 0.1. Let y be (-2 - -2) + 0 + -1. Let f = 0 - y. Which is bigger: t or f?
f
Let f be -3 - (-3 + -9 - -2). Let o = -36 + 67. Suppose 0 = 5*a + v - o, a - 4*a - 4*v + 22 = 0. Which is greater: a or f?
f
Let j be -1 - -2 - (0 + -1). Suppose 5*t - 2*z = -5*z + 30, -4*t = 4*z - 24. Suppose -4*m = 2*w - 14, t*w - 21 = w - 3*m. Are j and w non-equal?
True
Let l = 3 - 1. Let j = l - 12/7. Is j bigger than 0?
True
Let l be 2/(-10)*10/(-4). Let v(a) = -a**3 - 1. Let y be v(-1). Let m = l + y. Is 0 smaller than m?
True
Let r be (-3)/5*(-120)/(-108). Suppose -c = q - 6*q, 0 = -2*q. Are r and c non-equal?
True
Let y = -29 - -17. Let g = -7 - y. Is g at least as big as -2/5?
True
Suppose -2*b + 4 = 0, -2*b + 4*b - 4 = 4*g. Let i be 1 + 1*4/(-3). Which is greater: g or i?
g
Let t = -0.2 + -0.1. Let l = -8.7 + 8. Let y = l + t. Are y and 2 unequal?
True
Let q be 2/(-6) + 1/2. Let g(d) = -3*d + 12. Let x be g(4). Which is smaller: q or x?
x
Let v be (-18)/(-4) + (-1)/2. Let m = -3 + v. Let g be (0 + (-2)/(-1))/1. Which is smaller: m or g?
m
Suppose 24 = 2*p + 5*a, -5*p + 0*a + 45 = 5*a. Let r = 7 - p. Do 1/6 and r have different values?
True
Let m(f) = f**3 - 6*f**2 + 9*f - 4. Let o be m(4). Which is smaller: -8/11 or o?
-8/11
Let d(o) = -o**3 + 6*o**2 - 2*o + 7. Let l be d(6). Let x(v) = v**3 + v**2 + v + 8. Let w be x(0). Let t be (w/10)/((-14)/105). Which is greater: t or l?
l
Suppose 0 = -2*a, 35 = 3*g - 4*g - 5*a. Let i be (14/g)/((-14)/5). Is 1 at most as big as i?
False
Suppose 0*s + 4 = 4*s. Let l = -14/5 - -16/5. Do l and s have the same value?
False
Let j be 60/462 + (-1)/7. Is j > 1?
False
Suppose f - 4*f - 3*h + 6 = 0, -5*h + 8 = 4*f. Suppose -6 = -f*w + 2. Let y = w + -5. Is -2/5 < y?
False
Let a = 30/73 - 896/1825. Suppose -2*x - 3*i = -3*x - 6, 0 = -3*x + 3*i. Let y = x - 3. Which is bigger: a or y?
y
Let l(n) = -3*n - 3. Let t be l(-2). Suppose 3*b + 0*b - 6 = 0. Which is smaller: t or b?
b
Suppose 0 = -486*r + 493*r + 105. Let l = 0.8 - -0.2. Is r at most l?
True
Let o = 0.114 + -0.114. Let k = 6/11 + -1/22. Which is greater: k or o?
k
Let s(z) = -z**3 + 7*z**2 - 5*z - 6. Let m be s(6). Let n(j) = -j**3 - 4*j**2 + 6*j + 5. Let q be n(-5). Suppose 2*y + 8 + q = m. Is y <= 0?
True
Suppose -3*k - 6 = -0*k, -5*k + 2 = -4*l. Let s be (-4 - l)*(-18)/(-3). Let r(x) = -x - 1. Let b be r(4). Which is greater: b or s?
b
Suppose 5*m - 2 = -4*o, 2 = -m - 4*o - 4. Is 1 bigger than m?
False
Let h(g) = -g + 2. Let m be h(2). Let f(a) = a**3 - a - 2. Let w be f(m). Let z be 21/(-12) + (-2)/8. Is w >= z?
True
Let y(u) = 6*u + 51. Let w be y(-12). Is -20 != w?
True
Let v(g) = 6*g**2 - 9*g - 1. Let f(u) = -u**2 + 2*u. Let i(b) = -11*f(b) - 2*v(b). Let z be i(-4). Which is bigger: 3 or z?
3
Let o = -0.45 - 0.05. Suppose -19 = 2*z + 3*q, -2*z = -2*q - 9 + 3. Let l = z + 2. Which is smaller: l or o?
o
Let j = -3/760 + -12121/9880. Which is smaller: j or -1?
j
Let u(y) = y + 6. Let m be u(-5). Let q be m - -2 - (1 - -3). Which is bigger: q or 7?
7
Let n = -668/5 - -138. Is 5 less than n?
False
Suppose 5 = -2*t + 3. Which is greater: t or 2/9?
2/9
Let v = -1.4 + 1.2. Which is smaller: v or 1/5?
v
Suppose 6 = -5*p + 4*c, 8 = -3*c + 5*c. Let x = 182/3 - 541/9. Is x >= p?
False
Let r = -225 + 451. Let g be (32 + 0)*(-254)/36. Let w = g + r. Which is smaller: w or 0?
0
Let z = -265 + 4237/16. Is 1 >= z?
True
Let q(m) = m**2 - 8*m - 5. Let k be q(8). Are -5 and k non-equal?
False
Let p = 134.877 + -142.13. Let v = -0.047 + p. Let u = v + 7. Are u and 0 nonequal?
True
Let p = 1 + 0. Let b = 1.1 + 1.4. Let o = b + 0.5. Are o and p non-equal?
True
Suppose 2*n - 34 = 3*u - 8*u, 4*u = 5*n + 14. Suppose 2*w = u*w + 4. Which is greater: -11/5 or w?
w
Let l(i) = -i - 5. Let h be l(-5). Let n = -1 - h. Is n not equal to -0.3?
True
Let q be 41/(-19) + (-16)/(-8). Is q less than or equal to 0?
True
Let y = -6 - -17. Let s = y + -7. Suppose -4*o + 16 = 0, 4*w - 8 = -0*w - s*o. Are -2 and w equal?
True
Let q = -21 - -21. Which is bigger: -2/55 or q?
q
Let j be (0/1 - -2) + -3. Let x(p) = -p**2 - 2*p + 1. Let q be x(-2). Let b be q/1 + 16/(-4). Which is smaller: j or b?
b
Let z be (-2)/(0 - 4/10). Let y = z - 1. Let d be y/10*(-15)/(-12). Which is greater: d or 0?
d
Let s = 64 - 35. Is s < 29?
False
Let b(t) = -t**2 - 5*t + 8. Let c be b(-7). Is -6 less than c?
False
Let k = 3 - 2. Let c be (2 + -1 - (-2 - 0)) + -1. Which is smaller: k or c?
k
Let u = -2 - -4. Let f = 10 + -6. Suppose z + f*z - 10 = 0. Is u greater than z?
False
Let r be 9/(-20)*(-92)/318. Let f = r + 1/318. Which is greater: f or -1?
f
Let f be -2*3/(-21) + 330/21. Which is smaller: f or 46/3?
46/3
Let h be (-1)/(1 - (-4)/(-8)). Is h at most -0.14?
True
Let k = 3 - 3.2. Let h = 21 - 20.99. Let w = h + 0.99. Is k less than or equal to w?
True
Let l(m) = 2*m**3 - 1. Let g(y) = y**3 + 9*y**2 + 8*y. Let c be g(-8). Suppose c = b + 1. Let u be l(b). Does 0.1 = u?
False
Let u(k) = -k**3 - 21*k**2 + 3*k - 6. Let n be u(-21). Is n smaller than -68?
True
Let z = 86 - 177/2. Is -3 >= z?
False
Let t = 6 + -10. Let g = 21 - 15. Let m = t + g. Which is greater: 0 or m?
m
Suppose -5*v - 2*p - 17 = -0*v, 5*v = 3*p - 37. Let c(t) = -t - 7. Let u be c(v). Let j = 73 + -223/3. Is j >= u?
True
Let u(s) = s**3 + 5*s**2 - 8*s - 8. Let f be u(-6). Let k(d) = -6*d**2 + 2*d + 1. Let h be k(-1). Let c = h - -10. Which is greater: f or c?
f
Let f(x) = x**3 + 3*x**2 - 2. Let u be f(-2). Suppose 19 + u = -3*o. Is o greater than -8?
True
Let b(v) = -2*v - 7. Let k be b(-6). Suppose 2 = 3*f - k*f. Which is smaller: 0 or f?
f
Let m(c) = -c**2 + 7*c + 8. Let d be m(8). Let i be (-1)/(-3) - (-1 - -2). Is d at most as big as i?
False
Let w = 19/9 - 212/99. Is 0 bigger than w?
True
Let x = 5 - 5. Suppose 3*r - 9 = x, -14 = 4*q - r - r. Are q and 4 non-equal?
True
Let d be ((-2)/(-8))/(11/484). Are 10 and d unequal?
True
Suppose 13 - 3 = q. Suppose p + z - 16 = 0, -2*z + q = 3*z. Is p <= 13?
False
Suppose p + 4*