 0.08. Which is bigger: k or i?
k
Suppose 5*d - 3*b = -45, -4 = 2*d + 2*d + 4*b. Let q be 2/(-6)*((-180)/5)/d. Suppose 0 = 2*x + 2 + 4. Is x greater than q?
False
Suppose 0 = 4*m + m + 5*a, 0 = 5*m + 3*a + 4. Let f be (m/(-3))/(6/(-36)). Which is bigger: 1 or f?
1
Let t(f) = 3*f + 17. Let d be t(-5). Let k be d + (-2 - 0) - (1 + 0). Which is smaller: k or -3?
-3
Let k = 25.616 - -0.084. Let p = 27 - k. Is p <= 1/3?
False
Let n = 40/7 - 59/14. Let x = -107/396 + 2/99. Is n bigger than x?
True
Let n(y) = -y**2 + 6*y - 11. Let j be n(4). Let m = -6 - j. Which is smaller: m or -0.08?
m
Let z be (-41)/(-70) - (-2)/(-7). Let v(w) = -3*w + 8*w - w**2 + 6*w. Let p be v(11). Is z <= p?
False
Let r = 15.48 - 15. Let y = -18.52 - r. Let w = y - -19.1. Is 0.8 less than or equal to w?
False
Let l = 870 + -575. Is 297 less than or equal to l?
False
Let t = -2.356 - -0.056. Let d = -8.5 + 11. Let i = t + d. Is i less than or equal to 3?
True
Let n = -1.398 - -3.358. Is 0.6 smaller than n?
True
Let x be (0 + 0)*3/6. Let c = -36.8 - -26. Let t = -9.3 - c. Which is bigger: t or x?
t
Let f be ((-6)/(-8))/((-2)/(-8)). Suppose -5*i + 5 = 4*m, -3*i + m + 1 = -5*i. Let k be f/(-6)*(i + 1). Is k at most as big as 1?
True
Let x(n) = 2*n - 4. Let h(v) = 1. Let q(o) = -2*h(o) - x(o). Let r be q(0). Suppose 4*j = -3*d - 13, -3*d - 8 + 1 = -r*j. Is j > -3/7?
False
Suppose 94*b = 97*b - 216. Is 0.1 at least as big as b?
False
Let i = 3.4 + -119.4. Is i less than -1?
True
Let s = 16 - 15.69. Let q = s + 0.49. Which is smaller: q or -2/5?
-2/5
Suppose 19 = -49*d - 79. Which is smaller: -9.3 or d?
-9.3
Let t be -2*(4 + (-285)/(-4)). Let d = t - -21375/142. Which is smaller: d or 1?
d
Let u be 3/(3*-1) - 1. Let k be -14 - -9 - (21 + -21). Is u less than k?
False
Let i = 2.21 - 2. Let j = -626 - -625.79. Let u = j + i. Which is greater: u or -1.8?
u
Let u be 3/(-2)*12/(-9). Let x be 14/(-4)*(u - 4). Suppose -x*b = -4*b. Which is smaller: b or 1/4?
b
Let p = 1069/9 - 119. Suppose -m + 10 = -0*m. Let d = 9 - m. Which is greater: p or d?
p
Suppose 5*m + 64 + 47 = -3*o, 0 = -5*m + o - 103. Let t = 25 + -30. Let z be (-5 - -13)*t/2. Which is bigger: z or m?
z
Let c = 97.5 - 97.7. Which is smaller: c or 168?
c
Let d = -34 + 33.4. Which is bigger: -1/3 or d?
-1/3
Let u be (3/9)/((-6)/(-116)). Suppose 3*m - 267 = -122 - 127. Which is smaller: m or u?
m
Let d = 163 - 208. Which is smaller: d or -47?
-47
Let j = -134 - -145. Which is smaller: -1.3 or j?
-1.3
Let x = 138 - 163. Let y be 1/((-95)/x + -6). Suppose 0 = -7*g + 2*g - 5*h - 10, 0 = -4*h - 4. Which is greater: y or g?
y
Suppose -15 = q - 5*m, 3*m = -q + 2*m + 3. Suppose q = 4*l + 17 + 19. Let f = 7 - 16. Is l less than or equal to f?
True
Let v be (2 - 0)/(3*14/6). Let h = 16.35 - 0.35. Let k = h + -3. Which is greater: v or k?
k
Suppose -2*r - 1110 = 3*r. Let j be 15/r*16/(-60). Which is smaller: 1 or j?
j
Let d = 1079425 - 12937921/12. Let h = -1266 + d. Let j = -11/4 - h. Are j and -3 nonequal?
True
Let h be 3/10 + (-468)/360. Does -9/7 = h?
False
Suppose -3*l - 9*h = -6*h + 753, -4*h - 757 = 3*l. Is l at most as big as -246?
True
Let z be (-2965)/260 - (1 - (-45)/(-39)). Which is smaller: -10 or z?
z
Suppose -3*p + 0 = 6, 0 = 4*x - 4*p - 2332. Which is greater: 582 or x?
582
Let p = 4 - 4.03. Let y = 4.97 - p. Let r = 5.4 - y. Is 1/3 less than r?
True
Suppose 3*g + 101 = -5*t, 9*g = 5*t + 6*g + 89. Let a(f) = -f**3 + 4*f**2 + f. Let y be a(5). Which is smaller: y or t?
y
Suppose -32*z = -34*z - 206. Are z and -4/7 equal?
False
Let h = -288 - -279. Are 14 and h unequal?
True
Let s = -17 - -17.06. Is s bigger than 11/4?
False
Let x be (-8)/36 - (-38)/198. Let m(v) = -2*v**2 + 20*v - 42. Let s be m(7). Is s less than or equal to x?
False
Let p = 190 + -381/2. Which is greater: 2/183 or p?
2/183
Let v be (45/18)/(12/(-24)). Which is smaller: v or -29/5?
-29/5
Suppose -36 - 52 = -4*h. Let s = h - 16. Let a be 7 - (2 + -1)*0. Is s bigger than a?
False
Let s = -1307 - -2452. Is 1144 greater than s?
False
Let w = 157/5 - 32. Suppose -2*f = 5*f - 70. Suppose 2 = 8*i + f. Is i <= w?
True
Suppose 0 = 5*o + 2 + 43. Let w = 13 + o. Is w at most 6?
True
Let n = -235.03 - -236. Let f = n - -0.03. Let v be 13/(-3) + (-1)/(-3). Which is smaller: f or v?
v
Let h = -361 + 392. Is h >= 26?
True
Let c = -70/71 + 3747/1136. Is c less than 2?
False
Let n = 1534 + -29158/19. Let x = -17809 + 2368475/133. Let z = x - n. Are 0 and z equal?
False
Let v(b) = -86*b - 278. Let r be v(-5). Is r not equal to 151?
True
Let p = 2.098 - 4.098. Is -77 less than p?
True
Let r be (-270)/(-2025) + (-103)/(-15). Let z(f) = f**3 - 5*f**2 + 5*f - 4. Let i be z(4). Which is smaller: r or i?
i
Let t = 625.9 - 626. Is t greater than -7/26?
True
Let u(m) be the third derivative of -m**6/120 + m**5/60 + m**4/24 - m**3/3 + 11*m**2. Let y be u(3). Which is bigger: y or -16?
-16
Let h be (1 + -2)/((-1)/8). Suppose -4*g + 31 = 5*d, 4*g - 4 = h*d - 4*d. Suppose 0 = -5*v - 2*c + 36, v - d*c = -2*c + 3. Is 6 less than or equal to v?
True
Let h be 504/(-16)*(-6)/(-9). Which is greater: h or -19?
-19
Let u(w) = 9*w**3 + 2*w**2 - w. Let a be u(1). Suppose -a - 6 = -2*g. Let p = g + -8. Which is bigger: p or -1?
p
Let w be (0 + (-20)/(-7))/((-12)/(-42)). Suppose 0 = -n + 1 + 10. Which is bigger: w or n?
n
Let q = 1003.2 + -1107. Let i = q + 104. Let a be (-2)/4 - (-22)/(-4). Which is smaller: a or i?
a
Suppose 4*m - 6 = -70. Let q be m/(-6)*3/62. Let n = 98/279 - q. Is n > 0?
True
Let b = 1.11 + -0.92. Which is bigger: b or -8?
b
Let t be 4 - 4 - (-4 + 2). Suppose -7 = t*v - 1. Let r be (-16)/v + (-1)/3. Which is smaller: r or 6?
r
Let h = -9 + 62. Let z = -55 + h. Is -1/18 greater than or equal to z?
True
Let u be ((-12)/(-14))/((-3770)/210 + 18). Is 27 bigger than u?
True
Suppose 2*g - n + 103 = 0, -6*n + 2*n = -g - 41. Which is smaller: g or -7?
g
Let x = -59.986 - 0.014. Let b = x + 61. Which is smaller: b or 3?
b
Let h(w) = w**3 - 10*w**2 + 5*w - 2. Let c be h(9). Let x = 25 + c. Let o = -15 - x. Which is smaller: o or -3?
-3
Let u be (4/(-8))/((-2)/20). Let z be -4*4/40*u. Let i be (-2)/z - 7/(-2). Which is smaller: i or 6?
i
Suppose 49 = -11*h + 4*h. Let i = 38 + -19. Suppose 2*x = 2*j + 4 + 8, x = -4*j - i. Which is bigger: h or j?
j
Let j = 71 + -82. Let v be 34/(-3) - (-6)/(-9). Let t = v - j. Which is smaller: 2/7 or t?
t
Suppose f = -2*z + 3*f + 30, -3*z - 3*f = -75. Suppose -19*o - 14 = -z*o. Suppose -2*b - 2*w - o = 0, 4*b - w = -3 - 0. Which is greater: -10/3 or b?
b
Let k = -17 + 101/6. Let v = 372 - 378. Is k smaller than v?
False
Let y(o) = 5*o + 63. Let r be y(-12). Let g = 3 + -4. Are r and g unequal?
True
Let y = 44/3 - 52/3. Let d(h) = -h**2 + h. Suppose 4 = k + 2. Let b be d(k). Which is smaller: y or b?
y
Let m = 151/24 + 3/8. Let s = 3042 + -3036. Is s bigger than m?
False
Let g be ((-642)/(-104) - 5)*-174. Let h = g + 204. Is h smaller than 0?
True
Let f be (-6)/7*4/(-6). Let b = 401 + -394. Is b > f?
True
Let c = 297 - 282.9. Does c = 0?
False
Let p = -888349/10124 - 8/2531. Let y = p - -84. Is -5 smaller than y?
True
Suppose -3*y - 315 = b, -39*b - 1575 = -34*b - y. Which is greater: -316 or b?
b
Let t = 6712 + -1402812/209. Is t at most -1?
False
Let z be (-2)/(-4)*26/6. Let o = -1010315/42 - -24057. Let t = z - o. Is t bigger than 4?
False
Let u be 6 + 126/45 + -9. Which is smaller: u or -128?
-128
Let u be 228/(-14)*378/24. Which is smaller: u or -258?
-258
Let m = -108 - -112. Suppose -m*h + 105 = 37. Which is greater: h or 13?
h
Suppose 14*z + 9*z - 69 = 0. Is z > 34/9?
False
Let f = 15 - -11. Let b be 6 - 4 - 55/f. Does b = 1?
False
Let l = 1.11 + 0.09. Let i = l - 1.2. Let b = -49.99 - -50. Is b less than or equal to i?
False
Let t be (-16)/72 - (-1267)/(-9). Is t at most -139?
True
Let h(d) = -57*d - 781. Let p be h(-13). Let o = -61 - -22. Is o greater than p?
True
Let t = -8 - -7. Let j be 2 + 117/60*t. Is j greater than 1?
False
Suppose -27*w + 28*w = 31. Is 30 at most w?
True
Let m = -1.7 - 0.3. Let k be (-150)/36 - 4/(-6) - -4. Is m bigger than k?
False
Let d = 32 + -32. Let k(n) = -n**3 - n**2 + n - 2. Let c be k(d). Does c = 0.1?
False
Let g(q) = -5*q**3 - q**2 - q - 1. Let i be g(-1). Suppose -i*h + 6 - 5 = -y, -1 = 4*h + y. Is h >= 