673/2. Let t = -108 + x. Let k = -3 + t. Which is bigger: k or -0.03?
-0.03
Suppose 65 = -2*z - 177. Let u be z/3 + 56/(-12) + 5. Let l be 10/u - 125/(-4). Is l less than 30?
False
Let g(u) = -5*u - 78. Let v be g(-17). Suppose -d = -2*n - 18, -v*d - 3*n = -3*d - 127. Is d < 25?
False
Let m = -736 + 736.04. Is 0 >= m?
False
Let o = -2.9 - -3.34. Let b = o + -0.419. Let h = 6.73 - 6.83. Is h at most as big as b?
True
Let f = 61 - 64.4. Let d = -1.1 - f. Let p = d - 2.4. Which is smaller: -13/4 or p?
-13/4
Let m be 98760/(-12420) + (-6)/27. Which is bigger: m or -9?
m
Let j = -62166 - -621659/10. Let f = -5 - -14. Is f at least j?
True
Let k be 1/(-2 + -3) + (-320781)/345. Is -929 equal to k?
False
Let p be 6*(28/(-6))/2. Suppose 14*m + 13*m + 34*m = 10*m - 27*m. Which is smaller: m or p?
p
Suppose 4*x - 145*j + 140*j + 14371 = 0, -3*x = j + 10783. Is x > -3594?
False
Suppose 4245 = -5*s - 5*y, 0 = 4*s + 5*y + 2862 + 535. Let d = s + 16114/19. Which is greater: d or -82?
d
Let d be (10/(-10) - 6/(-4))/(8/976). Which is greater: d or 437/7?
437/7
Let q = 150 + -230. Let x = -79.9 - q. Which is bigger: x or 33?
33
Suppose -8970 = -29*u - 241. Let w = 297 - u. Which is bigger: w or -14?
w
Let p be (50/1)/(75/(-9) - -9). Let n(v) = 77*v**2 - 1. Let d be n(-1). Is p greater than d?
False
Suppose 28 - 3 = 5*h. Let t = -8 + h. Let o = 91/86 + -153/43. Is o >= t?
True
Let c(b) = -b**3 + 13*b**2 + 2*b - 22. Let t be c(13). Suppose 3*x + 1 = 5*g, -3*x - 7 = t*g - 3*g. Which is smaller: g or -1/108?
g
Suppose 3*p + q - 9 = 0, 37*p - 4*q + 14 = 38*p. Let b be (63/14 - p)*554/(-5). Which is bigger: b or -279?
b
Suppose -1926 = -4*c - 490. Let g = -355 + c. Is 2 bigger than g?
False
Suppose 4*b = 5*m + 60, 0*m = 4*b + 2*m - 32. Suppose 4*i = z + 5, z - 5*i + b = -4*z. Let f be 4/z - 11/6. Do f and -6 have the same value?
False
Suppose -1054 = 166*w - 19853 - 2117. Is w at least as big as 755/6?
True
Let o be (-1)/3 + 6/22. Let s(w) = 2*w**2 + 4*w - 40. Let g be s(5). Let i = -31 + g. Are o and i non-equal?
True
Let m be 6/12 - 193/414. Let f = 8038/1035 + m. Which is smaller: f or 7?
7
Let p(r) = 410*r - 4281. Let l be p(28). Which is greater: -1 or l?
l
Suppose -22674 - 16779 + 4263 = 45*x. Is -772 greater than or equal to x?
True
Let w = 0.239 + 219.661. Let r = 207 - w. Let t = -13 - r. Which is smaller: 54 or t?
t
Suppose 2*l - 110 - 44 = 0. Suppose -2*s + 0 = -5*k + 29, 4*k - 16 = 4*s. Suppose -p + 4*u + 89 = 0, -4*u + 219 = k*p - 4*p. Is p equal to l?
True
Let f(g) = g**3 + 3*g**2 - 18*g + 1. Suppose 0 = -14*h - 12*h - 156. Let y be f(h). Is -2/231 >= y?
False
Let v = 549 + -470. Let f = 83 - 5. Is v at most f?
False
Let x be 2 + (1/3)/((-15)/225). Let t be (-9)/27 + (-6)/x. Suppose -2*d = 5*h - 1, 6*d = -4*h + d - 6. Which is smaller: h or t?
h
Let q = -4 + -2. Let z be (q/(-18))/(-1*(-2)/1266). Do 211 and z have different values?
False
Let u(o) = 4*o**2 - 87*o - 152. Let t be u(36). Which is smaller: t or 1895?
1895
Let d(k) = k**2 - 9*k + 1. Let w be d(9). Suppose 2*p + 37 = -w. Let v = -19 - p. Is v >= 1/18?
False
Let v(x) = x - 8. Let p be v(10). Suppose -2*s = n - 19, p = s - 6*n + 4*n. Suppose q = -5*y + 30, 0*q - 4*q - 5*y = -60. Is s >= q?
False
Suppose -51*m - 1112 = -66*m + 1138. Which is smaller: m or 151?
m
Suppose 10*p - 39*p - 116 = 0. Let w be 2*(p + 21/5). Let j(l) = l**2 - 2*l - 3. Let x be j(3). Is w > x?
True
Let r = -91084570/599 + 152061. Is 1 smaller than r?
False
Suppose 6*d - 7*d - 3 = -2*m, 0 = 3*d + 9. Is m greater than -25/82?
True
Suppose -18*u + 28*u - 15*u = 0. Let n be -2*(-258)/(-36)*(u + -3). Which is smaller: n or 46?
n
Let u = -218 - -74. Let g = -0.28 - 70.72. Let k = u - g. Is 1 < k?
False
Suppose -24*r + 16 = -128. Let a be -12*(r + (-8 - -3)). Are -12 and a unequal?
False
Let t be (-45)/55 - 4/22. Let i be (t - 1)*25/(-2). Let f be (-30 - -61) + 2 + -10. Does i = f?
False
Suppose 0 = 526*g - 511*g - 13875. Suppose 1537*u - 1532*u = g. Is 186 bigger than u?
True
Let g(h) = h**3 - 15*h**2 - 12*h - 19. Let y be g(16). Suppose 3*l - 51 = -5*c, y = 5*c - l - 18. Suppose 2*w - 6 + c = 0. Which is smaller: w or -4?
-4
Let q = 552553/42 + -41747/3. Let x = q - -760. Let g(s) = s**2 - 1. Let y be g(-1). Does x = y?
False
Suppose -461 = -9*y - 38. Let h = -62 + y. Let q be ((-42)/h + -3)*0. Is q not equal to 18?
True
Let n(v) = v - 1. Let x be n(-2). Let i be -1*13*x/(-48). Let h = -1853 - -1853. Is i at least h?
False
Let z(h) = h**2 - 8*h - 91. Let w(o) = -o**2 + 7*o + 93. Let f(x) = -5*w(x) - 6*z(x). Let u be f(16). Are 33 and u nonequal?
False
Suppose -3*x - 2*k + 18 = 0, 3*k - 3 = -5*x + 27. Let v(a) = -3*a + 19. Let c be v(x). Is 5/47 greater than or equal to c?
False
Let w(b) = b**3 - 6*b**2 + 14*b - 5. Let s(h) = -3*h**2 + 14*h + 7. Let q be s(5). Let r be w(q). Which is greater: r or 78/11?
78/11
Suppose 0*o + o = 8. Let z be (100/20)/(2/(7 + 1)). Let v be (-7)/(21/(-10))*48/z. Is v <= o?
True
Let a = -111 + 129. Suppose 9 = -4*y + 45. Let r be a/(-12)*186/y. Is -32 < r?
True
Let s be (12*(3 - 4))/1. Let b = s - -15. Suppose b*k + 4*l = -l + 35, k - l - 17 = 0. Which is bigger: k or 16?
16
Suppose -4*i = 4*n - 8*i - 28, -3*n = i - 9. Suppose -2*a = 3*u - 122, -82 = 4*a - n*u - 306. Which is greater: a or 56?
a
Let y = -9438 + 7896. Is -0.2 > y?
True
Let p be ((-1)/3)/(8/72). Suppose 4*d - 2*d = -1654. Let a = d - -4114/5. Is p at least a?
True
Suppose 8*t = -8*t + 15*t. Suppose 5*f = -3*x - 24, t*x - x = -3*f - 20. Is f less than or equal to -70/11?
False
Let p = -8895 - -5878. Which is smaller: p or -3013?
p
Let p = 2.79 + -2.83. Suppose 5*b + 18 - 63 = 0. Suppose -6 = 3*r - b. Which is bigger: r or p?
r
Let s be 8/520*-10 - 151513/13. Let t be 3/15 - ((-13716)/s)/6. Which is smaller: t or 1?
t
Let c be 19404/(-374) + 16/(-136). Which is smaller: -13 or c?
c
Let m = -38317 - -9617583/251. Which is bigger: m or 1?
1
Let r be 996/52 + 38/(-247). Let o be ((-10)/8)/(2/32). Let b = o + r. Is 1/4 != b?
True
Let b = -11272/23 + 490. Let d be 8/(-2) - 108/(-28). Is d != b?
True
Suppose -9*m = -14*p + 13*p + 41, 5*p - m = -15. Let s = -1 + 0. Let t = s + 1.1. Which is greater: t or p?
t
Suppose 61*s - 139*s = -989742. Which is greater: s or 12688?
s
Let u be (849*(-2)/140)/((75/20)/(-5)). Are u and 17 equal?
False
Let w be (-4)/(-6) - 637/(-147). Let f be (3 - 1)*w/35. Is f greater than or equal to 0.13?
True
Let t = -111 + 67. Let r = t - -25. Let m = r + 19. Is m less than or equal to -2/67?
False
Let y be (-3)/(152/(-156) - -1). Let r = 96 + y. Is r != -22?
True
Let p be (7 + (-200)/32)/((-18)/(-48)). Let v = -1.73 - -1.8. Let q = v - 0.07. Which is bigger: p or q?
p
Let v = 42256 + -42252. Which is smaller: 85/22 or v?
85/22
Let v be 11/(2 - 4 - -95). Which is smaller: v or 1?
v
Let x(i) = -i**2 + 45*i + 10. Let y be x(33). Let c = y + -1219/3. Is c <= -0.7?
False
Let x(n) = -6*n**3 - 17*n**2 - 61*n + 51. Let k be x(-9). Is k smaller than 3597?
False
Let f = 191 + -867. Let a = f + 676.4. Is a greater than -2.4?
True
Let q = 30 - 0. Let r = -31.34 + 2.34. Let x = r + q. Which is greater: 3/16 or x?
x
Let p = 809229/245 - 3303. Is p at most 2?
True
Suppose 7*c = 12*c + 3*j + 716, 1438 = -10*c - 4*j. Is c < -147?
False
Let g = 5 + -3. Suppose j + 250 = 6*j. Suppose 10 - j = -g*c. Which is smaller: c or 18?
18
Suppose 445 = -19*o - 359 + 462. Suppose -3*n = 3*n + 24. Is o at most as big as n?
True
Let t = -12.15 - -13.9. Let f = t + -1.95. Which is smaller: f or 14?
f
Let q(c) = 7*c - 11. Let h be q(4). Let s = -14 + h. Let i be s + -3 + 2/(-15). Which is smaller: i or 0?
i
Suppose 0 = -18*i + 11*i + 7. Let m be (4*(-91)/70)/(i/(-5)). Do 26 and m have the same value?
True
Let p be (-273)/(-63) + (-2 - (-8)/3). Suppose -3*b + 67 = 4*d - 12, -p*b - 4*d = -137. Is b smaller than 27?
False
Let s = 1959.428 - 1966. Let l = s - 0.428. Which is bigger: 0.18 or l?
0.18
Suppose 151*c = 51*c - 2100. Is c greater than or equal to -32?
True
Suppose -34*v + 972 = -40*v. Suppose 5*o - 6*o - 227 = 0. Let d = v - o. Which is greater: d or 64?
d
Let d(t) = 0*t - 4*t - 3 - 2*t + 3*t. Let x be d(1). Let g be (-5*2/x)/((-2)/24). Is g at most -22?
False
Let j be 270/63 + (-2)/7. Let m be -966*j/8*1. Let w be ((-21)/m)/(-1 + 6/7). Which 