t v be -18*4/(-12)*1. Suppose -3*i = g - 6*i - 10, v = 3*g - i. Is g equal to 2/705?
False
Let g(z) = -z**2 + 4*z - 1. Let p = 43 - 40. Let a be g(p). Suppose -10*d - 18 + 68 = 0. Which is smaller: a or d?
a
Let q = 3269 - 3269. Which is greater: q or 8/505?
8/505
Let b be 6/(-9)*(5 - 2) + -1. Let r be (-20)/6*(4 - 1). Is r greater than or equal to b?
False
Suppose r - 26 + 40 = -5*y, 42 = 3*y - 5*r. Are y and -2/28435 equal?
False
Suppose -4*t + 688 = -467*c + 463*c, 4*t = 2*c + 688. Is 173 greater than or equal to t?
True
Let r be ((-24)/(-10))/(2/10). Let x be 2/r + (-639)/(-54). Let k be (-1)/(-16)*x*(-1)/5. Which is smaller: 1 or k?
k
Let s = -88 + 93. Suppose -4*t + 11 + 19 = s*l, 5*t + 3*l - 31 = 0. Are t and 23/4 unequal?
True
Let k(x) = -x**3 - 4*x**2 + 6*x + 20. Let l be k(-5). Suppose 4*t - 6*m - l = -3*m, -4*m + 12 = 0. Is 6 less than or equal to t?
True
Let g = 124 + -126. Let c = -171.04 + 171. Is g less than c?
True
Let n = -235643/123409 - -4/11219. Is -6 less than or equal to n?
True
Let n(s) be the third derivative of 23*s**4/24 - 5*s**3/3 + 6*s**2. Let m be n(5). Let j be ((-2)/6 - (-4424)/42) + 0. Are m and j non-equal?
False
Let w be (-20)/15*(-21)/(-49) + 4180/(-35). Is w < -1566/13?
False
Let m be (2/(-5))/((-8)/20). Suppose 8*r - 23 = 3*r - f, -f = 4*r - 18. Let q be 10385/(-945) + 3 + r + 3. Are q and m equal?
False
Let c = -131 - 133. Let x = c + 267. Is 7/4 bigger than x?
False
Let j = 31.108458 - 0.108458. Let o = 16 - 239/15. Which is greater: o or j?
j
Let v(n) = -14*n**3 + n**2 - n - 1. Let i be v(-1). Suppose -i = -5*q + 5*o, -6*q + 33 = -q + 4*o. Let f = 357 + -350. Is f <= q?
False
Let y = 3842 + -1989. Let x = 179739/97 - y. Let b(o) = -o + 8. Let h be b(8). Do x and h have the same value?
False
Let q(g) = g**2 + 20*g + 64. Let t be q(-4). Suppose 5*a + 5 + t = 0, -2*b - 100 = 2*a. Is b greater than or equal to 3/4?
False
Let j = -14256 - -14255. Is j at most -77/31?
False
Let s = 3/326837 - -13400278/4248881. Suppose 0 = -3*r + 3 + 3. Which is greater: s or r?
s
Suppose 0 = -8*o - 445 - 1443. Let n = 206 + o. Which is bigger: n or -34?
n
Let b(d) = -11*d**2 + 17*d + 142. Let l(m) = 7*m**2 - 11*m - 95. Let h(q) = 5*b(q) + 8*l(q). Let a be h(-6). Is a bigger than 30?
False
Let q be 1*10/1*2. Let g(y) = -y**3 + 20*y**2 - 3*y + 71. Let x be g(q). Which is greater: x or 23?
23
Let p = 478/192879 + 1/739. Does p = 15?
False
Let r = 5764 - 5925. Which is smaller: -157 or r?
r
Let n(j) be the second derivative of j**5/20 - j**4/12 - 2*j**3/3 + 3*j**2/2 + 4*j. Let u be n(2). Let m be 11/(-176) - (-91)/(-80). Is m > u?
False
Suppose -8 = -2*t, -2*s + 7*s - 4*t = 19. Suppose -2*x + 4*k - 7 = s, -35 = -5*x - 4*k. Let m be -18*(2 + 1)/x. Is -19 > m?
False
Suppose 3*j - 5*h = -23 + 103, 2*j - 60 = 5*h. Let l(x) = x**2 + 8*x - 8. Let y be l(-11). Which is bigger: j or y?
y
Let h = -8/213 - -3677/1491. Let k = -411/175 + h. Let t be 0*(-1)/(-6) - 1. Which is smaller: k or t?
t
Let m be 4*((-1363)/141 + 2/2 + 7). Which is smaller: -10 or m?
-10
Suppose 0 = 16*y - 17*y + 142. Let q = -163 + y. Is q at most -16?
True
Let d(t) = -9 + 2 + 0 + 8*t. Let l be d(3). Let s(k) = 10*k + 37. Let n be s(-2). Is l less than n?
False
Let d be ((-3)/6)/(60/(-51384)). Let z = d - 428. Which is smaller: 0.062 or z?
0.062
Let z(m) = m**2 + m + 7. Let d be z(5). Let b = -4179 - -4156. Let j = d + b. Is j greater than -1?
True
Let z = -470 - -473. Suppose -z*u + 90 = -0*a - 5*a, 3*a + 30 = -3*u. Which is smaller: -17 or a?
-17
Let a = -0.0088 - 17.9912. Suppose v + 9 = -2*v. Let r be 1/v*(-6 - -5). Do a and r have different values?
True
Let c be 2 + 3951/(-12) - (119/17 - 5). Which is greater: -328 or c?
-328
Suppose -2*r - 576 = 2802. Is r != -1689?
False
Let o(s) = 101*s + 5 + s**2 + 0*s**2 + 7 - 96*s. Suppose -4*t = 11 + 5. Let z be o(t). Is 25/3 less than z?
False
Let j be 3325/(-14)*(-168)/108. Is j smaller than 370?
True
Let n(g) = 442*g - 1323. Let s be n(3). Let a be 2/5 + (-58)/(-5). Suppose 0 = 3*f + 3*h + a, -2*f - s*h + 5*h = 0. Which is smaller: f or 0.39?
f
Suppose -44*h = -15*h + 1876 - 484. Suppose 2*c - q = 1, 6 = -3*c - 0*c + 4*q. Let d be (14/(-4))/(c/28). Is d bigger than h?
False
Let d be (0 - 9/6)*-2. Suppose -4*x + 4*t = -32, 2*t = -4*x - d*t + 23. Let k be 42/(-30)*(-6)/x. Is -0.1 < k?
True
Suppose -2014*s - 2*p - 50 = -2012*s, 2*s = 3*p - 15. Which is greater: -12 or s?
-12
Let b = -27475 + 27028. Is -432 <= b?
False
Let p be (20684/(-30))/((-1866)/(-8397)). Which is bigger: p or -3102?
-3102
Let n = -170 - -171. Let o be -4*n/(-1) + 2142/(-663). Let v be ((-2)/2)/(0 - 1). Is o at most v?
True
Suppose c - 3*x + 141 = 0, 0 = 4*c + c - 4*x + 683. Let y = -46 - c. Let o = y - 116. Which is smaller: o or -1?
o
Let i = -0.1734 - 0.1266. Which is greater: 6/43 or i?
6/43
Let n = 104070/17 + -6122. Is n smaller than -18?
False
Let l = 2406/5 + -632943/1315. Is 0 >= l?
True
Suppose 0 = -4*i - 12 - 0. Let d(b) = b**3 - 10*b**2 - 7*b - 48. Suppose -2*r = -3*z + 29, 4*z + 0*r - r - 42 = 0. Let v be d(z). Which is bigger: v or i?
i
Let v(x) = 2*x + 1. Suppose 4*w = -2*l + 8, 4*l - 13 = -3*w - 2*w. Let m be w/((-2)/4) + -20 + 23. Let s be v(m). Does 11 = s?
False
Suppose -132*y - 29052 = 114036. Is y < -5416/5?
True
Suppose 0 = -2*o + 2*x - 2, 5*x = -86*o + 89*o + 13. Let l = -360455/336 + 7542/7. Let k = -7/48 + l. Which is bigger: k or o?
k
Let h = 6 - -9. Let b = h + -14.9. Let r = 4467/3928 + -6/491. Is r < b?
False
Let q(m) = m**2 - 6*m + 9. Let x be q(4). Suppose 8*w + 35 = -5. Let k be 2/w + (-96)/(-140). Is k > x?
False
Let p = 3709/930 + -64/93. Let a = p - 1333/410. Are a and 0.9 non-equal?
True
Let s be 30/(-165) + (-20348)/11. Let o be 7/35*s/(-15). Which is smaller: 24 or o?
24
Suppose 8 = m + m - 2*o, 0 = m + 4*o + 1. Let v = 16 - 27.5. Let k = 11.3 + v. Which is smaller: m or k?
k
Suppose 3*f = -4 - 8, 2*t - 36 = -5*f. Let u(k) = k**3 - 11*k**2 + 23*k + 34. Let n be u(8). Which is bigger: n or t?
t
Let w = -766 + 765.9. Is w less than -0.2772?
False
Let k = 25457 - 17269. Which is greater: k or 8186?
k
Let b = -7653/26810 - 1/3830. Which is greater: b or 2298?
2298
Suppose 54*x - 48*x + 18 = 0. Suppose 0 = 3*a - 9 - 0. Suppose -9 = 3*l - a. Is l bigger than x?
True
Let b = -1/2453 + 968941/14718. Which is greater: 65 or b?
b
Suppose -749*l = -802*l - 96831. Is l bigger than -1826?
False
Let d be (-100984)/572*(1 + (-13)/12). Let w = d - 72/11. Is 7 < w?
True
Let f = -1020/433 + 14441872/6129981. Which is greater: f or 1?
1
Let p = 5 + 0. Let w = 0.549525 - -5.550475. Is w at least as big as p?
True
Let z = 1197 - 1181. Let k = 13 - 11. Which is bigger: k or z?
z
Let w = -3355 - -3403. Which is greater: w or 8?
w
Let v(o) be the third derivative of o**4/24 + 2*o**3/3 + 133*o**2. Let f be (-2)/(-2)*2/(-2). Let y be v(f). Which is smaller: y or 2?
2
Let y = -5186648/111 + 46727. Which is bigger: y or -1?
y
Let y = 774 + -678. Suppose -16*o = -19*o + y. Which is greater: 36 or o?
36
Let u = 6554 - 5442. Are 1113 and u nonequal?
True
Suppose -4*s = -2*h - 72, -2*s + 36 = -3*h - 0. Let r(x) = 2*x**2 - 4*x - 15. Let a be 0/(3 + -5) - (-2 - 3). Let f be r(a). Is f smaller than s?
True
Let a be (522/(-25))/(35/(-25) + (-54)/(-45)). Is a at least as big as 103?
True
Let l be -4 - (3 + 60/(-21) + 15972222/(-3855222)). Which is smaller: 1 or l?
l
Let p = -130563 - -130564. Let w be ((-1)/3)/((-698)/(-12)). Is p less than or equal to w?
False
Let o = -5726 - -3159. Is -2568 >= o?
False
Let c = 2/16739 + -17910736/50217. Are c and -358 unequal?
True
Let b = -4169/35 - -597/5. Let x(r) = 14*r + 7. Let s be x(-6). Is b > s?
True
Let s = 26.152 - 1.152. Is s != -43?
True
Let f = -14 - -9. Let x be 27/3*f/(-15). Suppose -10*l = -x*l + 7. Which is smaller: -2 or l?
-2
Let a = 4747 - 4746. Which is smaller: -2/19991 or a?
-2/19991
Suppose -4*b + 5*o + 54 = -970, 4*b + 3*o - 1056 = 0. Let f = 3391/13 - b. Suppose z - m = -4, -z - 55*m + 8 = -53*m. Does f = z?
False
Let t = -12827 - -12882. Which is bigger: 72 or t?
72
Let u = 7997/3 - 2665. Which is bigger: u or -0.437?
u
Suppose 8 = 2*j, -b - 3*j + 2*j = 23. Let t be 105/(-18)*64/14. Is t not equal to b?
True
Let u be (15/135)/((-42)/90 - (-2)/15). Suppose 4*q + 18 = -2*r, 0*q - 21 =