is smaller: w or y?
y
Let j = -166 + 2154/13. Does j = 3?
False
Let c(b) = b + 11. Let y be c(8). Let h be 0 - y/6 - -3. Which is greater: h or -2/3?
h
Suppose 26 - 23 = 3*h. Are 7 and h nonequal?
True
Let p be (3/(-24))/((-1)/(-3)). Which is smaller: p or 0?
p
Let j(p) = -p**2 - 3*p - 3. Let k be j(-2). Let d = 18 + -29. Let l = d + 6. Is k smaller than l?
False
Suppose -3*o = -4*t + 27, 2*t + 6*o + 9 = 3*o. Which is greater: -1 or t?
t
Let v = -0.015 - -0.315. Let l = -1.99 - 0.01. Which is greater: v or l?
v
Let g be (-5)/(-10) - (-3)/2. Suppose g*b = -4*d - 18, 9 = -0*d - d + 4*b. Which is greater: -6 or d?
d
Let z = -147 + 1025/7. Which is bigger: z or -0.1?
-0.1
Let d be 2/33 - 1/3. Let l = 1/44 + d. Is 0.2 >= l?
True
Suppose 0 = -2*k - 4 + 2. Do -2/27 and k have different values?
True
Suppose 202 = -3*q + 7. Let f be 3 + (q/11 - -3). Which is smaller: f or 1?
f
Let x be (-5)/((-220)/(-164)) - (-1 + 4). Is x greater than -8?
True
Let u(w) = -w**3 - w**2 - w - 1. Let y be u(-1). Suppose -z + 3*x + 13 = y, -15 = 3*x - 0*x. Let m be 1 + 4/((-24)/9). Is m <= z?
False
Let j = -211 - -5487/26. Let w = j + 45/182. Is w greater than -1?
True
Let t be (-1)/((-4)/(-2) - 3). Let a be (t/(-2))/((-2)/8). Is a greater than -3?
True
Let x(t) = -t**3 + t**2 - 2*t + 2. Let o be x(2). Suppose -4*d + 2*k = 18, -3*d - 2*k + 3 = 2*k. Is d at least o?
True
Suppose 40 = 6*l - l. Let o be l/2*(-3 + 4). Suppose -5*t - o = 1. Is -2/3 greater than or equal to t?
True
Suppose -5*z + u + u + 13 = 0, -2*z - 4*u = -10. Let b be (z/(-2))/(4/8). Which is smaller: b or -4?
-4
Let x be 2/(-5) - 12/(-5). Let r be (-1 + -1)*1/x. Let b be (-30)/(-33) + (-2 - r). Which is smaller: b or 0?
b
Let q = 0.05 - 0.15. Which is smaller: 0.4 or q?
q
Let z = 26.1 + -26. Which is bigger: -4 or z?
z
Let d(o) = -o**2 - 4*o - 4. Let h be d(-4). Let y = -43 + 42.7. Is y != h?
True
Let k = -14 + 21. Let j be 14/3 - 2/3. Suppose -j*w - k = 1. Is w less than -1?
True
Let g = -20 + 12. Let r = g + 6. Is r at most as big as -1/7?
True
Let t(b) = b + 10. Let f be t(-9). Suppose 0 = m - f, 3*m + 3 = -w + 7. Which is bigger: 0 or w?
w
Let c(w) = w**3 - 3*w**2 - 6*w + 2. Let k be c(4). Is -6 smaller than k?
False
Let t = 9 - 7. Suppose 2 = t*o + 4. Is 2/7 greater than or equal to o?
True
Let m(j) = -j**3 + 7*j**2 - 6*j - 2. Let s be m(6). Let k = s - -7. Let f be -3 + 1/1 + k. Do f and 3 have the same value?
True
Let g be 2/(-10) + 486/(-45). Which is bigger: -32/3 or g?
-32/3
Let q(z) = z**3 - 4*z**2 - 17*z + 4. Let d be q(7). Is 31 <= d?
True
Let k be (-9)/((-1)/(2/3)). Let n = -89 - -94. Are n and k nonequal?
True
Suppose -4*i + 15 = 3*o, 2*i - 2*o = 3*o + 1. Let n = 3 + -1. Is n at least as big as i?
False
Let a(n) be the second derivative of n**5/20 - n**4/3 - 5*n**3/6 - 3*n. Let d be a(5). Is d greater than or equal to -2/15?
True
Suppose 0 = 3*z, -4*d + 21 - 89 = -4*z. Is d bigger than 0?
False
Let h = -4 + -1.4. Let b = h + 5. Let u = -1.4 - b. Which is greater: -0.3 or u?
-0.3
Let f be ((-2240)/185)/(-4) - (-6)/(-2). Which is smaller: 0 or f?
0
Let l = -0.05 + 0.03. Let z = l - 1.98. Let g be (-5)/((-25)/12) + -2. Is z greater than g?
False
Suppose 2*t + 3*f = -14 + 1, 0 = 3*t - 2*f - 13. Let u = 2/21 - -17/42. Which is bigger: t or u?
t
Let k = -8 + 7.9. Is 1.1 equal to k?
False
Let a = -203.9 - -196. Let c = a + 3.6. Let m = -4 - c. Which is bigger: m or 1/4?
m
Let d be -2*108/32 + 3. Is d < -5?
False
Suppose -1 = -3*u + 5*x, -2*u - 5*x - 4 = -4*u. Let i be 1/3*u/(-38). Which is smaller: 0 or i?
0
Suppose 5*o + m + 60 = 4, 0 = -5*o + 3*m - 52. Suppose 3*s + 2*r + 33 = 0, -5*s - 22 = -3*s - 2*r. Is o < s?
False
Let x be (279/132)/(-3) - -1. Let n = 1/22 - x. Is n < 0?
True
Suppose y - 7*x + 8 = -2*x, -5*x - 7 = 4*y. Suppose -l + 1 = 3*l + 5*f, -4*f + 4 = 0. Which is bigger: y or l?
l
Let h = 2 + 0. Let y = -4 + 4. Let g = 0 + y. Which is greater: h or g?
h
Let p(o) = o + 4. Let d be p(11). Suppose 0 = -4*n, 0*q + 4*n + d = -5*q. Is 0 greater than or equal to q?
True
Let k = -299 + 11961/40. Which is bigger: 1 or k?
1
Let n(f) = -f**2 - f + 1. Let y(g) = 7*g**2 + g - 10. Let r(k) = 6*n(k) + y(k). Let h be r(6). Let j be (-1)/(3 + 1 - 1). Is j != h?
True
Let u(d) = 2*d + 5. Let c be u(4). Suppose -c = p - 7. Which is smaller: p or -1?
p
Let o = -0.9 - -1.9. Let b = 1 - 1. Let c = b - -3. Is c bigger than o?
True
Let g = 4 + -1. Suppose 5*c + 16 = -4*x - g, 2*c = -4*x - 10. Suppose d = 2*d. Which is greater: x or d?
d
Let c = -2494227/62 - -40231. Let s = -1/31 + c. Which is smaller: 1 or s?
1
Suppose 5*u + 35 = 5. Suppose -2 = -8*b + 9*b. Let w be b + u/((-9)/(-3)). Is -4 not equal to w?
False
Let v = 155672/65 + -2395. Is 1 at least v?
True
Let p be (-7)/2*1*-2. Let o be -1 + -3 + -8 + p. Is o at most as big as -6?
False
Let p(u) = u**2 + 13*u + 15. Let t be p(-11). Is 2 > t?
True
Let x = -9 - -8. Which is bigger: x or -1/4?
-1/4
Let z(v) = v**3 + 4*v**2 + 3*v + 2. Let y be z(-3). Suppose 2*c - c + 8 = 0. Let x be 4/c + (-10)/(-8). Which is smaller: y or x?
x
Let g be (-1 - 1) + -9*(-12)/54. Is 2/61 <= g?
False
Let f be (2/(-3))/((-25)/15). Which is bigger: f or 113?
113
Let n = -2.2 + 2. Is n at most as big as 1/2?
True
Let d(t) = -8*t**2 + 3*t - 2. Let l be d(2). Which is bigger: -27 or l?
-27
Let d = -1.97 + -0.03. Let i = 2 + d. Let r be (-5)/15 + 4/3. Which is greater: r or i?
r
Let b be (-2)/(-3)*(-3)/(-10). Let f = -182 - -1817/10. Let v = b - f. Are 0 and v equal?
False
Let i(q) = -15*q**3 + 2*q**2 + 2*q + 1. Let s be i(-1). Let a = s + -11. Is 4 not equal to a?
True
Let b be 0 - (-17)/270*2. Let l = -2/27 - b. Let a be -1*2 - 10/(-5). Which is smaller: l or a?
l
Let y = 5 + -7. Do -3 and y have the same value?
False
Let t = 3 + -4. Which is smaller: t or -2/3?
t
Suppose 4*y + 7 = -2*c + 29, -43 = -3*c + 4*y. Is 12 less than or equal to c?
True
Let k be -2 + 6 - 12/3. Which is bigger: k or 9/8?
9/8
Let t = -18 - -17. Is t equal to 0?
False
Let g be (2 + 0)*(-3)/24. Which is smaller: g or 0.3?
g
Suppose -2*w - 5*d - 7 = 0, -d = 2*d - 9. Does w = -10?
False
Let s(d) = d**3 + 6*d**2 + 6*d + 4. Let c = -12 - -7. Let x be s(c). Is x smaller than -1/2?
True
Let h(z) = -2*z**2 + 4*z**3 - 2*z - 3*z**3 + 3 - 2*z. Let o be 10/(-15)*(-9)/2. Let r be h(o). Which is greater: r or -3/5?
r
Let y = -6.9 - -7. Let i = 0 + 0.2. Is i >= y?
True
Suppose 0 = -3*b + 2*b + 3. Suppose n - 2 = b. Suppose 0 = 2*x + 2, -3*o + 8*o - n*x = -10. Which is smaller: o or -4?
-4
Suppose -2*b + 6 = -4*a, b - 2*a - 3 = a. Let z be 2*(-2)/(-12)*b. Which is bigger: z or -2/7?
z
Let m = 251 - 1753/7. Let a be 3/((-9)/(-3)) - 1. Which is greater: a or m?
m
Let q = 1.4 + -0.5. Is q bigger than -1/2?
True
Suppose 0 = -4*f + 2*t, -3*f + 14 = -0*f + 2*t. Let x(c) = -2*c - 2. Let u be x(f). Which is bigger: -7 or u?
u
Let b(w) be the second derivative of -w**3/6 - w**2/2 - w. Let s be b(-9). Let k = -11 + s. Which is bigger: k or -2?
-2
Suppose -2*j = -0*j. Let q be (j - 0)/(0 - -1). Which is bigger: -3/5 or q?
q
Let p = -139/63 + 17/7. Let l = 9.8 - 13. Let z = -3 - l. Which is greater: z or p?
p
Let z be 130/37 + -1*(-3 + 7). Is z bigger than 1?
False
Let o = -126 + 125. Is o greater than or equal to 3/58?
False
Let o = 21 - 22. Which is bigger: 2/13 or o?
2/13
Let o = 0.14 + 1.86. Is -3 less than o?
True
Let p = -8.95 + -0.05. Let q = -8 - p. Which is greater: 0.1 or q?
q
Let z(f) = -2*f - 8. Let n be z(4). Is -16 > n?
False
Suppose 2 = 7*s + 16. Which is bigger: s or -3/5?
-3/5
Suppose 4*k + u + 9 = 2*k, -k - 2*u = 6. Let o be (k/3)/(-2)*3. Let a be 2/(-10) + (-33)/(-15). Is a at least o?
True
Suppose -i - 2*i + 4*x + 13 = 0, -2*i - 3*x = 14. Let k(s) = s**3 + 8*s**2 + 5*s + 2. Let m be k(-6). Let l = 177/4 - m. Is i greater than or equal to l?
False
Let u(g) = 3*g**2 - 4*g + 2. Let b be u(2). Let s be b/4*(-6)/(-9). Suppose -2*y = -y - s. Which is smaller: 2/3 or y?
2/3
Let p(f) = -f**2 + f. Let s(d) = 3*d**2 - 2*d + 2. Let m(y) = -4*p(y) - s(y). Suppose 19*j = 9*j + 30. Let o be m(j). Are -1/2 and o unequal?
True
Suppose 3 = -4*f - 13, -2*l + 504 = -2*f. Suppose j = -0*j - 4. Let r be l/396 - j/(-22). Is 1 less than or equal to r?
False
Let o = 13 + -12.9. Is o < -0.053?
False
Let p = 0 - -0.04. Let j = -0.04 - 0.06