). Is p < s?
False
Let v be 12/187 + (-4)/22. Suppose m = -5*q + 1, 0 = -2*q + 6*m - m - 5. Which is smaller: v or q?
v
Let z(p) = -p**2 - 8*p + 1. Let h be z(-8). Let i = 8/27 + -2/9. Which is smaller: i or h?
i
Let l = 54.98 - 54. Let c = l + 0.02. Which is bigger: c or 0?
c
Let q be (-1)/(-5) + 17/(-51). Let g be 2*((-5)/(-2))/5. Which is smaller: q or g?
q
Let u be 0 + -1 - 1/(11/4). Which is greater: u or -1?
-1
Let v(a) = a**2 + 9*a. Suppose 4*q + 23 + 13 = 0. Let w be v(q). Which is smaller: 1/5 or w?
w
Let g be (20/6)/(3/246). Let z = -278 + g. Is -5 less than z?
True
Let w = 125633/104 - 1208. Is 0 >= w?
False
Let i = 0 - 0. Let a be ((-2)/(-24))/(3/(-160)). Let x = -449/99 - a. Which is smaller: x or i?
x
Suppose -5*n + 5 = -0*n, 0 = 3*z - 5*n + 5. Let f = 329 + -6249/19. Which is smaller: f or z?
z
Suppose 0 = -5*k - h - 3*h - 28, 3*h + 26 = -5*k. Let l = k - -2. Let r be (l/(-8))/((-1)/(-4)). Which is bigger: r or 2?
2
Let y = 2 - -4. Let b be (-8)/18 + y/9. Which is greater: 1 or b?
1
Let t = 0.21 - -0.89. Let u = 1.2 - t. Do u and 0.1 have different values?
False
Suppose 0*p - 27 = p. Let f = 161/6 + p. Which is bigger: 1 or f?
1
Let l(v) = -v**2 - 7*v + 7. Let n be (-2)/(-1) + (2 - 1). Suppose -n = 5*q - 13, 4*q = -2*t - 8. Let i be l(t). Is -4/7 bigger than i?
True
Let y = 0.091 + 1.909. Which is greater: -7.4 or y?
y
Let d = 128 - 133.1. Let n = d - -5. Let j be (5/25)/(3/5). Do n and j have different values?
True
Let v(r) = -r + 10. Let f be (-1)/(-4) - 105/(-12). Let a be v(f). Let p = 836/7 + -119. Which is greater: a or p?
a
Let o be ((-128)/(-12))/((-14)/(-6)). Let r = -34/7 + o. Let t = -2 - -3. Which is greater: t or r?
t
Let q(a) = 14*a - 1. Let s be q(-3). Let k = s + 31. Let g be 3/12 - (-3)/k. Does g = -1/11?
False
Let q be 1 + ((-291)/73 - -3). Is 1 at most q?
False
Suppose r = n - 2, -5*n - r + 29 = 7. Suppose 0 = -5*i + n*i + 1. Let y be i + 1/2 + -2. Is y at most 2?
True
Let i(d) = d - 3. Let m(n) = n**2 + 8*n - 3. Let v be m(-9). Let j be i(v). Let h = j - 4. Is -2 equal to h?
False
Let h = -2348.21 - -2364. Let v = h - -0.21. Which is smaller: -2/5 or v?
-2/5
Let k be (-84)/18 + (-2)/(-3). Is -1/2 bigger than k?
True
Let w = 1.4 + -0.4. Let y = -2 + w. Let d = -1.2 - y. Which is smaller: d or 0.1?
d
Let m be 0 + (-468)/20 - 2. Let z = -1387/55 - m. Let s = -1 - -2. Which is smaller: s or z?
z
Let t(r) = 43 + 7*r - 56 + r**3 + 12*r**2 + 2*r. Let h be t(-11). Which is smaller: h or 10?
h
Let a(k) = k**3 + 2*k**2 - 2*k + 3. Let x be a(-3). Is x less than 2/31?
True
Suppose -3*l + 2*t = 1, 2*l + 3*l - 5*t = 0. Which is greater: -10 or l?
l
Let h be (1*-1*1)/3. Suppose -15 = 5*y, -3 = -5*k + 2*k - 3*y. Suppose -5*u + 25 = 5*r, u - 16 = -k*r - 2*u. Which is greater: r or h?
r
Suppose -l = -3*m + 11, -3*l - 13 = -2*m - 1. Let h = -2 + 1. Let a = l - h. Do -1 and a have the same value?
True
Suppose -13*q - 54 = 50. Which is smaller: q or -6?
q
Suppose 4*u - 15 = a, 0 = 4*u + 5*a - 0 + 3. Is u greater than or equal to 2?
True
Suppose 4*p + 20 = 2*k, -3*k + 17 + 16 = -3*p. Let m be 3/k + (-58)/168. Which is greater: 0 or m?
0
Let a be ((-2)/(-3))/(7/84). Is 8 at least a?
True
Let a be (2 - 10/4)*-2. Let u be (-158)/(-60) + (-5)/2. Does a = u?
False
Suppose 0 = -t + 3*t - 4. Let g be 1/((-1)/t*-2). Which is greater: g or -2/11?
g
Let a = 0.9 + -0.4. Let p = 1 - a. Let q = -0.3 + p. Is -0.1 not equal to q?
True
Suppose 13*p + 320 - 320 = 0. Let c(f) = 16*f**2 - 1. Let s be c(-1). Let o be s/(-9) - 1/3. Which is smaller: o or p?
o
Let n be (-5)/36*32/(-10)*-5. Is n at least -1?
False
Let o(a) = 5*a**2 - a - 8. Let x(k) = 6*k**2 - 2*k - 9. Let d(y) = -5*o(y) + 4*x(y). Let z be d(-5). Suppose 3*p = 2*p - 5. Is p >= z?
True
Let a = 1.3 - 1.1. Which is greater: a or 4/15?
4/15
Let h = 9 - 5. Let m = h + -6. Do m and -1/2 have the same value?
False
Let c = 0.2 - -4.8. Let o = 4 + -2. Let s = c - o. Is s equal to -2?
False
Let n be (-7)/(-2) - 10/20. Are 1 and n nonequal?
True
Suppose -5*j = -4*s - 0*j + 65, s - j = 17. Let f be 16/s - (-2 + 3). Let h be 0 + 2/2*1. Which is greater: h or f?
h
Let a(s) = 2*s - 10. Let n be a(4). Is n at least 3?
False
Let d be 0 + (-22 - -2)/2. Let j(u) = u + 9. Let z be j(d). Which is smaller: z or 1/5?
z
Let t = -16.9 + 17. Which is bigger: t or 20?
20
Let a be -2 - -4 - (-22)/(-8). Let q = -7 + 10. Suppose 0 = 2*h + q*h. Which is bigger: h or a?
h
Let v(n) = -12*n + 2. Let o be v(3). Which is smaller: -32 or o?
o
Let u be -1 + 2 + 5*-2. Is -9 greater than u?
False
Let v be (-22)/(-4) + 3 + 2/(-4). Let t(z) = -z**3 + 6*z**2 - 4*z + 2. Let b be t(5). Is b less than or equal to v?
True
Let s = -22 - -27. Which is greater: 6 or s?
6
Let g be -2*2/(-12)*27. Is 8 greater than or equal to g?
False
Suppose 5*f = -f - 12. Let m = 53 - 323/6. Which is smaller: m or f?
f
Let r = -7 + 12. Suppose 5*g - r = 5, 3*s = -4*g + 5. Let m(p) = -p**3 + 6*p**2 + p - 8. Let b be m(6). Is s at most b?
False
Suppose 5*q - 2*g + 17 = 0, -5*g + 2 = -3*q - 12. Are -2 and q non-equal?
True
Suppose 0 = 6*t - 10*t - 16. Let o be 0/(2/t*-2). Is 0 at least o?
True
Let w = -33 + 33. Is 7/11 at most as big as w?
False
Let v be (-2)/(2 - 108/51). Let o = v - 2. Let w be (-3)/o*-11 - 2. Is w < -1?
False
Let s(n) = n**3 + 3*n**2 - 3. Let k be s(-2). Let a be (2/(-26))/((-2)/2). Is a <= k?
True
Let t be ((3/(-14))/3)/1. Which is bigger: t or -1?
t
Let v = 2 - 2. Let l = v + 5. Suppose -l*n = -2 - 3. Which is bigger: n or -1?
n
Let j be 2 - ((-82)/(-21) + -2). Let f = j - 3/7. Is f smaller than 0.3?
True
Suppose 2*f + 4 = -2*f. Let z = -1.7 + 1.77. Let q = 0.17 - z. Is f < q?
True
Suppose -5*c - 115 = g - 46, 4*g = c - 3. Which is bigger: c or -12?
-12
Let g = 2 - -1. Suppose 0 = 3*b + g*p - 45, p = -4*b + b + 43. Suppose 2*u - b = -3*d, 0 = 2*d + 3*u - 18 + 2. Which is greater: d or 3?
3
Let r = 0.7 + 9.3. Let k = -30 - -22. Let c = k + r. Which is bigger: -2 or c?
c
Let u = -1 + 3. Let z be u*(2 - (-2)/4). Is z less than 5?
False
Let z = -87/2 - -49. Suppose 2*t = -x - 1, -4*x = -5*t - 2 - 46. Which is smaller: z or x?
z
Let p(m) = -2*m - 7. Let k be p(-7). Let u be (-65)/k + 4/14. Let i be 11/(-12) + (-6)/u. Which is smaller: i or 1/2?
i
Let n(y) = -y + 9 + 1 + 1 - 13. Let d be n(-11). Is 8 smaller than d?
True
Let o = 0.16 + 0.94. Let b = -1.8 + o. Is 0 < b?
False
Let n(k) = -3*k**2 - 2*k + 1. Let q be n(1). Let i be 6/(-22)*q/(-6). Suppose -5*y = -4*y + 1. Is y equal to i?
False
Let a = 14 + -20. Let x = -8 - a. Let m be (2 - 0)/(5 - -1). Which is bigger: m or x?
m
Let d be (-2)/7 + (-1615)/(-140). Is 12 <= d?
False
Let w = 11264494046/624477 - -2856/29737. Let s = -18045 + w. Let u = s - -19/3. Is 0.2 >= u?
True
Suppose -2*h - 266 = -4*l, -2*h = 3*l + 3*h - 167. Let x be (-1)/4 + (-2)/(-8). Let d be l/36 - (x + 2). Which is smaller: d or -1?
-1
Let s be ((-1154)/(-180))/(4/(-10)). Let l = s + 65/4. Suppose -4*n + 3 + 17 = 4*m, 5*m + 4*n = 21. Which is greater: m or l?
m
Let z = 43/14 - 515/154. Let m = 1 - 1. Are m and z non-equal?
True
Suppose -20 - 10 = 5*m. Let z(b) = b**2 + 6*b - 1. Let j be z(m). Is -3/7 equal to j?
False
Let a be 21/(-15) + 2/5. Let q = 779/7 + -111. Which is greater: a or q?
q
Let g(j) = j**3 - j**2 - j + 1. Suppose 6*q - 5 = q. Let b be g(q). Is b != -1?
True
Suppose -3*w + 58 = -86. Which is smaller: w or 49?
w
Let z be ((54/12)/(-9))/(1/2). Suppose 0 = m + 4*o - 23, 3*m + 0*o = 3*o - 6. Is m greater than or equal to z?
True
Suppose 0 = -28*s + 72 - 44. Let m = -7943/35 + 227. Which is smaller: s or m?
m
Let a(b) = -b**3 - b**2 + b + 1. Let n(v) = 5*v**3 + 10*v**2 - 6*v - 4. Let w(g) = 6*a(g) + n(g). Let d be w(4). Let p = 331/3 + -109. Is d > p?
True
Suppose -2*n + 8 = 2*n. Suppose 2*b + 3*b = -2*i + 14, 0 = -5*b + 2*i + 6. Do n and b have the same value?
True
Suppose 2*l = t + l - 2, -2*t - 4 = 2*l. Let k be 2*((-3)/(-6) + -1). Let v = t - k. Which is smaller: v or -2/25?
-2/25
Let u = -9 + 9. Let i(x) = -x**3 - 4*x**2 + 6*x + 6. Let c be i(-5). Let b = c + -2. Which is bigger: u or b?
u
Let j be 4/(-14) - (-680)/2184. Is j greater than 1?
False
Let f be 2*-1*(-1)/(-6). Let o(y) = 4*y**2 + 3*y. Let m(q) = q**2 + 1. Let c(u) = 3*m(u) - o(u). Let z be c(-4). Which is smaller: z or f?
z
Suppose -3