et j be (-8)/n - (1 - 3). Which is smaller: j or k?
j
Suppose -15*b + 10*b = 5. Let a be (-15)/9*(b + -2). Let w = 17 - a. Is 10 equal to w?
False
Let t = 1203 + -1202.95. Is 1/6 != t?
True
Let h = -1593 - -1592. Do -1/409 and h have the same value?
False
Suppose 5*o = -4*g - 29, 2*g - 8 - 5 = 3*o. Are 74 and g equal?
False
Let q = 56 - 37. Let c = 7 - q. Let h be -15 - 2 - c/(-4). Is h at least -21?
True
Let u = 23.7 - 20.7. Which is smaller: -5 or u?
-5
Let p(z) = 21*z + 19. Let r be p(-1). Suppose 0 = -4*c + 5*f - 2, -2 = -4*f - 10. Which is bigger: c or r?
r
Suppose -2*y + 3*b = -b - 4, -4*y + 13 = -3*b. Suppose -y = q + q. Let m = -25 - q. Which is greater: m or -24?
m
Let c = 989896/7 - 142373. Let p = 967 + c. Is p != 9?
True
Let t = 1069 + -1070. Is -3/838 at least t?
True
Let l be ((-74)/32*-2 + -5)*-8. Which is smaller: -6 or l?
-6
Let r = -819 + 821. Let g(x) = x - 4. Let v be g(5). Which is smaller: v or r?
v
Let b = 90.1 - 98. Let h = -7.4 + -0.6. Let m = b - h. Which is bigger: 2/9 or m?
2/9
Let h be 1 + (-44)/12 + 4. Let t = -1 + 2. Is t <= h?
True
Suppose 0*g - 260 = 3*g + 4*i, 4*g + 4*i = -348. Are -89 and g non-equal?
True
Let w be 4*(-10)/10*-35. Are w and 144 unequal?
True
Let i = 164 - 162. Which is smaller: i or -143?
-143
Let v = -9 - -8.83. Let b = v + -0.03. Is 0.6 greater than b?
True
Let k(t) be the second derivative of t**3/6 - 4*t**2 - 5*t. Let q be k(7). Is 2/43 less than or equal to q?
False
Let d(j) = -5*j**2 + 41*j - 6. Let v be d(8). Let r be 1 + (0 - 0 - -9). Suppose -4*u = v*o - 20, 2*u - r = -3*o - 2*o. Which is smaller: o or -4/13?
-4/13
Suppose -5*a - 170 = 1465. Is a less than -328?
False
Let w be 16/28 + (-660)/1106. Let d(z) = z**3 - 4*z**2 - 12*z. Let v be d(6). Which is smaller: w or v?
w
Let l = -6 - 13. Suppose 5*k - 22*n = -25*n - 117, -5*n + 1 = -k. Which is smaller: k or l?
k
Let n = 2 + -4. Let b(u) = u**2 + 12*u - 26. Let o be b(-14). Suppose -o*g + 0*g + 14 = -2*a, -g = -2*a - 9. Is a != n?
False
Suppose -326*a = -317*a + 1098. Which is smaller: a or -124?
-124
Let f be 2 - (-11)/(363/(-80)). Let u = f - -45/11. Is 3 less than u?
True
Let m = 12204 - 146351/12. Let f = m - 37/4. Is -1 at most f?
False
Suppose -55*k = -60*k - 30. Let c(a) = -a**3 - 7*a**2 - 5*a + 8. Let j be c(k). Which is bigger: 8/11 or j?
j
Let i = 15 + -34. Let t = -4 - i. Let s be (t/(-12) + 1)*-2. Is 2 greater than or equal to s?
True
Suppose -13*y = -1848 + 522. Which is greater: -0.3 or y?
y
Suppose -q = 217 - 223. Is 5 greater than or equal to q?
False
Suppose -6*j = -8*j - b - 337, 4*b = 4*j + 668. Is j less than or equal to -170?
False
Let h = -0.26 - -4.06. Let a = h + -3.8. Let p = -469/12 - -124/3. Which is greater: a or p?
p
Let a(p) = p**2 - p. Suppose -2*l = 2*l - 5*h + 2, 10 = 4*l + h. Let n be (0*2/l)/(-3). Let t be a(n). Is t at least 4?
False
Suppose -2*l - 3*y + 22 = -7*y, 2*l = -y + 22. Suppose 0 = 3*z - 1 - l. Suppose 0*v + 16 = -z*v. Which is greater: -1 or v?
-1
Let w = 108 + -186. Does -78 = w?
True
Suppose -2 - 8 = -5*k. Suppose 0 = d + k*l + 4, -4*l = l + 20. Is 6 equal to d?
False
Let i be (-1 + -46)*(-5 + (2 - 0)). Which is smaller: i or 140?
140
Suppose 4*r + 56 = -5*z, -3*z + 2*r = -z + 8. Suppose 6 + 21 = d. Suppose -4*u - 9 = d. Are u and z nonequal?
True
Suppose 3 + 25 = -2*h. Let p = -24 - h. Suppose 3*k = 4*k + 4*m + 3, -4*k - 4*m = 36. Which is bigger: k or p?
p
Suppose -108 = 4*l - 0*l. Let d = -53/2 - l. Suppose 2*h + 21 - 21 = 0. Which is greater: h or d?
d
Suppose 65*x = 63*x. Let t be (-156)/105 + (-2)/(-7). Are t and x equal?
False
Suppose -g - 2 = p, p + 3*p = 4*g - 40. Let s be (40/(-4) - 0) + 4. Let u be s*2*4/12 - 1. Which is smaller: u or p?
p
Let q = 253 - 390. Let k = q - -141. Which is greater: 5 or k?
5
Suppose -2*a - 3 - 13 = 0. Let v be 14*1 + (-8 - a). Is v equal to 12?
False
Let z(h) = 8*h**2 - 2*h**3 + 3*h**3 + 2*h - 11*h - 10. Let k be z(-10). Let c be (36/k)/(3/(-4)). Is c != 0?
True
Let p = 0.103 - 46.103. Let u = 46.1 + p. Is -3 at least u?
False
Suppose 5*z + 457 + 352 = 3*l, 0 = 5*z - l + 803. Which is smaller: -168 or z?
-168
Let o = -65.1 + 65. Let t = -42.39 - -42. Let l = -0.4 - t. Is o at least as big as l?
False
Suppose -7*s + 18 = -25*s. Is s less than -4/7?
True
Let m = -185 + 187. Which is smaller: 12 or m?
m
Let a = -2132 + 2133. Which is smaller: a or 3/845?
3/845
Let z = -827 + 687. Is z at least -138?
False
Suppose 5*a + 4*g = -20, -24 + 29 = -g. Which is smaller: a or -2/645?
-2/645
Let k = -144 + 146. Which is smaller: 11/9 or k?
11/9
Suppose -2*s = -3*m + 23, s - 6 - 10 = -4*m. Suppose 3*w = x + 8, m*w - x = -6 + 16. Let b be (4/18)/(57/(-9) - -8). Is w > b?
True
Let p(q) = q**2 - 7*q + 4. Let b be p(6). Let t = -1236 - -21000/17. Is t equal to b?
False
Let n = -28 - -40. Let v = -23 - -21. Is v greater than or equal to n?
False
Let n = -744/7 - -106. Let x = 1.4 - 1.4. Let g = x + -0.9. Is g greater than or equal to n?
False
Let c = -104 - -120. Is 14 <= c?
True
Let k = 3.83 + -2.83. Which is bigger: -152/3 or k?
k
Let n = -7.13 + 8.13. Which is smaller: 871 or n?
n
Let u = -162.3 - -162. Let n = 8 + -7.5. Is u less than n?
True
Let l(x) = x**3 + 4*x**2 + 3*x. Let c be l(-2). Suppose 4*v = -2*m - c, 2*m - 4*v = m + 5. Suppose 2*h - 5*h = -6. Is m not equal to h?
True
Suppose -2*y + 546 = -5*d, -91 = d - 2*y + 23. Is d >= -108?
True
Let j = 561.2 + -561. Which is smaller: -1.78 or j?
-1.78
Suppose -21*a - 487 - 416 = 0. Do -59 and a have the same value?
False
Suppose -v + 8 = -9*v. Are v and 1/52 equal?
False
Let r be (-2 - (-10977)/5490)*(-56 + 54). Which is bigger: 1 or r?
1
Let y = 0.869 - 1.928. Let m = y - -0.059. Which is greater: -15 or m?
m
Let n(i) = 7*i - 15. Let o be n(1). Let f(g) = 2*g**2 - 5*g - 2. Let j be f(4). Let x be ((-216)/40)/(8/j). Which is smaller: x or o?
o
Let f = 17 - 21. Let p = 5 + f. Suppose -v = -0*v - p. Which is greater: v or 0?
v
Let x be (42 - 1 - -4)/(-1). Let n = x + 46. Let o = 341/952 - -2/119. Which is smaller: n or o?
o
Let s be (-42)/(-28) - 131/85. Is 1 > s?
True
Let w = -321 + 377. Is w less than 58?
True
Let l be ((-276)/(-230))/(2 + (-13)/55). Is 2 > l?
True
Let l(k) = k**2 - 1206*k - 2416. Let x be l(-2). Let n be ((-2)/6)/(38/2). Is x greater than or equal to n?
True
Suppose 391 = -4*a + 3*a + 2*w, 0 = 4*a + 3*w + 1553. Is a at least -390?
True
Suppose t - 18*t - 2601 = 0. Is t >= -152?
False
Suppose -4*o + 3*z + 1652 = 0, -6*z + z = -o + 396. Let r be (130/o)/((-1)/4). Which is greater: -3/5 or r?
-3/5
Let l = 0 - -14. Suppose 0 = -5*h + 11 + l. Suppose -2*s - 1 = 5, 0 = -h*i + 3*s - 26. Which is greater: -6 or i?
-6
Let b(p) = 1. Let t(j) = -6*j - 4. Let v(c) = -3*b(c) - t(c). Let n be v(1). Let o = n - 3. Which is bigger: o or 0?
o
Let y(c) = 11*c**2 - 18*c - 17. Let g be y(6). Is g at least 272?
False
Let b = -15 - -13. Let k be b - -4 - (-3136)/(-1575). Let t = -3/25 + k. Is t less than or equal to 0?
True
Let z = -0.04 - 0.04. Let h = z + 0.48. Are h and -4/3 nonequal?
True
Let b = 846 - 780. Let z(n) = 66*n**2 - n - 1. Let x be z(-1). Are b and x unequal?
False
Let q(i) = i**2 + 12*i + 11. Let x be q(-11). Suppose 2*m - 4*u = -2*m - 20, m - 3*u + 15 = x. Do m and 2/15 have different values?
True
Let f be -7 + 1 + 6 + -1. Which is smaller: -6 or f?
-6
Let y = 23 + -27. Let h be 0 - 3 - -2 - y. Suppose -3*w = -3*b + 12, 8*w + 20 = -4*b + h*w. Which is bigger: b or 7?
7
Let u = 1331 - 1277. Is 22 not equal to u?
True
Suppose 9*b + 756 = -5364. Is b at most as big as -682?
False
Let w = -1929 - -1928. Is w at least as big as 4/107?
False
Let c = 73 + -69.16. Let q = c - -0.16. Let o = -3.3 + q. Is o less than 2/5?
False
Suppose 56*g - 47*g = 666. Is g > 72?
True
Let m = -565 + 576. Is m equal to 0.31?
False
Let n = -145 - -155. Let h be n/50*(0 - 2). Is h greater than 2.6?
False
Let j be (-14)/(-21) + 660/9. Let n = j - 44. Let x = 30 - n. Which is smaller: -3/20 or x?
-3/20
Let y be 10/(-105)*27 - -3. Let z be ((-4)/16)/(1/2)*2. Which is smaller: y or z?
z
Let b(k) = -k**2 + 7*k - 4*k + 2*k + 5 + 3*k. Suppose 11 = 2*q - 7. Let f be b(q). Is f at most as big as -4?
True
Let a(x) be the first derivative of -1/2*x**2 - 20*x - 2. Let c be a(-14). Is 1 > c?
True
Suppose 5*r = m + 45, -7*m + 12 = 