Let d be 210/144*(-2)/(-7). Let v = -772 + 771. Which is smaller: v or d?
v
Suppose 0 = -l + 2*s - 2, -3 = 3*l + s + 38. Let v be -5 - (-404 - (8 + -4)). Let r = v + -414. Which is smaller: l or r?
l
Let q = -5555 + 5513. Is -31 <= q?
False
Suppose -4*h = -2*k - 1082, -4*h + 3*h + 3*k = -263. Suppose 18*a = 14*a - h. Suppose -134 = 3*l - l. Which is smaller: l or a?
a
Let r(f) = -10*f**3 - 5*f**2 + 66*f - 342. Let z be r(7). Which is smaller: z or -3556?
-3556
Let q = -90 - -90. Let v = -1928/13 - -148. Which is smaller: v or q?
v
Let v be (-6)/57 + (-25)/95*106. Does v = -28?
True
Let n = -2984 + 3032. Which is greater: n or -2/67?
n
Suppose 5*a = 2*a - 6. Let m be 78/36 + a/(-4). Let r = 0.0556 + -2.0556. Is r equal to m?
False
Let w be (-4)/18 + 203/63. Suppose 25 = -b - 0*b - w*o, -3*o - 161 = 5*b. Let v be -1*31 + (1 - 4). Is b <= v?
True
Let s(m) = m**2 - 11*m - 81. Let o be s(16). Is 383 bigger than o?
True
Suppose 26*t - 20*t = -18. Let b = -11 - -14. Suppose -q + b*p - 8 = 7, 5*p - 25 = q. Which is smaller: t or q?
t
Let m be (-1)/(1/26*2). Suppose 71 = -3*x + 2*j, 3*x - 201 + 202 = -5*j. Which is smaller: m or x?
x
Suppose -u = -7 + 9. Let f(y) = -12*y**2 + 8*y + 8. Let g be f(u). Which is bigger: -55 or g?
-55
Let s be 10/2 + 90/(-54). Suppose 3 = r - 12. Suppose -i + r = 4*i. Is i != s?
True
Let k be 3*(2 + -4)/2. Let m be (2 - (-14)/k)*(-30)/20. Let d(r) = -r + 5. Let j be d(m). Which is smaller: 3 or j?
j
Let u(i) = i**3 - 45*i**2 - 445*i + 21517. Let f be u(44). Let q = -208 + 220.9. Is q bigger than f?
True
Suppose p + 10 = -2*v - 25, 75 = -4*v + 3*p. Let k(t) = 26*t + 84. Let y be k(-4). Is y <= v?
True
Let i = -0.3031 - -0.6031. Let d = -35.8 + 40. Let x = d - 4. Is x at most i?
True
Let r(h) = -h**2 - 10*h + 12. Let p be r(-11). Let u be (p - 1)*(-4)/4. Suppose -2*x + 5*m - 15 = u, 2*x - 4*m + 4 = -8. Which is bigger: x or -15/11?
x
Let g be -9 + 2 - (331786/(-19517) - -10). Is g >= -1?
True
Let h(n) = 2*n + 38. Let k = 55 + -72. Let l be h(k). Let u be 6*(l + 22/(-4)). Is u bigger than -9?
False
Let b be ((-9)/(-2))/(5/90). Let l = 90 - b. Is l greater than or equal to 9?
True
Let h be 4/(344/88 + 1*-4). Let l be 8/h - (108/(-66))/(-2). Are 182 and l nonequal?
True
Let p = -270 + 276. Suppose 13*k - p*k = 161. Let b be ((-4)/5)/((-4)/110). Is k greater than b?
True
Let q(m) = m**2 + 6*m + 4. Let v be q(-7). Let i = 7 - v. Let b be (8/(-6))/(-1)*(-87)/58. Is b less than or equal to i?
False
Let l = -6637 + 4458. Let v = -368249/169 - l. Is -1 greater than v?
False
Let c(j) = j**2 - 18*j + 18. Let k be c(16). Let a be ((-294)/k)/(6/(-4)*-2). Is 64/9 less than or equal to a?
False
Let a be (-64)/(-12072)*24/(-32). Is a <= -1?
False
Let p = 25 - 153. Let x = p - -124. Which is greater: x or 1/5?
1/5
Let l be (-63)/(-69)*(-15 - -1). Which is bigger: l or -12?
-12
Let c = -2242/11 - -15947/77. Let f = -2 - -4. Are f and c unequal?
True
Let k(p) = -p**2 - 10*p - 4. Let r be k(-7). Let s be ((-4)/(-3))/((-18)/(-81)). Suppose -s*q + 38 = -58. Which is smaller: r or q?
q
Let o(u) = 8*u + 257. Let h be o(-31). Let x(b) = -b + 1. Let p be x(-11). Let l = 12 - p. Which is bigger: l or h?
h
Suppose 2*h = -o + 115, -4*o + 5*o + 5*h = 127. Suppose -13*r = -16 + o. Let q be r - -2 - (-96)/22. Is q > -2?
True
Let f be (-67)/(-161) + 2/(-7). Let v(c) = c**3 - 50*c**2 + 454*c - 2159. Let o be v(40). Which is smaller: o or f?
f
Let r(p) = -p**3 - p**2 + 13*p - 6. Let o be r(0). Which is smaller: o or -18?
-18
Suppose -k - 20 = -p - 1, 44 = 2*p - 4*k. Suppose 26 = -21*m - p. Let r(a) = a**2 + 6*a + 1. Let v be r(-6). Is m at least v?
False
Let h be (46/(-206))/(5 + 2 + 90/(-15)). Which is smaller: h or 1?
h
Let r(s) = -s**3 + 3*s**2 - s - 1. Let f be r(2). Let u(y) = 23*y + 93. Let d be u(-4). Suppose -4*w - d = 5*t, -29 + 9 = 4*t. Are f and w unequal?
True
Let q = 0.6676 + 0.1214. Let y = 0.189 - q. Is -1/3 not equal to y?
True
Let l be 1 + (-1 - (10 - 5)). Which is smaller: l or -22?
-22
Let d be (32632/12663 - 2) + (-136)/238. Which is smaller: d or 0?
0
Let p = 212 + -322. Let l be ((-10)/1)/(p/(-11) + 3). Which is bigger: l or -0.04?
-0.04
Let f(r) = -r**3 + 24*r**2 + 27*r - 34. Let k be f(25). Let j(l) = -l**3 + 15*l**2 + 17*l - 16. Let n be j(k). Which is bigger: -1 or n?
n
Let m be -10 - ((-42)/(-6) + -18). Let c be ((-268)/18)/((-6790)/21). Let t = 2/97 + c. Which is bigger: m or t?
m
Let o = -130045 + 130048. Let m = 0.08 - 3.28. Which is bigger: o or m?
o
Let k(p) = 423*p - 13735. Let o be k(13). Is -8236 > o?
False
Suppose 2*z + 11 = -9*z. Let a be 2 - z - (8 - 1). Is 0 at most as big as a?
False
Let o = -97372 - -97385. Let w = -4.5 - -4. Let x = w + 1.5. Is o at most x?
False
Let u = -35/318 + 1361/252174. Let l = u + -3/61. Which is smaller: l or 1?
l
Let t be (-19648)/80 + 2/(-5). Let s = t + 779/3. Let k = -14 + s. Which is smaller: 59 or k?
k
Suppose 3*x - 2*x + 3*q = 6, 3*x = q + 28. Let z be 72/(-27)*x/30. Do z and -5 have different values?
True
Let f(g) = -341*g - 2726. Let a be f(-8). Is a equal to 35/53?
False
Let p = -267.82 + 34.82. Which is greater: 1/15 or p?
1/15
Let k = -1455/806 - -57/26. Let o = 2774 - 1721. Let p = -1052 + o. Is p at least as big as k?
True
Let z = -40 - -40.03. Let t = -0.14 + z. Let n = t - -0.01. Which is greater: n or 21?
21
Let b = 3606.5 - 3607. Is b less than or equal to 515?
True
Let h be (-26)/(-2) + (-8)/4. Suppose h = 6*z - 7. Let k(w) = -w**2 + 9*w - 4. Let x be k(8). Is x != z?
True
Suppose 105*b = -319738 + 1507603. Which is smaller: b or 11312?
11312
Let i = -2298287/25 + 91893. Is i greater than -38?
False
Let v = 658 - 651. Suppose 4*z = 2*l + 10, 4*z - l = -0*z + v. Which is greater: z or 6?
6
Let n = 8.5 - -24. Let m = 30.5 + n. Which is smaller: m or 0?
0
Suppose -3*b + 5*n = 127, 5*n + 146 = -2*b - 2*b. Let r = -4520/21 - -1229/7. Are b and r nonequal?
True
Suppose 15 = -2*p + 5*a, 9*p + 3*a - 9 = 13*p. Which is smaller: p or 6/523?
p
Suppose 0 = -9*b - 2 + 173. Let t be -4 + -2 - 16/20*-31. Do t and b have different values?
True
Let g(h) = h**3 + 18*h**2 - 24*h + 143. Let s be g(-21). Which is greater: s or -675?
-675
Let m(k) = -k - 37. Let t be m(-38). Let x be (97 + -97)/((-4 - 0)*t). Do x and -1/20 have different values?
True
Let o(j) = -2*j**3 + 14*j**2 + 2*j - 5. Let n be o(7). Let g = -3 + n. Let d be 9/g*12/9. Which is bigger: 3/5 or d?
d
Let n = 54.6 - 62. Let s = n + -15.6. Let m be 13/39 - 13/21. Which is smaller: m or s?
s
Let w be ((-50)/628488)/(2/(-1576)). Let a = w + 1/1247. Which is bigger: 0.1 or a?
0.1
Let o = -0.0114 - 23.1886. Let x = o + 20.2. Is x less than or equal to 0.22?
True
Let z be (3*5/45)/(1/6). Let y be z/10 + (-66)/30. Let n be (13/y)/((-1)/(-4)). Which is smaller: -27 or n?
-27
Let q = -1 + 2. Let g = 15/1204 - -16571/22876. Are g and q unequal?
True
Let j be -34 - (-1)/2*-4. Suppose -185*l + 1080 = -215*l. Let m = l - j. Are 2/113 and m equal?
False
Suppose 0 = 5*j + 3176 - 371. Let k = j + 562. Suppose 4*d = 3*d. Which is bigger: d or k?
k
Let x = -14/113 - -404/5085. Suppose 8*v = 3*l + 3*v + 694, -v - 1 = 0. Let h = -233 - l. Which is greater: x or h?
h
Let d = 6535 - 6527. Which is smaller: d or 71/10?
71/10
Let d = 198 - -82. Suppose -9*x - d = 503. Is x greater than or equal to -87?
True
Let y = -10727 + 10727. Which is smaller: -1/1090 or y?
-1/1090
Let b = 523 + -307. Suppose 986*q - b = 995*q. Which is bigger: 2 or q?
2
Let a = -25/654 + 93577/2439420. Which is bigger: 1 or a?
1
Suppose 3*g = g + 2*x + 180, 2*g - 180 = -2*x. Let k be 112/g*((-54)/24)/(-3). Which is greater: 2 or k?
2
Let t = -0.3445 + -21.6555. Let b = -41 - -4. Let j = b - t. Is 0.2 at least as big as j?
True
Suppose -3*z + 3*p + 24 = z, 2*p + 8 = 0. Suppose 113 = 5*b - 2*g - 152, b - 40 = z*g. Suppose 7*o = 2*o + b. Are o and 7 equal?
False
Let c = -76589629/35 + 2187973. Suppose 0 = -0*m + 2*m - 604. Let k = m + c. Which is greater: 0 or k?
0
Let k = 0.1 + 0. Let l = 5935 + -5867.82. Let f = 6.18 - l. Which is smaller: f or k?
f
Let t be (-4 + 6)/18 + (-368387)/3313917. Do -1 and t have the same value?
False
Let n = 525 - 529. Let t be (n/592)/(6/(-48)). Is 2/3 greater than or equal to t?
True
Suppose 890 = 5*b - 6*i + 2*i, 0 = 2*b + 4*i - 328. Suppose -525