 5*h + 27. Let p = z - h. Is -2 less than p?
False
Let g = -15/4 + 4. Is g smaller than 1?
True
Let t = 4 - -7. Is 11 >= t?
True
Let i(d) = d**2 - 1. Let g(n) = n + 6. Let f be g(-5). Let u be i(f). Let v = 4 - 6. Which is greater: u or v?
u
Let l(k) = -k**3 + 2*k**2 + 12*k - 8. Let g be l(9). Let b = 7941/17 + g. Is 0 at most as big as b?
True
Let z = -35 - -21. Let l = 14.2 + z. Which is smaller: l or 1?
l
Let z = -0.175 - -7.175. Is z greater than 3?
True
Let g(s) = -s**3 - 7 + 0*s**2 - s - 5*s + 0*s + 8*s**2. Let b be g(7). Let u = 2537/7 - 363. Which is greater: b or u?
b
Let l be -5 + 1 + 130/35. Is 0.07 < l?
False
Let q be ((-6)/24)/((-2)/(-8)). Let b be -1 - -1 - (-172)/693. Let r = 2/77 - b. Do r and q have different values?
True
Suppose 1 = t + 2. Let o be (-2)/(-2) + (-6 - -5). Which is smaller: t or o?
t
Let i = -67 - -122. Let w be i/3 + 4/(-12). Which is bigger: w or 19?
19
Suppose 2*j + j = -9. Let p be (1/j)/((-2)/(-6)). Let q = 0.4 - 0.3. Is p < q?
True
Let w(p) = -p**2 + 16*p + 19. Let y be w(17). Which is smaller: 2/3 or y?
2/3
Let o be 45/(-2) + 27/(-18). Which is greater: o or -23?
-23
Let w = 8.4 - 5.4. Which is smaller: -5 or w?
-5
Let x be (1 - 9) + 3 - 0. Let a(g) be the first derivative of -g**3/3 - 2*g**2 + 4*g + 1. Let t be a(x). Is -2/9 < t?
False
Let s be (1 + -2 + 1)/1. Let q = s - -3. Suppose -2*h + 0*h - q*r - 6 = 0, 0 = -5*h + 2*r - 15. Do h and -3 have different values?
False
Let t = 3 + -3. Suppose -d + 8 - 2 = t. Let b be ((-4)/d)/((-35)/(-15)). Which is bigger: 0 or b?
0
Let p = -0.11 + -10.89. Is 3 > p?
True
Let i be 3/(((-42)/(-20))/(-7)). Let s be 18/i + 3/(-15). Is s bigger than -1?
False
Let m = -6 + 11. Suppose -5*b - 16 = -3*q, m*b + 7 = 2*q - 7. Suppose 4*d - 6 = q*k - 0*d, -3*k + 4*d = 3. Is k <= 3/2?
False
Let g(h) = h**3 + 6*h**2 + h + 5. Let q be g(-6). Which is smaller: q or -1/6?
q
Let p = 5 - 12. Let u be 6/(-9) + p/(-6). Is u at most as big as 0.7?
True
Let d = -33.2 + 33. Which is bigger: d or 0?
0
Let l be (-2 + 7)*(-6)/(-10). Let g be 4/(-14)*(-1 + l). Is -1 greater than or equal to g?
False
Let w be (2/(-8))/((-9)/36). Let n be 238/(-285) - 20/(-25). Is w at most as big as n?
False
Let d = -54 + 593/11. Suppose 3*o - 6*o - 3 = 0. Which is greater: d or o?
d
Let t be -2 + 73 + -4 + 3. Let s be (-4)/2 + 136/t. Which is smaller: 1 or s?
s
Suppose 4*g + 2 = -6. Let n = 6 - 3. Let d be 1/(3/(n/(-2))). Is g less than d?
True
Suppose 0*z - z + 13 = v, 0 = -3*z + 4*v + 4. Suppose 4*s = z*m - 4*m - 28, 2 = 2*m + 4*s. Is 6 >= m?
True
Let n be (-8)/(-28) - (-34)/(-105). Which is bigger: 1 or n?
1
Let n = -39/5 + 33/5. Suppose h + 0*h + 4*t = -10, 0 = 2*h + 2*t + 2. Suppose 0 = h*x + 4*i, 3*i + 1 = -x + 2. Which is bigger: n or x?
n
Suppose 0 = -5*a - 3*y - 8, 7 = 3*a - 6*a - 4*y. Let b be (-2)/(-5) - 40/(-25). Let c be (-5)/15*(b - 1). Is c at most as big as a?
False
Let m = 46 + -47. Which is smaller: -1/24 or m?
m
Let i be (5 + 33/(-9))*-3. Which is greater: i or -12?
i
Let w = -0.1 - -1.1. Let b = 4 + 1. Suppose -2*p + 1 = b. Which is greater: p or w?
w
Let u be 36/(-12) + 5/4. Are u and -2 equal?
False
Let y = -1 - 3. Let i = 3 + y. Let q = -7 - -6.8. Which is bigger: q or i?
q
Let i = 1.04 - 1.08. Is 9 greater than i?
True
Let d = 9 - 4. Suppose -3*g - 2*g - d = 0. Let w = -1 + g. Are -2 and w non-equal?
False
Let u = -28 - -39. Suppose -6*r - 40 = -10*r. Is u less than r?
False
Let s = -26 + 36. Let f be (9/(-4))/(s/40). Which is bigger: f or -8?
-8
Let a(u) = -u + 2. Let q(t) = t**3 + 4*t**2 - 2*t - 5. Let j be q(-4). Suppose g + 4 = j*g. Let v be a(g). Which is greater: v or -1?
v
Let k = 3 + -7. Let y = -0.53 - -0.03. Let b = -0.4 - y. Are k and b non-equal?
True
Let a(j) = -8*j + 3. Let l be a(4). Which is greater: 0.1 or l?
0.1
Let v be (-2)/(-4) + 130/12. Let b = v + -9. Is b less than 1?
False
Let x(f) = -1 - 1 + 11*f + 12*f**2 + 4 + f**3. Let z be x(-11). Suppose -h - h = z. Which is smaller: 0 or h?
h
Let s = 14 + 7. Suppose 0*y + s = y - 4*n, 3*n = -y - 14. Let r = y - 1. Is r at most as big as 1/5?
True
Let t = 2 - -1. Let n be ((-6)/(-9))/(4/6). Which is bigger: t or n?
t
Let w(m) = m**2 + 6*m - 9. Let o be w(-9). Let l be (-2)/2*o/(-81). Which is bigger: 0.2 or l?
l
Let u be 3/11*(-60)/9. Let d = 3144085/66 - 47636. Let b = d + u. Is 1 smaller than b?
False
Let x = -77827/1045 - -819/11. Which is smaller: x or 1?
x
Let o = -3/136 - 79/2584. Is o equal to -1?
False
Let b = 4 - 2. Let y = b + -3. Are 2/17 and y equal?
False
Let t be (-2*(-2 - -1))/(-1). Let g = -8.1 + 8. Let x = 0 - g. Are t and x non-equal?
True
Let f be (3 + 15/6)*-2. Let c = -12 - f. Which is smaller: c or -2?
-2
Let o(r) = r**3 - 8*r**2 + 7*r + 6. Let q be o(7). Which is greater: 23/5 or q?
q
Let n = 15 + -14. Is 1/3 smaller than n?
True
Let m be 0/1 + (-1)/(-1). Let v be (4/(-25))/((-7)/(175/10)). Is m greater than or equal to v?
True
Let f be 1/(-2) - (33/(-22) - -1). Let q be 0/(-2) + (-2)/(-16). Is f at most as big as q?
True
Suppose 5*t + 4*n - 5 = 7*n, 0 = 4*t - 5*n - 4. Let k(g) = -4 - 2 + g + t + 4. Let v be k(-2). Are -2 and v equal?
False
Let s = -10.5 + 10.47. Which is bigger: s or 1?
1
Let b = 1.9 + -2. Let n = -29/62 - 1/31. Which is bigger: b or n?
b
Let w = -0.4 + 0.3. Let h = 1.01 - 1.71. Which is bigger: w or h?
w
Let m be (-259)/(-357) + 4/(-6). Which is bigger: m or 0?
m
Let v be (-16)/20*(-5)/(-2). Which is bigger: -9/11 or v?
-9/11
Let q = -3.4 + 10. Let s = q - 2.8. Let u = -4 + s. Is -2 bigger than u?
False
Let q = 108 + -108.039. Is 0.2 less than q?
False
Let y = -58 + 233/4. Let w(a) = -a - 4. Let u be w(-4). Which is smaller: u or y?
u
Let n = 1460 - 687. Let k = n + -3853/5. Which is smaller: 1 or k?
1
Let s be ((-9)/12)/(2/8). Let k(f) = f**2 + 8*f - 13. Let w be k(-9). Is w > s?
False
Let r = -0.4 - -0.5. Let h = r - 0. Which is smaller: 0 or h?
0
Let z = 7.1 + -1.1. Let s = z - 5. Which is bigger: 2 or s?
2
Let w = -3928/45 + 442/5. Which is bigger: w or 0?
w
Let v be (6/14)/(3/(-4)). Suppose 0 = 2*o + 4*h - 2, -3 = 2*o - 5*h + 4. Which is greater: v or o?
v
Let p = 7 + -4. Let h = p + -3.2. Which is smaller: h or 1?
h
Let o = 5161/10 - 517. Which is smaller: -2 or o?
-2
Let n = 209/7 - 2599/84. Let j = n + -1/6. Is 0 less than or equal to j?
False
Suppose 0 = -3*j - 2*j. Suppose 6*g - g + 5 = j. Let w be 1*(-3 - (-3 + g)). Is w <= 1?
True
Let o(r) = r**2 + 9*r + 8. Let x be o(-8). Let d be -22*(-1)/12 - 1. Which is smaller: d or x?
x
Suppose -5*q + 212 = -3*t + t, 5*q = -5*t + 240. Let m be 127/q - (2 - -1). Let p = 23/88 - m. Which is smaller: 0 or p?
0
Let k = 1 - 0. Let g(y) = -y + 2. Let f be g(k). Do 1 and f have the same value?
True
Let v be 0/(-3 - -1 - -1). Suppose o + 3*o + 8 = v. Let y be (-1)/(-2)*o - -2. Which is smaller: y or 1/4?
1/4
Let s(k) = k**3 - k**2 - k. Let h be s(2). Let w be (39/15 - 1)*6/8. Is w less than h?
True
Let j = -8/11 + 43/44. Let s = -0.04 - -0.02. Let i = -3.02 - s. Which is bigger: i or j?
j
Suppose 3*i + 4*l - 5 + 6 = 0, 13 = i - 2*l. Is i at most 6?
True
Let x(l) = -l**3 + 10*l**2 + 15*l - 27. Let i be x(11). Which is smaller: 15 or i?
15
Let p(l) = -l + 12. Let n be p(18). Is n < -0.1?
True
Let q be (68 - 5)/(-3) - (-3 - -2). Which is greater: -0.4 or q?
-0.4
Let g = -73 + 93. Which is bigger: g or 16?
g
Let p be (-1)/2 + 9/6. Suppose -3*j = p - 13. Suppose 0 = -6*s + 4*s + 6. Is j at least s?
True
Let m = 530 - 524. Let u be (-6)/(-4)*(-16)/(-6). Suppose u*i - 2*i = 10. Is i at least m?
False
Let t = -2/45 + 1094/315. Which is smaller: 4 or t?
t
Let g = 10 - 10.6. Which is bigger: g or 1?
1
Let l = -37 - -261/7. Do l and 2/5 have the same value?
False
Let s be ((-1)/(-6)*-2)/(4/(-36)). Which is smaller: s or 16/7?
16/7
Let x = -4.2 - -4. Suppose -5*t - 3*k + 0*k = 162, 0 = -2*t - 4*k - 76. Let b = t - -148/5. Is b != x?
True
Let c(a) = -a + 9. Let h be c(10). Is 1/10 smaller than h?
False
Let j = -0.27 - -0.18. Let n = -0.03 + j. Is 1/4 smaller than n?
False
Suppose 0 = 4*l - 9*l. Let a be (10/(-7) + l)*-7. Is 11 less than or equal to a?
False
Let m = -2.2 + 2. Let w = 0.2 + m. Which is smaller: w or 0.2?
w
Let i = -20617 - -226601/11. Let f = i - -1632/77. Let d = f - 127/28. Is -2/7 less than or equal to d?
True
Let p = -26 - -25. I