r: s or 2/5?
2/5
Let x be -3 - 0 - (5 + -11). Let n = 2 - x. Let o = 13/115 - -2/23. Which is bigger: o or n?
o
Let i be 175/(-1528) - (-13)/104. Are i and -1 equal?
False
Let q be ((2/9)/(-1) + 0)/1. Suppose -p + 5*t = -11, -3*p - 2*p - t + 3 = 0. Is p smaller than q?
False
Suppose 0 = 2*r - 6 + 4. Let t(j) = -j - 2 + 2. Let g be t(r). Which is bigger: -4/7 or g?
-4/7
Suppose -4*i - 12 = -i. Let p = 309 + -314. Which is smaller: i or p?
p
Let k be (-13)/(-26)*16*4. Is k at least as big as 31?
True
Let f = -10 + 13.2. Let y = f - 3. Let o = 0 - -0.2. Are o and y nonequal?
False
Let m be 5152/(-52) + 1 + -1. Let k(u) = -5*u**2 - 6*u + 5. Let o be k(4). Let l = o - m. Which is smaller: -1 or l?
-1
Suppose -2*a + 5 = -11. Let z = -1 + a. Let x = -8 + z. Do 1/12 and x have different values?
True
Let u = 223 - 221.14. Let r = 0.14 + u. Is -1/4 greater than or equal to r?
False
Let g = 5 - 6. Let k be 3/(g - 106/(-4)). Is 0 greater than k?
False
Let n(p) = p**2 - 3*p - 2. Let a be n(3). Let u be (5/a)/(1/(-14)). Let o = u + -173/5. Is 0.1 at most as big as o?
True
Let u be (-2)/4*(-2 - -2). Let c = -30 + 31. Which is smaller: u or c?
u
Let x = 11 + -7. Let i(c) = -c - 6. Let k be 4/(-1*(-4)/(-10)). Let g be i(k). Is x smaller than g?
False
Let b be (-3)/(-9) + 49/(-3). Let n = -33 - b. Are n and 1/4 equal?
False
Let k(z) = z**3 + 10*z**2 + 9*z + 2. Let q be k(-9). Let t(c) = 15*c + 4. Let y be t(3). Let o = 341/7 - y. Which is smaller: q or o?
o
Let t(o) = -o**3 + 8*o**2 + 9*o - 14. Let k(m) = -5*m**3 + 31*m**2 + 37*m - 57. Let u(p) = 2*k(p) - 9*t(p). Let a be u(-9). Which is greater: a or -1?
-1
Let y = -10 - -14. Suppose 5 = y*r + 57. Which is smaller: 0 or r?
r
Let t = 97 + -85. Is t smaller than 11?
False
Let v = 1 - 0. Let k = 881/56 - 119/8. Which is smaller: k or v?
k
Let s(d) = d - 1. Let o be s(1). Suppose x = -3*j + 1, 3*j + 0*x + 2*x + 1 = o. Is j less than -1/3?
False
Let z = 378 - 1263. Let w be z/(-4725) + (-1)/7. Is 1 > w?
True
Let c = 133 + -236. Is c at least 0.1?
False
Let t be 2/(24/(-52))*3. Let y be 1 + (-4)/((-64)/t). Is y smaller than -1?
False
Let t = -1.7 + 1.9. Is t >= 0.2?
True
Suppose 3*r = -5*n - 12, -2*r - 4 + 0 = 2*n. Let l be (r - 2) + 3/3. Suppose p + l - 1 = 0. Which is smaller: 6/11 or p?
6/11
Suppose -2*z + 59 = -21. Suppose z = -f + 5*f. Suppose 5*l + 24 = 2*r, -3*l - 3*r = -2*r + f. Do -4 and l have the same value?
True
Suppose -4 = -4*a - 4*w, -5*a + 6*w - 5*w = 1. Let g be ((-2)/(-4))/(3/2). Is a less than g?
True
Let p(w) = -w**3 + 6*w**2 + 8*w - 7. Let o be p(7). Let r be (-3)/(-7)*(-49)/(-7). Are o and r non-equal?
True
Let n = -146 + 1025/7. Is 0 bigger than n?
False
Suppose -d - 2 = -3*d - 2*y, -4*d + y = -19. Let u be d - 3 - (0 - 1). Suppose 3*c + u*c = 10. Is 2 less than c?
False
Let x = 38 - 11. Does x = 26?
False
Suppose 3*a - 3*l - 84 + 231 = 0, 0 = a + 4*l + 69. Which is smaller: a or -54?
-54
Suppose 0 = 4*b + b + 80. Let v be (2/b)/((-1)/1). Let j(d) = -d. Let w be j(-1). Which is smaller: v or w?
v
Let y(c) = -12*c + 5. Let b be y(0). Let t = 49 + -34. Suppose s = -2*s + t. Is s less than or equal to b?
True
Let u = -15 - -21. Let w be (1/4)/(u/16). Suppose 4*f - 3 = 1. Is w != f?
True
Suppose 3*s + 0*s - 6 = 0. Let d be (-12)/(s*-2) + 3. Is d equal to 5?
False
Let m = 7.913 - 0.013. Let c = m + -8. Let b = c + -0.9. Which is smaller: -0.2 or b?
b
Let l be 2/2 + 909/(-927). Is 1 smaller than l?
False
Let p = 1.008 + -0.008. Is -15 less than or equal to p?
True
Suppose 3 = -3*r, 5*b - 2*r = 3*r. Let c be 2/8 + (-34)/104. Is c bigger than b?
True
Let k(r) = 3*r + 9. Let h be k(-4). Let l be (-264)/32 - h/(-4). Is -8 at most as big as l?
False
Let r(d) be the first derivative of -d**2/2 - 3*d + 1. Let s be r(-3). Let y be 1 + -1 + s + 2. Which is greater: -0.2 or y?
y
Let a(h) = -h. Let n be a(-7). Let v = n - 2. Is v < 6?
True
Let z = -93 + 85. Which is smaller: -9 or z?
-9
Let f = 0.1 + -0.3. Let w = -9.2 - -1.2. Let d = -10 - w. Do f and d have the same value?
False
Let f(v) = -131*v + 1. Let g be f(1). Let z = -395/3 - g. Which is greater: -2 or z?
z
Let s = -523/9 - -58. Does 0 = s?
False
Suppose 4*z - 48 = z. Suppose z = -w - 3*w. Which is bigger: w or -5?
w
Let n be (-7)/(-2)*(-3)/(-7). Let h = n + -29/14. Is h smaller than 0?
True
Suppose -2*t + 32 = 12. Let n = t + -6. Suppose -z + 5 = n. Is z != 1/4?
True
Suppose -15*s = -10*s - 195. Which is smaller: 41 or s?
s
Let h = 0.98 - 0.98. Are 6.1 and h nonequal?
True
Let o be 3/(-7) + (-266)/(-1078). Which is smaller: -1 or o?
-1
Let t = -33 + 27. Is -4 bigger than t?
True
Let a(o) = -o**2 - 16*o + 10. Let g be a(-7). Is 72 less than g?
True
Suppose -2*w + 1 + 7 = 0. Let d be 5 + 0/((-4)/2). Is d equal to w?
False
Let n be (-44)/(-80) - 1/(-5). Is n bigger than 1?
False
Let i = -10.4 - -10. Let t = -0.3 - i. Do -1/4 and t have the same value?
False
Let i = -45910/49 - -937. Are i and 0 equal?
False
Let l = -31 - -34. Is 10/3 less than l?
False
Let o = 55 + -55. Let m = 3 + -2.94. Which is bigger: m or o?
m
Suppose 5 + 1 = x. Which is bigger: -2 or x?
x
Suppose -2*v = -5*v + n - 22, n = 5*v + 34. Let q = -2 - 4. Is v greater than q?
False
Suppose 0 = 3*q - 7 - 2. Let x = q + -1. Suppose -2*s - 3*h = -8*h - 14, -4*h - 4 = x*s. Is s at most 3/5?
False
Let v = 11835/29 + -408. Which is greater: 1 or v?
1
Let z be 146/(-6) + (-2)/3. Is z not equal to -26?
True
Let n be -2*((-1)/8)/1. Let r be (27/6)/((-6)/(-8)). Let s be 4/r*6/(-4). Do s and n have the same value?
False
Let o = 49.1 + -46. Let g = 6 + -9. Let f = g + o. Which is bigger: -0.2 or f?
f
Suppose -2*i + 5 = 3*i. Let u be (-2)/2 + 36/(-208). Let r = u - -12/13. Which is smaller: r or i?
r
Let b = 2 + 3. Let n(s) = 2*s**2 - s - 1. Let w be n(2). Is w > b?
False
Let b = -32 + 25. Which is greater: -19/3 or b?
-19/3
Let h(i) be the second derivative of -i**4/12 + i**3 - 3*i**2/2 + 2*i. Let f be h(5). Let x(b) = b - 1. Let v be x(3). Is f <= v?
True
Suppose y - 1 = -5. Let n be (y/6)/((-14)/6). Let i be (-10)/(-35) + 2/(-7). Which is smaller: n or i?
i
Suppose 2*m = -r + 3*r - 8, 0 = 4*m + 20. Let d = 1 - 1.2. Let i = 0.4 + d. Which is smaller: r or i?
r
Let h = 16.92 - 1.92. Which is smaller: 1/6 or h?
1/6
Let o = 3 - 2. Suppose 4*y + 30 = -y. Let s be 2/4 - (-1)/y. Which is smaller: o or s?
s
Suppose -24 = -0*o + 4*o + c, 0 = -3*o - 4*c - 18. Is o equal to -5?
False
Let n = -26 - -14. Which is greater: -11 or n?
-11
Let s = -98/3 + 32. Let o = 2 + 2. Suppose -o*f - 2 = 6. Which is greater: s or f?
s
Let s = 50 - 118. Which is smaller: 0 or s?
s
Let o(b) = 2*b + 1. Let v be o(2). Let p(d) be the second derivative of d**4/12 - 5*d**3/6 + 2*d. Let t be p(v). Is 0 smaller than t?
False
Let w = 113 + -113. Is w less than or equal to 1/9?
True
Let h = -2.21 - 22.89. Let n = -31 - h. Let v = 6 + n. Is -1 < v?
True
Let n = 1.61 + 1.39. Is n greater than or equal to 1/3?
True
Suppose -i + 24 = 21. Suppose -i*m + q = 12 + 5, m - 2*q = -14. Is m at least as big as -7/2?
False
Let s = 10 + -10. Which is smaller: s or 3/5?
s
Suppose 2*x - 3*s + 0*s - 85 = 0, 2*x - 5*s = 83. Which is bigger: 42 or x?
x
Suppose 2*s + 10 = i + 5*s, 3*s = 3*i - 6. Suppose 3*m + 15 = 0, 60 = -n + i*n - 3*m. Let f be ((-1)/(-5))/(4/n). Is 1 equal to f?
False
Let b(x) = -14*x + 4. Let l be b(-9). Let z be (-2)/13 + (-45)/l. Do z and -0.4 have the same value?
False
Let o = -0.65 - 0.05. Which is bigger: o or -1?
o
Let c be (-9)/7 + (-8)/(-28). Which is bigger: -42 or c?
c
Let h(k) = 6*k**3 + 20*k**2 - 10*k - 26. Let x(r) = -r**3 - 4*r**2 + 2*r + 5. Let b(o) = -2*h(o) - 11*x(o). Let m be b(3). Which is bigger: 2 or m?
2
Let u be (-6)/(-10) + (-6)/(-15). Are u and 2 equal?
False
Let c = -11 - -21. Suppose -k - s - 6 + 1 = 0, -2*s - c = 3*k. Which is bigger: k or 2?
2
Suppose -11*p + 2 = -10*p. Is 0 at least as big as p?
False
Let t = 29 + -26. Let l = -0.05 - -0.45. Let p = l + -0.3. Are p and t nonequal?
True
Suppose -4*g = -q + 6, g + 2*g - 5 = -4*q. Do 1/19 and g have the same value?
False
Let d = 1027397/255 + -4029. Is 1 < d?
False
Let r = 2 + -1. Let j be (20/50)/(1/(-35)). Let p be (-7)/j + 2/(-6). Which is bigger: p or r?
r
Suppose -5*q - 5*q + 10 = 0. Is q at most 0?
False
Let p = -5.07 + 5. Let k = -0.07 - p. Is 3/8