 = 4*w + w. Suppose 0 = -4*b, 4*a - b + 5*b - w = 0. Let u(i) = -i**2 + 8*i + 21. Let q be u(10). Is q != a?
True
Let o = -1.5 - -0.5. Let s = 1 + o. Let z = -2 + 1.9. Is z less than or equal to s?
True
Let y be 6/9*(825/(-410) + 2). Is 1 at most y?
False
Let v = 7 - 4. Let q = v - 1. Are 3 and q unequal?
True
Let a(c) = 2*c**3 + 9*c - 1 + 9*c - 18*c. Let d be a(1). Are d and 3/10 non-equal?
True
Let u be 4/14 + 30/(-7). Let g(v) = -8*v**2 - 5*v. Let r(d) = 17*d**2 + 11*d. Let x(m) = 13*g(m) + 6*r(m). Let b be x(-1). Is u > b?
False
Let p(u) = u**2 + u + 2. Let k be p(-2). Let o = -22 + 13. Let c = o - -10. Do c and k have the same value?
False
Suppose 3*r = 6 + 9. Which is smaller: r or 4?
4
Let p = -1 - -4. Let c be (-3)/(-27)*p/(-1). Is c <= -3/11?
True
Let j = 4.5 + -4. Let y = j + 1.5. Is y greater than or equal to 3?
False
Suppose 4*z = -5*u - 15, -4*z - 7 = u + 12. Let n = 198/7 + -1754/63. Which is bigger: u or n?
u
Let w(y) = y**2 + 4*y - 3. Let b be w(-5). Let r(x) = -x**2 + 2*x + 1. Let f be r(b). Let p be ((-4)/5 + f)*1. Which is bigger: 0 or p?
p
Let h = -48440/9 - -5390. Is h less than 8?
True
Suppose -10*c + 2 = 2. Which is greater: -4/25 or c?
c
Let t(a) = a**2 - 6*a + 3. Let i be t(6). Which is greater: 2/7 or i?
i
Suppose -2*t - 24 = -2*w, 5*t + 56 = -3*w - 44. Which is bigger: 0.1 or t?
0.1
Let h = -695/143 - -56/11. Is h at most -0.3?
False
Suppose 4*p + d + 2*d = -19, 0 = p - 5*d - 24. Is -1 greater than p?
False
Suppose 0*m - 8 = -2*m. Suppose 7 - 39 = -m*b. Let s = -6 + b. Is 2 < s?
False
Let s = -0.13 + 0.13. Let m(b) = b**3 - 3*b**2 - 2*b - 1. Let f be m(4). Let h be (3/f)/((-6)/4). Which is smaller: s or h?
h
Suppose 2 = q - 3. Suppose 2*n - 2*x = 12, -2*n - 9 = -0*n + q*x. Is n <= 5?
True
Suppose -2*c + k = 2 + 7, 4*c + k = -3. Let a = -2 - c. Does a = -1/3?
False
Let c be ((-38)/4)/(2/(-12)). Let g be 14 + -16 + 116/c. Which is smaller: g or 0?
0
Let b be (3/6)/((-2)/(-4)). Which is smaller: -1/38 or b?
-1/38
Let y = 0.9 + -1.4. Let t = 0.54 + y. Which is greater: 0.1 or t?
0.1
Let m(z) = -z**2 + 16*z + 10. Let q be m(16). Suppose 0 = -q*n + 9*n - 2. Which is smaller: n or -8/7?
n
Let b(x) = -x + 5. Let q be b(9). Let y = 8 + -3. Suppose -y*s - 4*v = 36, 24 = -5*s - 0*s - v. Is q equal to s?
True
Let q be 46/(-8) + 2/(-8). Let j = q + 10. Let x be 1*0/(j/2). Which is smaller: 1/2 or x?
x
Let q be (-216)/220 + (0 - -1). Let h = q - -2/11. Is h less than 0?
False
Let n = 8 + -5. Let v = n - 5. Let y = 3/4 + -17/12. Is y bigger than v?
True
Let a = -6 + 8. Suppose -a*j + 3*i + 2*i = -8, 5*i = 0. Is j < 4?
False
Let j(x) = -x + 5. Let v be j(-5). Let d be -6*(v/4 - 2). Let m be (-3*d/9)/9. Which is greater: -1 or m?
m
Let m be (-24)/21 - 2*2/(-28). Are -2/3 and m nonequal?
True
Let h = 175/8826 - 1180147/267722. Let l = h + 5/91. Is 2/3 greater than l?
True
Suppose 7 = -g + 3*a, 2*a - 13 + 3 = -2*g. Suppose 2*q = -2*k, 3*k - g*q = -3*q + 2. Let t be (27/(-18))/((-14)/4). Which is bigger: k or t?
k
Let l = -59 - -414/7. Which is greater: 1 or l?
1
Let t(r) = r - 3. Let b be t(3). Suppose b*q = q + 2. Are -4 and q unequal?
True
Suppose 2 = 3*j - 1. Suppose 4 = 4*u + 2*w + 14, 0 = -4*u + w - j. Is u < -3?
False
Let m(h) = -h - 5. Let a be m(0). Let p = a - 0. Let y be p/(-4) + -10 + 8. Is y not equal to -1/2?
True
Suppose 2*p - 38 = 5*u, -2*p + 26 = -3*u - 0*p. Let q be 3/(-2) - 3/u. Let o be (q*(-4 + 3))/(-13). Is -1 bigger than o?
False
Let r be 4 + 0 + 174/(-45). Suppose 0 = v + 2*v - 18. Let d be (-8)/(-6) + (-2)/v. Which is smaller: d or r?
r
Let u(m) = -m**2 - 4*m + 5. Let k be u(-6). Let b = 143 - 149. Is b greater than or equal to k?
True
Let f = 9 - 6. Let l be 0*-1*f/9. Which is greater: -0.04 or l?
l
Let b = 36 + -36. Let u = -0.2 - 0.8. Is u less than b?
True
Let x = 4 + -4. Let g be 4/16*x + 2. Is 6/7 <= g?
True
Suppose -2*b - z + 4 = 0, 5*z + 10 = 3*b + 30. Let k be 619*1*6/(-24). Let l = k - -156. Is b at least as big as l?
False
Let p be (-6)/(-12)*(-1 - -5). Let h be (p/3)/((-1)/117). Let r = h + 700/9. Is r > 0?
False
Let v = 0.4 - 0.3. Let r = 0.5 - v. Let w = 0.2 - r. Is 0.1 >= w?
True
Suppose 15 = -3*r, -2 = m - 2*r + 4. Which is greater: m or -17?
m
Let t = -272 - -159. Let o = -1019/9 - t. Suppose 13 = -g + 12. Which is smaller: g or o?
g
Let m(l) = -l - 2. Let w be m(0). Which is smaller: w or -18/7?
-18/7
Let o be -2 + 6 + -11 + 7. Is 1 >= o?
True
Let u be 4/50 + (-406)/700. Let p = -3 + 1. Which is bigger: p or u?
u
Let b = -1/12 + 19/12. Which is greater: b or 3?
3
Let z = -47 - -42. Which is smaller: z or 1/3?
z
Let x = -11 + 53/5. Suppose -3*b = -b + 2. Is x greater than b?
True
Suppose 4*x = 16, -2*d - 4*x + 42 = -d. Which is bigger: 23 or d?
d
Let o = -0.55 + 25.55. Let m = -33 + o. Which is bigger: m or -1?
-1
Suppose 2*q + 5 = -k, 3*q - 2*q - k = -10. Let u = -21 + 15. Which is bigger: u or q?
q
Let j(m) = -m**2 + 5*m - 1. Let x be j(5). Let i = 0 + x. Which is smaller: i or 3?
i
Let y = -1.2 + 0.2. Let o = -16 + 44. Let k = -26 + o. Which is smaller: y or k?
y
Let i = -2.3 + 3. Let c = 0.8 - i. Which is bigger: -2 or c?
c
Let d(q) = -3*q + 5. Let n be d(4). Are n and -5 equal?
False
Let c(x) = -x**3 + 5*x**2 + 8*x - 9. Let q be c(6). Suppose 0 = -3*w + u - 4 + 12, -q*u = -5*w + 20. Is 4/5 less than w?
True
Suppose 5*m + 27 - 7 = d, -4 = d + 3*m. Which is smaller: d or 6?
d
Let t = 9.36 - 9. Let k = t - 0.4. Which is smaller: 1/3 or k?
k
Let f = -1451/10 - -145. Let d(z) = -4*z + 23. Let m be d(6). Which is smaller: f or m?
m
Let k(x) = 0*x - 16 + x + 0. Let l be k(12). Let a be (3 - 0)/(6/l). Is -4 greater than a?
False
Let j be 56/(-6)*108/(-160). Let g = -44/5 + j. Is 1 not equal to g?
True
Suppose 0 = -4*a + 1 + 19. Suppose -3*f + 35 = a*n, 2*n + 2*f = -1 + 11. Let z be (-2)/3*(-15)/n. Which is greater: 0 or z?
z
Let j be (48/72)/(2/3). Which is smaller: 5/4 or j?
j
Let g = 73306 - 7697194/105. Let p = 10/21 + g. Which is bigger: -1 or p?
p
Suppose 3*w + 864 = 7*w. Suppose -109 = -5*h + w. Let c = h - 587/9. Is c <= -0.2?
True
Let m = 16 - 75. Is -61 less than m?
True
Let x be 6/(-14) + 15/35. Let y = x + 0. Which is smaller: 1 or y?
y
Let h = -0.55 - -0.05. Let b = 0.5 + h. Which is bigger: 1 or b?
1
Let y be (38/90)/(4/(-1176)). Let l = y + 124. Is l greater than or equal to 1?
False
Suppose -41 - 19 = -3*p. Do 20 and p have different values?
False
Suppose b + 60 = 4*a, -3*a - b + 45 = -0*a. Is 17 less than or equal to a?
False
Suppose -2*z = 3*z - 25. Suppose -3*k + 4 = -4*n - 2, -z*k = -2*n - 10. Is n > 0?
False
Let i be -2 - -1*1/1. Let k be i/3 - 4/6. Let c be (-1)/k + 39/(-33). Which is smaller: c or 0?
c
Let i(t) = -t**2 - 7*t + 3. Suppose 0 = 2*l + 8, 0 = 3*f - 4*l + 5. Let j be i(f). Is j > 1?
True
Suppose 35 - 203 = -12*w. Is w > 13?
True
Let v be (-34)/(-126) + 2/7. Is 0 != v?
True
Suppose -3*v + 5*y - 45 = -17, -2*v + 23 = 5*y. Let d be (-28058)/25956 + (-14)/(-63). Let z = d - -1/618. Is z greater than v?
True
Let p = 9 + -9. Let q = p + -0.02. Is q greater than 1?
False
Let h = -10 + 9.2. Let u = -0.9 - h. Which is smaller: 0.8 or u?
u
Suppose -g - 5*p + 1 = -5*g, 0 = 3*g - 3*p. Let q be 4/(-10)*70/63. Is q not equal to g?
True
Suppose 3*o = -3*h + 9, 3*h - 17 = -h + o. Let m be 1/2 + (-22)/(-4). Suppose -19 = -3*x - 2*y - m, -10 = -2*x - 2*y. Do x and h have the same value?
False
Let v(x) = x**3 - 8*x**2 + 6*x + 1. Let o be v(7). Which is smaller: -5 or o?
o
Let s(k) = -k**3 - 15*k**2 - 3*k - 25. Let x be s(-15). Is 22 smaller than x?
False
Let s(x) = x**2 + x - 1. Let w be s(2). Let d be w/5 - (0 + -3). Let u be (-2)/5 + (-44)/(-10). Is u greater than d?
False
Let r be 6/40 + (-2)/(-8). Let n = r - -1/10. Suppose 4*h - 5*h + 1 = 0. Which is bigger: h or n?
h
Let w be (36 - 1)*(0 + 4/30). Which is smaller: 6 or w?
w
Let i be (-2)/(8/12) - 0. Which is bigger: i or 3?
3
Let l be (3 + -6 - (-37)/8) + -1. Which is bigger: l or 0?
l
Let a(u) = u**2 - 3*u - 7. Let h be a(5). Suppose 0*r + 5*r + 3*f - 21 = 0, -4*f + 11 = r. Let j = 5 - r. Is h at most as big as j?
False
Let n = 2/29 - 64/87. Suppose 2*a + 3*a = 2*t + 3, 0 = -5*a - t + 6. Let x = 1 - a. Is n < x?
True
Let j = -83 - -73. Is -10 greater than j?
False
Let k = 0.3 - 0.4. Let j = 0 - k. Let a = -19 + 19.1. Is a 