 d + u. Suppose -4*x - 11 - 5 = 0. Is x at least as big as d?
True
Let c be (((-16)/30)/(-2))/(-2). Is 1 < c?
False
Let y(l) = 6*l**2 + 14*l + 2. Let t(z) = -5*z**2 - 13*z - 3. Let x(g) = -5*t(g) - 4*y(g). Let f be x(-8). Let m = 1 + f. Which is smaller: m or 1?
m
Let p = 1/243 + 475/2673. Is -1/3 < p?
True
Suppose -11 = 4*n - 5*f, 0 = -5*f + 8 + 7. Let s = -454 - -3184/7. Is n at most s?
False
Suppose 5*a = 2*j + 3, -2*a - 3*j = -2*j - 3. Let b be (-1 - a)*2 + 4. Which is smaller: b or 8/7?
b
Let s be 1/((-3)/80) + 2. Let q = -24 - s. Let u(v) = -v**3 + 6*v**2 - 5*v + 2. Let k be u(5). Which is smaller: q or k?
q
Suppose 0 = -f + 2*i - 35, -2*i - 22 = f + 9. Which is smaller: -32 or f?
f
Let h = -4 + 8. Suppose -5*m + 9 = h*g + 1, -5*m + g + 23 = 0. Is 7/2 smaller than m?
True
Let b(g) = g**2 + 6*g + 6. Let c = -16 + 12. Let q be b(c). Let d be (-1)/(-2) - (-5)/(-4). Is d not equal to q?
True
Let w be (10 - 22)*(-7)/(-2). Which is bigger: w or -43?
w
Let z(u) = -u - 4. Let n be z(-8). Suppose -3*o - n = -2*f + 3, 15 = 5*o + 2*f. Let q be (-5)/o*(-8)/100. Is 1 smaller than q?
False
Let h be 6/(-3) - (4 - 2). Which is greater: h or -6?
h
Suppose n - 4*n + 6 = 0. Suppose -n*b = -2 - 2. Is 4 greater than b?
True
Let s = -8 - -9.2. Let u = -1 + s. Let w = 14/11 + -92/55. Which is smaller: u or w?
w
Let k be (2/(-3))/(1/(-6)). Suppose x - 23 = -k*j - j, j - 11 = 3*x. Let b be (-10 - -12)*3/(-2). Which is greater: x or b?
x
Let z = -2/17 + 79/238. Which is smaller: 0.1 or z?
0.1
Suppose 0 = -4*r + 2 - 10. Is r < 2?
True
Let a = -0.17 + -0.23. Are a and 2/3 equal?
False
Suppose -n = -5 + 1. Suppose -n*z = -3*t - 12, 4*t + 19 = -3*z + 3. Which is smaller: -2/13 or z?
-2/13
Suppose -3*m + 5*m = 54. Let b be 114/m + (-2)/9. Are 4 and b equal?
True
Let x be 26/7 - (4 + -1). Which is smaller: x or 0?
0
Let c = 6 + -13. Let t = 19/3 + c. Which is bigger: t or -1.1?
t
Suppose -i - 4*i = -15. Let v(r) = -r**3 + 4*r**2 - 2*r - 3. Let a be v(3). Let f = a + 2. Which is smaller: i or f?
f
Let f = -4.74 + 5.7. Let x = 0.04 + f. Let i be 2/(-14)*(1 - -3). Which is smaller: x or i?
i
Let z be (0 + 2)*3/(-10). Suppose -6*a + 2*a - 4*k - 12 = 0, -4*k = 3*a + 13. Let t be (-2 - (-1)/a) + 1. Is z at most t?
True
Suppose -14 = -3*p + p. Suppose 5*r = 10, v + 9 = -6*r + p*r. Which is bigger: v or 0.1?
0.1
Let i = 0.1 - -10.9. Let p = i + -7. Does p = -2/7?
False
Let g = 12 + 9. Are 20 and g nonequal?
True
Let l be 8/(-4)*-2*(-2)/(-8). Is 2/9 != l?
True
Let m = -2 + 3. Let o = -2 - m. Which is smaller: 0.1 or o?
o
Let b(v) = -v**2 + v - 1. Let o be b(3). Let c be 2/12 + o/(-30). Let z = 1/27 + -29/54. Which is greater: c or z?
c
Suppose 3*c - 2*c = -3. Let a = 1 + c. Which is greater: -8/7 or a?
-8/7
Let n = 2.1 + -2. Let q = -73/2 - -37. Which is smaller: q or n?
n
Let a = -17 - -9. Which is bigger: -7 or a?
-7
Let d = 0.94 + 0.06. Let j = 1.1 - d. Is 0.05 > j?
False
Let r(n) = -9*n + 20. Let w be r(2). Is 12/17 less than or equal to w?
True
Let a = -112 - -112. Is a smaller than 5/18?
True
Let x be (1 - 0)/(3/6). Let l(q) = q**3 + 7*q**2 - 8*q - 2. Suppose 0 = 4*a + 5 + 27. Let n be l(a). Is n at least x?
False
Let d = 0.07 - 0.05. Let a = d + -0.02. Let g = -0.2 + 0.2. Is g != a?
False
Let u(p) = -2*p**2 + 17*p - 6. Let y be u(8). Suppose 0*j = 3*j - 9. Is y at least as big as j?
False
Let h = -51 - -151/3. Suppose 0 = 5*t - u - 8, -3*u + 3 + 1 = -t. Let a be t/(-3) - 10/(-15). Which is bigger: a or h?
a
Let c = 0.006 - -13.994. Is c < -1/2?
False
Suppose -5*m - 4 = -3*c - 10, -4*c + 3 = -3*m. Which is smaller: -1 or c?
-1
Let z = -14 + 3. Let d = -1.28 - -1.38. Which is smaller: d or z?
z
Let n be (-5)/(-2)*-1*5/10. Suppose 0 = -0*k + 3*k. Are n and k non-equal?
True
Let x be (1256/(-24))/((-8)/(-6)). Let c = -39 - x. Are c and 0 unequal?
True
Suppose 2*q = -2*q - 56. Let c(j) = j + 2. Let r be c(-16). Is r at most as big as q?
True
Let m be (-2)/8 - (-4 + 4). Let b be 5 + -7 - 4/(-1). Suppose -3*x - 14 = -b. Which is greater: m or x?
m
Let p = -0.04 - 0.46. Is p <= -2/9?
True
Let p be (1 - 2)*(-2)/(-2). Let q be p*(-1)/(-13)*-2. Let m be 3 + 4/((-8)/6). Is m less than q?
True
Let r(v) = 14*v + 17. Let y be r(-3). Is y != -25?
False
Let x(a) be the second derivative of a**3/6 - 3*a**2 + 2*a. Let d be x(6). Is d bigger than 0?
False
Let i = 0 - 0. Let t = i + -0.1. Is 4 < t?
False
Let v = -27 + 36. Is 9 >= v?
True
Let q(p) = -p + 18. Let x be q(14). Is -1 at least as big as x?
False
Let y = 1 - 1. Let g = y - 1. Suppose 17*n - 78 = -22*n. Is g bigger than n?
False
Let p = -143 - -160. Which is greater: p or 2?
p
Let d be (-93)/24 - (2 - 6). Does -4 = d?
False
Let t(k) = k**2 - 3*k + 4. Let s be t(3). Let q be 6/s + (-39)/6. Is q < -5?
False
Let i be (0 + (-1)/(-2))*8. Suppose -9 + 3 = -i*a - t, -3*a + 5*t = -16. Do a and 3 have different values?
True
Let z be 11/(-55) - 24/5. Is z < -5?
False
Suppose -11 = 2*v + l, -3*l + 5*l = v - 2. Let i(d) = -5*d - 6. Let t(h) = -4*h - 6. Let f(m) = v*t(m) + 3*i(m). Let n be f(-6). Which is smaller: 1/2 or n?
n
Suppose -3*h + 2*d + 12 = 0, 5*d + 1 = -4*h - 6. Which is greater: h or 2/7?
h
Let t(n) = 14*n**2 + 3*n - 2. Let a be t(1). Let r = -29 + a. Which is greater: r or -15?
r
Let z = -7 + 11. Suppose z = -l - 0*f - 2*f, -f - 3 = l. Let k be (3/(-4))/((-1)/(-4)). Is l < k?
False
Let j = -0.008 - 0.192. Let k be 3/(-6) + 8/6. Which is smaller: k or j?
j
Let h = -116 + 2551/22. Is 0 less than or equal to h?
False
Let r(p) = 2*p**3 + 2*p**2 - p. Let t be r(1). Does t = -3?
False
Let n = -171 + 172. Let i be -1*-3*(-3)/27. Which is bigger: n or i?
n
Let z(k) = 6*k. Let t = -7 + 8. Let p be z(t). Let q be 1*((-4)/(-2))/p. Which is smaller: 0 or q?
0
Let o be 1/(2*1/10). Suppose -1 = -o*v - 6. Is -0.4 != v?
True
Suppose -4*h - 45 = h - s, 2*s = 10. Let x be 27/(-45) + (-42)/5. Which is smaller: x or h?
x
Let r = -3 + -9. Let q(v) = -v - 11. Let k be q(r). Are k and -1/9 unequal?
True
Suppose -w + 6*w = -b - 15, 5*w + 15 = 5*b. Is -2/77 < b?
True
Let m(u) = u**3 + 8*u**2 - 8*u + 3. Let r be m(-9). Is r bigger than -5?
False
Let o = -10 + 12. Suppose -4*z + 4 = 2*p + 3*p, 3*z = o*p + 3. Suppose -4*t = -3*t. Is t less than or equal to p?
True
Let f = 125 + -233. Is 0 not equal to f?
True
Let b = 0.2 + -0.1. Let z = -1 - -1. Let r = z + b. Which is greater: 2/13 or r?
2/13
Let u(f) = f**2 + 8*f. Let g be u(-8). Which is greater: 5/6 or g?
5/6
Let q = 75 - 74. Is q greater than 2?
False
Suppose 2*u + 2*u = v + 11, -2*v - 2*u = -8. Let o = 428795/9 - 142406/3. Let p = -175 + o. Is p <= v?
True
Let m = 73 + -67. Is m at most 26/5?
False
Suppose -4*l + 0*l + 8 = 0. Suppose 4*w + z = -w, l*w - 5*z + 27 = 0. Do 4/25 and w have the same value?
False
Let d = -54.99 + 49.9. Let x = -0.09 - d. Let f = 4.9 - x. Is f < 0.3?
True
Let k = 6 + -8. Let x(q) be the third derivative of -q**6/120 - q**5/20 - q**4/8 - q**3/6 - q**2. Let o be x(k). Is o bigger than 3/5?
True
Let r = -18.93 + 19. Let u = -4 - -4. Which is smaller: u or r?
u
Let a be 3/15*-1*(-2)/9. Let p = -180557/45 + 4012. Let n = p + a. Is -2 less than or equal to n?
True
Suppose 0 = -2*m + 6*m - v - 9, -5*v - 9 = -2*m. Is 10/3 < m?
False
Let u = -46/49 - -1963/2352. Let z = 65/48 + u. Which is smaller: 2 or z?
z
Let u = -9 - 12. Let h be (4/u)/((-6)/(-9)). Let g be (-18)/(-24) - (-2)/8. Which is greater: g or h?
g
Suppose -g - 2*v + 6 = 0, g - v - 3*v + 6 = 0. Suppose 3*c - g*z - 3 + 11 = 0, -c - 3*z + 1 = 0. Let h be (1/c)/((-2)/4). Is h not equal to 1?
False
Suppose 4*k + 0 = -4. Which is smaller: k or 4/17?
k
Let o = 10 + -1. Suppose -o = 5*s - 4. Let f be s + 15/(-42)*-2. Which is smaller: -3 or f?
-3
Let o = -2.3 - -0.2. Let a = -1.9 - o. Which is smaller: 2 or a?
a
Suppose 0 = -5*c + 3*z - 11, 2*c = -0*z + 5*z - 12. Let w be 0 + (2 - (-6292)/17). Let h = 372 - w. Which is bigger: h or c?
h
Suppose -m - 2*m = -12. Let d = 1 - m. Let l = 1 - 4. Is d at least l?
True
Suppose -3*t = 5*d + 8, -2*t - 7 = -0*t + 5*d. Which is bigger: 2/153 or t?
2/153
Suppose 0 = p + 2*m - 8, 43 - 18 = 5*m. Let g(t) = -t**3 - 2*t**2 - 2*t - 2. Let v be g(p). Which is bigger: -0.5 or v?
v
Let c = -0.39 + 0.09. Is c greater than or equal to 3/4?
False
Let q(r) = 5*r**2 - 5*r - 38. Let s be q(-5). Is s > 