ch is smaller: 2/21 or a?
2/21
Let l be 1*(1 + 12 + -2). Suppose -2*d + l = -0*q - 3*q, -4*q - 18 = -d. Which is bigger: -1 or d?
-1
Let m = 0.14 + 3.86. Are 0.4 and m non-equal?
True
Let s = 0.6 - 0.2. Let o = -0.5 + s. Let k = 42 + -87/2. Is o at least as big as k?
True
Let x be 1/(-3)*-4*3. Suppose -39 - 5 = -x*j. Suppose -j = -4*d - 3*v + 8, -3*d = 2*v - 13. Is 1/4 at least d?
False
Suppose 3*n - 4*q - 44 = 0, q - 36 = -n - 3*q. Let c = 3 - n. Is c >= -16?
False
Let y = 0.04 - 15.04. Let a = y + 14.8. Which is smaller: -0.4 or a?
-0.4
Let o be -1 + (3 + -1)/1. Suppose 2*g - o + 3 = -3*z, -5*g = -2*z + 5. Let b = 1301/70 + -128/7. Does g = b?
False
Let h = -21 - -17. Is h < -0.2?
True
Suppose 0 = 5*u - 7 - 58. Is u != 13?
False
Let q(x) = 4*x**3 - x**2 - x - 1. Let p be q(-1). Let v(c) = -c - 6. Let n be v(p). Which is smaller: 3/11 or n?
n
Let h = 0.07 - 0.37. Let c = -0.7 + h. Let w = -1 - c. Does w = 0?
True
Let j be 0 + -1 + (2 - (-1 + 2)). Is j > -11?
True
Suppose 7*r - 8 = 3*r. Suppose -3*s + 6*s - r*q = 6, s = 4*q + 2. Suppose -5*k - 9 = 5*a - k, s*k - 3 = 5*a. Is -1/4 less than a?
False
Let g(m) = m + 4. Let h be g(-3). Suppose 7 = -5*v + 12. Is v > h?
False
Suppose -5*f - 44 = -f. Let a = 11 + f. Is 1/2 <= a?
False
Let u = 0.12 + 0.05. Let z = u - 0.27. Is z less than 3?
True
Suppose 0 = -14*t + 12*t + 154. Let w = -387/5 + t. Suppose -2*d + m + 7 = 0, -4*d + 2*d = 3*m + 13. Is w less than or equal to d?
True
Let z = 1.7 - 1.8. Which is smaller: 18 or z?
z
Let t = 4.11 - 4.3. Let q = -0.91 + t. Let s = q + 0.1. Which is bigger: s or -3?
s
Suppose 0 = 4*k - 3*k - 5. Let m be 1 + -4 + 1 + k. Is m at most as big as 3?
True
Let j = -12 - -13. Which is smaller: -2/17 or j?
-2/17
Let o = -1 - -3. Suppose -4*y = y - 4*h - 16, -o*y = h + 4. Is -2/29 at least y?
False
Suppose -b + 4*b + 18 = 3*a, 2*a + 23 = -5*b. Which is greater: a or -1/14?
a
Let h = 30 + -31. Is 2/31 greater than h?
True
Let o = 0 - 0.04. Let r = 0.06 - o. Is r != 0?
True
Suppose 5 = 5*m + 5*a, 3*a + 4 = m - 9. Let u be 3/4 - (-7)/4. Does u = m?
False
Suppose 5*d - 2 = -z + 8, -5*d + 5*z = 20. Suppose -4*u = 3 - 7. Are u and d non-equal?
False
Let g be -4 - (6*-1 - 4). Is 3/2 at least as big as g?
False
Let w(u) = 5*u**2 - 8 - 1 - 8*u + u**3 - 6*u**2 - 7*u**2. Let t be w(9). Is -7 at least as big as t?
False
Suppose 3*k - 88 = -262. Let o be ((-2)/(-10))/(k/(-10)). Which is greater: o or 1?
1
Let g be 7/(28/(-8)) + -1 + 3. Is 3/37 greater than g?
True
Let d = 12 + -10. Is d != 8/7?
True
Let z(l) = -l**3 + 7*l**2 + l - 6. Let x be ((-7)/3)/((-4)/12). Let d be z(x). Which is smaller: 2/7 or d?
2/7
Let i be 2/3 + 7/3. Let q = -33 - -26. Let j be (-2)/1 - q/i. Is j <= 0?
False
Let t(s) = s**3 - 5*s**2 + 2*s - 6. Let q be t(5). Let c be 64/(-31) + q/2. Which is greater: 1 or c?
1
Let r = 3/18175 + -16630146/127225. Let g = r + 131. Let t = -9 + 10. Does g = t?
False
Let s = -17 + -53. Is s <= -69?
True
Let r be (-21)/2*1/6. Let o(k) = 2*k**2 + 3*k + 13. Let c(u) = 5*u**2 + 10*u + 38. Let t(b) = -3*c(b) + 8*o(b). Let q be t(7). Which is greater: r or q?
r
Let j(x) = 0*x - x - 2*x + 9 + 2*x. Let v be j(7). Let w(i) = i - 5. Let f be w(6). Which is bigger: v or f?
v
Let g = 0.3 - 0.4. Let z be (-13)/3 + (-5)/(-15). Let j be 2/(-4)*z/(-14). Which is smaller: g or j?
j
Let h = 47.78 + -0.78. Which is smaller: h or -1/3?
-1/3
Let a(h) = h**2 + 8*h + 6. Let j = 15 - 22. Let d be a(j). Which is smaller: 2/21 or d?
d
Let j be (-6)/9 - 5/15. Let u be (8 + j)*(-1)/1. Which is smaller: u or -8?
-8
Let u(n) = n + 5. Let l be u(-5). Let a = 3 - 3.5. Let y = a + 0.8. Is l at most y?
True
Let k(b) = -b**3 + 12*b**2 - 13*b + 23. Let f be k(11). Let o be 1*2 - (-28)/(-13). Which is smaller: f or o?
o
Let i be (-3)/(-1) - (-12 - -7). Suppose 3*a - 4*a = 3*q - 15, 5*a + 2*q = 49. Is a equal to i?
False
Let r be 162/(-69)*(-1)/3. Let p = 141/92 - r. Let w = -11 - -12. Which is smaller: p or w?
p
Suppose -4*x + 2 = 2*g, 3*x + 6 = -0*g - 3*g. Let m = -129/5 - -913/35. Which is smaller: g or m?
g
Let i = -26/49 - 2/49. Is -2 at most as big as i?
True
Let i(m) = -m**2 - 4*m - 2. Let o(d) = 2*d**2 + 8*d + 4. Let b(q) = 5*i(q) + 2*o(q). Let a be b(-2). Let t be a/11 - 56/66. Is t at least 0?
False
Suppose 2*l - 11 = -3. Suppose k = l*k - 18. Suppose 2*t = -2*f, -t + 4*f = -k*t. Is -2 bigger than t?
False
Let r = -3.4 - -6.45. Let z = -0.05 + r. Let x = 2.8 - z. Is 1 at most x?
False
Let s = -6 - -11. Let v(n) = -n**3 - 5*n - 2 + 2*n**2 + s*n**2 - 5. Let f be v(6). Which is smaller: -2 or f?
-2
Let d = 43 + -37. Is d > -5?
True
Let t(z) = z**3 + 5*z**2 + 3*z - 1. Let u be t(-4). Suppose 1 + u = -2*w. Which is smaller: -4 or w?
-4
Let b = -1/31 - -35/124. Which is smaller: b or -50?
-50
Suppose -2 = 3*v - 8, 3*h + 2 = -5*v. Let f be 21/(-14)*h/3. Which is smaller: 8/7 or f?
8/7
Let m = 114539/1330 + -1655/19. Let k = m - -9/7. Which is smaller: k or 0.1?
0.1
Let b(v) = -v**3 - 3*v**2 + 5*v + 2. Let d be b(-4). Suppose 2*u = -0*u. Suppose -3*p + 3*o = p, 4*p + 3*o = u. Which is greater: p or d?
p
Let r be 4/16*-10*-2. Let d = r + -4. Does 1/2 = d?
False
Let p(z) = z - 1. Let r be p(-1). Suppose -234 + 219 = 5*o. Which is smaller: o or r?
o
Suppose -3*l = -7*l - 92. Let n = l - -33. Is 9 greater than n?
False
Let r(l) = l**3 - 5*l**2 + 2*l + 3. Let k be r(4). Let j be (-1)/k + (-38)/(-10). Let p be (j/10)/(6/(-30)). Which is smaller: p or -1?
p
Let d be (42/99)/((-24)/(-18)). Is d not equal to 1?
True
Suppose -4*g = 4*v - 13 + 53, -4*g - 40 = -v. Let d = 12 + g. Let i = 5 + -3. Is d smaller than i?
False
Let x = -1169 + 54945/47. Which is greater: 0 or x?
x
Let x(t) = t + 17. Let q be x(-14). Suppose 3*o + 9 = -q. Is -0.3 at least o?
True
Let p = 7 - 8.1. Let z = -0.1 - p. Is -2/11 less than or equal to z?
True
Let o(l) = l**3 + 2*l - 1. Let a be o(1). Let r be (4/6)/((-2)/(-3)). Let j = a - r. Which is smaller: -2 or j?
-2
Let l be ((-3)/6)/(1/4). Let r be (l/5)/((-33)/15). Let h be -1 + 0 - (0 - 1). Which is smaller: h or r?
h
Let c = -33.05 - -33. Which is smaller: c or 0.3?
c
Let b be (-7 - -15)*(-2)/(-4). Is 1 at least b?
False
Let x = 5 - 2. Suppose 5*r = -27 + 42. Is x less than or equal to r?
True
Suppose -g = 4*g + o + 254, -4*g - 192 = -2*o. Are g and -50 non-equal?
False
Let c be 1/(-4) + (-7)/4. Let g be c/4 + (-2)/4. Which is bigger: g or 0?
0
Let m = -160 - -71. Are -89 and m unequal?
False
Let i(t) = -t**3 - t**2 - t + 1. Let j be i(0). Let b = 1/2505 - -137771/10020. Let l = b + -14. Which is smaller: j or l?
l
Suppose -2*y - 3 = 5. Let f = 0 - 1. Let r be 5/(0 + f) + 1. Are y and r unequal?
False
Let q(w) = -w**3 + 6*w**2 - 6*w + 4. Let k be q(5). Let x be (2 - -8)*k/2. Is x smaller than -4?
True
Let d(q) = -q**3 - 6 - 4*q**2 + 5*q**2 + 5*q**2 + 10*q. Let u be d(7). Let v be (-1 - 1) + u/6. Which is smaller: 2 or v?
v
Let j(r) = -r**2 - 4*r + 4. Let n be j(-5). Let a be 25/(-50) - (34/44 + -1). Is a less than or equal to n?
False
Let k = -35 - -29. Let z = -5 - 1. Is k at least as big as z?
True
Let y = 5 + -9. Let i = 4 + y. Suppose 3*l + 4 = 4*m + 5*l, 4*m + l = 6. Which is bigger: i or m?
m
Suppose 2*f + 67 = 153. Do f and 42 have the same value?
False
Let a be 5 - 3 - 4 - 10. Let o(m) = -m**3 + 8*m**2 - 2*m + 5. Let q be o(8). Is q >= a?
True
Let r = -8 + -9. Let p be 7/(-21) + r/3. Which is smaller: p or -7?
-7
Let t be (-9)/12*(-10)/15. Let p = 5.8 + -0.8. Is p bigger than t?
True
Let z(x) = -x**2 - 9*x - 9. Let q be 3/(-5) + 85/(-25). Let m be z(q). Is 9 at most as big as m?
True
Suppose 0*o - o + 1 = 0, -4 = -4*p + 4*o. Suppose b = 2*b - p. Which is greater: b or 4?
4
Let f be 21/(2 - 3) - (-16)/8. Which is smaller: 1/4 or f?
f
Let c be (4/(-2))/(-2 - 83). Let i = -47/170 - c. Which is smaller: i or -1?
-1
Let w(n) = -2*n + 5. Let u be w(8). Let v = -41 + 29. Is u smaller than v?
False
Suppose -j - 15 = 3*o, -6*j + 4*j - 40 = 4*o. Which is smaller: j or -33?
-33
Let t = -3 + 4. Suppose -3*l + 17 = z, -4*l + 5*z + 22 = -26. Let v(x) = -x**3 + 7*x**2 - x + 7. Let k be v(l). Which is smaller: k or t?
k
Let g = 7 + -7.3. Let p = 1.3 + g. Which is greater: 0.3 or p?
p
Let a = 4 - 4.5. Let t = -22.2 + 21.9. Is t less than a?
False
Let o = 8 - 8. Let t = -1 - -2/3. Which is bigger: o