= 2/23 + h. Is i smaller than 7/2?
True
Let u(k) = k**3 - 20*k**2 + 18*k - 360. Let p be u(20). Let l be (-1 - 556/(-30))/162. Let q = l - 2/243. Which is smaller: q or p?
p
Let u = 1.7529 + -2.7529. Is 3468 at most as big as u?
False
Let z(q) = 35*q - 28. Let s be z(-20). Let r be (-6992)/s + -9 + (-2)/14. Which is bigger: 2 or r?
2
Let z be 2/10*(13870 - 711). Which is smaller: 2633 or z?
z
Suppose -2*u + 5*u = 66. Let w(g) = g - 1393 + 2759 - 1391. Let x be w(u). Which is bigger: x or -2?
-2
Let h = -56.26 - -43.16. Is h at most 8?
True
Let t(c) = -c**2 - c + 46. Let g be t(-7). Suppose -12*a = -g - 80. Is 7 bigger than a?
False
Let h be (4/3180)/(2/6). Suppose -4*w = -5*x - 20, -3*w - 10 = 4*x + 6. Which is smaller: h or w?
w
Let b = -11 + 34. Let r = b - 24. Let p = -12.03 + 0.03. Which is greater: p or r?
r
Let l be (-8)/6 + 581769/81. Let k be -5 + 6/10*l/129. Which is smaller: 29 or k?
k
Let k be -17 - (-95 + (-13 - -19)). Is k less than 5?
False
Let z = 0.6 + 5.4. Suppose 6*n - 3*n = l + 16, 4 = -3*n + 5*l. Let c be (84/9)/n*1/(-6). Is c <= z?
True
Suppose 4*k = z + 273, k + 0*z = 4*z + 87. Let i = -465/7 + k. Let b = -486 + 483. Which is smaller: i or b?
b
Suppose 34*u - 38*u = -16, -u = -2*m + 3656. Which is smaller: 1831 or m?
m
Let n = 3 - 2. Let v = -2932 + 108485/37. Is v greater than or equal to n?
False
Let x be (-8 - 22600/8)*1. Is -2835 >= x?
False
Let v be (-2)/(-1) - 31649/(-150)*2. Let a = v + -424. Suppose -3*u = 3*t, -u + 3*u = 4*t. Are t and a equal?
False
Let y(r) = r**2 - r - 1. Let i be y(-1). Let n = -1 + i. Let x be 1 + (-20)/5 - -2. Which is smaller: n or x?
x
Suppose 630 = -12*h + 2*h. Let d be (-2064)/h + 6/(-14). Which is smaller: d or 32?
32
Let o = 10886 + -13360. Is o greater than -2472?
False
Let g = -183.2 + 306.5. Let i = -1.3 + g. Let b = i + -123. Is -1/15 > b?
True
Let r be ((-69)/129375)/(72/(-20) + 0). Is r not equal to -1?
True
Suppose -3*y + 19*a = 24*a - 17, 3*y - 2*a = -11. Which is smaller: -1/803 or y?
y
Suppose 1154*f + 142 = 1156*f. Let t(u) = -119*u. Let g be t(-1). Let w = f - g. Is -49 at most w?
True
Let q = 4215.7 + -4217. Let c = -116439/875 - -930/7. Let y = c + 2/125. Is q greater than y?
False
Suppose -688 = -2*o + 10*x - 9*x, 0 = x. Is 335 < o?
True
Let r = 1800/11 + -170934/1045. Let p = 195444077/1615 + -121018. Let d = r - p. Which is greater: 0 or d?
d
Suppose -6*a - 1036 = -802. Let l = -101 - -60. Which is smaller: a or l?
l
Let w(p) = p**3 + 16*p**2 + 35*p + 11. Let b be w(-15). Let v = b + 280. Is v > -1?
False
Let q = 11421 - 11233. Which is bigger: q or 0.9?
q
Let p(l) = -46*l - 182. Let n be p(-4). Let t be (((-6)/2259)/1)/(n/(-9)). Which is smaller: 1 or t?
t
Suppose 447*q - 438*q - 9 = 0. Which is greater: -1/1535 or q?
q
Suppose 9*p = 7*p + 770. Let c = 369 - p. Which is smaller: -11 or c?
c
Let b = 17472 - 17336. Are 123 and b nonequal?
True
Let a(c) = c**3 - 31*c**2 + 31*c - 31. Let r be -50*(12/(-5))/4. Let q be a(r). Which is smaller: -9/17 or q?
q
Let n = 42989.74 + -42399. Let h = n + -591. Is 2/9 at least as big as h?
True
Let n(a) = a**3 - 17*a**2 - 44*a + 59. Let v be n(19). Which is greater: -223/4 or v?
v
Let u = 16563 + -8426. Is u at most as big as -1?
False
Suppose -2*j - 2*j - 1960 = 0. Let p be j/273 - (-1)/(-6)*4. Which is bigger: -3 or p?
p
Let f = 622229/4599 - 101/657. Which is smaller: 134 or f?
134
Let a(l) = 5*l - 15. Let i be a(3). Let v be (2/(-8))/((-55)/(-44)) + i. Is v bigger than 1?
False
Let u(v) = -v**2 + 19*v + 22. Let a be u(20). Suppose 0 = 4*l - 6*i + 11*i + 23, 3*l - a*i = 0. Which is bigger: 12 or l?
12
Suppose -23*t - 3729 = 32749. Is -1584 less than or equal to t?
False
Let h = 22.07 - 22. Let n = h - -4.93. Let s(j) = -j**3 + 2*j**2 + 6*j + 4. Let v be s(-1). Are n and v unequal?
True
Let k be (-64)/16 - -1*(-107428)/4320. Let h = k - -231/8. Which is greater: h or 0?
h
Let g be (-1 - -1) + (-4)/(-58). Let f = -1193 - -1212. Let y be 6 - (-8 + f - 4). Is y != g?
True
Let p = 0.06 - -2.34. Let a be (0 + 0)/((-8)/9 + (-282)/2538). Which is smaller: p or a?
a
Let t be (5/175)/((-2)/(-4)). Suppose -22*b + 28*b + 20 = -14*b. Which is smaller: t or b?
b
Let f = 20913734/59 + -354470. Suppose -x - 6 + 2 = -4*p, 5*p - 5 = 2*x. Suppose 3*s + 4*g + 3 = 4*s, -p = 5*s - 4*g. Do f and s have different values?
True
Let x be ((-3292)/260 + 17)/(4/(-10)). Is -4 greater than or equal to x?
True
Let l = 0.34 + 22.66. Let u = l - 6. Let m = u - 17.1. Which is smaller: m or -0.09?
m
Let m(y) = y**3 - 21*y**2 - 44*y + 56. Let s be m(23). Suppose -10*l = s + 88. Is l > -17?
False
Let m = 523 + -507. Let w = 0 + -0.2. Let y = w + 0.2. Is m < y?
False
Let i = -2296 + 2308. Is 138/13 less than i?
True
Let z = 2/6347 - -12640/171369. Which is bigger: z or -18?
z
Let o = -62 + 111. Let n = 22921/152 - 15435/152. Which is smaller: n or o?
o
Suppose 11*h - 10*h - 85462 = -25*h. Which is bigger: h or 3286?
h
Let m = 145 + -163. Let z be ((-442)/20 + m/(-30))*-2. Is z at most 43?
True
Suppose 72 + 192 = -6*p. Let o be (11/p)/((-3)/((-18)/(-118))). Which is smaller: o or 1?
o
Let m be (-7434)/59 - (9 + -13 + 4/2). Which is bigger: -9 or m?
-9
Let o = -539 - -545. Suppose -5*j = 8 + 2. Let v = j - -7. Is o equal to v?
False
Let z(i) = i**3 + 16*i**2 + 19*i + 34. Let f be z(-11). Let l = f - 429. Which is bigger: -1/106 or l?
l
Let z be (-2 + (-15)/(-10))*-2. Let r(x) = -x**2 - 16*x + 14. Let j be r(-17). Let t be z/(2/(-1) - j - 0). Is -3/43 >= t?
False
Let z = 0.1 - 0. Let r = -236.9 - -219. Let x = r - -1.9. Is x > z?
False
Let x = -38905/106777 + 7/9707. Suppose 4*u + 4*r - 16 = 0, -u + 20 - 1 = 4*r. Is u less than or equal to x?
True
Let h be 8/(-56) - (-177)/651. Let t be -59*((-35)/(-124))/7. Let i = t + h. Is 1/5 less than or equal to i?
False
Let g be ((13 - (-3 + 0))/(-573))/((-1)/3). Which is bigger: 1 or g?
1
Let g(h) = 100*h + 886. Let z be g(-9). Suppose 5*q - 62 = 4*s, -q - 38 = 2*s - 0*q. Let m be ((-16)/(-6))/(4/s). Which is smaller: z or m?
z
Let i be 0 + 9 + (-101)/(3535/1190). Is -209/8 <= i?
True
Let x = 0.2 + -0.1. Let u = -948628 + 949350. Is x at most u?
True
Let s(w) = 6*w**2 - 37*w - 241. Let c be s(-9). Let p be 6/(-4)*100/(-6). Let m be 15/p + c/(-930). Is -1 not equal to m?
True
Let l = 5752 - 5753. Which is smaller: -90/71 or l?
-90/71
Suppose -921*q + 943*q = -1012. Which is smaller: 8 or q?
q
Let u = 1454/23 + -613427/9706. Which is smaller: -1 or u?
-1
Let w be ((-14)/8 - -1)/(11/(-44)). Suppose 2*n - 4*g = -10 - 20, 30 = -2*n + w*g. Let j = -28 + 12. Which is smaller: j or n?
j
Suppose -42*d - 40595 = 50*d - 4623. Is d less than or equal to -387?
True
Let p = -7588 - -121759/16. Which is bigger: p or 23?
23
Suppose -1203*t = -1200*t - 12. Suppose 18*o = -2*s + 23*o + 2, -5*s = -t*o + 29. Suppose -5*g - 22 = -3*x, -4*x + 3*x + 24 = -5*g. Which is bigger: x or s?
x
Let h = -54.2 + 54. Let n be 12/3 - (7 - 7). Suppose f = -n + 18. Which is greater: f or h?
f
Let q be (-672)/5*(10 + 10). Let u be -2 - (q/105 + 2/(-5)). Which is smaller: u or 21?
21
Let k = 25835 - 25838. Let d be ((-108)/(-53) - 2) + 0. Is d < k?
False
Suppose -46678*s + 18 = -46660*s. Let q = -1 + 0. Let u be 1 - (6/35 - q). Is s less than u?
False
Let m = -99 + 113. Let o = 116 - 83. Suppose -39 = -o*j + 30*j. Which is greater: j or m?
m
Let q be 7/20 + (-3)/(-12). Let o(a) = -13*a**2 + 963*a - 76. Let x be o(74). Which is smaller: q or x?
x
Let h = -2252971/402026 + 661/118. Is -1 bigger than h?
False
Let s = -61 + 10. Let y = -1666 - -1716.96. Let w = s + y. Which is bigger: -3/7 or w?
w
Let s(a) = 2*a**3 + 12*a**2 + 5*a + 31. Let x be s(-6). Let l be (-6)/(-28)*(-160)/(-72). Are x and l unequal?
True
Let u = 3195 - 3190. Is 16.9 < u?
False
Let t = -58 + 57. Let j be 0/((t - 0) + 2). Suppose j = -10*c - 67 - 113. Which is bigger: c or 2?
2
Suppose 864416 = -447*c + 223*c. Is c > -3861?
True
Let s be 6*(-1104)/(-39) + 6/39. Suppose 5*h = 5*p + s, 14*h + 5*p - 109 = 10*h. Which is bigger: 33 or h?
33
Let z = 10951/7 - 1564. Is z less than -106?
False
Let b(r) = 8*r + 97. Suppose -39 = 13*t + 52. Let i be b(t). Does 42 = i?
False
Let f = 114 - 113. Let c be (-6)/(-18)*1 + (-301)/21. Is f <= c?
False
Suppose 0 = -k - 2*k - 2*b + 35, k - 13 = -2*b. Suppose 2*l -