*g + 4*m = -24 + 132, g - 37 = -3*m. Suppose 3*o = 4*o + 2*p + g, 2*o - 2*p = -68. Is o smaller than 5/4?
True
Let n = 4.995 + -4.995. Does 0.0478 = n?
False
Let t = -5566 + 3834976/689. Is -1 greater than t?
False
Let w be (17568/60)/(3/(-2)*(-88)/(-990)). Is -2197 <= w?
True
Suppose -4*s - 1073 = 15*b - 20*b, -b + 1 = 0. Let w = s - -270. Which is smaller: w or 17/7?
17/7
Let b = -5008 + 4779. Which is smaller: b or -222?
b
Suppose -2*n = -4*n. Suppose -5*i + 18 = 2*k, -10 - 14 = -4*k - 4*i. Suppose -f = 3*p - k*p, -3*p = f. Are f and n nonequal?
False
Let b = -31 - -31. Suppose b*m - 2*m = 5*v - 35, -2*m = -3*v + 5. Which is smaller: m or 3?
3
Let j = 0.4 + -0.3. Let c be 38/10830*(-2557)/(-12). Let k = -2/855 - c. Which is bigger: k or j?
j
Suppose 11708 = -4*p + 18*p - 27618. Which is greater: p or 2811?
2811
Suppose -5*s + 36 = -2*a, 5*s - 8 - 22 = 5*a. Suppose s*k = 6*k + 90. Let f = -313 + 360. Is f at most k?
False
Let r(n) = -n**2 - 51*n - 56. Let c be r(-16). Suppose 20*o - 2*o + c = 0. Is o at most -134/5?
True
Let t = 16922 + -16922.32. Are t and 2.7 non-equal?
True
Let b(h) = -22*h**2 + h + 31. Let u be b(-3). Let g = 0.046 + -0.146. Is g at most u?
False
Suppose 5*y - 170*a + 3 = -171*a, 3*y + 7 = 2*a. Let b = 984 - 68883/70. Which is bigger: y or b?
b
Let c(r) = r**2 + 7*r + 11. Let h be c(-9). Suppose -2*n = g - n - 4, -4*n + 16 = g. Suppose -w = -5*k - g*k - h, 4 = -k. Is w at least as big as 9?
True
Let c be 1*815/(-30)*6. Is c greater than or equal to -173?
True
Let y = 87.4 - 88.6. Let z be 2/(-4) - (-6)/108. Let k = 7/9 + z. Which is smaller: y or k?
y
Let y be -3 + 0/(-3) + 7. Suppose 5*v + n = -3*n - 259, 3*n = y*v + 232. Let j = -29 - v. Do 27 and j have different values?
True
Let u = -475 - -530. Suppose -76*r = -u*r - 210. Which is bigger: -0.9 or r?
r
Let y be 84/210*10/8*10. Suppose -y*p = -g - 443 - 969, -4*p = -3*g - 1123. Do p and 282 have different values?
True
Let a = -488.5 + 488.4. Which is bigger: a or -10931?
a
Let o(l) = 430*l - 16. Let m be o(-9). Let b = 1740931/448 + m. Is 0 greater than b?
False
Let i = 136 + -233. Suppose 0*a - 370 = 4*c + 2*a, 5 = a. Which is smaller: c or i?
i
Let g(s) = -6*s**3 + 11*s**2 - 24*s + 117. Let y be g(5). Is -476 bigger than y?
True
Suppose 3*q + 4928 = -4*p, 5*p + 85*q = 87*q - 6137. Is p at most -1228?
True
Let h = -357 - -253. Let x = -1788 + 1683.8. Let u = h - x. Is 1/21 less than u?
True
Let z = -188.3 - -176. Let u = 23.3 + z. Is -2/15 bigger than u?
False
Let k(z) = -263*z - 1824. Let h be k(-7). Let n(f) = f**3 + 2*f**2 - 3*f + 4. Let m be n(-3). Suppose -4*l + q - 13 = 4*q, -m*q - h = 5*l. Are -2.5 and l equal?
False
Let d(k) = -31*k**2 + 5*k - 6. Let i be d(1). Let z = i + -18. Let j = -98 - z. Is -49 bigger than j?
False
Let f = -64604 + 95360. Is -1 greater than f?
False
Let u be (1785/34)/(-2 - 14/(-3)). Let d = u + -2861/112. Is d < -5?
True
Let x(k) = -k**2 + 5*k + 1. Let s be x(5). Let v be (-63)/(-18)*(2 - 5 - -1). Let y be 10/25 - 2*v/(-60). Are s and y non-equal?
True
Let q = 0 - -4. Let t be (8/q)/((-6)/177). Let v be -3 + (-14)/((-14)/(-84) + 3/36). Is v equal to t?
True
Let u = -1/406 - 1613/4466. Let m = 148 + -120. Suppose 0 = m*p - 33*p + 10. Is p <= u?
False
Let d(u) = 15*u + 20*u + 30 - 23*u - 29. Let i be d(0). Which is greater: -2 or i?
i
Suppose 4*h - 20 = 5*o, 3*o = -0*o - 3*h - 12. Let k be 3 - (-22)/o*8. Let v(n) = n - 52. Let j be v(11). Is j smaller than k?
False
Let p = 100 - 92.9. Let z = -103.1 + p. Let w = 98 + z. Is w at most -29?
False
Let u be -3 + -2 - -4 - 75479/(-120). Let g = 628 - u. Is g at most -1?
False
Let p = 62 - 53. Suppose -21 - p = -6*t. Suppose -5*w + 4*f + 23 = 0, 4*f = 4*w - 5*w - t. Is -17 <= w?
True
Let i = 16377/13 - 44447061/35282. Is i greater than -1?
True
Let f(d) = -4*d**3 - d**2 - 3*d - 3. Let g be f(-1). Suppose 2*y + g = -3*l, -l = -4*y - 4 + 5. Is l at most -1/31?
True
Suppose 0 = -5*d + 5*a - 5800, -4*a + 8*a = -4*d - 4624. Is -1158 > d?
False
Let v = 3245 + -3214. Which is greater: 59/2 or v?
v
Suppose -53*g - 19*g - 69*g = -8*g. Let f = 4/787 + -5826/836581. Is g less than f?
False
Let p = -17833/5 - -3567. Let k = 6 + -9. Are k and p nonequal?
True
Let m(a) = -2*a**3 + 27*a**2 - 32*a + 426. Let f be m(14). Are -218 and f equal?
True
Let f = -49 - -49. Let c = 36755732/2439 + -15070. Is f >= c?
False
Let p = 20069 - 40137/2. Which is smaller: p or -15875?
-15875
Let g = -25 - -30. Suppose 0 = 3*t + d + 35, -6*t + 3 = -g*t + 4*d. Let m = t + 12. Is -2/109 smaller than m?
False
Let w = -3522 - -3530. Is w > 85?
False
Suppose -10 = 4*i - 9*i. Suppose 16 = -37*o + 40*o - 2*z, -2*o - 2 = 5*z. Suppose m + 28 = -c + 5*c, -i*m = -o*c + 32. Which is greater: c or 29/5?
c
Suppose -154*v - 141*v + 5655737 = 2267662. Is 11487 at least as big as v?
True
Let g(h) = h**2 + 14*h - 8. Suppose 6*x - 18 = 12. Suppose -3*l + 60 = -x*j, 0*j + 3*l + 30 = -j. Let o be g(j). Does 8 = o?
False
Let d = -0.312 - -0.272. Let p = d + -0.06. Let f = 26.3 + -25. Are f and p unequal?
True
Let z(k) = -55*k**3 + k + 2. Let s be z(-1). Let q be (-15)/(3/8 + 567/s). Suppose u = -0*u. Are q and u nonequal?
True
Let o be 12 + ((-51912)/238)/18. Is o at least as big as 3/431?
False
Let r = 22348387/174 - 765467/6. Let g = 861 - r. Let z be 1/((-2 - -4)/(-2)). Which is bigger: g or z?
g
Suppose -4*z - 5*v + 486 = 0, 20*z - 25*z = -4*v - 587. Let d = 287 + -166. Which is greater: d or z?
d
Let y be (((-3104)/(-50))/(-8))/(42/155). Let j = y - -4/105. Do 2/3 and j have different values?
True
Let p(k) = k**2 + 113*k - 2666. Let g be p(20). Which is smaller: -153/22 or g?
-153/22
Let m be 2/8 - (-408196)/(-1803632). Let v = 2/349 + m. Let t be ((-2)/4*0)/1. Which is smaller: t or v?
t
Suppose -2*g = -2 - 22. Let d be 2/8 - ((-57)/g + -1). Let z be d/(-1)*(-20)/54*-1. Is z bigger than -3?
True
Let t(p) = -49*p + 6083. Let d be t(124). Is d at most as big as 187/32?
False
Let k = 4186.947 - 4187. Let l = 167 - 166.91. Is l <= k?
False
Let h be (-1)/(-6) - -4*(-36307)/24. Is -6053 at least as big as h?
False
Let a(g) = -7*g - 2 - 3 + 2*g. Let w be a(-2). Suppose -w*t - 3*u = 42, 3*u = -5*t + 5*u - 22. Is t equal to -9?
False
Let l be (-322)/(-18) + (-657)/(-81) + -8. Is l < 770/41?
True
Let y = -1591.3 - -1599.418. Let k = -1.268 - -1.15. Let g = y + k. Which is smaller: g or 1?
1
Let h = 19288 - 19495. Is -1237/6 not equal to h?
True
Let f = -229 + 229. Let i be -5 + f + (7 + -3 - 2). Which is greater: 1 or i?
1
Let z be 0/(-8) - 5 - 975. Let w = z - -933. Suppose 2*a - 2*n = -0*n - 10, 5*a = -4*n + 11. Which is smaller: w or a?
w
Let n be -7 + -598 + 8 + (-9)/3. Let h be n/(-295) + 3 + -6 + 1. Is 1 greater than h?
True
Let t = 5750 + -5750.0901. Are -1/2 and t equal?
False
Let o = -124 - -209. Let w be o/1 - (-28 + 26). Is w less than 87?
False
Let k = 60 + -90. Suppose -7*z - 3 - 193 = 0. Which is bigger: k or z?
z
Suppose 5*c - 222 = 2*c - 3*d, -2*c + 183 = -3*d. Do c and -56 have the same value?
False
Let t = -6.19 + -15.818. Let v = -3.552 - -3.56. Let b = t + v. Which is greater: 2/5 or b?
2/5
Let j = -21.2 + 22.68. Let r = j + 95.52. Is r < -1?
False
Let t(x) = -17*x + 230. Let o be t(18). Let g be (316/(-8))/((-3)/(-6)). Which is greater: g or o?
o
Let w be (603/135 + -1)/((-76)/(-10)). Which is smaller: -0.1 or w?
-0.1
Let r = -832 - -572. Suppose 120*c - 2368 = 129*c + g, 0 = 5*c + 2*g + 1343. Which is greater: r or c?
r
Let a = 69.05 - 67.05. Which is smaller: a or -856?
-856
Suppose 0 = -5*j + 7*m + 142, j - 8*m + 4 = -12*m. Which is bigger: 4 or j?
j
Suppose 13*t - 9*t = -8, -4*y = t + 326. Which is smaller: -89 or y?
-89
Let z(k) = 1078*k + 56057. Let l be z(-52). Let x be 2*(-1 + 2) + -96. Which is smaller: x or l?
x
Let v = 0.06041 + 0.28959. Is 11 != v?
True
Let f be (6/(-8)*2)/((-10)/17620). Let t = f - 356803/135. Which is smaller: t or -0.1?
-0.1
Let b = -18 - -17. Suppose 6*k = 2*k + 4*z + 60, 2*k + 2*z = 38. Let h be ((-196)/42)/(b*k/3). Which is smaller: 1 or h?
h
Suppose -4*n = -2*n - 132. Let w = -51 + n. Suppose -5 = -20*c + w*c. Do c and 2 have different values?
True
Suppose -w + 538 = 5*m, 0*w = 2*w + 3*m - 1062. Suppose 8*j + 8*j + w = 0. Is -36 != j?
True
Suppose 0 = -4*q + 3*l + 13, 2*q + 4*l = 5*q - 8. Su