 be ((-6)/r)/(9/12). Let m(u) = u**2 + u + 2. Let g be m(-1). Is a at least g?
False
Suppose 0 = -3*v + v - 4. Let c be 1*((-3)/3 + v). Let u(y) = y**3 + 2*y**2 - 2*y + 2. Let p be u(c). Which is smaller: 1/3 or p?
p
Let k be (9 + -6)*4/(-6). Which is greater: -3 or k?
k
Let f(g) = 2*g**2 + 7*g + 5. Let q be f(-2). Is -2/7 at least as big as q?
True
Suppose -2 = -m - 1. Let k be (1 - m) + (-6)/(-13). Which is bigger: -1 or k?
k
Let n be (0 - 5)*(-1 + 0). Suppose 5*j - 20 = m, 3*m + 3*j + 3 - 15 = 0. Suppose 2*b = -m*b + 10. Are b and n unequal?
False
Suppose -x - 2 = -3*c, -2*x = -c + 3*c - 4. Let u = -1.5 + -0.5. Which is smaller: c or u?
u
Suppose 5*y = 5*o - 105, -o + 0 = -5*y - 5. Let j be (2/(-10))/((-15)/o). Which is greater: 0 or j?
j
Let f be (-41)/(-4) - 2/8. Suppose -2*o + f = 2*p, 0 = 4*o - o + p - 15. Let b = o - 4. Are b and -2/7 equal?
False
Let u be (0 - 1) + 0 + 1. Let f = 0.4 - -3.6. Which is smaller: f or u?
u
Let u(r) = -2*r**2 + 3*r - 2. Let a be u(2). Let j be (-24)/36*18/a. Which is smaller: 4 or j?
j
Let h = -10 - -7. Let j = -1 - h. Let k = -0.3 - -0.4. Which is greater: k or j?
j
Let f = -3 - -7. Let v = -78 + 82. Is f not equal to v?
False
Let o = -36 + 38. Is o at most as big as 1/11?
False
Suppose 7*u = 2*u + 15. Suppose 2*l + 1 = u*l. Is l at least as big as -2/23?
True
Let q = 0.01 + -0.06. Let r = -0.05 - q. Which is smaller: r or -2/7?
-2/7
Let a = 0.058 - 0.095. Is 0.1 smaller than a?
False
Let k = -1.054 + 0.054. Are k and -2 non-equal?
True
Let i(o) = -2*o**3 - 2*o**2 + 4*o - 1. Let p be i(1). Let u = -120956/7 + 17508. Let h = u - 229. Which is bigger: h or p?
h
Let u be (-7)/7 + (-12)/(-3). Let a be ((-4)/3)/(2/(-6)). Let b be 18/a + 2/(-4). Are u and b non-equal?
True
Suppose 0 = -3*w - 7 - 5. Let p(g) = -g**2 - 3*g - 3. Let u be p(w). Let z = -9 - u. Which is greater: z or -4/3?
-4/3
Let p = -9.94 + 10. Let l = -0.06 + p. Is l less than -0.1?
False
Suppose 2*k = -2*k, -4*k - 18 = -3*d. Is 9/2 at most d?
True
Let o = 26/369 - 12/41. Which is bigger: o or 0?
0
Let i = -4 + 3.6. Let g = -0.5 - i. Let t = 7.3 - 7. Which is smaller: t or g?
g
Let j = -6 + 8. Suppose k + 0 + 5 = 2*a, -2*a = -5*k - 1. Let w be a + 4/((-16)/12). Is j != w?
True
Let k(z) = -4*z**2 - 7*z - 7. Let o be k(-3). Is -22 greater than o?
False
Let f(l) = -l**3 + 6*l**2 + 2*l - 9. Let p be f(6). Suppose -4*o + 5*n = -6 - 3, 2*n = o - p. Which is smaller: o or -2/21?
-2/21
Let n be -7 - 1*(-2 - -1). Let p be 1/(-2*3/n). Is -2/23 < p?
True
Let y = -9 + 14. Are 19/4 and y unequal?
True
Suppose -2*a - 162 = 3*o, -7*a + 11*a + 3*o = -318. Is a less than or equal to -79?
False
Let h(o) = o + 7. Let a(u) = -u**2 + 2*u. Let s be a(4). Let g be h(s). Let q = 23/4 + -6. Are q and g unequal?
True
Suppose -4*s + 0*s = 4. Let d = 3 + -3. Let i be (d - 3)*5/35. Which is bigger: i or s?
i
Let u = -5.2 - -5.4. Let v = -4 + 30/7. Is u at least v?
False
Suppose -5*m + m - 8 = 0. Let v = 1 + m. Let c = 0 - v. Is 1/3 <= c?
True
Let u = -11 - -11. Suppose v + u + 2 = 0. Which is smaller: v or -1?
v
Let t = 21907374 - 1248794933/57. Let a = 1309 + t. Which is greater: a or -1?
a
Let m be (-108)/(-132) + (-4)/(-22). Suppose -5*c = -6*c. Is m greater than or equal to c?
True
Let u be 4/(-6) + 0/(-2). Suppose 13*j + 9 = 4*j. Which is smaller: j or u?
j
Let v be (-453)/30*5/(-22). Let l = v - 13/4. Suppose 8 = 2*h, -z - 2*z + 4*h = 13. Which is bigger: z or l?
z
Let t = -75 - -81. Are t and 11 nonequal?
True
Suppose 2*p = -t + 4, p - 19 = 4*t + 2*p. Let c = -4 - -7. Suppose 4*z + c*a = -12, 2*z - a = -2 - 14. Is z at most as big as t?
True
Let q be 4 + 624/(-165) - 2/(-11). Are -1 and q equal?
False
Suppose 2*k - 2 = 6. Which is greater: k or 2?
k
Suppose -2*a = 3*s + 32, 2*s + 58 = -2*s + 5*a. Is s less than -12?
False
Let m = -27 + 27. Let y = 1/5 - 23/15. Which is greater: y or m?
m
Let h be (-2)/5 - 9/45. Is h >= -1?
True
Let o be 444/858 + (-2)/13 - 0. Is 1 <= o?
False
Let u = -0.9 + 0.9. Let c = -0.3 - -0.7. Let a = c + -0.2. Is a greater than or equal to u?
True
Let o(u) = -5*u + 2. Let l be o(0). Let v = -1 - 1. Is l equal to v?
False
Let b(r) = r**2 + 2*r + 2. Let y be b(-3). Let s be y - (-1)/(-2)*8. Are 2/7 and s equal?
False
Let x be (-68)/(-14) + (-11)/(-77). Suppose -x*f + 2*o = -0*o - 30, o = 5*f - 35. Is f equal to 8?
True
Let h be 2/4 - 17/(-2). Let q be 2/h - (3 - 3). Which is greater: q or 1?
1
Let u be 2/(-7) + 1770/21. Let w be 39/u - (-4)/14. Let j = -3/32 + -55/96. Does j = w?
False
Suppose -2*q + 4 = -6. Suppose q*n = 2*n - 3. Suppose -7 = 4*u + 5. Which is bigger: n or u?
n
Let b = -212/3 - -69. Let v(d) be the first derivative of d**2/2 - 13*d + 9. Let g be v(10). Which is greater: b or g?
b
Suppose 0 = -7*i + 4*i + 3. Suppose o - 9 = 6*a - a, -5*o + 3*a + i = 0. Is o less than -1/12?
True
Let b be 9/(-27) - (-7)/3. Are b and 3/2 unequal?
True
Let r be ((-6)/(-3)*(-1 + 5))/2. Which is smaller: 6 or r?
r
Suppose f + 4*f = -w - 6, 5*f + 14 = w. Is f less than or equal to -22?
False
Let k = 6 + -5. Let d be 3/(0 - 1/k). Is -4 equal to d?
False
Let s = 118.1 + -118. Are -34 and s equal?
False
Let o be ((-3)/(-16))/((-1)/2). Let b(g) = 3*g + 1. Let l be b(0). Which is smaller: o or l?
o
Let l(r) = r**3 + 22*r**2 - 23*r - 24. Let o be l(-23). Are o and -26 nonequal?
True
Suppose 0 = 4*i + 16, -i - 9 = -3*p + 2*i. Let q = -39.1 + 39. Is q greater than p?
True
Let d = -4352/15 + 290. Suppose -3*m + 1 = -2. Let x be (-16)/8 + (m - 0). Are x and d unequal?
True
Let k(v) = -4*v - 135. Let f be k(-35). Suppose 15 = 5*j - 5. Which is smaller: f or j?
j
Suppose -3*f - 94 = 3*n - 5*f, -5*n + 2*f - 154 = 0. Which is smaller: 0 or n?
n
Let q(b) = -b**2 - 4*b + 3. Suppose 0*d = -5*d - 25. Let f be q(d). Which is smaller: -1 or f?
f
Let c(u) = u**3 + u**2 - u. Let h be c(0). Let g = -4 + 7/2. Is g equal to h?
False
Let v(c) = -4*c. Let p be v(-1). Suppose -u = p*u. Is 0.4 greater than u?
True
Let i = 234 + -3977/17. Is i != 0?
True
Let o = 1 - -2. Suppose 3*p + 5*j = 17, -4*p + 12 = -3*j - j. Which is bigger: o or p?
p
Let r(f) = -f + 3. Let k be r(-3). Let p = k - 8. Is p at most -3?
False
Let a be (30/20)/(6/32). Let f be 245/(-380) - (-6)/a. Does f = 1?
False
Let k be 9/3*15/9. Suppose -2*u = -k*u. Is 2/11 >= u?
True
Let r be 9/5 + 1/5. Suppose 3*m - 4 = 2. Are m and r non-equal?
False
Suppose -2*d - 20 = -5*u, -4 = 3*u - 2*d + 4*d. Let k = 14 + -9. Suppose 3*b - u*m = -5, 6 = -k*b + 2*m - m. Which is smaller: -1/7 or b?
b
Let n = 1 - 6. Suppose 0 = -b - 3, -5*k + 9 = -2*b - 2. Which is smaller: n or k?
n
Let i be 6*(-3 - 24/(-9)). Is i < -3/2?
True
Suppose -3*u - 4 - 5 = 0. Let z be u*(-1)/18 + 0. Let l be 0/2 + (2 - 2). Is z not equal to l?
True
Let h be 4609/36 + (-5)/20. Let v = h + -128. Is v bigger than 0?
False
Let r be (-1)/108*-2*2. Which is smaller: r or 1?
r
Let h be -3 + 3 - 2/(-47). Is 0 equal to h?
False
Let x be (-4)/(-6) + 4/(-24). Suppose 5*o - 8 = 3*o. Let n(v) = v**3 - 5*v**2 + 5*v - 4. Let d be n(o). Is x greater than d?
True
Let r = 0 + -9. Is r != -8?
True
Let r(s) = 0*s**2 + 6*s + 6 - s - s**2. Let w be r(9). Let n be (-10)/25 - 2/w. Which is smaller: -1/7 or n?
n
Suppose -2*z + 2*m = m - 5, 3*m = -5*z - 4. Let d = 4 + -2. Suppose -6 = d*j - 5*j. Is z less than or equal to j?
True
Suppose -708 = 4*w - 32. Let l = 1523/9 + w. Let t = -1 + 3. Does t = l?
False
Suppose 2 = a + a. Let w = 168673/2821 - 204/403. Let t = w - 59. Which is smaller: a or t?
t
Let l(u) = 2*u**2 - 7*u + 1. Let k be l(4). Which is smaller: 1/2 or k?
1/2
Let g = -69 + 211/3. Which is smaller: g or -1/3?
-1/3
Let t = 2 + -1. Which is bigger: 1/3 or t?
t
Let i be (348/30 - 8)*5/22. Is i at least as big as 0?
True
Let z = -70 + 70. Which is smaller: z or -8?
-8
Let t(c) = c - 6. Let l be t(8). Let n = -535/7 + 77. Which is smaller: n or l?
n
Let g(h) = h**2 - 7*h - 3. Let z be 1/(3/(-1 + 10)). Suppose z*q - 12 = 9. Let d be g(q). Are -1 and d non-equal?
True
Let n = 64573/42 - 1538. Let l = 3/14 + n. Does l = 3?
False
Let h be 3 + 4/8*4. Let d(g) = g + 13. Let t be d(-10). Which is greater: t or h?
h
Suppose -9*s - 7 - 2 = 0. Which is greater: s or -3?
s
Let o be ((-6)/15)/((-16)/(-30)). Suppose 4*l - 1 = 11. Suppose -2 = -k + 4*q, -k + l = -4*q - q. Which is 