east p?
True
Let v = -277744/11 + 25414. Which is greater: v or 164?
v
Let h(c) = c**2 + 8*c + 10. Let i be h(-2). Let j be (-72)/(-12)*i/4. Let y = j - -4. Which is smaller: 2/21 or y?
2/21
Let z(y) = -2*y**2 + 34*y + 46. Suppose 303*w - 307*w = -72. Let l be z(w). Is l not equal to 82/9?
True
Let n(q) = -1157*q + 1179. Let w be n(1). Is -232 bigger than w?
False
Let u = -5290.5 + 5259.847. Let b = u + 30.5. Let r = -0.047 + b. Which is bigger: r or -28?
r
Let b = 1 + -1. Let j(c) = 10*c + 124. Let k be j(0). Let m = 125 - k. Which is smaller: m or b?
b
Let r(g) = 464*g**3 - 4*g**2 + 4*g - 1. Let m be r(1). Which is greater: m or 460?
m
Let w be -1 - 16/(-12) - 709358/1587138. Let g = w + 2/4991. Is 0 greater than g?
True
Suppose 4*q = q + 12. Suppose -i - 25 = -q*f + 4, 0 = -2*f - 5*i - 13. Let d = -120/131 - -4792/655. Which is bigger: f or d?
d
Let b = 93984 + -15131356/161. Which is greater: b or -1?
b
Let o = -2 + 2. Let q be 255/6545 + (0/(-4))/3. Is q less than o?
False
Let w be ((-2)/5*-10 - -2) + 3312/(-561). Which is bigger: w or 0?
w
Suppose 162*t = -1489 + 31. Is t less than or equal to 46?
True
Suppose -15*t + 13*t + 184 = 0. Let h be -750*(4/(-6) + t/30). Let c = -9037/5 - h. Which is bigger: -8 or c?
c
Let r = -176 + 72. Let m = -199/2 - r. Which is smaller: 4 or m?
4
Let w = -40.9 + 41. Let i = 1636 + -1627.89. Let c = i + -0.11. Which is greater: c or w?
c
Let c be 3 + (-14948)/2496 - (43 - 46). Are c and 0 equal?
False
Suppose 0 = 2*p - 5 + 9. Let z be (-20)/(-65)*5/p. Let d = 274/117 - z. Is 4 greater than d?
True
Let f = 316 + -318. Suppose 42 + 31 = 4*d + 5*m, -5*d = 4*m - 80. Which is smaller: d or f?
f
Let u = -412 + 417. Let g be 175/(-21)*(u - 231/45). Let k be 3/(-3) - -1*1. Is g less than k?
False
Let o be (-32898)/(-20) + 53/530. Does 1645 = o?
True
Let g = -238 + 163. Let o(b) = -2*b**2 + 18*b - 103. Let v be o(7). Are v and g unequal?
False
Let a = 6/2803 - -8271/64469. Which is greater: a or -12?
a
Suppose 344 = -7*v + 3*v. Let g = v - -8. Let m be (-15)/580*g + -2. Is m < -0.1?
False
Let w(x) be the third derivative of x**6/120 + 11*x**5/30 - 11*x**4/6 + 49*x**3/3 - 112*x**2 + 2. Let u be w(-24). Let p = -0.4 - -2.4. Is p less than u?
False
Let m = 9497 - 9642. Which is smaller: -2462/17 or m?
m
Let c = -192 - -108. Let x = -86.72 - c. Let k = x + 0.72. Which is smaller: k or 24?
k
Let q = -5376 - -5241599/975. Is q bigger than -1?
True
Let y = 21534 + -21519. Let q be 27/(-15) + 1/(-5). Let l be (-2)/((-28)/(-15) + q). Is y at least l?
True
Let b(a) = -7*a + 3. Let i(y) = 1. Let j(g) = -g**2 - 6*g + 6. Let s be j(-6). Let n(v) = s*i(v) + b(v). Let c be n(4). Is -17 smaller than c?
False
Let v(z) = z**3 + 12*z**2 + 10*z - 7. Let q be v(-11). Suppose 4*m = -4*h + h - 154, -h + 82 = -2*m. Let i be (4/m)/(1/(-46)). Which is bigger: q or i?
i
Let n = -173.896 - -2.196. Let b = 172 + n. Is b less than or equal to -14?
False
Let u = -29880 - -181475/6. Is u smaller than 365?
False
Let o = 4997.4 - -117.6. Is -2/3 not equal to o?
True
Suppose -3*u - 3792 = -3*b, -b + 3*u + 368 + 892 = 0. Which is bigger: b or 1267?
1267
Let d be (-1)/589*1/(-2). Suppose -2507*c = -1925*c. Is c less than d?
True
Let m(w) = w**2 + 19*w - 9380. Let k be m(-107). Which is greater: k or -0.23?
k
Let i = 0.009 - -30.991. Let a = 30.25 - i. Let r = a + -0.35. Is r less than 1?
True
Suppose -6*c + 4*s = -218, 2*c - 6*s + 10*s = 46. Let p(l) = l**3 + 5*l**2 - 4*l + 3. Let b be p(-6). Let a = 23 - b. Is a not equal to c?
True
Let a be (652/(-14344))/(10/(-8)). Is -269 at most a?
True
Let n = -413 - -410. Let l(y) = 2*y - 1 + y**2 + 4*y - y + 2. Let z be l(n). Which is smaller: -4 or z?
z
Let q = 1/6 - 1/24. Let w be 6 - (16 + -4 - 5). Which is smaller: w or q?
w
Let t be (-8)/(-9) - (-8648)/72. Which is smaller: t or 856/7?
t
Let m be (828 + 35)/(-4 - 12/(-4)). Which is greater: m or -1?
-1
Suppose n = 3*d + 36, d = -5*n + 43 + 89. Suppose -n*p + 31*p + 8 = 0. Let m be -2 - p - (9 - 20). Is m equal to 9?
False
Let x be 110/11 + (-55)/6. Suppose 3*u + 10 = -2*u, 10 = -2*z - 4*u. Let k(b) = -b - 1. Let y be k(z). Is x greater than y?
True
Let m be ((-348)/(-18))/(56/(-6) + 10). Which is bigger: m or 628/21?
628/21
Let k be 153240/(-10948) - (7 + -21). Which is greater: -1 or k?
k
Suppose 9*b - 46 = -182 - 287. Suppose 0 = 2*d + s - 163, 3*s + 517 - 137 = 5*d. Suppose n + 5*o = -n - d, 5*n - 3*o = -244. Is b at most n?
True
Let m be (24/(-9) + 2)/(13/(-399)). Which is smaller: 20 or m?
20
Suppose 151*s + 6 = -148*s + 301*s. Let o(c) = 2*c**2 + 3*c - 4. Let z be o(-3). Suppose 0 = -z*h - s*m - 179, -2*m + 117 = -3*h - 7*m. Is -35 less than h?
True
Suppose -3*o - s + 5*s = 392, -5*s = 20. Let p = 1222/9 + o. Let r be (-9)/(-6)*(-5 + 29/3). Is p bigger than r?
False
Let h(b) = -2*b**3 + 67*b**2 - 19*b - 458. Let z be h(33). Is z greater than or equal to 354?
False
Let o = -4664 - -5086. Are 428 and o equal?
False
Let y(k) = 4*k**2 - 8*k - 1. Let t(p) = -3*p**2 + 9*p + 2. Let v(l) = 3*t(l) + 4*y(l). Let f be v(-1). Is 12 at most as big as f?
True
Let l be -1597 + 88*(-10)/80. Are -0.3 and l equal?
False
Let m = -0.31 + -16.09. Let b = -17 - m. Let d = 2.1 + b. Is -0.1 not equal to d?
True
Suppose -909160 = -82*a + 218*a. Is a at least -6685?
True
Let v(c) = -486*c + 17979. Let r be v(37). Let o = 24 - 16. Suppose -4*h = 2*b, 0*b - 2*b + o = -4*h. Do h and r have the same value?
False
Let z = -1691.1 - -1745. Is -9 less than or equal to z?
True
Let j(z) = -z**2 - 9*z - 15. Let s be j(-9). Let d be (-1)/(s/1325) + -3. Let m = 85 - d. Which is smaller: m or -1?
-1
Let c(x) = -x**3 + 16*x**2 + 18*x - 12. Let p be c(17). Suppose -p*t = -0*t - 230. Let k = 46 - t. Is -6/25 greater than k?
False
Let l = -22 - -37. Let f = l - 175. Let n be f/(-15) - 4/6. Which is greater: 9 or n?
n
Let w = -39 + 21. Let s be 7*1 + (w/(-10))/3. Let q = s + -236/35. Is 1 at least q?
True
Let x = -38.67 - -45.27. Is 8 at most x?
False
Let u = 95.9 + -97.6. Let c = 1.3 - 1. Let i = u - c. Is 2.3 not equal to i?
True
Suppose 4*u + 48 = 4*x, -4*u - 2*x = u + 74. Let n(y) = -2*y**2 - 27*y - 57. Let b be n(u). Is -70 equal to b?
False
Let o = 2580.66 - 2578. Let r = 15 - 14.66. Let c = r + o. Which is smaller: -0.13 or c?
-0.13
Suppose 18*j - 1829 = -3*j - 38*j. Is 121/4 less than j?
True
Suppose -4*o - 4*v - 712 = -6*v, -3*v = 4*o + 692. Let u = o - -168. Is u smaller than -8?
False
Let k = -6150 - -3835. Let l = k + 7031/3. Which is bigger: 0 or l?
l
Let j be -2 - ((-19302)/9)/(10/(-270)*9). Which is greater: j or -6437?
j
Let g be 120/(-1305)*((-111)/(-108) + -1). Which is smaller: g or -0.04?
-0.04
Let w(l) = -l**2 + l + 24. Let i be w(-4). Suppose 3*x = -g + 86, 4*g + 0*g + i*x = 312. Is g <= 74?
True
Let g(s) = -5*s**2 - 29*s - 17. Let c be g(-5). Suppose 2*t = -4*l - 18, -4*l - 20 = c*t - 1. Do t and -2/7 have the same value?
False
Let i = -104203/200 - -521. Let b = -53/200 - i. Which is smaller: b or -721?
-721
Let k = 1223652.9331 + -1223589. Let q = k - -0.0669. Which is smaller: q or 2/11?
2/11
Let m = 37003 - 4181289/113. Which is smaller: -1 or m?
-1
Let s be (-9975)/(-380)*(-1)/(-3). Which is greater: s or 39?
39
Let w(k) = -80*k**2 + 481*k - 7. Let d be w(6). Is -1/3669 > d?
True
Suppose 3*s - 4*p + 23 = -0*s, -4*p = -5*s - 33. Let l be (-10)/3*4590/75. Let g = 201 + l. Is g bigger than s?
True
Suppose 2*m = -85*r + 83*r + 5902, 0 = 3*r - 4*m - 8874. Is 2956 >= r?
True
Let q(z) = -2*z - 15*z + 6*z + 1 - z**3 + 8*z + 2*z**2 + 6*z. Let d be q(3). Which is smaller: d or -1/319?
-1/319
Suppose -7 = f + g, -g - 5 = 590*f - 587*f. Let r be (1 - 0)/((-4298)/4). Is f <= r?
False
Let x = 5.64 + -6. Let d = -0.64 + x. Let z = 1.1 + d. Is z < -8?
False
Let o = -0.3 - -1.7. Let c = -2.4 + o. Let a = 17827/8 + -2231. Which is smaller: a or c?
a
Suppose 4*f + 5*h = 20, 0 = f + 4*f - h + 4. Let s = 7 + -46/7. Let a = s - 9/70. Which is greater: f or a?
a
Let p be 2/(-3) - (-268)/6. Let g = p + -78. Let b = -231.9 - -232. Is g smaller than b?
True
Let r(a) = 10*a + 4. Let i(d) = -d - 1. Let x(w) = -3*i(w) - r(w). Let t be x(1). Let j be ((-45)/6)/((-99)/(-132)). Which is greater: j or t?
t
Let f be 4872/348 + 6940/(-494). Is 0 not equal to f?
True
Suppose 0 = 3*h + 12, -8*k = -