t y be -7 + (6 - 2)*1. Let j = y + 0. Is j greater than or equal to -1?
False
Let n(b) be the third derivative of -b**5/60 - 7*b**4/24 - b**3/3 + 10*b**2. Let r be n(3). Is r greater than -32?
False
Let i = 97 - 31. Suppose 54 = -5*y - i. Let x be (-5)/(-9) + 8/y. Which is smaller: -1 or x?
-1
Let j be ((-150)/(-35))/6 - (3 + -2). Do 5/2 and j have different values?
True
Suppose 27 = 4*y - 9. Let d = y - 16. Let k = 7 + d. Which is smaller: 5/6 or k?
k
Let s be 4/8*-1*0. Suppose s = -5*m - o + 14, 20 = -0*o + 5*o. Suppose -m*y = -8*y - 24. Which is smaller: y or -11/4?
y
Let j = -14669/6363009 + 2/13743. Let u = 1831/9723 - j. Is -1 >= u?
False
Let h = 3467 + -2467. Let s = h - 1020.14. Let l = s + 20. Which is greater: l or 0.1?
0.1
Let u be 4/1 + -36 + 26. Let d = u + 44/7. Let s = -0.09 + -3.91. Which is greater: s or d?
d
Let a(d) = -d**3 - d + 2. Let g be a(0). Suppose 12 = -3*j + 3*p, 2*j + p - g - 5 = 0. Which is bigger: j or 4/21?
j
Let w = -75 + 76. Is 0 >= w?
False
Let f(t) = -2*t - 5. Let q be f(-6). Suppose -11 = 4*c - q. Is c > 1/17?
False
Let a = -11 + 17. Let f = 4 - a. Let p(i) = i**3 + i**2 - i + 2. Let j be p(f). Which is smaller: -7/5 or j?
-7/5
Suppose 35 = -20*w + 25*w. Is w smaller than 5/7?
False
Let k be 6 - (-14)/(-22) - 3. Let t = -41 + 42. Is t at most as big as k?
True
Let f = 0 - -11. Let x be 167/f - (-8)/(-44). Let c be 6/x + (-14)/10. Which is greater: -2/9 or c?
-2/9
Let k = 3/122 + 3/122. Let m be 4/10 - (-886)/(-1830). Let q = m - k. Which is smaller: q or -1?
-1
Let s = -193.4 + 178. Let q = 15.5 + s. Which is smaller: q or 0.44?
q
Suppose 0 = -23*f + 144 + 201. Are 13 and f non-equal?
True
Suppose 1 = m + v - 0, -3*m = -2*v + 17. Let g be 1/m - ((-106)/(-6) - 2). Which is greater: g or -18?
g
Let m = -21 + 23. Suppose -m*n = 3*b + 73, 4*b - 2*n + 84 = 2*n. Let h = 22 + b. Is h less than 2/39?
True
Suppose 4 = k - 4*y, 0 = -7*k + 3*k - y + 16. Let p be (-2)/k + (-18)/12. Suppose 0 = -2*a + 3*b + 13, -2*a - 2*a = 5*b + 29. Is a != p?
True
Suppose 0*v - 2140 = -4*y - 4*v, -4*y + v = -2145. Let m be 2/13 - y/1456. Which is smaller: 1 or m?
m
Let m be (-210)/(-84)*(-4)/10. Which is smaller: m or -1/1200?
m
Let f = -286.14 - -285.8. Which is greater: f or -0.01?
-0.01
Let n(t) = -17*t + 554. Let y be n(30). Is y greater than 259/6?
True
Let x be (-8)/5*250/(-15)*3. Is x > 82?
False
Let y = 769 + -764. Which is smaller: y or 1/4?
1/4
Let z = -94 - 117. Which is bigger: -212 or z?
z
Let y be 56/168 + (-2)/(-3). Which is smaller: y or -5/11?
-5/11
Let u = -64 - -135. Let v = -89 + u. Is v != -18?
False
Let d = 8 + -5. Suppose -29 = -d*g + 4. Let z = g - 12. Which is smaller: z or 1/4?
z
Let o = -137/258 - -4/129. Let m = 21.7 - 22. Is m greater than o?
True
Let g = 5.997 + 0.003. Which is bigger: g or -3?
g
Let x = -324.07 - -324. Which is bigger: x or 8?
8
Suppose 0 = 6*w + 63 - 9. Let x be 0 + (0 - w/60). Let q = -2 - -1. Is q less than x?
True
Let c = -475 - -464. Which is smaller: c or 3/4?
c
Let c = 88 + -87. Which is greater: -0.68 or c?
c
Let h = 141.994 - -0.006. Is h greater than 2/3?
True
Let t = -50 + 48. Suppose -h - 2*h + 42 = 0. Let j be t/(-12) - h/48. Which is smaller: j or 1?
j
Let o be (0 + 1)/((-2)/(-60)). Let c = 15 - -14. Which is bigger: o or c?
o
Let v(j) = j**3 - 7*j**2 + 22*j**2 - 89 + 13*j + 96. Let c be v(-14). Is c at least as big as 19?
True
Suppose -108 = -13*x + 10*x. Let f = 37 - x. Which is greater: -12 or f?
f
Let x = -12 - -10. Let k be x/(-9) - (-12)/(-54). Let o be ((-1)/(-2))/(14/36). Are k and o equal?
False
Let m(d) = d**2 - d + 2. Let s be m(4). Suppose -s*j = -15*j + 38. Do 39 and j have different values?
True
Let q = -2210 - -17677/8. Let g = -0.1 - -0.3. Let h = g + -1.2. Which is smaller: h or q?
h
Let s = 250 + -250. Which is bigger: s or -99/5?
s
Suppose -4*p = -p - 4*c + 5, -3*p - 5*c = -13. Let h(m) = m - 1. Let q be h(p). Let s be (-94)/98 + 1 - q. Is 0.1 bigger than s?
True
Let o be (-56)/(-16)*8/7. Is o < 1?
False
Let t be (-35)/(-20)*4/1. Let x(s) = -s**3 - 2*s**2 + s - 2. Let q be x(-3). Suppose -24 = -q*w + 4. Is w less than t?
False
Let q(n) = -193*n**2 + 14*n - 13. Let j be q(1). Is -773/4 equal to j?
False
Let a = 370 + -372.77. Which is smaller: -1 or a?
a
Suppose 0 = w + o + 6, 0 = -5*w + 3*w + 3*o + 8. Let n be w/(-2) + 2 + -1. Let q be 0 + -2 + n - 0. Which is bigger: 5/4 or q?
5/4
Suppose 0 = 153*n - 144*n + 2232. Are -248 and n equal?
True
Suppose j + 4*c = 10, -j + 3*c - 2*c - 10 = 0. Let r be (78/12 + j)/((-1)/6). Is r < -3?
False
Let k(u) = -u**3 - 5*u**2 - 3*u + 3. Let f be k(-4). Let a = 5.192 - -0.168. Let g = 0.36 - a. Is g equal to f?
False
Suppose -143*p + 493 = -126*p. Which is smaller: p or 113/4?
113/4
Let h(q) = -2*q**2 - 286*q + 876. Let c be h(3). Let m = 226 + -237.1. Is c less than or equal to m?
False
Let u = -0.47 + 0.62. Let b = u + 0.05. Which is greater: -17 or b?
b
Let y = -3276 + 3306.87. Let c = 31 - y. Let t = 0.57 + c. Is 2 smaller than t?
False
Let t = 3 - 1. Suppose -8 = -2*h - t. Suppose 4*n - n - 12 = 0. Is h > n?
False
Let x = 112 - 108. Suppose 29 = -x*j + 105. Are j and 20 nonequal?
True
Let d(y) = -y + 5. Let u be d(-4). Let r be ((-2)/16)/(u/172). Let m = r + 5/2. Is -1/4 < m?
True
Let z be 2/6 + 8/12. Let p be (0 - -1)*z/(-29). Let b(l) = -l**3 - 97*l**2 - 374*l - 187. Let q be b(-93). Which is greater: q or p?
p
Let a be 6/9*(-6)/10*45. Let u = a + 21. Which is smaller: u or 9/4?
9/4
Let u = 3073990/349 + -8808. Which is smaller: 1 or u?
u
Suppose 49 = 11*c + 5. Suppose -4*s - c = -8. Let m be (-1 - 3)*(-3)/(-4). Is m less than or equal to s?
True
Let r be 0/(7 + -4)*1/3. Let i(n) = -n**2 + 2. Let v be i(r). Which is bigger: v or -2?
v
Let d = 154.94 + -156. Let t = -0.06 - d. Is t > -44?
True
Let t be ((-30)/(-70) - 3/7)/(-3). Which is smaller: 3 or t?
t
Let v = -55 + 65. Suppose 2*j - 4*n - 40 + v = 0, -3*j + 39 = -3*n. Which is smaller: 12 or j?
j
Let b be (-3)/((-27)/(-48))*-3. Suppose -3*z + 4*j - 16 + 0 = 0, 0 = 5*z - 4*j + b. Suppose v = -z + 1. Which is smaller: v or 1/9?
1/9
Let x = -0.774 - 15.226. Is 1 greater than or equal to x?
True
Let n = -34644 + 34679.941. Let j = -0.059 - n. Is j less than or equal to 1?
True
Suppose 28 = 2*a + 12. Let u be (a/(-2))/(5/105). Let q be ((-1)/(-2))/((-49)/u). Do q and 0 have the same value?
False
Let i = -58 + 57.905. Let u = i - 0.005. Let k be 7/18 - 1/2. Is u less than k?
False
Let q(m) = -m**3 + 4*m**2 + 4*m - 1. Let y be q(5). Suppose -97*i = -75*i + 176. Do i and y have different values?
True
Let i(m) = m**2 + 2*m - 4. Let b be i(0). Let q be (6/b)/((-48)/224). Is 7 > q?
False
Let i be -2 - 40/(-28) - (-138)/756. Suppose -2*j - k + 1 = -0*k, j - 1 = -k. Which is smaller: j or i?
i
Let o be (14 - -1) + (0 - 4). Let j(z) = -2*z - 4. Let w be j(-8). Is w > o?
True
Suppose 8*d + 5*d = 23*d. Is d at most 12/425?
True
Let d = 117 - 114. Suppose d*s = 2*x - 74, 6*s = 4*s - 5*x - 24. Is s at most -24?
False
Suppose -f + 0 = -2. Let c be f/(-6) - (-95)/315. Let y = 0 - 1. Are c and y nonequal?
True
Suppose -i = -401 + 97. Is i less than 607/2?
False
Let d(q) be the third derivative of -q**5/20 - q**4/24 - 38*q**2. Let l be d(-1). Let r = -6 + 2. Which is smaller: r or l?
r
Suppose -560 = -4*u - 4*l, 5*u + 2*l - 490 = 222. Let i be 2/(-7) - (u/28)/(-4). Is 7/8 != i?
True
Suppose 0 = -3*s + g + 476, -s = 50*g - 54*g - 144. Which is smaller: s or 158?
158
Let u be (-1462)/(-4970) + (0 - (-22)/(-77)). Are u and -1 non-equal?
True
Let i(n) = n. Let m be i(5). Let k(f) = f**3 + f + f**2 - 11*f**2 + 5*f**2 - 3 + 0*f**3. Let t be k(m). Is t not equal to 5/4?
True
Let p(d) = 3*d + 34. Let z be p(-14). Let q be z/(-126) - (-16)/72. Which is smaller: q or 1?
q
Let m = -103 - -111. Let s = m + -8. Is s smaller than 0.03?
True
Let f be 2*(0 + -1 + -2 + -18). Is -42 >= f?
True
Let u be 46/(-6) + (-4)/(-6). Let r = u - 5. Let h = r - -16. Do h and 1 have the same value?
False
Let n be 3/(-1)*1743/(-126). Which is smaller: n or 0?
0
Suppose -s - 5*q = 2*s + 19, -2*q - 14 = -2*s. Suppose 4*b + 14 = s. Is -3 < b?
False
Suppose 45*t = 40*t - 960. Is t > -192?
False
Let m = 1003 - 13059/13. Let l = m - -107/78. Is l < 0?
True
Let g = -29/26758 - -301964987/883014. Let o = g - 342. Is 0