t) = -t**2 - 13*t + 2. Let r be i(-13). Suppose -r*g + 16 = -0. Let o be (0/1)/(9 - g). Which is bigger: o or 2/13?
2/13
Let n(s) = -s**3 + 4*s**2 - 4*s. Let a be n(3). Is -2 at least as big as a?
True
Let t = -14 - -20. Let k = 6 - t. Suppose -2*r + 0*s = -s, -s = -4*r + 2. Which is smaller: r or k?
k
Let y = 35 - 177/5. Is y at most as big as 0.17?
True
Let r = 47/5 - 9. Which is greater: r or 13?
13
Let g(y) = -y**3 + 2*y**2 - 2*y + 3. Let x be g(3). Let l be 2/x - 21/(-54). Is -7 equal to l?
False
Let c = -0.2 - 2.8. Let q = 4.96 - -0.04. Let g = q + c. Which is smaller: 0 or g?
0
Let q(c) = c**2 - 10*c - 2. Let z be q(10). Let h = z + 6. Is 4 at least h?
True
Let g(p) be the first derivative of -p**4/4 - p**3/3 - p + 2. Let s be g(0). Which is greater: s or -2?
s
Let w(f) = f**3 - 3*f**2 - 2*f + 1. Let h(b) = b**2 + 5*b - 4. Let g be h(-6). Let t be w(g). Is -7 > t?
False
Let z = -10.1 + 10. Let f = z - 0.1. Which is greater: f or -0.3?
f
Let x = 0.04 - -0.36. Let l = -5 + 4.4. Let z = x - l. Is z at least -1/9?
True
Suppose 2*b + 3*c = -4, b + 5*c = -4*b. Suppose b*p - 21 = -3*u, 3*p + 4*u - u - 18 = 0. Which is smaller: p or 2?
2
Let g = 5/2 + -41/18. Which is greater: g or 6?
6
Suppose -2*p + 6 + 0 = 0, -13 = o + 3*p. Let v be (-4)/(-12) - o/(-12). Suppose 2 = -3*c - 4. Is v bigger than c?
True
Let w = -2.3 + 0.3. Which is smaller: w or 0.1?
w
Suppose -3*o = -2*o. Which is greater: 1/14 or o?
1/14
Suppose -3*w - 44 = -d, -5*d + 1 = w + 5. Let t be 14/(-49) - 18/w. Is t at most -2/23?
False
Suppose -5*k + 20 = 5*j, -16 - 6 = 2*k - 4*j. Which is greater: -1/9 or k?
-1/9
Let g = -43 - -42.05. Let c = -0.05 + g. Is -2 < c?
True
Let v = -1.1 - -1.21. Are -0.2 and v nonequal?
True
Let v = 3/134 + -203/21038. Let r = -79788209/1884 + 169399/4. Let z = r + v. Which is smaller: -2 or z?
-2
Let i(f) = f**2 - f - 4. Let n be i(3). Let y be (-2 + 3)*n + -1. Is -3 != y?
True
Let d be 2/(21/(1/(-2) + 2)). Is -1 greater than d?
False
Let b = 1.1 + -0.1. Let j = b + -2. Let x = -7.9 + 8. Is x less than j?
False
Let p be (2 + 0 + -2)*1. Let s be p - 3/6*2. Is -0.08 less than or equal to s?
False
Let t be (4 - 3)*614/4. Let a = -129 + t. Let j = a + -26. Which is greater: j or -3?
j
Let w = 0.1 + 0.89. Let o = w + 0.01. Which is greater: o or -1?
o
Let y(j) be the first derivative of -j**2/2 + 1. Let n be y(5). Is -6 > n?
False
Suppose 7 - 10 = 3*f. Is f less than 1/3?
True
Let t(f) = f**2 - 7*f. Let i be t(7). Is i at most as big as 1/3?
True
Let k be -6*(21/(-6))/7. Suppose 0 = 3*z + k*i + 6, 5*i + 5 = -0. Let t be (-9)/(-6) + (-1)/2. Are t and z unequal?
True
Let r(c) = -c**3 - 3*c**2 + 2*c + 2. Let h be r(-3). Let q = -0.2 - -0.15. Let g = q - 0.05. Which is greater: h or g?
g
Suppose -d + 0*d = -8. Suppose -d = 3*h + 10. Let b be (-2)/6*(-2)/h. Are 1 and b non-equal?
True
Suppose o - 9 - 11 = 0. Which is smaller: 19 or o?
19
Let o be (9/18)/((-1)/90). Which is greater: -44 or o?
-44
Let d = -1823 + 9044/5. Suppose -57 = 4*r + g, 4*r - 3*g + 23 = -30. Let s = d - r. Which is greater: 1 or s?
1
Let w = 0.1 - 0.1. Which is smaller: w or 1/6?
w
Suppose 7*y - 4*y = 0. Let q = -59769/59 + 1013. Which is smaller: q or y?
q
Let r(p) = 7 - 9 - p + 3*p. Let t be r(-3). Are t and -7 equal?
False
Suppose -4*h = -4*g + 12, 3*h + 7*g = 2*g + 23. Is h > 0.3?
True
Suppose -5*o + 7 + 13 = 0. Suppose o*w = w. Let r be 1/(-6)*3/(-2). Which is greater: w or r?
r
Suppose 2*o - 8 = -0*o. Is 6 > o?
True
Let l = 15 - 17. Let q(g) = -g + 4. Let j be q(6). Is j less than l?
False
Let v = -4 - -2. Let l be (0 + -1 - v) + 0. Let q be (-1)/((-4)/(-1) - l). Is -1 < q?
True
Let t be 114/12 - 3/(-6). Is t at least 10?
True
Let b = 6 + -6.6. Let d = 54 - 55. Is b at least d?
True
Let h be ((-22)/36)/(-2*(-1)/(-8)). Which is bigger: 2 or h?
h
Let h = 47 - 139/3. Which is bigger: h or 67?
67
Let b(j) = 2*j**3 + 3*j**2 + 2*j. Let v be b(-2). Which is bigger: -7 or v?
-7
Suppose j - 10 = -j. Let c = 2 - 0. Which is bigger: j or c?
j
Let l = 58/715 - -4/55. Are -1 and l unequal?
True
Suppose -g - 6 = l, -3 + 15 = 2*g - 4*l. Let c(o) = o**3 + 3*o**2 - 2*o - 3. Let v be c(g). Which is bigger: 6 or v?
6
Let s = -8 + 5. Suppose 3*o = 5*o + 4. Is o bigger than s?
True
Let k = -719/2065 - -11/35. Do -1 and k have the same value?
False
Let f be (5 - 4)*1/4. Is f at least as big as -10/7?
True
Suppose 0 = -33*x + 32*x. Is 2/41 at most as big as x?
False
Let t(z) = -z**3 - 12*z**2 - 10*z + 9. Let w be t(-11). Let d be 5/w + 1/2. Which is bigger: d or -1/2?
-1/2
Let g be -2*3/2*-2. Let l = g + -6. Let f = l + 4. Is 5 bigger than f?
True
Let m = 79 - 77. Which is smaller: m or 15?
m
Let z = 52018/37 + -1406. Which is smaller: z or 1?
z
Let n = 2.4 - 0.4. Let o = 1.5 - n. Let f = 2.5 + o. Which is bigger: 0.1 or f?
f
Suppose 0 = 5*x - x + 2*i - 6, -5*x + 12 = i. Let y = 10 + -6. Is y at most x?
False
Let q = -0.28 + 0.27. Which is greater: q or 0.4?
0.4
Suppose -4*m = -3*k - 2*m + 7, -2*k - 2*m = -8. Suppose -k + 7 = 4*g. Which is smaller: g or 4/9?
4/9
Suppose -3 = -3*t + 42. Suppose -4*o - o = -t. Let u = o - 2. Which is bigger: 4/7 or u?
u
Let p = 17.1 + -14. Let a = -15 + 15.1. Let s = a - p. Which is smaller: 0.1 or s?
s
Let b be (-904)/(-12) - -1 - -1. Let j = b + -78. Which is smaller: 0.5 or j?
j
Let t be (3/(-4))/3 - (-4)/(-48). Which is bigger: t or 0.02?
0.02
Let m(x) = -4*x - 1. Let o be m(1). Let t be 10/(-4)*o/25. Which is greater: t or -6?
t
Suppose 0*i - 4*m = 5*i + 20, m + 27 = -4*i. Which is smaller: i or -7?
i
Let r = 176 - 436/3. Which is bigger: 31 or r?
31
Let h = -32 - -21. Which is greater: -10 or h?
-10
Let u be (-606)/(-8) + (-5)/(-20). Let t be (2 - -1)/(6/u). Let m be 6/(-9) - t/(-48). Are 0 and m nonequal?
True
Let i = 12 - 14. Let j be i/2 + (11 - 10). Do 1 and j have different values?
True
Let l = -20 - -14. Is l at least as big as -6?
True
Let c = 0.3 - 0.2. Let z = -0.1 + -0.9. Let o = z - 0. Which is bigger: o or c?
c
Let c = 0.27 - -4.73. Which is bigger: c or 1?
c
Suppose -q + 2*q - 7 = 0. Let l = q - 5. Let i be ((-1)/6)/((-1)/4). Which is greater: i or l?
l
Let v = 4371/1588 + -1/397. Suppose -16 = -4*f - 0*f. Which is smaller: f or v?
v
Let q = 5.202 + 0.098. Let a = -4 + q. Let s = -0.7 - a. Which is smaller: -1 or s?
s
Let v be 6/8 - (-24)/(-32). Suppose v = -y - 4*y. Which is smaller: y or -1/19?
-1/19
Let u be -6*(3 + 55/2). Let w = u - -1279/7. Let z be (-14)/10 + 2/5. Are w and z equal?
False
Suppose -2*a + 9 = a. Suppose 0 = -5*k + 14 + 1. Suppose a = -k*l + 4*l. Does l = 4?
False
Let a be (2/(-15))/((-12)/(-9)). Suppose 3*n = 4*n - 2. Let r be ((0/2)/(-2))/n. Is r at most a?
False
Let y(a) = a**3 + 9*a**2 + 9*a + 12. Let g be y(-8). Suppose -g*w - 4*o = 36, w + 6 = 4*o - 2*o. Does -8 = w?
True
Let l = 0.77 - 14.77. Is 0 > l?
True
Let h = -254 - -273. Let c(v) = -v**3 - 7*v**2 - 3*v - 3. Let p be c(-7). Is h less than or equal to p?
False
Let s = -1.6 - -2. Let x = -0.5 + s. Let n = 3 - 3. Which is bigger: x or n?
n
Let z = -17611 - -193543/11. Let f = z - -16. Let x(s) = s - 3. Let y be x(4). Are y and f equal?
False
Suppose -3*h + 530 = -4*o, 5*h + o - 4*o - 865 = 0. Is h bigger than 171?
False
Let g be 5/2*(-46908)/255. Let p = g + 460. Is p < -1?
False
Let l = 10.4 + -11. Let q = l + 5.6. Is q less than -3?
False
Let i = 60 + -298/5. Which is greater: 1 or i?
1
Suppose 3*t = m - 3, 4*t + 15 = -5*m + 106. Let n be 10/(-3) + 5/m. Is n > -5/3?
False
Let o = 9 + -5. Let b(t) = -t**3 + 5*t**2 - 4*t + 2. Let c be b(o). Is 2 less than c?
False
Let q = 2005886/369 + -5436. Do q and 0 have the same value?
False
Let x = -296827/15 + 100543/5. Let r = 320 - x. Is r greater than -1?
True
Let j be ((-3)/155)/(10/(-275)). Let y = j - 1/31. Is -8 greater than or equal to y?
False
Let s = 2082/7 + -298. Which is smaller: s or 5?
s
Suppose -o = 3*o + 8. Let j = o + 2. Let w = -3 + 4. Is w at most j?
False
Suppose -45 = -5*a - 10. Suppose -a - 1 = -4*d. Suppose 3*r = -d*r. Is -3/5 < r?
True
Suppose -2*b + u - 40 = -u, 3*b + 44 = -u. Let p be ((-1)/(-2))/(b/4). Which is greater: p or -1?
p
Let x = 85 + -81.98. Let k = x + -3. Which is bigger: 1 or k?
1
Let g = -0.59 - -0.6. Let y = -0.21 + g. Do y and 0 have the same value?
False
Suppose 4*c = 4, 3*l - 5*c = -1 