pose -4 - 14 = 3*s, 0 = -3*u - 2*s - 15. Let x = -7040/23 - -306. Is u < x?
True
Let t = 2/407 + 399/1628. Let d = 150.634 + -0.634. Is t at most d?
True
Let n = 626.1 - 627.1. Which is greater: -1.313 or n?
n
Let i = -495 + 497. Let c(t) = 59*t**3 + t**2 - 2*t + 8. Let r be c(i). Is r smaller than 480?
False
Let r = 13777 - 13776.755. Which is greater: r or 0.14?
r
Let x be -211*(44/6)/(-1). Let g be (-10 + 32 - 6) + 1516. Let n = g - x. Which is greater: -14 or n?
-14
Let c(v) = v + 13. Let f(i) = i**2 + 7*i + 1. Let s be f(-6). Let j be (8/s)/((-6)/(-15)). Let a be c(j). Is 7 less than a?
True
Suppose h + 343 = 3*k + 85, h = 2*k - 172. Let t = 64 - k. Let r be -6 + 1290/198 - (-4)/t. Is -7 at least as big as r?
False
Let a be ((-2)/(-18))/((-8)/(-24)). Let y = -4.69 - -0.49. Let x = y + -6.8. Which is smaller: a or x?
x
Let n(p) = -p**3 - 11*p**2 - 37*p - 172. Let z be n(-9). Is 1/3865 <= z?
False
Suppose -2 = 2*a - 4*x, 8*a + 5*x = 7*a - 1. Let n(v) = 9*v + 6. Let q be n(-5). Let p be 80/q - (6 - 8). Which is smaller: a or p?
a
Let r = 114.95 + -73.95. Let o = 19 - 18.5. Which is smaller: o or r?
o
Let c = 20.646 - 20.686. Suppose q - 4 - 1 = 0. Suppose 5 = -q*b - 5. Does b = c?
False
Suppose 4*y - 4*n = -52, -2*y = 3*n + 21 - 5. Is y >= -8?
False
Let c(h) = 2*h + 5. Let j be c(0). Let u = -8 + 13. Suppose -12 = -3*a - 5*x - u, -a = -5*x - 9. Are a and j non-equal?
True
Suppose 0 = 2*m + 6, 3*q - 25*m - 7281 = -21*m. Is q > 2425?
False
Let o = 0.557 + -0.607. Let z = -0.15 + o. Let a = -0.06 - 0.35. Do z and a have the same value?
False
Suppose 38*z - 504 = 29*z. Suppose 0 = -4*k - z + 60. Is -3/52 != k?
True
Suppose 0 = -4*s + 104*q - 106*q + 28, -s = 4*q - 14. Which is greater: s or 165?
165
Let b = 7993/17202 - 74/183. Is b > 0?
True
Let k = 25 + -23. Suppose k*y - 5 = -4*r - 1, 0 = -4*y + 3*r + 8. Let u be (-24)/((7 - y)*1/5). Which is smaller: -21 or u?
u
Let f = 100485/172 + -584. Is f < 1?
True
Suppose b + 25 - 6 = n, -5*b - 5*n = 65. Let w be (187/(-34))/(1/2). Are w and b nonequal?
True
Let k be ((-24)/(-9))/2 - 3404/(-12). Which is smaller: k or 287?
k
Let y(j) = -2690*j + 9721. Let u be y(7). Which is greater: u or -9110?
u
Let o = 6 + -41. Let w(m) = m**2 + 3*m - 7. Let b be w(-5). Suppose 4*v = -0*v - l - 143, b*v - 4*l = -93. Is v less than or equal to o?
True
Suppose -3*g + 4*g + 2 = 0. Let t be (-6)/(-4) - g/(-4). Let i = -12/115 + -74/1495. Which is greater: t or i?
t
Let r(x) = -307*x - 2823. Let s be r(-10). Which is greater: 1977/8 or s?
1977/8
Let s = -125 - -142. Suppose 13 = 3*a - 4*m, 0*a + 5*m + s = 3*a. Suppose -q + 2 = 0, 4*p + 17 = 5*q - 17. Which is smaller: a or p?
p
Let g = 21644 + -11796. Is 9849 < g?
False
Let g be ((-3)/9 - (-824196)/(-180))*(-30)/(-9). Is g bigger than -15263?
False
Suppose -43 + 10 = 11*n. Let k be 0 + (-26)/(-19) - (-8 + 12). Is n >= k?
False
Let i = 15 - 12. Suppose 0 = -7*s - i*s + 40. Suppose -s*g = 3*l + 31, 0 = -0*g + 3*g - 3*l + 39. Which is smaller: g or -7?
g
Let i = 1369 + -1646. Which is smaller: i or -2/3?
i
Let h be (16 - -4) + 3 + -1. Suppose -5*v = -5*z + 380, 5*v - 4*z = -198 - 184. Let q = v - -101. Is q > h?
True
Suppose 15 = 3*v, -l - 9*v = -4*v - 21. Let d be l/1 + 3 - (4 + -4). Which is smaller: -4/31 or d?
d
Let z be (20/(-8))/((-30)/216). Let d be ((-1323)/z)/(3 + 0/4). Which is bigger: d or -6?
-6
Suppose -141 = -p + 13*q - 18*q, 4*p - 507 = -q. Let r = 18 - 19. Is p less than r?
False
Let s(d) = -19*d - 1. Let z be s(1). Suppose 0 = 4*y + 20 - 16. Let m be ((-66)/9)/(y - (-8)/6). Which is bigger: m or z?
z
Let b = 181/2 + -91. Are -69/2 and b non-equal?
True
Let h = 56798 + -179708875/3164. Which is smaller: 0 or h?
h
Let u = 9470 - 9495. Which is smaller: -412/17 or u?
u
Let b = 34 + -8. Let q = 1 + b. Let h(d) = 2*d**3 - 41*d**2 + 18*d + 40. Let i be h(20). Is q at least as big as i?
True
Let p be (-2)/(-4)*(-8 - -9)*122. Suppose 0 = -5*b + 3*d - 356, -2*d = -7 + 3. Let i = 130 + b. Which is smaller: i or p?
i
Suppose -125*u = -122*u - 90. Suppose u*r = 33*r. Are -8/3 and r unequal?
True
Let k = 761 - 771. Let n be 8/(-16)*12 + k. Do 0.1 and n have the same value?
False
Suppose -17*g + 78 = -75. Let x be -1*(g - 5) - -1. Is 1 > x?
True
Let m(f) = 352*f + 189. Let i be m(-4). Which is smaller: -1 or i?
i
Let f be 2*(-13)/(-26) + 10102/(-28). Let h = f - -360. Which is bigger: h or 0?
h
Suppose -82 = -4*f + 5*h, 0*h = -4*f + 3*h + 86. Suppose -4*u - 19 = -f. Is -6/53 at most as big as u?
True
Let v be (-340)/25 - (-2)/(-5) - 4. Let y be (11/(-22))/(-1 + 0 - v). Does 1 = y?
False
Let c = -35 + 38. Let o(z) = -c*z**3 + 3*z**2 + 5*z**3 - 5 + 7*z - 3*z**3 + 4*z. Let a be o(5). Which is smaller: a or 4/7?
a
Suppose 5*c = -2*p + 697, -3*p = -8*p + c + 1810. Suppose -93*u + 169*u + 6310 = 33670. Is u >= p?
False
Let p = 0.06757 + -43.06757. Is p at most as big as -31?
True
Let y be (26*(-18)/(-27378))/(46/3). Suppose 3*q - 5*n + 28 = 0, 0*q + 2*q - 2*n = -12. Which is bigger: y or q?
y
Let f = 2164 + -2166.22. Is f greater than 19?
False
Suppose -2*r - 346 = 5*d, -d - 17*r = -21*r + 78. Which is smaller: -68 or d?
d
Let k(i) = -8*i**2 + 21*i - 131. Let s(l) = 3*l**2 - 11*l + 65. Let c(t) = -2*k(t) - 5*s(t). Let u be c(-15). Is -292/9 <= u?
False
Let s(k) = -118*k**2 + 480*k**2 - 2*k**3 - 126*k**2 - 119*k**2 - 118*k**2. Let t be s(0). Which is smaller: 2/59 or t?
t
Let d = 2.372 + -2.472. Which is greater: -1/750 or d?
-1/750
Let p be (3/6 + 0)*(-3 - -5). Let s be 39/(-65) + (-396)/(-635). Which is smaller: p or s?
s
Let k = 4 + 0. Suppose 2*m + y = -y - k, 0 = -m - 3*y + 6. Let r be m + 6 - (-6)/27. Which is smaller: r or 1?
r
Let s = -2250.1 - -2161. Let b = s + 2.1. Let k = 110 + b. Which is greater: k or -0.1?
k
Let a = 27 - 1. Let x = -30.32 - -9.32. Let m = a + x. Which is smaller: m or -0.4?
-0.4
Let s be (198/(-9))/(-2) - (-8)/2. Suppose 4*d = -4*f + 12, -4*d = -f - 8*d + s. Let m be (-11)/(-22) + 110/(-252). Which is greater: f or m?
m
Let k(x) = 6*x + 53. Let b(t) = 6*t + 54. Let f(h) = -6*b(h) + 5*k(h). Suppose -3*l = -7*l + 2*v - 46, -25 = 4*l + 5*v. Let a be f(l). Is -5/16 < a?
True
Let o be 101*(36/180)/(1/30). Which is greater: 607 or o?
607
Let a = 11974 - 3698. Which is bigger: 8277 or a?
8277
Let w = -437 + 666. Let k = w + -229. Which is smaller: k or 18?
k
Let s = 54 + 89. Let a = s - 165. Is -1 smaller than a?
False
Let s(a) = -a**2 + 3*a. Let o be s(11). Let g = 6546 - 6635. Is o at most g?
False
Suppose 0 = -115*i + 397*i - 18048. Which is smaller: 85 or i?
i
Suppose 16*k - 16 = 8*k. Suppose 3*m + 4 = 4*r, 0*m + k*m = -4*r - 16. Is -4 smaller than r?
True
Let m(f) = -11*f - 97. Let y(a) = -22*a - 193. Let x(k) = 5*m(k) - 2*y(k). Let w be x(-5). Which is greater: w or -45?
w
Let j = -2.042 - -2.732. Which is bigger: 42 or j?
42
Let k = 8.7 + -47.7. Let s = k + 15. Let m = 23.8 + s. Which is bigger: m or -8?
m
Suppose 21537 + 53013 = 15*n. Let w be (-2)/(-17) - n/(-238). Which is greater: 112/5 or w?
112/5
Suppose -5*y = v - 422, 2*y + 5*v + 270 = 5*y. Suppose -3*i - y = -2*h + 131, 3*h = -5*i + 343. Is 111 <= h?
True
Let h = -5915 + 5920.2. Is 4 != h?
True
Suppose 31 = 4*c + 3*b, -1407*c + 1408*c - 2*b + 17 = 0. Which is smaller: c or -1847?
-1847
Let r be (-1)/(-2)*-1*(149 - 31). Suppose 5 = 2*w - 3. Suppose -236 = w*d - 0*d. Is d smaller than r?
False
Let q(p) = -1238*p + 8061. Let t be q(6). Is t at least 633?
True
Let u = 36072167476/10293 + -3504534. Let y be 2 - (2/(-9) - (-1481)/657). Let c = y - u. Which is smaller: 0 or c?
0
Suppose -o + l + 70 - 71 = 0, l - 1 = -4*o. Which is smaller: -2/19693 or o?
-2/19693
Let w = 17822 - 8340697/468. Is w bigger than 1.6?
False
Let n be (4/7)/((-10)/(-35)) + -1. Is n > 53/30?
False
Let l be -4 - 49/(6012790/(-490960)). Which is smaller: l or 1?
l
Let m = -12.1524 - -12.264. Does -2 = m?
False
Let d = 203771/39368109 - -2/41137. Is 1 less than d?
False
Suppose 0 = -94*n + 92*n + 896. Let x = 13889/31 - n. Do 1 and x have different values?
True
Let h be (4 + -3 + -11)*1. Let i be 275/(-11) + (0 - 0). Let t = h - i. Is t greater than -1?
True
Let c(i) = 230*i**2 - 107*i - 412. Let j be c(-4). Which is greater: 3694 or j?
j
Let d = -129 + 181. Let n = d + -48. Suppose n*r = 3*r + 2*j + 1, -4*j = -4*r. 