 + 2*w + 7*w - 1 + 2*w**3. Let r be y(u). Are -1/4 and r nonequal?
True
Let p(h) = -5*h - 51. Let a be p(-24). Which is greater: a or 67?
a
Let k = -33067/19 + 1741. Let l = k - 53/114. Is l bigger than 0?
True
Suppose -821*a + 160 = -816*a. Let s(i) = -i**2 + 11*i. Let l be s(6). Is a < l?
False
Let t be (-3)/6*1*-2. Let l = -752/325 + 54/25. Which is smaller: t or l?
l
Let b = -1.1 + 1. Let q = 0.1 - b. Let f be 6 - ((-14 - -8) + 8). Is q less than f?
True
Let g(b) = 3*b**2 + b. Let u(y) = -y**2 + y. Let v(h) = -g(h) - 2*u(h). Let c be v(-2). Let q be (c/8)/(3/(-4)). Is q > -1?
True
Suppose -h + 2*g + 19 = 2*h, 2*g = h - 13. Let j = h + 0. Suppose 5*l + 2 = -j. Does 2/11 = l?
False
Let k = -1363/6 - -228. Let g be (-4)/(2/5 - (-16)/(-15)). Suppose -2 = -j - j + p, -g = -5*j + 3*p. Which is smaller: j or k?
j
Let u(o) = -2*o**3 - 89*o**2 + 45*o - 1. Let c be u(-45). Which is smaller: 1/98 or c?
c
Let u(p) = -6*p + 2. Let a be u(2). Let f = -6 - a. Suppose f*i + 8 = -0*i. Which is bigger: i or -3?
i
Let d = -11.77 + 11.767. Which is bigger: d or 1/2?
1/2
Let q = -19 - -16. Let r = q - -3.03. Which is smaller: r or 0?
0
Suppose -2 = -w - 0. Let x = 52 + -55. Let j be w/(-6)*(6 + x). Is 1/5 at most j?
False
Suppose 0 = -2*y - y + 2*a - 3, 0 = 2*a. Is y >= 2/175?
False
Let c(g) = -4*g**3 - 132*g**2 - 2*g - 29. Let u be c(-33). Does u = 38?
False
Let f = -200 - -528. Which is bigger: f or 329?
329
Let r = -14 + 6. Let n(x) = -x - 8. Let u be n(r). Suppose o = -7 - u. Is o > -7?
False
Let f = -1 - 0. Let r(l) = -2*l - 4. Suppose 4*y - 7*y - 9 = 0. Let a be r(y). Which is smaller: f or a?
f
Let k(l) = -7*l**2 + l - 1. Let j be (7 - 50/6)/((-8)/6). Let i be k(j). Is -8 <= i?
True
Suppose -4*j - x = -3*x - 20, 2*j + x - 6 = 0. Suppose -j*i = -9*i. Let p = -65 - -781/12. Is p less than or equal to i?
False
Let o be 8 + (12 - 236/16). Is 5 not equal to o?
True
Let b(i) = -4*i**2. Let w be b(-1). Let y be 5 + (3/9)/(4/(-72)). Is y bigger than w?
True
Let d = 47587 + -47554.059. Let q = 0.059 + d. Are -1 and q unequal?
True
Let s be ((-4)/(-6))/((-8)/9). Let t(z) = 4*z - 25. Let m be t(6). Which is smaller: s or m?
m
Let r = -10 + 2. Let b be 9*2 + 16/r. Let v = -13 + b. Is v equal to 3?
True
Let t = -0.0114 - 0.0406. Are 2/3 and t equal?
False
Let t be 20/8*4*30/725. Which is smaller: 1 or t?
t
Let n be -18*(-6)/2655*(-7 + 2). Which is smaller: n or 0?
n
Let s be (8 + -7 + 142)*-5. Is -1/2 smaller than s?
False
Suppose 0 = -4*a + 4, 101 = 2*s - 4*a + 37. Suppose 8 = 5*g - 3*u - s, 16 = 4*g + 2*u. Which is greater: g or 2/7?
g
Let w = 400 + -547. Does w = 0?
False
Let u = -13 - -17. Suppose 4*f - 4*y + 12 = 0, -9 = 5*f - u*f - 4*y. Let s be 1 - (3 + -10 + f). Does s = 10?
False
Let m = -4.506 - 2.494. Let p = -33/5 + 7. Is m < p?
True
Let t = -1331.9 - -1455. Let h = t - 123. Which is smaller: 3/25 or h?
h
Let z = 3/35 + -59/630. Which is smaller: z or -1?
-1
Let x = 219 - -88. Is 307 greater than or equal to x?
True
Let a(l) = l**2 + 13*l + 14. Let y be a(-12). Suppose -o + 31 = 5*k + y*o, -28 = -2*k + 4*o. Is 6 > k?
False
Let h = 496/27 - -4459/135. Let f = -156 + 105. Let q = h + f. Is -1 less than q?
True
Suppose 5*m + t + 48 = 0, -4*m - m - 51 = 2*t. Let n(g) = -g**2 - 14*g - 36. Let f be n(m). Which is bigger: 47/5 or f?
47/5
Let p = -0.2305 + 42.2305. Which is smaller: 1.6 or p?
1.6
Let c be (204/(-10))/(12/(-40)). Let s = c - 30. Let y be 4/(-14) + s/182. Is 0 equal to y?
False
Let m be (2/(-57))/((-15)/(-2340)). Let h = -1/38 + m. Is h != -6?
True
Let c = -65 + 90. Suppose c = 5*h - 10. Is h at least 6?
True
Suppose -9*x = -16*x - 210. Let d be (2/(-7))/(x/70). Which is smaller: d or -0.04?
-0.04
Suppose 0 = 18*k - 22*k + 204. Suppose -2*j - 5*i = k, 0*j = 2*j + i + 31. Which is smaller: -64/5 or j?
j
Let j = 182059/2061 + -4/2061. Which is bigger: j or 0.1?
j
Let h = -43.04 + 61. Let v = h - 18. Which is bigger: v or 1?
1
Suppose 4*a - 100 = 4*w, 76 = 4*a - 0*a + 2*w. Let u = 24 - a. Which is bigger: 2 or u?
u
Let r = 126.3 - 126. Let j = 0.18 + 0.02. Let g = j + -0.3. Does g = r?
False
Suppose 0 = 21*j - 2*j - 2945. Is 157 greater than j?
True
Suppose 0 = -j + 4*g + 11, 4*g - g + 60 = -5*j. Let x = -42/5 - j. Let t = 14 - 13. Which is smaller: x or t?
x
Let k be 1100/(-33)*12/(-44). Which is greater: k or -0.2?
k
Let z = 11611/176 + -11633/16. Let n = z + 662. Let l = -221/231 + n. Is l less than 1?
True
Let y be -1 + (-1 - (0 - 0)). Let b(w) = -w**2 + 16*w - 41. Suppose -3*f - 2*x = -16 + 3, -4*f = -2*x - 8. Let u be b(f). Is u smaller than y?
False
Let j = -60 + 60.03. Let d = j - -0.57. Which is greater: -1/2 or d?
d
Suppose -5*d + 5 = -2*h, -2*d - 2*h + 0 + 2 = 0. Is d <= 9/26?
False
Suppose x = 2*w - 20, -4*w + 9*w - 32 = -2*x. Is 6 at most w?
True
Suppose 2 = -5*y + 3*s + 6, 4*y - 6 = s. Do 21/8 and y have the same value?
False
Let p = 11205 - 89521/8. Which is greater: p or 14?
p
Let m = 17 - 56. Let p = -38 - m. Are -1/65 and p non-equal?
True
Suppose 650 = 12*d + 50. Which is smaller: 48 or d?
48
Suppose 0 = 4*k - 3*k. Suppose 12 = 36*q - 33*q. Suppose n + q*l = 13, k = -n - l - 0*l + 4. Which is smaller: 3/2 or n?
n
Let n = -43 + 47. Let b be 0 + (n + -3)/12. Are -1 and b nonequal?
True
Let k(h) = -2*h**3 + 6*h**2 + 30*h + 4. Let x be k(10). Which is greater: x or -1095?
-1095
Let t(s) = -s**2 - 19*s - 33. Let w be t(-2). Is 25 at most w?
False
Let r = 32 + 98. Let i = 912/7 - r. Is -10 less than or equal to i?
True
Let u = 360 + -1078/3. Let z = 15 - 22. Let k = z - -3. Which is greater: k or u?
u
Let z be ((-4)/(-10))/(33/(-990)). Let f(k) = -k - 8. Let h be f(-5). Which is bigger: z or h?
h
Let b = -0.6 + 0.38. Let q = b - -0.12. Let w = -0.3 - q. Is w != 6?
True
Suppose -3*i - 2*q + 11 = 0, 5*i + q + 11 = 5*q. Is 1/214 at most i?
True
Let t = -49.51 + 50. Let y = t - 2.29. Which is smaller: 1 or y?
y
Let a = -274 - -273.694. Let g = -0.094 + a. Is g bigger than 2?
False
Let g = 3 - 3. Let f(n) be the second derivative of n**4/12 + n**3/6 - 3*n**2 + 4*n. Let p be f(g). Is p smaller than -4?
True
Let d be 12/6*(-3)/2. Let j(l) = l**2 - l - 7. Let p be j(d). Suppose -4*s = -4*h + 36, -4*h + p*s + 30 = -2*h. Are h and 5 non-equal?
False
Let b(k) = k**2 - k + 3. Let j be b(2). Suppose -j = i + 22. Let f = i + 15. Are f and -12 nonequal?
False
Let o = 266 + -268. Is 6 smaller than o?
False
Let g = 146 - 131. Is g at most as big as 10?
False
Let v be (8/10)/(12/30). Let f = -2 + -1. Let j = v + f. Is j greater than 3/17?
False
Let c = 0.12 - 0.12. Let o = -0.6 - c. Let w = -0.2 - o. Which is bigger: -1/3 or w?
w
Let o = -61/39 - 17744/117. Let s = o - -153. Is 0.19 != s?
True
Suppose a = 3*p - 628, 2*p + 3*a - 1056 = -3*p. Is 208 > p?
False
Let r(f) = f + 10. Let q(s) = s**2 - 5*s - 2. Let g be q(7). Let y be r(g). Let d be 2*(3 - y/4). Is d at most -5?
True
Let c(j) = -6*j**3 - j**2 - j. Let t be c(-1). Let d be (t - 27/4)/((-2)/(-48)). Which is greater: d or -17?
-17
Let m(k) be the first derivative of k**2/2 + k - 1. Let h be (3/(-3))/(2/4). Let i be m(h). Which is greater: i or -4?
i
Suppose 5*i = -4*c + i + 28, 3 = c + 5*i. Suppose 8 = 4*q - c. Which is greater: 3 or q?
q
Suppose 2*g - 74 = -4*n, n = 4*g - n - 148. Suppose g = -5*b - 3. Let t = -6 + b. Which is smaller: -15 or t?
-15
Suppose 0 = -3*g - 0*b + 4*b + 10, 0 = -3*g - 3*b + 3. Suppose -g*u - 6 = -2. Let y be (-32)/2*(-5)/(-50). Which is greater: u or y?
y
Let m be (-2 - 11) + 7 - -7. Is 1/1443 bigger than m?
False
Let p(m) = m**3 + 2*m**2 - 20*m + 25. Let b be p(-6). Is 951 equal to b?
False
Let s(q) = 24*q**2 + q + 1. Let j be s(-1). Suppose -3*r + 6*r + 28 = y, 2*r = 2*y - 52. Which is bigger: j or y?
y
Let s(n) = -28*n + 3. Let u be s(-3). Let b be 304/1428 - 2/21 - 1477/(-17). Is b smaller than u?
False
Suppose -6*i + i + 155 = 0. Let k be (0/(-3))/((4/(-2))/(-2)). Suppose t - i + 12 = k. Is 19 at most as big as t?
True
Suppose 139*x + 1134 = 130*x. Which is smaller: -127 or x?
-127
Let k(g) = -2*g**3 - 5*g**2 - 3*g. Let s be k(-2). Suppose 28 + 92 = s*m - 3*i, 193 = 3*m + 2*i. Is -1 at least as big as m?
False
Let a(j) = j - 19. Let k be a(11). Let s be 15/3*4/10. Suppose -19 = s*v + u, -4 + 14 = -v - u. Which is smaller: v or k?
v
Let h(n) = n**3 - 15*n**2 + 15