Which is smaller: u or -2?
-2
Let c = 2/67 - 481/402. Suppose 0 = 2*r - 6*r. Is r at most as big as c?
False
Let g = -0.4 - -1.4. Let z = -1 + g. Let o = z + -0.1. Which is smaller: -3 or o?
-3
Let u(b) = b**2 + 5*b + 6. Let m(a) = -a + 8. Let n be m(5). Let i = n - 7. Let v be u(i). Is v at least 2?
True
Let l = 1.92 + 1.16. Let c = 0.08 - l. Let i = 221 + -221. Which is bigger: c or i?
i
Suppose 5*l - 5*x - 11 = 74, l + 3*x - 25 = 0. Is l < 17?
False
Let c = 1 - 1. Suppose c = 6*f - f - 5. Is f at most 0?
False
Let p = 11 + -13. Do p and -5/6 have the same value?
False
Let d = -12.17 - -0.17. Are d and 2/7 nonequal?
True
Let f be (-6)/(9/2 + -3). Let g be 2/f*(-8)/20. Is -1 greater than or equal to g?
False
Let w = 22 - 21.9. Let c be (-20)/24*(-6)/(-4). Is w <= c?
False
Let t = -10 + 12. Let c be 2/(-60) - 3/(-15). Which is smaller: t or c?
c
Let m(c) = -c**2 + 1. Let a be m(1). Suppose -3*u + 0*u - 3 = a. Is -2/53 equal to u?
False
Let h = 0 - 8. Let c(t) = -t**3 - 5*t**2 - t - 12. Let y be c(-5). Which is smaller: h or y?
h
Let k = -0.6 + -3.4. Let s = k + 1. Let h = 3 + s. Which is smaller: h or -1?
-1
Let y(w) = w**3 - 4*w**2 + 2*w - 6. Let u be y(4). Suppose 0 = u*f - 6*f - 56. Let j be (-22)/(-28) + 4/f. Which is bigger: j or 0.1?
j
Suppose 2*g = 5*z + 2, z + 5*g = -0*z + 5. Let k = 7 - 4. Let w be (-2)/6 + (-2)/k. Which is greater: w or z?
z
Suppose 3*k + 0*k = -2*x - 10, x + 6 = -2*k. Are x and -1/9 equal?
False
Let f = 3 + 6. Let v = 16 - f. Suppose 5*h - 8 = j, -v = -2*h + j - 2. Which is smaller: h or 2?
h
Let w be -3 - 4/(12/(-33)). Let d be (w/36)/(2/(-1)). Suppose 0 = 5*c, -3*z + 2 = -c - 1. Is z less than d?
False
Let j be (-4)/30 + 85/75. Does 6/5 = j?
False
Let d(f) = -f**2 - 10*f - 3. Let p(q) = -3*q**2 - 29*q - 9. Let h(s) = 17*d(s) - 6*p(s). Let i be h(-2). Let t = -0.5 + 0.5. Which is smaller: i or t?
i
Suppose -663 = -15*w - 2178. Is -101 less than w?
False
Let d = 949/28 + -190/7. Which is greater: d or 6?
d
Let k = -3 - 1. Let l = 18 - 14. Let d = k + l. Is d less than or equal to -3/5?
False
Suppose -4*o + 0*o - 4 = 0. Suppose 4*n = n - 72. Let b = 143/6 + n. Which is greater: b or o?
b
Let p = -3.7 + -3.3. Which is smaller: 0.2 or p?
p
Suppose -1 + 6 = q. Let n = 3 - 1. Suppose q*u - n*u + 21 = 0. Is 0.1 at least as big as u?
True
Suppose 5*b - 14 = -10*r + 13*r, -2*r - 5*b + 24 = 0. Let j = -0.4 + 0.3. Which is greater: j or r?
r
Suppose 5*i - 5 = 0, 13 = -0*d - 4*d + 5*i. Let s be ((-5)/(5/2))/d. Is 1 greater than s?
False
Let c = 14 - 13. Is c smaller than 4/45?
False
Let g = -3/46 - 17/92. Let f = -10 - -12. Let q = -5 + f. Which is smaller: q or g?
q
Suppose 5*r = -0*b + 3*b - 2, 3*b - 4*r - 4 = 0. Suppose -p - 2 = -5*k - 0, 0 = b*k + 3*p - 13. Is -1/8 smaller than k?
True
Suppose -j - 7 = 3*y, -23 = -4*j + 3*y + 2*y. Let u be 15/(-4) + j/(-8). Is u < -4?
False
Let r = 113 - 105. Which is smaller: r or 1?
1
Let a be 17*(3 - (7 + -3)). Is -18 < a?
True
Let k = 1 + -8. Let u = -6 - k. Which is smaller: u or 0?
0
Suppose -20 = 4*f, 3*f = 2*z - 2*f + 3. Let j be (-7)/z - 1/2. Which is smaller: 1 or j?
j
Let d = 1 + -9. Let c be 1 - -2 - (-6 - d). Let z = -6/5 - -23/15. Which is smaller: c or z?
z
Let y(s) = s**3 - 4*s**2 + 4*s + 1. Let n be y(3). Suppose -2*c - n = -4*c. Let m be 2/(-8) - c/(-8). Which is bigger: -2 or m?
m
Let f(i) = i**3 + i + 2. Let p be f(-1). Does -3/5 = p?
False
Let j be (4/(-5))/(11/(-275)). Is 20 at least j?
True
Suppose -6*w = -2*w + 8. Let c = -6 - -6.3. Which is bigger: w or c?
c
Let g be (5/25)/(3/465). Is g > 29?
True
Suppose 3*t = -4*r + 6*r - 54, -r - 45 = 3*t. Do t and -16 have the same value?
True
Let c be -1*(-1 + 5) + 1422/356. Which is smaller: 1 or c?
c
Let y(k) = 5*k + 7. Suppose -20*t = -15*t + 15. Let b be y(t). Which is greater: b or -9?
b
Let s(l) = l. Let o be s(2). Is o at least as big as -20/9?
True
Let r = -2.2 + 3.2. Which is bigger: r or -7?
r
Let w = -131.4 - -173. Let p = -38 + w. Let i = -0.6 + p. Which is greater: i or 1?
i
Suppose -2*v + 3*b - 3 = 0, -1 = 2*v - 0*v - b. Let x be (-359)/(-6) + 1/6. Let t be (-39)/x - 2/(-8). Is t less than or equal to v?
True
Let p(m) = m**3 - 4*m**2 - 8*m + 6. Let y be p(5). Let g = y + 12. Are 5/2 and g equal?
False
Let r = -0.3 - 0.1. Let t = 3 + -3.3. Let l = t - r. Is -1 greater than or equal to l?
False
Let b be 21/(-2)*48/(-28). Let x be (-8)/(-12)*b/(-4). Let h be 1/(((-9)/(-3))/(-9)). Is x smaller than h?
False
Let r = -14/533 + -2344/32513. Is -1 greater than or equal to r?
False
Let p = -1488/7 - -213. Suppose -3*n + q + 0 = -9, 0 = n - 3*q - 3. Suppose n*a + 1 = 2*f, -7 = 4*f - f + 4*a. Is f smaller than p?
True
Let y = 4 + -3. Let l be (-4)/(-6) + 34/(-36). Let j = l + -11/90. Which is smaller: j or y?
j
Let z = 0.9 - 0.8. Is z >= -29?
True
Let g be (3/12)/(30/(-8)). Which is bigger: 0 or g?
0
Let z be ((3 - 0) + -1)*1. Suppose 0 = 2*v + 5*k + 7, v + 0*k = -3*k - 4. Let g be (-6)/(-20)*(3 + v). Are z and g nonequal?
True
Let b = 0 + 7. Suppose 0 = 5*k + 3 + b. Is -2 equal to k?
True
Let m = -6 + 1. Let d be -3 - m - 2/1. Suppose -2*r + 5 + 1 = d. Which is smaller: r or 4?
r
Suppose -6 = 5*g - 26. Which is greater: 0.02 or g?
g
Let r = 38 - 77/2. Let u be (-2)/8 + (-14)/8. Is u > r?
False
Let v = 150 + -2399/16. Do v and 0.1 have different values?
True
Let i(u) = -u**3 + 7*u**2 + 6*u + 19. Let y be i(8). Let d be 84/(-9) - (-1)/y. Is d < -10?
False
Let t = 5.1 - 5. Suppose -c + 3*c = 8. Let j be (-1)/c*-2*0. Which is smaller: t or j?
j
Let v be -2 - (-6 + 0 + 1). Let n(g) = g**2 - g. Let r be n(1). Suppose r*z = -3*b + 3*z + 6, 5*b - 19 = -4*z. Does v = b?
True
Let h = -34 - -32.7. Let m = h - 7.7. Which is smaller: 0 or m?
m
Let s = -50 - -53. Let u = 3 - 5. Let l = u + s. Are l and -1 non-equal?
True
Let d(y) = -y**3 - 7*y**2 + 9*y + 3. Let o be d(-8). Let p be 1*3 + -3 + o. Is p equal to -5?
True
Let r = -0.19 + -0.06. Is 0.1 less than r?
False
Let q = -0.4 - 0.4. Let b = q - -1. Is -1/5 >= b?
False
Let w be -3 - (1 + -1 + -3). Let l be (w + 0)/(-1) + -4. Let n(z) = 3*z + 3. Let o be n(-2). Which is bigger: l or o?
o
Let x = 3/365 + 4646/12045. Let q = -2/33 + x. Is q not equal to 3/5?
True
Let m = 3 - 2. Let y be -3 + m + (-8)/(-5). Let o = -2 + 2. Is o <= y?
False
Suppose -4*q + 108 = q - 3*k, 2*k = 3*q - 64. Let o be 7/(-21) - (-14)/q. Is 0 at most as big as o?
True
Let i(b) = -b**2 + 13*b + 7. Let o be i(14). Is o less than -1/4?
True
Let d be (1 - 3 - -4)/(-13). Which is bigger: 0.04 or d?
0.04
Let i = 1/47 - 335/282. Let w = i - -2/3. Is -0.06 equal to w?
False
Let n = -1/150 + -89/150. Which is bigger: n or 1?
1
Let r = -10 + 6. Let c be (r/6)/((-3)/27). Which is greater: 5 or c?
c
Let l be (-952)/(-15) - 2/3. Let h = 62 - l. Suppose 45*i + 2 = 43*i. Is i bigger than h?
False
Let t(b) = b**2 + 3*b - 4. Let v be t(-3). Is v equal to -4?
True
Suppose 20 = 4*q - 0. Let t = q - 2. Which is greater: t or 2?
t
Let w(q) = -q**2 - q + 4. Let x be w(0). Suppose 2*u + 2*m = 26, x*u - m + 12 - 44 = 0. Let v be ((-2)/(-3))/((-6)/u). Are v and 0 equal?
False
Let x = -405/494 - -11/13. Let j = x + -155/3002. Which is smaller: j or 1?
j
Suppose -3*g - 16 = 2*c - 7, 0 = 3*c - 4*g - 12. Let f be 1/(-2)*c - -2. Let n(k) = k**3 - 3*k**2 + 2*k. Let v be n(f). Is v at most as big as 0?
True
Let h(w) = w**3 + 5*w**2 - 7*w - 5. Let m be h(-6). Let u be 5 + -2 + m + 0. Which is smaller: u or 3?
3
Let g = -91 + 49. Which is bigger: g or -44?
g
Let z be 12/(-3) + (-8)/((-32)/12). Is z < -2?
False
Let p = 384 - 3837/10. Is 1 smaller than p?
False
Let w(q) = -q**2 - 7*q - 6. Let j be w(-6). Suppose 2*s - 5*m + 8 = s, m - 6 = -2*s. Let r be ((-1)/(-1))/((-8)/s). Which is greater: r or j?
j
Let u = 0 + 2. Let v = -1 + u. Let r = v - 1.1. Is -1 greater than r?
False
Suppose 5*f - 6 = -x, -f = -x - 0*x. Is 3/10 at most f?
True
Let k be (-4)/6 - 16/3. Let s = -9 - k. Does 0.2 = s?
False
Let r = 10 + -10. Do r and -2/21 have different values?
True
Let w be 58/(-208) - ((-76)/(-13) + -6). Let n = 2.03 - 0.03. Which is greater: n or w?
n
Let j(h) = h**3 - h**2 - h. Let w be 328/28 - (-4)/14. Suppose -5*f = u + w - 1, -3*u + 5*f = -7. Let q be j(u). Is 1 bigger than q?
True
Let x be ((-3)/(-5))/((-1)/(-5)). Suppose b - s + 1 = 0, 5*s + x 