 = b - 4*f, b = 3*f - q. Let g = b + 0. Is 0 > g?
False
Suppose 2*u = h + 5*u + 4, 5*u = 3*h - 2. Which is smaller: h or 2/125?
h
Suppose 11*s = 2*w + 10*s + 21, 0 = 3*w - 2*s + 29. Is -62/5 smaller than w?
False
Let o = 32 - 28. Is o less than or equal to 7?
True
Let d = -419 + 1667/4. Is 2 greater than or equal to d?
True
Let g be (1/4)/(9/36). Which is smaller: g or 11/7?
g
Suppose -2*g = -1 - 3. Let b be (-2)/4 + 66/44. Which is smaller: b or g?
b
Let q be -2 - (-3 + 0 - 2). Suppose 0 = 4*v - 5*c - 16, -4*c = -4*v - 5*c + 16. Which is smaller: q or v?
q
Suppose 4*v = -0 - 8. Let f be (4/16)/(v/(-8)). Let y = 87/5 - 17. Which is smaller: y or f?
y
Let y be (6/4 - 2)*(-11 + 11). Which is bigger: 1 or y?
1
Let m(n) = -n**2 + 3. Let o be m(-2). Let i be o*2 - 34/(-11). Is 2 smaller than i?
False
Let d(i) = i**3 - 20*i**2 - 24*i + 77. Let u be d(21). Are 9 and u unequal?
True
Let g = 0 - -1. Let q = g + -5. Let m(d) = d + 6. Let l be m(q). Which is greater: 3 or l?
3
Let u be 87/(-27) + (-6)/(-27). Let p(z) = -z**2 - 2*z - 2. Let w be p(u). Are -1 and w nonequal?
True
Let p be 27/9*4/3. Let x(o) = o + 3. Suppose -4*k = -7*k. Let h be x(k). Which is smaller: h or p?
h
Let i = 3 - 1. Suppose -3*p - i = -2*p. Is -1 at least as big as p?
True
Let z(u) = -5*u**3 - 11*u**2. Let y(s) = -2*s**3 - 4*s**2. Let h(c) = -8*y(c) + 3*z(c). Let j be h(0). Which is greater: j or -1?
j
Let b = -0.04 - -0.14. Let m = 0.22 + 0.08. Are m and b nonequal?
True
Let k(n) = 2*n - 13. Let l be k(9). Let y be (l + 0)*(-1 - 0). Which is smaller: -7 or y?
-7
Let o = 21 + -62/3. Is o greater than or equal to -8?
True
Let d be (8/20)/(4/15). Which is bigger: -0.1 or d?
d
Suppose -2*w + f - 4 = 0, -2*w + 4*f + 0 = 4. Let v = 15 - 19. Which is smaller: w or v?
v
Let v(h) = -h**3 + 2*h - 2. Let o be v(2). Is o smaller than -6?
False
Suppose -r - t = 112, -r - 70 - 30 = 5*t. Is 0 less than or equal to r?
False
Let w(o) = -o**2 - 10*o - 4. Let i be w(-8). Is 10 >= i?
False
Let s be 4/16 - 15/(-20). Let k be s + 2 + (-69)/21. Is k less than or equal to -0.05?
True
Let c = 2/1393 - -23669/8358. Let m = c - 649/228. Let t = -4/57 + m. Which is greater: 1 or t?
1
Let d = -70 - -94. Which is smaller: d or 23?
23
Suppose 3*v - 8*v = 655. Let n = v - -1177/9. Let b(g) = g**2 + 1. Let q be b(0). Which is smaller: n or q?
n
Let r be (-195)/21 - (4/(-14) - 0). Do r and 2 have the same value?
False
Let c be (0 - -1)/(20/(-8)). Let u(k) = -k - 1. Let m be u(-1). Is c != m?
True
Let d = 496 - 506. Let v(m) = -m**3 - 5*m**2 - 3*m. Let a be v(-3). Which is bigger: d or a?
a
Suppose u - 3 = -0*u. Suppose u = -3*w - 3, -n - 4*w = 5. Is 4 < n?
False
Let u be 22*(-2 - 205/(-100)). Is 1 <= u?
True
Let y(m) = -2*m**3 - m**2. Let c be y(1). Let h be (0 + 1)/(c - -2). Is h greater than or equal to 1?
False
Suppose -q - 4*q = 5*v, 0 = v + 2*q + 2. Let r be 1 + (-2 - v/(-3)). Let i(f) = f**3 + 4*f**2 + 3*f. Let a be i(-3). Which is bigger: a or r?
a
Suppose 26*z - 24 = 23*z. Are z and 0 equal?
False
Let j(z) be the third derivative of 7*z**6/120 - z**5/60 + 6*z**2. Let o be j(1). Which is smaller: o or 5?
5
Let l(x) = -x**2 - x - 1. Let y be l(-1). Let v(m) = 4*m**2 - 3*m + 2. Let o be v(2). Let p be 3/6 - 10/o. Which is greater: p or y?
p
Let j be ((-1)/(-4))/(2/8). Suppose 2*p + 20 = 7*p. Let q be 2/p*4/23. Which is smaller: j or q?
q
Let k = -3.6 + 3. Let d = -0.7 - k. Is d less than or equal to -0.2?
False
Let x be 2/4 + 3/(-6). Let m be 2 + (-15)/(-2 + -3). Suppose x = m*r - 2*r + 6. Is -2 bigger than r?
False
Let l = 31 + -44. Let f = l + 9. Is -4 at most f?
True
Let m be (-2)/(-4) + 20/(-8). Let d be m*3/12*0. Are 2/15 and d non-equal?
True
Let f be (-10)/10 - (10 - 1 - 2). Which is bigger: -12 or f?
f
Let l = 6 - 2. Suppose -9 = -l*h + 23. Which is smaller: h or 7?
7
Let b be 7/22*(-32)/(-16). Is 2 != b?
True
Let m be (-4)/20 - (-8)/(-10). Let j = 515/6 + -86. Which is bigger: j or m?
j
Let a = 0.15 + 1.85. Which is greater: a or -1?
a
Let y = -8 - -5. Suppose 6 = 2*s + 14. Which is bigger: s or y?
y
Let r(w) = w**3 - 5*w**2 - 5*w - 7. Let a be r(6). Suppose 0*b + 3*b = c, 4*c - 3*b = 9. Let m be -2 + 0 + a + c. Are 2 and m nonequal?
True
Let m(d) = -d**2 - 5*d + 7. Let n be m(-6). Is n less than -2?
False
Let c = 17 - 11. Let t = 8 - c. Let n be (-12)/(-9) - (-4)/(-12). Is n greater than t?
False
Let c = -1 + 3. Let b = 2 - c. Is b equal to 2/7?
False
Suppose -2*g - 2*g = 0. Are -6/11 and g equal?
False
Let g = -15946387/66759 + -732/3179. Let q = g + 239. Does 0 = q?
False
Let m = -7.04 - -7. Which is smaller: m or 0?
m
Let v(t) = 10*t - 15. Let a be v(3). Which is smaller: a or 16?
a
Let y be 316/(-26) + 4/26. Is -11 at most as big as y?
False
Let t = -103/5 + 20. Is t equal to -2?
False
Suppose u - 6*u + a = 9, -2*a = -3*u - 4. Let i = 7506/7 - 1074. Which is bigger: u or i?
i
Let w = 47 - 18. Is w at most -1?
False
Let t = 1.77 - -0.23. Let l = 27 - 28.9. Let s = l + t. Which is greater: s or -3/4?
s
Let h = -12.4 + 14. Let l = -0.5 + h. Let y = l - 1. Which is smaller: y or 0.5?
y
Let f = -2.62 + 0.52. Let l = -0.5 - -2.5. Let v = f + l. Which is smaller: v or 1?
v
Let k = -8 - -3. Is -1 smaller than k?
False
Let b = 3.2 + -3. Let a = b - -0.8. Let y = -28/57 - -3/19. Is y < a?
True
Let l(q) = q**2 - q + 1. Let x be l(1). Let k(f) = -f - 11. Let p be (-1)/(3/33 + 0). Let y be k(p). Which is bigger: x or y?
x
Suppose 0 = -5*c - 5, -3 + 6 = 2*w - 3*c. Is 1/4 bigger than w?
True
Let l(q) = -q + 6. Suppose 4*k = 5*m + 39, 5*k - m - 17 = 16. Let y be l(k). Are -1 and y equal?
False
Suppose 0 = -k + 3*k. Suppose -3*s + k + 2 = -d, 3*s - 10 = 5*d. Is s at most 1/2?
True
Suppose 4*w - 102 = -2*v, 3*v = -12 - 3. Let o be w/(-18)*1 + 1. Which is smaller: o or 0?
o
Let w(g) = -6*g + 7. Let i(t) = -5*t + 7. Let h(p) = -7*i(p) + 6*w(p). Let v be h(-8). Which is smaller: v or 1/3?
1/3
Let q be 2/4*(-3 - -19). Let w = -2 - -9. Which is bigger: w or q?
q
Let a be (-3)/6 - (-9)/(-6). Is a at most -0.4?
True
Let y = 1 - 0.6. Let n = y + -0.6. Let o = n + 0.3. Is 1/4 <= o?
False
Let k be (2 - 1)/(213/(-6)). Are -1 and k equal?
False
Suppose 3*b + 2*c + 25 = -0*b, -3*b = -4*c - 5. Is 1 bigger than b?
True
Let m be (-2)/4 - (-5)/2. Suppose 0 = m*v - 3*l + 17, -2*v + v - 26 = -5*l. Is v > 2/25?
False
Let s(k) = k - 11. Let j be s(7). Let f be ((-2)/6*-1)/(6/(-90)). Is f <= j?
True
Let a = 0.98 - -0.02. Let p = -5.3 - -5. Which is bigger: a or p?
a
Let l(i) = 2 + 2*i**3 - 3 + i**3 + 4*i - 5*i. Let c be l(-1). Which is bigger: 2 or c?
2
Let q = 24452/49 - 499. Is q >= 0?
True
Suppose 3*d = -0*w + w + 12, 0 = 2*d - 10. Which is bigger: 1 or w?
w
Suppose 0 = -3*k + 12, -9 - 16 = -3*f - 4*k. Is 0.2 less than or equal to f?
True
Let c = -38 + 70. Is 32 < c?
False
Let v = -15.8 + 16. Which is greater: -0.2 or v?
v
Let u = 29/66 + -3/11. Is -4 at least as big as u?
False
Let s = 7 + -11. Let w be (s/6)/((-24)/(-27)). Is -2 != w?
True
Suppose 0*k - 12 = -2*k. Suppose 0 = -4*z + l + 3*l + 40, -15 = -2*z + l. Which is bigger: z or k?
k
Let n(v) = -v**2 + 14*v - 6. Let m be n(14). Is -5 bigger than m?
True
Suppose -3*m + 3*d + 45 = 0, 0 = 2*m + 4*d - 0*d. Suppose 2*h - 22 = -4. Is h greater than or equal to m?
False
Let o be -1*(-1 + 0 + 6). Let j = 21 - 13. Let x be 3 - (j + 0 + -1). Are x and o nonequal?
True
Suppose l - 4 = -q, 0*q - 2*q + l - 1 = 0. Let t = 562/15 + -10004/255. Let z = 201/85 + t. Is q >= z?
True
Suppose -5*n + 3*m - m - 2 = 0, 12 = 4*n - 5*m. Let x be (18/3)/((-1)/(-4)*6). Which is smaller: x or n?
n
Let w be ((-25)/20)/(2/8). Let n = -8 - -7. Is w < n?
True
Let a = -3 - -2.7. Let m = 9.9 - 10. Let x = m - a. Which is smaller: 2/7 or x?
x
Suppose 2*l = l + 12. Let s = l - 11. Which is bigger: s or 2/3?
s
Let o(d) = d**2 + 6*d + 4. Let r be o(-6). Are 3 and r equal?
False
Suppose 18 = j - 158. Let y = 2998/17 - j. Which is smaller: y or 0?
0
Let s = 6 + -7. Let z(g) = -11*g**3 - g**2 + g + 1. Let a be z(s). Suppose 0 = -f + 2*w + 5, a = -5*w. Which is smaller: -0.4 or f?
-0.4
Let j = 1.3 - 1.3. Which is smaller: 19 or j?
j
Let a(j) = -j**3 + 6*j**2 - 2*j + 8. Suppose 4*u = -5*q + 10, -3*u + 1 = 2*q + 4. Let s be a(q). Let p be (10/s)/((-12)/(-8)). Which is greater: p or -1?
-1
Let x = -0.4 - -0.5. A