n or equal to 1?
True
Let l = 3 + -3. Suppose 0 = -l*s - 4*s. Which is smaller: 2/41 or s?
s
Let o(c) = c**2 + 13*c + 15. Let f be o(-12). Suppose -3*u + 3 = -3. Let s = 0 + u. Which is smaller: f or s?
s
Let l be (3 + (-69)/12)*4. Let m be (-31)/l - (-4)/22. Do m and 3 have the same value?
True
Suppose -2*q + 43 = -3*f, 2*q + 4*f - 2 = 6. Do 61/4 and q have the same value?
False
Let v = -467/12 - -39. Does -1 = v?
False
Let h = 767/2 - 8819/23. Which is smaller: h or 0?
0
Let v(h) = h**3 - 6*h**2 - 8*h - 2. Let r be v(7). Let z = r - -15. Which is smaller: 5 or z?
5
Let g(q) = q**2 + 4*q - 4. Let p be g(-5). Suppose -4*u = -2*j - 9*u - 3, -2*u - p = j. Let f be (-6)/8 + 15/4. Is f greater than j?
True
Let t = 907/1575 - 1/225. Which is greater: 1 or t?
1
Let y(s) = -2*s - 1. Let q be y(-3). Suppose -q + 20 = 5*h. Suppose -3*u - h = -2*u. Which is bigger: u or 1?
1
Let p(o) = 3 + 2 + o - 1 - 3. Let s be p(-1). Is s greater than or equal to 2?
False
Let d(j) = -j**2 - 2*j. Let n be d(-2). Let y(q) = -q - 7. Let s be y(-5). Let h = 3 + s. Is h at most n?
False
Let k = 0.38 - -0.02. Let b be (-2)/6 - 51/9. Let z be ((-1)/b)/((-4)/8). Is k smaller than z?
False
Let x = -0.3 - -1.3. Let c = 0 - x. Let u = c - 0. Which is greater: u or -0.2?
-0.2
Let x = -4.5 - -5.53. Let g = x - 0.03. Are 1 and g equal?
True
Let h(f) = f**2 - 9. Let a be h(-6). Is a smaller than 28?
True
Let h be 2 + (-3)/(-15)*-8. Let d be 14/(-49) - (-66)/(-14). Which is smaller: d or h?
d
Suppose -4*b = -0*o - 5*o + 21, -o + 5 = 0. Let g be (-4)/(-8) + (-4)/16. Is b >= g?
True
Let k be (-8 - -10) + 2/2. Let r(i) = i**2 + 5*i + 3. Let g be r(-5). Are g and k non-equal?
False
Let s = -0.4 + -13.6. Let d = s + 12. Is d > 2/7?
False
Suppose -1 - 2 = -t - 5*p, 2*t + 5*p = 6. Suppose 5*r = -t*l + 7, -4*l - r + 6 = -8*l. Which is smaller: l or -2/25?
l
Let u be (-3 - 1) + (-126)/(-32). Which is bigger: u or 2?
2
Let q = 34 - 34. Which is smaller: -4/79 or q?
-4/79
Let s(w) = w**2 + 6*w. Let n be s(-6). Suppose 4*z - 12 - 4 = 0. Suppose -3*j = -z*j. Does n = j?
True
Suppose -4*c + 16 = p - 5*p, -4*c + 4 = -2*p. Is p smaller than -10?
False
Let o = 91 - 92. Is -14/11 at least o?
False
Let v = 98/15 + -26/5. Let k(u) = u**3 + 6*u**2 + 6*u + 6. Let g be k(-5). Is g bigger than v?
False
Let k = 40 - 241/6. Suppose 3*q = 3*c + 9 - 0, -2*q = -4. Is c < k?
True
Let p(a) = -a + 9. Let v be p(9). Is -1 at most as big as v?
True
Let t = -0.0117 + -3.9583. Let g = t + -0.03. Let w = g + 3.9. Which is smaller: 2/3 or w?
w
Let u(z) = z + 5. Let r be u(-4). Let x be ((-3 - -1) + 3)/(-7). Is x < r?
True
Let u be (-3)/((-1)/(2 - 3)). Let h = 17/5 + u. Which is greater: 0 or h?
h
Let k(h) = h - 14. Let a be k(6). Which is greater: a or -10?
a
Suppose 0 = 5*a + 32 - 102. Is a equal to 14?
True
Let p(g) = g. Let f(b) = -3*b + 9. Let z(d) = -f(d) - 4*p(d). Let t(a) = 2*a + 17. Let l(o) = 6*t(o) + 11*z(o). Let x be l(-6). Which is smaller: x or -4?
-4
Let y(l) = l**3 + 16*l**2 + 14*l + 21. Let z be y(-15). Is 37 >= z?
True
Suppose 11*l - 8*l = 3. Which is smaller: 2/9 or l?
2/9
Suppose 5*a - 36 = 9*a. Is -4 at least a?
True
Suppose 0 = 5*r - g - 5, 2*r + 3*r + 4*g = -20. Suppose -v + 6*v = -15. Let i be 2/15 + v/9. Is i != r?
True
Let i = 1478/9 + -164. Let m(t) = t**3 - 5*t**2 + 5*t - 4. Let k be m(4). Which is bigger: i or k?
i
Let i(g) = g**3 - 5*g**2 + 3*g + 4. Let r be i(4). Which is bigger: 2 or r?
2
Let q = -8 + 3. Let x(n) = -n - 1. Let b be x(q). Suppose -i = -l + 4, -b*i + 3 = -l + 4. Which is smaller: i or -1/6?
-1/6
Let u = -211297/7 - -30318. Suppose -t - 516 = -4*c - 5*t, t + 536 = 4*c. Let o = u - c. Is -1 equal to o?
False
Suppose k - 6*k - 300 = 0. Let v = 481/8 + k. Is 1 at most as big as v?
False
Suppose 2*h = -8 - 2. Which is smaller: -9 or h?
-9
Let s = -3.57 - 0.43. Which is smaller: s or 1/4?
s
Suppose -4 = 4*w - 0*w. Let s be -1 + 1*(3 - 2). Let z be (-3 - -4) + s - 3. Is z greater than or equal to w?
False
Let d = 0.984 - -0.016. Is d < -1/3?
False
Let o be ((-1 - -2) + 0)*1. Let c(m) = -8*m**3 - m**2 + 1. Let s be c(-1). Let d be (s/4)/(o - 6). Which is smaller: -1 or d?
-1
Let b = 0.31 + -0.31. Is b at most as big as 1/4?
True
Let k = -393/40 - -29/8. Let a = k + 7. Which is greater: a or 2?
2
Let p = 83.37 + -84. Let i = p + 0.03. Let d = 0.3 + i. Are d and 0 equal?
False
Suppose -2*q - 18 = 5*z, -4*z = 11 + 5. Let h(v) = -5*v + 8. Let g(n) = 2*n - 4. Let r(y) = 7*g(y) + 3*h(y). Let l be r(-6). Which is smaller: l or q?
q
Suppose 0 = z + z - 8. Suppose -4*t - t - 12 = -z*v, -5*t = 3*v - 9. Which is smaller: t or 1/24?
t
Let y = -35 + 36. Which is greater: y or -0.4?
y
Let i(c) = -c - 4. Let p be i(-5). Suppose 8 = 5*y - 7. Let r = y + -1. Is r at most p?
False
Let m = 18 - 18. Is m > -2?
True
Let d = -18 - -19. Does 2/7 = d?
False
Let h(a) = a - 9. Let t be h(8). Which is greater: 2 or t?
2
Suppose -22 - 32 = 3*l. Let q be ((-2)/10)/(l - -17). Which is bigger: q or -0.06?
q
Let z be (7 - (9 + -3)) + 11/(-7). Let t = 2.5 + -0.5. Which is smaller: z or t?
z
Suppose -3*f + 45 = 2*f. Let t be (1 - 3/f)*-2. Is -2 != t?
True
Let f = -1 - -9. Which is smaller: 1 or f?
1
Suppose -2*c - 8 = -0*c, 5*h + 3*c = 13. Suppose -3*j + h = -1. Let q = 408/5 - 81. Is j less than q?
False
Let g be 5/(-20) + 66/8 + 3. Which is bigger: g or 19/2?
g
Let x = 4.1 + -4.3. Which is greater: x or -0.1?
-0.1
Let b = 14 + -16. Let l = 10.2 - 12. Let t = l - b. Which is smaller: t or 2/7?
t
Let u be 780/(-33)*(-4)/(-166). Let o = u - -2/83. Which is smaller: o or 0?
o
Let c(o) = -3*o - o**2 - 2*o**2 + o**3 + 0*o**3 - 4. Let g be c(4). Is -1/5 > g?
False
Let s = 52 + -52. Let y be 4/(-2)*2/(-10). Is s < y?
True
Let f = 30 - 26. Which is greater: 0.5 or f?
f
Let x be 1/3 + 10/(-3). Let h be (4/(-3))/4*(0 + 5). Which is greater: h or x?
h
Suppose -15 = -z - 4*x, -z + 0*x = -3*x + 6. Suppose -2 = a - z. Which is bigger: -2/19 or a?
a
Let j = 324/5 + -1879/30. Which is greater: 2 or j?
j
Let p = -9 - -6. Let j = -0.2 + 0.1. Which is bigger: p or j?
j
Let g = 597/7 - 85. Let u = -4.6 + 0.6. Is g at least u?
True
Let y = 1455019/9 - 161841. Let l = -310 - -138. Let p = l - y. Which is greater: -1/6 or p?
p
Let c = 5.4 - 7. Let v = 1.4 + c. Which is bigger: 0 or v?
0
Let g be 19/(-54) - 4/(-18). Let c = -1/27 + g. Suppose 5*l - 5*v = 10, -7 - 5 = 4*v. Is l bigger than c?
False
Let p = 1/427 - -725/55083. Is p at most as big as -1/2?
False
Let o = 0.22 + 2.78. Is o != -5/4?
True
Let c = 4427/4 + -1083. Let n = -24 + c. Is 1 at least as big as n?
True
Let y be (-24)/(-14) + 2/7. Let a be (-1)/y*(-2)/(-6). Let x(n) = n**3 - 12*n**2 + 11*n - 1. Let m be x(11). Which is bigger: m or a?
a
Let i = -0.22 - 8.78. Which is bigger: -0.1 or i?
-0.1
Suppose -4*l - 11 = -x, -4*l - 36 = -x + 5*x. Let z(s) = -s**2 - 4*s + 1. Let g be z(l). Which is bigger: 2 or g?
2
Let q = -52 + 51.71. Let i = -0.25 - q. Which is smaller: i or 1/2?
i
Let f(t) = -t**2 + 8*t + 12. Let j be f(9). Suppose -2*a = -j*a. Let z be (-3)/(-9)*(3 + a). Is 2/17 <= z?
True
Suppose -q + 24 = 5*q. Is q <= -0.05?
False
Let h(f) = f**3 - 5*f**2 + 6*f - 6. Let o be h(4). Let x be 5/(o + 2 - 3). Which is smaller: 4 or x?
4
Let w be (-1*15)/((-1435)/25). Let l = 1/41 + w. Is -0.2 >= l?
False
Suppose 3 = -4*f + o, -15 = -0*o + 3*o. Which is greater: f or -1?
-1
Suppose -3*x - x = 232. Does x = -58?
True
Let p = -7 - -11. Let y = p - 3. Is y >= 0.1?
True
Let s = 29 + -16. Is 14 < s?
False
Let l be (-5730)/54 - 2/(-6). Let r = -106 - l. Let a(w) = w**3 + 2*w**2 - 2*w + 3. Let c be a(-3). Which is greater: r or c?
c
Let m be ((-1)/(5/4))/(17/(-850)). Is 39 < m?
True
Let y = -14 - -17. Is y <= 18/11?
False
Suppose 4 = -x - 3*x. Let b be x/(-1)*(-4)/2. Let g be (3 + -5)*b/4. Is g <= -2/17?
False
Let g = 21 + -20. Is g at least as big as 1?
True
Let j be (-1 + -2)*1/15. Let b = 0.1 - -0.1. Let n = 0.2 - b. Are j and n nonequal?
True
Suppose 2*x = 3*l - 90, -l + 45 = -0*x - x. Let c = -541/12 - x. Which is smaller: -1 or c?
-1
Let v(p) = -p**2 + p + 1. Let s be v(0). Let l = -321 - -323. Is l > s?
True
Let d = -177 - -226. Which is smaller: d or -2?
-2
Let s = -55 + 50. Suppose -4*q + 5*v = 4, -q + 6*q + 5 = -3*v. Is q smaller than s?
False
Let v = 9 + -18. Let q be (-742