+ 0.264. Let n = -131 + o. Which is greater: 1 or n?
n
Let o = -21 + 24. Let v be o - (4 + -5 - 1). Suppose -3*r = -3, -3*r + 2*r = -v*y - 6. Which is bigger: y or -2/11?
-2/11
Let k be (83/(-77) + 1)*(-2 - 12). Suppose 3*x - 24 = 3*b, 0 = -2*b - 3*x + 6 - 2. Let m be (-4 - -5)*b/(-4). Is k < m?
False
Suppose 0 = 7*i - 32 + 18. Suppose 0 = -4*s + 4*b + 2 + 2, 0 = s - i*b - 3. Which is greater: -17/41 or s?
-17/41
Let n be 884/(-26)*(-27)/(-6) + -7. Which is smaller: n or -152?
n
Suppose -984*a = -986*a. Suppose a = -4*w - 17*i + 12*i - 12, 4*w = 5*i + 28. Let c = 3 + -2. Which is bigger: w or c?
w
Let r = -11.623 + 7.623. Which is bigger: -225/7 or r?
r
Let m be (((-15)/(-21))/1)/((-18)/(-126)). Suppose 0 = 2*b - 5*w + 6*w - 64, -w - 146 = -m*b. Is 31 < b?
False
Let r = 2.94 - 126.94. Let j = 131 + r. Let n = -1 - -0.8. Is j != n?
True
Let b = -474 - -1070. Let s = -44699/75 + b. Let v = s + 61/1050. Which is smaller: v or 1?
v
Let k be ((-2)/(-84))/(118/(-256280012)). Let f = k + 1085824/21. Let b = f + 26/59. Which is smaller: -4 or b?
b
Let o = 13 + -14. Let p = 166.897 + -167. Let g = p - -0.703. Which is smaller: o or g?
o
Let j(x) = 716*x**3 + 5*x**2 - 2*x - 1. Let r be j(1). Let i = -654 + r. Is 64 less than i?
False
Let o(j) = 8*j**2 + 691*j - 414. Let q be o(-87). Let y be (-2 - 5)/(-1) + 0. Are q and y unequal?
True
Let a = -74588306/1141 + 65371. Is a equal to 1?
False
Let h = 43/474 + 118651/948. Let z = h + -92183/736. Is 0 < z?
True
Let i(n) = 235*n + 113 - 35 - 465*n + 234*n. Let y be i(-20). Is -1 > y?
True
Let h be 287/(-273) + (-4)/(-78). Is h greater than or equal to -66/403?
False
Let z be (8 - 1)*33/77*(-96068)/21. Is z <= -13725?
False
Suppose 0*h = -5*h + o + 331, 3 = -3*o. Let t be 4/22*1 - 1068/h. Which is greater: -17 or t?
t
Let g(w) = 1093*w + 9694. Let x be g(-8). Is 951 bigger than x?
True
Let z be 2*(-27)/(-42)*(326800/(-24))/19. Which is smaller: -920 or z?
z
Let p be 0 - -4 - (2 + 624/28). Let i = p + 647/35. Which is bigger: i or -2?
i
Let k = -179 - -175. Let p = 63.9 + -60. Let g = p + -4. Which is smaller: k or g?
k
Suppose 10*v = 13*v. Suppose -11*i + 6*i + 110 = v. Is i > 106/5?
True
Suppose -423 = 34*n - 81*n. Suppose 21 = -15*o - n. Which is bigger: o or -3/5?
-3/5
Let g = -17839 + 17802. Which is smaller: 19 or g?
g
Let t = -1068 - -453. Let h be (32/(-20))/4*t/6. Let o = h - 42. Which is greater: o or -5/3?
o
Let q be 4/100*5 + 54/(-1770). Let a be (1/(-3))/(20/60). Is a less than q?
True
Let o be 3 - (-4)/((-8)/(-26)). Let t be (-8)/o*(-4)/6. Let b be ((-2)/(-12))/((209/429)/19). Which is smaller: t or b?
t
Suppose 637 = -9*v + 2*v. Let u = v - 11. Let h = u - -713/7. Which is greater: 0 or h?
0
Let q(a) = -6*a - 59. Let o be q(-16). Let h = -197 + 195. Which is smaller: h or o?
h
Let t(b) = b**2 + 3*b - 2. Let x be t(0). Let i be (32/12)/(x/(-3)). Suppose i*a = 5*a. Which is bigger: a or 1/6?
1/6
Let a = 476.205 - 0.205. Let i = -476.1 + a. Is i smaller than 77/2?
True
Let q = 249.984 - -0.016. Let v = -249.9 + q. Let z = 0.6 - 3.6. Is v equal to z?
False
Suppose 4 = 2*w - 2, -2*w + 6 = 2*p. Let o be p/(-3) - (7 - 60). Let m = -1114/21 + o. Is m equal to -0.2?
False
Let b = 1.0904 + -0.0904. Which is smaller: 12.65 or b?
b
Let h = 6.84 + -245.84. Let c = 237 + h. Is c less than -17?
False
Let n(k) be the third derivative of k**4/24 + 35*k**3/6 + 204*k**2 - k. Let f(z) = -2*z**2 + 2*z + 1. Let q be f(4). Let g be n(q). Is 2 bigger than g?
False
Let t be 6/(-36) + (-50)/(-12). Suppose -11*l + 8*l = -138. Let z = 48 - l. Which is bigger: t or z?
t
Let v = 76/55 - -20/11. Let y = v + -69/20. Let g = -19389 - -135719/7. Which is greater: g or y?
y
Let s(a) = 2*a**2 + 10*a - 26. Let d be s(-15). Let t = d - 422. Which is smaller: -149 or t?
-149
Let j = 4.895 + -4.695. Which is bigger: j or 1019?
1019
Let b be -699 - (0 + (2 - 2)). Let t = b - -30059/43. Suppose -1 = 38*u + 37. Which is bigger: t or u?
t
Let c = -4503 - -2590. Does c = -1914?
False
Let o(z) = -z**2 + 5*z + 10. Let g be (-10 - -17)*(-2)/(-2). Let r be o(g). Which is greater: -6 or r?
r
Suppose 6*n - 191 = 181. Suppose -114 = 4*x + n. Let t = -8 - 37. Which is bigger: x or t?
x
Suppose 0 = -5*o - 0*o + 840. Suppose 5*g - 671 = -3*r + 172, -4*g = -3*r - 669. Is g at least o?
True
Let h(v) = 3*v + 12 + 0*v - v + v**2 + 2*v. Let t be h(-9). Let i be -4 - t/12*2. Is 0 not equal to i?
True
Let c be 4 + 6*(-10)/15. Let i = 408564 + -9388541/23. Let t = -367 + i. Which is bigger: t or c?
c
Let a be -80*(4 - 33/15*2). Suppose 2*j - 8 = -4*r - 0*j, r = 2*j + 2. Let l be (r/5)/(3/240). Is l > a?
False
Let y be (2 + 22)/(12/162) + 8. Is 0 at least as big as y?
False
Let q be (-1)/(2 - 198/102). Suppose -27*v + 23*v = 40. Is q < v?
True
Let o = -82 + 81.996. Let m = o + -0.396. Let s = 7/17 - -169/85. Is m smaller than s?
True
Let t be (1140/(-24))/(-19)*162/33. Which is greater: t or 13?
13
Let y = -1279 + 1273. Which is greater: -348 or y?
y
Let n(r) = 5*r**3 - 22*r**2 - 19*r - 4. Let s(g) = -9*g**3 + 44*g**2 + 37*g + 7. Let m(j) = -5*n(j) - 3*s(j). Let f be m(11). Are f and -174 non-equal?
True
Suppose i + 5*z - 1109 = 0, -3*z + 2318 = 2*i + 121. Which is smaller: 1096 or i?
i
Let s(x) = -6*x**2 + 48*x + 2. Suppose 22 - 2 = 3*d + 4*l, 21 = 3*d + 3*l. Let c be s(d). Are c and 16 nonequal?
True
Let r be (-9 - -4) + (-36)/18 + 42793/6113. Does r = 0?
False
Suppose 4 = 4*r + 2*d, 15*r = 12*r - 2*d + 1. Suppose -3*a = -r*q - 291, -4*q + q = -6. Are 98 and a equal?
False
Let v = 240493/2171 - 1440/13. Let b = v - 13/57949. Which is greater: 1 or b?
1
Let a(s) = s**3 + 4*s**2 - 6*s - 2. Let r be a(-5). Suppose -52 = r*j + 47. Let w be (j/6)/((-5)/(-20)). Is -21 less than w?
False
Let h be (14/(-322))/(3/(-6)). Let p(i) = -i**3 - i**2 + i - 6. Let a be p(0). Is h greater than a?
True
Let h = -8 + 13. Let n = 27282 + -27290. Is h < n?
False
Let o = -55 + 76. Let q be 14*((-3 - o/(-4)) + -2). Let d be (-20 + 22)*3/2. Is q >= d?
True
Suppose -m + 3*i = 12253, 5*m = 10*m + 3*i + 61301. Which is smaller: m or -12258?
m
Let r = -5 + -17. Suppose 5*h = 5*z - 1185, 5*h - 2*z + 940 = h. Let q = -255 - h. Are r and q equal?
True
Let m be (-3)/((-6)/(-7))*48/(-28). Let t be (183/(-30) + m)*24/(-34). Which is bigger: 0 or t?
t
Let z be (1 - (-72)/(-84)) + 10862*4/(-304920). Is -1 less than z?
True
Suppose -5*j = -5*t + 30, -9*t - 48 = -14*t - 4*j. Suppose -4*s + 2*c + 728 = 0, 2*s = -12*c + t*c + 364. Which is smaller: -0.1 or s?
-0.1
Suppose 29*d = -3*d + 1280. Suppose -d*m + 54 = -34*m. Is m at least as big as 15?
False
Let c = -72366 + 376243/5. Which is bigger: 2884 or c?
2884
Let k = -341/8 + 65797/1544. Which is smaller: -1 or k?
-1
Let k(z) = 24*z + 1210. Let p be k(-51). Let c(q) = q**3 - 7*q**2 - 11*q + 12. Let b = 12 + -4. Let x be c(b). Which is bigger: p or x?
x
Let u = 0.35 - -13.65. Let n = u - 14. Is n less than 12/41?
True
Let l be (3 - 1)/1 + 1. Suppose -l*m = -0*m + 12, -3*u = -3*m - 57. Which is greater: u or 1/2?
u
Let j be (3816/(-27))/8*-3*(-1)/14. Which is bigger: 1 or j?
1
Let z be 1196/552 - (1 + 5/(-6)). Let c(x) = x**3 + x**2 - 12*x + 23. Let t be c(z). Let n be 9/2*(-7 - -9). Is n less than t?
True
Let j(n) = n**3 - 3*n**2 - 3*n. Let q be j(4). Let f(s) be the third derivative of s**6/120 + s**5/30 - s**4/8 - s**3/3 + 72*s**2. Let k be f(-3). Is k > q?
False
Let n = 5207/112 + -745/16. Which is bigger: -190/7 or n?
n
Suppose 0 = t - 4*t - 42. Let u(x) = -x**2 - 179*x - 535. Let p be u(-3). Which is bigger: t or p?
p
Let c(m) = m - 18. Let i be c(15). Let d(l) = -2 + 31*l - 12*l**2 + 10*l**2 - 37*l. Let s be d(i). Which is smaller: 22 or s?
s
Let n be -5*(-15)/(45/21). Which is greater: n or 23?
n
Let k be ((-12)/(-16))/((-2)/(-360)). Suppose 31*o + k = 22*o. Which is greater: o or -20?
o
Let c = -47973/443 + 5692931/92587. Let p = c + 516/11. Do -3 and p have the same value?
False
Suppose 2*i + 6 = 5*x - 17, -2*x = -4*i - 22. Suppose -f + k - 8 + 13 = 0, 2*k = x*f - 13. Is f greater than 34?
False
Let z = 1319 - 1369. Are z and -6 equal?
False
Let z be (8/(-12)*(-12)/8)/(-4 - -5). Let q = -2279 + 316779/139. Which is greater: z or q?
z
Suppose -94*f + 87*f + 301 = 0. Suppose -25*k = -f*k - 18. Is -1/77 smaller than k?
False
Let c = -31 