ch is smaller: 1 or w?
1
Let a = 98 - 92. Suppose a*p - 4*p = -6. Let z be 0/(-3)*(3 - (-6)/p). Is z bigger than -1/125?
True
Let l be (-2)/6*(-33 - -9). Suppose 19 = l*v - 5. Is 28/9 smaller than v?
False
Suppose 4*g = 36 + 100. Suppose -3*q + 4*z - g = -q, -5*z = -3*q - 46. Let s be ((-12)/9)/(44/36 - 1). Which is greater: q or s?
s
Let c = 1.735 - 0.235. Suppose 2*q + 0*q = -4. Let p be 9/132 + q/(-11). Which is smaller: p or c?
p
Let n = 2251/8360 - -6/1045. Let h = 461/1240 - n. Is h at most -1?
False
Let x = -10724.8799 - -10725. Is x at least as big as 0.2?
False
Let z = -97 + 98. Let k = 2 - z. Which is smaller: 1/62 or k?
1/62
Suppose -y + 3*m - 5 = 0, -2*y + 18*m - 23*m + 34 = 0. Let w be y + (-545)/(-10) - (-3 - -7). Which is greater: w or 58?
58
Let v be 8/(-4) - ((-11)/(-33))/(4/(-9)). Which is bigger: v or 0?
0
Let h = -88.2 + 123. Let c = -17.8 + h. Is c bigger than 0.02?
True
Let r(c) = -c + 7. Let a be r(7). Let m(u) = u**3 - 38*u**2 + 37*u + 4. Let t be m(37). Suppose t*i + a = 8. Is 1 > i?
False
Suppose 0*j = 15*j + j. Let s be 3 - 1764/581 - j/3. Which is bigger: s or 0?
0
Let m be (-25)/4 + (6/(-8) - -1). Let d be ((-9)/(-3))/((735/m)/(-5)). Which is smaller: 1 or d?
d
Suppose -51*i - 57998 = -14495. Which is bigger: i or -847?
-847
Let n(l) = 4444*l**2 - 11*l - 2. Let b be n(1). Is 4431 greater than b?
False
Let l = -50/559 - 4673/1118. Is -5 equal to l?
False
Let q(b) = -b**2 - 13*b - 31. Let v be q(-4). Let c be (260/v)/1 - -4. Let i be (-1)/(c/20 - 3). Are i and 9 non-equal?
True
Let r be (-23760)/(-75) + ((-12)/15 - 0). Let p = r + -1263/4. Which is smaller: 0.065 or p?
0.065
Let l be ((-15)/(-1390))/(180/8). Which is bigger: 0 or l?
l
Let r(d) = d**2 - 6*d. Let l be r(6). Suppose l = 21*g + 5*g - 26. Let u be (-2)/6 + 4/20. Which is smaller: g or u?
u
Let x(j) = -181*j**2 - 10*j + 9. Let m be x(1). Let s be 5/(-60)*5*m/(-7). Which is smaller: -10 or s?
s
Let g = -138 + -97. Let z(c) = -3*c + 55. Let l be z(97). Is l greater than g?
False
Suppose 130 + 128 = 3*n - 3*o, -4*n - 5*o + 317 = 0. Suppose -d - v - 16 = 0, 5*d + 2*v - 3 = -n. Which is bigger: d or -13?
-13
Suppose 9*b - 12*b + 21 = 0. Let p be 4/140*15 + 109/b. Suppose 4*r + j - 8 = 47, -25 = -r + 2*j. Which is smaller: p or r?
r
Let x be 0/2 - 0 - (-385 + 516). Which is greater: -130 or x?
-130
Let f(r) = -5*r + 26. Let d be f(8). Let v be 2*-9 - (12 + d). Suppose 22*g = 20*g - 34. Is v at least as big as g?
True
Let y(b) = 13*b**2 - 4*b - 32. Let r be y(-6). Is 460 <= r?
True
Let f = -9368 - -9127. Which is smaller: f or -240?
f
Let m = -34 + 34. Suppose m = 5*u - 35 + 10. Suppose -u*r = -9*r - 180. Is r != -45?
False
Suppose -2*g = -35 - 85. Let s be (6/10)/1 - g/(-25). Suppose 2*u + s*r = -2 + 5, 5*u = 3*r + 39. Which is smaller: u or 5?
5
Suppose -y - y = n - 308, 0 = -4*y + 3*n + 626. Let l = -174 + y. Is l smaller than -21?
False
Let l = 101 - 87. Let v be 4/l + 35/(-49)*-393. Is 283 bigger than v?
True
Let i = 214 - 195. Suppose 0 = 3*z - 2*m - 3 - 62, 2*z - 18 = -5*m. Is i > z?
False
Let g = 4503 + -4317. Is g smaller than 1687/9?
True
Suppose 0 = 4*z - 0*z + 12. Let g = z - -6. Suppose 2*d + 2*b - 4 = 0, -5*b = -15*d + 12*d + 30. Do g and d have different values?
True
Let r be ((-57)/12)/((-4)/48). Let w = r + -43. Suppose h = -f + 2*f - w, 3*f - 22 = -2*h. Which is greater: f or 0?
f
Let s = 1241 + 225. Does s = 1466?
True
Let t(a) = a**3 - 4*a**2 + 2*a - 209. Let m be t(0). Let v = m - -195. Suppose -f - 19 = -3. Which is greater: v or f?
v
Let m(y) = -28*y**2 - 32*y - 3. Let d be m(-1). Which is greater: 3889 or d?
3889
Let j = -34 + 21. Let b = 970514.7 - 970515. Which is smaller: j or b?
j
Let n be ((-72)/(-10))/((-297)/990). Let p(f) = -f**2 - 4*f. Let v be p(-3). Suppose 0 = -v*j - 76 + 4. Is j != n?
False
Suppose 0 = 4*d + 18*o - 1810 + 5032, -o + 5 = 0. Do -827 and d have the same value?
False
Suppose 3*s + 15 = t - s, -4*s - 48 = -4*t. Let d = t + 6. Let o = -819 + 837. Is o less than d?
False
Let b be -1 - (-1254)/(-5 - -8). Let i = 416 - b. Which is smaller: i or 1/66?
i
Let p = 643 + -1135. Let a be p/4313 - (-12)/114. Which is smaller: a or 1?
a
Let o be (5 + -189)/4 + 4. Let q = o + 125/3. Let v = 50.23 - 50. Is q < v?
True
Let l = 1256 - 2737. Is -1483 equal to l?
False
Let m(s) be the third derivative of -s**5/60 - s**4/12 - 2*s**2 - 3. Let h be m(-2). Which is smaller: h or 87?
h
Let w = 1 - 0.9. Let p = 1217.0037 - 1217. Let z = p - -0.5563. Does z = w?
False
Let v be 2 + (-12)/10 - 28792/240. Let c = 119 + v. Is -1 smaller than c?
True
Let f(b) = -b**2 - 22*b - 7. Let a(j) = -16*j**2 + 43*j - 7. Let u be a(3). Let o be f(u). Is o less than 0.08?
True
Suppose 3*s = -4*p + 62, -14 = -5*p - 4. Suppose -12*t + 21 = -5*t. Let o be (t/(-9))/(1/51)*-1. Is o bigger than s?
False
Let i(t) = 5*t**3 - 3*t**2 - 10*t - 14. Let z = 335 - 337. Let p be i(z). Is -47 < p?
True
Let u be (30/20)/(90/183). Is 3 at least as big as u?
False
Let u be (-1162)/(-3)*(-45)/(-6). Is u greater than 5807/2?
True
Suppose -43 = -4*s + 29. Suppose 6 - s = 6*p. Is -36/19 != p?
True
Suppose -8*a + 73 = 1. Suppose -14 + a = -5*z. Let g be (z/8)/((-18)/(-48)). Is g at least as big as 1?
False
Let o = -25705 + 25704.8. Let a = -30.7 + 3.7. Which is smaller: a or o?
a
Let q be -29*(-3)/(-15) - 44/220 - -1076. Does q = 1068?
False
Let n = 2485 - 2485.1. Is 650 at least as big as n?
True
Suppose 54*i = 53*i - 3124. Let j = i + 18803/6. Do 11 and j have the same value?
False
Let s = -4/1649 - -311/168198. Are s and -1 nonequal?
True
Let x(l) = 4*l**3 - l**2 - 38*l - 450. Let f be x(0). Which is smaller: f or 2?
f
Let p = 2857 + -2979. Is -74 equal to p?
False
Let x be 117/(44/(-4) + (-75)/(-6)). Suppose 0 = 3*f - 2*f - 78. Does f = x?
True
Let q be (6/(-27))/((15/(-5))/27). Let o be q + -7 + 0 + 5 + 0. Is -4/409 at most o?
True
Suppose 0 = -8*i + 3222 + 338. Let j = 439 - i. Are j and -63/11 nonequal?
True
Let n = 3743 + -3652. Is 89 <= n?
True
Suppose 108 = -14*w - 40*w. Let m be (-20)/(-2) + (2 - (3 + w)). Which is bigger: m or -7?
m
Let g = 5354.91 - 5355. Is 6/83 bigger than g?
True
Suppose -64711 = 22*v - 10*v - 6619. Which is bigger: -4839 or v?
-4839
Suppose 0 = 4*w - 2*w - 2. Let p = -3969915 - -146895436/37. Let k = 232 - p. Is w smaller than k?
False
Let g = 0.072 - 0.0222. Let h = g + -2.7498. Let s = 51 - 203/4. Which is smaller: s or h?
h
Suppose -m - 4*q + 1951 = 0, 3*m - 20*q = -13*q + 5891. Is 1960 != m?
True
Let a be (-15)/(-105)*(-3)/(-111). Which is smaller: a or -1?
-1
Let c = -55606760/1717 + 32386. Is -0.5 < c?
True
Let g = 3583.71 - 3577.71. Let q = 36.3 - 3.3. Which is smaller: g or q?
g
Let k be (-22 + 24)*-1*2. Let u(l) = -2*l**2 - 8*l - 5. Let z be u(-7). Let p = z + k. Which is greater: p or 1?
1
Let i = 11060 + -11060.03. Are i and 10/427 unequal?
True
Let a = 2204919/9646 + -17/1378. Let n = 229 - a. Is 6 greater than or equal to n?
True
Let d be 2/7 + (-88)/210 - 198/(-1485). Is d at most as big as -4/2025?
False
Let k(m) = m**3 - 5*m**2 - 3*m + 7. Let q be k(5). Let b be ((-16695)/(-140))/53 + (-1 - 9). Is b not equal to q?
True
Suppose 0 = -5*o + 13*o + 8. Let q be (-1)/3*(18/9 + o). Is q < -2.49?
False
Let c be (-6)/(-21) + 33/7. Suppose -4*t + c*b + 18 = 0, -4*t + 2*b = -b - 14. Is 2 at most t?
True
Let m(s) = s**3 - 4*s**2 + 5. Let h be m(4). Suppose 2*p - 5*o = 3*p - 58, -2*p = h*o - 116. Suppose -p = 3*i + 32. Which is greater: i or -31?
i
Let u(w) = -w**3 + 15*w**2 + 84*w + 6. Let j be u(-4). Which is smaller: j or -192/7?
-192/7
Suppose 2*m = 2*y + 24, -8*y + 2*m = -3*y + 60. Let o be (-3)/6 - y*(-18)/48. Is o less than 5?
True
Let o = 675.8 + -608.8. Which is bigger: o or -0.069?
o
Let q = 170 - -894. Which is greater: 0.1 or q?
q
Let g be (-13455)/(-52) + (-1)/(-4). Let v = g + 70. Suppose -7*x - 847 + v = 0. Which is smaller: x or -75?
-75
Let n(d) = d**3 + 24*d**2 - 69*d + 151. Let q be n(-22). Is -1/4 at most q?
True
Let c = -75457/22 - -3431. Let r = -7/11 + c. Let d be (2/6)/(-4 + 1079/273). Is d < r?
True
Suppose 5 = 16*b - 21*b. Let m be 4/12*-13 + (-5)/b. Which is smaller: m or -1.17?
-1.17
Let v(k) = -762*k - 4829. Let o be v(-6). Which is greater: 8 or o?
8
Let o be 0/(4 + (-40)/8). Is -1/19917 > o?
False
Let m = -