e (-6)/(-5)*(-20)/6. Which is smaller: k or n?
n
Let d = -12.86 + -0.14. Let n = 10 + d. Is n at least as big as 0.2?
False
Let z = 1895 + -1853. Which is greater: -1/13 or z?
z
Let t(s) = -6*s - 27. Let q be t(9). Let a = 59 + q. Which is smaller: 2/3 or a?
a
Suppose 11 = 4*h - 5. Let b = -82 - -80. Which is smaller: b or h?
b
Let d(w) = w**3 + 4*w**2 - 3*w + 11. Let k be d(-5). Which is greater: k or -1/1065?
k
Let g be 2*2*2*(-3)/24. Let h be (-9 - (-6)/3)*g*-1. Does h = -6?
False
Let w be (-3 + (-20)/(-8))*(-4 - -6). Let g = 4.75 - 5. Let a = g - -13.25. Is w greater than or equal to a?
False
Let o(w) = -w**2 - 3*w + 1. Let p be o(-4). Let i be (9/27)/((-2)/(-18)) + p. Is 2/49 <= i?
False
Let l be 21224/(-1932) + 10 - (-4)/3. Let i be 0 - 1 - (-2)/1. Which is bigger: l or i?
i
Let q = -10 - -16. Let s be (-5)/(20/(-16)) - q. Let c be (-114)/105 + s/(-7). Which is smaller: c or -2?
-2
Let w be 1*(-6)/45 - 2234/30. Let k = w + 74. Do k and -2 have different values?
True
Let g = 232 - 235. Is -1 not equal to g?
True
Let d(u) = 50*u - 30. Let j be d(9). Suppose -p - 6*p = -j. Is p bigger than 59?
True
Let z = -22 - -22. Suppose 0 = -0*q - 2*q + 4*x - 10, z = 3*q - 3*x + 12. Let f = -5/9 + -10/9. Which is greater: f or q?
f
Let a be ((-64)/408)/(-2 - (-2)/2). Let k = a - -3/17. Which is bigger: 11 or k?
11
Suppose 0 = 3*c + 1 - 7. Let y = -122 - 0. Let d = 121.5 + y. Is d bigger than c?
False
Let t = -21 - -5. Suppose -32 = 5*s + 4*k, -k - 6 = k. Let u(v) = v**2 + 8*v + 1. Let x be u(s). Are x and t equal?
False
Suppose 6 = -5*i + 16. Suppose -i*l + 2 + 2 = 0. Let b be 2/(-4)*l - -8. Are b and 7 non-equal?
False
Suppose 4*y = -2*j + 12, y - 3 = -10*j + 6*j. Is -1/24 bigger than j?
False
Let m = 14.2 + -0.2. Let k = m + -13.9. Let i = k - 0.11. Which is smaller: -1 or i?
-1
Let q be ((-4)/(-14) - 405/70)*-2. Let l(d) = -3*d + 30. Let o be l(q). Let s = 5 - 8. Is s less than or equal to o?
True
Let w = 827013/29 - 28521. Which is greater: w or -4?
w
Let z(s) = -2*s. Let l be z(-6). Let y be 2*1*l/(-78). Suppose 4*p - 2*p - 12 = -2*v, -2*p = -4*v - 6. Which is smaller: v or y?
y
Suppose -x - 4 + 2 = 0. Let v = -40 + 40. Suppose 0 = -2*g - v - 6. Is x != g?
True
Let a be (-10)/100 + 1/10. Suppose a = -5*z - 18 + 18. Which is greater: z or -3/29?
z
Suppose -11*q + 56 = -4*q. Let w be ((-3)/24)/(7 - q). Is w <= -1?
False
Suppose 11*k + 4*p = 7*k + 24, -4*p + 20 = 0. Is 30/17 less than or equal to k?
False
Let i = -6 + 5. Suppose -1183 = -t + 170*t. Which is smaller: t or i?
t
Suppose -3*q + i = 132, -i - 88 = 2*q + i. Suppose -92 - 448 = 12*z. Are z and q nonequal?
True
Let f(w) = -2*w - 10. Let s be f(-7). Let z(x) = 131*x + x**3 - 5*x**2 - 128*x - 2 - 4. Let h be z(s). Is -9 >= h?
True
Let r be ((-1)/(-2))/(14/2240). Suppose 20 = 4*i + r. Let c be (1/2)/(i/30). Is -1 >= c?
True
Suppose -4*w - d - 125 = -121, 3*d + 1 = -w. Which is greater: w or -4/13?
-4/13
Let t be (0 - -3)/((-19)/57). Let h be -7 + 21/t - 2/12. Is -9 at most h?
False
Let u(g) = -g - 2*g**2 + 0*g + 7*g + 9*g - 7. Let s be u(7). Let t be 1 + -1 + 3 + s. Which is smaller: 12/7 or t?
12/7
Let j = 6.83 - 6.73. Which is greater: -1.14 or j?
j
Let n = 27 - -52. Suppose -4*i = n + 1. Is -22 greater than i?
False
Let j(r) = r**2 + 22*r + 39. Let k be j(-20). Let s be (-2 - k) + 0/(15/3). Which is bigger: 4 or s?
4
Let w be (2 - 30/(-9))*(-60)/(-8). Let i be (-6)/8 + (-3570)/w. Do -89 and i have different values?
True
Let v = -97 + 52. Let l be v/150 - (-2)/12. Which is smaller: 0 or l?
l
Let m = 5 - 2. Let y be (m - -2 - 6)*-1. Which is bigger: 19 or y?
19
Suppose 0 = -y - 4*y - 210. Let g be 0 + 7*4*9/y. Is g bigger than -6?
False
Suppose -3*y - 4*p + 125 = 0, -y + 2*p + 60 = y. Suppose -5*s - y = -o - 186, 2*s - 74 = -3*o. Which is smaller: s or 30?
30
Let c(w) = w**3 + 3*w**2 + 7*w - 6. Let y(j) = -j**3 - 3*j**2 - 8*j + 7. Let x(l) = 7*c(l) + 6*y(l). Let z be x(-2). Which is greater: 5/3 or z?
z
Let i be 2/(-4 - 990/(-246)). Which is smaller: i or -2?
-2
Let m be (-200)/(8/(-4)) + -1. Let r be (3166/(-10))/(64/(-20)). Let w = r - m. Is w != -1?
True
Suppose 2*n - 21 = 5*j - 4, 5*j = -4*n + 49. Suppose -d = 2*f - 7, 2*d - n + 0 = -f. Suppose 0 = 6*z - d*z + 2. Which is smaller: z or -2/3?
z
Suppose -4*n - 2*v + 130 = 0, -4*n - 2*v - v + 125 = 0. Let g be (-45)/n + (-2)/(-7). Let h(i) = 10*i**2 - i. Let j be h(g). Do j and 10 have different values?
True
Let q = 1201 + -1200. Let b(m) be the first derivative of m**4/4 + m**3 + 4*m - 1. Let w be b(-3). Is q < w?
True
Let q = -4 + 7/4. Is -3 less than q?
True
Let o = 1595 - 228088/143. Which is smaller: o or -0.1?
-0.1
Let x = 449/56 - 57/7. Let b = 1.94 - -0.06. Which is bigger: x or b?
b
Let z be -2 - ((-13)/3 - -2). Let n = -180.5 + 181. Is z less than n?
True
Let n(s) = s. Let k be n(0). Suppose k = -u - 0*u - 423. Let c be u/774 - (-1)/2. Is c at least 0?
False
Let i = 2093/30 - 349/5. Let y(b) = b**3 - 9*b**2 + 9*b - 7. Let w be (1 - 0) + 8 + -1. Let v be y(w). Is v <= i?
False
Let t(q) = q + 2. Let w be t(0). Suppose 4*r = 2*r + w. Is r at most as big as 2/7?
False
Let q(a) = 11*a + 19. Suppose 9*r + 16 = -65. Let m be q(r). Is -80 less than or equal to m?
True
Let z be 6/(-6)*(-4 + 5). Which is greater: z or 53?
53
Let z(t) = 67*t + 203. Let w be z(-3). Let p(a) = 2*a + 5. Let d be p(-4). Let j be (w/d)/((-1)/3). Which is greater: j or 1?
j
Let l = 20 - 18. Suppose -2*m = 3*m - 5. Let k be (-20)/14 + m*2. Is k at most as big as l?
True
Suppose 408 = 6*c + 18. Is 129/2 at least as big as c?
False
Let s = 175.1 - 175.826. Is -2 at most as big as s?
True
Suppose 0 = 3*z - 2*z - 1. Which is greater: 0.26 or z?
z
Let y(b) = 5*b + 2. Let l be y(-1). Let p be (l - (-30)/9)*(-1 - -4). Let u = 7/8 - 5/24. Is p at most as big as u?
False
Let p = -2 - -3. Suppose 24 + 6 = -3*i. Let s be ((-2)/24)/(1/i). Do p and s have the same value?
False
Let w = -76 + 79. Suppose -13 = -2*t - 4*q - w, t = 4*q - 25. Which is smaller: t or -3?
t
Let o(n) = -4*n - 37. Let l be o(-15). Suppose 17*i + 102 = l*i. Which is bigger: 16 or i?
i
Let k = -21 - -21. Do k and 0.03 have different values?
True
Let m(b) = 9*b - 19*b + 9*b - 24 + 4*b. Let y be m(14). Is 17 greater than or equal to y?
False
Let z = -14 + 410. Is 396 less than z?
False
Let j be 855/1100 - 4/5. Let p = -331/44 - j. Let w(n) = n + 3. Let m be w(-10). Is m at most as big as p?
False
Suppose -14*s + 20*s + 264 = 0. Is s greater than -44?
False
Let u be 3/((-18)/(-12))*2. Suppose 3*r - 18 = -6. Are r and u unequal?
False
Let u be 35/(-28) - (-3)/12. Is 1/36 less than u?
False
Let w = -698 + 810. Which is greater: 114 or w?
114
Let f = 305 - 308. Is f < 0.054?
True
Let w = -0.2 + 0.2. Let v = 0.2 - w. Let r = -203.1 + 203. Which is bigger: r or v?
v
Let u = 18 - 17. Let l = -6 - -4. Let m = u + l. Is -0.3 < m?
False
Let z(v) = -3*v**3 + 5*v**2 + 2*v + 8. Let x(l) = l**3 + l. Let i(g) = 2*x(g) + z(g). Let f be i(6). Let m be (-2)/f + (-15)/6. Is 2 greater than or equal to m?
True
Let a(d) = -29*d - 3. Let q be a(-2). Suppose 0*f + 11 = 2*f - 5*w, w - q = -4*f. Let o be -3 + (f/2 - 2). Does o = 3?
False
Let u = 183733/2817 - 35/313. Which is greater: u or 65?
u
Let l be (-6)/4*(-12)/(-9). Let u be (-11030)/300 + l/4. Let b = -110/3 - u. Are b and 1 non-equal?
True
Let l = -772 - -791. Does l = 0.8?
False
Let o = 0.18 + -0.2. Let f = -3.319 + 0.319. Which is smaller: o or f?
f
Let d be (-38)/(-48) - 4/6. Suppose -10*i + 2*i = 24. Let s = 3 + i. Which is bigger: s or d?
d
Let v = -27 + 15. Let s = v - -6. Which is smaller: s or 0.2?
s
Let m be 512/48*(-1 - 127/(-4)). Let a be (-4)/m*1*(-8)/12. Is a equal to 0?
False
Suppose 0 = a - 7 - 2. Let q = -4 + a. Suppose -2*o + 30 = -q*p, 6*o - o - 9 = -4*p. Which is greater: -3 or p?
-3
Let z(w) be the first derivative of -3*w**2/2 + 35*w + 31. Let y be z(13). Is -16/3 <= y?
True
Let w be 2/(-3*(-2)/(-4)). Let o = -99 + 51. Let b = o + 46. Which is greater: w or b?
w
Let d be 3*-1 + 30/12*6. Let h = -19 + d. Are -8 and h nonequal?
True
Suppose -4*i = -5*h - 3*i + 449, h - i = 89. Which is smaller: 87 or h?
87
Let q be (-1)/(-4) - 690/2856. Suppose 2 = 6*a - 4. Which is smaller: a or q?
q
Suppose -4 = -5*k + 6. Let u be ((-10)/(-15))/(((-32)/(-30))/k). Whic