 3*h + 1 = -35. Let y = -25 + n. Let s be (-4)/y + (-75)/(-27). Is s less than 3?
False
Let z = 0.04 + -0.54. Let r = -0.4 - z. Which is smaller: r or 7?
r
Let y(k) be the second derivative of k**5/20 - k**4/2 - 7*k**3/6 - k**2/2 - k. Let l be y(7). Let q = -9 - -8. Is l greater than or equal to q?
True
Let u(i) = -9*i**2 + 3*i + 3. Let q be u(-1). Is q less than or equal to -6?
True
Let y = 3 - 75. Which is greater: -71 or y?
-71
Let n(x) = -x. Suppose -4*f = -6*f. Let a be n(f). Which is bigger: a or 2/5?
2/5
Let c = -3 + 2. Let i be (2 + c)/(-1)*0. Is i greater than -3/4?
True
Let t be (8/12)/((-4)/(-30)). Let a(m) = 6 - 1 + t - 9*m + m**2. Let p be a(7). Which is bigger: -5 or p?
p
Let j = -7 - -10. Suppose -j - 9 = 3*q. Do q and -3 have different values?
True
Suppose -8 = 2*l - 2*s, -2*l + 0*l + 3*s - 8 = 0. Let a(y) = y**2 + 4*y. Let r be a(-2). Let u = r - -2. Which is smaller: u or l?
l
Let o = -1/10 - -8/5. Let c be 3/(2 + -1) - 2. Which is smaller: o or c?
c
Let r be ((-18)/(-8))/(4/16). Let a be (0 + 2)/((-3)/r). Let o be (a/3)/(1 - 7). Which is smaller: 0 or o?
0
Let c be 2 - 2 - (-2)/(-1). Let a be 1/c + 2/(-4). Which is bigger: a or -0.06?
-0.06
Let d = -0.118 + 14.118. Which is greater: -1/7 or d?
d
Let d = -1 + 5. Suppose d*c + c = -495. Let r = c + 493/5. Which is bigger: r or 0?
0
Let g = 8 - 8. Let p = -1.5 + 0.4. Are g and p non-equal?
True
Let h be (-6)/(-8)*(-3 - -7). Is h at most as big as 1?
False
Let a(w) = -2*w - 9. Let q be a(-8). Let p = q - 5. Let u be 134/46 - 6/p. Is -1 <= u?
True
Suppose 2*m - 2*z + 13 = -z, -4*z + 40 = -5*m. Let v be (-2)/(-4) + (-322)/m. Let y = v + -407/5. Are y and 0 non-equal?
True
Let u = 9 - 9.3. Let r = u - -0.2. Let h be 1/(-6)*(-6)/4. Which is greater: r or h?
h
Let f be (1 - 29/31) + 0. Suppose -5*l + 22*l + 17 = 0. Which is smaller: l or f?
l
Let u = 17 - 19. Which is smaller: u or -2/3?
u
Let i = -4 - -3. Let z = -72/5 - -14. Which is smaller: i or z?
i
Suppose 3*t = v - 0*v + 14, -5*t + 26 = -3*v. Let f be 4/((-360)/3)*t. Which is greater: f or 1?
1
Suppose -5*d - 21 = 2*j, 2*j - 6*j - 35 = 3*d. Let x = j + 8. Let n = 8/63 - 292/315. Which is smaller: n or x?
n
Suppose 4*g - 4*r = 7*g - 36, -5*g = r - 43. Let l(c) = -c**3 + 7*c**2 + 9*c - 10. Let w be l(g). Let x = 101/20 + -25/4. Which is bigger: x or w?
x
Let q = 10 + -8. Suppose -q*h + 5*d + 20 = 8, -5 = -h + 2*d. Is 1 bigger than h?
False
Let s be (45/27)/(86/(-42) + 2). Which is bigger: -36 or s?
s
Let a(k) = k**2 - 5*k + 3. Let j be a(4). Let l be j*(-5 - -2)*-1. Which is greater: l or -2?
-2
Let q = -10.78 + 11. Let l = 4.78 + q. Let b = -1 + 1.1. Is b <= l?
True
Let u = -26 - 8. Is -34 smaller than u?
False
Let a(j) = -2*j**3 - 2*j**2 - 3*j - 1. Let p be a(-2). Is p greater than 14?
False
Let x be 4/(-10)*(22 + 3). Is x <= -11?
False
Suppose -32 = a - 0*y - 2*y, -3*a = 5*y + 96. Let o be a/20*2/8. Do o and 2/5 have the same value?
False
Let m = 11.72 - 1.12. Let z = 0.6 - m. Which is bigger: z or -1?
-1
Let u = 636 - 136738/215. Which is bigger: 0 or u?
u
Suppose 0 = -6*w + 133 + 527. Which is bigger: 109 or w?
w
Let k be 1 + 1 + 1 + 1. Let w = k + -8. Let o = w - -3. Are o and -1 non-equal?
False
Let h = 71 + -57. Which is greater: h or 16?
16
Let z be 13/(-10) + (-9)/3. Let o = -4 - z. Do o and -0.1 have the same value?
False
Let v be 182/(-7) + (2 - 3) + 4. Which is smaller: -25 or v?
-25
Let n = -0.131 + 0.011. Is n > 3?
False
Let y = 0.94 - 1. Let d = -0.14 + y. Which is smaller: d or 0?
d
Suppose 0*i = 7*i - 3*i. Let w = -11 + 7. Is w at least i?
False
Let f = 65/6 + -28/3. Suppose 2*k + 4 = 10. Which is bigger: k or f?
k
Suppose -2*n + 16 = -4*b, -n + b = 2*n - 9. Which is smaller: n or 7/12?
7/12
Let r = 1 + -0.96. Let d = -0.36 - r. Let c = d + 0.3. Do c and 1/3 have different values?
True
Let r = 2.1 - 6. Let h = r + 4. Let j = -0.1 - -0.2. Is h greater than j?
False
Let z be ((-1)/(-4)*4)/(1/(-12)). Which is greater: -15 or z?
z
Let o = 2/35 + -8/1365. Which is smaller: o or 1?
o
Let o = -387 + 396. Let g(a) = 2*a**2 + a. Let c be g(2). Are c and o equal?
False
Let i = -4 + 4. Let v = 0.2 + i. Let m = v + 0. Is m at least -1?
True
Suppose -s = -4*s - 9. Suppose -k + 6*k = 0. Let i = k + -3. Is i not equal to s?
False
Suppose -4*m + 1 + 0 = 3*t, 4*t + 8 = -3*m. Let y be m/(-3)*(-18)/84. Which is bigger: y or -3?
y
Let s = -4 + 0. Let x = s + 9. Suppose 0*b = 5*b + 5. Which is greater: x or b?
x
Let j = 9 + -5. Suppose -4*z = -5*x + 35, 0 = 2*x - 0*x + j*z + 14. Let g = 4 - x. Which is smaller: -1 or g?
-1
Let r be 15/(-10) + (-1)/(-2). Let h = 3 - 5. Let c = h - -2. Is c greater than or equal to r?
True
Let g = 7 - 5. Let d = -2 + g. Which is greater: -4/5 or d?
d
Let d = 6 + -4. Let w = -197 - -198. Are w and d unequal?
True
Let b = 0.5 - 0.5. Let v = 2 + -3. Let x = v - b. Is 0 != x?
True
Let k be (-1)/(-4) - 34/8. Let v be (-2)/k*(-2)/4. Is 1/4 greater than v?
True
Suppose 0 = 7*w - 3*w - 20. Let z(h) = -w*h - h**2 + 5*h. Let o be z(0). Is o != 0?
False
Let u be ((-1)/3)/((-6)/9). Let r = 153 - 158. Is r at least u?
False
Let l be 320/550 + (-4)/22. Which is smaller: l or 10.6?
l
Let i = 4 + 2. Let s = 8 - i. Let f = 7 + -8. Is f not equal to s?
True
Suppose f = -0*f + 21. Let h be (2 - f/3)/(-2). Which is bigger: 4 or h?
4
Let r = 1/265 + -539/2385. Are r and 2/17 equal?
False
Suppose 4*d - 3*d = -4*a + 23, 2*a - 15 = 3*d. Suppose -4 = -a*o + 4*o. Let f be 9*o/3 - 1. Is f at most 6?
True
Let l(r) = -r**2 - 7*r - 17. Let g be l(-7). Is g greater than or equal to -0.2?
False
Let h be (-4)/18*(-3)/2. Let k = 3 - 5. Let z be k - 3/(6/(-5)). Is h equal to z?
False
Let b = -11.4 + 9. Let m = -2 + 2.4. Let u = b + m. Do 1/2 and u have the same value?
False
Let z(u) = -3*u + 3. Let d be z(4). Let t be 5 - (0 - d)/3. Let q(h) = h - 4. Let f be q(4). Which is greater: f or t?
t
Let u = 6.06 + -0.06. Let t = 5 - u. Is -1 < t?
False
Suppose 5*p - 5*g = 20, -2*p = -5*g + 4 - 24. Suppose 0 = 5*w + 6 - 1. Which is smaller: p or w?
w
Let v = 8 - 7.94. Let k = -3.06 + v. Which is smaller: k or 2/3?
k
Suppose 3*v + 5*w = 6, 6*w = 3*v + w - 36. Let h(z) = z**2 - z + 6. Let x be h(0). Is x greater than or equal to v?
False
Let o(x) = 12*x + 2. Let b be o(-2). Let f be 92/22 + 4/b. Let v be (-2 - (-9)/f) + 0. Is v greater than -1?
True
Let j(i) = -3*i**2 - 10*i + 3. Let c(t) = -t**2 - 3*t + 1. Let f(l) = -8*c(l) + 3*j(l). Let h be f(-6). Which is bigger: h or 3/11?
h
Let w(l) = -6*l + 3. Let q be w(2). Which is smaller: q or -19/2?
-19/2
Suppose 5*p + 2 = 12. Suppose 0 = p*q - q - 4. Suppose b + q = -2. Is b bigger than -5?
False
Suppose 5*c = m - 3*m + 10, 26 = 4*c - 2*m. Let j(y) = y + 2. Let u be j(3). Is c less than or equal to u?
True
Let w be ((-1)/(-33))/((-4)/532). Let j = 40/11 - w. Let f = -8 + j. Is f smaller than 0?
True
Let a be (8/6)/((-4)/(-66)). Suppose 3*k - q - 13 = 0, -q - q + a = 2*k. Let i be 24/9 - (-2)/k. Which is smaller: 4 or i?
i
Let x(k) = -k**2 - k + 2. Let c be x(0). Let g be 8/(-36) + (-6)/(-27). Suppose 11 = 5*v - 2*p, p = 4*v - g*p - 7. Is v != c?
True
Suppose 0 + 12 = -2*a. Let r be ((-14)/a)/(1/6). Suppose 20 = -4*x, -f = -5*f - 2*x - r. Is -1 <= f?
True
Let g = 10 - 10. Suppose 0 = -4*p + 8, 2*p + 2*p - 8 = -5*m. Let q be 0 + (-4)/2 - m. Is q less than g?
True
Let w be (-8)/6 + (-1)/(-3). Let h(c) = -3*c - 2. Let l be h(-4). Let p = l + -11. Is w < p?
False
Let x(h) = -2*h + 30. Let o be x(15). Which is smaller: 2/7 or o?
o
Let z(d) = d**3 - 3*d**2 + 1. Let v be z(3). Let c(a) = -a - 1. Let l(b) = -12*b - 6. Let x(u) = -5*c(u) + l(u). Let n be x(v). Which is smaller: n or -7?
n
Let c be (166/4)/(25/(-312)). Let d = -518 - c. Let j = d + 33/100. Which is greater: j or 0?
j
Suppose 3*b = -2*b + 20. Let w(j) = j + 2. Let c be w(-2). Is b != c?
True
Let f = 32 - 54. Let i be (1 - -104)*f/(-54). Let p = i + -43. Is p smaller than -1?
False
Suppose 3*j - 2 = 4. Let y be 10/(-3 + (-20)/(-8)). Let t = y + 20. Is j greater than t?
True
Let n = 1.021 - 0.021. Suppose h + 2 = 4. Which is smaller: h or n?
n
Suppose 3*i + 3*t = 12, -4*i + 4 = -t + 2*t. Do i and 6/7 have the same value?
False
Let a(y) = y**2 + 14*y - 11. Let c be a(-15). Suppose -c*r = -5*r. Do r and 0 have the same value?
True
Let w be 3