nd -11 unequal?
True
Let x be (-7)/((-126)/(-4)) - (-812)/(-315). Is -3 at most as big as x?
True
Let j = -40 + 43.8. Let p = 4 - j. Let n = 0.8 + p. Which is bigger: n or -1?
n
Let x(v) = v**3 - 5*v**2 - v + 3. Let a be x(5). Let b(c) = -c**3 + 2*c + 2. Let r be b(a). Is 6 smaller than r?
False
Let j(u) = 2*u**3 + 10*u**2 - u - 1. Let x be j(-6). Which is bigger: -66 or x?
-66
Let j = 11 + -2. Let c = j + -11. Is -1 bigger than c?
True
Let i be 9459/10 - 7/14. Let g = i - 936. Let l = g + -9. Is -0.1 < l?
True
Let v = -74.9 + 78. Let o = -3 + v. Let g be (420/44)/3 - 3. Is o greater than g?
False
Let k = 0.81 + 0.19. Let t = 1 + -2. Is k at most t?
False
Suppose 0 = 4*j + 101 - 81. Is j less than 2?
True
Let x be -4 - 579/(-84) - 4. Let y = x + 6/7. Is y >= -3/2?
True
Let n be 57/(-2)*4/6. Is n greater than or equal to -2?
False
Let l(x) = x**3 - 6*x**2 + 5*x. Let y be l(5). Suppose y = -s + u + 11, -2*s - s + 12 = 4*u. Is 7 equal to s?
False
Let t be (3/9)/((-22)/12). Which is smaller: -1 or t?
-1
Let w be ((-3)/6*-14)/(-1). Let q(r) = -r**2 - 9*r - 8. Let s be q(w). Suppose -a = 2*a - s. Which is smaller: a or 1/2?
1/2
Let w(x) = -x**3 + 7*x**2 + 6*x - 3. Let q be w(8). Let z = 18 + q. Which is bigger: -5/3 or z?
z
Let h be (-1)/(-4) - (-4)/(-8). Let v = 2 + -2. Is h greater than v?
False
Suppose 0 = -4*x + 12, 3*l - 2*l + 5*x = 20. Let f(v) = v + v + 4 - 3*v. Let d be f(l). Is d bigger than -1?
False
Let f = 22/51 + 2287/255. Is 10 less than f?
False
Let d = -2/509 - 1004/3563. Which is smaller: 0.07 or d?
d
Let s = 0.67 + -0.57. Which is smaller: -2.5 or s?
-2.5
Let k be (4 + 52/(-12))*-1. Suppose 3*i + 4 = 2*p, i = -p + 6*i + 9. Do k and p have the same value?
False
Let k be 37/7 + (-4)/14. Suppose -3*o = 2*d - 4*o - 7, -11 = -2*d + k*o. Suppose d*g = 4*g. Does 0 = g?
True
Let h(s) = 6*s**3 - s**2 + 4*s - 4. Let o(p) = -p**3 + p**2 + 1. Suppose 0*q = -3*v - 4*q + 5, -2*q = -10. Let f(x) = v*o(x) - h(x). Let j be f(-3). Is j != 1?
True
Let p(g) = -g**3 + g - 1. Let r be p(1). Let a be 534/(-110) + (-3)/5. Let l = -415/66 - a. Is l < r?
False
Let b = 0 + 0.1. Let q = 0 - -1.4. Let g = q - 1.1. Which is bigger: b or g?
g
Let i = 4 + -3. Let f = i + -2. Let n be (3/9)/(2/2). Which is bigger: f or n?
n
Suppose 0*v = -4*v + 4. Let a be (13/(-39))/((-16)/6). Which is smaller: a or v?
a
Let r = -53.06 + 54. Let l = r - -0.06. Let d = 78 - 544/7. Is d bigger than l?
False
Let s = -1/59 + -43/944. Which is smaller: s or 1?
s
Suppose n - 3*n = 0. Let c be (18/105 + 0)*60/24. Which is bigger: n or c?
c
Let x = -2 - -6. Let z(a) = a - 4. Let t be z(6). Is x at least t?
True
Let o = -2 + 1.9. Let f = 0 + 0. Let s = f - o. Which is smaller: -3 or s?
-3
Suppose -t - 36 = -0*t + 3*i, -86 = 2*t - i. Which is bigger: -41 or t?
-41
Suppose p - 5*s = -p + 40, 3*s = 0. Let w = 99/5 - p. Which is smaller: w or 0?
w
Let s(c) = c**2 - 5*c + 7. Let x be 1 + 2 + (4 - 2). Let t be s(x). Let k be ((-6)/(-15))/((-1)/(-15)). Is t >= k?
True
Let l = -3 - -3.1. Let i = -1.6 + 1.5. Let d = i - l. Which is greater: d or 0.1?
0.1
Let w = 25 + -31.2. Let s = 6 + w. Which is bigger: s or -0.03?
-0.03
Suppose -3*t + 11 - 17 = 0. Suppose -14 = -2*q - 2*f, -f + 16 = 5*q - q. Let m(u) = -u**3 + 4*u**2 - 2*u - 3. Let v be m(q). Which is smaller: v or t?
t
Let s(x) = -x**2 + 3*x - 1. Let b be s(3). Suppose 2*a = 5*a - 6. Let m be a + -13*(-2)/(-14). Is b at most m?
True
Let t = -6 + 6. Let c(j) = j**3 + j**2 - 6. Let v be c(t). Is v smaller than -6?
False
Suppose -2*w + 4*h = 3*w + 45, -5*w - 2*h - 45 = 0. Let s(b) = b - 19. Suppose -z = -0*z + y - 12, 0 = -2*y + 2. Let g be s(z). Is w smaller than g?
True
Let d be 5/10 + 1/(-2). Let s be (-1 + 3 - 1)*d. Do s and 5/6 have the same value?
False
Suppose -3*g - 10 = -73. Which is bigger: 20 or g?
g
Let u = 0 + 2. Let k be ((-1)/(-10))/(1/u). Which is smaller: 1/2 or k?
k
Let z = 3 - 3. Suppose -5*i - y - 4 = z, -2*i - 12 = -6*i + 3*y. Let s be 24/14 + (-6)/(-21). Is s at least as big as i?
True
Let j be -11*3/9 - -3. Is -1 at most as big as j?
True
Let n(y) = 3*y - 19. Let u be n(8). Suppose -3*q = -5*v + 31, v - 7 = 5*q + 8. Is u less than or equal to v?
True
Let a = 10 - 6. Suppose -a*m = -k + 17, 4*k - 3*m - 24 = 2*m. Suppose 3*l + 2*l + 10 = 0. Are l and k equal?
False
Let p = 17093/26634 + 9/193. Let m = p + -1/46. Suppose 17 = -2*f - 4*q + q, 5*q + 15 = 0. Which is greater: m or f?
m
Suppose 4*l + 4*a - 3 = 17, 2*a = -4*l + 12. Let f(k) = -k**2 + 6*k - 2. Let m be f(6). Let n be ((-1)/m)/(1/2). Do l and n have different values?
False
Let u be ((-3)/51)/(1/(1 - -1)). Let g = 1 + -1.2. Let d = g - -0.2. Which is smaller: u or d?
u
Suppose 2*a + 15 = -5. Let k(r) = -r**2 - r - 10. Let t be k(0). Let j = a - t. Is 0 > j?
False
Suppose 3*n - 2*n = 0. Let j(k) = k**3 + k**2 + 2. Let r be j(n). Which is smaller: 7/5 or r?
7/5
Let r = 3 - 3.1. Let k = r - -0.08. Let j = -1.98 + k. Which is smaller: -0.1 or j?
j
Let s be 10/(-25) - 13/5. Let f be (-4 - s)/((-1)/4). Is 4 <= f?
True
Let x = -341/5 - -68. Is x at least as big as -1?
True
Let i(n) = n - 3. Let a be i(5). Suppose -2*p + 28 = -4*x + a*p, p = 2. Is -4 at most as big as x?
False
Suppose u - 3*s + 8 = 0, 0 = 2*u + s + 4*s - 17. Suppose -2*l - 3 = -7. Let i be (l/(-3))/(8/(-3)). Which is bigger: i or u?
u
Suppose 4*r - r + 12 = 0, -4*r = -4*k + 12. Which is greater: -1/8 or k?
-1/8
Let r = -445/16 - -55/2. Which is smaller: r or 1?
r
Let d(p) = -p**2 - p + 1. Let z be d(-2). Let u be 22/(-24) + 3/12. Which is smaller: u or z?
z
Let y(n) = -n**3 - 7*n**2 - 5*n + 6. Let c be y(-6). Let d be (1 - c) + 0/(-6). Is d at most as big as 1?
True
Let w be -1 + (-1 - 0) + 6. Let j = 5 - w. Which is smaller: 0.4 or j?
0.4
Suppose -14 = -d + 4*w, 4*d + 8 - 4 = w. Let u = -3 - d. Let j = u - -4. Which is greater: 5 or j?
5
Let c be 6/10 + ((-20)/(-25))/2. Suppose -2*d - 8 = 3*l, 5*d + 13 = 4*l - 7. Let f be (-2)/(-4 + l)*-2. Are c and f non-equal?
True
Let y = -127 - -891/7. Is y greater than or equal to 27?
False
Suppose -2*x - 2*a - 20 = 2*a, 20 = -5*a. Suppose -6*r + 3*r = 12. Is r at most x?
True
Let o = -1.95 + -0.05. Let l = -2.1 - o. Which is smaller: 1/3 or l?
l
Let z(y) = -2*y - 2. Let j be z(-4). Suppose -5*f - 3*w + 6 = 0, f - w = 4*w + 18. Suppose 7*d - 8 = -p + f*d, -3*d + j = -p. Is p < 1?
True
Suppose 0 = -2*f - 4. Which is smaller: f or -4?
-4
Let o be 6/(-2) + (0 - 0). Let y = -2 - o. Suppose 0 = 4*r + 3 + y. Which is greater: -0.1 or r?
-0.1
Let f = 3 + -1. Let c = 1 - f. Let b = -2 - c. Do b and -1 have the same value?
True
Let n = 3451/57 - 181/3. Which is smaller: 1 or n?
n
Let p = 0 + -1. Suppose -5*k = -4 - 11. Let r be 7 + 1 + -4 - k. Which is greater: r or p?
r
Suppose -4*n + 2 = 18. Let w be (-3)/(((-6)/n)/(-1)). Suppose 3 - 9 = -2*l. Is l != w?
True
Let j = 119/18 - 28/9. Suppose -2*p + 3*x - 8*x = 2, -16 = -2*p + 4*x. Which is greater: p or j?
p
Let o(f) = -f**3 - 4*f**2 - f - 5. Let z be o(-4). Let k be ((-6)/(-34)*z)/(-1). Let c = k - -25/51. Is 0.2 less than c?
True
Let u = -11 - -16. Suppose 8*f - 3*f = -2*i - 14, u*i + 3*f = -16. Is i at most as big as -3/5?
True
Suppose 258 = -q - 5*q. Is -43 at least q?
True
Let o = -17 + 19. Suppose 16 = 3*l + z, -4*l + o*z = -2*z. Do l and 3 have different values?
True
Let x = 235/297 + -14/27. Suppose m + 7 = -4*c - 0*m, 5*m + 15 = 0. Is c <= x?
True
Let u be 2/5 + (-39)/(-15). Let r = 4 - u. Is 0 bigger than r?
False
Let b = -13/63 + 3/7. Is b at most as big as 0?
False
Let l be (-248)/120 + 1 + 1. Which is bigger: l or -1?
l
Let c = -5 + 8. Let t(k) = -k**2 + k**c - 3*k**2 - 2 + 3*k + 3. Let h be t(3). Which is bigger: 2/13 or h?
h
Let g be (-1)/2 - (-1)/2. Suppose 1 = -g*k - k. Let z = 13 + -12. Is z greater than or equal to k?
True
Let r = 9 + -9.1. Let l = 0.1 + r. Is 2/7 at least as big as l?
True
Suppose 30 = -2*g + 7*g. Suppose -h + g - 16 = 2*a, 2*a - 3*h = -10. Let r(i) = -i**2 - 5*i - 2. Let t be r(a). Is t less than -3?
False
Let l(y) = y**2 + 2*y - 1. Let t be l(-4). Which is bigger: t or 9?
9
Let n = -10 - -11. Suppose -4 = 2*s - m + 1, -s + 4*m = 20. Which is bigger: s or n?
n
Let h = -7/51 + 361/1887. Are 1 and h nonequal?
True
Let r = 0.3 - 0.8. Let u = 0.5 - r. Let n be ((-9)/8)/(27/(-36)). Is n bigg