(-7) - 2). Let i = t - 38. Is c at most i?
False
Let o(a) = -a - 3. Let c be o(-4). Let q be ((-584)/84 + 6)/((-2)/30). Let r = 104/7 - q. Is r at most c?
True
Let l = -3 - 25. Let i = l + 17. Let h = i - -13. Is 2 greater than or equal to h?
True
Let j = 214 + -632/3. Let y = j - -17. Is y bigger than 20?
True
Suppose -3*r - 15 = 12. Let l = -2 - 8. Is l at least r?
False
Let c(w) = 3*w + 7*w**2 + 2 + 4*w**3 - 2*w**3 - 3*w**2. Suppose -2 = -6*f + 7*f. Let d be c(f). Do -11/4 and d have the same value?
False
Suppose -5*r + 168 = 7*r. Suppose 3 + 12 = b. Is b >= r?
True
Let l(k) = 2*k - 13. Let f be l(9). Suppose -f*w - 4*h = 2, h = w - 2 - 3. Let q be w/(-90) + 5/(-25). Which is smaller: -1 or q?
-1
Let x = 62 + -88. Which is greater: -172/7 or x?
-172/7
Suppose 3*y - 4*b + 8 = -0*y, y + 10 = 5*b. Let x = 754/15 - 148508/2955. Which is bigger: x or y?
x
Let p = 8958 - 17575/2. Let k = -174 + p. Let u = -9 + 4. Is k smaller than u?
False
Let o = 125 + -307. Which is bigger: -180 or o?
-180
Suppose -364 = -11*p + 296. Suppose -4*d - 4*b + 43 = -53, -3*d + b = -p. Are 21 and d non-equal?
False
Let l(q) = 3*q - 66. Suppose -2*b + 9*b - 175 = 0. Let c be l(b). Let t be 9*(-1 + 0 - -2). Is t != c?
False
Let o be 1 + 4*6/8. Let c be (-84)/9*(-6)/o. Let h = c + -13. Is -2/7 greater than h?
False
Let i be (-4)/(-26) + (-513)/2574. Let k = 0.1 - 1.1. Let u = k + 1.1. Which is greater: i or u?
u
Let l = -268/5 + 2119/40. Let n(v) = -18*v + 162. Let u be n(9). Is l smaller than u?
True
Let k = 187 + -188. Is 4 < k?
False
Let x = 45 - 33. Let s = 11 - x. Which is greater: -1/11 or s?
-1/11
Let y = -0.069 + 0.039. Is y != -12?
True
Let m(u) = -2*u + 25. Let b be (2/(-4) - 0) + 108/8. Let o be m(b). Which is smaller: o or 0?
o
Let u = 33 + -33. Suppose u = 14*h - 15*h + 10. Which is greater: 2/7 or h?
h
Suppose 38*q + 62 = 7*q. Suppose g = 3*u - 2 - 0, -4 = -3*u + 2*g. Suppose u*k = 2*k. Is k greater than or equal to q?
True
Let l be 25/1 + (-8)/((-56)/(-7)). Is 24 > l?
False
Let f = 31 - 338/11. Which is smaller: -0.2 or f?
-0.2
Let t be (-26)/72 - 2/(-6). Let v be -2 + -7*9/(-21). Are v and t non-equal?
True
Let z be 52/(-273)*(-126)/1431. Which is greater: 0 or z?
z
Let x = 18 - 34. Let c = 9 + x. Let k = c + 8. Which is greater: 0.1 or k?
k
Suppose 5*o - 4*j + 2*j = 152, 0 = -5*o + 4*j + 144. Let a be ((-4)/o)/(2/12). Let v(u) = -2*u**2 - 89*u - 45. Let q be v(-44). Does a = q?
False
Let t = -105 + 105. Is -1/87 greater than t?
False
Suppose -3*w - 686 = -h, -5*h + 4398 - 934 = 2*w. Which is smaller: h or 693?
h
Let a(p) = -p**3 + 4*p**2 - 1. Let x be a(4). Let s be (-5)/x + -3 - 2. Suppose -k - 4*k = s. Which is greater: 2/17 or k?
2/17
Let v be ((-4)/3)/((-8)/12 - -1). Let c(m) = 2*m - 2. Let y be c(v). Is -19/2 greater than or equal to y?
True
Let r = 10/21 + -5/3. Which is bigger: -1 or r?
-1
Suppose -3*p = -5*z, 0 = -7*p + 2*p + z. Suppose 0 = -p*t - t. Let m = 9 - t. Which is greater: 10 or m?
10
Let c = -49 - -48. Let q be -3 - -3 - c*6/(-69). Suppose 2*i = -0*i. Is i less than or equal to q?
False
Let b = 555 + -315. Which is bigger: 241 or b?
241
Let n = -1196025050371/16140 - -74103163. Let t = 3/269 - n. Which is greater: t or 1?
1
Let u be -3 - -2 - (3 - 96/21). Let v = -623/2 + 334. Let n = v + -229/10. Is n at most u?
True
Let g = 12 - -2. Suppose -9*l - 128 + 2 = 0. Let f = l + g. Which is smaller: f or 1/2?
f
Let x = -14 - -7. Let m be 8/(-6)*(-36)/(-8). Is m != x?
True
Let z be 4/(-86)*895/(-50). Let v = z + -10/43. Let d = -4/5 + v. Are d and -1 nonequal?
True
Let r be 1/9 - (-2755)/(-1305). Suppose -3*a + 15 = 0, -5*l - a + 2*a = 30. Is l <= r?
True
Let i(b) = -b**2 - 14*b + 24. Let g = -26 + 10. Let p be i(g). Let o = -20 - -12. Is p bigger than o?
False
Let l = -3 + 5. Suppose -2*x + 4*x = -10. Let y be x + (-498)/(-90) - 2/(-15). Which is smaller: l or y?
y
Let q = -2930 + 3798. Is -0.1 > q?
False
Let w be (-12)/28*((-966)/120)/(-23). Let s be (0/(-6))/(1*-2). Is w > s?
False
Suppose -s + 14 = s - 2*z, -5*z + 25 = s. Let n(b) = -2*b**3 + 2*b**2 - 4*b + 3. Let u be n(2). Let o = u - -22. Which is bigger: s or o?
s
Let u be 1/10*(-20)/(-8). Let w(d) = -2*d**3 + d**2 + 5*d + 3. Let y(l) = -3*l**3 + 6*l + 2. Let n(i) = -4*w(i) + 3*y(i). Let a be n(-4). Is a less than u?
False
Let o be (3/(-1))/((-7)/63). Which is bigger: 25 or o?
o
Let z(d) = d - 9. Let m = 14 + 0. Let s be z(m). Let a = 8 + -1. Is s smaller than a?
True
Let q = -1889 + 1873. Which is bigger: q or 14?
14
Let n = -6 + 9. Suppose 12 = 223*x - 227*x. Let w be 7 + (n + -6 - x). Is 5 >= w?
False
Let y be 7*(-6)/(-189) - (-26792)/126. Let m = -212 + y. Are m and 0 equal?
False
Let d = 373/282 + 1/94. Suppose 0 = -3*y - 2*y. Let q(z) = -z**2 + 2*z + 2. Let n be q(y). Is d >= n?
False
Let l = -4.27 - -4.1. Let i = 190 + -572/3. Is l < i?
False
Let y be 4/(6/(-10) + 17/20). Suppose 0 = 17*p - y*p. Which is smaller: 13 or p?
p
Suppose 2*b + 32 = 6*b. Let m be 1 + (b + -3 - 1). Suppose -4*l - m = -1. Which is bigger: 1/9 or l?
1/9
Let j(o) = 4*o + 145*o**3 - 6*o**2 + 6 - 47*o**3 - 51*o**3 - 46*o**3. Let w be j(5). Is w > 4/25?
True
Let w be (-1137)/24 + -3 - (-11)/44. Which is bigger: -50 or w?
-50
Let m = -5837 - -531177/91. Which is smaller: 1 or m?
m
Let k be -1 + 1 - (-30)/(-28). Let v = k + 13/14. Let j = 1474 - 1470. Which is smaller: v or j?
v
Let a = 9.7 + 31.3. Let f = a - 40. Which is smaller: -1/6 or f?
-1/6
Let m = 15.2 + 3.8. Let k = m + -19.09. Is -1/4 greater than or equal to k?
False
Suppose -n - 95 - 1 = 0. Is -95 greater than n?
True
Suppose -2*s + 1 = 3. Let u be ((-91)/(-52))/(s/(-4)). Let x be 3*(u/2)/(-7). Which is smaller: -2 or x?
-2
Suppose 15*o = 38*o - 5658. Which is greater: o or 245?
o
Suppose -3*b + 29 = 2*h, -3*b + 3*h + 24 + 0 = 0. Suppose -61 = -b*t - 259. Which is bigger: t or -23?
t
Let f = 0.04 + -0.3. Let r = f + 0.25. Which is greater: 3 or r?
3
Let o = -355 - -354.8. Is o greater than -0.83?
True
Let b be -3 - (-2665)/247 - 8. Are b and 1.7 non-equal?
True
Suppose 0 = -4*o + 2*a - 1267 - 115, -5*o = -2*a + 1725. Let t = 9605/28 + o. Is 0 at most t?
True
Let r(j) = -5*j**2 - 141*j - 29. Let i be r(-28). Let o = 2.1 - 2. Which is bigger: i or o?
o
Let o be 4925/760 - -2*(-3)/16. Which is smaller: 6 or o?
6
Let s be ((-2)/((-6)/525))/(-20 + 19). Is -175 less than or equal to s?
True
Let j be (18 + 111/(-6))/((-1)/202). Is j equal to 101?
True
Let p = -12/13 + 23/39. Is p greater than -29?
True
Suppose 2*q + q + 2*y = -42, 2*q + 28 = 3*y. Is q > -21?
True
Let i = 0.089 - -0.011. Let n be 4 - (-50 - -4)/(-1). Is i < n?
False
Let k(u) = -2*u + 3. Let p be k(5). Let m be (0 + 1)/(p/238). Which is bigger: m or -35?
m
Let f = 97 + -97. Let u = -1 + 6. Suppose -4*r - 6*k = -k - 10, -5*r + u*k = -35. Is f < r?
True
Let q = -1/12 + -2/3. Let x(f) = -3*f**3 + f**2 + 7. Let j be x(3). Let y = -67 - j. Is q less than or equal to y?
False
Let m(y) = 3*y - 7*y + 9*y**2 - 2*y**3 - 4*y**2 + 2 - 3. Let x be m(3). Let g = 141 - 142. Which is greater: g or x?
g
Let u = -1 + 28. Let n = -4 - u. Let s = -35 - n. Which is smaller: -8 or s?
-8
Let j be (-77)/(-1918)*174 - 7. Which is bigger: -1 or j?
j
Let i = -50.4 + 42. Let q = i - -4.4. Which is bigger: q or -5?
q
Let t be 1 + 2 - -9 - 12. Let z be 2/(-6) + 3/8. Is z at least t?
True
Let f = 6.1 + 22.9. Let z = 29 - f. Is z > -2?
True
Let j(m) = 2*m + 1. Let i = 2 + -3. Let f be j(i). Is -2/109 not equal to f?
True
Suppose 0 = 4*l + 17 + 11. Let a be 118/(-210) - 3/l. Suppose -p + 5*p = 4*f + 4, 0 = -4*p - 5*f - 5. Which is bigger: p or a?
p
Let z be 76/6 + (-2)/(-6). Let u(p) = -p**3 - p - 13. Let o be u(0). Let l = o + z. Is 2 less than l?
False
Suppose 446*u - 444*u - 264 = 2*n, 0 = -n - 3*u - 124. Which is smaller: -135 or n?
-135
Let h = 21335/1064 - -43/133. Is 20 >= h?
False
Let c = 146 - -891. Is 0 >= c?
False
Let k(a) = 2*a - 21. Let j be k(12). Is j less than 12?
True
Suppose -77*l = -66*l + 4587. Is l at most as big as -416?
True
Let v be 12/21 - (-8493)/21. Is 406 at most v?
False
Suppose -11*u = -6*u. Let q be (6/(-76))/(3 + 0 - u). Is 1 greater than q?
True
Let n be (-32)/((-24)/(-3)) - (2 - 41). Which is smaller: 246/7 or n?
n
Let z be 12/(-54)*-3*11. Let b = 362 - 356. Does z = b?
False
Suppose