Suppose 142 + 23 = l*h. Let b = 35 - h. Is 6/5 equal to b?
False
Let t = 15 + -15. Let q be 2*1*(-357)/(-10948). Which is smaller: q or t?
t
Let d = 48397/21 + -7027/3. Are d and -37 equal?
False
Let a = -16 + 23. Let t = a - 3. Suppose -35*n + 144 + 114 = 94*n. Which is bigger: t or n?
t
Let v = 4065 + -4045. Which is smaller: 506/27 or v?
506/27
Let r = 106.6 + -17.6. Let o = 88.668 - r. Let p = -0.032 - o. Which is smaller: p or -1/4?
-1/4
Let t = -11 - -21. Suppose t*z = z + 720. Suppose -2*o - z = 3*o - 5*h, -24 = o - 5*h. Is o < -15?
False
Let r = 38/1641 - -2226761/3282. Is 679 >= r?
True
Let g be -2 + (18/63 - (-10)/14). Let r be 37/186 + 4/(-24). Which is greater: r or g?
r
Let x = -18410 - -14285. Which is bigger: x or -4123?
-4123
Suppose 0 = -226*s - 55*s + 44*s + 1422. Suppose 18 - 6 = 2*u. Is u less than s?
False
Let v = 2007.3 - 1547. Let b = -503 + v. Let i = -44 - b. Is 0.2 at least i?
True
Let z be (-4)/6*(-9)/(-18). Let b be (0 + 130/25)*(-2)/4. Let x = -34/15 - b. Is x greater than or equal to z?
True
Let f = 720/7 + -103. Let b = -10.57 + 10.97. Is b > f?
True
Let f = -864 - -967. Are f and 96 nonequal?
True
Suppose -181*f - i = -176*f - 6, f - 3 = -2*i. Do 2/779 and f have the same value?
False
Let r = -13.2 - -18.2. Let n be 114/(-722)*(-2)/(-3). Which is smaller: n or r?
n
Let t = 1089 + -1057. Let l = -51 + 83. Is t at most l?
True
Suppose -17515 = 22*m - 13841. Let r = 3 + -3.1. Is r less than m?
False
Let u be 39/6 + 4*(-4)/32. Let q(a) = -5*a**2 + 3*a**2 + 4*a + 11 + 0*a**2 + a**2. Let m be q(u). Which is greater: 8/23 or m?
8/23
Let y = 112/69 + -33818/345. Let u = 96 + y. Let q = -1174 - -1174. Which is bigger: u or q?
q
Let z(f) = 3*f**2 - 37*f - 132. Let o be z(-3). Let b be 18/45*37/2. Is b bigger than o?
True
Suppose -5*i + 364 = -7*i. Let p = -725/4 - i. Which is bigger: 1 or p?
1
Let a = -7487 + 7488. Is 19/234 smaller than a?
True
Let t = -7228/7 - -628948/609. Which is smaller: t or 1?
t
Let z be (-5)/(-3)*(15 - 18) - -5. Let f be (z - 3/(-18)) + 7061/(-138). Which is greater: 2/7 or f?
2/7
Let c = 5591 + -5591.1. Are c and -238/11 equal?
False
Let g be (-731)/1806 + (-2)/12. Which is bigger: g or -1/92?
-1/92
Let o = -4359 - -4292. Is -1/8 < o?
False
Let x = 11.6 - -461.4. Let l = x + -489.7. Which is greater: l or 1/3?
1/3
Let t be 88392/28 + 2/((24/(-27))/4). Is t greater than 3149?
False
Suppose 16*f - 15*f - 4*p + 711 = 0, 5*p + 3555 = -5*f. Let b = 689 + f. Let a be (6/9)/((-1)/33). Is a >= b?
True
Let z be (-259)/12 - (-1)/3. Let n be 21*(-8 - (-115)/15)*-3. Let t = n + z. Is t >= -8?
True
Let o be (915/(-25))/(9/(-60)). Suppose -7*g + 279 = o. Let z = -2 - -8. Which is smaller: z or g?
g
Let r be (2/(612/15066))/1. Are 48 and r nonequal?
True
Let r = -6840 - -6840.12. Is -1/2 > r?
False
Let j(h) = -6*h**2 - 130*h - 6. Let y be j(-20). Which is greater: -0.1 or y?
y
Let r be 3/(-3 + -2*(-15)/9). Let n be (r/(-54))/((-2)/8*2). Let h = 112 - 58. Which is smaller: h or n?
n
Suppose 5*a = 4*u - 1759, 235 + 643 = 2*u - 2*a. Which is greater: 437 or u?
437
Let y be -1 - (-2)/((-7544)/(-2750)). Let v = y - -12/41. Suppose 0*b - b = 2*b, f - 3*b = -2*f - 3. Which is smaller: v or f?
f
Let u = -2181 + 1281. Let z be 3 + (-5)/(u/(-445)). Let r = 1079/1908 - z. Which is bigger: r or 1?
1
Let d = 13426.09 + -13271. Let n = d + -155. Is -2 != n?
True
Let p = -13554 + 13659. Is -14 smaller than p?
True
Let x be (-100)/(-150)*1/(-3). Let s(v) = v**3 + 3*v**2 - v + 5. Let j be s(-4). Let c be (1/(-9))/(j/21). Is x > c?
False
Let l = -398 - -382. Let q = 53/95 + -3/19. Is q bigger than l?
True
Let w(d) = -9*d**2 + 5*d - 82. Let n(a) = 4*a**2 - 4*a + 41. Let t(z) = 7*n(z) + 3*w(z). Let r be t(7). Which is smaller: -3 or r?
-3
Let m be 89/29 - (-5 - -8). Let k = 9 - 11. Let h be ((-7)/k + -3)*-2. Is h less than m?
True
Suppose 4*y - 3 = 5*y. Let b = 857/35 - 198/7. Are y and b non-equal?
True
Let d(p) = p**2 - 3*p + 4. Let z be d(2). Suppose u + 4*u = -z*h - 15, 0 = -h - 5. Which is smaller: u or -13/17?
u
Let n = -4508 - -3967. Is n < -3?
True
Let m = 250 - 110. Let n be ((-2)/(-26))/((-7)/m). Let v = -59 - -56. Is v equal to n?
False
Let o = -202 - -249. Suppose -45 - o = 2*b. Are -47 and b unequal?
True
Let p = -9.8 + 126.8. Let i = 24157 + -24159. Which is smaller: p or i?
i
Suppose 0 = 13*i - 22*i - 1350. Let r be (-37)/i*3 - (-6)/(-8). Is 1 smaller than r?
False
Suppose -b - 13 = -5*x - 5, -3*x = 3*b - 30. Let w = 4 + b. Suppose 0 = -2*f + 6*f + t - w, 0 = -3*t - 15. Which is greater: f or 20/7?
f
Let z = -147 - -112. Let p be (90/z)/(9/(-42)). Suppose 3*k = -6 - p. Is -37/6 greater than k?
False
Let i = -25 + 25.2. Let p = i - 0.3. Let w be -11 + (-3064)/(-288) - 2/(-18). Is p at least w?
True
Let d(t) = t**3 + 11*t**2 - 18*t - 28. Let p be d(-12). Let h = p + -39. Let v be (4/h)/((-9)/900). Which is greater: v or -79?
-79
Suppose 145*j + 53*j - 8*j = 29*j. Which is smaller: j or -5/1949?
-5/1949
Let n = -8137 - -8234. Which is greater: 105 or n?
105
Let p be 3/((-42)/(-287))*-16 - 0. Is -327 at most as big as p?
False
Suppose 46*z - 804 = 40*z. Let q be (-8)/(-2) + -262*9/(-18). Which is bigger: z or q?
q
Let i = 7407 + -7542. Which is smaller: i or -136?
-136
Let l = -1017/4 - -3059/12. Which is smaller: -994 or l?
-994
Suppose 0 = 6*b - 8*b + 32. Let j be (-16 + b)/(6/(-2)). Let p be (10/(-420))/((-1)/2). Is p greater than or equal to j?
True
Let a = 58 + -122. Let k = a + 68. Suppose 3*i + 7 - 19 = 0. Is k > i?
False
Let v be 6/10 - 700/125. Let b be (30/5 + v)/(-1). Which is bigger: -7/3 or b?
b
Suppose -3*v + 186 - 39 = 0. Suppose 5*z - s + 173 = 0, -5*s = -5*z - 136 - v. Suppose 0 = -2*t + 4*u - 60, 3*t + 0*t + 104 = -u. Is t at least as big as z?
True
Let o = 73 - 73. Suppose -n + 6*n = o. Suppose 15*q + 15 = 12*q. Is n not equal to q?
True
Suppose 18 = -3*b - 2*v, -3*b + 0 = -5*v + 39. Let o(w) = 12*w - 99. Let y be o(9). Suppose y*g + 78 = 24. Which is smaller: g or b?
b
Suppose -831 = 14*l + 149. Which is smaller: l or -776/11?
-776/11
Let s(f) = -f**2 + 5*f + 103. Let g be s(13). Which is bigger: -17903/3 or g?
g
Let l = 7988 - 7987. Which is smaller: 91/54 or l?
l
Let q(b) = -420*b + 1317. Let d be q(3). Is 29 greater than d?
False
Let q = 5341862/13 - 411733. Let d = q + 821. Let i = -0.1 + 0.2. Which is smaller: i or d?
i
Let k = 13247 + -14750. Which is greater: k or -1504?
k
Suppose 0 = -4*x - o - 23, 46*o = -x + 43*o + 8. Let j(t) = 10*t + 69. Let f be j(x). Is f at most as big as -1/142?
True
Let g = -0.8127 - -0.7127. Is -1539 <= g?
True
Let x(q) = -q**3 + 13*q**2 + 16*q - 8. Let r be x(14). Suppose 10 = -2*a, 5*a = y - 0*a - r. Let p = -754 + 752. Is p bigger than y?
True
Let q = 1554 - 1986. Is q >= -433?
True
Let r be ((-3)/((-45)/(-10)))/((-26721)/135). Is r < 1?
True
Suppose -10*l - 83 + 73 = 0. Is l smaller than -21/73?
True
Let a be (2171/(-182) - -12)/(21752/28). Is -1 less than or equal to a?
True
Let h = -30 - -42. Suppose 209*r - 208*r = -h. Is -13 greater than or equal to r?
False
Suppose -10*l = 3*g - 8*l + 496, -g + 3*l - 158 = 0. Which is greater: -154 or g?
-154
Suppose 37*h - 22*h + 114828 = -13*h. Is h greater than -4101?
False
Let l = -0.1328 + 0.1328. Which is smaller: l or 0.209?
l
Let p = 1.94 + -2. Let b = p - -0.06. Let s = 143/14 + -10. Which is bigger: s or b?
s
Let r be ((-1)/(-2))/((-2)/(-24)). Let p = r - 2. Suppose 7*m - p - 38 = 0. Which is greater: 7 or m?
7
Let o = 197 + -299. Let g = o - -122. Is g at least as big as 21?
False
Suppose 78*u + 1092 = 79*u - 5*y, -2*y = 5*u - 5325. Are 1067 and u equal?
True
Suppose -288 = -m - x, -992 = -5*m - 2*x + 442. Let o = -290 + m. Which is smaller: 2 or o?
o
Let n = 155.58 + 1.42. Let g = n - 156. Which is bigger: -107 or g?
g
Let i = 9286 + -22786. Let f = i + 188899/14. Let u = f + 43/21. Is -4 greater than or equal to u?
True
Let k = 8507/6 + -2883/2. Which is bigger: k or 2/19?
2/19
Let z = -647 - -167575/259. Let w(c) = -7*c - 84. Let r = 240 - 252. Let b be w(r). Which is greater: z or b?
z
Let g be -2*1 + 1 + 8. Suppose -t = -5*n + 6, 3*t + 2*n - g - 9 = 0. Let i be (-2)/t + 135/10. Do 13 and i have different values?
False
Let f be (42/4 - 0)*(-108)/324. Let o = 0.16 + 0.04. Let w = 0.3 - o. Is w >= f?
True