. Is -2/9 bigger than h?
False
Suppose 0*m + 40 = 2*m. Let w be (-9)/45 - 386/m. Is -21 != w?
True
Let q(i) = i**2 + 17*i + 46. Let k be q(-11). Which is smaller: -22 or k?
-22
Suppose -79*h + 84*h = 375. Suppose -4*j = -5*o + 48, 5*o - j = -6*j + h. Which is smaller: o or -2?
-2
Let o = 15 - 13. Suppose -2*t + 0*z - 31 = -z, 0 = -o*z + 2. Let n be (-4)/(-3) + 5/t. Are n and 1/38 unequal?
True
Let m = -9.632 - -10. Let g = m - -2.022. Let j = 2.3 - g. Which is greater: j or -2/5?
j
Let j = 3 - 3.4. Let r = -24 - -16. Let o = r - -10. Is o at least j?
True
Let k be (1 - 7)/(1/((-2)/(-10))). Suppose -5*w - j = 8, -3*w - 2*j = j. Is w bigger than k?
False
Let d(u) = u**3 - 11*u**2 + 12*u - 13. Let b be d(10). Let r(p) = p + 9. Let l be r(-3). Which is smaller: b or l?
l
Suppose -i - 1 = -4*w - 11, -4*i = -5*w - 51. Suppose -5 + i = 3*g. Let b be ((-11)/(-55))/((-1)/g). Is b greater than or equal to 0?
False
Let o = -63005/7 + 8957. Let y = o - -101/14. Is -36 at least y?
True
Let g = 309018/13795 - 2/2759. Let v = 22 - g. Which is greater: -1 or v?
v
Let r = 15515 - 15441. Let z be 1/(2/148) - 0. Is r equal to z?
True
Let k = -3 - -5. Suppose g - 2*g = -k. Let i be (-15)/66 + g/4. Is 1 greater than i?
True
Let t be 111/(-6) - (9/6)/(-1). Suppose 3*m + 77 = -4*i - 2*m, -5*m - 95 = 5*i. Which is greater: i or t?
t
Let o = -12 - -68. Let p be (-46)/o - 6/14. Do -1 and p have the same value?
False
Suppose -5*b + 4*m = -35, 3*b + m - 2*m = 14. Let s = 9.63 + -8.8. Let p = s + -1.23. Are p and b unequal?
True
Let n be (3 + -3 + 0)/(-2). Let l = -1.12 - 0.18. Let t = l + 1.4. Are t and n unequal?
True
Let f(d) = 4*d**2 + 35*d - 9. Let p be f(-9). Is 2/255 bigger than p?
True
Suppose 0 = -5*h + 9*h - 140. Suppose 5*n + 2*t + h + 15 = 0, n + 10 = 3*t. Which is smaller: -12 or n?
-12
Let a be 40*(2 - (-173)/(-29) - -4). Do a and 2 have the same value?
False
Let z(s) = 5*s**2 + 2*s - 1. Let n be z(1). Suppose q = -n - 2. Which is smaller: q or -6?
q
Suppose 0 = -5*p + p - 12. Let h = -1 - p. Suppose 4*s + 15 = 3*c, -h*c = -4*s - 21 + 3. Is s smaller than -5?
True
Let t = 22.48 + -22. Let j = t - 0.18. Let s = -2 + 3. Are s and j unequal?
True
Let t = -40844453/1381 + 29576. Does 0 = t?
False
Let d = 39.69 - 38.1. Let s = d - 1.4. Which is smaller: 0.1 or s?
0.1
Let i = -26 + 28. Suppose -i*g - 19 = 43. Which is smaller: g or -32?
-32
Suppose -5*b + 21 + 439 = -5*c, -3*b = -2*c - 280. Is b > 98?
False
Let g(u) = -u + 1. Let o be g(-1). Let t be (1 + 4 + -8)*o/26. Which is smaller: 1 or t?
t
Suppose -5*g - 50 + 10 = 0. Let p be 5/g*4/(-10). Let y(v) = -v + 4. Let x be y(2). Which is smaller: x or p?
p
Let t = -11 - -2. Suppose -4*d + 22 = 3*o - 5, -3*o = 9. Let y = t + d. Is -1/5 >= y?
False
Suppose 60*u - 50*u = 0. Is u less than 3/29?
True
Let r = -254 + 253. Let h be (-2)/4 + (-12)/8. Is h at most r?
True
Suppose -5*n - 40 = -5*l, 0 = -2*n + 7*n + 10. Suppose 4*c - l = 2*k, -2*c + 5 = -2*k - 1. Which is greater: k or -5?
k
Let a = 13 + -8. Suppose -2*x - a*y - 16 = 0, -4*x + 5*y - 10 + 38 = 0. Let z = 19 - 61/3. Is x less than z?
False
Suppose -45*p = -47*p + 150. Let y = 32 - p. Are -42 and y unequal?
True
Let g = -57 + 59. Suppose 3*s - 3*s = -g*s. Is s smaller than -2/193?
False
Let t = 2 - -5. Suppose -12*p - 37 = 143. Let r be ((-10)/p)/(3/9). Is t greater than r?
True
Let t be (-9 + -3 - -8) + 4. Which is smaller: -10/7 or t?
-10/7
Let x = -16 + 18. Suppose x*k = -5 + 3. Let b = 251/5 - 50. Do k and b have different values?
True
Let l = 107 - 119. Let m = 85 - l. Is m <= 98?
True
Let s = 3293759 + -105411709/32. Let p = -357 - s. Which is smaller: -1 or p?
-1
Suppose -8*f = -f - 0*f. Suppose 3*w + p - 4*p - 84 = f, -3*w + 84 = 5*p. Which is smaller: w or 27?
27
Let r = -6 + 9. Let y = 16 + -17. Let o = y - -3. Which is smaller: o or r?
o
Let d(q) = 10*q - 9. Let f(x) = 5*x - 4. Let a(g) = 6*d(g) - 13*f(g). Let z be a(0). Which is smaller: -15/13 or z?
z
Let t(n) = -n**3 + 9*n**2 + 34*n - 27. Let z be t(10). Which is smaller: 212 or z?
212
Let z(m) = m**3 - 22*m**2 + 19*m + 39. Let r be z(21). Let f be r/9 + (-10)/(-12)*4. Is f bigger than 26/7?
False
Let u = -2/2385 - -968/16695. Is -1 greater than or equal to u?
False
Let v(g) = 8*g**3 - g**2. Let z be v(0). Let a = 159/874 + 3/38. Which is smaller: a or z?
z
Let u be ((-31)/217)/((-1)/2). Which is greater: -22/7 or u?
u
Suppose -f + 3 = 0, 6*m + 17 = 2*m + 3*f. Let u be (-20)/6 - 6/9. Let n be m - u/1 - -3. Which is bigger: 6 or n?
6
Let m = -4733 - -42551/9. Is m at most -1/5?
True
Suppose f = 4*n - 1, 5*n - 2*f = 6*n + 2. Is n > -1/60?
True
Suppose -19 = 4*w - 2*p - 1, -27 = w - 5*p. Which is smaller: w or 0?
w
Let v be 1/(-1)*-1*3. Suppose 2*k = -3*p - 9, 2*k + 2*p - 3 = -7. Suppose 7 = 5*x + 2*u - 9, k*x - 2*u = 0. Which is smaller: x or v?
x
Suppose -6*i + 7 - 19 = 0. Let h be 30/(-10) - (26 - i)/(-2). Which is smaller: h or 12?
h
Suppose -40*s = -38*s - 2. Let z be (-1)/(0/1 - 1). Suppose -1 = -2*f - 3*y, -4 = -f + y - z. Which is smaller: s or f?
s
Suppose 5*a - 3*l + 9 = -0*l, 4*a - 4*l = -12. Suppose 4*v = -a*v + 16. Suppose -3*z + 1 = -v*z. Which is smaller: 1 or z?
z
Let i(p) = 2*p**3 - 13*p**2 + 30*p - 21. Let a be i(6). Is a greater than or equal to 123?
True
Let l = -86 - -83. Let h be (-14)/30 + (-2)/l. Is 1 at most as big as h?
False
Let z = 2/17 - 40/51. Let w = 18 + -17. Let k = w + -2. Which is smaller: z or k?
k
Let g = 392 + -392. Which is smaller: 3 or g?
g
Let m = -857 - -1233. Which is smaller: 378 or m?
m
Let k(h) = -5*h - 15. Let y be k(-11). Let g = -38 + y. Let a = 5 + -4.7. Is g < a?
False
Let r = -0.8 - -1.1. Let p = r + -0.5. Let x = 247.1 - 247. Is x equal to p?
False
Let o = 3/716 - 3709/30788. Which is smaller: o or 0?
o
Let c = 14/27 + 58/27. Let p(k) = -3*k**2 + 29*k - 7. Let o(m) = m - 1. Let z(a) = 5*o(a) - p(a). Let w be z(8). Which is bigger: w or c?
c
Let v be (6/2)/((-12)/12). Which is smaller: v or 167?
v
Suppose 4*s = 0, -43 - 27 = 5*c + 3*s. Let v(g) be the third derivative of g**4/12 - g**3/2 - g**2. Let p be v(-6). Is p bigger than c?
False
Let a = -2731/1078 - 19/98. Suppose -5*h - 15 = -0. Is a equal to h?
False
Let r = -18 + 29. Suppose l - r = y + 5*l, -l = 2. Let d be 4/16 + (-37)/20. Which is smaller: y or d?
y
Let y be 3/(-9) - 1/(-3). Let w = -186827/357 + 1570/3. Which is smaller: w or y?
y
Let j be 0/2*((-4)/(-32) - 15/24). Let l = -24 - -5350/223. Which is bigger: j or l?
j
Let s = 3/35 - 733/385. Which is greater: s or -2?
s
Let z = 8/151 + -630/6191. Is z != -1?
True
Suppose 60 = -k - 0*k. Let c = 74 + k. Which is smaller: c or 27/2?
27/2
Let d = 150 - 150. Let f be 3 - ((-339)/(-171) - -1). Which is smaller: f or d?
d
Let a(p) = 24*p - 2. Let w be a(2). Let b = -53 + w. Is b smaller than -4?
True
Let x = 15 - 16. Let g = 0.519 - -0.111. Let q = g + -0.03. Is x >= q?
False
Let c(v) = v**2 + 17*v + 71. Let a be c(-7). Is -2/115 <= a?
True
Let j = -6 + 8. Let h = j + -2. Which is bigger: -9 or h?
h
Let v = -14 - -15.8. Let m = 9.8 - v. Let l = m + -7. Which is bigger: -0.05 or l?
l
Suppose 84 = 3*r - 60. Suppose 2 = 47*x - r*x. Is x < -12?
False
Let b(f) = -6*f + 8. Let r(l) = 5*l - 8. Let v(q) = -6*b(q) - 7*r(q). Let i be v(-4). Suppose 3*u = u - i. Is -9/8 != u?
True
Suppose 12*s = -6*s + 2124. Which is smaller: s or 115?
115
Let t be (-664)/(-1) - (-13)/((-65)/(-20)). Let y be (-18)/36 - (-326)/t. Which is smaller: y or 0?
y
Let m = 0.05 + 0.15. Let x = -121.12 - -121. Is x at most as big as m?
True
Suppose -5*i - o + 50 = 0, 5*o - 6 = 19. Suppose 0 = -2*g + i - 13. Is -8/15 less than g?
False
Suppose 5*g = s - 20, 0*s - 58 = -4*s - 2*g. Which is bigger: s or 14?
s
Let l = -392 + 395. Which is greater: l or -159?
l
Let m be 130/42 + -3 + (-1626)/(-126). Which is smaller: 14 or m?
m
Let p = 0.123 - 0.223. Which is bigger: p or -61?
p
Suppose 4*r = -0*p - 4*p + 24, -3*r = -2*p - 3. Let u be (r + 14/(-8))*3/15. Let t = 0.05 + 0. Which is smaller: t or u?
t
Let t = -47.1 + 14.1. Which is smaller: t or -3?
t
Let a = -14822 + 22588727/1524. Which is bigger: 1 or a?
1
Let o(r) = r - 4. Let c be o(4). Suppose -2*s - 1 - 1 = 5*y, c = -s - y - 1. Let g = -2 - -2.2. Which is smaller: g or s?
s
Let k be 10/55 - (-1272)/22. Let v = k + -58. Which