h*u + 14, 3*u + 11 = 2*g. Is 26/15 >= g?
True
Suppose -p = -5*z + 14, 0 = 15*z - 11*z - p - 12. Suppose 0 = 5*u + 10, -4*u = -0*h - z*h + 74. Suppose 0 = 5*o + 4*i - 181, -2*o - i + 13 = -57. Is h != o?
False
Let o be (-26 + -21410)/23 - 4. Is o equal to 20?
False
Let u be (-160)/440*55/90. Let q(v) = v - 2. Let c be q(-2). Let y = 3 + c. Which is bigger: u or y?
u
Let n(h) = -2*h**2 + 22*h - 15 + 0*h**2 + 0*h**2. Let c be n(10). Suppose 0 = 4*k - c - 7, i - 3*k + 13 = 0. Is -3 > i?
True
Let y = 187079229/20 - 9356300. Let p = y + 2338. Which is bigger: -1 or p?
p
Let l(z) = z + 6. Let p be l(-2). Let q be -1*(3 - p) - (-414 + -5). Suppose -10*v = 4*v - q. Which is greater: 31 or v?
31
Let j = 172/35 + -26/5. Let s = 3536/11 - 2250/7. Which is smaller: j or s?
j
Suppose 7*x - 2*x = 0. Let k = x + -10. Let h be (-17)/102 + 0 + (-51)/18. Is k greater than or equal to h?
False
Suppose -a - 1 = -z - 0*z, -2*z - 2*a = 10. Let y be (-2)/692 - (z - -3 - 1). Are y and 1 equal?
False
Suppose -60*t + 16 = -58*t. Let v be ((-6)/t)/(28167/328). Which is smaller: v or -1?
-1
Let d = -1928 + 1966. Is d greater than -6.7?
True
Let p be (-4)/(-14) + (-292)/91. Suppose 472*d - 102 = -883 - 575 - 60. Are p and d unequal?
True
Let f = 0.2945 + -0.3245. Let u = -0.22 - -0.12. Are f and u unequal?
True
Suppose 3*w = -l + 1283, 0 = -5*l + 4*w + 5336 + 984. Let i = l + -1269. Let a = -17/5 - -56/15. Do i and a have the same value?
False
Let w = 508 + -506. Let k be (w/(-4) - 1896/(-304)) + -5. Which is greater: k or 1?
1
Let s(n) = n**3 + 26*n**2 + 29*n - 36. Let g be s(-25). Let t be (-5)/(-2) - (-12188)/(-88). Are g and t nonequal?
False
Let z be 84/(-252) + (-554)/246. Is z >= 1?
False
Suppose -5*u + 460 = 5*u. Suppose -54 - u = 10*t. Do t and -46/5 have different values?
True
Suppose 4*q = w - 17316, -13025 = 3*q + 17*w - 13*w. Is q != -4331?
False
Let c be 8 - ((-190)/(-45) - 6/27). Let d be (c - (-31)/2)/(1 - -2). Suppose -4*b + 4*r + 8 = 0, 7 = 2*r - 1. Which is greater: b or d?
d
Suppose -24*i + 53 = 300 + 1073. Is 10 at least as big as i?
True
Let y = -37697 - -10442055/277. Which is smaller: -1 or y?
-1
Suppose 3*s = -5*w + 59 + 38, 4*w = 20. Let b be s/(-4) - (-116)/18. Which is bigger: 1 or b?
1
Suppose 0 = 5*q - 9*q + 108. Suppose 0 = -28*d + d - q. Is -28 less than d?
True
Let v = -41/20 - -689/340. Which is greater: -1 or v?
v
Let s be (-1)/2 + ((-2)/(-20) - (-6)/(-10)). Is 2/10091 <= s?
False
Let d = -52 - -74. Let k(h) = 26*h - 1670. Let a be k(65). Is a > d?
False
Let q(o) = 4*o - 24. Let j be q(11). Let z be j/(-6)*120/850. Let x be -4*30/(-24) - 5. Are x and z non-equal?
True
Let h = 4945 + -4943. Suppose 0 = -4*a + 3*i + 128, i - 7 = -3. Is a at most h?
False
Suppose -3*a + 357*i + 3 = 352*i, i = -3*a + 3. Is a <= -10/1787?
False
Let g(k) be the third derivative of -k**6/120 + 4*k**5/15 - 5*k**4/8 - 5*k**3/2 - 112*k**2. Let c be g(15). Which is smaller: 0.8 or c?
c
Let z(g) = -4*g**2 + 22*g. Let k be z(8). Let i be ((-4)/k)/(5/(-30)). Is i at least -7?
True
Let h be (570/(-25))/(54/7380). Is -3116 smaller than h?
False
Let s = -13.01 + 0.01. Let h = 22 + s. Let x = h + 6. Is -0.1 != x?
True
Let g = 249557 + -249532. Suppose 3*p - 135 = -2*p. Does g = p?
False
Let a(r) = r**3 - 24*r**2 + 36*r + 462. Let j be a(21). Which is smaller: j or 1?
j
Let d(j) = -67*j**2 + 16*j - 40. Let f be d(3). Let r be (-2)/(-5*(-14)/f). Which is greater: 19 or r?
19
Let p = -515 - -45. Let v = 474 + p. Which is bigger: v or 58?
58
Let a = -23 - -36. Suppose 11*f + 8 = a*f. Let s be (-20)/(-8)*f/(-2). Is 0 smaller than s?
False
Let c = -0.6704 + 0.6804. Which is smaller: c or -1174?
-1174
Let r(a) = -5*a - 18. Let h(x) = -x**3 + 6*x**2 - 6. Let t be h(6). Let n be r(t). Suppose n*d + 36 = 14*d. Which is greater: d or 17?
d
Let m be (669/(-1683) - (-16)/88)*-3. Suppose b + b = 2. Which is greater: m or b?
b
Let p = -24888 + 112568426/4523. Are p and -1 nonequal?
True
Let a be (-43 + 41)/(3 - -2). Is a >= 200/11?
False
Let d(t) = -69*t + 1489. Let z be d(30). Is -582 greater than or equal to z?
False
Let r = -1663.8 + 1525. Let u = r - -137. Let n = u + 1.7. Is n not equal to 6/17?
True
Suppose -27*q - 2*s - 770 = -29*q, 5*q + s = 1949. Which is smaller: 392 or q?
q
Let y be 4/(-7)*(5 + (-32016)/6371). Is 1 at most y?
False
Suppose 0 = 3*z + 5*n + 30, 3*z + 22 = -4*n - 8. Let r be (-9)/(-15) - 124/z. Let x be (-4)/(-26) - 15/r. Is x equal to -5/24?
False
Suppose -w + 42 = -2*f, w + 3*w - 174 = 5*f. Let x be (-18)/(-22) + w/253. Which is smaller: 3/31 or x?
3/31
Let r = -229 - -235. Suppose -r*x = -17*x + 165. Is x bigger than 72/5?
True
Let v be (90/75)/(4/10). Suppose 0 = -v*g - g - 80. Let q be 0 - 0 - (-4 + g/(-6)). Is q <= 7?
True
Let p be (-1)/(-2) + (-9)/(-6). Let n be p/(2 + (-4)/5). Suppose 2*g - 182619 = -5*s - 182606, 0 = -4*s + 2*g + 14. Is s < n?
False
Let b = -2039 - -2760. Which is smaller: -2 or b?
-2
Let i = -263/13 + 269/13. Is i equal to 0.178?
False
Suppose 4*r - 183 = -791. Let l = r - -140. Which is smaller: -10 or l?
l
Let k = -6453 + 6453. Let t = -57 + 33. Is k less than t?
False
Let k be (-636)/60 + (-4)/10. Let w = 11 + k. Which is bigger: w or 6/43?
6/43
Let p = 0.408 - 0.27. Let t = 4057.1 - 4057. Is p equal to t?
False
Suppose -5830 = -35*s - 37750. Is -912 smaller than s?
False
Suppose -161*l + 263084 = 2243062. Which is smaller: l or -12299?
-12299
Let w be (-8)/3*3/2. Let t be 9/18 + 2/w. Let c = 1062 - 52040/49. Is c greater than t?
False
Let f be (426/(-4))/(-4 + 38/8). Let d = f - -46. Is -97 > d?
False
Suppose 37*b + 80 = 42*b. Suppose b*w - 11 = 5*w. Let l be (15/50*2)/(w/(-5)). Which is bigger: 0 or l?
0
Suppose -157*m + 2 = -155*m. Suppose 0 = s + 3*o - 500, -4*o + 1984 = -s + 5*s. Let z = s + -22723/46. Which is greater: z or m?
m
Let t = -247 + 248. Let b be (4/(-23))/((7 - 1)/3). Is t greater than or equal to b?
True
Let w(o) = o**2 + o + 1. Let s(a) = 11*a**2 + 2. Let h(q) = s(q) - w(q). Let l be h(-1). Let c = -50 - -48. Which is smaller: l or c?
c
Let p(t) = 29*t + 364. Let v be p(9). Which is smaller: v or 626?
v
Suppose 2*a = b - 23, 3*a = -53*b + 49*b - 73. Let u(l) = -l**3 + 8*l**2 - 2*l + 3. Suppose 3*d - 15 = 9. Let y be u(d). Which is greater: y or a?
y
Suppose -7*t + 140 = -9*t + 4*k, 2*t + 5*k = -140. Is t at most -421/6?
False
Let g = -25942.946 + 25910. Let c = g + 33. Let z = c - -0.046. Which is smaller: z or 16?
z
Suppose -5*i - 300 = -8*l + 4*l, -4*l = -4*i - 304. Let q be 4/12*15 + -3. Let o be (-8)/(l/15)*q. Is o > -4?
True
Let k = -276 - 165. Let r = 441 + k. Is r bigger than -53?
True
Suppose 4*h + 3*v - 44 = -2*v, -4*h + 3*v = -12. Let a(m) = 2*m**2 + 6*m + 5. Let g be a(h). Which is greater: g or 114?
114
Let a(k) = -k - 12. Let m be a(-15). Suppose -3*u + 11 = o, -m*o + 6*o - 3*u = 9. Is o greater than 8?
False
Let v be (-50)/6 - (-260)/195. Suppose 3*q - 3*f = -0*f - 3, 0 = 2*f - 6. Suppose 0*x - 3 = x + b, -2*x = 4*b - q. Is v < x?
False
Let n(w) = -w**2 - 43*w + 119. Let x be n(-46). Let q be 7/9*x + -8. Is -23 > q?
False
Suppose -9814 = 1660*o - 1646*o. Which is bigger: o or -699?
-699
Let m = -26/2519 + 9704/1428273. Let t = 3 - 2. Is t at least m?
True
Suppose 6*g - 6 = 36. Suppose 429 = g*x + 156. Is x less than -1?
False
Suppose -5*s = 7 + 3. Suppose g - 3*x = 45, 9*x - 180 = -4*g + 5*x. Let d be (2 - (-16)/(-6)) + (-70)/g. Is d greater than or equal to s?
False
Let x = 20219 - 201211/10. Are x and 97 nonequal?
True
Let c = -16021/10 - -1681. Is 80 smaller than c?
False
Suppose -5*x - 2*v - 5 = 0, -x + 5*v = 1309 - 1308. Let h = 6676 + -2583614/387. Which is greater: h or x?
h
Let o = -302 - -195. Let u = o - -105. Is -14/11 != u?
True
Suppose -88*r + 75 = -113*r. Let x be 18/r*219/63. Which is greater: -20 or x?
-20
Let c = 108.2 - 118.02. Let p = c + 2.72. Are -0.7 and p non-equal?
True
Let l = 8 + -9. Let d = -76 - -80. Suppose -4*q - d*a + 4 = 0, q - 10 = a - 5*a. Which is greater: q or l?
l
Let t be (-312)/(-54) + (-4)/(-18) - -164. Let i be t/6 + (-26)/26. Are 28 and i equal?
False
Let f = 2049 + -2046. Is 13/3 <= f?
False
Let t(q) = q + 2. Let p be t(0). Let k be (-1)/p - (-98)/4. Suppose 8218 = -532*u + 7686. Which is greater: k or u?
k
Let i be 10/((-9)/(-5) - 24/30). Suppose -2*n 