1. Is w at most c?
True
Let h be (-2 - (-11735)/(-10))/(124/(-104)). Let t = h - 986. Which is smaller: 0 or t?
t
Let m = -2073 + 2120. Which is smaller: 187/4 or m?
187/4
Suppose -64*g = 67*g + 131. Is -8/291 at most as big as g?
False
Let i be 91*5 + (45 - 38). Is i bigger than 465?
False
Let i(l) = -l**2 - 6*l + 9. Let d be i(-7). Let u be 10/3 - (5 - d). Let s be ((11 - 12) + -4)*(-3)/(-65). Is s less than or equal to u?
True
Let x be (0/(-4))/(2 + -3). Suppose s + 3*g - 13 = 29, 0 = -3*s + 2*g + 115. Let o be (-1 - 41/s) + 16/8. Does x = o?
False
Let u be (-2)/(-16)*6*(1 - 5). Let y be (1/u)/(-6 + 147/(-18)). Let v = -153 + 153. Is v < y?
True
Suppose -p - 2*p + 6 = 0. Let g be 3/6*10 - 6*-2. Suppose -4*f - g = -c, -c + 3*c + p = -f. Which is bigger: 10/11 or c?
c
Suppose 4*b = -2*o + 70, 9*b + o = 8*b + 16. Is b at most 4?
False
Let f = 60 + -40. Let g = f - 10. Let s = 31.3 - 31. Is g bigger than s?
True
Let w = -8/75 + -14/25. Is w equal to 55?
False
Let i(m) = -m**3 + 17*m**2 + 3*m - 17. Suppose -16*g = -11*g - 85. Let d be i(g). Suppose 0*f + 2*o = f + d, 0 = 5*f - 4*o + 170. Is -34 greater than f?
False
Suppose 6*v - 8 = -32. Let y(s) = 62*s + 75. Let q be y(v). Which is smaller: -172 or q?
q
Suppose -k - 5*s - 21 = -2*s, 5*k + 40 = -2*s. Let a be (-2)/(-8) - -393*k/(-72). Is 33 less than a?
False
Suppose 3*p + 4*z - 1192 = 0, 38*z - 35*z - 1587 = -4*p. Let g = -744529/3186 + -28726/177. Let o = p + g. Is o < -1?
False
Suppose -7*a + 126 = -16*a. Let c be (-12)/a - (-5)/35. Are 6 and c equal?
False
Let a = -2965015/94 - -31543. Is a >= 1?
False
Suppose 0 = 4*c + 40 - 4. Let s = -19513/872 - -1390/109. Is c bigger than s?
True
Let m be 99363*(-53)/583*(-2)/(-33)*-1. Is m at most 546?
False
Let d be 47/423 - 31971/27. Which is greater: -1185 or d?
d
Let z be ((170176/(-60))/2)/(54/15). Let k = 394 + z. Suppose -4*d = 4*r - r + 19, -7 = -r + 2*d. Is r less than k?
True
Let t = 0 + 0.2. Let n = t - 3. Let h be (-1 - -5)*(-1)/(-4). Which is greater: n or h?
h
Let x(u) = u**3 + 7*u**2 + u + 9. Let d be x(-7). Suppose 35 = -q - r - 31, -133 = d*q + r. Let z = -120 - -53. Is q != z?
False
Let h = -2/329 + 4628/3619. Let j = h + -39/22. Which is bigger: 2.7 or j?
2.7
Let u = 25547 + -23040. Is u at most 2?
False
Let c = 87 + -1565/18. Let m = 496 + -478. Suppose 0 = m*w - 16*w. Which is bigger: w or c?
c
Let d(q) = -q - 14. Let o be d(-12). Let h(c) = -c**3 - 9*c**2 - 10*c - 18. Let m be h(-8). Let r be 2/(2*o/3) - m. Which is greater: 0.15 or r?
r
Let f = 17 - 13. Suppose 0 = -2*r + j, r + 5*j - 26 = -f. Let l be r/(2 - (-12)/(-9)). Which is greater: l or 0?
l
Suppose 0 = -2*f + 5*v - 33, 3*f + 2*v - 24 = -v. Which is greater: 33/53 or f?
f
Suppose -2*l + 1076 - 1560 = 0. Which is smaller: -248 or l?
-248
Let k = 89 - 87. Let p = -2 - -1. Let t be (p/2)/((-14)/448). Which is greater: t or k?
t
Suppose -4*p + 25 = 113. Let i be 9/6*8/p. Let z = 111 - 113. Which is smaller: i or z?
z
Suppose -5*w - 5 = 0, -2*w + 3 = 2*s + 1. Suppose -u + s*t = 5*t + 6, u = -t. Let o be 1*-1*u*(-4)/(-876). Does 1 = o?
False
Let o(w) = 11*w + 10. Let c be o(3). Let j = c + -45. Let s = -0.76 - -24.76. Is s >= j?
True
Suppose 3*x + 3*u = -108, 3*u = -5*x - 74 - 114. Is -244 <= x?
True
Suppose -60 = -35*y - 43 - 612. Is -17 at most y?
True
Suppose -80*y + 1970 + 350 = 0. Let j(b) = b**2 - 3*b + 8. Let m be j(6). Is m smaller than y?
True
Suppose 25*n - 30*n - 2*t + 54524 = 0, n - 10902 = t. Are 10905 and n unequal?
True
Let w be (0 - (2 - 1))*1. Suppose 38*i = 43*i + 970. Let u = i - -3881/20. Is u < w?
False
Let d be 4 + -2 + -5 + -84. Let s be (-3443)/40 - (-3)/(-24). Let f = s - d. Is f at most as big as 1/4?
False
Let w = -61 + 77. Let f = 20 - w. Let j be (3/1)/(1 - (f + -4)). Does 2 = j?
False
Let j = 214/377 - 12/29. Let n = -13 - -108. Let r be -2*(n/90)/(-19). Which is smaller: j or r?
r
Suppose -4*a + 4*l + 6 = -3*a, 4*a = 9*l + 52. Is a <= 4.2?
False
Let s be 13438/132*(-7 - -8) - 198/1188. Is s at most as big as 102?
True
Suppose -5*y - 7310 = 7*s - 12*s, -1453 = y - 4*s. Is -1465 greater than y?
False
Let y = -23540 - -24787. Is -4/7 >= y?
False
Let a(n) = 4*n - 3. Let r be a(6). Let k = r + -41/2. Let s = -28192 + 28197. Which is smaller: k or s?
k
Let w = 955/84 + -133/12. Which is greater: w or 8568?
8568
Let l be 1*15*(-338)/26. Let n be l/(-15) + (3 - 21/3). Does n = 3?
False
Let t be 640 - (-11 - -7 - -5) - (5 - 2). Which is bigger: t or 635?
t
Suppose 5*l + 196 = 2*h, -2*h + 188 = 1709*l - 1713*l. Let u be (-746)/(-10) - (-4)/10. Which is smaller: h or u?
u
Suppose -5*d = -4*a + 18, -67*a + 21 = -5*d - 64*a. Suppose 5 = -s - 0. Let r = 0 + s. Which is smaller: d or r?
d
Let m = -1868 - -31744/17. Let w(n) = -n**2 + 2*n + 4. Let q be w(3). Let u be q*(-1 + -3 + 4). Is m smaller than u?
True
Let o = 869/153 - 123/17. Suppose 3*k - 5*k + 23 = -3*t, 4*k - 2*t - 66 = 0. Let u(p) = -5*p + 93. Let m be u(k). Which is greater: o or m?
o
Let l be ((-2)/(-3126))/(2/18). Suppose 440*j = 26*j - 9*j. Which is smaller: j or l?
j
Let w = -7 - -6. Let x(c) = c**3 + 28*c**2 - 59*c + 2. Let k be x(-30). Let u be 108/(-13) - (-36 - k). Do w and u have the same value?
False
Let i = -5326/8835 - -5/1767. Is -122 greater than i?
False
Let w be ((-38)/(-285)*15)/((-1)/(-17)). Which is smaller: 110 or w?
w
Let c = 62293/840270 - -7/4542. Are c and 1 unequal?
True
Suppose -5*s + 1089 = -2*m + 262, s = -2*m - 869. Is m >= -439?
True
Let h be (52/10)/(4/120). Suppose 0 = -2*p + 5*p - h. Let f = p - 38. Are 15 and f equal?
False
Let d = -56867/14874 + -25/2479. Let g(y) = y + 9. Let x be g(-4). Let f = -8 + x. Which is smaller: d or f?
d
Let i = -75 - -15. Let o(d) = -16*d**2 + d + 2. Let h be o(2). Let c = i - h. Which is greater: -1/93 or c?
c
Let t = 0.02083 + -431.78083. Let p = t + 432. Are p and -4/11 equal?
False
Let r be (2 + -1)*(196 + -7)/(-21). Is r at least as big as -121/15?
False
Suppose -3*n + 2*l - 301 = 0, -3516*n = -3511*n + l + 506. Is n greater than -124?
True
Suppose 45*i = 18*i. Let r be -3 + ((-880)/(-76))/4. Which is bigger: r or i?
i
Let t = -21558 + 20765. Is -793 at least t?
True
Suppose -57*o + 55*o + 370 = 0. Let c = -185 + o. Let w be (-184)/(-110) + (-8)/20. Is w less than c?
False
Let t(x) = x**2 - 23*x - 380. Let w be t(-11). Let g be (-36)/(-16) + 1/(-4). Suppose 0 = 4*f - 2*l + 30, 13 = -f - g*l + 3. Is f greater than w?
False
Let g be ((-24)/20)/((-2)/15). Let i(a) = a**3 - 29*a**2 + 31*a - 86. Let y be i(28). Let s be ((-1178)/(-775))/(y/(-10)). Are s and g unequal?
True
Suppose -27*t + 280 = -13*t. Suppose n - t = 4*p + 2*n, -12 = 4*p - n. Which is greater: p or 0.18?
0.18
Let j = 12/73 - 1850/5037. Let r(h) = 12*h. Let c be r(0). Which is smaller: j or c?
j
Let p(i) = -3*i - 39. Let y be p(-16). Let q be y/((-18)/(-8)) + -7 - -199. Which is bigger: q or 393/2?
393/2
Suppose -5*l - 3 + 8 = 0. Let z = 5231 - 2995. Let q = -51436/23 + z. Is l less than q?
False
Let a = 1.357 - -0.333. Let u = -1.59 + a. Which is smaller: 52 or u?
u
Let a be (64/(-80))/(4356/37315 - (-14)/(-119)). Is a smaller than 878?
False
Let i be (-14 + 588530/42040)/(1026/(-48)). Which is greater: -1 or i?
i
Let d = 83.8 + -83. Is d at least as big as -47?
True
Suppose -60*c = 88*c + 47*c + 273390. Is c less than -1398?
True
Let d = 9.391 + 1.609. Are -15 and d non-equal?
True
Suppose 5 = 9*f - 112. Suppose -3*x = 2*i - 609, 5*i - f - 2 = 0. Which is greater: x or 202?
202
Let r be 3/(-2)*(19 - -1). Let w = -139 + 148. Suppose -w*z - 263 + 2 = 0. Is r greater than or equal to z?
False
Let u = -2247 + 1018. Is -1229 not equal to u?
False
Let g(a) = -12*a - 35. Suppose 2*u - 15 = -37. Let t be g(u). Suppose o = 5*i - t, -3*i + 3*o + 58 = -5. Is 20 > i?
True
Let q(y) = -1080*y + 88. Let b be q(6). Let p = 268451/42 + b. Which is smaller: p or 0?
p
Let a = 277/3 + -4718/51. Let s(y) = 9*y**2 + 18 - 2*y**2 + 4 + 9 - 41*y - 2. Let i be s(5). Is a smaller than i?
False
Let x = 2.134 + -879.134. Is x at least -1?
False
Suppose -3*p = 4*b - 48, 5 - 14 = -2*p + 5*b. Let c(g) = 9*g**2 - 11*g**3 - 1 - 9*g + 22 + 6*g**3 + 4*g**3. Let l be c(8). Which is smaller: p or l?
p
Let z = -0.307 - -0.177. Let a = z - -0.03. Let g = -5.1 + -25.9. Which is greater: g or a?
a
Let o b