 + f*m + 5. Which is bigger: r or -1/14?
r
Let h be (-12)/(-21) + 1/(-1). Suppose 1 = 5*o - j - 2*j, -o + 5*j + 9 = 0. Let n = o - -1. Is n <= h?
False
Let w(k) = k**3 + k**2 - k + 1. Suppose 10 = -2*d - 3*d. Let l be w(d). Let j = 1 + 1. Which is smaller: j or l?
l
Let i(n) = -n**3 - 5*n**2 + 5*n. Let a be i(-6). Suppose -11*k - 42 = -18*k. Is k at least a?
True
Let o be 28/(-22)*(-2)/4. Let w = 127/165 - o. Is w at least as big as -1?
True
Let o(c) = -2*c - 4. Let g be o(-3). Suppose 3*l = -4*h, 3*l = -6*h + 3*h. Suppose -i = -g, -a = -h*a + 3*i - 5. Which is smaller: a or -3/7?
a
Let a = 516 - 541.9. Let r = a + 32. Let n = 6 - r. Which is smaller: 1 or n?
n
Let k = -34 + 52. Let o be ((-4)/6)/(30/k). Which is smaller: o or -1?
-1
Let o = 10.79 + 0.21. Let r = -5 + o. Which is smaller: r or -1?
-1
Let z = 9 - -3. Let u = 13 - z. Which is greater: u or -4/7?
u
Let f be 872/(-1680) + (-1)/(-2). Is f not equal to 1?
True
Suppose -8*w + 1 = -7. Is w >= -1/18?
True
Let j = 18 - 16. Let f be (-5 - -5)*(j + -1). Which is bigger: -1/5 or f?
f
Let b = -225 - -665/3. Does -2 = b?
False
Suppose 82 = 2*v - 2*n, v - 12 = -4*n + 14. Let l be v/((-14)/(-2) - 3). Let c = l + -9. Which is bigger: 0 or c?
c
Suppose -2*y = -4*y - 3*z - 10, 4*y + 6 = z. Which is greater: y or -4?
y
Let h = -6 + 4. Let j = -259 - -254. Is h smaller than j?
False
Let a be (57/18)/(-19) - (-2)/(-96). Is 1 equal to a?
False
Let l = -11.6 + 10.6. Let g = -13/2 + 6. Which is smaller: g or l?
l
Suppose -70 = -4*v + 94. Suppose 4*s + 16 = x, -2*s + 7*s + 4*x + v = 0. Let z(t) = -t - 7. Let a be z(s). Is a at least -2?
True
Suppose -3*c = -2*c - 1. Which is bigger: c or -2/13?
c
Let c be 350/1014 + (-1)/3. Let g be 302/(-3042) - (-1)/3. Let y = g - c. Which is smaller: -1 or y?
-1
Suppose -6*z = -z. Let w be ((-24)/(-30))/((-4)/(-10)). Is w greater than or equal to z?
True
Let j = 82 - 82. Is 3/7 at least as big as j?
True
Suppose -2*m + 5*m = 0. Suppose m = 5*b + 5*j - 10*j, -3*b - 2*j = 15. Let p(y) = -2*y - 4. Let s be p(b). Is s smaller than 1?
False
Let t = 1.81 + 1.17. Let s = -3 + t. Let u = -0.02 - s. Which is greater: u or 2?
2
Suppose 3*k = 3*z - 5 + 17, -26 = -5*k + 2*z. Let f(d) = d**2 - 6*d - 10. Let x be f(k). Which is smaller: -9 or x?
x
Suppose -5*y = 8 - 3. Let l be 1345/6006 + 8/(-28). Let g = l + 1/858. Is g > y?
True
Let i(o) = -o**3 - 9*o**2 + 5*o - 9. Let r be i(6). Let w = r + 74. Let j = w + 3109/7. Which is smaller: j or -2?
-2
Suppose -3*t + 11*t = 0. Suppose -5*l - 25 = -4*q + 6, 9 = l + 3*q. Is l at most as big as t?
True
Let c = -8/245 - -8607/980. Does c = 8?
False
Let j be 5 - 6 - -1*2. Suppose -5*w = 3*h + 5, 8*h - w = 3*h + j. Let u = -1 - h. Which is smaller: u or 0?
u
Let a = 89/324 + -2/81. Which is greater: 0.01 or a?
a
Let q = -0.037 + 0.097. Which is smaller: 3 or q?
q
Let a = -447/7 - -65. Suppose 2*y - 4*y + 4 = -3*m, 4*m = -5*y + 10. Do y and a have the same value?
False
Let m be -1*(1 + -2 + 2). Which is smaller: -0.097 or m?
m
Let c(i) = -i**3 + 5*i**2 + i + 3. Let z be c(4). Let s = z - 45/2. Are 2 and s unequal?
True
Let q be (-4)/(-10) - 23/(-5). Let j = -283 - -851/3. Which is bigger: j or q?
q
Suppose 3*n - 14 + 11 = 0. Which is smaller: 5 or n?
n
Let r be (-4)/5*(-1 + 0). Which is greater: 1 or r?
1
Let p be (4/11)/(4*(-6)/(-48)). Is 1 < p?
False
Let i = -0.31 - -0.21. Is i at least as big as -0.35?
True
Let c be 8/220*(-2834185)/288. Let w = 5735/16 + c. Let d = 4/11 - w. Is 1 smaller than d?
False
Let a(j) = j**3 + 6*j**2 + 5*j - 2. Let p be a(-5). Let s be (-12)/p + -1 + -1. Do 4 and s have different values?
False
Let v(c) = c**2 - 2*c - 1. Let y be v(3). Suppose -4 = 3*u + y. Which is smaller: -13/4 or u?
-13/4
Let l be 1129/(-150) + 3 + 4. Let b = 2/75 + l. Which is greater: b or -0.08?
-0.08
Let k = 27 + -27. Do k and -2 have different values?
True
Let s be ((3 + -4)*-1*2)/(-2). Let t(n) = n**2 + 5*n + 1. Let q be t(-2). Let m be -1*2*1/q. Which is smaller: m or s?
s
Let k = -11/8 + 93/56. Let n = -0.75 + 0.15. Is k greater than or equal to n?
True
Let q be ((-193)/(-3))/(1/3). Let j = 2119/11 - q. Which is smaller: j or -1?
-1
Suppose -56 + 0 = -4*f. Is 15 < f?
False
Suppose 5*f + 2*u + 11 = -0*u, 4*u = 5*f - 7. Suppose 3*y + 81 = -3*z, -4*y = -5*z - 0*y - 135. Let b be 1 - 3/z - 1. Which is smaller: f or b?
f
Suppose 0 = 3*i, -i + 6*i = 5*z + 5. Let q = -27/23 + 389/253. Which is smaller: q or z?
z
Let m(b) = b**3 - b**2 + b + 3. Let v be m(0). Let g be (-33)/5 + 4/(-10). Let f = -5 - g. Is v equal to f?
False
Let z be 4/(-2 - (-15)/6). Let m be (-10)/4 + (-4)/z. Let o be (5 - 2) + -1 + m. Which is smaller: -6/11 or o?
o
Let b = -112/9 - -209/18. Which is bigger: b or -2?
b
Let r be ((-60)/(-55))/4 + 0. Which is smaller: -1 or r?
-1
Let t be ((-4)/(-2) + -1)*-6. Let f(w) = w**3 + 7*w**2 + 6*w + 3. Let u be f(t). Suppose -5*b + 4*d + 17 = 0, 5*b = u*b - d - 1. Is 1/2 less than b?
True
Let x be (-12)/10 + 0 + 5/25. Which is smaller: -2/7 or x?
x
Let t = 151 + -3173/21. Is t less than 1?
True
Let b be (-8)/9 + 2 + -1. Suppose 0 = -5*t + 20, -5*l - 4*t + 21 = -0*l. Which is greater: l or b?
l
Let m = 35 + -19. Is m at most as big as 1?
False
Suppose -4*y = -0*y - 96. Suppose -4*g - 5*d = -y, g + 1 - 6 = -d. Is 1/4 bigger than g?
False
Suppose -4*u - u = r - 111, -4*r + 3*u = -329. Let f = -54 + r. Let p = 61/2 - f. Is -1 > p?
True
Let q be 5/(-300) + (-1 - 9/(-12)). Which is bigger: 0 or q?
0
Let g = -11.1 + 12. Let j = g - -0.1. Let u = 175/4 + -44. Which is smaller: j or u?
u
Let i be 3 - (3 - (-2 - -5)). Suppose 3*x - 4 = -k, x + i*k = -x + 12. Let v = -23/150 - 1/75. Is v > x?
False
Let c = 157 + -160. Is -12 less than or equal to c?
True
Suppose 0 = -2*x - 5*q - 14, 53 = -5*x - 3*q + 18. Are 3 and x nonequal?
True
Let r be (1/(-2))/(36/(-8)). Do 1 and r have the same value?
False
Let t be (27/12)/(6/16). Let f be 4/t*-9*2. Let v be (8/f)/(5/3). Which is smaller: 1 or v?
v
Suppose 4*w - 3 = 3*w. Suppose -k = w*k. Suppose -2*p = 3*i + 1, -p = p + i - 1. Is k < p?
True
Let q = 0.9 + 0.1. Which is bigger: -15 or q?
q
Let k be ((-1)/2)/(1/(-2)). Let s = k + 0. Let w be ((-1)/(-2) + 1)*2. Is w > s?
True
Let h = 4 - -11. Which is smaller: h or 14?
14
Let j = 233/2 - 21673/186. Is -1 greater than or equal to j?
False
Let i = 11 + -6. Let q(w) = 2*w**3 - 4*w**2 + 3*w - 2. Let s be q(2). Is s > i?
False
Let g be (-1)/4 - 38/(-88). Suppose 0*q = -3*o + q + 5, -q = o + 1. Which is smaller: g or o?
g
Let f = -0.2 - 0. Let j = 0.07 + -0.37. Let w = j - f. Is w less than or equal to 0?
True
Let t = -1/15 + -11/60. Let b = -6.13 - -0.13. Is t less than or equal to b?
False
Let j(s) = -s + 1. Let b be j(-4). Is 0 bigger than b?
False
Let x = -0.19 - -8.19. Which is smaller: 0.1 or x?
0.1
Let h = -11 - -18. Is 6 greater than h?
False
Let u be (1/(-8))/((-3)/(-4)). Suppose v - 6 = -5*j, 3*v = 4*j - 6*j + 5. Are u and v unequal?
True
Let t = -7.15 - -0.15. Let b = -9 - t. Is -7 less than or equal to b?
True
Suppose 0 = -3*w + 4*f - 3*f + 8, 5*w - 5*f - 30 = 0. Let g be -7 + 5 + (-16)/(-9). Is g >= w?
False
Let r be 2 - -3*3/(-9). Is r at most 2/25?
False
Let j = 1172/3 + -399. Which is greater: -8 or j?
-8
Let y be (-1 - (-3 - -2)) + 1. Suppose d - 1 = y. Suppose s + d*s + 18 = -5*c, 4 = 2*s - 2*c. Is 1/4 equal to s?
False
Suppose 35 = -7*n + 2*n. Let g(j) = -2*j**3 - 52*j**2 + j + 19. Let t be g(-26). Is n bigger than t?
False
Suppose -6 = -2*j - 30. Is -12 less than or equal to j?
True
Let o be (-84)/70*4/(-6). Which is smaller: 0 or o?
0
Let b be (-5)/(-45) - 2/6. Which is smaller: -1 or b?
-1
Suppose 5*f + 2*x + 1 = 0, f = -0*x + x - 3. Which is smaller: -4/13 or f?
f
Let l be 12/(-21) - (-4290)/7385. Is -1 greater than or equal to l?
False
Let l = -484/357 - -26/21. Let f = 0 + 0. Is f equal to l?
False
Suppose -2*a + 18 = 3*d - d, a - 5*d = -3. Suppose 0 = -3*f + 19 + 5. Is a at most as big as f?
True
Let n be (24/(-10) - -2)/2. Let a be (-2)/(-3 + 4) + 2. Which is smaller: a or n?
n
Suppose 5*k = 3*m + 11, -2*k + 11 = m - 0*k. Let a = m + -6. Let u be a/5 + 68/180. Is u > 1?
False
Let m(p) = -3*p**3 + 10*p**2 - 3*p. Let w(k) = -k**3 + 5*k**2 - 2*k. Let s(c) = -2*m(c) + 5*w(c). Let h be s(-6). Which is greater: h or -13?
h
Let s(o) = 44