0?
y
Let n be 5/(-9)*-3*(-6 - -15). Suppose 0 = -4*x - n*x + 532. Let b(v) = -v - 2. Let a be b(-4). Is a < x?
True
Let u be (-49)/((-3140410)/(-13583)) + ((-2)/10)/(-1). Which is bigger: u or 1?
1
Let p = -100 - -102. Let f = 17 + -18. Let g be (12 + f)/((-1)/((-2)/p)). Which is smaller: 10 or g?
10
Suppose -2*n - n = 0, 0 = -3*z + 2*n + 186. Suppose -4*f + 10 = -z. Let g be (1 - 2)*f/(-18). Is 1/185 bigger than g?
False
Let f = -12/307 - -22229/11052. Let r = 143/80 - 3/80. Let x = f - r. Which is smaller: -16 or x?
-16
Let z = -17779 - -16837. Which is smaller: -943 or z?
-943
Let q be 30222/(-16720) + (-228)/(-2166). Let z be 3/3 - 30/11. Let y = q - z. Which is smaller: y or 1?
y
Let c(r) = 13*r + 45. Let s be c(-6). Let b = 18 + s. Let a be ((-17)/3)/(3/9). Which is bigger: b or a?
b
Suppose 1 - 10 = 5*o - 3*t, 0 = -4*o + 5*t - 2. Suppose 0*s - 2*s = 0. Let p be (s - o/1)/(-1). Is p < 1?
True
Let p be 4 - (-124)/(-32) - -6*1/(-48). Which is smaller: p or -307?
-307
Let d be (-30)/(-70) + 25/7. Suppose -b - s = s + 33, -5*s = -d*b - 80. Is -23 greater than b?
True
Let k = 2.5 - 2.4. Let w = 4575/103 - -136721/3605. Let c = -426/5 + w. Is c less than k?
True
Let k = -17 - -21. Suppose -18 = 2*s - p - 20, k*s - 4 = -5*p. Is s >= 1/14?
True
Suppose 0 = -4*k + 5*k - 2*o + 101, -5*k - 5*o - 475 = 0. Let c be ((-2)/(-12))/((-27)/(-15822)). Let i = k + c. Which is bigger: 0 or i?
i
Let y be (-1284)/9*((-109 - -112) + (-3)/2). Is -216 > y?
False
Let j = 0.12 - -0.02. Let a = -0.36 - j. Suppose 9*z = 5*s + 10*z - 68, s + 3*z = 22. Does a = s?
False
Let k be (-205)/20 + 3/12 - 16. Let u(p) = -p**3 + 4*p**2 + 7*p + 5. Let g be u(6). Is k at most as big as g?
True
Let x be (-138 + 143)*(-174)/(-295). Which is bigger: 4 or x?
4
Let u(x) = 14*x - 6. Let a be u(4). Let w(p) = p**2 - 913. Let r be w(-31). Is a equal to r?
False
Let t(a) = -66*a - 67. Let k be t(-1). Let d = -2492 - -49829/20. Which is greater: d or k?
d
Let b = 45575.9 + -45576. Let k be (4 - -1)*(-514)/(-5). Which is smaller: k or b?
b
Let w be 3/(-2*9/204). Let c = -32 - w. Let s be 20 - ((-3)/3 + c). Which is smaller: s or 18?
18
Suppose 370*x + 192 = 562. Which is bigger: x or 25/343?
x
Let u be (6 + -1 + 2)*1. Suppose -m + 0 = -u. Suppose -10*q = 4*n - 12*q - 26, -7*q - 7 = -2*n. Is m at most as big as n?
True
Let p be 333/(-30) + 4/(-12)*75/50. Which is smaller: p or -11?
p
Let o = -675.18 + -10.82. Let w = o + 686.2. Is -63 not equal to w?
True
Let q = -23 + 27. Let d be (3 + (-46)/q)/(-1). Suppose -69 = -z - 60. Do z and d have the same value?
False
Suppose 76*i = -45*i - 4598. Which is bigger: -3/4 or i?
-3/4
Suppose -103 = -l + 5*d, 0 = 2*l + 4*d + d - 221. Let t be 6/(-27)*3*l/(-8592). Are 0 and t equal?
False
Let h be (-1)/((-1)/(-614)) - -1. Let l be (3087 + -22)*(34/85)/(4/(-2)). Is l bigger than h?
False
Let u = 3321 + -3321. Which is smaller: -3/2236 or u?
-3/2236
Let o = -550899279 + 4553182534934/8265. Let n = -4/551 + o. Which is smaller: -2 or n?
-2
Let b be (274312/(-12))/((-4)/(-3 + -5109)). Let v = 94683313860/3241 + b. Let n = 2/463 + v. Is n not equal to -5/4?
True
Let h = -0.79 - -1. Let t = -0.142 - 5.068. Let z = h + t. Is z > 0.03?
False
Let y(f) = 1464*f**2 - 9*f - 18. Let k be y(-2). Which is smaller: 5855 or k?
5855
Let b = 134351/116415 + -2/8955. Suppose 0 = -r, j = 4*r - 3*r + 1. Which is greater: b or j?
b
Suppose 26 + 4 = 6*q. Suppose -2*u = -2*x - 128, 0 = q*u - u - 16. Let p be (1458/(-12) + (-2)/4)/2. Is p at most as big as x?
True
Let k = 0.03127 + -223.13127. Let w = 223 + k. Which is greater: w or -1/79?
-1/79
Suppose -5*i - 8 = -3. Is 1 at least i?
True
Let l = 18810 + -18751.035. Let i = -0.035 - l. Let y = 62 + i. Which is bigger: 0.5 or y?
y
Suppose -5*s = 3*j - 12, -4*j + 4*s + 45 = s. Let m be 1/(6/j - 1) - -4. Suppose -4*u + 0*z = 4*z, 0 = -z + m. Is -2/3 < u?
False
Let l = 850 + -521. Let o = l + -331. Is 6 less than or equal to o?
False
Let n = 3274 + -3414.9. Let z = n - -134. Let o = 6.7 + z. Is o != -1?
True
Let s be (-5 - 1 - -5)/1. Let u be (-21)/576*-4 + s/(-6). Suppose -5*v + 4*h - 20 = 0, 4*v + 4*h - 10 = 10. Which is greater: v or u?
u
Suppose -42*o - 97*o - 107 = -32*o. Which is greater: o or 196?
196
Let y = 186 + -179. Suppose -14 = -y*i + 35. Suppose 68 = 5*n + 13. Which is greater: n or i?
n
Let v = 1458041/45 + -32371. Is 29 at least as big as v?
False
Let t be (30/12 - -8)/((-3)/8). Let r be (2 - t)*(-3)/(-6). Is 0.1 smaller than r?
True
Let i be ((-3)/24)/(2/(-60)). Let r(c) = -9*c + 1. Let k be r(-1). Suppose -6*y = -4*y - k. Which is smaller: i or y?
i
Suppose 22*n - 26*n = -40. Suppose 0*r = -4*d + r + 13, 2*r = -n. Let m be -3 + 14/6 - d/(-9). Which is smaller: -1 or m?
-1
Let u = 7 - 2. Suppose 2*t - 7*t + u = 0. Let f = -405883 - -18264736/45. Which is smaller: t or f?
f
Suppose -5*z + 24 = 3*d, -2*d + 26 = 5*z + 5. Suppose 0 = 5*o + z + 12. Let q = -23/8 - o. Which is bigger: 0 or q?
q
Suppose 10*c - 44 - 8 = 6*c. Let o be (10/(-6))/((-1)/3). Suppose -4*u = -o*v + 2, 2*u + 4*v = -1 + c. Which is greater: 2/3 or u?
u
Let m be -9 + 6 - 292/92*-1. Let k = m - -270/299. Which is greater: 1 or k?
k
Let l = -15026 - -14571. Which is smaller: -1/6 or l?
l
Let b(t) = 81*t + 568. Let z be b(-7). Is z >= -4/605?
True
Let h = -146.0214 - -146. Let s = h - 17.8786. Which is smaller: -0.1 or s?
s
Suppose 0 = 3*b + 3, -5*b = -4*r - 4*b + 9. Suppose -3*w = 2*g + 16, -2*g + 3*g + 1 = r*w. Which is smaller: -42/29 or w?
w
Let i be 205/(-20)*(1/(-2) + (-3971)/570). Are 77 and i non-equal?
True
Suppose -15*p - 2908 - 6707 = 0. Let g = p - -7023/11. Which is smaller: g or -2?
g
Let w(h) = h**2 - 3*h - 3. Let m be w(4). Suppose 0*s = 5*s + 3*g - 704, 0 = -3*s + g + 428. Let y = 144 - s. Are m and y nonequal?
True
Let j = -7.28 - -2.4. Let f = j - -2.88. Which is greater: f or 1?
1
Let c be (-1)/(-5) - 838/(-10). Let o be (-8)/(-6)*(-6)/c. Let d be -3 + -13 + 12*(-1285)/(-960). Is d at most o?
False
Let w = -3249 + 1625. Are -1626 and w equal?
False
Let j be ((-3)/39)/((-195)/(-10)). Is j >= 2?
False
Let q = 97 - 265. Let p = q - -164.8. Which is smaller: p or 0?
p
Let b(i) be the third derivative of i**5/60 - 5*i**4/12 + 11*i**3/2 - 48*i**2 + 2*i. Let j be b(5). Which is greater: 6 or j?
j
Let r(h) = 6*h**3 - 9*h - 7*h**3 + 94 - 4*h**2 - 99. Let n be r(-3). Suppose 0*f - 42 = -3*f. Which is smaller: f or n?
n
Let k = -40 - -69. Let g = -186.451 + 190.451. Which is smaller: k or g?
g
Suppose m = 2 - 0, 5 = -x + 2*m. Let u be (-28)/(-357)*(-54)/(-385). Let z = -1/1309 - u. Which is bigger: z or x?
z
Let o = -23.786 + 23.6. Let i = o - 0.07. Is 0.1 >= i?
True
Let v = 0.2776 + -0.4912. Is -3 equal to v?
False
Suppose -16*z = -12*z + 3*i + 254, -4 = 2*i. Is z at most as big as -55?
True
Let b = -13547 + 2609. Is b bigger than -10938?
False
Let a = -46 - -44. Let s be (1/5)/(a/(-10)*1). Is 11 less than s?
False
Let v be 2/8 + ((-289765)/1564)/(-35). Which is bigger: v or 1/4?
v
Let s be 0 + (0*3/15)/(-1). Suppose 5*w = -s*w - 15. Are 0 and w equal?
False
Let t be (12 + -6)*(2 - (-35)/(-15)). Suppose 2*j - i = -0*i + 3, i = 4*j - 11. Are t and j equal?
False
Suppose 4*j = 3*l - l + 8, 3*l = 0. Let h be -1 + (j/(-18) - (-343)/252). Let z = 0.2 + -0.2. Do z and h have the same value?
False
Let s be -9 + 2 - (-9 + -183 + -24). Which is smaller: 214 or s?
s
Let c be -1 - 2/(2/(-3)). Suppose k + c*r - 2 = 7, -4*r + 3 = -k. Suppose -56 = -k*u - 3*a, 2*a + 8 = u + a. Which is bigger: u or 8?
u
Let t = 0.08 - -19.92. Let z = 10 - t. Let u = 24 - z. Which is smaller: -1 or u?
-1
Let i be -3 - 25 - 4/(-1 + 0). Suppose u + 5*k = -28, 17*k - 15*k = 2*u + 44. Is u greater than i?
True
Suppose 0 = -h - 92 - 47. Let s = h + 103. Do -28 and s have the same value?
False
Let b be 1/(-11 - -20 - 10) - (-4)/5. Is b greater than -3053/4?
True
Suppose -5*h - f - 5342 = 0, 4*h - 3*h = -4*f - 1057. Are h and -1069 unequal?
False
Let h = -851 - -855. Let g be (2 - h)/((-22)/44). Which is smaller: g or 10?
g
Let d be (1 + 2)/((-51)/(-85)). Let y(b) = -19*b + 40. Let o(f) = -9*f + 20. Let u(h) = -7*o(h) + 3*y(h). Let l be u(d). Is l smaller than 62/7?
False
Let f be 1105224/(-36)*(-1)/42. Let p = 731 - f. Is p at most 0?
False
Let b(g) = -2*g**2 + 28*g - 1. Let 