: 2/3 or c?
2/3
Suppose -2*q = -5*w + 673, -4*w - q - 2*q = -543. Are w and 135 equal?
True
Suppose n - 100 = 6*n. Let q be (n/6)/(2/(-6)). Let m be ((-6)/(-20))/((-12)/q). Which is smaller: m or 2/3?
m
Let b = 3 + -2. Let l = 3/5 - 2/5. Which is greater: b or l?
b
Let n be (-6)/(-4) - (2 + -2). Suppose 0 = 4*i + 2*l - 14, 0 = -4*i - i - 5*l + 15. Let y be (-5)/(-4) + i/(-16). Which is bigger: n or y?
n
Suppose h + 16 = -3*s, 5*s + 2*h = s - 22. Is s bigger than -7?
True
Let m(v) = -v**3 - v**2 + 2*v. Let t be m(0). Which is bigger: -2/167 or t?
t
Let u(k) = k**3 + 6*k**2 + 8*k + 6. Let m be u(-6). Is -41 <= m?
False
Suppose k - 4*y = 5*k - 8, -k - 10 = -2*y. Let f be ((k - -2)/(-3))/(-1). Let z be 70/175 - (-14)/(-80)*-2. Which is bigger: z or f?
z
Suppose 4*t = -4*p - 20, -2*t + 3*p - 30 = -0*t. Which is smaller: -7 or t?
t
Suppose -10*d - 6 = -13*d. Let p be (2 + -1)/((-3)/(-9)). Let q be d/(-4)*(3 - p). Is -0.4 greater than or equal to q?
False
Let h = -1 - 0. Suppose 0 = 5*z - 15, 4*i + z - 170 - 393 = 0. Let k = i - 983/7. Which is smaller: k or h?
h
Suppose -3*m = m - 4*l - 4, -3*l + 5 = m. Are m and 2 equal?
True
Let w(h) = -h**3 + 13*h**2 + h - 6. Let s be w(13). Which is bigger: s or 8?
8
Suppose y - 19 = 2*l + 4, -y = -4*l - 43. Is -10 > l?
False
Suppose -r + 4*s = -13, r = 3*s - 8*s + 31. Which is smaller: r or 19?
19
Let b = -81 + 85. Does b = 4?
True
Let c = -132 - -133. Which is smaller: c or -16?
-16
Suppose 2*b + 2*b = -4, -4*a + 11 = -3*b. Suppose 5*y = -2*t - 5, 2*t + 17 = -t + a*y. Is -5 not equal to t?
False
Let n be 3*(-4)/(-30) + (-176)/(-160). Is n equal to -1?
False
Let s = 34/99 + 9041/99. Let z = 1303/15 - s. Let i = z + 101/20. Which is smaller: i or 1?
i
Let f = -5589 + 72577/13. Let v = f - -6. Which is bigger: -1 or v?
v
Suppose -4*c = 4*r + 16, -4*c + 9*c = -2*r - 23. Suppose 0 = y + 2 - 5. Suppose y = -5*m + 4*k, 0 = m - 6*k + k - 12. Is c <= m?
True
Let z be (-2)/9 - 350/(-1008). Is -2 smaller than z?
True
Let y = -5 + 8. Suppose 0 = 2*u + y*m + 2*m + 5, -3*u = -5*m - 5. Let n be ((-3)/12)/((-1)/2). Which is smaller: n or u?
u
Let y(l) = l**3 - 5*l**2 - 7*l - 9. Let h be y(7). Let o be (-4)/6*(-10)/h. Which is bigger: o or -1?
o
Let i = 116 + -116.35. Is 2/5 greater than or equal to i?
True
Let c = -14.3 - -0.3. Is c >= 0?
False
Let g be 2 - (-6 + 3 + -3). Let q be (-3 - (-1 + g))/(-2). Which is smaller: 4 or q?
4
Let c = -32/3 + 12. Is -0.06 < c?
True
Suppose -4*q = 5*y + 16, -3*q + 4*y + 18 = -q. Let h be 4*q*5/(-10). Which is smaller: -3 or h?
-3
Let p(j) = j**2 - 6*j + 1. Let v be p(6). Suppose 3*m - v = 2*m. Is -0.03 at least m?
False
Suppose 1 = 2*h - 3*h, 4*s - 4*h = 16. Suppose 0 = -6*u + s*u. Let i = 1/34 + 61/238. Which is smaller: i or u?
u
Let b = 0.2 - 0.1. Let o = 5 + -8. Let z = o - -5. Is z less than b?
False
Let n be 1 + -1 + -2 + 0. Let s(p) = 2*p - 13. Let g be s(11). Suppose -5*j - g - 6 = 0. Is j < n?
True
Let s be ((-136)/(-10))/(-4) + 3. Is -5 >= s?
False
Suppose 4*g - 4*w + 2*w + 8 = 0, -5*w + 20 = 0. Which is bigger: g or -1/4?
g
Suppose -16*p - 75 - 597 = 0. Which is greater: p or -43?
p
Let k = -7 + 10. Let t = k - 6. Let c = -67 - -203/3. Is c < t?
False
Let s = -19 - -21. Which is greater: s or -2?
s
Suppose -3*z - 6 = -0*z. Let m be (z/10)/(1/3). Let c(y) = -y**3 - 2*y**2 - 7. Let t be c(-3). Which is smaller: m or t?
m
Let r(x) = 3*x**2 + x - 2. Let q be r(1). Suppose -q*t = -9 - 5. Which is bigger: t or 8?
8
Let w = 3 + -2. Let g = 2 + w. Suppose -3*c + 4*s + 20 = 0, -g*c = -s + 5*s + 20. Which is bigger: -2/9 or c?
c
Let y(t) = -t**3 + 2*t**2 - 14. Let i be y(0). Is i < -43/3?
False
Let p be (-6012)/16 + 9/12. Let l = p - -7873/21. Is l equal to 0?
False
Let z be 21/3 - -1 - 3. Suppose -2*o + z = -3*o. Which is bigger: -3 or o?
-3
Let h = 3 + -2.96. Let r = h + -2.04. Let l = -2.1 - r. Is -4 at least l?
False
Suppose -5*z - 1181 = -3*p, 3*p - 3 = 3. Let k be z/(-15) - (-4)/(-6). Is k smaller than 14?
False
Let l be 1/(-2)*(0 + 0). Suppose -5*v + 25 = -l*v. Let h = -8 + v. Do -4 and h have the same value?
False
Let o = 0.6 + -1. Let d = -0.3 - o. Let z = 0.1 - 0.3. Which is greater: z or d?
d
Let z(p) = -p**3 - 4*p**2 + 4*p - 3. Let r be z(-5). Suppose -4*j = -3*x - 14 + r, -x = -2*j + 6. Let u = -1 + x. Is u at least as big as -2/3?
False
Let m = 2893/5 - 576. Do m and 2 have the same value?
False
Let u = -19 - -21. Let f = -0.2 - -0.2. Is f not equal to u?
True
Let h be 2/(-8) - (-2 - -2). Which is smaller: h or 1/28?
h
Let w be 2/3 + (-2)/(-6). Let k be 5*(-3)/(-105) - (-62)/(-140). Is k bigger than w?
False
Let t = 2/17599 - 123353/1407920. Let g = t + -5/16. Is g greater than -0.1?
False
Let r = -0.8 - -0.85. Let k = r + -0.05. Are -0.5 and k equal?
False
Let v = -34 + 34. Is 0 less than or equal to v?
True
Let n be 6/8 + 58/8. Suppose 4*w - 5*v = 43, 3*w - 6*v - 36 = -v. Which is bigger: n or w?
n
Suppose a - y - 7 = -2*y, 2*a = -4*y + 20. Suppose -5*n = 2*s + 11, 5*s - a*s = -n - 4. Is -12/11 less than n?
True
Suppose 2*r = -3*u - 134, r + 163 = -2*r + 5*u. Let a be r/70 + 1/2. Let y = a - -4/7. Are y and 0 nonequal?
True
Let j be 10 - 3 - -1*1. Let o be (2/(-4))/(2/j). Let i = -207 + 206. Are i and o nonequal?
True
Let t be (3/5)/((-1)/(-5)). Suppose -3*h + 2*c + 4 = 0, 8 = 5*c + t. Suppose -4*k = 3*s + 7, -2*k + 0*k + 5*s + 29 = 0. Is k >= h?
True
Let g be 0 - (-47)/(-185) - (-4)/20. Which is smaller: g or 1?
g
Let h be ((-3)/(-1) + -3)/2. Let y = 205/3 - 1037/15. Which is bigger: h or y?
h
Suppose 24 - 75 = 2*v - 5*o, v - 4*o + 24 = 0. Let y = -19 - v. Let f = y + -9. Which is smaller: f or -1?
-1
Let f be 1*1/(1/2). Let s be (-15)/(0 - 3) - 2. Let t be s*3*2/9. Is f smaller than t?
False
Let a be (0 + -2)*(-6)/20. Suppose z + 4 = -0*z. Let y = 5 + z. Is y less than or equal to a?
False
Let y be (3/6)/((-1)/(-10)). Suppose 12 - 37 = -5*r. Is r greater than y?
False
Let l be (-5)/(-25) + 2/(-10). Suppose l = -k - k. Which is bigger: -2 or k?
k
Let i(t) = -15*t - 14 - 7*t + 2 + 2. Let k be i(-7). Let h = -1294/9 + k. Which is smaller: h or -1?
-1
Let p(l) = 3*l. Suppose 0*a - 2 = a. Let r be p(a). Is r less than -5?
True
Let f be -20*(-49)/28*9/21. Is f greater than 44/3?
True
Suppose 0 = 3*z + 11 - 8. Let o be 1 + (2 + z)*-1. Is o smaller than -1/8?
False
Let o be (0 + -2 + 3)*-3. Let f = -0.13 - 3.67. Let x = 4 + f. Which is bigger: o or x?
x
Let v(l) = -13*l**3 + 11*l - 7*l**2 - 4*l + 12*l**3 - 9. Let y be v(-8). Is y less than 2?
True
Let n = -32 + 158/5. Let o be 9*(-1)/(-3) + -4. Are n and o equal?
False
Let z(x) = 11*x**2 + 1. Let v be z(1). Do v and 12 have the same value?
True
Let p = 0 - -1. Let s be (2/(-3))/(2/6). Let j = p + s. Is -2 smaller than j?
True
Suppose -n - 4*t = -0*t - 15, 3*t - 15 = 0. Let o = -8 - n. Let u = 2 + -4. Which is smaller: u or o?
o
Let v = 2.2 - 2. Let m be 6/1 - (2 - 0). Suppose 0 + 1 = -5*c + k, m*c + 4 = 4*k. Is v at least as big as c?
True
Let a(q) = -15*q + 5. Let k be a(2). Let z be (-1)/(-5) + 5/k. Are z and 6 nonequal?
True
Let y = 2 + -1.8. Let t = -1.7 + 2. Let d = t - y. Is d equal to 0.1?
True
Let p be 2/5 + 2*(-11)/30. Which is greater: 0.07 or p?
0.07
Suppose 4*d + 38 = -2*g, -4*g = -2*d - 2*d - 8. Which is bigger: d or -9?
d
Let o be 1/1*-1*118/177. Which is smaller: o or 4/15?
o
Let n = -3 - -4. Let m = 0.0537 + 0.0463. Is m > n?
False
Let l(a) = -5*a - 11. Let y be l(-2). Do y and 1/45 have the same value?
False
Let p be 20/105*(10/(-8) - -1). Is p equal to -1?
False
Suppose -5*q = -a + 27, -a = 4*a - 4*q - 30. Is 0 <= a?
True
Let d be (-16)/((-4)/18*-3). Let p = 37 + d. Suppose p = -u - 2*c, -3*c - 6 = -3*u - 0. Is -3 equal to u?
True
Suppose 0 = -7*r + 6*r + 2. Let j = -77/5 + 718/45. Do r and j have the same value?
False
Let c = -2 + 6. Let j be 18/(-15)*c/(-6). Suppose 2*o - 29 = -2*o + 5*p, 3*o = p + 8. Which is bigger: o or j?
o
Let z(m) = -m + 10. Let r be z(12). Let y(g) = -2*g**3 + g**2 + g. Let n be y(-1). Let c be ((0/r)/(-2))/n. Which is greater: c or -1?
c
Suppose -x = -1, 2*c + 5*x = -c + 20. Is 5 > c?
False
Suppose -3*u = 4*p - 348, 0 = -p + 2*u + 91 + 7. Let y be 3 + p/(-21) + 1. Let b = 4 + -3. Is y at most b?
True
Let v = -4.6 - -3.6. Is -10 at least as big as v?
False
Let m = 499827164/209 + -