 k = -308 - -15710/51. Which is bigger: k or b?
k
Suppose -3 = 3*m, -249 - 6 = -2*p + 3*m. Let x be (1/p*7)/(-8). Which is greater: x or 1?
1
Suppose 4*g = 11*c + 355, -3*c + 218 + 142 = 5*g. Suppose 0 = 3*m + m + 3*p - 302, 3*m - 225 = -3*p. Which is smaller: m or g?
g
Let r = 1284.2 - 1284. Let v be 14/(-105) - (-17)/15. Suppose 2*o - 2 = 4*o + 2*n, -o + 3*n - v = 0. Is o bigger than r?
False
Let x(o) = -o**3 + 55*o**2 - 665*o + 6. Let g be x(22). Which is bigger: 1350 or g?
1350
Let y = 1 - 0. Suppose -2*o + 126 = i, 10*o - 5*o - 251 = -2*i. Suppose 89*r - 97*r = -i. Are y and r non-equal?
True
Let o(f) = 9*f + 13. Let z be o(7). Suppose 25*j - 1628 = 3*j. Which is smaller: z or j?
j
Let c(v) = 6*v - 9. Let w = -67 + 63. Let k be (3 - (w - -4)) + (3 - 4). Let d be c(k). Which is greater: d or -8?
d
Let v = -7814/3 - -2127. Is v at most -478?
False
Suppose 0 = -r + 4*g - 5*g + 14, r = 5*g - 4. Suppose 8*v - r*v - 72 = 0. Which is smaller: -101/4 or v?
-101/4
Suppose -2*a - 123 = a. Let m be (-1 - a)/4*(3 + -2). Let n = m - 8. Which is greater: n or 4?
4
Let t(j) = 2*j + 39. Let a be t(-13). Let i(u) = u + 24. Let p be i(-6). Let v be (-12)/p - 82/(-6). Is a <= v?
True
Let l = -700583361/2893 - -242165. Which is bigger: l or -1?
l
Suppose 748*b + 86100 = -1352*b. Let t(p) = p - 1. Let f(k) = 16*k + 3. Let l(j) = -f(j) - 5*t(j). Let s be l(2). Is b >= s?
False
Let f = -34.62 + 0.62. Let w = -2514 + 2511. Is f at most w?
True
Let f(m) = 5*m**2 + m - 4. Let a be f(-2). Suppose -a - 4 = s. Is s not equal to -15?
True
Let a = 151613 - 13639121/90. Let u = 501/10 - a. Does u = -17?
False
Let t = -3101 + 3079. Which is smaller: -7.4 or t?
t
Let l be (-1)/(-3) - 1/(-3). Let w = -1.772 - -0.292. Let s = 1.48 + w. Which is smaller: s or l?
s
Let p be 686/1176*18196/28*-2. Which is greater: -757 or p?
-757
Let x = -4188.37 + 4190. Is x <= -7?
False
Suppose 3*w - 214 = -2*l, 3*w + w + 4*l - 288 = 0. Let k be -5*(-74)/w - 5. Which is smaller: k or 0.025?
0.025
Let f = -14607/1751474 + -2/14843. Are f and -30 equal?
False
Let y be (-931)/114 - -8 - 10/(-6). Are -2/99 and y equal?
False
Let b = 8353 + -7891. Which is greater: b or 461?
b
Let d = -21752 - -21752. Let n = -112.882 + 113. Which is bigger: d or n?
n
Let o = 5/1969 - 8121/3973442. Is o smaller than 0?
False
Let u = -217 + 222. Let p be 1760/25 + u - 6/(-10). Are p and 76 non-equal?
False
Let c = -6259 + 6259. Which is bigger: -22/27 or c?
c
Let p be (136/6)/((-7)/10080*-5). Which is smaller: 0 or p?
0
Let l = 194 - 263. Let c = l - -68.64. Is c smaller than -1?
False
Let h be ((-13)/(-4))/((-11 + 9)/8). Let n be (-3)/(4 - 25/6). Let s be (h/(-6) + -2)*n/(-4). Is -3 smaller than s?
True
Let m be (10/(-56))/(((-11)/132)/(-1)). Is -2 at most as big as m?
False
Suppose 2*a + 1030 = 5*a + 4*t, -5*t + 325 = a. Let s = 336 - a. Which is smaller: s or -2?
s
Let c(b) = b**3 - 6*b**2 - 4*b - 10. Let n be c(7). Suppose n*s - 14 = -3. Let a = -635/6944 + -1/434. Which is greater: s or a?
s
Suppose 335 = n - 57*q + 58*q, 0 = -2*q + 6. Which is smaller: n or -0.6?
-0.6
Let i(x) = 3*x**3 + 6*x**2 - 13*x + 80. Let m be i(7). Suppose 4*b = -4*b - m. Which is smaller: -162 or b?
b
Suppose -b - 4*v + 11 = -5, -4 = -5*b - v. Let s(n) = 4*n + 36. Let h be s(b). Suppose 2*q + 2*x = -0*q + 30, 2*q - x - h = 0. Is q != 16?
True
Let d be (0 + -4)*(-2)/12. Let k = 6232 - 6795.2. Let x = 565 + k. Is x smaller than d?
False
Let b = -26.7 - -26.8. Let c = 2.1 - 2. Let q = c - b. Is q <= 0.013?
True
Let k = -0.21 - 86.79. Let s = -87.1 - k. Does s = -63?
False
Let v be 2/(1*4/10). Let a(y) = -y**3 + 26*y**2 + 4*y - 103. Let g be a(26). Suppose 2*p - v = -g. Which is greater: p or 4?
4
Let l = -26 + 26. Suppose 5*b + 130 = -5*a, l*b - a = 5*b + 110. Let p be (10/4)/((-1)/8). Which is smaller: b or p?
b
Let a = -3.5676 - 0.4324. Which is bigger: -16/3 or a?
a
Suppose m - 109*i + 106*i = -12, 5*m - 20 = -5*i. Is -1/246 bigger than m?
False
Let g = 265 - 260. Let k be 1/g - (-8490)/50. Do 171 and k have the same value?
False
Let w = -3018 + 3268. Which is smaller: 29 or w?
29
Suppose 1306 = -4*l - 5*d, -4*l = l - 3*d + 1651. Let u = 324 + l. Which is smaller: u or -29/7?
u
Suppose -12*n = 138 - 186. Suppose 3 = -5*r - 2*a + 17, 3*r + n*a = 0. Is 32/11 at least r?
False
Let y = 3.3 + 3.7. Let q = 36 - y. Let d = q - 29. Which is smaller: 6 or d?
d
Let k(p) = -p**2 + 208*p + 1034. Let v be k(-5). Which is smaller: -29 or v?
v
Let v be (-54)/(-36)*2/(-3). Let q be -6*(0 + v)*(-4 + 8). Which is greater: q or 25?
25
Let l be ((-36)/42)/(3/168). Let u be 16/l - (-62)/(-3). Let a = 39 + u. Is a less than 16?
False
Let j = 9201 + -9200. Which is bigger: 84/67 or j?
84/67
Let t = -195.902 - -196. Let m = t - 0.278. Is m != -1?
True
Suppose -8*l - 5*i + 301 = -6*l, l - 5*i = 173. Suppose -25 = -l*p + 153*p. Is 11 < p?
False
Let q = 0.39383 - 48.09383. Which is smaller: -3/7 or q?
q
Suppose 0 = -6*x + 9*x - 15, s - 126 = x. Let b(i) = -49*i + 231. Let w be b(2). Do s and w have the same value?
False
Let y = -0.11517 + -27.88483. Is -0.012 < y?
False
Let b = 183159/1105 - 211/221. Which is greater: 164 or b?
b
Let a = -5.682 - -3.682. Which is greater: 1/920 or a?
1/920
Suppose 3*c - 5*v - 434 = 0, 0 = 2*c + c + 5*v - 484. Suppose 5 = 5*b - 10, 4*b = -5*k - c. Let j = k - -33. Which is greater: -2/29 or j?
j
Let q = -112 - -112. Let f be (q - (-4)/3) + 24/9. Which is smaller: f or -3?
-3
Let p = -1 + 1. Let x(h) = h**3 + 42*h**2 + 43*h + 76. Let c be x(-41). Let s be (6/(-10))/(c/(-88)*-6). Is p greater than or equal to s?
False
Suppose -5*w = i + 1432, -10*w = 4*i - 11*w + 5833. Which is greater: i or -1454?
-1454
Let o be 10*242/1045 - -6*5/(-15). Are -5/8 and o nonequal?
True
Let z = -152.165683 + -0.203317. Let v = z - 0.631. Is v less than or equal to -2?
True
Let z be (-9)/2 + (-1)/2. Let a = 2749/16 + -20479/112. Let n = a - -37/7. Which is bigger: z or n?
z
Suppose -2368 - 12904 = -184*u. Which is greater: 97 or u?
97
Suppose m - 1 + 7 = 0. Let j be (3 + (-40)/m)*-3. Let p be (-2)/((-4)/14) - (-308)/(-42). Is p at most as big as j?
False
Let r be ((-6)/(-15))/((-12)/(-90)). Let q be 2 + 0 + (6 - r). Suppose 0 = 3*u - q*n + 23, -5*u - n - 85 = 0. Which is smaller: -18 or u?
-18
Let d = 7929 - 7931. Is -584 less than or equal to d?
True
Let h = 4674 + -4675. Which is bigger: 6/2449 or h?
6/2449
Let c = 62 - 52. Suppose u - c = -3*o - 0*u, -5*o = -u - 22. Suppose o*v - 105 = 7*v. Is v > -34?
False
Suppose 322 = z + z - 4*y, -5*y - 326 = -2*z. Let j = z + -126. Is 28 less than j?
False
Let m = 3 - -2. Suppose 50 + 86 = x + 2*z, z = -m*x + 725. Is x at most as big as 147?
True
Suppose 0 = -3*z - 4*j - 104, -j - 3 = -4*j. Suppose 5*a + 0*a = -205. Let f = a - z. Is f not equal to -8?
True
Let p(z) = 3*z - z - 9*z - 1. Let u be p(-1). Let o be (2*2/(-12))/((-2)/u). Is 11/5 at least as big as o?
True
Let m be ((-1)/(6/(-168)))/2. Let b be 21/m - 6/(-4). Which is bigger: b or 35/8?
35/8
Let k be (-2 - 1032/(-14))/(2*(-10)/(-140)). Which is greater: k or 506?
506
Let i = 118 - 13. Suppose a + 2*a = i. Let u be 48/2*(105/(-10))/(-7). Is a greater than u?
False
Let s = 22525 - 112627/5. Which is smaller: -11965 or s?
-11965
Let r = -25348 + 25278. Are 13 and r unequal?
True
Let x = 319024/287595 + -61/55. Is -1 less than x?
True
Suppose 0 = -v + 3*s + s + 18, -5*s + 65 = 5*v. Let z be (-12)/(-105)*805/v. Is 8 at least as big as z?
True
Suppose -3*o = 3*w, 2 = 6*o - 3*o + 2*w. Suppose 4 = 4*z - 5*m, -4*z - 4*m + o*m = -4. Let x be ((-16)/(-10))/(27/5). Which is smaller: x or z?
x
Suppose -18303*x + 18231*x = -17208. Which is greater: x or 259?
259
Let k(z) = -14*z**3 + 9*z**2 - 2*z - 12. Let x(l) = -17*l**3 + 8*l**2 - 3*l - 13. Let a(n) = -5*k(n) + 4*x(n). Let t be a(6). Are t and -36 unequal?
True
Let r(b) = -64*b - 9. Let p be r(-6). Suppose 266288 = -117*j + 829*j. Is j <= p?
True
Let z = 477 - 4289/9. Let s = -8.3 - 1.7. Let d = -11 - s. Which is smaller: z or d?
d
Let j be -1 + (2 - 2 - -4). Suppose j*q + 29 = -7. Let i = q - 2. Is -14 at most as big as i?
True
Suppose 0 = 242*d - 288 - 416 + 220. Is 186/91 at most as big as d?
False
Let h = 24.38 + -5.58. Let v = 18.7 - h. Which is smaller: -6/13 or v?
-6/13
Suppose 2*b + 3*d = 569, -