= 191 + 159. Is p >= 350?
True
Let a = 158 + -1603. Which is smaller: -1446 or a?
-1446
Let x = 1.024 + -0.324. Is 5.8 smaller than x?
False
Let x = 82 - 69. Let v = x + -42. Is -30 less than or equal to v?
True
Let p be 1 + (4 - 6 - -6). Suppose 0 = -3*m + 4*j + p, -2*m = 3*j - 2 - 7. Let d be -5 + m/((-12)/4). Is d equal to -7?
False
Suppose 4*u - 5*b - 120 = 0, -2*u + 0*b = 3*b - 60. Suppose 3*n + y = -91, 11 = -5*y - 9. Let j = n + u. Are -2/101 and j non-equal?
True
Let y = -60 - -100. Let p = y + -155. Let f be p/(-175) + (-6)/10. Which is smaller: 1 or f?
f
Let f be (-4596)/432 - 10/(-1). Which is smaller: -1 or f?
-1
Let z(f) = -f**2 - 17*f. Let h be z(-9). Let o = h + -71. Which is smaller: o or 30/13?
o
Suppose -5*v - 415 = 47*k - 52*k, 5*v = -4*k + 305. Which is greater: k or 82?
82
Let s = 1.5 - -13.5. Let o = -0.039 - -9.039. Let l = s - o. Is l greater than or equal to 0.1?
True
Let d = -24 - -30. Suppose 134 = d*u + 452. Is u >= -53?
True
Let r = 1.2 + -0.94. Let h = -3.74 - r. Let w = h + 7. Which is smaller: w or 0.4?
0.4
Let v = -221.2 - -221.2. Are v and 14/17 equal?
False
Let t = 1095 + -914. Is 902/5 > t?
False
Let g = 0.7382 - -0.0918. Which is smaller: g or 7/3?
g
Let a = 3731 + -279829/75. Is -1 at least a?
False
Suppose -5 = 2*w - 3. Is w at least 9/35?
False
Let m be -3*(9 + -6*8/(-12)). Let b = -39 - m. Is 3/31 at most as big as b?
False
Suppose 0 = 8*c - 6*c - 80. Let i be (48/c)/((-2)/100). Is i bigger than -59?
False
Let f = 13.91 - 14. Let q = -0.4 + 0.3. Is f >= q?
True
Let v be ((-6)/(-9) + 0)/(22 + -3). Which is bigger: v or -1?
v
Let h be 3/(-6)*1 - (-3705)/38. Is h smaller than 95?
False
Let t = -3661/30 - -122. Which is smaller: t or -2?
-2
Let u = -30.51 - -0.51. Let w = 12 + u. Let i = 16 + w. Which is smaller: 1 or i?
i
Suppose 5*o + 30 = 5*m, -4*o - 6 = 2*m - 0*m. Suppose 5*q - 14 = 2*b, -m*q - 4*b = q. Is q < 0?
False
Suppose -4 = -4*z + 8. Let s be (-18)/30*5*2/z. Is s at most as big as 1?
True
Suppose y - 4*n - 18 = 0, -4*y - 6*n - 4 = -3*n. Let h be (7/7)/((-1)/y). Let b = h + 3. Which is smaller: b or -1/12?
-1/12
Let t be -1*0/(4/4). Let q be (t - (-9)/(-42))*-2. Let v be ((-1)/2)/((-2)/4). Is v != q?
True
Let i = -40 - -50. Is -4/3 >= i?
False
Let x = -6 + 45. Suppose b - 36 = -x. Which is greater: -4 or b?
b
Let r = -318 - -282. Which is smaller: -2/5 or r?
r
Let r = -1081 - -1078. Let m(o) = o**2 + 3*o - 4. Let h be m(-4). Let d = 0 - h. Is d greater than or equal to r?
True
Suppose 0 = x - 6*x + 3*g + 243, 3*g + 39 = x. Let y = x - 51. Do 26 and y have the same value?
False
Let s = -129/170 - -1/17. Let m = s + 21/10. Which is greater: m or 2?
2
Let a = -373/2 - -186. Are a and 42 unequal?
True
Let u be (12/20)/(-14 + 11). Is -17/7 greater than u?
False
Let o = 980 - 1078.89. Let f = o + 74. Let i = -25 - f. Is 0 at least as big as i?
True
Let b = -63 + 106. Let n = -130/3 + b. Let v = 1.7 - 2. Which is smaller: v or n?
n
Suppose a + 0*p = -4*p + 14, 5*a + 5 = 5*p. Suppose -45*q + 47*q = -a. Suppose 0 = 4*z + 12. Which is bigger: z or q?
q
Let t = 17.97 + -18. Let r = 0.8 + -0.74. Let c = -0.16 + r. Which is smaller: c or t?
c
Let u = 335 - 335. Which is bigger: -2/717 or u?
u
Let n = 138 + -8689/63. Is n <= 1?
True
Let c = -1188/31 + 32964/899. Which is greater: c or -2?
c
Suppose -3*l + 3*v = -96, -l = 4*v + 31 - 68. Is l less than or equal to 31?
False
Let n(s) = 9*s - 67. Let h be n(6). Does h = -93/8?
False
Let b = 0.4 - 1.4. Let t = -3 - b. Suppose 0*o + 5*o = -2*h + 1, 0 = o - 3*h + 10. Which is greater: o or t?
o
Let l(g) = g + 2. Let o be l(-5). Let s = 94 - 90. Suppose -5*z + 20 = s*a, 8 = a + 2*z - 0*z. Which is smaller: a or o?
o
Let k be 4/14 + 64/(-616). Let d = 0.0076 - 0.0076. Is d >= k?
False
Let r = -1272 - -1274.9. Is 0.2 equal to r?
False
Suppose -91*v + 63 = -88*v. Let g = 111/7 - -51/14. Which is smaller: g or v?
g
Let l = -1505273 + 63218593/42. Let z = l + 137/2. Which is bigger: z or 0.2?
0.2
Let l = -548 + 160. Let w = l + 12025/31. Are 1 and w nonequal?
True
Let u = -78.003 - -78. Let x = -0.097 + u. Is 14/5 at least as big as x?
True
Let w be 0 - (-2)/4*0. Let v be w - (-153)/4 - -3. Let a = v + -41. Which is greater: -0.7 or a?
a
Let q = 2.56 + -1.73. Let i = q - -0.17. Which is bigger: -2.2 or i?
i
Let i be -1 + 3 + (-3*4)/6. Let u(m) = -m**2 - 4*m + 2. Let b be u(-6). Let c be -3 + 1 + b/(-6). Is c less than i?
True
Let q(k) be the first derivative of k**4/4 + 3*k**3 + 3*k**2 - 16*k - 7. Let j be q(-8). Let f be 1 - (-1)/(-12)*3. Which is smaller: j or f?
j
Suppose -4*x = -2*x - 6. Suppose -t + x = -1. Suppose -2*z = z + 9, 4*z = t*k - 4. Which is smaller: k or -5?
-5
Let y be (6/8)/(5/(-40)). Let n = -1377 - -1371. Is y equal to n?
True
Suppose -25*u + 26*u - 3*l + 730 = 0, -5*l = -u - 732. Is -727 greater than or equal to u?
True
Suppose -35*i - 775 + 3260 = 0. Which is greater: i or 67?
i
Let p be ((-18)/8)/(3/2). Let o = -8 - -15. Suppose 2*t + 9 = 3*m, 0*t - t - o = -4*m. Is p at most as big as m?
True
Suppose -7*z - 468 = -z. Let m be (-2 - 1) + (z + 2)/(-4). Which is greater: m or 15?
m
Let w = 12074 - 1799035/149. Is 1 != w?
True
Let l(z) = z + 6. Let a be l(-4). Let n be a*(2 - (-39)/(-18)). Let s = 24.48 - 24.46. Is s >= n?
True
Let t = -1118 + 1117. Is 1/1186 != t?
True
Suppose 2*m - 3 = 1. Let x(b) = -7*b - 9. Let r be x(-2). Suppose 20 = r*y, -2*y + 12 - 4 = -m*f. Is 1 at most f?
False
Suppose 0 = -27*m + 2629 + 4580. Is 266 greater than or equal to m?
False
Let h(r) = 14 + 14*r**2 - 2 - r**3 - 24*r - 4 - 5. Let v be h(12). Which is smaller: v or 2?
2
Let u = 1078 + -1064. Suppose 0*s = 2*s - 26. Is u at most as big as s?
False
Let u = 1711 + -2067. Are u and -355 non-equal?
True
Let w = 35657/105750 - 42/125. Is w bigger than 1?
False
Let g be ((-2)/(-6))/(-3 - (-35)/14). Is 5/11 at least as big as g?
True
Let b(w) = w**3 + 21*w**2 + 40*w + 39. Let n be b(-19). Is 8/5 bigger than n?
True
Suppose 2 + 2 = -g. Let l be (-26)/g - (-1 + 1). Let v be ((117 + -5)/(-16))/(-1). Is l != v?
True
Let a(w) = -10*w - 11*w + 39*w - 19*w + 1. Let u be 2/(-4)*(-20)/2. Let z be a(u). Is z != -0.1?
True
Let y be -2*-2*(-18)/8. Let g = -9 - y. Suppose 4*o = -g*o + 16. Which is smaller: o or 0.4?
0.4
Let c = -11 + 10.89. Let s = c + -0.05. Let t = 0.06 + s. Which is greater: t or 0.03?
0.03
Let f(w) = -23*w - 623. Let u be f(-40). Which is bigger: 298 or u?
298
Let n be ((-1)/(-1))/((-230)/20). Let f(i) = -i**2 - i. Let k be f(1). Let a be (1 + k)/1 + 2. Which is greater: n or a?
a
Let t = 712 - 712.1. Is t equal to 54?
False
Let y(r) = -r**2 + 7*r + 5. Let m be y(7). Suppose m*z = 4*z. Suppose -j + z*j = 0. Do j and 10/11 have different values?
True
Let r be (4/6)/((-18)/(-3969)). Let x be ((-91)/r - 4/(-14))*0. Let v = 4.24 - 4. Is x smaller than v?
True
Suppose -5*r + 2*r = -15. Let m be (-1 + 1)/r + 5. Suppose -m*y + 11 = -9. Which is smaller: y or 2?
2
Let k = 11 + -5. Let y be 5/15 - (-16)/k. Suppose -y*l = 5*q + 9, -15 = 5*l - q + 5*q. Which is smaller: l or -2?
l
Let m = 1820 + -1846.26. Let f = m + 26. Let v = -0.16 - f. Is 5 at most v?
False
Let f = -0.117 + 0.117. Which is smaller: 0.142 or f?
f
Suppose -3*u - n + 2 = 0, 10*u - 4 = 15*u - 2*n. Are -3/77 and u unequal?
True
Let d = 317 - 316.8. Which is greater: -0.026 or d?
d
Let g = 221 + -199. Let s be 132/(-9)*6/(-4). Is g at most s?
True
Suppose 9*n = 7*n. Suppose -3*h - u + 174 = -n*u, -310 = -5*h + 5*u. Suppose 5*i + 5*a + 78 = 2*a, a - h = 4*i. Are -15 and i unequal?
False
Let a be 5/(315/12)*15/10. Let r = -0.04 - -0.06. Let f = r + -0.07. Is f at most a?
True
Suppose -4 = l + 3*y + 3, -11 = 2*l + 5*y. Let k = 124/145 - -10/29. Which is greater: k or l?
l
Let o be (2 - -1)/((-144)/384). Let w(l) = -6*l - 9*l**2 - l**3 + l - 4*l - 9. Let c be w(o). Which is smaller: c or -2/5?
c
Let q(o) = o**2 - 4 + 135*o - 68*o - 71*o. Let w be q(5). Which is bigger: w or 3?
3
Suppose -6*s + 56 = -13*s. Let a be 0 + (-4)/(s/6). Which is smaller: a or 21/5?
a
Suppose 16*l - l + 90 = 0. Is 0.21 at least as big as l?
True
Let i = 27.2351 - 0.1251. Let f = i + -0.11. Let t = f + -26.91. Which is smaller: t or -1?
-1
Let b = -18 - -16.3. Let i = -0.96 + -0.14. Let u = b - i. Is -1 at least as big as u?
False
Let v = 