 -f**2 - f + 31. Let d be h(-6). Which is bigger: d or 12/23?
d
Let d be (-12)/(-9) - 9/(-54). Let a be 1/((-2)/12*-2). Is d not equal to a?
True
Suppose 0*b + 5*b - 25 = 0, 2*t - 31 = -3*b. Let c = t + -9. Let z = -2 + 1. Is c greater than or equal to z?
True
Let m(s) = -18*s + 2. Let p be m(-6). Let d be 31/p + (-6)/33. Let n = d + 2/5. Which is bigger: 4 or n?
4
Suppose -2*u + 15 = -2*w + 1, 20 = 2*u - 4*w. Let x be u/(-10) + 3/(-5). Let n = 0.19 - 2.19. Which is bigger: n or x?
x
Let o be 1*-2 + (2 + -6)/(-4). Is o at most -12/13?
True
Let c = -1961/2 + 1017. Let t = 38 - c. Which is smaller: t or -1?
-1
Let d be 5/(-333)*-53 - 1. Let x be 2/7 + 208/(-777). Let f = x - d. Is f equal to -1?
False
Let t be 4/10 - (-4)/(-5). Which is smaller: t or -4?
-4
Let v(p) = p**3 - 7*p - 1. Let t(q) = q + 1. Let a(d) = 6*t(d) + v(d). Let l be a(0). Let n(f) = -f**3 + 6*f**2 - 5*f - 2. Let o be n(l). Is 1/2 <= o?
False
Let n be 0 + -1 + -3 - -49. Is 46 equal to n?
False
Let x(w) = -w + 3. Let v = 10 + -6. Let n be x(v). Which is smaller: -2/29 or n?
n
Let b be (-7)/((-70)/12)*5. Which is smaller: b or 5?
5
Let j = 0.1 - 2.1. Are -2/3 and j nonequal?
True
Let g = 44/3 + -15. Is 2/3 at least as big as g?
True
Let m be (-2 + 1)*0 + 0. Let a(g) be the second derivative of g**5/20 - g**4/12 - g**3/6 + g**2 - 13*g. Let v be a(m). Which is greater: 1/2 or v?
v
Let z(m) be the third derivative of -m**2 - 1/120*m**6 + 0*m - m**3 - 1/12*m**4 + 0 - 1/15*m**5. Let r be z(-4). Is 2 less than or equal to r?
True
Suppose 3*i - 4 = 8. Let p be i/(-6)*(-6)/(-8). Suppose -5 + 4 = x. Which is bigger: x or p?
p
Let l be (-1 - -1) + (3 - 20/(-24)). Which is smaller: l or 4?
l
Let k(x) = -3*x**2 + 7*x + 14. Let w(l) = -2*l**2 + 3*l + 7. Let z(g) = 3*k(g) - 5*w(g). Let y be z(-5). Suppose 5*b = 3*b. Which is smaller: b or y?
b
Suppose 5*b - 15 = -0*b. Let o be -7*(-1)/((-7)/(-2)). Which is greater: b or o?
b
Let w(t) = -3*t**3 + t**2 - 1. Let n be w(-1). Suppose -3*z - n = 0, -2*z + 9 = 4*g + z. Which is smaller: -2 or g?
-2
Suppose 0 = -b + v - 1, -5*b + 4*v - 2 = 3. Let u = -60 + 60. Let j = u + b. Is j != -2?
True
Suppose 5*j + 159 - 30 = c, -2*c = 5*j - 303. Let o be 2*1*c/(-32). Is o < -9?
False
Let a = 63 - 70. Let c = -3 + -1. Which is smaller: a or c?
a
Suppose -3*b = 2*b - 5. Let v = b - -1. Let o be (v*-1)/(2 - 0). Is o < -2?
False
Let z be (-341)/121 + (-4)/22. Which is smaller: 21 or z?
z
Suppose -5*r - 35 = 4*u, 4*r + 22 = -3*u + u. Let v(c) = c**3 - 6*c**2 - 3. Let o be v(6). Is o != r?
False
Let y = -0.5 + 0.46. Let m = y + 0.04. Which is greater: m or -0.1?
m
Let d = -5748/91 - -440/7. Is 1 at most d?
False
Let n = -6/35 + -52/105. Is -2 at most as big as n?
True
Let p = 0.2 + -0.2. Let z = 0.021 + 2.879. Let t = z - 3. Do t and p have the same value?
False
Let m be (0 + 3)/((-6)/(-4)). Suppose -6 = -2*a + 4*p, 4*a - 9 = a + 4*p. Suppose 0 = 4*s + a*b - 15, -7*s - 5*b + 25 = -m*s. Which is greater: 1 or s?
1
Let k = 24972/11 - 2272. Is k at most -1?
True
Let t be ((-11154)/5957 - -2)/2. Let n = -6/259 - t. Which is greater: 1 or n?
1
Let f(y) = -y**2 + 14*y - 3. Let z be f(13). Which is smaller: 11 or z?
z
Let x(l) = -l**2 + 4*l + 5. Let j be x(5). Let k = j - -1. Let w be 0/(-3 + 2) + k. Is 0.3 less than w?
True
Suppose -3 = -4*b + b. Which is smaller: -1/11 or b?
-1/11
Suppose 14 = 3*m - n, -4*m + 8*n = 3*n - 4. Suppose -t = -m*t. Which is bigger: t or -1/12?
t
Let l = 2/13717 + 1549481/3703590. Let u = l + -1/54. Which is bigger: u or -1?
u
Let w(d) = 15*d**2 - d. Let t(k) = k**3 - 8*k**2 + 8*k - 6. Let f be t(7). Let j be w(f). Let n be (-30)/42 + (-4)/j. Is -1/3 at least n?
True
Let y = 23 + -26.6. Let c = -4 - y. Let w = c - -0.3. Are w and 4 non-equal?
True
Let k be (-12)/((9/(-6))/1). Let i = -118.2 + 118. Is k greater than i?
True
Let l be -6*(-2)/(-6)*3. Let h(t) = -11*t - 1. Let z be h(-1). Let s be z/(-14) + l/21. Is 2/5 > s?
True
Let x be (-42)/(-28)*(-2)/3. Which is greater: 1/11 or x?
1/11
Suppose 0 = 3*z + 5*m + 322, 5*z + 181 = -m - 385. Let t = z - -792/7. Suppose -5*i = 3*q - 4, i + 2*q - 3 = -2*i. Which is smaller: t or i?
i
Let y(k) = -k**2 + k. Let n be y(-4). Let r be ((-5)/n)/(1/4). Is 2/11 equal to r?
False
Let f = 0.026 - -19.974. Let i = -20.1 + f. Which is bigger: i or 1.1?
1.1
Let b = -1 + 0.97. Let v = -1.97 + b. Is v at most -1?
True
Suppose -3*o = -l - 11, 5*l = -0*l + 3*o - 31. Let p be (l - 0) + (2 - 0). Is -1 not equal to p?
True
Let c be 4/10 + 63/105. Is c equal to 1/2?
False
Let u = -14 + 14.18. Let w = u + 0.02. Which is bigger: 0.04 or w?
w
Let h be (0 + 0 - -2) + -1. Let p = 15 + -18. Is p equal to h?
False
Suppose -u - 2*d + 19 = -7*d, 3*d = 5*u + 15. Are 5 and u equal?
False
Let v = -6.4 - -84.4. Is 0.1 equal to v?
False
Let n = -0.86 + 0.7. Let f = n + -8.84. Which is smaller: -2/3 or f?
f
Let m(i) = -i**2 + i + 2. Let w be (-10)/(-4) - 2/(-4). Let g be m(w). Are g and -4 equal?
True
Let m be (-8)/(-15) - 4/20. Which is smaller: m or 5?
m
Let o = -18 - -14. Is -10 < o?
True
Let j be 30/(-40) + 65/(-4). Is -17 bigger than j?
False
Let s be (-12)/(-9)*(-6)/(-1). Is 3 less than or equal to s?
True
Suppose b - 79 = -2*g, 2*g = 5*b - 0*g - 371. Let m be ((-156)/b - -2)*5. Let c = -1 - 0. Which is bigger: c or m?
m
Let v = -9 - -9. Are v and -1 non-equal?
True
Let t = -3 - -36. Let b = t + -199/6. Is b > 1?
False
Let h be (1/(28/(-18)))/(24/(-28)). Is h at least -3/2?
True
Suppose -3*o + 4*k + 25 = 0, -4*k - 4 = -3*k. Let j(l) = -1 - 6 - l + o*l. Let q be j(5). Is 2 >= q?
False
Let b = -261 + 238.91. Let o = b - -22. Are o and 1 unequal?
True
Suppose 3*x + 4 = 7. Suppose -3 = n + 5*z, -2*n = -n - 5*z - 7. Suppose 0*m - 8 = n*m. Is m > x?
False
Let f = -205/693 - -1/99. Let n = -5.5 + 0.5. Let l = 4 + n. Is f greater than l?
True
Let u = -17 - -17. Let d be (-1 - -3) + (-62)/28. Which is greater: u or d?
u
Suppose -3*s - 25 = -c, 8 = 3*c - 2*s - 46. Do c and 16 have the same value?
True
Let q = -139 + 137. Which is bigger: q or -30?
q
Let x = 6 + 25. Is x >= 30?
True
Suppose j = 6*j + 10, -3*j = -4*u + 18. Is u at least 1?
True
Let b(l) = l**3 - 2*l + 1. Let j be b(1). Let n = j - 3. Let c = n - -2. Which is smaller: -1/3 or c?
c
Let t = 2 - 8. Let y be (-2)/(-24)*t/(-2). Do 0.1 and y have the same value?
False
Let n(l) = l**3 + 2*l**2 + 2*l + 3. Let i be n(-2). Suppose -m = 4*m - 5*t + 20, -5 = -m - 2*t. Let z = m + 4/3. Is z greater than i?
True
Let r = 30 + -61/2. Is -2/13 equal to r?
False
Suppose 4*a - 17 = -3*g, 4*a - 2*a = 3*g - 5. Let t = 7/22 - -2/11. Which is smaller: a or t?
t
Let d be 0*(3 - 4)*(-5)/(-10). Is d less than or equal to 2/29?
True
Let w = -69 + 275/4. Let t = 2 + -1. Which is smaller: t or w?
w
Let g be ((-5)/(-35))/(1/7). Which is greater: 4 or g?
4
Let k = 2 + -2. Let t be 2/(-9) + (-4)/63. Does t = k?
False
Let o be (-50)/(-62) - (3 - 2). Which is smaller: 0 or o?
o
Let z = 1/12 + 5/36. Let w = 4.1 - 4. Which is smaller: z or w?
w
Let d = 3 + -5. Let b = d + 1.6. Let t = 3.1 - 3. Is t >= b?
True
Let k be 34/((-9)/(45/(-10))). Is k < 4?
False
Suppose -s - 1 = 2*i + 16, 5*i + 40 = -2*s. Which is smaller: i or -9?
-9
Suppose 0 = 4*o - 3*u - 15, -4*u = 4*o + 3 + 17. Let v be (-1 - -1)/(-2 - -1). Let a be 1/1*(0 + v). Do a and o have the same value?
True
Suppose 1 = 4*f + 9. Let q = -36 - -33. Which is smaller: q or f?
q
Let b = -1 + -3. Which is smaller: b or 2?
b
Let l be (-2 - -5)/(6/4). Let o be (10/30)/(l/(-6)). Is 2/41 not equal to o?
True
Let f be -1 + (-32 + 2)/5. Do -9 and f have different values?
True
Suppose -13*o = -10*o - 45. Which is greater: o or 13?
o
Let s be (-2)/(-2) + (-117)/143. Let g be (0 - -2)/2 - -1. Is s <= g?
True
Let b be -15*(6/2)/(-3). Suppose -3*y = 2*y + b. Which is smaller: y or -3/2?
y
Let l = -176270/63 + 2798. Is l at most as big as 0?
False
Suppose 0 = 5*g + 4*v - 7, -2*g - g = 4*v - 1. Suppose -g*r + 4*r = 2*l + 12, r + 3 = -3*l. Is r at least as big as -2/3?
True
Suppose 4*k - 6 + 10 = 0. Suppose 0 = 2*j + 2, -5*u = -3*u - 5*j - 113. Let l be -1 + u/(-50)*-1. Which is smaller: l or k?
k
Suppose 0*w + 24 = -w. Let q be (3/(-2))/(w/16). Which is smaller: -1 or q?
-1
Let x(u) = 7*u + 64. Let p be x(-8). Suppose 3*j = -2*j - 30. Let m = p + j. Are m and 1 non-eq