*(-7 + 9 + -4). Which is smaller: -4 or k?
k
Let m = 281/1950 - 5/78. Is 1 greater than or equal to m?
True
Suppose 4*q - 244 = 4*b, 25 = -b + 5*q - 24. Which is smaller: -2 or b?
b
Let t be 0/3 - 4/2. Let c be ((-3)/(3/t))/(-2). Is c less than 1/12?
True
Let q(v) be the first derivative of -v**4/4 + 2*v**3/3 - v**2/2 - 7. Let i be q(2). Is -28/13 bigger than i?
False
Suppose -2*p - 187 + 13 = 3*b, -3*b = -2*p - 174. Is p at least as big as -90?
True
Let s = 390 + -499. Do s and -109 have different values?
False
Let g = -24 - -16. Let b = 8.4 + g. Let u = b + 0.1. Which is greater: u or -0.1?
u
Let p = 5017 + -5012. Let q be ((-1)/(-2))/(2/(-4)). Which is greater: p or q?
p
Suppose -3*m - 2*w = -5, 2*w - 10 = 5*m + 3. Is -29/13 smaller than m?
True
Let w = 1067.6 - 1065. Is -14 bigger than w?
False
Suppose 87 = 9*o - 12. Let c = -27 + 39. Which is smaller: c or o?
o
Suppose 2 = 2*h - 0. Let z = -101/20 - 147/10. Let q = z + 4353/220. Is q smaller than h?
True
Suppose k + 10 = 2*d + 7, -3*k - d + 5 = 0. Which is bigger: -7/15 or k?
k
Let p = -1892 - -1533. Is -359 > p?
False
Let h = 3.2 - 4.1. Is 0.1 greater than h?
True
Let b = -183 + 195. Are 40/3 and b equal?
False
Let p = -735 - -724.97. Let o = 0.03 + p. Let m = -1196 - -1195. Do o and m have the same value?
False
Let n be (-2)/((-4)/(-5) - 3/5). Are -174/17 and n unequal?
True
Let w = -301.3 + 1077.3. Is -1 at most as big as w?
True
Let k = 6 + -5. Let v be ((-1075)/5)/(-5) - k. Let f = v + -18. Is 25 greater than f?
True
Suppose -2*d = -3*v + 46 + 109, 152 = 3*v + d. Let m = -51 + v. Which is smaller: -2/31 or m?
-2/31
Let k = -340796/634967 - -2/15487. Which is smaller: k or -2?
-2
Let d(s) = s**2 + 10*s + 3. Let c be d(-9). Let l = c + 0. Let k = -21 + 64/3. Are k and l unequal?
True
Let m be ((60/8)/1)/(63/(-42)). Suppose 2*u - 30 = 7*u. Is m > u?
True
Let i = -14955293/5 + 2977419. Let k = i + 13575. Let a = -65 - k. Which is bigger: a or 0.3?
0.3
Suppose 1137 = 9*c - 933. Is 230 smaller than c?
False
Let q(t) = -t. Let f be q(1). Suppose -3*x + 2 + 13 = 0, -3*n + 3*x - 252 = 0. Let g = 311/4 + n. Are g and f equal?
False
Let p(q) = q**3 + 3*q**2 - 5*q + 2. Let c be p(-4). Suppose -8*l + 172 = -132. Suppose 5*u + 8 = l. Is u bigger than c?
False
Let l = -7.108 + 0.108. Is l less than or equal to -32?
False
Suppose -6*c - 463 + 85 = 0. Let r = 62 + c. Is -1 not equal to r?
False
Let q = 5.1 + -5.2. Let x = -0.621 + 0.57. Which is smaller: x or q?
q
Let k = -1.04 - -10.85. Let f = k - -0.19. Let b = f + -23. Is 0 < b?
False
Suppose -8*h + 0*h + 176 = 0. Is h equal to -8?
False
Let d be (-88107)/107586 + (-2 - 17/(-6)). Which is smaller: -5 or d?
-5
Let u = 10110 + -10116. Let s = -0.8 + 5.8. Which is smaller: u or s?
u
Let o(n) = -8*n - 3. Let c be (3*2/12)/(1/(-2)). Let k be o(c). Is k greater than -0.1?
True
Let p = 4.1 - 8.1. Suppose 4*s - 8 = -4. Which is bigger: s or p?
s
Suppose -4*p - 195 = -u - 830, 3*p + 2*u - 468 = 0. Is 158 greater than p?
False
Let o = -63 + 34. Let r = o - -27. Is -2 bigger than r?
False
Let v = 10 - 4. Let x be 4/v*54/12. Let d be x/(4 - 68/8). Is 4 <= d?
False
Let x = 118/3 - 40. Let r be (1 - 6/12)/((-1)/(-24)). Let z be (-2)/(-4)*0*(r + -11). Which is smaller: x or z?
x
Let b = 0.0351 + 30.9649. Do b and 13 have different values?
True
Let g = 294 + -292.084. Let v = 0.066 - g. Let m = v + -0.15. Which is bigger: m or 2?
2
Let v = 5 - 4. Let m be -2*3*2/132. Which is smaller: v or m?
m
Let c = -0.93 + 0.95. Is c equal to 0.25?
False
Suppose 0*d = 4*d + 44. Let m(p) = -p**2 + p + 1. Let x(r) = r**3 + 13*r**2 + 22. Let u(c) = 5*m(c) + x(c). Let l be u(-8). Which is smaller: d or l?
l
Let m = 3 - 3.7. Let z = -12.4 + 13. Let f = z + m. Which is bigger: f or 1/2?
1/2
Let b = -163 - -107. Let k be b/(-6)*(-8 + -4 + 9). Which is smaller: k or -29?
-29
Suppose -2*d = -8 + 2. Suppose 0 = p - 2*p - 3*k + 47, -d*p - k + 109 = 0. Let m be p/98*(-4)/(-5). Are m and -1 equal?
False
Let w be 18/160*44/(-759). Is 1 at least w?
True
Let v(u) be the first derivative of -u**4/24 - u**3/2 + 3*u**2 - 1. Let h(t) be the second derivative of v(t). Let w be h(-3). Are 2/9 and w non-equal?
True
Let n = -135 - -93. Is n > -42?
False
Suppose 2*o + 15 = 7*o - 4*t, 3*t = -4*o + 43. Let m = o + -6. Let c = -9 + m. Is -8 greater than c?
False
Let t(s) = -13*s + 43. Let l be t(-17). Is l < 264?
False
Let q(o) = o**3 + 5*o**2 + 5*o + 5. Let r be q(-4). Let d = 16448/35 + -470. Are r and d equal?
False
Let q = -10.96 - 0.04. Let c = -11.4 - q. Let a be (1 - (-22)/(-8)) + 2. Which is bigger: a or c?
a
Suppose 8*c + 8388 = -c. Let i = -19577/21 - c. Which is smaller: i or 1?
i
Let j be 8*(4 + 39/(-12)). Let d be 6 - j - 0/2. Is -5 bigger than d?
False
Let b = -20.9 - -22. Let h = 0.6 - b. Let l = h + 0.5. Which is bigger: 1/4 or l?
1/4
Let o = 17 - 82. Which is greater: -67 or o?
o
Let j be 9 + (-2 - (4 - 3)). Let r(i) = -7 - 1 + i**2 - 5*i + j. Let w be r(5). Is w >= 2/15?
False
Let g be (-3)/((-12)/4)*1. Suppose -2*m - g - 1 = 0. Let b = 1567/29 - 54. Is m less than b?
True
Let x = -46 - -33. Let o = x - -26. Let b be (3 - 0) + -28 + o. Which is bigger: b or -14?
b
Let o(x) = -18*x + 310. Let z be o(0). Is 310 != z?
False
Suppose 4*j - 18 - 10 = 0. Let o be (6/j)/((-1)/21). Let a be o/(-27)*(-42)/(-20). Is 0 greater than or equal to a?
False
Suppose 4*k + 0*k = 0. Suppose k = -3*u - 0. Are -3/13 and u equal?
False
Let q = -111 - -74. Let s = q - -38. Which is greater: s or 8?
8
Let y = -39 - -42. Let s be (-1)/(y + (1 - 2))*0. Let g = -26469/103 - -257. Are g and s equal?
False
Let p be 693/(-14)*12/9. Let z = -115 - p. Is z <= -48?
True
Let r be 25/7 - 18/(-42). Suppose -2*z + r - 6 = 0. Let q be (-9)/(-30)*(-5)/6. Is q greater than z?
True
Let r(d) = -d + 2. Let k be r(6). Let z = 1 + k. Suppose 2204*t + 932 = 1971*t. Do z and t have different values?
True
Let m = 1.07 + -29.07. Let o = 7 + -6.9. Which is greater: m or o?
o
Let p = -11 + 13. Let z be (p/8)/((-255)/136). Is -1 bigger than z?
False
Suppose -o = -h - 4*o - 6, 0 = -h - 4*o - 8. Let v be 72/(-42) + (h - 2 - -1). Which is smaller: -3 or v?
-3
Let r = 1392 + -1390. Let m be 18/(-4)*(-8)/3. Is m != r?
True
Let s be (-4)/(-6) + (-8)/12. Let i = -1 + s. Let b = -2281/12606 - 1/1146. Which is smaller: b or i?
i
Let n = -5 - -4. Let t be ((-10)/2)/((-45)/18). Suppose -3 = t*r + 1. Which is smaller: r or n?
r
Let x(v) = -v**3 + 8*v**2 + 5*v - 12. Let n be x(6). Let m = n + -87. Is m greater than or equal to 5?
False
Let g be (16/(-6) + 2)/(16/2472). Is g at most as big as -102?
True
Let z = 3.5 + -0.7. Let q = z + -2.7. Which is greater: q or -13?
q
Let z = 43 - 39. Suppose 0 = -4*n - 0 + z. Which is smaller: n or 6/17?
6/17
Let m = -0.1344 + 49.1344. Is m < 1/2?
False
Let p(s) be the first derivative of -5*s**2/2 + 2*s - 1. Let a be p(-5). Suppose 0 = 2*j - 4, a + 11 = 2*k + 5*j. Is k less than or equal to -0.1?
False
Suppose -7*w + 3*w - 4*z + 408 = 0, 3*z - 206 = -2*w. Which is smaller: w or 102?
w
Let n be 3 + 4 + (7 - 4). Let k = 24 - n. Let l be 26/k + 24/(-8). Is 0 > l?
True
Let t be 1 - (-2)/(-12)*2. Let v = -27.0347 + 0.0347. Do v and t have the same value?
False
Suppose 3*t = -t. Let q be 0 + -3 + (t - 1). Is q smaller than -24/7?
True
Let z = -193.29 - -3.29. Is z smaller than 1/2?
True
Let g = 11 - 9. Let n = 3 - g. Is 2/75 less than or equal to n?
True
Let m = 25 + -44. Let h be 32/(-2) - (23 + -22). Is h at most m?
False
Let c(b) be the third derivative of -b**6/120 - 7*b**5/60 + 5*b**4/12 + 11*b**3/6 + 10*b**2. Let o be c(-8). Is o greater than -6?
True
Let v be (84/(-45) + 2)/(6/(-27)). Let z be (-4)/14 - (-544)/(-56). Let r be 18/(-6) - z/4. Is v less than r?
True
Let s = -11.1 - -1.1. Let z = 1 + -12. Let o = z - s. Is o < 5?
True
Suppose -k = -12 + 3. Suppose 12 = w - 2*i - 0, w - i = k. Let n = 13 - w. Which is greater: n or 6?
n
Let j = 78 + 0. Suppose 5*c + j = 5*p - 42, -3*c = p - 44. Are 29 and p unequal?
False
Let s(h) = 2*h - 3. Let v be s(3). Let p be (14 - 5) + v + -3. Let i(w) = w**3 - 10*w**2 + 12*w - 4. Let n be i(p). Which is smaller: n or 2/5?
2/5
Let l = -17 - -9. Let u = 6 - l. Let o = u + -57/4. Which is greater: o or -7?
o
Suppose 0 = -10*f - 170 + 740. Suppose -2*x = u + 31, -2*x - f = 2