.6 - -0.51. Is n at least as big as m?
False
Suppose -56*t + 22*t + 88298 = 0. Is t greater than or equal to 2597?
True
Let k = 4707 - 4707.249. Which is bigger: 0 or k?
0
Let k(x) = -4*x - 28. Let w be k(-8). Suppose 2*q - a + 111 = w*a, q - 5*a + 43 = 0. Which is bigger: -133/2 or q?
-133/2
Let l = 20745.008 + -20660. Let z = 0.008 - l. Is -2/3 less than z?
False
Let p = 29575 - 29599. Suppose 4*h + 22 = 3*h. Which is greater: p or h?
h
Let i = 10 - 9.92. Let j = 44.28 + -44. Let f = i - j. Which is smaller: -1.7 or f?
-1.7
Let d be 72/(-84) + (-30)/14. Is -452 < d?
True
Suppose -5*x - 55719 = -i, 27151 = -3*x + 3*i - 6266. Does -11145 = x?
True
Suppose 9*z = 3*z + 42. Suppose -z*k = -k + 204. Let j = k - -29. Is -3 > j?
True
Let t(y) = -y**3 - y**2 + y - 1. Let p(m) = -2*m**3 - 16*m**2 + 23*m + 12. Let q(a) = -p(a) + 3*t(a). Let w be q(11). Is 8 smaller than w?
False
Let c = 311/12 + -2743/60. Which is smaller: c or -0.01?
c
Let l = -11 - -21. Suppose l = 2*i + 2. Suppose 8 = 6*d - i. Which is smaller: 5 or d?
d
Let k be (3/(-2) + 1)*0. Suppose k = 3*n, -5*y + 3*n - 12 = -y. Let c be (-3)/y + (-68)/84. Which is smaller: c or -1?
-1
Let f = -0.091 - 12.009. Let y = 12 + f. Let i = 0.001 + 32.999. Which is smaller: i or y?
y
Let a be (-40)/140 + (-6)/(-26). Let b = a + -3/13. Let l = 29/105 + b. Is 0 > l?
True
Suppose -13 = -2*a + 2*o - 41, -a = 4*o + 24. Let m be (a/72 - 1706/18) + -1. Is m > -97?
True
Let y = 0.0092 + 0.0189. Let l = 0.7719 + y. Let i = 0.1 - -0.1. Which is smaller: i or l?
i
Let u = 2.2 + -2. Let w = -189 - -173. Let d = w + 13. Which is smaller: d or u?
d
Let z be (1/25)/(41/(15580/264)). Which is smaller: z or 1?
z
Let r = 161 - 156. Let t be (6/(-15))/(r - 41/5). Let l = 11 + -11. Is t < l?
False
Let g(t) = -686*t - 2894. Let k be g(-9). Does k = 3281?
False
Let k(o) be the second derivative of -o**8/6720 - o**7/840 + o**6/240 - o**4/3 + 7*o. Let x(z) be the third derivative of k(z). Let c be x(-3). Is -9 <= c?
True
Let a = 116 - 110. Let q be (-1372)/(-42) - 3*a/27. Is 7 not equal to q?
True
Let b(c) = -7*c**2 + 255*c - 107. Let n be b(36). Are n and -5/607 equal?
False
Suppose -138*h = -115*h - 23. Is 3/3728 > h?
False
Suppose 19*b + 4*h - 2065 = 24*b, -3*b - 1239 = 3*h. Let t = b + 2067/5. Let p = 354 + -3182/9. Which is smaller: t or p?
t
Let a be 279 - 6 - (-3 - -2). Let h = 301 - a. Which is bigger: h or 32?
32
Let f = 187 + -174. Let d(g) = g + 1. Let j be d(f). Let r be (-1)/((-5)/(65/1)). Which is smaller: r or j?
r
Let m be (-5805152695)/(-123956950) - 1/2. Let h = -60783/10037 + m. Let t = 524/13 - h. Which is bigger: 1 or t?
1
Suppose -3*n - 573 - 37 = 5*m, -4*n + 20 = 0. Which is smaller: m or -127?
-127
Let r(d) = -2*d. Let i be r(-10). Suppose -14*a + 18*a - 4*b = i, -2*a = 3*b + 15. Let o = 5 + -3.7. Are a and o unequal?
True
Suppose -3*m + k = 38, -6*k + 2*k = 4. Let g be 37662/2940 + m - 1/(-5). Is g greater than 0?
True
Let m = -1514 + 1513. Is m > 1/629?
False
Let o(z) = z**3 - 11*z**2 - 25*z + 11. Let k(i) = -i**3 + 12*i**2 + 24*i - 10. Let m(c) = -5*k(c) - 4*o(c). Let r be m(17). Is r < -45?
False
Suppose -x - 408 = -4*w, 2*x + 163 = 2*w - 647. Let d = x + 154. Which is smaller: d or -251?
-251
Suppose -4*f = -r + 35, 3*f - 78 = -5*r - 18. Suppose 2*a + 3*j - 28 = 0, 4*a = 5*a - 4*j + 8. Suppose 2*s + t = a, 3*s + 7 = 2*t + 5. Is s smaller than r?
True
Let m be (-3 - 66/11)/(0 - (-9)/(-42)). Is -47 at most as big as m?
True
Let d = 87349 + -87384.973. Let j = 0.027 - d. Let q = j - 37. Which is greater: -1.1 or q?
q
Suppose 1360*g - 8811 = 136*g + 981. Let h be ((3 - 2) + 0)*3. Suppose -2*n - h*k - 21 = -3*n, -3*n + 13 = k. Which is smaller: g or n?
n
Let n(l) = -9*l + 7. Let x be n(1). Is x <= 51?
True
Let g be ((-273)/(-70) + -4)/((-8)/132760). Which is smaller: g or 1660?
g
Let j(d) = d**3 + 11*d**2 - 4*d + 1. Let r be j(-8). Suppose 8*x + 49 - r = 0. Let l = x + -22. Which is greater: -2/29 or l?
l
Let f be (-3 + 0 + 0)*249/(-2739). Let t = 10 + -16. Let x be t/2*(-11)/33. Which is greater: f or x?
x
Let a be (-3 + 2)/(-1*1) - 2. Let c be (22/(-40) - a)*16/(-3). Let n = 1.63 - 0.63. Which is smaller: n or c?
c
Let s be 7 + (-10 + 12 - 8). Which is smaller: s or -33?
-33
Let j = -126 - 1463. Let s be (-5 + j/(-322))/(45/(-12)). Let k be (8/3 - 3)*3. Is k <= s?
True
Let r = -0.737 + 552.737. Let p = r - 550. Is p equal to 0.46?
False
Let m be ((-33)/4)/(119/12*-3). Let v = 12/17 - m. Which is bigger: v or -1?
v
Let t = 40590 + -40318. Which is greater: t or 4?
t
Let q(y) = y**2 - 9*y - 1. Let m be q(9). Let i(d) = d**2 - 24*d - 148. Let u be i(29). Is m less than or equal to u?
False
Let u = 9.06 - 0.06. Let j = u + -33. Let c = -0.0165 - -0.2165. Which is bigger: j or c?
c
Suppose 2*w - 75 = -2*t + 141, -w = -5*t + 528. Which is smaller: t or 88?
88
Let w = 158 - 128. Suppose -5*c = 4*z - 18, 2*c + w = 6*c - 2*z. Is 0 not equal to c?
True
Let k = -11428 + 16109. Is k at most as big as 4680?
False
Suppose -12 = 4*z, 2*w + z + 6 + 1 = 0. Suppose 4*o - 15 = 2*o + 3*c, 0 = -2*o - c + 3. Let m be w/(-5)*o*(-2)/216. Which is bigger: 0 or m?
0
Suppose -o - 7 = 4*n, 4*n + 5*o + 54 = 35. Let a = -2048 + 20463/10. Is a not equal to n?
True
Let b = -0.79 - -0.04. Let i = -0.809 - b. Let y = i - -0.059. Which is smaller: y or -2.1?
-2.1
Let u = -272 + 264. Let t be 24/(-21)*28/u + -225. Is -220 greater than or equal to t?
True
Let m(s) = 23*s + 7. Let b be m(1). Let q = b + -27. Suppose -5*h - 5*u = 10, -q*h - 2*u - 2*u = 4. Are -8 and h nonequal?
True
Let b(t) = -t**3 + 12*t**2 - 10*t - 11. Let p be b(11). Let n = -20.72 + 25.42. Is n greater than p?
True
Let f = 31 + -86. Let b = 107.4 - 164. Let r = b - f. Is r less than -1?
True
Let d be ((-206505)/(-170))/13*-6. Let z = d - -561. Is z >= 0?
True
Let i be (-14)/6 + 475/57. Let q be (-1 - 1)/((-4)/10). Let m = i - q. Which is smaller: 1/54 or m?
1/54
Let v(q) = q**3 - 8*q**2 - 10*q + 14. Let p be v(9). Suppose 16 = -b + p*b. Suppose 8*t = b*t. Which is bigger: -3/29 or t?
t
Let u be 552/(-15)*-1*(-15)/(-12)*-2. Is u greater than -1?
False
Let h = 1681195/6 + -280201. Let z(u) = -u**2 - 5*u - 1. Let m be z(-3). Suppose -m*s + 16 = 4*i, -7*s = 3*i - 2*s - 17. Which is bigger: i or h?
i
Let f be ((-186)/12 - -16)*-4. Is 3530 greater than f?
True
Suppose 9*n - 11455 = 32708. Which is smaller: 4906 or n?
4906
Suppose z - 34374 = 2*q, -994*q + 5*z = -999*q - 85980. Which is smaller: q or -17191?
-17191
Let g be (28/(-3))/1*74025/3325. Is g less than -208?
False
Let n be -2 + ((-12282)/(-1463))/2. Let s = -42/19 + n. Let o = 6552 + -6552. Is o less than s?
False
Suppose -11*y = 14*y - 25. Suppose -6*d + 3*d + 7 = 5*z, -3*d - y = z. Is -7/4 at least as big as d?
False
Let q = -383871826/1642619 - -13788/59. Is q less than 0?
True
Suppose 10*r = 2*s + 14*r - 22, s - 15 = -4*r. Which is bigger: s or 31/4?
31/4
Let q be (-22)/(-77) - 320/238. Let h = q + 21/68. Let s = -287/429 + 1/429. Is h at least as big as s?
False
Suppose 65 = 5*m, -4*m - 12 = -3*k - 50 - 11. Suppose 7*d - 3*d = -4. Let r be (-4 - d)*(-6)/9. Which is smaller: k or r?
k
Let u = -7580 - -7580. Which is bigger: u or -4/3861?
u
Let i = 290.4 + -278.27. Let f = 13.144 - i. Let y = 0.014 - f. Are -20 and y unequal?
True
Let h(i) = -18*i + 345. Suppose -32*u = -9*u + 115. Let s be h(u). Do 436 and s have the same value?
False
Let o = -73 - -71.925. Let g = o + 0.075. Let w = g + 7. Which is smaller: 1/4 or w?
1/4
Let t = -523/12 - -118/3. Suppose -3*g = -g + a + 10, -4*a + 8 = -4*g. Which is bigger: g or t?
g
Let j = 473/2528 + 5/158. Let t = j - 383/288. Do t and -1/4 have the same value?
False
Suppose 83*q + 32076 = -16*q. Is q less than -316?
True
Let v(b) = -25*b**3 + 16*b**2 - 19*b - 16. Let s be v(2). Is s greater than -2/3?
False
Let a = -2970 + 3389. Are a and -1/4 equal?
False
Let t(c) = -4*c**3 + c**2 - 29*c - 122. Let k be t(-6). Which is bigger: k or 0.03?
k
Let o = 752.393 + -753. Let u = 1783.107 + -1783. Let t = u + o. Is t smaller than -8?
False
Let n = 911 + -698. Which is greater: n or 209?
n
Let y(k) = k**3 - 5*k**2 + 5*k - 6. Let q be y(4). Let m(c) = 36*c**2 - 9*c + 1. Let v be m(-1). Let n be q*(-1 - -3)/v. Are 0 and n nonequal?
True
Let p be (-2)/(-3756)*(-384)/512. Which 