 most n?
True
Let x = 2.9 + -2.8. Is -1 bigger than x?
False
Suppose -7*p + 2*p = -20, -2*l = 5*p - 50. Let f = l + -14. Which is greater: f or -3/13?
f
Let m(q) = 6 + q - 1 + 3. Suppose -6 + 14 = -2*x. Let n be m(x). Is 2 less than n?
True
Let f be 2/(10/(-9))*-5. Let t be (-2)/f - 38/72. Suppose 4 = 3*b - 4*z - 6, 3*b = -z - 10. Which is greater: b or t?
t
Suppose 10 = 3*o - 5, 2*b - 414 = -2*o. Let d be 1 + b*1/2. Let g = d - 411/4. Which is smaller: -1 or g?
-1
Suppose -2*w + 3*i - i = -4, 4 = w - 3*i. Let l be (-13)/(-4)*(-64)/(-510). Let h = -2/255 + l. Is w <= h?
False
Let v = -0.15 + 3.15. Is 1/2 smaller than v?
True
Let z = -16 - -11. Let s(k) = k**2 - k + 1. Let o(q) = -q**3 - 2*q**2 - 10*q - 1. Let b(u) = -o(u) + 4*s(u). Let l be b(z). Which is smaller: -1/16 or l?
-1/16
Suppose 2 = -4*f - 2. Let h = 2.8 - 3. Do f and h have different values?
True
Let a = -23855/11 - -356086/165. Let s = a - -53/5. Let x = 37/66 - s. Which is greater: x or 1?
1
Suppose -2*u - 3*m - 9 = -4*m, -3*u = -m + 11. Let r be (17 - -1)/3 + -4. Let k be (3/(-18))/(r/8). Which is smaller: u or k?
u
Let v(m) = m + 7. Let c = -7 - -1. Let h be v(c). Let z be (0 - 0)*(1 - 0). Is h not equal to z?
True
Let i = -240/713 - -7/23. Do 0 and i have different values?
True
Let w = -2 + 7. Suppose w = 3*z - 1. Let h be z/(-1 + -29)*-3. Is h <= 1?
True
Suppose -a = 5*u + 35, 47 = -5*u - 5*a - 8. Let b = u + 4. Do -1 and b have the same value?
False
Let l(n) = -n**3 + 4*n**2 - 4*n - 6. Let y be l(3). Is y greater than -2?
False
Let n = 23 + -19. Is n bigger than 4?
False
Let h = 40 - 40. Is -4.1 < h?
True
Let w be 3*1 + -12 + -23. Is w <= -32?
True
Let p = 38 + -39. Let r = 2 + -1.9. Which is smaller: p or r?
p
Let l = 486 - 489. Let g = -194 - -1360/7. Which is smaller: g or l?
l
Let k(v) = -v - 1 + 3 + 2 + 1. Let m be k(4). Which is bigger: m or 3/11?
m
Let c be 25/4 - (-3)/(-12). Suppose -2*y - 14 = -2*v, -5*y - c*v = -4*v. Which is bigger: y or -1?
-1
Let y(n) = -n**2 + n - 6. Let q be y(-5). Let z be q/12 - 16/(-7). Which is bigger: -1 or z?
z
Let o be 596/88 + (-7)/(-14). Is 8 not equal to o?
True
Let o(i) = i**2 - 14*i - 16. Let j be o(15). Which is bigger: -3 or j?
j
Let c(u) = 2*u + 3*u**2 + 4 + 0*u - 5 - 5*u**2. Let g be c(1). Is g greater than 0?
False
Let h = 3 + -2. Let o be 6 + -6 + (-15)/(-85). Is o < h?
True
Let y = 0 + -1. Is 0.06 smaller than y?
False
Let f(x) = x**2 - 6*x + 9. Let m be f(4). Let k = -2 - 1. Let w be (-1)/k*(2 + m). Is 0 equal to w?
False
Let w = -8 - -1. Which is smaller: w or -25/3?
-25/3
Let a(l) = l**3 - 3*l**2 + 3*l - 18. Let n be a(3). Is n <= 2?
True
Let o = -4.3 - -4. Let l = 16 + -16.7. Let w = o + l. Is 2/9 smaller than w?
False
Let j be (-10)/(-4)*3/(-5). Which is greater: j or -9?
j
Let v = 284719/77 - 38900/11. Suppose -3*d + 164 = x, -x - d - 47 = -209. Let u = x - v. Is -1 greater than u?
False
Let b = -0.08 - 3.92. Let t = b - -3. Is t at least as big as 0.4?
False
Suppose 6*l - 91 = -7*l. Is 9 at most as big as l?
False
Let n(w) = 9*w - 1. Let h(s) = -10*s + 1. Let v(o) = -6*h(o) - 7*n(o). Let i be v(-1). Let k = 2 - i. Do k and -2 have different values?
False
Suppose 0*s + 4*n = -2*s - 42, -63 = 3*s + n. Which is bigger: -22 or s?
s
Let q(r) = -3*r**2 - 2*r - 1. Let t be q(-1). Are t and -1 nonequal?
True
Let c(z) = z**3 - 2*z**2. Suppose 2*s = s + 2. Let y be c(s). Let t(l) = -l**3 + l**2 - l - 3. Let b be t(y). Is b <= -1/3?
True
Let n be -1 - 2 - (108/(-14) - -1). Are n and 4 equal?
False
Let v(y) = -2 + y**2 - y - 1 + 1 + 0*y**2. Let u be v(2). Is -2 equal to u?
False
Suppose 0 = -3*p - 7 - 5. Let w be (9/(-6))/1*-4. Let a = -9 + w. Do a and p have different values?
True
Suppose 0*f - 4*f - 8 = 0. Let n(s) = 1 - 1 + 1 + 2*s + s**2. Let u be n(f). Is u bigger than -0.2?
True
Let j be (-9)/(-6)*(-8)/6. Let x = j - -6. Suppose 0*z - 5*u + 28 = x*z, -5*z + 2*u + 2 = 0. Does z = 2/3?
False
Suppose 0 = -2*k + 62 - 2. Suppose 3*i + k = -2*i. Let q be i/(-28) - (-2)/(-4). Which is greater: 3 or q?
3
Let a be (-16)/(-56) + (-46)/14. Are a and -10/3 nonequal?
True
Suppose j + 2*i = -9 + 1, -5*j + 2*i = -8. Suppose o - 3*q = 13, -13 = -4*o - q - j*q. Suppose -6 - 2 = -o*d. Is d != 1?
True
Let m = -19 - -17.7. Let t = -92.9 + 93. Which is greater: t or m?
t
Let s = -3 - -2.8. Let z = -0.1 - s. Let w = -25 + 26. Is z bigger than w?
False
Let y be ((-5)/(-4))/(5/20). Suppose -3*t = -y*t + 2. Let a = -0.2 - -1.2. Is a less than or equal to t?
True
Let z(q) = -q - 2. Suppose -2*h + 2*y = -32, 4*h + 2*y + 15 - 73 = 0. Let b be 10*-1*6/h. Let w be z(b). Is 4/7 at most as big as w?
True
Let n(q) = q**3 - 7*q**2 + 7*q - 7. Let r be n(5). Let w be r - (3 - 7)/2. Is w greater than or equal to -21?
True
Suppose -2*i - 3 = -3*i. Let s = 2 - 0. Suppose -2*c + 11 = s*j + i, j + 11 = 2*c. Is -1 less than j?
False
Let r = 267 - 1872/7. Which is smaller: 0 or r?
r
Let f = -503/2 - -259. Which is bigger: 8 or f?
8
Let f be ((-2)/((-16)/(-5286)))/(-6). Let x be 1 - (0 + 2) - 109. Let m = x + f. Which is smaller: -1 or m?
-1
Let b(t) = t**2 - 4*t + 2. Let f be b(4). Let v be (-3)/9 + f/(-30). Suppose 3 = 5*u - 2. Does u = v?
False
Let f = 19 - 17. Suppose t + 1 - 4 = 0. Let n be 1/f*0/t. Which is smaller: n or 2?
n
Let g = 620827 - 89398727/144. Let m = g - 1/144. Which is greater: -3 or m?
m
Let v = -5 + 3. Let k = -0.5 + 0.7. Let g = k + -0.4. Is g < v?
False
Let k(o) = 5 - 2*o - 4*o + o**2 - o. Let x be k(5). Which is smaller: x or -9/2?
x
Suppose -4*t = -4*t + 3*t. Is t less than -1/58?
False
Let g = -0.31 - -0.41. Is 7 greater than or equal to g?
True
Let o(a) = -6*a. Let l(u) = u. Let k(n) = -4*l(n) - o(n). Let y be k(1). Is 3 at least as big as y?
True
Let v = 2 + -4. Let r be v*(-6)/(-16) - -1. Which is smaller: r or -1?
-1
Suppose -2*k = -k + 1. Let j(a) = 2*a**2 - 6*a - 7. Let z be j(6). Let r = z - 115/4. Which is greater: r or k?
r
Let p = -22 + 21. Which is greater: -1/67 or p?
-1/67
Let p = -0.48 - 1.52. Let v = -0.03 - 1.97. Are p and v non-equal?
False
Let h be (0/5)/(5 + -3). Is h greater than 4/13?
False
Suppose -5*q = 4*r - 8, 12 = 5*r - 5*q - 43. Let v = 9 - r. Is 2 at most as big as v?
True
Let u = 0.56 - 0.64. Which is smaller: u or -1?
-1
Let g(j) = j**3 + 17*j**2 + 16*j + 26. Let q be g(-16). Are q and 26 unequal?
False
Let i(u) = -2*u - 8. Let j be i(-6). Suppose -4*f + j = -0. Let y = 43/70 + -9/10. Is y less than or equal to f?
True
Let f = 2 + -2. Suppose f = l + l. Suppose l = 3*n - 2*n. Do 1 and n have the same value?
False
Let o = 544/3 - 185. Let c(a) = a**3 + 6*a**2 - 8*a - 10. Let f be c(-7). Which is bigger: f or o?
f
Let c(g) = -g - 6. Let d be c(-8). Suppose 0 = d*b - 4*b - 4. Which is smaller: b or -4/3?
b
Suppose -4*h = -h - c + 2, 0 = -3*h - 5*c - 26. Let p be 1*(1 - 3)/(-1). Let y be ((-2)/4)/(p/4). Which is smaller: y or h?
h
Let o be 3 - (-1)/4*-4. Suppose 2*s + 68 = 5*b, o*b - s = 2*s + 25. Which is bigger: b or 1?
b
Let p = 0 - -1. Let y be (-4)/14 + (-78)/693*-2. Which is greater: p or y?
p
Let b = -10.38 - -0.38. Which is smaller: b or -0.1?
b
Suppose 1 = 4*i + 21. Which is bigger: -4 or i?
-4
Let q = 5 - 25. Is q greater than or equal to -0.1?
False
Suppose 0 = -g - 5, -g + 3*g + 4 = -3*r. Let y be (4/8)/(r/4). Let k be (6/(-2))/((-6)/4). Which is smaller: k or y?
y
Suppose -2*a - 5*t + 17 = -2*t, -5*a = 2*t - 15. Which is smaller: a or -5?
-5
Let k be (-139)/(-70) + (-1)/2. Let q = -2/7 + k. Is 2 > q?
True
Let b(d) = 2*d - 1. Let n be b(2). Suppose -4*s = 3*x - 9*s + 9, 4*x - 17 = -n*s. Are x and 1 non-equal?
True
Let z = -15 + 16. Let p be 2/60*3*-6. Let h = -2/5 - p. Which is smaller: h or z?
h
Let q = 0 + -3. Suppose 2*k = -2*k - 8. Which is greater: k or q?
k
Let j = -18.42 - 0.58. Which is greater: -1 or j?
-1
Let d = 21 - 14. Suppose -5*b = b - 24. Which is smaller: d or b?
b
Let h(y) = y**3 + 4*y**2 + 2*y. Let i be h(-3). Let a = i + -8. Is -6 < a?
True
Let w be -1*(-1)/(0 - -1). Let k = -8 + 10. Let z be (4/k)/(-4 - w). Does -1 = z?
False
Suppose 2*d - 6 = d. Suppose -3*y - 3*i = -d, y - 4 = -2*i - 1. Suppose -5*c + 4 = -y. Is c > 1?
False
Suppose 8*q = 17*q - 27. Is 26/9 at least as big as q?
False
Suppose -2*u = -0*b + 3*b - 12, u - 4*b = -16. Is 1/6 <= u?
False
Let n = 16 - 16. Is n at 