1. Is k bigger than p?
False
Let t(k) = -k + 5. Let z be t(6). Let h(w) = -w + 3. Let f(c) = 1. Let s(x) = 7*f(x) - 2*h(x). Let g be s(z). Are g and -4 unequal?
True
Let j be 492/574*(0 + -1 + 8). Which is smaller: j or 9?
j
Let r be 2 - ((-54)/10)/(-3). Suppose -6 = 10*v + 4. Which is smaller: v or r?
v
Suppose 0 = q + 2*b - 17, 1 = 5*q - b - 40. Suppose -3 = -2*n + f, -5*n + 0 = 3*f + q. Suppose 4*o + 2*t = -n + 4, -2*o - 3*t - 6 = 0. Are o and 0 unequal?
True
Suppose -3*l - 30 = -2*l + 5*m, 2*l = -5*m - 35. Which is smaller: 0.06 or l?
l
Let g = -71/48 - 19/16. Is -3 bigger than g?
False
Suppose d - 2*d = 0. Let w be (10/(-6) - -2)/(-3). Which is greater: w or d?
d
Let h = 9 + -4. Suppose -4*y = 2*i - 34, -3*i - 59 = -0*y - h*y. Is 10 smaller than y?
False
Let l = 11 - 5. Does -0.2 = l?
False
Let u = 4148/95 + 52/19. Let x = u + -46. Is -1 at most as big as x?
True
Let u = 2147/154677 + 1/3291. Which is smaller: 1 or u?
u
Let s(k) = k**3 - 7*k**2 + 6*k + 1. Let x be s(6). Let u be ((-3)/15)/(x/(-2)). Is 1/8 bigger than u?
False
Let v = -0.15 + 0.05. Let l = -0.3 + 0. Let b = v - l. Which is bigger: b or -2/7?
b
Let o = 17.19 + -17. Let d = -0.09 + o. Is 4 != d?
True
Let o(u) = 6*u + 1. Let r(q) = -q + 1. Let l(x) = o(x) + 5*r(x). Let z be l(-11). Which is smaller: z or -2/7?
z
Let f be -1 - (-4 - 57/(-21)). Which is smaller: 0 or f?
0
Let b be ((-6)/12)/(2/(-12)). Are 2 and b nonequal?
True
Let w = -1.5 + -0.5. Let l = -1 - w. Is l at most -1/7?
False
Let z = 2 - 5. Let y = 4 + z. Is 3/10 less than or equal to y?
True
Let r = 0.05 - 4.05. Let s = 3.96 + r. Let z = -0.06 + s. Which is smaller: -2 or z?
-2
Suppose 4*p + 12 = 2*u + 38, 2*u = -4*p + 6. Let d = 1 + p. Suppose -d*m + 3*m = 6. Is m >= -2?
False
Let n = 1.96 + 0.04. Let g = n - 1. Let u = 18 - 16. Which is smaller: u or g?
g
Let a be (2 - 2)/((-3)/3). Let k be -1 - (-2 - a/(-3)). Are k and 0.2 unequal?
True
Suppose -2*c = 4*m, -3*m + 7*m = 0. Is c greater than 1?
False
Let p(g) be the first derivative of -g**3/6 + g**2/2 - g + 1. Let k(c) be the first derivative of p(c). Let f be k(7). Is -7 != f?
True
Suppose 4*m - 32 = -2*c, -4*m - 3*c = 2*c - 44. Let d be (4/(-15))/((-4)/m). Let z = 0.11 + -0.31. Which is greater: d or z?
d
Suppose x + 3*x = 0. Let w = 26.04 + -26. Which is greater: w or x?
w
Let q = -7 + 2. Let n = -4 - q. Suppose -2*o + n = -1. Which is bigger: o or -2/11?
o
Suppose -7*m = -2*m. Let d(l) = l**3 - l**2 - 4. Let k be d(m). Let w be (-21)/(-14)*k/(-6). Which is bigger: w or 0?
w
Let q = -16 + 16. Is 1/3 <= q?
False
Suppose -m = 4*l + 6, 5*m + 3*l - 7*l + 30 = 0. Let i be ((-56)/(-6))/(3 + -5). Is i not equal to m?
True
Let b(l) be the third derivative of l**6/120 - l**5/60 - l**4/6 + l**3/3 - 5*l**2. Suppose 2*k = 2 + 4. Let i be b(k). Is i greater than 8?
False
Let a = 0.3 + -1.3. Let d = -0.21 - 0.09. Is d bigger than a?
True
Let s(q) = q - 6. Let c be s(3). Is c less than or equal to -3?
True
Let h = 3 - 4. Let r(s) = -s - 1. Let o be r(-2). Let d be o*(-10)/15 - -1. Which is smaller: h or d?
h
Suppose 12*a + 42 = -9*a. Suppose 0 = -x + 2*x - 3. Let k(v) = v**2 - 5*v + 4. Let r be k(x). Is a greater than or equal to r?
True
Suppose -c + 5*c = -12. Is -5 >= c?
False
Let u(x) = -x - 3. Let f be u(-8). Is f != 7?
True
Suppose 7*i - 2*i = 20. Suppose i*f + 1 = -2*r + 3, -4*r + 11 = f. Which is greater: 1 or f?
1
Suppose -5*c = -0*c + 5. Is c at most as big as 15?
True
Suppose 4*h + 5 = 57. Let v = 8 - h. Which is smaller: v or -6?
-6
Let l be 2/(-1) - -2 - 65. Let t be 10/12*(-26)/l. Let p = 3 + -2.8. Which is bigger: t or p?
t
Let o be 175/(-50)*(0 + -6). Is o < 64/3?
True
Let x be ((-42)/(-8) - 2) + (-6)/(-8). Which is bigger: 0.07 or x?
x
Let n = -0.03 - -0.16. Let d = n + -0.36. Let y = d - 0.07. Is -2/9 not equal to y?
True
Let o = 45 - 38. Suppose 2*q + q - 18 = 5*s, 0 = -4*q + 5*s + 24. Which is smaller: q or o?
q
Let z = 579/56 - 68/7. Let c = z + 1/24. Let g be -1 - (0 - 2 - 1). Which is smaller: c or g?
c
Suppose 0*n - 4 = -2*n. Suppose -2*o - 24 = -n*i, 2*i - o - 4*o = 36. Which is smaller: 7 or i?
7
Let g(t) = t + 19. Let l be g(-8). Which is smaller: l or 9?
9
Let h = 0.3 - 0. Suppose 5*p + 31 - 86 = -5*u, -4*p = 5*u - 46. Let c = p - 26/3. Which is greater: c or h?
c
Let w = 22 + -24. Is -15/7 less than w?
True
Let d(w) = w**3 - 3*w**2 - 3*w + 3. Let v be d(4). Let j be (-26)/v + (-6)/21. Is j greater than or equal to -5?
True
Suppose 2*v - 8 = -2*g, 3*v = 2*v + 4*g - 11. Suppose 5 = r + 4. Is v > r?
False
Let m be -1 - (-3 - (-57)/1). Let l = m - -86. Suppose 4*i - l = -5*q, -3*q - q + 4*i - 4 = 0. Which is bigger: 1 or q?
q
Let y = 22.8 - 23. Which is smaller: y or 15?
y
Let q = -1 - -1. Let y = -1 + q. Let v = 0 + 1. Which is greater: y or v?
v
Let z = 12 - 2. Let u = -25 + z. Does u = -14?
False
Let r be (-120)/(-21) - (-16)/(-4). Which is bigger: r or 2?
2
Suppose 0 = -5*l + t + 10, t + 3*t = l - 2. Suppose -y = y - 3*g, -2*y = -l*g. Suppose y = 2*f - 0*f. Are f and 0 nonequal?
False
Let c = 0.3 - 0.2. Let m = 18 - 16.2. Let v = 2.1 - m. Is v smaller than c?
False
Let x be (-1)/(-3) + (-16)/(-6). Let y = x - 6. Is y greater than -4?
True
Suppose 2*t = 3*i - 23, -2 = t - 1. Let b = i - 3. Suppose 15 = b*x + x + l, -x + 3 = 2*l. Is x < 4?
True
Let j be ((-4)/82)/(2/2). Let d(w) = -w. Let x be d(1). Which is smaller: x or j?
x
Let v = 16 + -15.9. Let w = 0 - -0.06. Let i = -0.56 + w. Is i > v?
False
Let n = 2.1 + -2. Let f be -15*(-3)/9 + 15/(-4). Which is bigger: n or f?
f
Suppose 11 = 4*v - 21. Suppose -v*y = -3*y + 5. Let j be (-2 + 1)/2 - 0. Is j at least y?
True
Let d = 9 + -10. Is -0.03 > d?
True
Let t = 20 - 79/4. Suppose 3*g = -2*w - 3*w - 19, 8 = 2*w - 4*g. Let q = w + 1. Do t and q have the same value?
False
Let n = 0.7 - 2.7. Is n < -9?
False
Suppose 0 = 5*k + 2*z - 61, -2*k = -3*z - 12 - 1. Which is bigger: k or 1/9?
k
Let w = 5 + -2. Let d be 4/6 - (-48)/(-18). Let z be (-3 + w)/(d*1). Is z at least -1?
True
Suppose 44 = -4*m + 12. Let v be (-8)/30 - m/20. Suppose 5*l = -3*r - 0*l - 28, -4*r + 4*l = -16. Which is smaller: v or r?
r
Let p = 1/3 + -5/6. Is p at most -1?
False
Let z be (-10 + 1)/(12/(-8)). Let u(q) = -q**2 + 5*q + 6. Let v be u(z). Let f be 2/9 - (-14)/18. Which is smaller: v or f?
v
Let v = -0.45 + -1.55. Is -41 smaller than v?
True
Let n = -956/9 - -107. Which is greater: 0 or n?
n
Suppose h + 0*h + 2*v - 21 = 0, 2*h + 5*v - 46 = 0. Let s = h - 13. Is -3/14 less than or equal to s?
True
Suppose 5*r = 8*r + k, 0 = -r + k + 4. Which is greater: r or 4/33?
r
Let b = -44 + 43. Suppose 5*c = -j + 5, 2*c = 2*j - 4*j + 10. Which is smaller: b or c?
b
Let j = -0.1 + -0.1. Let r = -0.3 - -0.8. Which is greater: j or r?
r
Suppose -34 = -3*v - 2*v - 4*y, 5*y = -3*v + 23. Are v and 6 non-equal?
False
Let t = 21.5 + -19. Are -1/3 and t unequal?
True
Let w be 1/(36/64) + -2. Which is smaller: w or -6?
-6
Let w = -2/59 - 169/236. Let d be (-7)/(-4) + (-3)/4. Which is smaller: d or w?
w
Let p be 5/(-6) - 22/(-33). Is p < -1?
False
Let q = 15 - 14. Let l = -3 + 11. Suppose x - 5*x + 4 = -k, 2*x - l = -k. Which is bigger: q or x?
x
Let s = -13 - -15. Let d be 19/7 + (-12)/(-42). Which is smaller: s or d?
s
Let t(c) = -c**3 + 7*c**2 - 22*c + 15. Let j be t(6). Which is smaller: -80 or j?
j
Let v(l) = -2*l - 11. Let g be v(-11). Which is bigger: 10 or g?
g
Let z = 20.8 - 21. Is 1 not equal to z?
True
Let w = 3.5 + -3. Let y = 0.3 - w. Let n = y - -1.2. Which is smaller: n or -1/6?
-1/6
Suppose 0 = -4*a + 11 + 5. Suppose q = a*q + 69. Let w = q + 16. Which is bigger: -8 or w?
w
Suppose -2*y + y = 0. Which is smaller: 1/4 or y?
y
Suppose 2*d = 4*k + d, -k + 5*d = 0. Suppose i - y + 35 = 5*i, -19 = -2*i - y. Is i < k?
False
Let a be 3 + 0 + 336/(-126). Let j(y) = -1. Let o(r) = r + 5. Let v(m) = -j(m) - o(m). Let d be v(-3). Which is smaller: d or a?
d
Suppose 0 = 3*r + 1 + 2. Let b be 3*1/3 + -12. Let q be b/(-11)*(-2)/(-10). Are r and q non-equal?
True
Let r = 9/25 + -11/25. Suppose -3*x + 5*x = 0. Which is bigger: r or x?
x
Let d(i) = i**3 - i**2 - 14*i + 7. Let l be d(4). Is -1/125 >= l?
True
Let n = 0.2 - 0.1. Let a = 16.6 - 16. Let k = a + -0.5. Is n < k?
False
Suppose 0 = -16*h + 13*h + 3. Is -3/19 at least as big as h?
False
Let 