k?
False
Let c = 6 + -1. Let p be -5*4/c*-1. Suppose 4 = 2*w - 2. Is w >= p?
False
Suppose -o - 2*o = -3. Is -1/8 less than o?
True
Let i = -5.8 + -1.2. Let k = i - -6.95. Which is smaller: -2/5 or k?
-2/5
Suppose -v + 2*s - 6 = 0, 0 = 2*v + s - 2 - 6. Let w be (-2 - (0 + 1))*-3. Suppose -v*o + 5*o - w = 0. Which is smaller: o or 2?
2
Let r(m) = -m**3 + 6*m**2 - 5*m + 3. Let l be r(5). Suppose 2*o - 5*b = 10, o - b - 5 = -l. Suppose 4*d = -d. Is o at least d?
True
Let f(n) = n**2 - 7*n + 5. Let k be f(4). Suppose 0 = 2*j + 3*j + 35. Is j greater than or equal to k?
True
Let n be 40/6 + (-14)/21. Let m be ((-18)/(-27))/((-4)/n). Is 4/3 smaller than m?
False
Let w be ((-18)/(-4))/((-2)/(-4)). Suppose -5*l + w = a - 14, -4*l = -5*a - 1. Is 3 < a?
False
Suppose -k + 2*n - 1 = 0, 5*k + 3*n = 4*n + 22. Let j = 1 - -4. Suppose 0*q - k = j*q. Is q less than -2/13?
True
Let b = 3.2 - 3.33. Let f = -0.1 - -0.13. Let j = b + f. Is j greater than -0.1?
False
Let p = -1.16 + 0.16. Is 0.5 equal to p?
False
Let v be 1*-5*(-6)/10. Let s = -5 - -7. Is v at least s?
True
Let v = 2 + 1. Let r be 4/(-14) + 0/v. Is r less than -0.2?
True
Let g(w) = w**2 + w. Let d be (-4)/(-3)*12/(-8). Let t be g(d). Is t bigger than 3?
False
Let i be (-7)/5 - (-12)/(-20). Are i and 3 unequal?
True
Let z = 50/7 - -431/21. Suppose -v + 34 = -2*h, -4*v + 5*h = 7*h - 106. Let r = z - v. Is r != 0.1?
True
Let a(t) = -t**3 + 4*t**2 + 6*t + 2. Let j be a(5). Does 7 = j?
True
Let k(t) = t**2 + 8*t + 4. Let d be k(-6). Let m(c) = 7*c**2 + 7*c - 9. Let l(y) = -y**2. Let w(v) = -6*l(v) - m(v). Let a be w(d). Which is smaller: a or -2/7?
-2/7
Let v = 0.35 + 17.65. Let f = -18.1 + v. Is 0.4 bigger than f?
True
Let u = 3 - 1. Suppose -3*f + 3*q = 7 + 5, u*f - 5*q = -8. Is -3 bigger than f?
True
Let r(s) = s - 13. Let a be r(9). Let x = a - -4. Suppose -2 = -w + 3*w. Is w smaller than x?
True
Let k be (4/(-16)*-1)/(3/15). Which is smaller: 0.1 or k?
0.1
Let w be (2 - 0)/(6/9). Suppose -2*r - r = w. Which is smaller: 1/17 or r?
r
Let x = 0.179 - -0.021. Which is smaller: -1/6 or x?
-1/6
Let z be (-64)/(-6)*(-21)/(-14). Is 16 less than or equal to z?
True
Let h(n) be the third derivative of n**5/60 - n**4/8 - n**3/2 + 2*n**2. Let u be h(4). Suppose -5*c + 0*c = -3*x - 13, 0 = -4*x - 2*c. Which is smaller: u or x?
x
Let v be (6/31)/(9/3). Is v < -3?
False
Suppose 12 = -5*u - 3. Let b be (-95)/(-75) - (-2)/u. Which is smaller: 0 or b?
0
Let j = 26 + -25. Is 1 at most as big as j?
True
Let d be (-4)/(-10) + (-476)/665. Which is bigger: d or 0?
0
Let q = 0.04 - -0.13. Let t = q - -0.03. Let n = 0.2 + -0.3. Do t and n have the same value?
False
Let u be -1 + (-7 - -2 - -3). Let b be (-2 - u)/((-2)/(-2)). Let c be (b/2)/(2 - 0). Which is bigger: c or 0?
c
Let q = 0 - 3. Let b = -35 + 5. Let m be 4/10 - 3/b. Which is smaller: q or m?
q
Suppose 7 - 23 = -3*z + l, z + l = 0. Let s = 2 + 2. Suppose -z*a = -0 - s. Is 2/5 at least a?
False
Let q = 47.3 - 47. Which is smaller: -6 or q?
-6
Let c = 182 - 1451/8. Let y = c + -1/8. Which is greater: y or 0?
y
Let j = -7 + -1. Let o = j - -7.7. Let p = o + 0.4. Is -1/3 > p?
False
Let i = 0.2 + -0.3. Let h(n) = -n**3 + 4*n**2 + n - 3. Let p be (-3 + 2)/(-1) + 3. Let a be h(p). Which is bigger: i or a?
a
Let y = 27 + -42. Is -1 greater than or equal to y?
True
Let n be -2 + ((-24)/14)/(-1). Let s = 3 + -1. Let h be (-1)/((1 - s)*1). Which is bigger: h or n?
h
Let k be 3 - (3 + (-531)/(-6)). Suppose 425 = -6*f + f. Let g = f - k. Is g equal to 5?
False
Let b be ((-10)/(-4))/(3/6). Do b and 4 have the same value?
False
Let v = 97 + -391/4. Let m(o) = -o**3 + 8*o**2 - 8*o + 6. Let u be m(7). Is v < u?
False
Suppose 1 = 3*o + 4. Let z = 10.1 - 11. Let b = z - 0.1. Is o >= b?
True
Let b(n) = -n**2 + 5*n + 6. Let d be 0 + (6 + 2 - 0). Suppose m - a = d, 0*m = 4*m + a - 22. Let f be b(m). Is 3 greater than or equal to f?
True
Let m be (11/55)/((-1)/2). Let c(g) = -g**3 + 6*g**2 - 4*g - 3. Let r be c(5). Suppose 0 = 2*j - r*q - 6, -7 - 5 = 4*j + 4*q. Which is smaller: j or m?
m
Let r(q) = -5*q + 4*q + 6*q**2 + q - 4*q - 6 - q**3. Let c be r(5). Which is smaller: -2/15 or c?
c
Let a be (0 - -9)/(12/8). Suppose -7*c + a*c = 1. Do c and -2/3 have different values?
True
Let j = -0.17 + -0.03. Which is smaller: j or -3?
-3
Let y = 1114119 - 25628760/23. Let o = 175 + y. Which is smaller: -1 or o?
-1
Let h = -5.4 - -6. Let x = h + -0.59. Which is greater: x or 1?
1
Suppose -3*l + 3 = 0, -3*q - 2*l = -3 + 7. Let j = -3 + q. Let f be ((-20)/(-25))/((-1)/5). Which is smaller: f or j?
j
Let t be 100/(-6) - (-6)/9. Suppose -z + 8 = 4*a - 2*a, 0 = -5*a - z + 26. Let l be t/6*9/a. Is l bigger than -3?
False
Let r = -1.07 + 4.07. Is 7 <= r?
False
Suppose g = 5*g - 2*k - 64, 0 = -k + 4. Let o be 4/g - (-102)/27. Let r = o - 1. Is r less than 3?
False
Suppose 4*j - 2*j = -2. Is j less than -4/9?
True
Let x = -2.2 + -0.8. Let o = x + 2.6. Let l = -0.4 - o. Are -1/2 and l nonequal?
True
Let d = 137/3 + -45. Let z(g) = g**2 - 4*g + 4. Let v be z(4). Which is smaller: v or d?
d
Let l(t) = -4*t - 10. Let v be l(-6). Let p = v - 13. Let h be 1 + 0 - (-6)/(-7). Which is smaller: p or h?
h
Let f(i) = -i**3 - 6*i**2 + 7*i - 4. Let l be f(-7). Suppose -4*d - 10 = d. Which is bigger: d or l?
d
Let s = 1523 + -86813/57. Let a = s + 124/285. Let u(n) = n**2 + 2*n - 4. Let q be u(-3). Which is bigger: q or a?
a
Let i = -29/30 + -7/10. Let l be 6/27 + (-7)/(-9). Let u = i + l. Is 0 != u?
True
Let p be ((-8)/(-20))/((-2)/(-10)). Suppose c - p*c = 0. Let g be (6/10)/1 - c. Is 0.1 <= g?
True
Let t = -0.046 + -0.124. Is t != 0.2?
True
Let f be -2 + -1 - (2 - 2). Let n be 2*(15/(-6))/(-1). Suppose 0 = -o + n*o + 8. Which is smaller: o or f?
f
Let o be (-269)/1190 - 2/(-4). Let b = o + 1/85. Let p = -1 + 1. Which is greater: b or p?
b
Suppose -2*l - 4*t = -0*l - 28, 0 = -3*l - t + 22. Let c be (110/30)/(2/l). Which is smaller: c or -1?
-1
Let t be -3 - 24/(-20) - -2. Which is smaller: 0.1 or t?
0.1
Let a(z) = z**2 + 8*z + 5. Let d be a(-8). Suppose 14 = -d*m - 1. Let c = -10 - -8. Is c less than m?
False
Let x be ((-32)/4)/(-2) + -3. Is 1/29 at most x?
True
Suppose 0 = -6*z + 4*z, 4*z = -5*p - 40. Let b be (-57)/95*30/2. Is p at most as big as b?
False
Let o = -0.03 + 0.23. Which is smaller: -0.2 or o?
-0.2
Let s = 12.5 + -18. Let l = -3 - 2. Let i = l - s. Which is smaller: 1 or i?
i
Let a = -0.026 + -0.054. Is a not equal to -1/3?
True
Suppose k + 0 = 6. Suppose 0 = 3*d - 5*d - k. Is -4 at most d?
True
Let i(r) be the second derivative of r**5/20 - r**4/3 + r**3/3 + 2*r**2 + r. Let w be i(3). Is -2/13 greater than w?
False
Suppose -2*u + 62 = 5*j, -j + 19 = -3*u - 7. Let l = j - 17. Is l less than or equal to -5/3?
True
Let x(u) = -u**3 - 9*u**2 - 8*u + 1. Let j = -9 + -4. Let v = -21 - j. Let h be x(v). Which is bigger: h or 4/5?
h
Let g = -3 + 3. Let q be 12/10*10/4. Let w = 4 - q. Which is bigger: g or w?
w
Suppose -y + 5 = 5*h, 0 = -4*y + 5*h - 41 - 14. Which is bigger: 1 or y?
1
Suppose -4*m - 28 = -3*k, k = 5*m + 17 + 29. Which is greater: m or -9?
-9
Let y = -0.31 - 2.69. Let r = -1.9 - -2. Which is smaller: r or y?
y
Let s = -56/3 - -19. Let l = -67 + 67. Is l less than or equal to s?
True
Let p(b) = 6*b - 45. Let o be p(9). Are o and 14 unequal?
True
Suppose -5*g = -0*g. Suppose -3*y + o = 5, g = 3*y - 6*y - 5*o + 7. Let s = -3/2 + 0. Which is smaller: s or y?
s
Let o(y) = 2*y + 3. Let b be o(-2). Suppose -4 = -2*u + 2. Let j = u - 2. Is j at least as big as b?
True
Let h(y) = -y - 3. Let s be h(-4). Suppose -4*g + 20 = -3*d + 7*d, 3*d = g + 11. Which is smaller: d or s?
s
Let f = 10 - 9. Which is smaller: 0.04 or f?
0.04
Let l = -44 - -29. Let t = l + 8. Is t <= -1/3?
True
Suppose -4*f + r = 32, f - 3*r + 33 = -2*f. Let z(o) = -6*o**3 + o**2 + o - 1. Let s be z(1). Which is smaller: s or f?
f
Let h = 41 - 45. Is -8 less than or equal to h?
True
Suppose 2*w - 55 = 3*t, 4*t = -t - 25. Is w smaller than 19?
False
Let t = 16/57 - -1/19. Let l = 3 - 2.7. Let s = l - 0.3. Which is smaller: s or t?
s
Let r(z) = -2*z + 2*z - 3 - 2*z. Let t be r(-3). Suppose -t*f = 3 - 0. Is 0 at most f?
False
Suppose y = 2*y + 1. Suppose 1 - 5 = 2*z. Does z = y?
False
Let z = -0.03 - -111.03. Let a = 114.04 - z. Let m