or -1/4275?
n
Let m(p) = -p**3 - 26*p**2 - 113*p + 17. Let q be m(-13). Which is greater: q or -712?
q
Let a = -19913 - -19912.89. Let y = -1 + -0.3. Let g = -0.3 - y. Is a greater than g?
False
Let h = -2143/18 - -1703/18. Let f(y) = -23*y**3 - 2*y**2 + 4*y - 2. Let b be f(1). Which is smaller: b or h?
h
Let n be ((-2)/20)/(195/816530) + 3/9. Which is bigger: -417 or n?
-417
Suppose -27*y + 55*y = 1652. Is y bigger than 527/9?
True
Suppose 10 = -c + 4. Let u be 2 + -3 - (c + 3). Suppose m + u*m = 2*s - 82, 0 = 3*s + 3*m - 123. Which is smaller: s or 42?
s
Let g = -0.531 - -2.531. Let u = 14 + -14.23. Is g != u?
True
Suppose -1200 = -87*f + 487*f. Which is smaller: f or 632?
f
Let f be 9 + -272*22/(-4). Is 1503 bigger than f?
False
Let d = 781 - 759. Suppose 299 = d*k + k. Which is greater: k or 58/5?
k
Suppose -p - 8109 = -5*w + 14806, 0 = -w - p + 4589. Which is smaller: 2/5 or w?
2/5
Let k = 0.405 + -0.005. Let i = -327 - -331.02. Let x = 0.02 - i. Is k < x?
False
Let r = -266615 - -266615. Let k = -2417 + 74933/31. Let a = 34/465 + k. Which is smaller: r or a?
r
Let c = -103432 + 5274866/51. Which is greater: c or -2?
-2
Let o(a) = a**3 - 16*a**2 + 20*a + 58. Let f be o(12). Which is greater: -276 or f?
-276
Let k(c) = -2*c - 28. Let v be k(-6). Let x be (11/(6996/v))/((-28)/6). Let h(d) = -d**3 - 12*d**2 - 4*d - 47. Let m be h(-12). Which is smaller: m or x?
x
Let h = -7444/17 + 438. Suppose 5*x + 9*n - 20 = 4*n, 4*x - 3*n + 12 = 0. Which is smaller: h or x?
x
Let y = 192 - 222. Let d be y/4*294/(-168). Which is smaller: 13 or d?
13
Let x = 92.8 + -93.714. Let n = 0.814 + x. Is n bigger than 682?
False
Let z(u) = -2*u**3 - 45*u**2 - 170*u - 40. Let i be z(-16). Which is smaller: 3 or i?
i
Let s = 50 + -46.6. Let y = -2.09 + s. Let j = y - -0.99. Which is bigger: j or -0.1?
j
Let f = 74 + 129. Suppose 7*q - f - 161 = 0. Suppose -4*x - 48 - q = 0. Which is bigger: x or -26?
x
Let q(t) = t - 172. Let k be q(-18). Let p = k + 166. Is -23 greater than or equal to p?
True
Let l = 113.8 - 319.8. Which is smaller: -3 or l?
l
Let t = -1045 - -85709/82. Do 1 and t have the same value?
False
Let u(a) = -7*a**2 - 26*a - 13. Let x(r) = -r**2 - r - 1. Let y(s) = -u(s) + 2*x(s). Let h be y(-7). Is 88 <= h?
True
Let y = -409 - -429. Suppose -11*g + v + 704 = -8*g, -y = -5*v. Is g smaller than 236?
False
Let v = 71.905 + 0.095. Let j = -72.14 + v. Let a = 4 + -2. Which is bigger: a or j?
a
Let b be 15/30*(-2*6368)/2. Let h = 1688 + b. Let f be 2/(h/(-195)) + 2/(-8). Is f smaller than 1?
True
Suppose 7*j + 84 = 2*i + 3*j, 0 = -4*i + 2*j + 180. Suppose -2*u = -u + 1, 5*u = -3*k - 152. Let t be k/(-14) - (0 - -3). Is i at least as big as t?
True
Let i = -94442122 - -2629174235675/27839. Let t = -28/607 - -19619/412153. Let w = i + t. Is 0 equal to w?
False
Let r = -0.5802 + 0.0802. Which is smaller: r or -2/19?
r
Let w(n) = 4*n + 5. Let b(f) = -f. Let c(p) = 5*b(p) + w(p). Let x be c(5). Suppose 0 = -308*s - 174*s - 291*s - 165*s. Is x at most as big as s?
True
Let m be (-417)/(-6) + (-1)/(-4). Suppose 1570*z + 2310 = 1537*z. Let v = z + m. Is 1/59 <= v?
False
Let t = 0 + 8. Let q = 7174 - 78842/11. Which is bigger: t or q?
t
Let r be -2 - (-246)/(3 + -6). Which is smaller: r or -96?
-96
Let g(k) = -17 + 16 - 24 + 17*k. Let t be g(4). Let i = -43 + t. Is i greater than or equal to 0?
True
Let y = -22/1597 - -2651086/4791. Is y greater than or equal to 3?
True
Let r = -39945 + 39944.89. Is -2/5 > r?
False
Suppose -4*z + 201 = 193. Let r be (12/30)/(156/10 + z). Suppose -3*k + 2*k = -5*q + 19, -k + 2*q = 7. Which is greater: k or r?
k
Suppose -4*k - 5*g + 14904 = -8488, 2*k - 11670 = 4*g. Is 5841 at most as big as k?
True
Let p = 2/5137 + 1866/5137. Is 1/71 > p?
False
Let z be (128/(-12))/((-6)/(-27)). Which is bigger: z or -66?
z
Let d = 90250 - 631745/7. Let q(t) = -2*t + t + 6 - 1. Let z be q(5). Which is smaller: z or d?
z
Let m(p) = -p**2 + 17*p - 66. Let u be m(9). Suppose 5*b = -c + 14, 5*b = 2*b + c + 2. Which is smaller: u or b?
b
Let f = 1263 - 1264. Which is smaller: f or 2/299?
f
Let i(m) = -m**3 - 11*m**2 - 20*m - 25. Let c be i(-9). Let w(v) = 8*v - 24. Let p(a) = 3*a - 8. Let q(x) = -17*p(x) + 6*w(x). Let y be q(c). Is y equal to 12?
False
Suppose 4*n - 2*w = -40, 3*n + 5*w + 22131 = 22127. Let c(b) = 5*b + 7. Let j be c(-6). Which is bigger: n or j?
n
Let k = -68153/13 + 340583/65. Suppose c = -w - 5 + 1, 5*c - 4*w = -29. Let x(j) = -j**3 - 6*j**2 - 5*j - 4. Let f be x(c). Is f not equal to k?
True
Let r(y) = 4*y**3 - 276*y**2 - 5*y + 315. Let d be r(69). Is d not equal to -212/7?
True
Let a = -29100 - -94313102/3241. Are 1 and a unequal?
True
Let t(x) = 6*x**3 + 11*x**2 - 7*x - 5. Let z be t(-7). Let c = z + 13312/9. Is 5 bigger than c?
True
Suppose 0 = -3*a + a. Let c = 2788393/98 + -28453. Which is greater: c or a?
a
Let r(g) = 258*g - 152. Let s be r(-4). Which is smaller: s or -1185?
-1185
Let k = -981 - -10803/11. Let s be 175/7 - 2*(1 + -3). Suppose -5*p + 2 = -r - 22, -4*r + s = 5*p. Is r less than k?
True
Let v(o) = -2*o**2 + 4*o - 2. Let g = 94 + -90. Let d be v(g). Let i be 0*3*(-3)/d*1. Is 0 bigger than i?
False
Let n(s) = s**2 + 9*s - 16. Let z be n(-11). Suppose 2*f - 3*u + 17 = 0, -u = -4*f - 3*u + z. Which is bigger: f or 1/76?
1/76
Let u = -0.1315 - -0.0075. Let q be (-1)/((-36)/17) - 10/45. Which is greater: q or u?
q
Let y be ((0 + 2)*1)/(-4)*78. Let o(b) = b**3 - 6*b**2 - 15. Let n be o(5). Is y greater than or equal to n?
True
Let b be (-168)/(-11 - 17)*(-1222)/4. Is b bigger than -1833?
False
Let m = -0.36 + -0.35. Which is smaller: m or -4/3?
-4/3
Suppose -10 = 2*h - 4*q, -3*h - q - 4 = -3. Is 4/497 smaller than h?
False
Let w = 110.37 - 932.37. Which is greater: 2 or w?
2
Let f be (-177852)/(-270) + (-6)/10. Let p = f + -654. Is p at most as big as 3?
False
Let t be -4 + 639/(-285) - -7. Which is greater: t or 2?
2
Suppose -4*l = -27*w + 25*w + 2834, -w - 3518 = 5*l. Do l and -2113/3 have the same value?
False
Let m be -2 + 4 - 0 - (-438)/(-210). Let i = -340 - -341. Is m greater than i?
False
Let f be (-196)/(-8) - (-1)/2. Suppose -f = v - 6*v + 5*t, 0 = -3*v - 5*t - 17. Let y be (v/3)/(4/204). Is y smaller than 71/4?
True
Suppose 22*t - 200 = 27*t. Let x = t + 22. Let o = 16 + x. Which is bigger: o or -8/11?
-8/11
Let j(g) = -3*g + g + 27 + 2*g - 3*g. Let l be j(8). Is l equal to 8?
False
Let f = 3769 - 3893. Let n = 122.77 - -0.73. Let i = f + n. Which is smaller: i or 4?
i
Let l = 14581 - 14672. Let v = -82.9 + -4.1. Let b = l - v. Which is smaller: 0.2 or b?
b
Let p = 48 - 84. Let m = -35.97 - p. Let y = -1.23 + m. Which is bigger: y or 0?
0
Let a = -0.5444 - -0.3814. Which is greater: 6 or a?
6
Let m(w) = -w**2 + 46*w - 206. Let v be m(41). Which is smaller: -6/2065 or v?
v
Suppose 63*a - 22885 = 40*a. Is 997 at most as big as a?
False
Let r = -8777 - -403743/46. Is -1 > r?
False
Let w be ((-754)/(-22156))/((-3)/6). Which is smaller: -1 or w?
-1
Let k be (-480)/540 - ((-7)/(126/(-20)) + -1). Which is smaller: 1/1241 or k?
k
Let m be -3 + 6 - (-1 - (-45)/(-3)). Suppose -20*p + 6 = -m*p. Which is bigger: 11 or p?
11
Let c = -6383 + 5760. Are -1871/3 and c nonequal?
True
Let a(r) = -r**2 - 46*r + 879. Let v be a(-62). Which is greater: -119 or v?
v
Let a be (-6)/((-9072)/6381) - (3 - -2). Let s = -5/24 - a. Which is bigger: s or 2/23?
s
Let r(p) = 2*p**3 + 8*p**2 - 27*p - 15. Let y be r(-6). Let a be (y/(-7))/(68*2/28). Which is smaller: a or 0.3?
a
Let h = -6.7 + 7. Let m = h - 0.4. Let c = 66821 + -66811. Which is smaller: c or m?
m
Let a be 8 + -2 + ((-192)/28 - 1/7). Which is greater: 0.07278 or a?
0.07278
Let p be (-6)/(-15)*45/(-6)*(-22)/66. Which is smaller: p or 47/35?
p
Suppose -13*q = -81 + 16. Let a be ((-4)/(-8))/(q/1440). Is a greater than 142?
True
Let w(z) = z**3 - 5*z**2 - 6*z - 1. Let k be w(6). Suppose -3 = 5*r - 43. Suppose 0 = -4*d + r*d + 152. Is k less than d?
False
Let h(y) = 2*y + 77. Let g be h(-32). Suppose g*i + 15 = 15. Which is greater: -14/27 or i?
i
Let s be 294/(-1323) + (-2186)/(-522) + 1. Which is smaller: s or 0.3?
0.3
Let l = 11105 + -22203/2. Are -1/5 and l nonequal?
True
Let k = -5243 + 15487/3. Let p = -3206/39 - k. Let w = 9/104 - p. Is w > 2?
False
Let l be -4 + 7 + 17 + -