s greater: 1/9 or d?
1/9
Suppose -4*y - p = -29, -6 = 2*y + 3*p - 33. Suppose -y = 2*r + 14. Let d be (6/2)/(6/(-20)). Is d bigger than r?
False
Suppose -a + 4*a = 0. Suppose -x - x - 2*m + 4 = a, 2*x - m = 1. Which is smaller: x or 1/3?
1/3
Suppose -19 - 5 = -2*o. Let s be (-22)/o - 21/(-14). Is 1/11 equal to s?
False
Let u = 4 - 4. Let s be (u + 2)*(-6)/(-12). Is s smaller than 9/5?
True
Let d(o) = 2*o**2 - o - 1. Let c be d(-1). Let i be (-6)/10 + c + 2. Is i at least as big as 3?
True
Let k = 0.122 + -0.152. Is -4 < k?
True
Let b = -123 + 124. Which is smaller: 1/9 or b?
1/9
Suppose -4 = 2*c - 8. Let s be 1 + 3 + (0 - -9). Suppose -s = c*l - 5. Is -4 equal to l?
True
Let f(l) = -l**3 + 3*l**2 + 6*l - 4. Let p be f(4). Suppose 4*v = 2*r + 452, -p*v + 24 = 4. Let z be (-232)/r + 0 + -1. Is 0 > z?
False
Suppose 0 = -0*n - 2*n + 12. Suppose -2*q + n*q + 8 = 0. Let y = -230/171 + 2/171. Is y smaller than q?
False
Let z be ((-2)/(-4))/((-3)/(-36)). Suppose -z = -3*a + 5*a + 2*s, a - 5*s = 27. Suppose -v = 4*l + 3*v - 24, 0 = -a*l + 4*v - 18. Which is smaller: 2/3 or l?
2/3
Let y be -1*(4/(-4) - -1). Let v = -2683/18 + 149. Are y and v unequal?
True
Let q = 13 - 10. Let b = -2 + 1. Let u = b + 2. Which is smaller: q or u?
u
Suppose 49 = 5*c - 26. Suppose -q + 13 = -4*m, c = 5*q - 2*q. Let k be m*(-3)/(2 + 4). Which is bigger: k or -1/4?
k
Suppose -4*w + 3*s = 54, -3*s = 4*w + 10 + 56. Let k be (1 - w/(-18))*14. Which is greater: 3 or k?
3
Let c = 3.91 - -0.09. Let r = c + -6. Which is bigger: r or -3/2?
-3/2
Suppose -2 = -0*p + p, 3*c = -5*p + 5. Let v = 2 - c. Let d be (2/(-8))/(v/(-4)). Which is smaller: d or -1/2?
-1/2
Suppose -9 = -3*o - 3. Let k(t) = 2*t**2 - 2*t + 1. Let v be k(o). Suppose 0 = -4*x - v*l - 22 - 9, 0 = 3*x + 2*l + 18. Which is smaller: x or -5?
-5
Let o be (0 + 0)*(-3)/(-9). Suppose a = 1 - o. Which is smaller: a or 0?
0
Let d be 10/(-30) - 28/(-3). Let x = 17/5 + -143/45. Is x greater than or equal to d?
False
Let k(c) = -c + 18. Let j be k(18). Is j at most as big as 1?
True
Let b = -9 - -3. Let j = b - -2. Which is bigger: 2/5 or j?
2/5
Let p = 9.5 - 10. Let q = p + 0.4. Is -0.1 at most as big as q?
True
Suppose 0 = 3*j + 4*m - 28, -3*j + 0 = -2*m - 4. Let i(f) = f**2 - 5*f + 1. Let u be i(j). Is u greater than or equal to -3?
True
Let b be (8/(-16))/((-6)/8). Is b != -3/11?
True
Let f be 8/12*6/2. Is -1 < f?
True
Let t = -50 - -49.75. Which is smaller: t or 1?
t
Suppose 0 = -g + 4*b - 7 - 4, 0 = -4*g + 3*b - 5. Suppose 2*h - 1 = -3*h + t, -2*h - 2*t = 2. Which is greater: g or h?
g
Let w be (-1)/(-2)*(-198)/(-3). Let j = 125/2 + -95. Let q = j + w. Which is bigger: q or 1/3?
q
Suppose -18 = -2*y - 2*y - 5*f, 0 = y + 3*f - 8. Let q be (-2 - -1 - -19)/y. Is q bigger than 9?
False
Let c = 5/11 - 19/66. Let y be (-40)/30*(-18)/4. Suppose -q = -y*q. Is q < c?
True
Let x = 102 - 405/4. Suppose 0 = 2*w + 3*w. Are x and w unequal?
True
Suppose -4*m = -6 + 26. Let l be 1 + m/((-10)/4). Which is smaller: l or 2?
2
Let m = 2 - 1.8. Let c = -2.27 - -0.17. Let o = c + 1.1. Is m at least as big as o?
True
Let o be 0 - 2081*1/(-21). Let y = o + -99. Which is smaller: 1/2 or y?
y
Let u(n) = -n**3 + 23*n**2 - 2*n + 42. Let c be u(23). Let m = -1 - 5. Which is bigger: c or m?
c
Let d = -35 - -34.91. Which is bigger: 1/2 or d?
1/2
Let t be 4/(-12) - (1 - 20/6). Is t greater than or equal to -3?
True
Suppose 0 = -2*s - l - 55, 6*s + 5*l = s - 145. Are s and 0 non-equal?
True
Let l = -55/306 + 2/153. Is l greater than or equal to 0.3?
False
Suppose 5*q - 236 = -241. Is q greater than or equal to -2/153?
False
Let d = 14 + -19. Suppose 0 = 3*h + 5 + 7. Is d < h?
True
Let c be 40/88 - (-1 - -2). Which is smaller: c or -1?
-1
Let v = -1 - -2. Let l = -3/2 + v. Which is smaller: l or -2?
-2
Let r = 51/7 + -429/56. Which is smaller: -2/3 or r?
-2/3
Suppose 39 = 5*n + 4*u + 4, -3*u = 0. Suppose 0 = -n*g + 4*g. Let w be 1/(-6) + 3/6. Is w less than or equal to g?
False
Let x(r) = -r**3 - 12*r**2 + 12*r - 10. Let o be x(-13). Are o and 3/4 nonequal?
True
Suppose -z + 6*z + 15 = 0. Is z smaller than -2?
True
Let d be 10/35 + (-30)/7. Suppose -4 = 5*i + 11. Which is smaller: i or d?
d
Let z = 0.73 + -0.6. Let b = 0.03 - z. Which is smaller: b or 12?
b
Suppose 1 = 4*y - 11. Suppose y*g = g. Suppose g*t - 3*b + 3 = -2*t, 5 = -3*t + 4*b. Which is smaller: t or -2?
t
Let u = 18 + -44. Let r = 16 + u. Which is smaller: -1 or r?
r
Let t(j) = 5*j + 1. Suppose 0 = -5*f - k - 9 - 1, -2*f - 12 = 2*k. Let l be t(f). Which is bigger: l or -2?
-2
Let i = 3788 - 34010/9. Which is smaller: i or 9?
9
Let x be -2 - (12/54 + (-46)/45). Let k = -0.3 + 0.4. Is x less than or equal to k?
True
Let u = 7 - 4. Let p(a) = a**2 - 2*a - 1. Let i be p(3). Which is greater: u or i?
u
Let b = -1.2 + 0.2. Let m = 3 + -3. Which is greater: b or m?
m
Suppose 2*k - 40 = -2*k. Suppose 5*d + 0 = k. Suppose -2*o + 2*n - 4 = 0, 2*o + 0 = -d*n + 16. Is o not equal to 2?
True
Let w be (1 - -13)*5/40*-4. Let b(a) be the second derivative of a**5/20 - a**4/3 + a**3/6 - a**2/2 + a. Let g be b(3). Is w less than g?
False
Suppose 2*n = -2*m + 50, -n + 19 = 2*m - 4. Suppose 8*z = 11*z + n. Is -10 less than or equal to z?
True
Suppose 2*q = -3*c - 13, c - 12 = 3*q + 2. Let w(o) = -o**2 - 10*o - 17. Let b be w(-8). Let s be b/(-1)*(-14 - -14). Do s and c have different values?
True
Suppose y + 1 = -3*r, 3*y + 0*y = 2*r - 3. Which is smaller: 9/4 or y?
y
Let b = -0.1 - -0.55. Let c = b - 0.05. Is c > -2/3?
True
Let k be (-2)/(-28)*-8*7/(-2). Suppose -v - 4 = -3*v. Is v less than or equal to k?
True
Let h = 385604/5 + -77629. Let v = -506 - h. Let m = 67 + -66. Is m >= v?
False
Let j = 0.8 + -0.79. Let y = -2 - -2.01. Let s = j - y. Which is smaller: s or -1?
-1
Let o = -11.6 - -13. Let h = o + -2. Is h > 2?
False
Suppose -4*i - 3*f + 222 = 0, -5 = -4*f + 3. Suppose 4*j - j = -i. Let u be j/12*(-1)/3. Is -1 greater than u?
False
Let k be 2/(-4) - 81/(-138). Which is smaller: 1 or k?
k
Let m(z) = 3*z - 12. Let s be m(4). Is s at most 2/45?
True
Let v be (0 - -1)/((-3)/(-9)). Suppose -3*p + 8 = -p. Which is bigger: v or p?
p
Let n be -3 + -2 - (-4 - -2). Let f = 8 - 13. Is f at least n?
False
Let x be (-27577)/220 + (-2)/5. Let o = -125 - x. Do o and 1 have different values?
True
Let y be (-16)/4*75/(-2). Is 150 less than y?
False
Let o(g) be the third derivative of g**5/60 - 5*g**4/24 - 4*g**3/3 - g**2. Suppose 18 = 4*h - 6. Let w be o(h). Which is smaller: w or -1/2?
w
Let m(l) = -3*l - 11. Let i be m(-4). Which is bigger: 0.17 or i?
i
Suppose -4*f + 8 = -0*f. Which is bigger: 3/2 or f?
f
Let r be (-1)/5 + (-48)/(-15). Is 4 < r?
False
Let c be 2/(6/(-135)*3). Let y be (c/(-10))/((-1)/(-2)). Is 4 equal to y?
False
Let c = -10.28 + 0.08. Let i = c + 10. Which is greater: i or 2?
2
Let o(l) = -l - 4. Suppose 4*j = 8 - 32. Let h be o(j). Which is bigger: 3 or h?
3
Let b = 0 + 0. Suppose -13*h + 8*h = b. Which is smaller: 2/3 or h?
h
Suppose 5*b - 31 = p, 0*p - 3*p = -3*b + 33. Let r = p - -2. Which is bigger: r or -3?
-3
Let z be (1 + 19)*(-4)/(-10). Do 5 and z have different values?
True
Let q be (-374 - -1)/((-90)/4). Let k = q - 84/5. Which is bigger: 0 or k?
0
Let o be 1/(-2)*(1 - 5). Let u = o - 3. Let t be (-1 + 4)*(24/9 + -3). Are u and t nonequal?
False
Let q = -2/59 - 173/118. Is -3 bigger than q?
False
Suppose 2*j + 2*r = 3*j + 13, -3*j - 5*r = 39. Which is smaller: j or -7?
j
Let t = 10 + -11. Let f = 357967/1975221 - -2/34653. Let u = f - 4/57. Are t and u equal?
False
Let d = -0.1 - -1.1. Let o(z) = z**3 - 4*z**2 - 8*z + 10. Let p be o(5). Which is smaller: p or d?
p
Let f = 17 - 17.03. Let h = f - 0.97. Which is smaller: -8/7 or h?
-8/7
Suppose -2*s = -p + 19, -2 + 1 = -2*s - 3*p. Is -8 != s?
True
Let s(l) = l**2 - 5*l - 31. Let z be s(9). Which is greater: 27/7 or z?
z
Let p = 5 - 1. Suppose -p*l - 2 = -2*w, -w - 2*w + 11 = 2*l. Is l <= 2/21?
False
Let a(f) = f**2 + 2*f + 1. Let y be a(-1). Is y greater than or equal to 0.25?
False
Let h be 16*(-6)/(-36)*-3. Is h at least -1?
False
Let g = 4043/7 + -574. Is 5 >= g?
True
Let g = -0.044 + -3.956. Is -3 at least as big as g?
True
Suppose 4*z - 2 = 14. Suppose -7 - 5 = t + 3*y, -y = 4*t + z. Let m be t - (-1 + 2 + -2). Which is smaller: 2