
Let s be 3/6 + (-66)/116. Let h(d) = d**3 + 5*d**2 - d - 6. Let f be h(-5). Which is smaller: s or f?
f
Let p be 6/8 + 189/(-228). Which is smaller: 0 or p?
p
Let k = -2.09 + 0.09. Let x = 10 - 6. Is k at most as big as x?
True
Suppose -24 = -4*i - 5*f, 0 = -5*i + i - 4*f + 20. Suppose 0 = 2*l - t - 3, 3*l - t - 2 = i. Let s be (0/(-3) - l) + -1. Is s bigger than -1?
False
Let i(h) = -h**3 - 10*h**2 - 2*h - 15. Let r be i(-10). Suppose -5*o + 15 = 0, -2*p - r = -0*p - o. Is -2/69 > p?
True
Let h be -3 - -53*(-12)/(-213). Let k = h + 215/142. Is 3 not equal to k?
True
Let b(y) be the second derivative of -y**5/20 + y**4/12 + y**3/3 + y**2/2 - y. Suppose 0 = 3*h + 2 + 1. Let q be b(h). Which is smaller: q or 2/7?
2/7
Let l(m) = 2*m - 8. Let n be l(6). Suppose 2*o = 2*p - 26, 4 = -2*p + n*o + 32. Suppose -3*f - d + 11 = 0, -2*d + p = -5*d. Which is smaller: 3 or f?
3
Let w = -450 - -9454/21. Are -1 and w unequal?
True
Suppose 3*t - 6 = t, 3*h - 4*t = 6. Suppose 0 = 2*o + 5*f - 32, -2 - 6 = -2*f. Is o at least as big as h?
True
Let h = 1 + -3. Which is smaller: h or 4?
h
Suppose 3*s + 2 = 2*s. Which is smaller: s or -10/11?
s
Let n(a) = -a**3 - 6*a**2 + 7*a + 6. Let j be n(-7). Let m(d) = d - 4. Let b be m(j). Are b and 4 unequal?
True
Let b = -7.88 + 8. Let h = b - 0.05. Let z = 2.07 - h. Which is bigger: z or 2/7?
z
Suppose -3*a - 66 = 12. Is a at least -28?
True
Let w(g) = -2*g**2 - 25*g + 44. Let b be w(-14). Let r(t) = 2*t**3 - t**2 + t. Let u be r(1). Is u greater than or equal to b?
True
Let n = 0 + 1. Suppose -2*x = 4*t + 2*x - 92, -2*x + 102 = 4*t. Let a be (2/t)/((-2)/(-4)). Which is bigger: n or a?
n
Let v = -59 - -59. Which is smaller: v or 9?
v
Let c be 13/(-5)*(-2 - -1). Which is smaller: 2 or c?
2
Let o be (180/(-55))/(2/3). Let x = 259/55 + o. Is x greater than 1?
False
Let o(v) = v**2 - v + 1. Let u be o(2). Suppose -10 = -2*n - u*n. Suppose n*d = -6 - 0. Is d equal to -3?
True
Let l = -54 + 55. Let w = -169 - -1861/11. Is l at least w?
True
Let q = -183/11 - -5706/341. Which is greater: q or 1?
1
Let z be (-2)/4*(1 - 1). Let m be (1*-2)/(z - 3). Let t(r) = -r**3 + r**2 + 4. Let k be t(2). Do m and k have the same value?
False
Suppose -b + 3*y = 2*b, 4*y + 4 = 0. Is b equal to 8?
False
Let p(h) = h**3 - 4*h**2 - 4*h + 1. Let m be p(5). Let x(t) = -2*t + 8. Let l be x(m). Let f = l + 4. Which is bigger: -1 or f?
f
Let b = 494881/72 - 6873. Let m = -2/9 + b. Which is bigger: m or 0?
m
Let s = -0.19 + -18.81. Let w = s + 16. Is -2/5 < w?
False
Let w be (-2)/(-5)*(-75)/(-5). Is w smaller than 3?
False
Let p = -0.18 - 0.82. Which is bigger: -2/3 or p?
-2/3
Let n be (2/(-2) - 0) + 1. Suppose 3*o - 2*o = n. Is o bigger than 2/9?
False
Suppose -5 + 6 = k. Let z be (-14)/(-21) + 0 + (-28)/69. Which is smaller: z or k?
z
Let v(n) = -n**2 + 2*n - 1. Let s be v(0). Is -4 < s?
True
Let n = 10 - 6. Let x be n/(-330)*3*5. Is x less than or equal to -1?
False
Let g = 8863/12 + -739. Let x = -5/6 + g. Is -2 greater than x?
False
Let b = -2.06 - -0.06. Let x = 1 - -3. Suppose 2*c - x*c = 2. Is c at most b?
False
Suppose -v + 0*v = -5. Suppose d + v*g - 9 + 0 = 0, 4*g - 16 = -3*d. Let o(i) = -i**2 + 11*i - 8. Let p be o(10). Which is bigger: d or p?
d
Let p = -25 - -18. Let r(a) = 6*a + 35. Let g be r(-7). Is g < p?
False
Let u = -0.416 + -0.044. Let h = -0.06 - u. Let z = h + -0.5. Is z equal to 0?
False
Let j(d) = -d**2 + 8*d + 3. Let z be j(8). Which is bigger: z or 2?
z
Let u = 0 - 0. Let w = -16/1235 - 6/65. Which is smaller: w or u?
w
Let g = -4 - -4.6. Let u = -0.6 + g. Which is smaller: u or -0.04?
-0.04
Suppose 15 = v - 4*v. Let y = 5 + v. Let c(o) = o - 3. Let j be c(y). Which is smaller: -1/2 or j?
j
Let o(y) = 4*y + 18. Let w be o(-6). Which is greater: -5 or w?
-5
Suppose 4*g = -g + 10. Let k be ((-2)/6)/(1 + g). Is 0 at most as big as k?
False
Let g be (-3 + 10/4 + 0)*-38. Is g bigger than 19?
False
Let j = -2 + 3. Let a be 3 + 2*(-2 + j). Let w be (-88)/(-40) + 4/(-2). Is w not equal to a?
True
Let s = -9 + 12. Which is smaller: -0.2 or s?
-0.2
Let z = -6 + 15. Which is smaller: 10 or z?
z
Let j = -1789/6 - -299. Is 2 at most j?
False
Suppose 5*a - 3*a = 16. Which is bigger: a or 0.1?
a
Let u = -2/45 - -4/9. Is 60 greater than u?
True
Let f = 2861/20 - 759/5. Which is smaller: f or -9?
-9
Let p = -14/9 + 4/3. Suppose -2*d - a + 6 = 0, 2*d = -2*a + 10 - 4. Which is smaller: p or d?
p
Let t = 204 + -2650/13. Suppose 0 = -5*g - 22 - 3. Let m(f) = -f**3 - 6*f**2 - 4*f + 5. Let s be m(g). Is s at least as big as t?
False
Suppose 15*z = -6 + 51. Suppose 15 = o + 4*o. Are o and z equal?
True
Let u = -0.51 + 0.3. Let i = -0.18 - u. Is 1 bigger than i?
True
Suppose -4 - 8 = -3*c - 3*h, 3*c + 6 = 3*h. Let q = 3 - c. Which is greater: q or 4/7?
q
Let y = -1 - -0.5. Let r = y - -0.1. Let p = r + 0.4. Which is smaller: p or 2/11?
p
Suppose -3*y + 6*y = -3. Are y and 2/37 nonequal?
True
Suppose -4*b - n + 1 = 4*n, 4*n - 6 = 2*b. Suppose x + 5*x = -12. Is x not equal to b?
True
Let t(o) = -o**3 - 8*o**2 - 8*o - 4. Let i be t(-7). Let v be (i - 2) + 3 + -1. Is 2 > v?
False
Let v = 0.4 + -0.5. Let x = -0.2 - 0.3. Let a = x - -0.3. Is v != a?
True
Suppose 5*d + 15 + 50 = 0. Let h = -89/7 - d. Let a = -0.2 + -1.8. Which is greater: a or h?
h
Let m(t) = 2*t**2 + 10*t + 9. Let k be m(-4). Let b be (28/147)/(4/(-6)). Which is greater: k or b?
k
Let v = 465 + -8833/19. Let h be (-6)/(-7) - 28/(-196). Which is smaller: h or v?
v
Let a be ((-13)/(-6) - 1) + 0. Let c(n) = -n**2 - 20*n - 17. Let f be c(-19). Do f and a have the same value?
False
Let g = 35 + -21. Suppose 4*x - 18 = x. Suppose -4*q - g = x. Is q at most as big as -4?
True
Let q be 2/(-3) - (-544)/24. Suppose -4*h - 18 = -2*t, 6 = -4*t + 3*h + q. Is 1/3 > t?
False
Let i(h) = h**3 - 3*h**2 - 3*h - 4. Let u = -17 - -21. Let m be i(u). Which is smaller: -2 or m?
-2
Let u be 1 + -9 + (0 - -2). Let z be (3/(-9))/(2/u). Suppose 0 = -5*g - 3 - 12, 5*d + g + 3 = 0. Which is greater: d or z?
z
Suppose 3*m - 2*r = -9 - 13, r - 8 = m. Let z be (6/4)/(m/8). Let n(a) = -4*a + 5. Let q be n(2). Is q bigger than z?
False
Suppose 3*y - 16 = y. Suppose 0 = -0*z + 2*z - y. Is z > 2?
True
Let j(d) = d**2 + d + 3. Let z(y) = -y**2 - 3*y. Let x be z(-3). Let i be j(x). Is i >= 4?
False
Let h = 0.138 + -0.858. Which is smaller: 0.1 or h?
h
Let d be -2*(0 - (-3)/9). Let z = 0.1 + -2.1. Is z smaller than d?
True
Let p = 1195 - 8380/7. Let v = 2 + -4. Are v and p nonequal?
True
Suppose -6*y = -5*y + 30. Which is bigger: y or -29?
-29
Let l(j) = j**2 + 4*j. Let r be l(-4). Which is bigger: 7 or r?
7
Let d be ((-4)/(-10))/(4/10). Let b = d - 4. Is b at least 1?
False
Let q = -380/7 + 54. Is -0.07 less than or equal to q?
False
Let x(n) = -n**3 - n**2 - n + 12. Let a be x(0). Let r be 26/a - 6/4. Is 1 bigger than r?
True
Suppose -5*z + 2*z + 27 = 0. Suppose 4*s + z = 3*s + 2*q, 9 = 3*q. Do 1 and s have the same value?
False
Let a = -604/5 + 120. Suppose 2*o = -0 - 4. Which is smaller: o or a?
o
Let u be -5*(-2 + 82/45). Which is smaller: -1/2 or u?
-1/2
Suppose 4*j + i = 3*i - 12, -j - 21 = -5*i. Let k = 105 - 523/5. Do k and j have different values?
True
Let t = -1.08 + 1. Let p = t + 2.08. Which is bigger: p or 0?
p
Let k(d) = -3*d. Let i be k(-1). Suppose -3 + 0 = -i*f. Let n = 23 - 23. Which is bigger: n or f?
f
Let v = -3/2 + 33/10. Let l = v + -2. Let q(i) = -i**2 - 3*i + 4. Let a be q(-4). Which is smaller: a or l?
l
Let z = 3.0234 - -0.0066. Let j = z - 0.03. Let h = j + -2. Is h greater than -2/7?
True
Suppose -4*k + 12 = -4*c - 8, 0 = -2*c + k - 5. Suppose c = -h + 2*h + 4, 2*g - h - 10 = 0. Which is smaller: 1 or g?
1
Let f = 27 - 27. Do 1 and f have different values?
True
Let n = -6.262 + -0.038. Let f = n + -0.7. Let z = f - -6. Is z < 8?
True
Let g = -1 + 1. Suppose 3*o + 5*q + 16 = g, -3*q - 12 = 2*o - o. Suppose -o*l = l. Do l and 0 have different values?
False
Suppose 41 = 2*a + 43. Is a > 1/148?
False
Let r be (20/(-6))/(-1)*3. Let z be (4/10)/(14/r). Let o = -1 - -3. Which is smaller: z or o?
z
Let j(g) = -g**2 + g + 1. Let v(h) = -h + 10. Let y be v(11). Let d be j(y). Is -1/17 equal to d?
False
Suppose -28 = -2*o + 2. Let x = -3 + o. Suppose -x = -2*v - 2*v. Is 2 <= v?
True
Let m(d) = -d**3 - 4*d*