5)/(-10)). Is m greater than or equal to -1686?
False
Suppose -157*r - 198 = -151*r. Let y(h) = 6 + 8 + 47*h - 39*h. Let x be y(-6). Which is bigger: x or r?
r
Let j(b) = -4*b + 11. Suppose 5*x + g + 2*g = 0, 4*g + 29 = 3*x. Let l be j(x). Let c = 0.98 - 1. Which is smaller: l or c?
l
Let o = 4.15 + -176.15. Let c = o + 171.9. Are c and 15 equal?
False
Suppose 0 = -3*n + 9*n + 30. Let q be (n + 2*(-645)/(-10))/(-2). Is q less than or equal to -63?
False
Let d(i) = -43*i**2 - 462*i - 2808. Let h be d(-6). Is h greater than -1585?
True
Let o = 5771 - 5769. Which is bigger: o or -433?
o
Let a be (-8)/12 + (-4)/24*-34. Let t = -142 + 147. Suppose -t*x = -5*i + 55, 9*i - 4*i = -a*x + 45. Which is smaller: 12 or i?
i
Let q be (-6 - -2)/(4/14). Let p be ((1 - 3) + 8)*q/4. Let k = p - -13. Which is greater: -15/2 or k?
-15/2
Let v = -23139.2 + 23139. Which is bigger: 5981 or v?
5981
Let l = 0.13708 - 0.03708. Which is smaller: l or -5.751?
-5.751
Let z be (-1 - -13) + (-1176734)/98072. Which is smaller: 1 or z?
z
Let z(x) = x**3 - 49*x**2 - x + 50. Let y be z(49). Which is bigger: -1/57 or y?
y
Suppose 12*l + 448 = 4*l. Let s = l - -395/7. Let v be (3 - 6) + 2 + 2. Which is smaller: v or s?
s
Let g = 52 - 62. Let z be -5 - 1 - (33 + -30). Which is bigger: g or z?
z
Suppose 13*g = 5*g + 48. Suppose -107 - 7 = g*h. Is h < -22?
False
Suppose -137 = -5*b + 2*d, -4*b - d - 4*d + 103 = 0. Let k be (-2)/(-6) + 7311*(-3)/b. Let h be ((k/(-6))/7)/(3/9). Which is bigger: h or 59?
59
Let g = -398 + 426. Let m be 13/((-4641)/g)*3. Are m and 0.2 equal?
False
Let v = -0.2 + 0.2. Let s = 4.11 - 3.892. Let l = s + 14.782. Which is greater: l or v?
l
Let q(k) = -2*k**2 - k + 4. Let x be (-3 - 3 - -1)*-1. Let b be (-15 + x)/5 + 0. Let s be q(b). Is -30/13 greater than s?
False
Let a be ((-2)/(4/2))/(15/73800*12). Are -407 and a equal?
False
Let b = 1116 - 1115.9387. Let v = 0.0213 - b. Do 3.1 and v have different values?
True
Suppose -2*b + 35188 = 4*g + 120518, -5*b = -g - 21305. Let p be (-6)/45 - 2934/g. Are 0 and p non-equal?
True
Let z = 1630.1 - 1630. Let d = 20 + -20.9. Which is smaller: z or d?
d
Let k(g) = -g**2 - 84*g - 599. Let q be k(-7). Which is greater: -245/4 or q?
q
Let l = -2669/36 - -215335/2988. Are -1 and l unequal?
True
Let y = 6404 - 6165. Which is bigger: y or 238?
y
Let g = -83/17 - -2803/595. Let q be 2/9 + (-24)/108. Is q smaller than g?
False
Suppose 1 = -h, 5*h + 425 = -4*j - j. Let p be ((j/15)/(-14))/(2/(-20)). Is p at most 9?
True
Let g(n) = -6*n**2 + 63*n + 95. Let u be g(11). Is u greater than 229?
False
Suppose -3*u = -0*u - 9, -50 = 5*q - 5*u. Let r be ((-16)/28)/((-8)/112). Let v be -8 + 0*r/(-56). Which is greater: v or q?
q
Let z = -52/77 + 1825/308. Suppose 2*i - i - 6 = 0. Which is smaller: z or i?
z
Suppose 2*s - 10 = -3*t - 5, 2*s = 4*t - 30. Suppose t*w = -25, -5*j + 5*w - 240 + 675 = 0. Which is smaller: j or 83?
j
Suppose -10*u = -8*u - 4*t + 6, 2 = -2*u + 2*t. Are -1/1070 and u unequal?
True
Let m(b) = -10*b + 130. Let r be m(13). Suppose 5*p - q - 118 = 0, 0 = p + 2*q - r - 17. Let i(u) = 3*u**2 + 2*u. Let v be i(-3). Is v at most p?
True
Let m = -6.21 + -0.04. Let c = -6.3 - m. Which is smaller: -12 or c?
-12
Let n = -21.931 + -3.069. Is -47 greater than or equal to n?
False
Suppose 322*h - 317*h + 11 = -2*l, 5*l = -h - 16. Is -3/632 < h?
False
Let j(r) = -3*r**3 + 50*r**2 + 39*r - 426. Let h be j(17). Which is bigger: -18 or h?
-18
Let m be (1823*1/15)/((-49)/(-2205)*-15). Are 1 and m unequal?
True
Let u = 549 - 1186. Let q = -636 - u. Is q <= -458?
False
Suppose 2*w + 16*w = 72. Suppose 4*k + k - 2*o = 411, -w*o - 93 = -k. Is k smaller than 82?
True
Let n(x) = 3*x**2 - 9*x - 7. Let z(d) = 3*d**2 - 9*d - 7. Let l(a) = -3*n(a) + 2*z(a). Let v be l(4). Which is bigger: -24/5 or v?
-24/5
Suppose 0 = 8*w - 9*w. Suppose w = 113*x - 106*x - 735. Is 106 at least as big as x?
True
Let n = -53.05 - -54. Let x = n + -0.85. Which is bigger: -112/13 or x?
x
Let w = -108301/639 + 1526/9. Let n be (-85)/((-2380)/(-2324)) - -84. Is n less than w?
False
Suppose 212*p + 152841 = 251*p. Is p at most 3919?
True
Let c = 0.05 - -0.7. Let b = c + -0.85. Is 33/8 bigger than b?
True
Suppose 0 = 5*u - c + 43, -u + 5*c + 3 = 2. Let s be 64 + 2 - u/(-9). Is 65 bigger than s?
False
Let h be 5470/(-9) + (-60)/270. Let v be 2702/38 - (-64)/h. Which is smaller: 74 or v?
v
Let k = 8096.27 + -8096. Is 12/11 != k?
True
Let l be (3 - (-393)/(-12))/(2/8). Let w = l - -141. Suppose -3*i - 4*j - 17 = -4*i, -2*i + 5*j + w = 0. Is i != -1/17?
True
Let a = 0.4431 - 0.3231. Which is smaller: 0.32 or a?
a
Let f be 3900/(-3171) - (-160)/112. Is -1 at most as big as f?
True
Let v = -2.2 - -13.7. Let u = -0.5 + v. Suppose -11*q - 1 + 23 = 0. Which is smaller: q or u?
q
Suppose -6 = -4*f + 10*f. Let b be (f + (0 - -2))*(-2 + 14). Let h = b + -42. Is h less than or equal to 1?
True
Let d be 2/(-32)*2*(-4518)/(-6). Is -93 greater than or equal to d?
True
Let n(y) = y**3 - 50*y**2 + 616*y - 1. Let c be n(28). Which is bigger: c or 1/68705?
1/68705
Suppose -3*q + 11 = -3*l - 109, 2*l = -q - 68. Is -3 > l?
True
Let z be ((-1464)/(-6) - 6)*1. Suppose -122 = 4*u + z. Which is smaller: -363/4 or u?
-363/4
Suppose 24*f + 20*f - 26*f + 174690 = 0. Which is smaller: -9706 or f?
-9706
Let q be 2 - 144/(-320)*5*(1 - 733). Is q at most -1646?
False
Let f = -15113 + 29575/2. Which is smaller: -326 or f?
-326
Suppose 15*u - 20*u = -33*u - 1652. Is u less than -71?
False
Suppose -2*p - p = -3. Let v(m) = -5*m - 116. Let o be v(-24). Let r be 1*45/(-13) + o. Which is smaller: p or r?
r
Let s = 0.68 + 0.32. Let k(g) = g**3 + 18*g**2 + 20*g + 3. Let i be k(-15). Which is greater: i or s?
i
Let i = 20566 - 18136. Is i <= 2431?
True
Let x(g) = 11 - 2*g**2 + g**2 - 13 - 2*g + 7. Let d be x(0). Suppose i - 6 = -4*h - 2, -d*h = 2*i - 5. Which is smaller: i or 16?
i
Suppose 5*z + m = 15, 0 = -z + 4*m + 26 - 2. Suppose -4*x = -5*w + 13 + 42, -2*x - z*w = 34. Is 1 > x?
True
Let b be (528/(-40))/(2/(-10)). Let o = 114 - b. Let g be (-4)/(-20)*(-15)/o. Do g and 0 have different values?
True
Let p be ((282/3)/1)/((-13)/10). Let v = p - -72. Which is smaller: v or 1?
v
Let w = 157 + -156.943. Let i = w - -0.039. Is 2 >= i?
True
Let n = 4/811 + 5661/3244. Let r be 10/4 + -2 - 1. Is r at most n?
True
Suppose 7*b = -10*b - 19*b - 36. Is -15/401 != b?
True
Let f = -319 + 478. Let l = 156.4 - f. Which is bigger: l or 0?
0
Let f = -49/274 - -17825/95078. Let i = -5531/2429 - f. Suppose 5*l - 4*g + 215 - 234 = 0, l - 3*g - 17 = 0. Which is smaller: l or i?
i
Suppose -154*c - 241 - 221 = 0. Is c >= 225?
False
Let n = 1/134 + 3749/402. Which is smaller: n or 0.3?
0.3
Let m = 0.3 - 0.5. Let a = -565.465 + -2.905. Let o = 568 + a. Are m and o nonequal?
True
Suppose 3*t - 16 - 16 = -4*m, 3*t - 2 = 2*m. Suppose -t*s = -3*s - 37. Suppose -7 = -3*o - s. Which is smaller: o or -8?
o
Let r = -717/88 - -67/8. Let u = -4841 - -4841. Is r less than u?
False
Let t be (-2*65/6250)/(2/4). Which is bigger: 1 or t?
1
Let c = 2789 + -2523.9. Let o = c - 265. Which is greater: -16.1 or o?
o
Let i = -156 - -157. Are -4466 and i nonequal?
True
Let u = 1982.1 - 1982. Is -6127 at most u?
True
Let i(k) = -k**2 - k + 1. Let b(d) = 5*d**2 - d - 3. Let h(j) = b(j) + 4*i(j). Let z be h(5). Let x be (-1)/(2 + 64/(-62)) + 1. Is z <= x?
False
Suppose 0 = 3*m - 5*i - 30, -m - 3*m - 3*i + 11 = 0. Suppose -m*n - 208 = -13*n. Let h = n + -27. Which is greater: h or 1/4?
1/4
Let c be (152 - -2)/((-10)/415). Which is smaller: -6392 or c?
-6392
Let j = 1.329 - -0.071. Let v = j - 2.4. Which is greater: -8/5 or v?
v
Let l = -350 + 349. Let a be ((-40)/(-570))/((-1)/(15/(-14))). Let q = a + 11/133. Which is smaller: q or l?
l
Let s = 4 + -3. Let u be 7/(-735)*47 - (66/(-15) - -4). Which is bigger: u or s?
s
Let l be (-1)/(-12)*144/64*2. Suppose -5*s + 47 = 2*m + m, 2*m + 3*s = 32. Suppose -4*o + 3*k = -16, -3*o + 4*k + m = 2*o. Which is bigger: l or o?
o
Suppose -g + 25 = 5*p, 4*p - 3*p - 5 = 0. Suppose 4 = -4*x - 4*b, g*b + 1 = -5*x - b. Is x smaller than 10?
True
Let y = 526 - 263. Let d = 790/3 - y. Is d equal to -55?
False
Suppose -w - 16 + 6 = 0. Let o be (8/w)/((-39)/30). Let p be (0/1)/((9 - 18)/9). Which is greater: p or o?
o
Suppo