True
Let x be (-70448)/44030 + 1 + (-556)/(-10). Let l be 5*1/(10/116). Which is smaller: x or l?
x
Let s = -64093535167/39060 + 57435972/35. Let a = s + -513/4. Which is smaller: 1 or a?
a
Let q = 52 + -28. Suppose 323 = -q*i + 43*i. Is i < 16?
False
Let p = -375.8 + 262.8. Which is greater: 3 or p?
3
Let i(y) = -29*y**2 + y. Let n be i(2). Let b be ((-24)/60)/(30/6675). Let l = b - n. Is 25 >= l?
True
Let y = 36.68 - 36. Let u = 0.68 - y. Let l = -10.9 + -1.1. Are l and u equal?
False
Let u be (-19 + 18)/((-42)/(-890)). Let c = u - -61/3. Do -0.2 and c have the same value?
False
Let g(r) = r**3 + 24*r**2 - 24*r - 86. Let c(x) = x**2 + 53*x + 171. Let q be c(-49). Let p be g(q). Is p greater than -112?
True
Let u(d) = 1 - 6 + 11*d - 9*d**2 - 3 + 10*d**2. Let q be u(-12). Let w be 1*-1 - (7 + -7)/q. Are w and 5/18 nonequal?
True
Let b(s) = 60*s**2 + 19*s - 6. Let t be b(-4). Are t and 880 non-equal?
True
Let n = -14122 - -14079. Suppose r - 210 = 6*r. Which is bigger: r or n?
r
Suppose -2*l + 4*z = 0, 5*z = -3*l - 13 - 31. Suppose 3*v - 15 = 2*x - 0*x, -5*v + x = -25. Suppose -v*a + 3*a - 18 = 0. Is l <= a?
False
Let w(y) = y**3 + 11*y**2 + 30*y + 52. Let z be w(-7). Suppose -v - 3*u + 48 = 0, -2*v = -v - 2*u - 68. Let a = z - v. Is a bigger than -21?
False
Let m be 0/(13 + -5) + -1111*(-13)/(-2). Which is bigger: -7221 or m?
-7221
Suppose -h = -28*q + 29*q - 95, q + 5*h = 107. Which is greater: q or 74?
q
Let x(v) = -26*v - 13. Let u be x(-9). Suppose 0 = 3*m + 10*m + u. Let p be -18 - (0 + (1 - 1)). Which is greater: p or m?
m
Suppose 56*s - 199 + 1309 = 130*s. Let n be ((-38)/(-36))/((-1)/(-15)). Does s = n?
False
Let v be (3/(-5))/((30/9)/2). Let m = v + 4911/100. Which is greater: 49 or m?
49
Let n(b) = -b**3 - 11*b**2 - 9*b - 248. Let r be n(-12). Is -26 < r?
True
Suppose 5*o + 4*x = 105, -3*o - 2*x + 5*x = -63. Suppose -467*d + 480*d = 117. Suppose 18*n - o*n = -d. Is 10 less than or equal to n?
False
Let w(b) = b + 15. Let t be w(-12). Suppose -2*k = g + k - t, 0 = g - 3*k + 21. Let f be (6 + g)*(-1)/(-3). Which is greater: f or -3/10?
-3/10
Let a = -1635493/403777 - -490/121. Is -1 < a?
True
Let q = 1.484 + -0.024. Let r = -2.66 + q. Let s = 0.7 + -0.7. Which is bigger: s or r?
s
Let l be ((-140)/(-98))/(((-2)/(-14))/1). Suppose 0 = -3*n - 5*o - l, 9 = -2*n - o - 0. Which is smaller: n or -31/8?
n
Let d(x) = -x**3 - 49*x**2 - 54*x - 125. Let f be d(-47). Is -2005 smaller than f?
False
Let p be -2*25/20*(-188162)/65. Is p greater than 7237?
False
Let g(w) = -3*w**2 - 6*w + 1. Let b be g(-5). Suppose 0 = 12*i - 131 - 157. Suppose 5*v + 225 = -2*d, -2*d + 138 + i = -4*v. Which is smaller: b or v?
b
Let z be ((-15)/(735/1162))/((-1)/(-7)). Is z >= -173?
True
Suppose -7*d + 9 = -10*d. Let m be (3/(-7))/(d/(-2)). Let n = 1.2 - -2.8. Which is bigger: m or n?
n
Let b be 4/(-20) + (-2)/(-10). Let g = 1684/5 - 1594743/4735. Are g and b nonequal?
True
Let b = -274.1 + 274. Let g = 0.7 - -0.7. Is g greater than b?
True
Let v be (12/5)/(-2)*(-25)/5. Let l be 12/9*(-3 + v). Suppose 2*w = -2*s + 5*s - 14, 4*w - l*s = -20. Which is bigger: w or 3/8?
3/8
Let s be 0*(6/9 - (-10)/(-6)). Let w(m) = m**2 + 3*m + 1. Let u be w(s). Which is smaller: -1/127 or u?
-1/127
Let c be 14 - ((-504725)/(-39))/(-5). Which is bigger: c or 2602?
c
Let q = -27276.00802 - -27276. Which is bigger: q or 2?
2
Suppose -5*y - 450 = -2*v, 2*v = 37 - 27. Is y <= -85?
True
Suppose 2*f - 32*n + 30*n + 2 = 0, 0 = -n + 2. Is f < -7/170?
False
Let w = -435.3901 - -435.1. Let i = 0.0099 - w. Which is smaller: -3/70 or i?
-3/70
Let c = -29.754 - -4.754. Is -16 bigger than c?
True
Let f be (-2 - 0) + -13*(-26)/169. Let o be (-252)/(-88)*(-2)/(-6). Do o and f have different values?
True
Let f be 0 - (3 - (-32902)/(-200)). Let b be ((-6)/(-4))/(-1)*(-1941)/(-18). Let h = b + f. Is h bigger than 1?
False
Let d be (-3007)/279 + (-4)/18. Let z be 396/165*(-10)/4. Is d < z?
True
Suppose -4*d - 9 = -j - 0, -2*d + 13 = 3*j. Let z = 33808549/21 + -1609583. Let b = 348 - z. Which is greater: d or b?
b
Let f(i) = -245*i - 3699. Let g be f(-9). Is 1/2 smaller than g?
False
Let f be 126 + -117 + 21/(-8). Is f less than 6?
False
Let m = -12 - -22. Let v be 96/40 + (-4)/m. Suppose -4 = -5*r + 3*p + 1, -v*r = -2*p + 2. Which is bigger: 0.2 or r?
r
Let p = 9/496 - -2769/11408. Is -0.075 at most as big as p?
True
Let h = 7.894 - 7.194. Is -104 at most as big as h?
True
Let g = -8513873/904 - -9418. Which is smaller: g or -1?
-1
Suppose 4*h - 2*h = -5*s - 38, -4*s - 34 = -2*h. Let g be 4/8*1/s. Suppose 0 = z + 13 - 13. Is z smaller than g?
False
Let v = 5591/13062 - -1/1866. Does v = -1.62?
False
Let c = -5169/646 + 9/34. Do c and -9 have different values?
True
Let y(j) = 11*j - 59. Let h be y(6). Suppose 5*s = 25, l = -h*s + 5*s + 34. Are l and 24 nonequal?
False
Let g be (-88)/(-99)*(-10)/(-4). Let c = 3.7 - 3.3. Let k = c - -0.6. Which is smaller: k or g?
k
Let d = -31 - -27. Let o be 3 + ((-215)/45 - d). Let k = -5/3 + o. Which is greater: k or 2?
2
Let x = -47145 + 66507. Let y be -7*(-5 - (-96798)/x). Which is greater: 1 or y?
1
Let t = -31814 - -32158. Are t and 3800/11 nonequal?
True
Let m = 16/1477 + -14533/1205232. Which is smaller: 1 or m?
m
Let s(f) = -3*f**3 - 10*f**2 - 24*f - 23. Let x(u) = -u**3 - 3*u**2 - 8*u - 8. Let q(t) = -6*s(t) + 17*x(t). Let z be q(-8). Is z less than 2?
False
Let f(m) = -10*m**3 - 8*m**2 - 31*m + 84. Let v be f(2). Which is greater: -61 or v?
-61
Suppose -2*p + 11 = 3*q, 331*q + p - 10 = 334*q. Which is greater: q or 4/485?
4/485
Suppose -3*i - 5*y - 18 = 0, 2*i + 70*y + 11 = 67*y. Is i <= 0.7?
True
Suppose -3*a = 27, -2*n - 2*a = -506 + 34. Is n less than or equal to 258?
True
Let v = -1 + 0. Let l be (-8)/(-40) + (22/(-10) - v). Let r = -3211/23386 + 1/1063. Which is bigger: r or l?
r
Let x(f) = -46*f + 930. Let t be x(21). Let j = -5 + 10. Suppose -i + 148 = -j*i. Do i and t have the same value?
False
Let k(w) = -w**2 - 39*w + 144. Let p be k(-42). Is p at least as big as 37?
False
Let n be (-2)/11 + (-6)/(-33). Let f = -16338/1517 - -446/41. Does f = n?
False
Let r be ((-160)/(-8400))/((-6)/(-14)). Suppose i + 3 = -4*i - 3*p, 3*p + 3 = 2*i. Are i and r non-equal?
True
Let r = -1/4139 + -802953/53807. Is -14 less than r?
False
Suppose 8*r = 3*r + 5, 2*n = -2*r - 52. Let b = -3155743/117972 + -2/29493. Which is greater: b or n?
b
Let d = 18/9791 - -108493261/440595. Let o = -170701/5 + 34388. Let w = d - o. Which is smaller: w or -2?
-2
Let m(z) be the first derivative of z**4/2 + 9*z**2/2 - z + 173. Let p be m(-3). Is -80 <= p?
False
Let q be (-7)/((-7686)/(-7684)) - (-42)/6. Is 0 less than q?
True
Let p(y) = 3*y + 54. Let z be p(-6). Suppose -14*s + z = -12*s. Which is greater: 19 or s?
19
Let d = -14212 - -14283. Let p(g) = -g**3 + 9*g**2 - 2*g - 2. Let k be p(4). Do d and k have different values?
True
Let y(l) = l + 14. Let t be y(-12). Suppose 13 = 5*r + w - 4*w, -2*r = -3*w + t. Let s be -3 - -1 - r/(-9 - -4). Is 8/19 < s?
False
Suppose -2*j + 4182 + 878 = 2*h, -5*j - h = -12658. Let y be (4 - 0) + j/(-630). Which is smaller: 0 or y?
y
Let n = 1.46 - 1.21. Let z = -9.4 - 2.6. Let o = z - -11.9. Is o greater than n?
False
Let r be (-144)/(-120) - 32/10. Let d be (r - 14)*(-66)/(-24). Which is bigger: d or -47?
d
Suppose -8*y = -7*y - 188. Let p = 177 - y. Which is smaller: -12 or p?
-12
Suppose 424*o - 311*o + 10396 = 0. Is o equal to -7?
False
Suppose -3*n + 72 = 93. Let w = 12 - 12. Suppose -5*b - 9 - 31 = w. Which is greater: b or n?
n
Suppose 5*v + 440 = -m, 3*m = -5*v - 307 - 973. Let g = m + 422. Is 5/18 at most as big as g?
True
Let w = 5876 - 5848. Let m be 35/10 + 9/(-6). Suppose -3*t + 2*b + 63 + 34 = 0, 2*t - m*b - 68 = 0. Which is smaller: t or w?
w
Let h = 220 - 456. Let u be 2 - (232 - (-1 - 4)). Which is smaller: h or u?
h
Suppose 3*o - 7592 = 16*u - 12*u, -5*u - 9513 = 2*o. Are u and -1902 equal?
False
Let x = -1600836635/2394 + 668687. Let a = -1/171 - x. Suppose 4*d = 5*d - 142*d + 141. Which is smaller: a or d?
a
Let u be 161/23*((-2)/38)/((-5)/15). Is 8 smaller than u?
False
Let o = -15942 + 15940. Is o <= 0.01138?
True
Let g be 93/(-4) + (-6)/8. Let n be (4/6)/(g/(-324)). Let i = 22 + -25. Which is bigger: n or i?
n
Let s = -0.117 -