1/2
Let p = -5095220 - -7306547189/1434. Let t = -5810 + 1388584/239. Let b = p + t. Which is greater: b or -2?
b
Let d(p) = -5*p**2 - 407*p + 309. Let r be d(-80). Is r bigger than 874?
False
Suppose 216 = 11*y - 224. Is y smaller than 36?
False
Let p be (-26)/2223*9 + (-888)/(-16378). Which is greater: p or 1?
1
Let z = -75 + 59. Let x = z - -14. Let c be ((-4)/(-5))/(40/5). Is c less than or equal to x?
False
Suppose -142 = -5*a - 5*y + 118, y = 5*a - 260. Let q = a + -107. Is q at most as big as -55?
True
Let p(w) = 10*w**3 + w**2 + 2*w - 3. Let f be p(1). Let b be (-6)/f + 13/5. Suppose 20 = 5*a + 2*h + b*h, -h = a - 5. Is a less than or equal to 3/22?
True
Suppose 170 - 465 = -5*d + 4*y, 118 = 2*d - 3*y. Let s = -1715 + 1717. Which is greater: s or d?
d
Let a be -1*247/(-1) + -7 + 4. Let i = -257 + a. Is i smaller than -7?
True
Let w = -4813 + 4818. Which is smaller: 1077 or w?
w
Let h be (-2 - 1) + 74/(-2). Suppose y - 44 = -4*s + 21, 316 = 4*y + 2*s. Let g = y - 120. Which is bigger: h or g?
g
Let h(s) = s**3 - s + 48. Let u be h(0). Let x be (-6 + (-2)/(-1))*(-24)/(-24). Let a be u/(-70) - (22/(-5) - x). Which is smaller: 9 or a?
a
Suppose h + s - 9 = 0, -1 = -h + 4*s - 3*s. Let j be -3 + h*(-19)/(-35). Is 0.001 > j?
True
Suppose 43*n - 4*f + 12800 = 47*n, -4*f = 20. Is n smaller than 3202?
False
Let x = 21.5 + 77.7. Let m = x - 98.76. Which is smaller: m or -3?
-3
Suppose 8*j - 3*j = 2*d - 47, -5*d + 3*j + 127 = 0. Suppose d*h + 92 + 428 = 0. Suppose 0*u + 12 = -4*u, 3 = -5*c - u. Which is bigger: h or c?
c
Suppose 0 = -2*p - 6 - 6. Let u be ((-109752)/3230 + 34)/((-1)/(-5)) - 618/95. Is u <= p?
True
Let d(n) = 309*n - 12. Let y be d(-2). Let s be 4/(-30) + 13111/y + 1. Let v = s - -454/9. Which is bigger: 31 or v?
31
Let x = -856.4 + 856.4. Which is greater: 0.02972 or x?
0.02972
Let w be 46/10 + ((-2)/5)/(-1). Suppose w*x - 26 + 1 = 0, -14 = 4*v - 2*x. Is -5 at least as big as v?
False
Let f(m) = 33*m**2 + 2245*m + 69. Let p be f(-68). Let w = 1 + -3. Let y be 6/(-1413)*(-1 + w). Which is smaller: p or y?
y
Let p be (2/54)/(-1)*(5345/(-445) + 12). Is p <= 0?
False
Suppose 491*b - 506*b - 54 + 9 = 0. Is b equal to -5/37?
False
Let h = 0.28101 - 0.78101. Let w = 3 + -2. Let y = w - -1. Which is greater: h or y?
y
Suppose 3*r - 4*c = -28 + 87, -4*r + 2*c = -72. Are 79/5 and r equal?
False
Suppose -4*d - 9656 = 4*n + 13616, 4*n = -3*d - 23280. Which is smaller: n or -5825?
n
Suppose 2*g = 612 - 496. Let s = 50 - g. Is s equal to -7?
False
Let x be (-1 + 3)*-1*10. Let f = x + 26. Let i be ((-288)/(-840))/(f/(-20)). Which is bigger: i or -2?
i
Let d = 31 + -26. Let m be 0 - 1 - ((-125)/5)/d. Suppose 3*j = 5*l + 5 - 16, -j = m*l - 2. Which is greater: -3 or j?
j
Let r(v) = -11*v - 37. Let g be r(13). Let b be (-1204)/(-30) + 24/g. Let p be 13/(-1 + (-8)/(-6)). Which is smaller: b or p?
p
Suppose 5*j - 2*j = -1041. Let p = -24638/71 - j. Suppose 102 = 4*w + 102. Which is smaller: p or w?
p
Let t(a) be the second derivative of -a**5/10 - a**4/12 - 5*a**3/6 + 11*a**2/2 + 187*a. Let f be t(3). Is -67 less than f?
False
Let u = 39.76 - 39.96. Let c = 1.07 - 1.2. Are c and u unequal?
True
Let t = -14.71 - -7.11. Let n = -0.6 - t. Is n > 0?
True
Let k = -2.727 - -1.927. Do 10.6 and k have different values?
True
Suppose 50 - 53 = 3*o, 2*m = 5*o + 3. Which is smaller: m or -7/2314?
m
Let s be -21 + 3 + 0 + 3. Let y be (-12)/s*(-10)/(-4). Let w(v) = 5*v**2 - 71*v + 69. Let a be w(1). Is y less than a?
True
Let r = -81.348 + 81. Let q = r - -0.388. Is -11 at most q?
True
Suppose -4*q + 12 = -2*g, 4*q + 0*q = -20. Let s = g + 8. Let h be (-2)/3 - s/3. Which is bigger: -13 or h?
h
Let h = 4627 + 7251. Which is smaller: 11879 or h?
h
Suppose -3*z + 1 = 2*x, -5*x + z + 9 = -36. Let o be ((-2)/4)/(x*13/12896). Is o >= -64?
True
Suppose -4*y = h - 3*y - 17, 2*h - 28 = -4*y. Let s be (-46)/(((-1)/4)/((-5)/h)). Which is smaller: s or -48?
-48
Let i(o) = 10621*o + 1. Let t be i(1). Let y = -265514/25 + t. Let j = -268/325 + y. Which is smaller: j or 2?
j
Let w be (78/(-1030))/((-33189)/(-925) - 36). Which is greater: 2 or w?
2
Let x be (-64)/16 - (-5 - (-5 + 4)). Are x and -5/51 nonequal?
True
Let k = 42 + 13. Let n be (0 - 3)/(k/(-5)). Suppose 46*z = 44*z - 2. Is z greater than n?
False
Let z(t) = -668*t + 887. Let l be z(5). Which is smaller: -2450 or l?
l
Let n = -17064 + 17062. Is 1802 smaller than n?
False
Let d = 2/1185 + -11872/13035. Let y = -0.1 + 0.1. Which is smaller: y or d?
d
Suppose -26*n + 35289 = 35289. Which is smaller: -30/133 or n?
-30/133
Let u = 97/453 + -808/5889. Let b be (-31 - (-1 - -1)) + -2. Which is smaller: b or u?
b
Let k(m) = m**2 + 24*m + 136. Let h be k(-10). Let u(z) = z**3 - z + 40. Let t be u(0). Let n be -6*(t/12 + h). Which is smaller: 42/11 or n?
42/11
Suppose 0 = -4*k + 3*d + 160, 6*d = 4*k + 2*d - 160. Let u be (-60)/k - 1/(-3). Is u less than or equal to -2?
False
Let g = 21 - -73. Let y = -144 + g. Let x = y - -67. Is x greater than 1?
True
Let g(q) = q**2 + 6*q + 8. Let o be g(-3). Let x be (o - (-5965)/1989) + -2. Are -1 and x unequal?
True
Let j(m) = m. Let c(u) = -26. Let n(p) = c(p) - 6*j(p). Let o be n(5). Suppose 112 = 12*k - 14*k. Is k equal to o?
True
Let d = -212 - -209. Let m(c) = c**3 - c**2 - 3*c + 2. Let n be m(2). Let s be 0 + n - 169/52. Is s < d?
True
Suppose -3*t + 2 = 3*v + 5, -5*v - 9 = 4*t. Let o = 24874 - 24856. Is o <= v?
False
Let t = -407 - -411. Suppose 15 = -5*g, -r + t = 2*g + 25. Is r bigger than -110/7?
True
Let m = -13094 + 13094.1. Is -4.9 >= m?
False
Let o(n) = n**2 - n - 2. Let r be o(7). Let y = r - 36. Suppose 2*v = -4, -a + y = -5*a - 4*v. Is a at most 2/3?
False
Let p = -15154 + 29165/2. Is p less than or equal to -571?
True
Suppose -7*g = -9*g - 7*g - 15*g. Is 7/1531 less than or equal to g?
False
Let t = -2 - -5. Let h be 3*(t/4 - 14/8). Let i be h - (4 + -5 - 37). Is i > 33?
True
Suppose -4*c + 12 = -12. Suppose -n + 4 = 13*n + 46. Let y be 1/n*(c - 99). Is y bigger than 31?
False
Let x = 5.086 - -169.914. Is -3/8 at least as big as x?
False
Let n = -4.93012 - 0.06988. Which is smaller: n or -13?
-13
Let f = -68 - 22. Let g = -1719 + 1625. Let a = g - f. Which is smaller: a or -5?
-5
Suppose -3*u = -4*g + 802, -5*g + 1152 - 149 = -4*u. Let d be 188/36 + -5 - (-2)/((-18)/(-1807)). Is d bigger than g?
True
Let m(s) = 15*s + 832. Let w be m(-48). Which is smaller: w or 110?
110
Let f = -6 - -5.9. Which is smaller: f or -6.42?
-6.42
Suppose 2*m + 83 = -3*n, -4*m = -m - 4*n + 116. Let w = 42 + m. Suppose -4*d - 3*j = -w*j - 8, 2*d + 4*j = 4. Is 2 less than or equal to d?
True
Let n be (44/(-782))/(1*(1 + 9)/(-30)). Which is greater: 1 or n?
1
Let b(h) = 2*h**3 - 4*h**2 - 81*h - 531. Let u be b(-6). Is u < -1.7?
True
Suppose 0 = 3*k + 4*u - 149, -4*k - 4*u + 109 = -95. Suppose -5*q - 433 = -8*x, 3*x + 5*q + 65 - 248 = 0. Is k smaller than x?
True
Let u = 119 - 71. Let w = -47.72 + u. Let x = w - 0.28. Are 0 and x non-equal?
False
Suppose 2*x = -58 + 68. Let t = -44/1071 + 545336/1071. Let f = 513 - t. Which is greater: f or x?
x
Let j(a) = -22*a - 20. Let w be j(-1). Let h be w/5 + (-9)/((-270)/1128). Are 402/11 and h equal?
False
Suppose -2*j = -6*j - 36. Let z be 18/12*(-30)/j. Suppose 0*k = k - z*n - 15, 0 = 3*k - 5*n - 15. Which is greater: 4/3 or k?
4/3
Let j = -637 - -666.1. Let b = 0.4 + j. Is -0.1 greater than or equal to b?
False
Let r(u) = -7*u**2 + 47*u. Let k be r(-5). Let j = k + 410. Which is bigger: -10/89 or j?
j
Let n = 59 + -68. Let j be -3 + 0 - (9 + n). Let f be (0 + j)/(4*15/(-80)). Which is smaller: f or 27/5?
f
Suppose -3*d = 0, 2*d + 755 = 5*o - d. Let m = o + -162. Is m > -49/4?
True
Suppose 0 = -28*a - 2958 + 4184 + 5886. Is 263 less than or equal to a?
False
Suppose -5*l + 10 = -0. Suppose 2*w - l*b = -90, 0*b - 3*b - 105 = 3*w. Suppose -5*y - 200 = -n, y = -y - 3*n - 63. Which is bigger: w or y?
y
Let n(r) be the first derivative of -25*r**2 + 522*r - 416. Let c be n(11). Let t be 5*(-2)/(-6)*-18. Do t and c have different values?
True
Let f = -550 + 550.128. Let p = f + -4.128. Is -3/14 <= p?
False
Let v = -3241 + 3263. Is 4/7 <= v?
True
Let m be -1 + 18 - ((-24)/40)/(2/(-20)). Let b = -2/991 - -36673/2973. Which is smaller: m or b?
m
Let l be (-56