ess than n?
False
Let k(o) = 3*o - 4. Let w be k(4). Let i = -15 + 17. Suppose -8 = i*u + 5*z, 2*u + 4*z - 2 = -w. Is u != 2/13?
True
Let l = -0.04 - -3.04. Let x = -0.2 + 2.2. Is x at least l?
False
Let h = -23 - -23.1. Let m = -1 + 1.1. Let z = m + -0.1. Is h at least as big as z?
True
Let k be -52 - -1*(-20)/(-4). Is k at most as big as -47?
True
Let g = -5 + 7. Let i = -4 + g. Let c be 1*(-1)/(-1) - -1. Are c and i non-equal?
True
Let v = -878 - -462. Let t = v - -9147/22. Let l = 19/11 + t. Which is smaller: 3 or l?
l
Let c(i) = i**2 - 4*i + 2. Let l be (-2)/3 + 11/3. Let b be c(l). Let j be -1 - -2*6/16. Which is bigger: b or j?
j
Let m = -42 + 41.88. Let k = 256 + -250.88. Let l = k + m. Do l and -0.1 have different values?
True
Let d = -29 - -26.4. Let a = 0.4 - d. Let l = a - 3.1. Which is smaller: l or -3/5?
-3/5
Let q = -64 - -63. Let j = -3 + 2.7. Which is smaller: j or q?
q
Suppose -2*s - 47 = -41. Is s greater than -13/3?
True
Let s be (2/11)/1 + 4/(-22). Is 2/79 equal to s?
False
Let j = 18 - -7. Suppose -j = -11*z + 6*z. Which is smaller: z or 2/3?
2/3
Let i be -1 - (1 + -2 - -3). Which is smaller: -1 or i?
i
Let b be (0/1)/1 + 15. Let o = b + -16. Suppose 0 = 2*v + 3 + 3. Which is smaller: v or o?
v
Let x = -5 + 5. Suppose -8 = 4*z - 0*z. Is x equal to z?
False
Let a = 21885253/1143648 + 1/103968. Let m = 39/2 - a. Let h = m - 23/33. Is 1 at least as big as h?
True
Let y be (-2)/4*12/(-27). Let h be 1/(-4) - 4/(-16). Suppose 0 = j - 1 - h. Is j greater than y?
True
Let f = 9 + -6. Suppose -n + 1 = 2*p - 3, 4 = -f*n + 2*p. Suppose 2*a + a = n. Is a < -1?
False
Let w be -3 - (-262)/54 - 2. Which is greater: w or 1?
1
Suppose -3*c - c - 3*b + 102 = 0, 0 = -2*b + 4. Let p be (0 - c/9) + 3. Is p less than 1?
True
Let i = 4 + -2. Let n be (-60)/8*i/3. Are -6 and n non-equal?
True
Let h be (31/186)/(1/(-3)*-2). Suppose 1 = -d - 0*d. Which is smaller: h or d?
d
Let t = 13 - 5. Let r = 7 - t. Is 1/3 greater than r?
True
Let u = 4727/13067 + -26/73. Is 0 bigger than u?
False
Let k be 2 - ((-40)/4 - 3). Suppose 0*u + 3*u + k = 0. Which is smaller: 0 or u?
u
Let u be ((-8)/10)/(30/30). Let p be -1*(1*2 + -1). Is p at least u?
False
Let n(m) = m**3 - 9*m**2 + 8*m. Let y be n(9). Suppose 5*x - y - 3 = 0. Suppose -5*j + 5*a + x = 0, a + 7 = -4*j + 19. Is j greater than 2?
True
Let w be (1 - (-14)/(-6))/6. Let d(g) = 2*g**2 - 1. Let f be d(1). Which is smaller: w or f?
w
Let g be 24/(-20)*(5 + 0). Which is greater: g or -7?
g
Let s = 2 + 2. Let t = 0 - s. Do t and -4 have different values?
False
Let o be 0/(2 - -1) - -2. Suppose o*p = 9 + 9. Let x be 1/5 + p/30. Is 0 bigger than x?
False
Suppose -4*d = -3*d + t - 6, 0 = t - 4. Suppose -3*z - 4 = -5*y, 2*z + 4*y - 8 = d*y. Let p = z + -1. Which is smaller: -1/3 or p?
-1/3
Let c = -1 + 17. Suppose l - 4*x + 20 = 0, -3*x - 2*x + 25 = 4*l. Suppose 0 = -l*h - 4*h - c. Is h != -6?
True
Let r = -25895 + 180974/7. Let a = r + 41. Is a greater than -2?
True
Let h(d) = -d**2 - 5*d. Let q be h(-6). Let u(s) = s**2 - 7. Let t be 2/5 - (-6)/(-15). Let v be u(t). Is v not equal to q?
True
Let m be (2 - 48/28)*1. Which is smaller: m or 0.5?
m
Let j(w) = -2*w - 1. Let u be j(2). Suppose -5*z - o - 17 = 0, 4*z - 5*o + 1 = -1. Which is greater: u or z?
z
Let j = -1.8 + 3.8. Let p = j - 3. Let z be 1 + (-1 - 2/7). Is p greater than z?
False
Let r = 6 - 4. Suppose 0*x = x. Let c be x + (r - 4) + 4. Is c >= 2?
True
Let f be (2 - 0)/(0 + 2). Which is smaller: -1/9 or f?
-1/9
Let u be (-14)/(-18) + (-8)/(-36). Let a(k) = k - 1. Let z(i) = -i + 1. Let l(y) = u*z(y) + 2*a(y). Let n be l(4). Which is greater: n or 5/3?
n
Suppose d - p = p - 1, 3*p = -6. Let c = d + 2. Let s be (-30)/9 - 1/c. Is s less than or equal to -3?
True
Let t = -72 + -120. Let n be 6/8*2/t. Let j = -67/384 - n. Which is greater: 1 or j?
1
Let a be (-6)/(-54) - 56/18. Let y = a + 1. Is y <= 6?
True
Let g(v) = -v**3 - 12*v**2 - v - 13. Let m be g(-12). Which is smaller: m or 0.2?
m
Let v = -3 - -5. Suppose 4*q = -v*o + 4, q + o = -3*o + 15. Let c = 0.37 + 5.63. Is q smaller than c?
True
Let d = -15 + 14. Let w = -12 - -23/2. Which is bigger: d or w?
w
Suppose 3*i = -5*g - 3, -3*g - 3 - 6 = 3*i. Is -2 at most as big as i?
False
Suppose 16*b + 4 = 12*b. Do -8/23 and b have the same value?
False
Suppose -5*i = -3*q - 46, -4 = -3*i + 2*q + 24. Let t be -4 + 4 - 6/i. Which is bigger: -1 or t?
t
Let a = -6 - -8. Let g be (-1)/(-6)*776/1. Let x = g + -128. Is x at least as big as a?
False
Suppose 0 = 4*v + 3 + 9. Let p(o) = 4*o + 6. Let b be p(5). Let z be (-22)/b + (-3)/v. Is 0 bigger than z?
False
Let f = 0.4 - -1.6. Let x = 2 - f. Let b = x + -1. Is -1 at least b?
True
Let h be (-4)/16 - (-9)/4. Suppose -z - h*g + 3 = -1, 5*g = 2*z + 19. Suppose -3 - 3 = 3*k. Is z less than k?
False
Let g = -6/13 - -49/78. Let d = -3.02 - -0.02. Which is smaller: d or g?
d
Let h be (-12)/(-6) + (-1 - -1). Suppose 4*z = 4*y, 5*z + 2 = h*y + y. Let t = 51/319 + -1/11. Is t at most y?
False
Let d be 3 - (-6 - -3) - -2. Is d greater than 8?
False
Let h be 11/(-30) - 4/(-20). Suppose -w + 2*k + 8 = 0, 0*w + 5*k + 20 = 3*w. Do w and h have the same value?
False
Let m = 0.03 + -0.13. Which is smaller: m or 3?
m
Let x(o) = -o**3 + 9*o**2 - 3*o + 8. Let i be x(9). Which is smaller: i or -17?
i
Suppose -4*g + 13 = -g + 4*a, -4*g = -3*a - 9. Let q be (2 + 0 - g)*1. Which is greater: q or -8/7?
q
Suppose -3*m = 2*h + h - 15, 0 = 2*h - m - 10. Suppose -4*c + h - 1 = 0. Let t(z) = z - 3. Let y be t(3). Which is greater: y or c?
c
Let q(j) = -j**3 + 3*j**2 - j + 2. Let r be q(3). Suppose -4*w + 0*d - d = -10, -5*w + 3*d + 4 = 0. Suppose -3*b = 4 + w. Is r not equal to b?
True
Suppose -3 = -n - 2*m, n = -0*n - 3*m + 5. Let c be (0 - n)*(-32)/40. Is c less than -2?
False
Let u(a) = -a**2 - 24*a - 11. Let x be u(-24). Which is greater: -13 or x?
x
Let s = 29/3 + -10. Which is smaller: s or 1?
s
Suppose -2*k - 2*y - 12 = 0, 0*y - 14 = -k + 3*y. Is 10 at least k?
True
Let z = 0.21 - 0.29. Is z at most 0.01?
True
Let r = 18 - 18.5. Let n = -0.2 - r. Let h be (-22)/(-10) - (2 - 0). Is n greater than h?
True
Suppose -287 = 7*d + 343. Is d at least -90?
True
Let s = -0.9 + -0.1. Let l = 2.5 + -12.5. Let x = l - -9.7. Which is smaller: s or x?
s
Suppose -2*q = -h - 8, -2*q + 3*q = -5*h - 29. Which is greater: h or -19/4?
-19/4
Let r = 12735/32 + -398. Is 0 greater than r?
True
Let k be 4/(-14) + (-24)/14 + 2. Which is greater: -2 or k?
k
Let j = 729 - 728.7. Let b = 6.6 + -6. Which is smaller: b or j?
j
Let a = -5/16 + 1/16. Let z = 44 + -46.1. Let n = z - -2. Which is smaller: a or n?
a
Suppose -m = m + 4*f - 46, -14 = -3*m + 5*f. Which is bigger: 14 or m?
14
Let b = 9.08 - 0.08. Which is greater: 0.1 or b?
b
Let r(b) = b**2 - 2*b + 2. Let x be r(2). Let f be (x - -1)/(0 - -3). Suppose 7 = 5*q - 2*g - 3, 4*q - 3*g - 15 = 0. Does q = f?
False
Let s(n) = -n**3 + 3*n**2 - n. Let t be s(2). Let f(a) = -a - 4. Let l be f(-4). Is t equal to l?
False
Suppose j - 7 = -2*j + u, 0 = j + u + 3. Which is greater: 6/5 or j?
6/5
Let z be (-1*(1 - 1))/(-2). Suppose z = h + 3*h. Which is greater: h or -1/2?
h
Let r = 28 + -21.2. Let k = 7 - r. Is 0 less than or equal to k?
True
Let t(f) = -f - 7. Let p be t(22). Is -29 less than p?
False
Suppose 5*c - 20 = 5*i, -3*c - 3*i = -6 - 18. Let n be (c/(-16))/(15/(-50)). Is n less than 0?
False
Let a be (2/(-6))/((-2)/6). Let j = a + 0. Let l(q) = -q - 2. Let k be l(-3). Are j and k equal?
True
Let s be (-746)/(-744) - (-1)/(-1). Let j = -733/4092 - s. Which is smaller: j or -1?
-1
Let h = 65 - -23. Let k be 4/18 - (-1553)/18. Let d = k - h. Which is bigger: d or -2?
d
Suppose 0 = -2*t - 57 + 25. Let s be (-4)/t*48/21. Let a(d) = d**2 + 12*d + 11. Let v be a(-11). Is s greater than v?
True
Suppose 2*d = 2*a - 8, 3*d - 5*a + 7*a + 12 = 0. Let u be 0 + (0 - 22/6). Which is smaller: d or u?
d
Suppose -3*i = -2*i - 4. Suppose -i*a = -3*n - 318, a - 84 = 3*n - 0*n. Let w = 236/3 - a. Which is smaller: w or -1?
-1
Let m = 17 - 9. Suppose -3*w = w - m. Which is smaller: 4 or w?
w
Let b(y) = y**3 - y**2 - 3*y - 2. Suppose -3*h + h = -8. Suppose -2*a = -2 - h. Let z be b(a). Is 8 bigger than z?
True
Let r(f) = f**2 + 6*f - 5. Let u be r(-7). Let h be u/(-11) + (-31)/1