75 + -10623.3675. Let l = k - -10627.939. Let y = -0.061 - l. Is y greater than -4?
False
Suppose -3*g = -y + 51, -114 - 22 = -4*y - 5*g. Suppose -4*l + f + 126 = 0, -3*l + 3*f + 97 = f. Let u = l - y. Do u and 1 have the same value?
False
Let j = 55223/1544 - -214/193. Which is bigger: 36 or j?
j
Let p = 35224 + -35222. Which is greater: -3204/13 or p?
p
Let z be 1/(-1)*(-4)/(-2616). Let q(v) = -1547*v - 1. Let n be q(0). Does n = z?
False
Let u be (1/2 - (-38)/20)/(9/(-510)). Is 0.1 at most u?
False
Let k = -19 + 37/2. Let v = 13869708/79 - 175566. Which is smaller: v or k?
k
Suppose -76*h - 15 = -77*h. Let m be 11/55 + 12/h. Is m at most -1/188?
False
Suppose 0 = 4*x + 2*x + 24. Let s be -1*(-2)/(-6) - x/(-6). Let j be 56/36 - s - 2. Is 0 less than or equal to j?
True
Let p = -7.066 + -0.034. Let w = p + 10.1. Let m = -0.3 + -2.7. Is w less than m?
False
Let g = 19 - 11. Suppose 102*j - 107*j - 1100 = 0. Let w = 225 + j. Is g greater than or equal to w?
True
Let i = -1.2538 - -297.9338. Let h = -2.32 - i. Is 0 >= h?
True
Let o(t) = 148*t - 4. Let j be o(-2). Let h be (3 + j/8)/(3/6). Let k = -61 - h. Is 23/3 at least k?
False
Let c = 0.84 + -1.83. Let f = 0.01 - c. Is 30/13 equal to f?
False
Let c = 385 - 370. Suppose -c*h = -h - 784. Let f(g) = 7*g**2 - 2*g - 3. Let d be f(3). Which is greater: h or d?
h
Let l = 5.99 + 0.01. Let g be (-5)/10*(-4)/(-7) - (-13366)/(-9128). Is l at most g?
False
Let z = -8497 - -8498. Does z = -547?
False
Let b = -409 - -420. Let u(i) = i + 128. Let n be u(b). Which is greater: n or 138?
n
Let p(f) = 4*f**2 + 10*f + 2. Let m be p(9). Let z = m - 430. Which is bigger: -11 or z?
-11
Let l(k) = 14*k + 22*k - 33*k - 10. Let r be l(3). Are 3/29 and r nonequal?
True
Let n(h) = h**3 + 6*h**2 - 15*h - 36. Let r(g) = -g**2 + g. Let c(b) = -n(b) - 3*r(b). Let z be c(-4). Is z > 11?
False
Let r = -4759.9 + 4760. Is -19.132 != r?
True
Let u(g) = -g**3 - 2*g**2 + g + 10. Suppose -7*n = -3*n + v + 321, -237 = 3*n - 3*v. Let r = -76 - n. Let c be u(r). Is -82 < c?
False
Suppose 29*n + 66*n - 3122 = 2768. Which is smaller: 562/9 or n?
n
Let w be ((-14556)/(-10) - (2 + 0))/(130/325). Which is greater: 3635 or w?
3635
Let o(u) = -214*u - 284. Let h be o(-10). Is 1854 bigger than h?
False
Suppose 2*s = h + 4, 3*h - 4*s + 11 = 1. Let j be (-9)/24*h*(-5)/(-15). Let c be ((-1)/4)/(45/24). Is j greater than or equal to c?
True
Let o(m) = m**3 - 5*m - 4. Let p be o(-1). Is p > 1/4738?
False
Let u = -1787 - -828. Which is smaller: u or -1915/2?
u
Suppose 2*s + 4 = 0, -23 = -3*n - 3*s - 2*s. Suppose 2524 = -n*y - 3680. Which is bigger: y or 0.1?
0.1
Let h = 646/31 - 76750/3689. Is h bigger than 0?
True
Let s = 82178/7 - 207170703/17647. Which is greater: -1 or s?
s
Let w be (70/245)/(25/35). Which is greater: w or 328?
328
Let i = 29/357 + -14785/212772. Is -1 less than i?
True
Let s be ((-64)/36*3)/((-4708)/672 + 7). Which is greater: s or -6?
s
Suppose 59 = 2*t + 5*h - 31, 10 = 5*h. Let z = t + -61. Let d = -47 - z. Do 1 and d have different values?
True
Suppose 0 = -m - 30 + 6. Let c = -25 - m. Let d = 725/144 + -93/16. Which is smaller: c or d?
c
Suppose p = m + 3*m + 2160, 2*p = -5*m - 2687. Let c = m - -589. Which is greater: c or 47?
c
Let q be 2/(-5) - 5/((-100)/88). Let z be -37*(0 + 2/q*2). Let b be 8/(-20) + z/(-5). Is 6 < b?
True
Let y(a) = 1004*a + 5021. Let n be y(-5). Which is smaller: -44/323 or n?
-44/323
Suppose 0*c + 110 = 2*c. Suppose 2*q + c = 6*j - 11*j, 4*q = -20. Let t = -8 + 5. Is j equal to t?
False
Let b be (-27)/((4/14)/(16/6)). Let x = -252 - b. Are x and -2/589 equal?
False
Let w(h) = 36*h - 60. Let j be w(10). Let a = -2401/8 + j. Which is greater: a or -1?
a
Suppose 13*b - 12*b - 18 = 0. Let t = -22 - b. Let s be t/(-26) + 0 + -11 + 9. Is s > 1?
False
Let d = 596 + -1730. Let a be 27/d*(-1 + 5)*123. Which is greater: a or -12?
a
Let n = 2.65 - -0.35. Let p = 17/19 + -199/95. Which is greater: n or p?
n
Let g = 407012 + -3666892/9. Is g at least as big as -0.1?
False
Let s = -0.00784 + -166.99216. Which is bigger: -2 or s?
-2
Let q be (-2)/(-2)*18 + 0/54. Let d(z) = z**3 - 18*z**2 + 8*z + 26. Let a be d(q). Which is bigger: a or 171?
171
Suppose 3*i = 6*i - 120. Let d = -24.709 - -24.709. Is d smaller than i?
True
Let y = -4.1 + 4.424. Let b = -295 + 295.1. Is y >= b?
True
Suppose -31*j - 68904 = -j - 432654. Which is bigger: 12124 or j?
j
Let j = -13227/4 - -1463/2. Let z = j + 2518. Is -57 > z?
True
Let d be 1/(-4) - (-5 - (-6420)/(-16)). Let w = -405 + d. Is w smaller than -14/69?
False
Suppose 0 = 3*b - 23 - 28. Suppose -4*o + 2*w = 6*w + 216, -4*o + w = 231. Let z = o + b. Are z and -40 equal?
True
Let u be (-3)/((-5)/((-20)/1378) + -4). Let s = 384/7945 - u. Let k = s + -109/70. Which is smaller: k or -1?
k
Let z be 207/545 - ((-72)/(-20) + -3). Let y = 2114/8611 + z. Let q(n) = n**2 + 6*n - 1. Let m be q(-6). Is m at most as big as y?
True
Let s = 1.548 + -7.148. Which is smaller: 100 or s?
s
Let m be ((-10)/9)/(2/240). Let c = m + 133. Which is bigger: c or 1/84?
1/84
Suppose 0 = 5*d - 3*p - 3608, -11*d - 5*p - 1447 = -13*d. Suppose 6*m - 1027 + d = 0. Is 253/5 < m?
True
Suppose -4*z - 10 = 3*a, -11*a + 16*a = -5*z - 15. Let s be -6 + 65*(2 + z). Suppose 4*g + 193 = 3*d, -5*g + 97 = 2*d - 1. Is d at most s?
True
Let p = -1739 - -1739.04. Is p <= 350?
True
Let m = -531 + 549. Let o be 2/(-1) - -12 - -2. Are m and o nonequal?
True
Let u = -199922146/2809 - -71172. Which is smaller: 0 or u?
0
Let f = -1242 + 838. Is -3/2 at least as big as f?
True
Let r(x) = -x**3 + 44*x**2 - 52*x - 142. Let u be r(44). Is -2428 >= u?
True
Let t = 199 + -199.09. Let w = -0.834 + 1.134. Is t >= w?
False
Let r = -2477 + 1024. Is r less than -1453?
False
Let m(i) = -4*i**3 + i**2 + i. Let c(h) = 911 - h - 940 + 2*h. Let v be c(27). Let d be m(v). Is 33 less than d?
True
Let l(s) = -s**2 - s. Let y = 26 + -27. Let m be l(y). Suppose -4*p + m = 20. Which is bigger: -2 or p?
-2
Suppose 2*w + 4*h - 8 = 18, 2*w = -2*h + 16. Let i be (-1)/(45/10 + -4). Let f = i + 12. Is f <= w?
False
Let a(b) = 394*b**2 + 50*b + 2. Let j be a(1). Is j not equal to 3128/7?
True
Let z be 205/(-15)*(-2037)/(-35). Is -796 smaller than z?
True
Let n(j) = 3*j - 7. Let q be n(4). Suppose 4*l - 5464 = -2*s - l, -4*l = q*s - 13694. Let p = 287912/105 - s. Is p less than or equal to -1?
False
Let m = -5398 + 5400. Which is smaller: -1/1721 or m?
-1/1721
Suppose -29*m - 230299 = 18666. Are m and -8586 non-equal?
True
Let s be (7 - (12 + -8))*((-51)/(-9) - 6). Which is bigger: s or -14/2775?
-14/2775
Let f = -3 - -2.9. Let n = 3.52 - 2.8. Let w = 2.12 - n. Do f and w have different values?
True
Let d = -24 + 17. Let i be (-6)/((-4020)/(-14))*2/d. Which is smaller: i or -1?
-1
Let b be (-194)/(-6)*(28 + (-24 - 7)). Which is smaller: -100 or b?
-100
Let m be (2 - (-15)/(-9))*29. Let j = m + -31/3. Let u = 5/6 - j. Which is bigger: u or 0?
u
Let i = 3/29 + -117/290. Let m be -1 - (-137)/(-90) - -2. Let u = i - m. Which is bigger: u or 0?
u
Let c be (-12)/18*(-345)/8. Suppose 0 = 1504*h - 1487*h - 493. Is h greater than or equal to c?
True
Let z be 1/4*8/94. Suppose 0 = -5*j - p + 2035, -p + 443 = j + 32. Let m = j + -406. Which is smaller: z or m?
m
Let z(d) be the third derivative of d**5/3 + 5*d**4/24 - 7*d**3/6 - 2*d**2 - 21. Let l be z(2). Are l and 81 equal?
False
Suppose 5*o - 5*i + 10 = 0, 2*i + 2 = -o - 0*i. Let g be o/2 + (0 + -4)/(-2). Let t(d) = d**3 - 2*d**2 + 2*d - 1. Let m be t(g). Are m and 1/58 nonequal?
True
Suppose -5*c + 21 - 141 = 3*j, 3*j - 6 = c. Let m(n) = -539*n + 2671. Let p be m(5). Which is greater: p or c?
c
Let t be (-214)/6 + (13 - (-129)/(-9)). Which is smaller: -1/10 or t?
t
Let a = 756 - 345. Do 411 and a have different values?
False
Let d = 5.3 - -0.7. Let v = 520 + -1665. Let r = -1149 - v. Is r < d?
True
Let y = -7657 + 7658. Which is smaller: -2/22075 or y?
-2/22075
Let a be 38 - ((-4)/(12/15) - -10). Let s = 54 - a. Which is greater: s or 59/3?
s
Let m = 36939 - 36938. Is -515 < m?
True
Let x be (104/(-156))/((-8)/(-7060)). Which is bigger: x or -588?
-588
Let j be 284/(-3834) + 5186/27. Suppose -j = -1067*g + 1079*g. Which is greater: g or -46/3?
-46/3
Let b = 9/64 - 619/5312. Let n be 1/(-3)*(2 + -3). Which is 