t o = 0.267 + 1.733. Let w = 0 + -32. Let q = w + 10. Is q at least as big as o?
False
Let q = -31 + 30. Let n be -1 + (-1 - -4) - q. Suppose 5*x + 3*g = g + 9, -4*g = -n*x - 5. Is x greater than or equal to 3/16?
True
Suppose -4*h = -n + 2, 5*h = -2*n - 25 + 16. Let b be (11 - -171) + h*4. Are b and 178 nonequal?
False
Let p(t) = -t**3 - 15*t**2 - 15*t - 4. Let v be p(-14). Let j be 97/4 - (-1 - v/(-8)). Suppose -20*q + 104 = -j*q. Which is smaller: -0.1 or q?
q
Let w(c) = -c**3 - 11*c**2 + 13*c + 13. Let k be (-6)/(1 + -4) + 9. Let r be (3 - k) + (1 - 5). Let t be w(r). Which is greater: t or 2?
2
Let m be 1810/292 - (-15)/660*-22. Are 7 and m non-equal?
True
Suppose 3*c + 0*o + 6 = -5*o, 2*o - 3 = -3*c. Suppose -c = y - 4. Let g be 36/102*y/2. Which is greater: g or -1?
g
Let y = 1747.62 + -1748.02. Let b = 7 + -6.4. Is y at least b?
False
Suppose 0 = -c - 1902 - 346 + 249. Which is greater: -3997/2 or c?
-3997/2
Let m(q) = -q**3 - 41*q**2 - 95*q - 185. Let y be m(-38). Is y bigger than -907?
False
Suppose 100*q - 190 = 105*q. Which is smaller: -350/9 or q?
-350/9
Suppose 3*w = -4*w + 35. Let l be ((-14)/w + 2)/(1/170). Let k = l - -113. Is -22 bigger than k?
True
Let f be (-8 + 6)*1/(-3). Let s = -873 + 1291. Let o = -418.093 + s. Are o and f unequal?
True
Let h = -13/348 - -1121/31755. Which is smaller: h or -1?
-1
Suppose 2*q = -3*m + 3, -129*q + 124*q = 5*m - 10. Let a be ((-12)/45)/(8/(-84)). Is q less than a?
False
Suppose -5*s - 4*j = -5*j - 31, 4*s + 3*j - 21 = 0. Let r be -6 + 164/3 + 2/s. Let k = r - 48. Is -1/11 greater than k?
False
Let f = -1382/23 + 187287/3151. Which is smaller: -2 or f?
-2
Let a be (-7 + -1)/(10/440). Let f = -54 + a. Is f greater than or equal to -407?
True
Let y = 142 + -97. Let a = 87 - y. Let p = a - 44. Is p at least as big as -4/5?
False
Let f be (-8)/(-3) + (-4)/(-12). Suppose -5*j - f*y = 42 + 13, 0 = j - 3*y + 29. Let r be ((-21)/j)/(3/10). Which is greater: r or 2?
r
Let u be 0 - (0 - 55550/(-248)). Suppose 43 - 407 - 308 = 3*x. Let j = x - u. Which is bigger: j or -1?
j
Suppose 4*q - 15 = -g, 5*q - 19 = 460*g - 461*g. Is -7/9 at least as big as g?
True
Suppose 11*q + 14938 = 88*q. Which is greater: 200 or q?
200
Let v be 64/(1 - -1)*-2. Let k = v - -168. Is k bigger than 103?
True
Suppose 2*v - 9 = 5*v. Let a(s) = s**2 + 2*s - 4. Let j be a(v). Let z be (-2 + 6 - (-2 + 5))*8/25. Is z smaller than j?
False
Let k = 672 + -636. Are 260/7 and k equal?
False
Let o = 0.1799 - 13.5699. Let d = o - -0.39. Let j = d - -13.05. Is -2 != j?
True
Let z = -7669 + 6869. Which is smaller: z or -799?
z
Let f = 12431/9 - 10984/9. Let y = 1393 + -1232. Let w = f - y. Which is bigger: w or 9?
9
Let a = 42 + -2. Let f = 46 - a. Let v = -5.93 + f. Is -0.5 less than v?
True
Let r be (4 - (-1288)/(-315))*(-768)/14. Let q = -1018/19 - -16714/285. Let k = q - r. Is 0 at least as big as k?
False
Let z = 34/1635 - 98879/116085. Is z at least -2?
True
Let q be -2 + (-315)/(-5) + -1. Let d = q - 44. Suppose -d = -2*o - 84. Which is smaller: o or 1?
o
Let f = 4.6 + 1.4. Suppose 60 = -4*p + 4*g, 92*g + 20 = 96*g. Which is smaller: f or p?
p
Let s = -101.9 + 293.9. Let t = -0.81 + -0.19. Which is smaller: t or s?
t
Let p be 1 + -1 + -5*(-52)/65. Suppose -3*b - 5*z - 8 = -3*z, -16 = -b + p*z. Is b at least 2/305?
False
Suppose -i - i = -12. Let j(u) = -1 + 4 + 39758*u**2 - 39757*u**2 + 5 - 4*u. Let c be j(i). Which is smaller: 1 or c?
1
Let a = -201.1 - -283. Let b = a - 82. Which is smaller: 0.088 or b?
b
Let x be ((-4)/(-14)*14)/(-4). Let q be (x + 7/(-3))/(3/36). Which is greater: -39 or q?
-39
Let z(m) = -m**3 + 7*m**2 + 2*m - 6. Let k be z(7). Let c be 0 - (k - 0)/(-2). Suppose o + 12 = 12. Is c != o?
True
Let r be -7 + 838/(-36)*-12*(-4)/(-160). Suppose -2*m = 4*x + 14, x - 2*m + 0*m - 9 = 0. Is x greater than r?
False
Let n = 3566 - 3474. Is n bigger than 25?
True
Let t = 0 + -1. Let c be (-24)/(-15) - 1326/510. Is t < c?
False
Suppose 3*n + 28 = -47. Let v be 3 + -1 + 1 - 0. Suppose 3*i - 2*p + p = -74, -i = v*p + 28. Is i less than n?
False
Let u(b) = b + 9. Let j be u(-7). Let w be 1 + 2/1 + j. Suppose 3*z + w*s = 4, z - 2*s - 25 = -9. Is 7 != z?
True
Suppose -147 = -60*p + 109*p. Let f be 2/5 - 2/5. Let q be f/(4/12*(0 - p)). Is q > 3/7?
False
Let b be 8/(-82)*((-3)/2 - -1). Which is smaller: -0.7 or b?
-0.7
Let m = -42 + 42. Let j be ((-2)/(-233))/(m + -2). Let s = j + -2092/1165. Is -1 smaller than s?
False
Let u be 21*1*8/(-12). Let p be 2/(-12)*(-5 + u). Suppose -18 = 18*g - 24*g. Is p bigger than g?
True
Let h = 71 + -79. Let o be ((-1)/2)/(h + (-1087)/(-136)). Is 66 at most o?
True
Let j(b) = -b**3 + 5*b**2 - 4*b + 1. Let v be j(3). Suppose 4*f + 105 + 35 = 0. Let h = -26 - f. Is v <= h?
True
Let a be (6/3)/(1 + 0). Let i = 36 + -25. Suppose 2*j - 1 + i = a*y, -2*j - 8 = -y. Which is bigger: y or 1?
y
Suppose 9*v + 2096 = 674. Which is greater: -156 or v?
-156
Suppose -43 = -5*i - 5*h + 17, 40 = 4*i + 2*h. Suppose -i*f = 111 - 567. Suppose -4*c + 3*v - 13 + f = 0, -3*v = c - 26. Are 13 and c equal?
False
Let l = -0.2165 + 0.1165. Is l smaller than 43.04?
True
Let w = -80.69 + 79.69. Let r(t) = t - 5. Let v be r(8). Suppose -v*j = 67 + 83. Which is greater: w or j?
w
Let j = 2721 - 2717.5. Is j at most as big as 3.5?
True
Let z be (-590583)/2*28/(-8862). Let i = -933 + z. Is i >= 0?
False
Let d be ((2268/888)/(-63))/(975/(-8)). Which is greater: d or -1?
d
Suppose -q + b - 2 = -0*b, 4*b = -2*q - 10. Let c be ((-46)/(-4))/(14*30/(-105)). Which is bigger: q or c?
c
Let p be -2*(-1 - (-6)/4)*108. Let h be (48/p)/((-4)/18). Which is greater: h or 66/19?
66/19
Let a = 5.6 + -205.6. Let q = a - -199.96. Which is smaller: q or 2?
q
Let i = 7514 - 7689. Is -183 at most as big as i?
True
Suppose -m + 20 = -2*v - 20, v = -4. Let y = -10020 + 10056. Which is bigger: m or y?
y
Let z = 4357 + -5244. Which is bigger: z or -889?
z
Suppose -3*i = 2*b - 77 - 108, 4*b = 4*i - 200. Suppose -4*y = 2 - 6. Which is bigger: i or y?
i
Let i be 38*(-6)/(-54) + (-4)/18. Suppose 3*v - n = 8*v + 300, -240 = i*v - 3*n. Which is smaller: -62 or v?
-62
Let w be -3 - (-5512)/13*1/1. Let y be w/(-15) - 9/15. Suppose 14 - 134 = 4*a. Which is greater: a or y?
y
Let b(s) = -s**3 + s**2 + s + 2. Let h = 36 + -34. Let m be b(h). Let a = -348 + 350. Which is greater: a or m?
a
Let z be 5/65*(-9)/((-65259)/6). Is z less than 1?
True
Let s(i) = 15*i**2 + 3*i - 2. Let m be s(1). Suppose z - m = -8. Let c be -1 + (4 - z) + 5. Is c greater than or equal to -4/31?
True
Let i = -39 + 57. Suppose 6*y = 5*y - 3*z, 5*z - 16 = y. Let w be 2/(-5 + y - -7). Which is smaller: i or w?
w
Suppose -152 = -13*i + 56. Suppose 1056 = -i*f + 19*f. Suppose -f = 4*g + 7*g. Is g less than -32?
False
Suppose -68 + 66 = -5*n + 2*f, 2*n + 2*f + 2 = 0. Is 10/297 < n?
False
Suppose -4*a = -5*t + 2, -3*a + t + t = -2. Suppose a = -2*j - 4*c - 6, 4*c = -5*j - 26. Which is smaller: -2 or j?
j
Let u be (44/(-12) - -1)*(-72)/32. Suppose 2*x + 168 = u*r - 8*r, 4*r = -8. Which is bigger: x or -81?
-81
Let u(w) = -w**2 + 2*w + 22. Let f be u(0). Let n(z) = -z + 22. Let y be n(f). Suppose y*a = 5*a. Which is bigger: 3 or a?
3
Let f(j) be the third derivative of -5*j**4/24 + 2*j**3/3 + 16*j**2 - j. Let c be f(1). Suppose 23 = 3*t - 19. Is c less than or equal to t?
True
Let v = 319 + -300. Suppose -3*t - 5*s = -4 + v, 3*s = 2*t - 9. Is 0 < t?
False
Suppose -5*q + 4 = -8*q - c, -13*c = 91. Is q < 8/267?
False
Let k = -188 + 188.356. Let c = -0.064 - k. Let r = -0.42 - c. Is r >= 2/81?
False
Let s(w) = -w**3 - 16*w**2 + 62*w - 340. Let y be s(-20). Suppose -5*k = -2*v + 32, -4*v + 4*k = -v - 55. Which is bigger: y or v?
v
Suppose -x = 9 - 33. Suppose -3*k = -4*h - x, -3*k = -k + 3*h - 16. Let i = -5 - -14. Do i and k have different values?
True
Let b be (39/26)/((-6)/(-40)). Suppose -t = 2*v + 18, -t - 12 = 6*v - b*v. Let f be (-3)/15*((-4)/t + 1). Which is smaller: -6 or f?
-6
Let c = -36603 - -36646. Which is bigger: -0.32 or c?
c
Let p be (-706)/9 - (-1 + (7 - 10)). Let j = -69028/927 - p. Is -1 <= j?
True
Let h = 352 + -585. Let l = 259 + h. Which is smaller: l or 1/3?
1/3
Let y = 114.84 + -1.84. Let c = 51 - y. Which is greater: c or -2?
-2
Let r = 117541 - 117805. Suppose -2*a = 5*k 