or o?
0.116
Suppose -y + y = 3*y, 2*k + 80 = -y. Let h = -32 + -6. Which is smaller: k or h?
k
Suppose p + 3*l - 1750 = 0, 5*p = 5*l - 0*l + 8830. Let n be 1 - p/1204 - (-21)/49. Which is greater: -1 or n?
n
Let d be (-2355)/(-35) - (-2)/(-7). Let i = 104.639 + -101.639. Is d != i?
True
Suppose k + 3 = -2*k. Let p be 974/3081*-5 - 0/k. Let m = p + 10/237. Which is smaller: -2 or m?
-2
Suppose k + 4 = 2*k, -5*n + 5*k - 20 = 0. Suppose n = -s - 51. Which is smaller: s or -50?
s
Let y be -1 - 180 - (93 + -104). Is y <= -170?
True
Let k = -11374/5 + 15730232/6915. Which is greater: k or 1?
1
Let s = 3259 + -3256. Is 0.0367 bigger than s?
False
Let s = -1.4 - -1.26. Let j = 15774 + -15781. Is s greater than j?
True
Let n be (-4 - (-8)/8) + -1 + 1158. Suppose 5*i - 848 = -h + 4*h, -4*h = -2*i + n. Is -292 at least as big as h?
False
Suppose 7*v - 16 = -v. Let o be (-200)/(-95) + -3 + v/(-19). Which is bigger: 14/51 or o?
14/51
Let c be (-2)/(-7) - 606/14. Let l be -7*2/(-56)*(-122 + 116). Which is smaller: c or l?
c
Suppose 2*b = -4*n + 154, -194 = 17*n - 22*n - 4*b. Is 27 smaller than n?
True
Let t = -26.981 - -1.956. Let y = 0.025 + t. Let i = 17 + y. Which is smaller: i or 1?
i
Suppose -s + 2*s = -18. Suppose 5*d + 5*v - 395 = 0, 61 = d + 11*v - 16*v. Suppose -y + 3*w = 3*y + d, -y - 10 = -3*w. Which is bigger: s or y?
s
Let p be (99 + 1)*(-10)/8. Let x(u) = -68*u**2 - 423*u - 543. Let w be x(-5). Do p and w have different values?
True
Suppose -32*b = -28*b - 932. Is b != 236?
True
Let a(w) = 9 - 15*w + 21*w + 17*w**2 - 3*w**2. Let i be a(-2). Suppose 27 = 2*y - 77. Is y at least i?
False
Let v = 14149 - 14646. Do -1/9 and v have different values?
True
Let g = -36 + 45. Let x be (g/6)/((-21)/112). Let k be (-3)/(12/x) + -2. Which is smaller: k or -2/235?
-2/235
Let r = -491 - -492. Let b be (26/5 - 4)*6/(-140). Which is greater: r or b?
r
Suppose 0 = 2*v - v + 2. Let f(j) be the second derivative of -j**5/20 - j**4/6 - j**2/2 - 144*j. Let a be f(v). Which is smaller: -2/91 or a?
a
Let n be 9050/(-11418) + (-6)/(-18) - 222/(-1221). Is n equal to 1?
False
Suppose 0*o - 115 = -2*g - o, -4*o + 118 = 2*g. Suppose 14*d + 132 - 930 = 0. Is d at most as big as g?
True
Let u(x) = 2*x + 22. Let y = -220 - -199. Let j be u(y). Suppose 2*a = l + 2*l + 50, -3*a = 5*l + 115. Is l greater than or equal to j?
True
Let p = -1885/184681 + 52934621503/78304744. Let q = -676 + p. Is 1 at most q?
False
Let v = -7964 - -7965.7. Is v bigger than 58?
False
Let q = 0.714 - 0.78. Let s = -390 + 415. Let b = s + -26. Which is bigger: b or q?
q
Let m = 2177 + -2077. Is m != 97?
True
Let q = 0.34668 - -41.65532. Let b = 312.002 + -312. Let c = b - q. Is 0.1 at least c?
True
Let w = -1228 + 1221. Which is greater: -3.58 or w?
-3.58
Let z(i) = 15*i**3 + 12*i**2 - 9*i - 5. Let c be z(-2). Is c at least -69?
True
Let o = 2.828 + -438.628. Let b = 436 + o. Is 2/5 <= b?
False
Let r(c) = 57*c - 32. Let i be r(1). Let w be (-2)/(-3) - 1*152/(-6). Is w <= i?
False
Let p = 206/249 - -1/166. Is 51 at least as big as p?
True
Let a = 2 - -46. Let p = -47.64 + a. Let s = p - -0.04. Which is smaller: s or 1?
s
Suppose 2*j + 19 = 3*j. Suppose -j = -6*z + 3*z - g, 2*g + 10 = 2*z. Let b be (((-9)/z)/((-105)/(-40)))/1. Which is smaller: -1 or b?
-1
Suppose -48 - 20 = 34*h. Let m be h*(934/8 - (-75)/100). Which is smaller: -237 or m?
-237
Suppose 0 = 4*v + 3*l - 996, 2*l = 2*v - 7*v + 1238. Let f be ((-500)/v)/(-2) - 1. Let a = 877946 + -877946. Are f and a equal?
False
Let w(u) = -9*u - 91. Let i be w(16). Let f = -231 - i. Which is smaller: 2/11 or f?
2/11
Let v be 0 + 3 - (-8 + 7). Let q = -153 + 145. Let t be (5 - -3)*(-5)/q. Is v bigger than t?
False
Let b be (-27)/4*(-7 + 3 - (-12)/9). Is -21 at most b?
True
Let o be (0 - 6/14)*427875/(-1125). Is o < -11?
False
Let t = -80 - -58. Let m = t - -19. Let j be ((-3)/(-102))/((-4)/328) - m. Which is smaller: 1 or j?
j
Let o be (-12 + (37 - 11))/(((-11)/15)/11). Is -205 not equal to o?
True
Let n = -14.36874 - 0.03126. Is -11 at least n?
True
Let w = 92.392 + -0.392. Let h = -130 + w. Which is smaller: 2/9 or h?
h
Let h = 1 + -7. Let c be 24/14*(-21)/h. Suppose -c*a + 598 = 7*a. Which is bigger: 47 or a?
47
Let u be 1/3 - (-2392)/(-39). Let b = 58 + u. Do b and -36/11 have the same value?
False
Let o(h) = 6*h**2 - 141*h - 265. Let y be o(25). Which is greater: -124 or y?
y
Let q = -677 + 681. Suppose 143 = -q*r - 221. Which is smaller: -87 or r?
r
Let z be ((-3)/((-3)/29))/(-1 - -2). Suppose -z = -l + 18. Let h = l - 10. Is 36 >= h?
False
Let p = 14 - 169. Let f = p + 153. Is f at least as big as 0.01?
False
Let t(u) = u**2 + 9*u - 7. Let k be t(-10). Suppose 12*s = k*s. Let d be s/(3 + 1) + 1. Does 4/3 = d?
False
Let u(w) = -9*w - 994. Let f be u(-110). Is f smaller than -93?
False
Let c = -3057 + 2016. Is c bigger than -1/2?
False
Let j = 37068 - 21085. Is j <= 1?
False
Suppose -282*m + 3627 = 121*m. Let s = 10 - 0. Is s greater than or equal to m?
True
Let c(v) be the second derivative of v**5/20 - v**4/6 - 2*v**3/3 - 7*v**2/2 + 19*v. Let s be c(5). Let x be 5/2*s/(-24). Which is smaller: x or -4?
x
Let o = -4.763 + 1.763. Which is smaller: o or 222?
o
Suppose 3*a = -3*d, -2*d - 6*a = -a + 6. Let o(i) = 1 + 7 - 5 + 0 + 15*i + d*i**2. Let h be o(-6). Which is greater: -14 or h?
-14
Suppose 87*k = 132*k + 720. Which is smaller: -126 or k?
-126
Let u be 3 - 2 - -236*(-1)/234. Let m(x) = -2*x**3 + 6*x**2 - 3*x - 2. Let a be m(2). Which is smaller: u or a?
u
Suppose -4*b + 33 + 7 = 2*r, -2*b = -r. Which is smaller: 12 or r?
r
Let i be (0 - (0 + -1))*(-164)/2. Let a = -87 - i. Let m = -3773/963 - -15/107. Is a at least as big as m?
False
Suppose -4*n = 2*h - 38, 3*n + 25 - 51 = h. Let y be 1/((-10)/1016) + n/15. Which is bigger: y or -99?
-99
Let j(u) = -u**3 + 4*u**2 + 3*u + 17. Let g be j(7). Let k = -110 - g. Let h be ((4 + k)/12)/((-5)/(-20)). Which is smaller: h or -2/5?
-2/5
Let l = -386 + 392. Let o be l - 245/45 - (-6)/(-27). Let f be -6*-2*(-1)/4. Is f not equal to o?
True
Let d(n) = -421*n + 156. Let g be d(-18). Suppose g + 636 = 15*c. Is c less than 557?
False
Let h be ((-1)/(-1))/((2/(-11 - -17))/(-1)). Let x(s) = 3*s. Let c be x(5). Let r be 73/c - h*2/(-9). Do r and 4 have different values?
True
Let p(q) = q**2 - 17*q - 5. Let l be p(16). Let d be 71/4 - (l/(-12) + -2). Suppose d*h - 104 = 10*h. Is h smaller than 2?
False
Let p(a) = a**3 + 8*a**2 + 9. Let v be p(-8). Suppose 0 = 2*i + v - 21. Let g be (2 + (-70)/38)/(-5 + i). Which is smaller: 0 or g?
0
Let g = -3644 - -886. Which is smaller: -2759 or g?
-2759
Suppose 256*a = 201*a. Which is smaller: 3/10207 or a?
a
Suppose 5*j - 137 = 13*d - 15*d, -3*d = -5*j + 132. Let l(a) = 4*a - 114. Let y be l(j). Suppose -f - 17 = 3*u, 4*f + 8*u = 3*u - 40. Is f <= y?
False
Let b = -882.7 - -529.8. Let i = b - -347. Which is smaller: 0.3 or i?
i
Let s = 3727/3 - 1272. Let m = s + 451/15. Is 6/47 at most as big as m?
True
Let q be -2*(-8)/10*5. Let i(l) = -7*l**2 - 1 - 8*l - 228*l**3 + 672*l**3 - 443*l**3. Let d be i(q). Which is greater: -3/7 or d?
-3/7
Let i = 59627/84 + 1143/28. Which is smaller: i or 752?
i
Let o be ((-4)/7)/(9*90/20601). Which is greater: -16 or o?
o
Suppose 4*h = -0*h - 40. Let p be 234/65*h/(-3). Suppose g = -n - 3 + 19, -58 = -4*g - 2*n. Which is bigger: g or p?
g
Suppose 5*z = -2*q - 4883, -3*z + 53*q - 52*q = 2943. Is -1/2 at most as big as z?
False
Let b = -93 + 43. Let t = -201/4 - b. Let l = 33496 + -33498. Which is bigger: l or t?
t
Let o(k) = 5*k**2 + 95*k + 13. Let u(s) = 4*s**2 + 64*s + 9. Let g(x) = -5*o(x) + 8*u(x). Let t be g(-6). Are 36 and t equal?
False
Suppose -3*l + o - 24 = 131, 0 = 5*l + 3*o + 263. Let q be -1 + -1 + l/(-20). Let f = 71.1 + -71. Is q at most f?
False
Suppose 0 = 5*b + 1216 - 1181. Let h be 9/(-12) - b/(-28). Which is greater: h or -233?
h
Let l = 2.581 + -2.481. Which is bigger: l or -0.778?
l
Let y be (-1)/2*231/(-1610301). Is y >= -1?
True
Let t = -477 - -104. Let w = t - -372. Let h be (-8)/36*(-1)/6. Which is smaller: h or w?
w
Let u be (36/(-2144))/(3/62)*160/(-60). Which is greater: u or 2?
2
Let o be 230/(-5)*(0 - (-2229)/102). Let g = o - -1003. Which is bigger: g or -2?
-2
Let t = 7.5 - 6.39. Let a = t + -2.81. Let u = -