Let p be (-11 + (-24)/6)/(1/53). Is -796 smaller than p?
True
Let g = 355406770072381/73983 - 4803897791. Let z = 1/5691 - g. Which is greater: 2 or z?
z
Suppose -9 = 2*j - 5*h - 3, 4*j + h + 34 = 0. Let z(p) = p**3 + 9*p**2 + 9*p + 6. Let o be z(j). Let f be o/(-6)*165/40. Which is smaller: f or 2?
f
Let x(i) = -24*i + 26. Let o be x(1). Suppose -8*y - 5*c = -6*y - 28, 0 = -3*y - o*c + 31. Does 11 = y?
False
Suppose 5*o = -5 - 5. Let q = -1352 - -1356. Let b be q/22 - (70/22 + o). Are b and -30/13 nonequal?
True
Let r = 1144 - 2297/2. Let x = -0.11 - 0.29. Which is bigger: x or r?
x
Let a be 10/(-6)*(-4 + (5 - 4)). Suppose -q = 3*b + 2*b - 11, 0 = -b + 1. Suppose 2*s + 6 = 3*h + 2*h, -q = s - 4*h. Which is bigger: a or s?
a
Let c = 10126 - 10125. Which is greater: c or 27110?
27110
Let w be (-91)/(-1456) - 74/160. Is w greater than 6597?
False
Let s be (-24080)/90 - 8/18. Let b be (9/s)/(-1*(-33)/88). Is 1 > b?
True
Let x = 7749 - 7691. Let a = 5 + -4. Which is bigger: a or x?
x
Let n(b) be the first derivative of b**2 - 9*b + 7. Let k be n(5). Let a be (-4)/(-10) + (-282)/680. Which is smaller: a or k?
a
Let m be (-15)/(-18) + (-1)/6. Let v be (315/100 + -3)*5 - 16/(-64). Which is bigger: v or m?
v
Let q(f) = 7*f**3 + 2*f**2 + 4*f - 5. Let v be q(2). Which is smaller: 48 or v?
48
Let u = -89.89 + 90. Let a = -63.2 - -41.09. Let p = u + a. Which is bigger: 1/4 or p?
1/4
Let u = 8565 + -7203. Is 1 at most as big as u?
True
Let g = -416 + 654. Suppose 234*i = g*i + 16. Which is bigger: i or -2?
-2
Let q = -101.3 - -419.3. Which is smaller: 4 or q?
4
Let n(h) = 9*h - 102. Let i be n(12). Let p be i/(-2) - 7410/(-152). Which is smaller: 45 or p?
45
Let j = -524591890 + 338361913282/645. Let h = j + -1118/5. Let r be ((-11)/3 + 4)/((-6)/18). Is h < r?
False
Let r = -42 + 207. Let f be (r/(-6))/11*20/(-1). Which is bigger: 52 or f?
52
Let c(h) = -9*h**2 + 5*h**2 - 8*h - h**3 - h - 1. Let m be c(6). Let r = m + 12037/29. Is r at most as big as 0?
False
Suppose -4*k - 42*b + 39*b + 2 = 0, -4*k - 6 = -b. Which is smaller: k or -10/449?
k
Let c(w) = -9*w - 169. Let x be c(14). Let p be (x + -2)*7/(-21). Is 197/2 at most as big as p?
True
Let v be (4 + (-87)/9)*12. Let f be (44/16)/(3 - v/(-20)). Is f less than or equal to -6?
True
Suppose -8*v = 7*v - 90. Suppose 0 = v*k + 8*k. Which is smaller: -2/113 or k?
-2/113
Let k = -1267/1410 + 122/141. Which is bigger: k or -1.77?
k
Let s = -787141/9 - -87363. Which is smaller: -97 or s?
s
Let y = 8069/2 + -411467/102. Which is greater: 1 or y?
1
Let s(q) = -380*q + 5845. Let x be s(15). Which is bigger: x or 3/53?
x
Let x = 134.6 + 9.4. Let m = -6925 - -6926. Which is smaller: x or m?
m
Let y = -118.5 + -1.5. Let l = y - -79. Is 0.2 >= l?
True
Let s = -2455/4 + 614. Which is bigger: -4/93 or s?
s
Suppose 12*u = 7*u + 595. Suppose -4*t + u - 103 = 0. Is t less than 57?
True
Suppose w = -w + 2. Let y = -527 - -419. Let x be (y/21)/6 + (-912)/(-1092). Which is greater: w or x?
w
Let i = -341 + 344. Suppose 14*p + 2*n + 15 = 9*p, -i*n = 0. Are -1 and p nonequal?
True
Let a = 92.44 - 89.96. Are a and 2/69 non-equal?
True
Let o be 12/5*30/(-714). Let d be (2/(0 + 2) + -1)*(206 + -205). Is d less than or equal to o?
False
Let l(w) = -w**3 + 2*w**2 + 2*w + 7. Let k be l(5). Let c be (44 - 41)*k/3. Which is bigger: c or -55?
-55
Let o = -332 - -264. Let f = 68.1 + o. Which is smaller: -2/491 or f?
-2/491
Let z = -0.01038 + -1.78962. Which is smaller: z or -16?
-16
Suppose -3663 = -3*f - 1688 + 2255. Is 1410 greater than f?
False
Let f(y) = y**2 - 5. Let v(n) = n + 1. Let x(m) = -f(m) + 2*v(m). Suppose -o + 25 = 5*p, -2*p - 11 = 4*o - 39. Let u be x(o). Is u != -1?
True
Let c be 5*1*(-9)/18576*-16. Let x be ((-7)/(-28))/((-3)/(-12) + 0). Is c greater than x?
False
Suppose -1446*z + 1474*z = 0. Which is smaller: 2/11145 or z?
z
Let n(z) = z**2 + 12*z - 14. Let s be n(-13). Let v be 10/(-20460)*(3 - s). Which is smaller: v or 0?
v
Let o = 1.09 + -1. Let s = -604.7 - -605. Which is bigger: o or s?
s
Let q = 9289 + -10187. Is q less than or equal to -898?
True
Let l(o) = -o**2 + 31*o - 32. Let p be (295/118)/((-2)/(-8)). Let a be l(p). Do a and 178 have the same value?
True
Let n = -3.5 + -0.5. Let t = n + 5. Let b = 16.7386 - 0.7386. Which is bigger: b or t?
b
Let q = -26.09 + 0.09. Let b = 42 + q. Let f = 17 - b. Which is smaller: f or -12/11?
-12/11
Suppose -d - 5*s = -22, -3*d - 14*s = -12*s + 12. Which is greater: -534/59 or d?
d
Let i(y) = -116*y + 2346. Let o be i(17). Is 376 < o?
False
Let f = -5058 + 5059. Which is smaller: 1.138 or f?
f
Let j(q) = -72*q - 9067. Let w be j(-126). Is w at most as big as 312/73?
False
Let c = 1.90975 - -0.09025. Which is smaller: c or -1995?
-1995
Let q be 20611/25191*11 + -260 + 251. Which is smaller: 1 or q?
q
Suppose -2*b = -i + 8, -4134 + 4109 = -5*b - 5*i. Let t be 5/22*4/45. Which is greater: b or t?
t
Let k(o) = o**3 + o**2 - 4*o - 3. Let n be k(-3). Let s be 558/n - (-1 - 2). Suppose 0 = -10*j + 19*j + 522. Which is bigger: j or s?
j
Let f = -61 - -81. Suppose m + 0*m - 4*q = f, -5*q = 5*m + 25. Let c = 4 - 6. Is m at least as big as c?
True
Suppose 5*t + 2*y - 3 = -4, 0 = -2*t - 2*y + 2. Let w = -326/83 + 81494/20833. Which is smaller: w or t?
t
Suppose -2*q - 25 = -40 + 29. Which is smaller: q or -24?
-24
Suppose 16*m = 2*a - m - 25386, -25386 = -2*a + 3*m. Is 12693 greater than or equal to a?
True
Let s be 9/3 + 512/(-112). Let c = s + 129/91. Let y = -1 + 0. Which is greater: c or y?
c
Let u = 1341 + 69. Is 1409 at least u?
False
Let t = -1 - -3. Let y be (-84)/51 - t*-1. Suppose 5*u + 1645 = 1615, 0 = 2*k - 2*u - 12. Which is bigger: k or y?
y
Let a(r) = -2*r**2 - 84*r - 82. Let s be a(-41). Which is smaller: 2/3887 or s?
s
Let d be (-2 - -7)*297/55. Suppose 5*j - 5*i + 24 = 2*j, -4*i = -3*j - d. Let y(f) = -2*f**2 + 4. Let u be y(-3). Is u <= j?
True
Suppose -55*b + 57*b = -2*h + 782, 2*h = -10*b + 4014. Let u be 1217/3 - 2/3. Is u > b?
True
Let u be (3 - -6) + -4 - -25*9. Let b = u - 5067/22. Which is bigger: b or 0.2?
0.2
Let o = -1732.1 - -1863.1. Is -2 != o?
True
Let h = -1.81 + -134.19. Let r = -126 - h. Which is smaller: r or -3?
-3
Suppose -3*p - 39*x = -44*x - 25, 0 = -p + 5*x + 5. Let i be 6*(-1)/p + 1018/5. Which is smaller: 201 or i?
201
Let k(t) = t**2 + 13*t - 28. Let x be k(-15). Let v be (-10)/6 + x/3. Is v at most as big as -2/481?
True
Let h be 18/15 + 2/(-5) - (-9172150)/(-29250). Which is smaller: h or -313?
-313
Let g(d) = -d**2 + 33*d + 163. Let t = 613 - 621. Let r be g(t). Which is smaller: -661/4 or r?
-661/4
Let n = -5 - -2. Let v = 196 + -231. Let f be (-180)/56 - (-10)/v. Which is bigger: n or f?
n
Let u be (2795/(-78))/(-43) - 1/(-6). Which is bigger: 9/364 or u?
u
Let w = -692 + 334.1. Let f = -358 - w. Let k = 1188 + -10714/9. Is f less than or equal to k?
False
Let j = -5127 - -5129.4. Is -0.4 <= j?
True
Let s(d) = 794*d - 75. Let j be s(-1). Which is smaller: 5 or j?
j
Let b = 37158.057 + -37158. Which is smaller: 242 or b?
b
Let i = -1209115/21112 + 513/377. Let j = i + 56. Which is bigger: j or 1?
1
Let b = -17389 - -16539. Is -859 bigger than b?
False
Let k = 30588 + -30647.983. Let a = -0.017 + k. Let h = 59.9 + a. Which is smaller: h or 23?
h
Suppose 0 = -3*g + 3*o + 13 - 4, -g + 2*o + 7 = 0. Let v(w) = 49*w - 11. Let d be v(g). Is d at most -61?
False
Let u be (17/5 - 1) + (50 - 51). Suppose -g + 2*k = 4*g - 7, 2*g + 1 = -3*k. Is u != g?
True
Let i(o) = 428*o + 5483. Let a be i(-14). Which is smaller: -515 or a?
-515
Let s be 21282/(-30) - ((-20)/30 - (-4)/15). Which is smaller: 0 or s?
s
Let i be 7 + 322 - 3/(-3). Suppose 4*u - i = v + 198, -8 = -2*v. Is 132 less than u?
True
Let h be (-1)/(-2) - 10/(-4). Suppose 0 = -5*r - 2*g - 13, -h*r = 2*g + 7 - 0. Are -28/15 and r unequal?
True
Let r(k) be the second derivative of -22*k + 0 + 1/20*k**5 - 7/2*k**3 - 7/4*k**4 - 11*k**2. Let f be r(22). Is -1/18 at least as big as f?
False
Let v be (-3 + 1 + 10)/(42/(-8085)). Let a be 1 - -1 - (7 - v/(-306)). Which is greater: a or 1?
1
Let n be 24/9492*1589 + -4. Is -0.03 at most as big as n?
True
Let a be 2/37 - (-100715328)/8288. Do a and 12152 have the same value?
True
Let z = 2608 - 808. Which is smaller: 1/3 or z?
1/3
Let h = 47889 -