 be (-9)/12 - (-270)/40. Suppose k*m = -2*m + 3*m. Which is smaller: m or -5/42?
-5/42
Suppose -2*n = -4434 - 496. Let t = n + -105983/43. Which is smaller: 1 or t?
t
Let z = 89.3 + -81.72. Let t = z + -7. Let b = 0.08 - t. Is -1/2 > b?
False
Let c = -4.55 + 4.768. Let l = c + -0.018. Which is greater: l or 0.29?
0.29
Let s = 17 - 13. Suppose 4*f + 0*q - 2*q - 108 = 0, -4*f - s*q + 108 = 0. Let u be f/144 - (10/8 + -1). Is 0 <= u?
False
Let h = 377.4 + -439. Let q = h + 59.3. Which is greater: -1/5 or q?
-1/5
Let q(b) be the third derivative of 3/2*b**3 + 1/3*b**4 + 0*b + 7*b**2 + 1/60*b**5 + 0. Let s be q(-10). Which is smaller: 30 or s?
s
Let m = -207 - -187.3. Let d = m + 5.5. Is -0.2 at most as big as d?
False
Let s be (-91504)/(-21798) - -4*(-3)/(-6). Let n = s - 15/173. Which is bigger: 6 or n?
n
Let x(j) = -7*j - 5. Let g be x(-4). Suppose -r + u = 1, -4*u - 9 = -2*r - 21. Suppose r*y - 79 - 21 = 0. Which is smaller: y or g?
g
Let d(b) = -8*b + 197. Let i be d(27). Let a = 16 + -39. Which is bigger: i or a?
i
Suppose 2*f = 13*o - 364 - 379, -3*o = -f - 172. Which is smaller: o or 68?
o
Suppose 2*r + 72 = 5*r. Suppose -v - 4*n - 2 = r, 2*v - 3*n = 3. Let h be v/399*(-14)/6. Does 1 = h?
False
Let h be (-320 - (0 - 4))*(-8)/8. Is h at least 317?
False
Let t(i) = i**2 - 4*i + 2. Let g be t(4). Let y be (-154)/(-4)*(-4)/(-6) - g. Let w = 45/2 - y. Which is smaller: 0 or w?
w
Suppose 3*q - 4*x = 337 + 72, 3*q - 413 = 5*x. Is 525/4 >= q?
True
Let t = -17/6 - -109/30. Let r = -7.49 + 2.12. Let v = -1.37 - r. Which is smaller: t or v?
t
Let l(m) = -8*m - 1. Let z be l(2). Suppose 6*o = 2*r + 9*o - 67, -2*r = o - 57. Suppose -r*k + 4*k = 352. Is k greater than or equal to z?
True
Suppose -5*d + 11*h - 6*h = -5, -4*h + 16 = d. Suppose 0*w + d*w = 16. Is 5 at most as big as w?
False
Let a = -4/537 + 2837/20406. Let q = 35 + -30. Suppose q*v = 1 + 4. Which is smaller: v or a?
a
Suppose 5*z = 114 + 231. Suppose -5*y - 26 = z. Let k be -9 + 8/(-1 - 0). Which is bigger: y or k?
k
Let w = 82 + -12. Let p be 17/20 - 42/w. Let f = 4.9 - 5.9. Which is greater: f or p?
p
Suppose 3*m = q - 2 - 13, 5*m = -3*q - 11. Do m and -12 have the same value?
False
Let t be 35/15*(150/(-35) + 4)*1. Which is smaller: t or 4286?
t
Let g be 3*14/(-231) + 5788/11. Suppose 6*i - g = i + 4*z, -z + 98 = i. Suppose -i = 2*r - 106. Which is smaller: r or 7?
r
Let l be ((-36)/21)/((-14)/735). Is l != 14?
True
Let m = -2048 - -159749/78. Which is smaller: m or 0?
0
Let m be 18 + (0 - 12) + 1/(-3443)*20659. Is m at most as big as -1?
False
Let o be (-26)/585 - (-58284)/(-810). Which is smaller: -132 or o?
-132
Let q be ((-141)/(-6))/(55/210) + -1. Is q greater than 88?
True
Let b = -293/7 + -765/14. Let s = b - -78. Is s less than or equal to -18?
True
Let y = -1434 - -1494. Suppose -3*s = -119 + 293. Let r = s + y. Which is greater: 3 or r?
3
Suppose 0 = 59*a - 30186 - 67223. Which is smaller: 1647 or a?
1647
Let w = 3.416 + -2.516. Let z be (-2 - -2) + 4/7. Is w greater than z?
True
Let y be ((-42)/7 - 229040/(-38175))/(-1). Is -1 greater than y?
False
Let x = -4264/5727 - -63/83. Is -1/109 > x?
False
Let c be (28 - 4752/160)*10/(-8). Which is smaller: -1 or c?
-1
Suppose 4*l - i + 65 = 0, 4*l + 5*i = 3*l - 11. Let k be (8/l + 1 + 1)*118. Is 177 bigger than k?
False
Let j(f) = f**2 + 17*f - 26. Let h be j(-19). Suppose -15*c - 246 = -h*c. Let z = 71 + c. Is z at most -0.5?
True
Suppose 0 = 5*q - u - 2, u + 2 = -301*q + 297*q. Is q at least 1/1507?
False
Let u = -292/687 - -2/2519. Which is smaller: u or -7?
-7
Suppose h - 73 - 49 = 0. Let n = h - 122. Which is greater: -9/71 or n?
n
Let j(r) = 176*r - 352. Let g be j(2). Is 5/747 smaller than g?
False
Let l = 25681.0421 + -25681. Which is bigger: -4 or l?
l
Let j be ((-7)/((-105)/(-20)))/((-52)/(-198)). Let b = -1438/273 - j. Is 4 less than b?
False
Let b = -3047 - -2814. Which is smaller: b or -231?
b
Let n = -89 + -57. Let s = 7504 + -7650.04. Let v = s - n. Is 2/5 less than or equal to v?
False
Suppose -3*o = 3*o + 24. Let c(v) = v**2 - 7. Let d be c(o). Suppose 0*p + p + 2*b = -4, -3*b = d. Is p not equal to -1?
True
Let q = -2.176 - 136.724. Let o = q + 139. Is o equal to 0.06?
False
Let x be ((-144)/(-20))/((-33)/(-10) + -3). Let y be (x/(-76))/(-3 + 13). Which is smaller: y or 0?
y
Let u(o) = -o**3 - 81*o**2 + 618*o - 13. Let f be u(7). Which is smaller: 5/407 or f?
5/407
Let v be 356 + 4 + ((-10)/(-5) - 6). Let a(s) = s**2 + 38*s + 343. Let t be a(-15). Are v and t unequal?
True
Suppose 73*z + 1706343 = -140*z - 0*z. Are z and -8010 equal?
False
Let w = 1.207 + -1.177. Which is smaller: w or 0.14?
w
Let c be 5 - ((-200)/(-36))/5*9. Is c less than or equal to 43?
True
Let h be (-6)/2 - (-2 - 1). Let q = -346/3 - -66772/579. Which is greater: h or q?
h
Let v be (-2)/9 - (-5)/((-45)/7). Let o be (-3)/(-6)*-2*(-7 + v). Suppose -l - 3*l + o = 0. Is l at least 3?
False
Suppose 32*c - 35*c = -q + 57, 0 = c - 3*q + 27. Suppose -5*n + 5*f + 1 = 2*f, 5*n + 2 = 4*f. Suppose -72 = 3*r - y - 4*y, n*r + 35 = -y. Is c <= r?
False
Let o = -722385974 - -3190778832035/4417. Let z = 3/631 - o. Which is smaller: z or 4?
z
Let d be -3355*6/(-2265) - 9. Which is bigger: d or 0?
0
Let y be (360060/(-520))/(-51) + -1*5. Is y at most as big as 10?
True
Suppose 3*n + 124*k = 127*k - 6009, -n - 1995 = -3*k. Is n bigger than -2003?
False
Let m = 26.83962 - -0.16038. Is 192 bigger than m?
True
Let w be ((-1)/(-5))/((-152)/20). Let d(g) = -2*g**3 - 10*g**2 - 2*g - 11. Let z be ((-13)/26)/(2/20). Let j be d(z). Does j = w?
False
Let k be 6/18 + -3*(-78)/27. Suppose 0 = -7*n - k*n + 240. Is n <= 17?
True
Suppose 0 = 9*t - 31 + 49. Let j be (-2)/7 - t/((-168)/(-45)). Is j at least -14?
True
Let x(p) = -3*p + 30. Let k be x(12). Let t be 2*-5 + (-5 - k). Let v = 0.17 + 0.03. Is t >= v?
False
Let v = -64 + 64. Are v and -4/169 nonequal?
True
Let w = -15 - -17. Let h be w*-1 + 86/36. Suppose -9*y + 32 - 41 = 0. Do h and y have the same value?
False
Let o(b) = -15*b - 9*b + 3 - 10*b + 9 + 7*b. Let i be o(3). Is i at least as big as -70?
True
Let n = 11904 - 35591/3. Which is bigger: 3/4 or n?
n
Suppose 15*c = 39*c - 9*c + 2*c. Let b = 22/7 - 3373/1071. Which is greater: c or b?
c
Let l = 3374 - 2399. Suppose -4*v + v = -l. Let o be (-2)/13 + 16300/v. Which is greater: 49 or o?
o
Let q = 77.197 - 84.197. Let b = -16 + 11. Is b less than or equal to q?
False
Suppose 10*p - 8*p - 68 = 0. Let l = p + -29. Suppose -b - 2*t = 57, -5*t = l*b + 355 - 75. Is b smaller than -55?
False
Let t = -0.384 + 0.184. Let n = 2882 + -2877. Which is smaller: t or n?
t
Let p(r) = -6*r**3 + 16*r**2 + 29*r - 41. Let d(i) = -5*i**3 + 18*i**2 + 30*i - 42. Let y(s) = -5*d(s) + 4*p(s). Let q be y(27). Is -143 at most q?
True
Let r = -2697 + 2714. Do r and 21 have the same value?
False
Let f = 435.0571 + -0.0571. Let l = 434.9 - f. Which is smaller: l or 200?
l
Suppose 0 = 5*y - 2*d - 14652, 5838 = 279*y - 277*y + 3*d. Which is smaller: 2927 or y?
2927
Let o be -2 - -3 - -1 - -3. Let m(y) = 3*y - y + 9*y - o + 6*y**2 - 5*y**2. Let r be m(4). Is 56 not equal to r?
True
Let h = -84 + 83. Let u = -119 + 108. Let i = -18 - u. Which is smaller: i or h?
i
Let q = -389 - -382. Let g be q - 15/(4 - 7). Which is smaller: g or -16/9?
g
Let h = 89969/650715 + 2/10011. Let w(n) = 3*n**3 - n**2 + 2*n. Let g be w(0). Which is bigger: g or h?
h
Let l = 630 - 630.09. Let z = -141/2 + 70. Which is smaller: l or z?
z
Let q = -26 - -47. Let c be ((-183)/9)/((-1)/(-27)). Let y be q/14*6/c. Is -1 >= y?
False
Let x = 251 + -304. Let n = x + 0. Which is bigger: 7 or n?
7
Suppose 16*b = 18*b - 10. Suppose -b*a + 3*a + 156 = 4*y, -3*a = -2*y + 86. Let u be 5/(y/324) + -1 + -2. Is 37 > u?
False
Let b = -8526 - -8273. Is b greater than 0.2?
False
Let b = -6750648/1025 - -6586. Let x be (6/12)/(4/62 + (-1085)/1922). Which is smaller: x or b?
x
Let c(w) = 3*w**3 - 25*w - 85*w**2 - 38*w**2 + 31 + 97*w**2 - 4*w**3. Let a(p) = -p**2. Let l be a(-5). Let v be c(l). Is v bigger than 32?
False
Let w = -157 - -251. Suppose w = -9*g + 103. Is g greater than 5/3?
False
Let b = 81/29 - -4751/116. Suppose 110 = -5*a - 4*o + 350, 98 = 2*a + 2*o. Is b at most as big as a?
True
Let g be 4554/(-12760) + 39/260. Let r = -1 - 