et m = 10/9 - -439/18. Let a = m + -26. Which is bigger: s or a?
s
Suppose -2*a = -a - v - 2, 4*a - 2*v - 4 = 0. Let k = a + -3/5. Let q = -739.1 - -739. Which is greater: k or q?
q
Let g(a) = 7*a + 7. Let z be g(-4). Let b be (z/(-14))/(2/(-4)). Let k be (-30)/(-10)*(1 - 2). Is b < k?
False
Let x = -2 - -17. Let b = x + -8. Let d = 1 + b. Which is greater: -2 or d?
d
Let c = 25.03 + -25. Let t = -0.27 - c. Let s = t + -0.7. Which is greater: 4/19 or s?
4/19
Let d be ((-39)/65)/((-2)/(-60)). Which is smaller: d or -13?
d
Let c = -28.094 - -0.094. Do 3/4 and c have the same value?
False
Suppose 0 = -0*o - 2*o + 6. Suppose u = 6*u - 4*l - 18, 2 = o*u + 2*l. Is -1/2 at most as big as u?
True
Let y be 2*(-3)/21 + (-262)/14. Let b be y/28 + -2 + 68/28. Let z = 5315/21 - 253. Which is smaller: z or b?
b
Let b(a) = 11*a + 232. Let v be b(-21). Which is smaller: 1/1322 or v?
1/1322
Let i be ((-69)/6 - -4)*474/3. Which is bigger: -1184 or i?
-1184
Let z be 1*(-1)/5 + 1. Suppose 7*w = -2*w + 90. Suppose 11 = w*a + 1. Is z equal to a?
False
Let o be 3804/(-14) + 8/(-28). Let f be -1 + (o/26)/(-4). Let r = -499/325 + f. Which is smaller: 1 or r?
r
Suppose -b - 3*j + 4*j - 54 = 0, 202 = -4*b - 3*j. Is -53 at most b?
True
Let o = -10 + 12. Let h(q) be the third derivative of -q**4/24 - 2*q**3/3 + 4*q**2. Let r be h(-5). Which is bigger: r or o?
o
Let h(g) = -29*g + 117. Let b be h(4). Is b < 1/43?
False
Let h = 1278 - 1252. Which is bigger: h or 1?
h
Let l = 131 - 138.3. Let y = 7.4 + l. Which is bigger: -0.044 or y?
y
Suppose 0 = m + 3*m + 8, -154 = 5*p + 2*m. Let s = 30 + p. Which is bigger: s or -1?
s
Let k = 0.8 + 0.2. Which is smaller: 45/8 or k?
k
Let j = 0.69 - 0.8. Let t = -3.5 - -3.51. Let w = t + j. Which is bigger: w or -2?
w
Let k = 16.28 - 16. Let f = 0.25 - k. Is -1/4 at most as big as f?
True
Let w be (-4154)/3120 - 3/12. Let u = w + 5/104. Let b = -2/15 + u. Is -3 at least b?
False
Let h = -30/47 - -2111/141. Which is smaller: 14 or h?
14
Let o(r) = r**2 + 7*r + 2. Let v be o(-7). Suppose 3*s + 30 = -v*s. Let f be -3 - 6/(-4) - (5 - 0). Which is smaller: f or s?
f
Let n = -13.962 - -14. Let j = 0.098 - n. Which is greater: j or -0.2?
j
Let z be 5/15 - 356/996. Is z at most 1?
True
Let l = -40 + 199/5. Let b = -1.262 - -0.262. Is b less than l?
True
Let m = -2.43 - -2.53. Is -0.197 at least m?
False
Let p be ((-10)/15)/(4/(-18)). Let f be 14 - ((-4 - -1) + p). Let o be (-3)/(-24)*f + -2. Is o > 1?
False
Suppose -4*c + 232 = -2*n - n, 3*c = 3*n + 171. Let f(y) = 3*y**2 - 6*y - 11. Let h be f(-4). Is c less than or equal to h?
True
Suppose 8 - 19 = -11*n. Which is bigger: 2/155 or n?
n
Let s = 2893/28 - 419/4. Let z = 43/35 + s. Which is greater: z or -1?
z
Let n be 2/10 - (-1)/(-5). Suppose n*z - 2*b = -4*z, -z + 5*b - 9 = 0. Let l be 4/14 - (-4)/182. Is l bigger than z?
False
Suppose -2*t - 25 = t + 2*g, -2*g + 11 = -t. Let j be 2/t - 496/(-288). Which is smaller: -3/8 or j?
-3/8
Let u be (5 - 1796/8) + 9. Which is smaller: u or -212?
-212
Let n = 226633/24 - 9443. Let a = 0 + 0. Are a and n unequal?
True
Suppose 2*q - 3*q = 1. Let j be ((-22)/4)/(q/(-2)). Let c = -117 - -105. Is c equal to j?
False
Let m be (-4)/(-34) + 1 + -1. Let f = -59 - -65. Let b be ((-56)/48 - (-4)/f)*2. Is m greater than or equal to b?
True
Let n = 26 + -11. Suppose o + 4*r + 13 = 0, -5*o - 97 = 2*r + 2*r. Let a = n + o. Which is smaller: -7 or a?
-7
Let m be (-5)/(-1) - -230*(-168)/7710. Do m and 0 have the same value?
False
Let y(w) = 3*w**2 - w + 7. Let c be y(3). Which is greater: 2/7 or c?
c
Let h(j) = 7*j**2 + 13*j - 15. Let n(r) = 3*r**2 + 6*r - 7. Let a(s) = -2*h(s) + 5*n(s). Let w be a(-5). Which is greater: 4/19 or w?
4/19
Let k(a) = -a**2 - 14*a + 11. Let l be k(-11). Let y = l - 118. Is -75 equal to y?
False
Let i be ((-6)/5)/((-6)/(-20)). Let t = 15 - 8. Suppose 4*d - t*d = 15. Are i and d unequal?
True
Suppose 0 = 5*d + 84 - 844. Do d and 153 have the same value?
False
Let l = 0 - 1. Let p be (-32)/128 - (-41)/68. Is p greater than l?
True
Suppose 3*g + g = 32. Let f(d) = -d + 17. Suppose -5*n = -38 - 2. Let r be f(n). Which is greater: g or r?
r
Let r be (-12)/54 - (4 + 76/(-18)). Which is greater: -9/8 or r?
r
Let u = -0.05 - 0.03. Let b = -40 - -39.98. Let c = b + u. Are c and 1/4 unequal?
True
Let q(v) = -3*v + 12. Suppose 0 = 3*m + 9, -2*u + 5*m = -u - 26. Let c be q(u). Which is bigger: 1 or c?
1
Let b be 3/4 + ((-242)/8)/11. Let k = 6.46 + -3.46. Which is greater: b or k?
k
Let o = 213/187 + -24/17. Let m(w) = -w**3 - w**2 + 2*w - 1. Let r be m(1). Let q(v) = -2*v - 1. Let g be q(r). Is o smaller than g?
True
Let d be 118*2/(-16) - (-3)/(-12). Let m be (-1 - 65/d)*(-2)/(-15). Is -1 at least as big as m?
False
Let c be ((-4)/(-6))/(9/513). Let x = -32 + c. Which is greater: 7 or x?
7
Let f = -3.2 + 1.2. Let m = -2.3 - f. Which is greater: -0.16 or m?
-0.16
Let b be -1 - ((-228)/(-56) - (3 + 1)). Which is smaller: -0.2 or b?
b
Let b = -37 + 36.995. Is -1 greater than b?
False
Let z = 0 - -68. Let h = -64 + z. Which is smaller: h or 42/11?
42/11
Suppose 410 = 3*m - 4*b, m = 4*b + 40 + 86. Is 141 smaller than m?
True
Let p(r) = -r**2 + r + 14. Let j be p(-6). Let c be (0 - -1)/((-2)/j). Suppose -12 = -v - c. Do -3 and v have the same value?
False
Suppose 4*y = -5*o + 2*o - 127, 0 = 5*o - 5*y + 165. Let h be (-2 - 0 - -2) + o/37. Let c = 0 - -1. Is h >= c?
False
Let i(u) = u**2 - 20*u + 4. Let l be i(20). Let p be -60 + l + 4 + -11 - 2. Which is smaller: p or -67?
-67
Let q(c) = -c**3 + c + 1. Let i(l) = -l**3 + l**2 - 3*l - 2. Let x(r) = -i(r) - 2*q(r). Let j be x(1). Suppose -z + 10 = -j*z. Which is greater: z or -3?
-3
Suppose -2*l = -129 - 31. Suppose 0*g = 4*g + l. Is g equal to -20?
True
Let m = 1429 + -1429. Which is smaller: m or -40/11?
-40/11
Suppose -35*r + 30*r - 25 = 0. Let v be 10/(-4) - (3 + r). Is v bigger than -5?
True
Suppose -2*z - 1 + 9 = 0. Let d be (0 + 1)*(z + -2). Let p be d/7 + 4/(-63). Which is bigger: p or 6?
6
Let l be 8/(-9)*(369/(-12) - 0). Which is smaller: 28 or l?
l
Let l(c) = c**2 - 22*c + 4. Let m be l(20). Let p be ((-5)/2)/(-1) - 2. Which is smaller: m or p?
m
Let k be 0/(3 - (7 - 3)). Suppose 4*f - 2*f - 2 = k. Let z be 6 - 3 - f/(-1). Which is greater: z or 3?
z
Suppose 3*h = -3*c + 75, 2*c + 2 = 6. Let t be 1/(-5) + h/(-115). Which is smaller: t or -1?
-1
Let w = -13.2 - -13.1. Which is greater: w or 0.4?
0.4
Let p = -1 - 1. Let b be p - (-1 - -1) - -5. Let x = -2475 + 2484. Is x greater than or equal to b?
True
Let q be 3/9*8/(-3). Let h = -11/9 - q. Let b = -0.4 + 1.1. Which is greater: b or h?
b
Let y = -170.3 - -170.5. Which is greater: y or -16/15?
y
Suppose 13 = 4*r - 3. Suppose r*z + 69 = -u, -75 = 5*z + 3*u + 2*u. Let w be 6/(-27) - 16/z. Which is smaller: w or 0.03?
0.03
Let x(p) = -p**3 + 28*p**2 + 60*p + 1. Let j be x(30). Which is greater: j or 2/67?
j
Let v be -3 + 65/10 + -3. Suppose f - 24 = 3*u, -5*u + 0*u - f = 48. Let m = u - -11. Is v greater than m?
False
Let o = 51 - 28. Let d(a) = a**3 - 23*a**2 + 133*a - 174. Let f be d(15). Which is greater: o or f?
o
Let p(q) = -q**3 - 5*q**2 - 2*q - 7. Let y be p(-5). Let z be (10/y)/(22/(-33)). Let b be -1 + z + (6 - 3). Is b bigger than 0?
False
Let v be (2/6)/((-4)/312). Which is smaller: -134/5 or v?
-134/5
Let h(t) = -t**3 + 5*t**2 - 5*t + 8. Let n be h(4). Suppose 0 = n*p - j - 25, -p - 2*p + j + 19 = 0. Is p at least as big as 1?
True
Let i(b) = 5*b**2 - 39*b + 34*b - 4*b**2 + 10. Let v be i(3). Suppose 0 = 4*j - 4*q - v, 2*j - 14 = -2*q + q. Which is smaller: 1 or j?
1
Let g = 11629 + -151349/13. Is g greater than 0?
False
Let m = -1923 + 1921. Let r = -2 - -2.2. Which is greater: m or r?
r
Let o be (-12)/(-231)*(-469)/670. Is -11 at least o?
False
Let y(s) = s**3 + 6*s**2 + 4*s - 2. Let c be y(-5). Let t be (c/18)/((-1)/2). Let p be 1/(-4) + 1/(-5)*0. Which is bigger: t or p?
p
Let a be 2 + (-39)/15 + 124/140. Suppose -23*n + 21*n = 120. Which is smaller: n or a?
n
Let f = 159 - 151. Which is greater: f or 4/3?
f
Let y = -41 + 41. Suppose r = -y*r + 7. Let g = 10 + r. Which is smaller: g or 16?
16
Let y(a) be the second derivative of -a**5/20 - a**4/3 + 2*a**3/3 - a**2/2 + 6*a. Let u be y(-5). Let k(i) = i**3 - 5*i**2 + 4*i. Let g be k(u).