(21/(-2)). Let b = 4 + 1. Let x = 0 - b. Which is smaller: a or x?
x
Suppose -4*n + v = -81, 4*n - 5*v + 13 - 82 = 0. Let j be 13/n - 4/14. Let r = 65/2 + -32. Which is greater: r or j?
r
Let x = -15 + 0. Let v be 21/x - 3/5. Let n be (2 - (3 + v))*1. Is n bigger than 2?
False
Let g(m) = m**3 - 3*m**2 + 2*m - 2. Let n be g(2). Let p be (n - 4/(-3)) + 9. Let q = p + -8. Is q greater than or equal to 0.1?
True
Let w be 1/2 + 1/2. Suppose 0 = -3*p - p. Let o = p + w. Do -1/3 and o have different values?
True
Let c be (0 - (3 - 3))/(-2). Is c < 2/143?
True
Let y be ((-2)/145)/((-4)/20). Let s be (68/(-10))/((-29)/(-2)). Let o = s + y. Which is bigger: 0 or o?
0
Let a = -8 - -16. Let x = a - 4. Suppose -2*j + 2 = -x. Which is smaller: 2 or j?
2
Let p be 99 - (4 - (-1 - -5)). Let o be ((-4)/(-14))/(p/21). Is -1 greater than o?
False
Let y = 90 - 82. Is y smaller than -2?
False
Let d = -5/22 - -47/110. Are d and -2 equal?
False
Let b = -3 - 2. Let d = -4 - -3. Is b bigger than d?
False
Let j = -423 + 426. Let n be (5/(-3))/((-2)/6). Is n greater than or equal to j?
True
Let t be 4*(10/(-36))/(-5). Let c be 22/6 + (-2)/3. Let b = 3 - c. Is t at most b?
False
Let g = 2 + -2.2. Let d = -1.2 - g. Is d at most 1/6?
True
Let y = -1.111 - -18.851. Let k = y - 18. Let v = k + 0.06. Do v and 0.1 have the same value?
False
Let j(b) = b - 9. Let i be j(8). Which is bigger: i or 7/4?
7/4
Let l = -1 + 5. Let d be ((-2)/l)/((-17)/(-4)). Is d at least -1?
True
Let w be (-12)/42 + (-9)/(-105). Which is smaller: w or -1?
-1
Let c = 1 - -65. Which is greater: c or 65?
c
Let v = -893/3 + 302. Let n = v + -4. Suppose -f + 2*f = 0. Which is bigger: n or f?
n
Let a = -45.08 + 45. Which is smaller: a or 1?
a
Let c be 8/20 - 8/20. Which is smaller: -5/6 or c?
-5/6
Let l(r) = -r - 19. Let a be l(-18). Is a less than -1?
False
Let y be (-2)/(-7)*(-1 + 2). Suppose 4*s = 2*r - 1 - 9, 4*s = -8. Is y <= r?
True
Suppose -3*o - 2*s + 8 = 0, 3*s - 2 = -4*o + 10. Let i be (-30)/3*(-2 + o). Let r be i/(-9) - (-2)/9. Which is smaller: -3 or r?
-3
Let s be (-13)/2*(-1 - -3). Let b = -8 - s. Let p be (-7)/(-2)*108/63. Which is bigger: b or p?
p
Let c be 2*4/(24/1). Is c smaller than -5/2?
False
Let z(m) = -m**3 - 8*m**2 + 12*m + 12. Let v be z(-9). Let c = v + 12. Is -4 > c?
False
Suppose -2*f = -4*h + 12, f + 0*h + h - 9 = 0. Suppose -f*d - 2 = -2*d. Which is bigger: d or -1/4?
-1/4
Let y = -1.9 + 2. Let v = y - 1.1. Let c be (-1)/2*10/15. Which is smaller: v or c?
v
Suppose -n - 2*v = 5, 3*n - 4*v + 23 = -2. Let w = -12 - n. Is w at most -4?
True
Let t(r) = r + 4. Let c be t(-5). Is c > -6/5?
True
Let x be ((-2)/(-5))/(4 + (-8)/10). Which is bigger: x or -1?
x
Suppose -5 = -q - 1. Suppose -5*m + 3*o = 26, -o = 5*m - q*m + 2. Let l = m - -3. Is 0 less than or equal to l?
False
Let k = 122/15 + -25/3. Let i = k + -2/15. Let l be (0 - -1) + 4/(-2). Which is smaller: i or l?
l
Suppose -2*x - 4 = -6*x + 5*t, -2*t + 4 = 4*x. Let m be (-5)/3*(x + 2). Is -7 at most m?
True
Let g = 67/3588 + -2/39. Which is bigger: 1 or g?
1
Let n be 12/63 + 2/7. Let u = n + 6/7. Do u and 2 have the same value?
False
Suppose -2*a - 26 = -r - 3*r, 5*a - 39 = -3*r. Suppose -5*c + 50 = -2*j + 9, -3*c = -2*j - 23. Which is bigger: r or c?
c
Suppose 0 = h - 6*h - 2*h. Which is bigger: -1/46 or h?
h
Suppose 4*h + 0*u - u - 4 = 0, -2*u = -3*h - 2. Suppose 0*s - h*s + 18 = 0. Let v be (-38)/s - 2/(-9). Is -3 less than v?
False
Let k(w) = w**3 - 4*w**2 - 8*w + 6. Let y be k(5). Let o be 2 + (y - -2) + 1. Let r = 8 + o. Are 4 and r non-equal?
False
Suppose 136 = -2*g + 108. Suppose 2*w - 30 = 4*w. Which is greater: w or g?
g
Suppose 2*l = -2*o, -3*o + 2*l + 8 = -17. Suppose 0 = o*u - 12 + 2. Which is bigger: u or 4?
4
Let v = -4 + 10. Let a(g) = -2*g + 9. Let u be a(v). Is u greater than or equal to -1?
False
Suppose -6*x + 5 = -7. Which is greater: x or 10/3?
10/3
Let p be 108/(-24)*(-5)/(-6). Let d = 4 + p. Let l = 4/5 + -2/15. Which is greater: l or d?
l
Suppose 0 = -w - 3*w + 20. Suppose 5*d = -5 - w. Which is smaller: -3/5 or d?
d
Let z = 0.4 - 1.9. Which is greater: z or 1?
1
Let d = 473/305 + 3/61. Which is greater: 2 or d?
2
Let p(g) = g**2 - g - 4. Let i be p(4). Suppose -3*k + k = -3*x + i, 0 = -5*x + k + 11. Is -1/4 > x?
False
Let t = 30.5 - 30. Is -0.04 at most t?
True
Let l be (2 - 2)/(2 + -3). Are l and 1 equal?
False
Let b be 0 - (1 - 0)*-1. Suppose 3*w - x - 2 = 0, 3*x - 19 = -w - 5. Suppose 0*r - w*r = 0. Which is bigger: r or b?
b
Let d = -1 + -7. Let j = -6 - d. Suppose o + j = -0. Is o at most -4?
False
Suppose -2*b = -3*g + 11, -3*b + 4 = 3*g - 17. Is b smaller than 1?
False
Let q be (-3)/(3/1)*1. Let k be -7 + (-7)/((-14)/4). Is q at most as big as k?
False
Let h(q) = -q**3 - 7*q**2 - 4*q + 6. Let v be h(-6). Let s = v + 2. Does s = -4?
True
Let w = -7.1 - 0.9. Let d = -4 - 0. Let v = w - d. Which is smaller: v or 0?
v
Let u(d) = d - 8. Let q be u(0). Is q > -6?
False
Let c(u) = u**2 + 6*u + 4. Let r be c(-6). Suppose -2*b - v - 6 = -5*b, -4*v + 12 = 0. Is b <= r?
True
Suppose 5 = -t - 5*j, 2*j - 4*j = 5*t - 44. Which is smaller: t or 9?
9
Let m = -4 - -7. Suppose 2*d + 4*i + 2 = 0, 3*d + 4 = -2*i + 9. Is d less than or equal to m?
True
Let c(x) = 6*x**2 + 14*x + 6. Let l be c(-3). Which is smaller: 15 or l?
15
Let v be ((-2)/15)/(1/(-3)). Let s = 0.45 + -0.5. Let o = -0.95 + s. Is o equal to v?
False
Let k = -18 - 2. Let r be (16/k)/((-3)/(-5)). Is r less than 0?
True
Let j be 84/14*(-4)/27. Is j greater than -2?
True
Let j(m) = -m**3 - 3*m**2 + m + 3. Let i be j(-2). Which is greater: -6 or i?
i
Let f = 7.6 + -8. Which is greater: f or -0.2?
-0.2
Let i = -0.07 - -0.1. Let a = -477.03 + 473. Let c = a + i. Is c < -2/7?
True
Let l(w) = w**3 + 7*w**2 + 3*w + 15. Let m be l(-7). Which is bigger: -7 or m?
m
Suppose 3*i + 0 = -2*s + 8, -5*i = 3*s - 13. Are 3/4 and s nonequal?
True
Let h(x) = x**3 - 6*x**2 - x - 3. Let y be h(5). Let f be (-2)/(-5) - (-1341)/(-40). Let d = f - y. Are -1 and d nonequal?
True
Let c = -415/99 + 32/33. Let h = c - -28/9. Which is bigger: h or 1?
1
Let c be 78/8 - (-4)/16. Let y be (-8)/c*10/(-4). Let w be 5/(-15)*y/(-1). Which is greater: 0 or w?
w
Let s = 0.2 - -4.72. Let f = s - 5. Which is smaller: 0.1 or f?
f
Let p = -9 - -15. Let r = 5.04 - 0.04. Let s = p - r. Is 0 equal to s?
False
Let f(m) = -m**3 + 6*m**2 + m - 1. Let c be f(0). Let j be 3/(-3) - 2/(-12). Which is bigger: c or j?
j
Let k be (-3)/(-6) - (-297)/2. Let x = -1045/7 + k. Which is greater: x or 1?
1
Let a = -13 - -12.7. Is -2/3 greater than a?
False
Let l be -2*(35/10 - 3). Is l equal to -1?
True
Let n(q) = 2*q + 1. Let w be n(2). Suppose 2*s + 3 = w*s. Let i be ((-14)/(-15) + -1)*-12. Is s > i?
True
Let d = 2.98 - -0.02. Let u = d - 2.9. Let f = u - 0. Is f less than or equal to 0.1?
True
Let n be 4*(-2)/(-4)*1. Let b be ((-1)/(-2))/(n/4). Let h be (8/42)/(2/3). Which is bigger: b or h?
b
Let w = 4 - 3.6. Let h = 0.6 - w. Let j = h + -0.2. Is j equal to -2/9?
False
Let i = -9 + 5. Let m = 3.3 + -0.3. Let n = m + i. Which is smaller: n or 1/2?
n
Let i = 2 - 6. Let u(w) = -3*w**2 - 2*w + 2. Let f be u(-2). Let t = f - i. Is t less than -2?
False
Let t = 13.4 - 14. Which is smaller: 2 or t?
t
Let l = 24 - 23. Is l at least as big as -3?
True
Let f = -16 - -25. Let g = 0.24 + 8.8. Let d = g - f. Is d equal to 1/3?
False
Let a be -4 + 4*(7 + -6). Suppose 3 = s + 2*s. Let q = s + -2. Is a >= q?
True
Let d be (-4)/(-8) - 3/12. Which is bigger: d or 5?
5
Let r = 166 - 659/4. Which is greater: r or 1?
r
Let r(d) = -19*d**2 - 2*d + 1. Let f be r(1). Let w be ((-32)/f)/(2/5). Suppose 0*a + w = a. Do a and 3 have the same value?
False
Let f = 0.3 - 0.2. Let s = 6 - 4. Let b be s*1 + 40/(-25). Is b != f?
True
Let w = -0.5 - -0.5. Let f = -0.06 + 0.26. Is w > f?
False
Suppose -h + 36 = -7*h. Which is smaller: h or -0.1?
h
Let i = -2384/13 - -183. Are -1 and i nonequal?
True
Let o = 2251/13 - 173. Suppose 2*d = y + 8 + 1, -4*d + 12 = 4*y. Is d at most as big as o?
False
Suppose 6 = f + 2*y, 3*f + 2*f + 5*y = 25. Let x be f - (-1 + 4 + -2). Suppose r - 5 + 2 = 0. Is x at least r?
True
Let m = -38 + 41. Is 9/5 at most m?
True
Let j(l) = 32*l**2 + 2*l + 4. Let s be j(-3). Let h = -2012/7 + s. Is -2 >= h?
False
Let i 