*z - 0*z. Let n be (m/6)/((-2)/(-3)). Let t be ((-5 - -1)/(-2))/n. Is t at least as big as 1/7?
True
Let n be (-61 - 6)*(0 + 7). Is 2/5 < n?
False
Let j be 7/42*((-412)/(-36) - -5). Is 4 less than or equal to j?
False
Let v = -3114 - -3141. Let l = -15 - -42. Is v equal to l?
True
Let b(y) = y - 1. Let c be b(1). Let x(k) = k**2 - k - 6. Let l(o) = -o**2 - 4*o. Let i be l(-3). Let a be x(i). Is a smaller than c?
False
Let t be ((-2)/1108 - 0)*(-8)/(-2). Which is smaller: t or -1?
-1
Let t = -0.077 - -21.077. Let d = 17 - t. Which is smaller: -2 or d?
d
Let r = 43 - 685/16. Let v(s) = -4*s + 79. Let t be v(20). Which is greater: t or r?
r
Let f = -1.159 + -157.841. Is f less than or equal to -4?
True
Let h = 9/11 - 145/231. Which is greater: 1 or h?
1
Suppose 3*t - 5 = -2*t. Let x(r) = -3*r**2 + 49*r + 9. Let g be x(17). Let o be (-2 + 0)/(g - (8 + -7)). Which is greater: o or t?
t
Suppose 0 = -d - 1, -5*d + d - 12 = 4*n. Is n bigger than 7?
False
Suppose 0 = 2*b + 29*b - 7471. Is 241 <= b?
True
Let x = 34252980577/1092 + -31367192. Let r = 138/35 + -7171/1820. Let t = x + r. Which is bigger: t or 7?
7
Suppose -z + 56 = z. Let s be (z/8)/((-1)/3). Let x(w) = -11*w. Let g be x(1). Is g at most as big as s?
True
Let z be -3 - -2 - (-2764)/2331. Let s = -10/63 + z. Which is smaller: s or 0?
0
Let z = -17.1753 - -0.1753. Which is smaller: 72 or z?
z
Let c(w) = -6*w**2 - 7*w - 12. Let m(u) = u**2 - u. Let v(f) = c(f) + 5*m(f). Let s be v(-11). Which is smaller: s or 3/11?
s
Let x = -275/18 - -89/6. Which is bigger: 2 or x?
2
Let l(j) = j**3 + 7*j**2 + 1. Suppose -5*u + u = -20. Suppose -3*v = -2*b + 5*b + 9, -3*b + u*v - 41 = 0. Let f be l(b). Which is bigger: f or -6?
f
Let o = 2.34 - 2.1. Let q = o + 0.1. Let x = q + -0.24. Is 1/4 equal to x?
False
Let b(o) = -o**2 + 7*o - 2. Let s be b(5). Let d be 2/(14/s + -1). Suppose -386*u + 14 = -379*u. Is d equal to u?
False
Let x(h) = -h**2 - 3*h + 18. Let t(q) = -5*q + 29. Let p be t(7). Let c be x(p). Which is bigger: c or -6/37?
c
Let f = 157.826 + -158. Let h = f - 0.126. Which is bigger: 4 or h?
4
Suppose -7*g + 89 = 68. Suppose -3*r + 4 + 5 = 0. Is r at most g?
True
Suppose 5*v + k = 9, 9 = 2*v + k + 3. Let b be (-2)/(-6) - 3342/819. Let a = b - -45/13. Is v > a?
True
Let p = 33.15 - 32. Let v = 514.15 + -514. Let x = v - p. Is x at least as big as -6/11?
False
Let k(q) = 3*q - 3. Let f be k(1). Suppose f = -18*t + 19*t. Which is smaller: t or 7/6?
t
Let g = 21 - 26. Let s = g - -5.17. Which is greater: 2 or s?
2
Let y be (-5 + 6 - 142)/(-1). Let j = y - 66. Which is bigger: j or 76?
76
Let m = 1/793 - 23039/33306. Let d = m - -4/21. Let c = -8 + 6. Are c and d nonequal?
True
Let t be (6*(-3)/63)/((-50)/14). Suppose 0 + 1 = m. Is t less than m?
True
Let w(x) = -10*x**2 + 2*x - 22. Let y be w(-11). Let d = y + 4969/4. Which is smaller: d or -11?
d
Suppose 4*c + 0 = -4. Let t(z) = -3*z**2 + 1. Suppose -q + 1 = 2. Let f be t(q). Which is greater: f or c?
c
Let x be 2/2*181/297. Let j = -14/27 + x. Suppose 27 = -53*n - 26. Which is smaller: j or n?
n
Suppose 2*r = -4*z + 568, z + 0 = r + 139. Which is smaller: z or 704/5?
704/5
Let r = 225 + -1567/7. Which is bigger: r or 0.02?
r
Suppose -3 = 2*l - 11. Let u be -1 - (-16)/l - 1. Is u at least as big as 8/11?
True
Let d(f) = 33*f**3 - 6*f**2 - 7*f - 13. Let z be d(-4). Is z != -2192?
True
Let l be ((-9)/(-30))/((-3)/(-6)). Let h = 13/55 - l. Is -2/9 less than or equal to h?
False
Let s be (8/10)/(60/1150). Let x = s + -463/30. Which is smaller: -1 or x?
-1
Let z = 19.2 - 19.1. Is 2/5 greater than or equal to z?
True
Let t be 66/24 - 1/(-4). Suppose 0 = -t*b - 11 + 35. Let f = b - 8. Is 0 bigger than f?
False
Let p(n) = -6*n + 2. Let c(j) = 5*j - 2. Let t(x) = 7*c(x) + 6*p(x). Let o be t(-4). Let z = 4 + -2. Is z bigger than o?
False
Suppose s - 3*s - 13 = -3*w, 0 = w + 3*s - 8. Let d(o) = o**3 - 4*o**2 - 6*o + 6. Let m be d(w). Let k be 0 - m*(-1)/(-5). Is k not equal to -2/3?
True
Suppose -4*s - 3*v = 2*v + 79, 3*s + 45 = v. Is -19 at least s?
False
Let w be (-23 - -22)*(5 - 1)/(-1). Let v be w/(-14) - (-4 - (-76)/28). Which is greater: v or 5/11?
v
Let o = 13907/7 + -1991. Suppose -4*n + 18 = -a, 4*n - 2*n + 4*a = 18. Suppose 2*y = -5*b - 23, 0 = -n*y - b - 32 + 9. Which is greater: y or o?
y
Let p = -12173/10 - -1217. Let c(z) = -z - 4. Let q be c(-5). Which is smaller: p or q?
p
Let t(y) = -2*y**3 + y**2 + 7*y**2 + 3*y**3 - y**2 + 5*y. Let g be t(-6). Let s be (2/51)/(g/18). Which is bigger: -2/5 or s?
s
Suppose -3*c + 22 = -5*v, 3*c + 5*v = 4*c - 14. Let w be (5 - (1 + 6))/(c/(-66)). Is 33 equal to w?
True
Let j = -25 - -33. Let k = j - 5. Which is greater: k or -2/3?
k
Let d = -11 + 12. Let x = d + 3. Suppose 0 = -n + 4*q - 6, 14 = 3*n + x*q - 0*q. Which is smaller: n or 6/7?
6/7
Let q be (-1855)/14*(7 + -3). Let i = -22788/43 - q. Is i bigger than 0.1?
False
Let h = -25 + 24.952. Let t = h - 0.952. Is -21 < t?
True
Let h(p) = -7*p + 288. Let c be h(41). Is c not equal to 2/413?
True
Suppose -a - 8 = 2*i, -2*a - 18 = i + 2*a. Let k(f) = -f**3 - 2*f**2 - 2*f + 1. Let m be k(-2). Suppose -3*r - 11 = -m. Is i != r?
False
Let z = 10.2 + -26.2. Which is bigger: z or -10?
-10
Suppose -3*i = g - 128, -i - 13*g + 34 = -17*g. Which is greater: i or 46?
46
Let w = 37.052 - 0.052. Let u = w - 35. Which is smaller: u or -13?
-13
Suppose -2*y - t - 13 + 1 = 0, 0 = -5*y - 4*t - 36. Let m = -3 + -3. Which is smaller: y or m?
m
Let z = -1 + -1. Let h be -1 - z/(1/1). Let l = -1.966 - -1.766. Which is smaller: h or l?
l
Let k(h) = h**3 - 12*h**2 + 11*h - 3. Let m(j) = -6*j - 6. Let x(r) = -7*r - 5. Let w(b) = -6*m(b) + 5*x(b). Let p be w(0). Let d be k(p). Does 1 = d?
False
Let m = -4073/9 - -453. Is m at least as big as 11?
False
Let y = 0.254 - -0.046. Let g be (20/(-15))/(4/(-6)). Is y <= g?
True
Let p = -237 + 202. Is p <= -33?
True
Let m be ((-208)/6)/(7 + 427/(-63)). Does -155 = m?
False
Let s be 724 - ((-154)/(-30) - 4/30). Are 719 and s non-equal?
False
Suppose 5*i + 10 = 5*c, -c - 4*i + 4 = 2. Suppose 0 = -z - 3*v - v - c, 4*v = -3*z + 2. Let f = -6 - -20/3. Is z at most f?
False
Suppose 8*d - 1619 + 1307 = 0. Is d less than or equal to 42?
True
Let g be 1/(-2)*(-360)/(-6). Let p = g + 31. Which is greater: p or 10?
10
Suppose -2*r + 12 = -y, 3*y = -5*r + 34 - 4. Let c(z) = z**2 - 8*z + 11. Let d be c(r). Which is smaller: -14 or d?
-14
Let s = -7569 - -30469/4. Is 47 at most s?
True
Suppose -14 = -2*x - 2*j - 48, -4*j = 5*x + 83. Let g be x/((-3)/(-2) + 0)*2. Is -20 less than or equal to g?
True
Let y = -89 - -151. Let k = y - 79. Is -0.2 at most as big as k?
False
Let k = -10.4 - -11.4. Are -86 and k equal?
False
Suppose -2*d - h + 104 = 2*d, 0 = -d - 3*h + 15. Suppose 44*p - 400 = 28*p. Which is greater: p or d?
d
Let c(j) = -j**3 + 3*j**2 + j + 11. Let f be c(4). Is 5/33 less than f?
False
Suppose -r = 2*d + 103, 6*r + d = 2*r - 384. Which is smaller: -101 or r?
-101
Let l be 70/(-252)*(159/165 - 1). Which is bigger: -1 or l?
l
Let r be 1*(0 + 3)/3. Suppose -2*a = -3*a - 5*w - 2, -4*w = -5*a + 19. Suppose -5*g + 23 = a. Is r < g?
True
Let b be (-15)/(-35) - 1030/35. Let v = b + 10. Is v less than 1?
True
Suppose 32 = -9*y + 4415. Are 488 and y non-equal?
True
Let f be (6/(-4))/((-68)/136). Is f <= 2?
False
Suppose s - 6 = -6. Let n be 1*4/(1 - -1). Suppose n*v + 2 = -0. Is s less than or equal to v?
False
Suppose -5*o - 5*d + 225 = 0, 5*o - 3*o + 4*d = 98. Is o > 202/5?
True
Let p be 0 - (0 - -2)*-6. Suppose 2*v - l - p = l, -5*l + 10 = 3*v. Let w be 2/(5/(v/2)). Are 2 and w equal?
False
Let q = -1298 - -1295. Let v = -18 + 13. Is q greater than v?
True
Let d be 11 - 1904/176 - 570/(-11). Which is greater: d or 56?
56
Let w be 12/(-30) + ((-31)/10 - -4). Are 0.148 and w nonequal?
True
Let v = -968 + 968. Let h be 171/177 - (1 + 0). Which is bigger: h or v?
v
Let d be (-200)/240*(-1)/(-5). Which is bigger: d or 5/28?
5/28
Let g = -341100/361 + 52384131/22021. Let q = g - 1434. Which is bigger: -0.1 or q?
q
Let m = 4.572 - 4.632. Let s be 13/3 + (-4)/(-6). Which is bigger: m or s?
s
Let a = -2 - -1.2. Let l = 0.7 + a. Let q = 2.2 - 6.2. Is q not equal to l?
True
Let u(o) = -61122*o - 5. Let y be u(-2). Let i = y + -14546667/119. Let b = i - -42/17. 