Is v < b?
False
Let u(o) = -24*o - 80. Let m be u(-5). Suppose 44*z - m = 39*z. Which is greater: z or 31/4?
z
Let r(f) = -51*f - 166. Let y be (-5 - 39/(-6))*64/(-12). Let q be r(y). Which is smaller: q or 483/2?
483/2
Let l(u) = 156*u - 2027. Let p be l(13). Which is smaller: -2/104243 or p?
-2/104243
Let a = -21131/7 - -2998. Do a and -21 have the same value?
False
Let m be (-18 - 1)*(-7599)/(-357). Let f = -406 - m. Is -3 < f?
True
Let t(u) = -2*u**3 + 17*u**2 - 12*u + 44. Let s(b) = 2*b**3 - 18*b**2 + 14*b - 44. Let m(v) = -2*s(v) - 3*t(v). Let g be m(7). Is 1/2 < g?
False
Let u(w) = -w**3 + 8*w**2 + w - 9. Let x be u(8). Let g = 229570/17 - 13654. Let v = g - -150. Is v bigger than x?
True
Let n = 113 - 111. Let b = -11.44 - -4.14. Does b = n?
False
Suppose 20 - 4 = -4*f. Suppose 4*r = -0*r + 4. Suppose -u + r = 7. Is u <= f?
True
Let z be (167*20/(-8))/((-18)/12) + -1. Is 278 >= z?
True
Let c be 0 + (-66)/(-15) - 0. Let l be (268/(-469))/((1 - 46/42)*15). Which is smaller: l or c?
l
Let u = 1150 + -2299/3. Let i = u + -767/2. Is i <= 12/7?
True
Let o be (1 - -7) + ((-6477240)/80962)/10. Which is greater: 1 or o?
1
Suppose -2*l + 4*l + 25 = 5*h, -h - 2*l = 7. Suppose 15 = h*g - 135. Suppose -g = 3*f + 2*y, -y - 16 = f - 0*y. Is -17 bigger than f?
True
Let j be 1376379/(-103320) - 6/16. Let n = -137/10 - j. Is 0 at most n?
False
Let k be ((-3)/(-5))/(44/(-20)). Suppose -49*h + 15*h = 17034. Let u = 500 + h. Which is greater: u or k?
k
Let x = -94/17 + 299/51. Let s = -90 + 98. Which is bigger: x or s?
s
Let n(b) = 5*b**2 + 53*b - 36. Let t be n(-11). Let j be 3 - 2*(-339)/(-42). Is t < j?
True
Let k(z) = -z**2 - 67*z + 138. Let t be k(2). Let x(l) = 59*l. Let m be x(-1). Let n = t + m. Which is smaller: -58 or n?
n
Let o(u) = -u**3 - 10*u**2 - 6. Let m be o(-10). Let z be m/(-12)*(-12)/51. Let g = -124/1343 - z. Is g not equal to 1?
True
Let j be 4/(-4)*0 + 19 + -14. Suppose -2*q = u + 4 + 1, -q = j*u + 16. Is q >= 4.35?
False
Let z be (-21)/(-35) - (-64)/(-140) - 12/(-14). Let d be 2/(-6) - (-53)/177. Is d not equal to z?
True
Let s = 0.1284 + -5.6184. Let t = -0.49 - s. Let j = t + -27. Are 0 and j equal?
False
Let t(d) = 2*d**3 - 22*d**2 + 7*d + 43. Let a be t(10). Is 1/4 at least a?
True
Let r = 5715 - 5925. Is -211 < r?
True
Let u(s) = -s**2 - 408*s - 2808. Let q be u(-7). Let d = -33469/29 - -1154. Is d < q?
False
Let d(u) = 2*u**3 - 6*u**2 - 17*u + 12*u - 1 + 3. Let r be d(4). Let z(q) = 3*q - 6. Let i be z(6). Is i less than r?
True
Let n = -107/293 - 79049/4981. Which is smaller: -17 or n?
-17
Let n = -185 - -188. Suppose 0*j + n*h = 3*j, -12 = -2*j + 5*h. Is j != -37/7?
True
Let o be (-8 + (-51)/(-6))*-22*2. Which is bigger: -38 or o?
o
Let i = -101.58 + 102. Let t = -9.42 + i. Let o = 1 - 6. Which is bigger: o or t?
o
Let a(b) = -9*b - 344. Let g be a(-36). Let q be (-6216)/(-4689) - (-2 - g/6). Is q not equal to 1?
True
Suppose -73*d = -68*d + 25. Let f be 2/(-6 - 2)*(-10)/d. Which is bigger: f or -13/14?
f
Suppose 0 = 3*v - r + 2, -r = -5*v - 4*r + 20. Let h be 3*(-7 + v + (-47)/(-3)). Is 26 bigger than h?
False
Suppose 5*m + 11*x - 14*x + 8359 = 0, 0 = 3*m + 2*x + 5023. Which is greater: -1671 or m?
-1671
Suppose 4*c = -k + 587, 5*c - 4*k + 0*k - 760 = 0. Suppose l - c = -92. Let w be l/903*6/(-4). Are -1 and w unequal?
True
Let z(o) = -13*o**2 - 2*o - 1. Let h be z(-1). Let y be 4/(-18) - (1/2 - 2009/738). Let k be 4/h*(2 - y). Which is bigger: k or -1/4?
k
Suppose d - 18 = -16. Suppose -6 + 2 = d*x. Let t be (-4)/3*((-6)/(-4) - 3). Is t < x?
False
Let x(l) = -143*l + 851. Let k be x(6). Is k bigger than 1?
False
Let w be (-2)/(-5)*(15 + 0). Suppose 0 = w*x - 1267 - 119. Is 230 greater than x?
False
Let j be 4/10 + 7/(-5). Let n = -864 - -599. Let k = n + 238. Which is smaller: k or j?
k
Let y(b) = -b**3 + 99*b**2 + 292*b - 460. Let m be y(102). Does -1887 = m?
False
Let o = -13 + 12.52. Let z = 0.2968 - 2.2758. Let y = z + -0.021. Is y != o?
True
Let g = 1/87501 - 9625189/6912579. Which is bigger: -1 or g?
-1
Suppose -3*w - 24 = -0. Let f(a) = -a**2 + 6. Let j be 64/14 + (-72)/126. Let u be f(j). Which is smaller: u or w?
u
Let f be (-27)/6*(1792/(-126) + 14)*1. Which is greater: 4/4907 or f?
f
Let w(t) = 5*t + 88. Let m be w(-20). Let h be (-36)/(-165) - (m/33)/2. Let i(b) = b**2 + 9*b + 8. Let q be i(-8). Is q less than h?
True
Suppose 25*a - 1256 = 21*a. Let w = a + -314. Let q = 64/3 - 850/39. Which is smaller: q or w?
q
Let s = -160133/79002 + 156/77. Is 0 bigger than s?
True
Suppose -12*n = -17*n. Let d be (0 - 14/35)/(0 - -3). Is d > n?
False
Suppose 0 = 8*d - 250 - 390. Which is smaller: d or 82?
d
Let x be (-104)/2 - (-45 + 54). Is x < -426/7?
True
Let z be (-143)/4 + 12/(-48). Let y be (-24)/42 - (-1 + z/14). Suppose -4*t = 3*f + 1 - 8, 0 = -f - y*t + 4. Which is bigger: 15 or f?
15
Let k(p) = p**2 - 15*p + 117. Let d be k(33). Suppose -2*a = -3*q - d, a + 0*a - 362 = -5*q. Is 357 at most a?
True
Let u = 574 + -579. Let w(s) = -s**2 - 7*s - 1. Let q be w(-4). Suppose 2*x + 3 = -q. Which is bigger: x or u?
u
Let n = 164 - 290. Is n at least -94?
False
Suppose -31*g - 774 + 3268 + 1784 = 0. Which is smaller: g or 18?
18
Let p = -71484 + 71485. Let q = 28.34 + -29. Is p at least as big as q?
True
Let k be (38 - 39)*(20/1144)/(-5)*-2. Suppose v = -i - 3, 5 = -3*v - 4. Is k at least as big as i?
False
Let q = 95447 + -666408/7. Which is smaller: 246 or q?
q
Let m be (12/14*98/56)/((-30)/(-8)). Let z = -4 + 21. Is z less than m?
False
Let z = -7052674/181503 + -2/25929. Let l(q) = -3*q - 104. Let p be l(-22). Do z and p have different values?
True
Let x be ((-44)/40 - 99/(-165))*8/158. Do x and 1 have the same value?
False
Suppose -3*n = 5*m + 99, 5*m + 3*n + 45 = 3*m. Let l be (6/279)/(30/m). Are 1 and l non-equal?
True
Let b be 2/((27/(-21258))/(3*(4 + -5))). Is b equal to 4724?
True
Let t be (-8838)/(-4644) + 14/84. Which is smaller: 2 or t?
2
Let q = 10.53 + 33.77. Let o = -44 + q. Let c = -33 - -53. Is c equal to o?
False
Suppose -1967 - 2993 = 20*y. Let j = y + 162. Which is bigger: j or 1?
1
Suppose -2324 = -1321*x + 1349*x. Let b(q) = -q**3 - 2*q**2 + 2*q + 5. Let f be b(4). Are f and x nonequal?
False
Let h be (138/(-161))/((-15)/(-17920)). Which is greater: h or -1020?
-1020
Let m(q) = -12*q**2 + 107*q + 1163. Let y be m(-12). Which is greater: y or -1848?
-1848
Let q be 2/2 - (-204 - 11). Suppose -5*b - q = 4*b. Is b at most -169/7?
False
Let r = 13836 + -13837. Is r at least 14804?
False
Let f = -9026/25 - -361. Let h = -3453 + 3454. Is h < f?
False
Let w be ((-33)/(-18))/(1/287). Let y = w + -530. Suppose -3*i - 4 = 2*k - i, 3*k + 13 = 4*i. Which is bigger: k or y?
k
Let m be (-22 + -5)*2/(-3). Suppose -7 - 1 = -8*n. Let j be 2 - -1 - (n - 16). Are j and m non-equal?
False
Suppose -177*t + 134*t = 9933. Are t and -230 non-equal?
True
Let q(x) = -6*x**3 + 23*x - 13. Let a be q(9). Let g be (-2)/(-9) - a/(-15732). Which is greater: 0 or g?
0
Let p be 2 + 7/((-28)/(-2452)). Suppose p = 24*t - 9*t. Which is greater: 43 or t?
43
Let n be -1 - ((-18)/(-30) + 86/(-10)). Let c be 2/(-4) - (-21)/6. Suppose 5*d + 3*q = c*d + n, 5*d = 4*q - 17. Is d equal to 2/27?
False
Let s = 18164 + -18164. Which is bigger: -13036 or s?
s
Let c be (-40)/16 - (-6204)/2478. Do c and 1 have different values?
True
Let g = 661 + -666.77. Let v = g + 5.77. Which is greater: v or -2/9?
v
Let t = -0.295 + 205.295. Let z = t - 209. Let k = 1 + 0. Does z = k?
False
Let m = -4 + 1. Let q = 795 - 801.19. Let j = -1.19 - q. Which is greater: j or m?
j
Let k = -1.18 + -278.82. Let j = k + 281. Which is smaller: 23 or j?
j
Suppose 438 = 445*q - 442*q. Suppose 135*f + 737 = q*f. Which is smaller: 66 or f?
66
Let w = 137 + 171. Let b = -314 + w. Is b bigger than -0.05?
False
Let u(k) = -1148*k**3 + k**2 + 101*k - 103. Let a be u(1). Which is smaller: a or -1151?
-1151
Suppose -91 = 3*g + 74. Let k = g - -604/11. Let t be (2/(-3))/(22/(-33)). Is t at least k?
True
Suppose 8*d = 12*d - 1644. Let c be d/(-7) + 26/(-91). Let k = -45 - c. Is k less than 14?
False
Let g be ((-24)/(-16))/1*(2625 + 1). Let m = 19793/5 - g. Which is bigger: m or 21?
21
Let l(h) = h**2 - 10*h + 120. Let o be l(28). Suppose 4*i = -556 + o. Does 16 = i?
False
Let d be (0