 s less than or equal to 6?
True
Suppose x - 1 = -m, 3*x = 5*m + 7*x - 6. Suppose -1 - 3 = -m*g. Suppose -u - u - 4 = k, u + g = 4*k. Is k at least -4?
True
Let d be (-1)/2 - ((-8833)/(-110))/(-11). Which is greater: d or 8?
8
Let k(w) = -w**2 + 3*w - 1. Let f be k(1). Let u = -145 - -119. Is u smaller than f?
True
Let d = -44774/1186205 + 24/655. Does d = 0?
False
Let k be (56/(-98))/((-6)/63). Let x(i) = 4*i**2 + 3. Let c(u) = -17*u**2 - u - 12. Let d(v) = 2*c(v) + 9*x(v). Let t be d(2). Which is bigger: k or t?
t
Suppose 15 = 5*g - 3*s, 4 - 24 = -4*g + 4*s. Is g equal to 1/37?
False
Let t = 0.5 + -2.5. Let n = 146.968 + -144. Let b = n + 0.032. Do t and b have different values?
True
Let s be -30*(-2 + (-20)/(-8)). Let g = 22 + s. Is 2 at most g?
True
Let w(a) = 10*a + 26*a**3 - 25*a**3 - 3*a + 8*a**2 + 1. Let r be w(-7). Let i = 127 + -2919/23. Which is greater: r or i?
r
Let p = -59 - -72. Suppose -3*j - 151 = -4*t, -j - 42 - p = t. Which is bigger: j or -54?
j
Let i be (2 + 45/(-10))*2. Let j = i + 26. Is 20 at least as big as j?
False
Let k(x) = 12*x - 13. Let y be k(8). Suppose 0 = 4*g + 4*a + 13 + y, 5*a = 3*g + 80. Are -23 and g unequal?
True
Suppose 4*j = -16, -m = -4*j - 5 - 16. Let k = 6 - -12. Let u = k - 14. Which is greater: u or m?
m
Suppose 10 = -2*l + 2*f, 0 = -3*l - 5*f + 34 - 9. Let p be (-3)/1 + 38/14 + l. Which is smaller: 35 or p?
p
Let m = 0.7 + -66.4. Let l = m - -66. Let h = -5 - 1. Which is smaller: h or l?
h
Let z be (-13)/((-7 - -8)/(-1 + 2)). Let n = -33 - z. Which is smaller: n or -19?
n
Let r = -1.42 - -1.07. Let y = r + -9.65. Is y at least -1/3?
False
Let r(j) = -5*j + 21. Let h(y) = y - 4. Let m(b) = -11*h(b) - 2*r(b). Let f be m(3). Let l be ((-6)/4)/3*0. Is l at most f?
False
Suppose -s = -c + 5, -24*c - 20 = s - 20*c. Is s greater than or equal to -90/11?
True
Let f(y) = -y**2 + 13*y + 136. Let o be f(21). Which is bigger: -38 or o?
o
Let v be (28 + -46)/(-3 - -4). Suppose k - 6*k - 90 = 0. Is k less than or equal to v?
True
Let j = 448 + -364. Which is bigger: j or 86?
86
Suppose c = -2*t - 13, -c = -3*t - 14 - 8. Let w(l) = 2*l**3 + 18 - 6*l + 0*l**3 - 10*l**2 - 3*l**3. Let u be w(-9). Which is smaller: t or u?
u
Let p be 3*(1 + 3 + 10/(-3)). Let v be (0 + 2/(-4))*p. Let f be ((-8)/(-26))/(-4 - -2). Are f and v unequal?
True
Let o be (-228)/16 + (-1)/(-4). Which is bigger: -15 or o?
o
Let z = 213 - 211. Which is greater: 78 or z?
78
Let a = -102 - -28. Let b = 87 + a. Is b at least as big as 0.3?
True
Suppose 5*b = 604469 - 29324. Let o = b - 919061/8. Let x = o - 146. Is 1 at most x?
False
Let r = -13 + 16. Let q be 3 + r + -3 + 1. Let j be -2 - 2*q*-1. Which is greater: 5 or j?
j
Let h = 2.37 - -0.06. Let m = h - 0.43. Which is bigger: m or 0.08?
m
Suppose 0 = 5*q + 7 - 17. Suppose -4*t + 6 = -x, q*t - 12 = x + 4*x. Is t less than 0?
False
Let c(g) = 19*g + 661. Let m be c(-39). Is -70 < m?
False
Let b = 1.57 - 1.712. Let m = 0.058 - b. Is -1 < m?
True
Let k(z) = -z**3 - z**2 - 2*z - 1. Let l be k(-1). Let c = 258 - 171. Which is greater: c or l?
c
Let y = 2057 - 2057.3. Which is smaller: 1.9 or y?
y
Suppose 0 = -4*w + 8, -4*y + 2*w - 6 = 5*w. Is y < -11?
False
Suppose 5 + 20 = -5*y. Let d = y + 7. Suppose 5*q - 22 = -d. Is q bigger than 4?
False
Suppose t + 106 - 25 = 0. Is -82 != t?
True
Suppose 0 = -4*k - 8, q - k = -2*k + 1. Let z be 18/(-2)*10/(-25). Is z >= q?
True
Suppose 4*t - 33 - 23 = 5*d, 0 = -3*d - 5*t - 41. Let s = 1 + -5. Let n be s/(-12)*0 + d. Is n bigger than -11?
False
Let v = 0 + -2. Let x be 21/9 - (-3)/(-9). Suppose -x*n - 12 = 4*n. Is v != n?
False
Let o = 28355/21 + -1350. Let w(j) = -j + 7. Let z be w(6). Which is smaller: o or z?
o
Let z = -15237.726 - -1205.996. Let k = z - -13970. Let d = k + 62. Which is smaller: 1/2 or d?
d
Let b be ((-258)/(-48) - 5)*2/(-3). Is -2/5 >= b?
False
Let n = 1164 + -1163.95. Which is smaller: -1/5 or n?
-1/5
Let p = -1685/2 - -869. Suppose 5*r + 77 = 2*u, -2*u - u = 4*r - 58. Let a = p - u. Which is bigger: 2 or a?
2
Let g = 10 - 25. Let k = -79/2 + 40. Is g at most k?
True
Suppose -55*x + 62 - 7 = 0. Which is smaller: x or 1/1086?
1/1086
Let o = 249 - 248. Is 13/6 at least o?
True
Suppose -2*g + 7*m = 9*m - 2, 0 = 4*m + 8. Is 9 less than g?
False
Let i = -231/10 + 128/5. Let y be -4*((-2)/(-1) - 3). Do i and y have the same value?
False
Let v = -329 - -49687/151. Which is smaller: v or -1?
-1
Let b = -35224372433/637 - -55297299. Let l = b - 144/13. Is 1 less than l?
False
Suppose 4*a + 65 = -a + 4*k, -2*k = 0. Is a >= 0?
False
Let p be (1 + 181)*30/(-60). Are p and -89 non-equal?
True
Let w = 129 - 125. Let p = -0.2 - -3.2. Let j = 3.1 - p. Does j = w?
False
Suppose v - 2*w - 1 = 0, -2*v + 7*v - 33 = -4*w. Suppose v = 2*y + 4*c - 3, -2*y = -3*c - 1. Let z be (24/(-30))/(y/10). Is z at least as big as -9/2?
True
Let n be (-215)/(-5) + 1 - -1. Suppose 2*p - 1 = n. Suppose 0 = -18*a + 17*a - p. Are -23 and a unequal?
False
Suppose -12 = -4*i - 3*u, 0*i + 4*u = 4*i + 16. Suppose -5*d + 374 - 19 = 0. Let m = d - 500/7. Is m less than or equal to i?
True
Let w be (-4)/(-312)*171/10. Let l = w + 2/65. Let v(d) = d - 3. Let t be v(2). Which is bigger: l or t?
l
Let k be (1 - -5)*(-8)/(-3). Suppose 3*n + 3*u + k = 1, u + 9 = -5*n. Which is smaller: n or -2/53?
n
Suppose 241 + 131 = -12*y. Is -29 less than or equal to y?
False
Let x = 140003/2937 - 2/979. Do x and 48 have different values?
True
Let c be (2 + 2/4)*2. Suppose 1 + 9 = -c*g. Let w = -1 + -2. Is g smaller than w?
False
Let a = -161 - -485/3. Let f = -59 - -46. Which is greater: a or f?
a
Let c = 0.482 - 0.41. Let x = 0.028 + c. Which is greater: -3/7 or x?
x
Suppose 0 = -q + 5*y + 51 + 49, -118 = -q - 4*y. Let f = q - 168. Is -58 at least as big as f?
True
Let n = -0.0183 + 80.0183. Let r = 38 + -38. Which is bigger: r or n?
n
Let s be (-68 + -2 + (-5 - -5))*-1. Let x be ((-34)/s - 6/(-21))*-5. Is 2 bigger than x?
True
Let v = 40 + -37. Suppose 4 = -s + v. Which is smaller: s or -1/43?
s
Let n(y) = -y + 3. Let a(m) = -m**2 + 16*m - 24. Let c be a(14). Let t be n(c). Which is bigger: t or 1?
1
Let t = -23.9 - 3.1. Let u = 30 + t. Which is smaller: 2.4 or u?
2.4
Let w(y) be the first derivative of -9 + 18*y + y**2 - 13/3*y**3 - 1/4*y**4. Let q be w(-13). Which is smaller: -7 or q?
q
Let n = -140 - -114. Which is smaller: n or -18?
n
Let r be ((-726)/1210)/((-9)/(-10) - 1). Which is smaller: r or 7/2?
7/2
Suppose -4*h - 73*z + 71*z - 6 = 0, -5*h - 2 = -3*z. Which is bigger: 3/70 or h?
3/70
Let n be (44/(-30)*4)/(13/78). Let u = n + 35. Is u greater than -1?
True
Let j = -17 + 25. Let b = 7.4 + 1.6. Let u = b - j. Is 1/2 at most as big as u?
True
Let a be (-24)/(-9)*(9/6 + 3). Let q be (8/(-3))/((-2)/a*4). Is q < 6?
True
Let w(x) = x**3 - 7*x**2 - 24*x + 42. Let s be w(12). Which is smaller: s or 945/2?
945/2
Let z(a) = -3 - 5*a + 10*a - 12*a. Let t be z(-5). Let n be (56/t)/((-5)/4). Is n less than -2?
False
Suppose -1 = -296*n + 295*n. Is n > 1/1314?
True
Let m be -3 + 2 + -1 + -9 + 18. Suppose m = -11*b + 370. Which is smaller: b or 32?
32
Let b = 51 - 17. Is b < 37?
True
Let j = 0.007 + -0.016. Let l = -7.009 - j. Are 0.2 and l non-equal?
True
Suppose -3*j + 8*j = 5*h - 15, -h - j + 5 = 0. Let r be 54/h + 2/(-4). Let p = -41 + 53. Which is smaller: r or p?
p
Let z(m) be the first derivative of 2 + 1/2*m**2 + 14*m. Let n be z(-14). Is -1 >= n?
False
Suppose 24 = 8*b - 14*b. Let g be (-5)/b*14 + 10/(-20). Suppose -3*y + 73 - 22 = 0. Is y greater than g?
False
Suppose 37*t = 34*t - 276. Which is smaller: t or -90?
t
Let g(t) = -t**3 + 8*t**2 - 12*t + 4. Let v be g(6). Suppose 0 = v*i - 7*i. Let r(x) = x**3 + x**2 + 4. Let z be r(i). Which is greater: z or 2?
z
Let x = -371/11 - -69715/2068. Which is smaller: x or -1?
-1
Let z = 9 - 36. Let a be z/63 + 31/7. Suppose -a*g + 6 = -2. Are g and 0.3 nonequal?
True
Let u = 96.086 + -96. Let g = u - -0.014. Let o = -0.5 - -0.47. Is g bigger than o?
True
Suppose -18 = -5*b + 17. Suppose -11*l + b*l = -8. Is 26/5 less than l?
False
Let m = -13/10 - -4/3. Are 2/3 and m nonequal?
True
Suppose -5*a - 7*p + 2*p = -5, -2*p = a + 4. Let o be 3/(6/20) - -1. Suppose 9*s - 4*s - 17 = 2*l, l - o = -4*s. Which is smaller: l or a?
l
Let u be (1 + (-137)/(-5))*(