98 = 5*k. Suppose 0 = 3*c + 2*t + 50 - 13, -3*c - w = -t. Is -100/7 <= c?
False
Let x(j) = j**3 - j**2 + j - 1. Let v be x(0). Let s = -53 - -56. Let b be s/((-3)/(-2))*19/1159. Is b >= v?
True
Let c = -90035 + 25119793/279. Let r = c + -2342/21483. Are r and 1 unequal?
True
Let g be ((6 - 5) + 2)*(-4)/(-6)*-200. Which is smaller: -397 or g?
g
Let o = 8322 + -10165. Is -0.2 >= o?
True
Let k(x) = -x**3 - 31*x**2 - 31*x - 7. Let y(d) = 15*d. Let p be y(-2). Let b be k(p). Is b smaller than 23?
False
Let l = -19798 + 19798.08728. Is l at most 1/4?
True
Let s be 3/2*(6182/9240 - 10/35). Which is smaller: 1 or s?
s
Let b(f) = 7*f**2 + 4. Let u be b(2). Let t = -27 + u. Let p be 1*((-22)/t + 6/(-15)). Which is bigger: -5 or p?
p
Let w(y) = 2*y + 296. Let h(c) = -295. Let n(g) = 4*h(g) + 5*w(g). Let s be n(-30). Is s equal to -7/18?
False
Suppose 5*q + 11596 = -358*i + 356*i, 6932 = -3*q + 2*i. Is -5 less than q?
False
Let r = -0.4 + -0.1. Let u be -1*(2 + 5/(10/(-28))). Suppose u*n + 24 = -0*n. Is r less than or equal to n?
False
Let p = 2094 + -2093. Is -15.5 < p?
True
Let l = -0.023 + -0.009. Let k = l + -3.568. Let v = k - -0.6. Is v smaller than 0.2?
True
Let i = 2 + -3. Let j = 193 + -159. Let s be (-124)/248 - (0 + j/(-60)). Is s not equal to i?
True
Let f be 2232/21 - (-8 + 522/63). Which is greater: f or 118?
118
Let k = -81.26 - 1.74. Let s = k + 83.6. Let i = s - 0.9. Is i less than -10?
False
Let b = -574 + 572. Let h be (3/b)/((-102)/1360). Is 31 smaller than h?
False
Let j(u) = u - 3. Let t be j(3). Let k(h) = -2*h**2 + 32. Let i(y) = 2*y**2 - y - 16. Let d(g) = -2*i(g) - k(g). Let m be d(t). Which is greater: m or 4/29?
4/29
Let r(b) = 6*b**2 + 17*b + 18. Let a be r(-2). Let p be 1/(-2) + 279/30. Which is smaller: p or a?
a
Let r = 5.76 - -12.89. Let l = r - 0.65. Which is smaller: -1 or l?
-1
Let l = 9 + -7. Let n be 2/3 + ((-16)/(-12) - l). Suppose -4 + n = 2*m. Which is greater: -1 or m?
-1
Let v(b) = b**3 - 2*b**2 - 25*b + 9. Let u be v(0). Let y be (-155)/15*(-1 + 0). Which is smaller: y or u?
u
Suppose -m - 3*b = -3, 6 = 4*m - b - 6. Suppose -m*c - x - 99 = -6*c, -3*c = 3*x - 87. Let q = 5574 - 5542. Are q and c non-equal?
False
Suppose 0 = -229*a - 2809 + 5557. Suppose 3*f + 33 = 6*f. Which is bigger: a or f?
a
Suppose -44 = -2*m - 23*z + 22*z, -5*z - 92 = -3*m. Let f be 0 - (2314/(-208))/((-2)/m). Is -134 > f?
False
Let l = 1654.97 - 1651. Let u = -4 + 0. Let q = u + l. Which is greater: q or -3?
q
Let v = -4242 + 4326. Is v not equal to 99?
True
Let m = -431 - -223. Let j be 4/12 - m/(-626). Let s = j - 1933/51645. Which is smaller: s or 0?
s
Suppose -3*i = -4*i. Let q be 3/18*-4 - (-1554)/(-9). Let d = -173 - q. Does i = d?
False
Suppose 5*m - 121 = u, 0*m = 5*u + m + 631. Let z = 137 + u. Let i(r) = r**2 - r - 2. Let b be i(-3). Is z < b?
False
Let y be (-30)/(-120)*32/(-1464). Suppose 5*z - 22 = 23. Let v = -10 + z. Is v less than y?
True
Suppose 0 = -2*m - 5*x + 18, 4*x - 17 = -10*m + 11*m. Which is smaller: m or 6/9311?
m
Let c = 47.5 + 510.62. Let b = c - 557. Which is smaller: -0.1 or b?
-0.1
Let l(w) = 2*w + 39. Let r be l(-3). Let z be (r - 0)*((-2995)/375 - -8). Does 0.1 = z?
False
Let t(s) = s**2 + 11*s + 15. Let l be t(-10). Let c = -34 + 29. Let h be (c - (-91)/21)*(-35)/4. Which is greater: l or h?
h
Suppose 0 = 3*l + 2*l - 5*z + 50, 5*l + z + 56 = 0. Let a = -6703 + 20153/3. Let h = l + a. Which is greater: 4 or h?
4
Let b be (18/(-4))/(2106/(-36)). Which is smaller: b or -41?
-41
Let h(a) = a**3 - 4*a**2 - 8*a + 16. Let x = 3 - -2. Let z be h(x). Let l be 14/(-7)*z/(-4). Is l greater than 7?
False
Let o be (46/(-4))/(((-3)/(-15))/(102/(-5))). Is o less than 1174?
True
Let u be ((72/(-15))/(-4))/(6 - 3408/570). Is u bigger than 0.52?
True
Let k = -103 - -188. Let q = 823 + -85. Suppose 17*d = -q + 2166. Which is greater: d or k?
k
Let d(v) = -8*v - 8. Let c be d(8). Let r = 10131 + -10133. Is c >= r?
False
Let x = -7573.0164 - -7573. Are x and -6/7 non-equal?
True
Let r be (-327)/168 - 200/320. Let y = 32 + -38.8. Let t = y - -2.8. Which is smaller: r or t?
t
Suppose 0 = 5*m - 82 + 317. Suppose 0 = 2*f + 12, -23*r - f - 94 = -21*r. Is r at most m?
False
Let i be 6*4*4/(-16) + 22. Suppose 17*d - i*d = 0. Which is bigger: -2/861 or d?
d
Suppose 0 = -2*n - 2*x - 20, -2*x + 3 = -3*n - 12. Is n less than 211/3?
True
Let r = -634 - -634.333. Let y = r + 8.667. Which is bigger: -1.7 or y?
y
Let n(s) = -119*s - 9. Let x be n(-2). Let g = 2172 + -1942. Which is smaller: g or x?
x
Let d = 16913797/21 + -805215. Is d > 204?
False
Let y = -2786/149 - -139010/10877. Do y and -7 have the same value?
False
Let n(u) be the second derivative of -u**4/12 - u**3 - 2*u**2 + 2*u. Let g be n(-5). Let l = 7.60759 - -0.39241. Which is smaller: g or l?
g
Suppose 19*t - 91*t = 144. Let q = 6 + -3. Let f be -1*(q/(t + 5) + 0). Is f at most 0?
True
Let p = -6278778/7 + 893601. Let v = p + 3400. Which is smaller: v or 34?
v
Let w = -102.45 - -104.77. Is 0.7 <= w?
True
Let j = 0.38 - -0.973. Let m = j - 0.353. Which is bigger: -98/3 or m?
m
Let x(q) = 12*q**2 + 35*q + 4. Suppose 37 - 52 = 5*f. Let u be x(f). Is u <= 37?
True
Let o = -0.81 - -29.81. Let q = 12 - o. Which is greater: -0.3 or q?
-0.3
Suppose 258*k - 248*k = 1280. Let f = -107 + k. Which is smaller: 0 or f?
0
Let d = -176.8 + 168. Let c = d - -9. Which is greater: -0.1 or c?
c
Let p be (-9)/24*(-261416)/123. Is p <= 799?
True
Let w be 5*-1*(-12)/(-10). Let c = 23.695 - -0.205. Let p = 24 - c. Do p and w have the same value?
False
Let t = -1636 - -1636. Which is smaller: t or -15/793?
-15/793
Let t = 509 - 515. Let n be t + 19974/1332 + -9. Are n and -1 unequal?
True
Let d = 3373 + -3373. Is d at least as big as -2/101051?
True
Suppose -2*s + 17 - 175 = 0. Let z = -74 - s. Suppose 5*w - 95 = -z*i, -4*i - 2*w + 26 = -44. Is i greater than or equal to 16?
True
Let a be ((-18)/(-36))/(1/4). Let r be (a/(-6))/(3/(-135)). Let o be (-16)/4 - (-54)/r. Which is bigger: o or 0?
0
Let d = 337 - 218. Let r = d - 121. Is -6/5 less than r?
False
Let d(m) = -m**3 + 8*m**2 + 10*m - 14. Suppose 63 = -114*i + 121*i. Let g be d(i). Let w be 0 - 2 - 16/(-7). Is w > g?
True
Let o = -0.6496 - -49.5276. Let u = -0.122 - o. Let r = u + -7. Is 0 at least r?
True
Let h(g) = g**3 + 11*g**2 + 12*g + 20. Let t be (-2 - -39) + 2*-2 + 2. Let w = -45 + t. Let j be h(w). Is 3/13 < j?
False
Suppose -z + 495 = 32*z. Suppose 5*m = l - 1, 0 = -5*m + 4*l - 4. Suppose -5*r = m, -70 = -6*f + f - r. Which is smaller: f or z?
f
Let f be (231/2002*8/(-174))/7. Let h = 25905120908/7244055 - 1088798/305. Let y = f + h. Which is greater: 6 or y?
y
Suppose -3*r + 154 = -4*p, 0 = 3*r + r + 2*p - 220. Suppose -q - 13 = -3*t, -2*t - 2*t + r = -5*q. Is -12 at least as big as q?
False
Let t(p) = -p**3 + 3*p**2 - 2. Suppose -l = -4*l + 6. Let r be t(l). Suppose -16*o + 14*o = r. Is -1/11 at least o?
True
Let p = -10594 - -10592. Which is greater: p or 1.5?
1.5
Let b be -3 - (952/(-154) + (-2)/(-11)). Suppose -10 - 26 = -b*q + k, -q - 5*k = -12. Let h be ((-12)/(-24) - 14/q)*15. Is -10 < h?
False
Let q be (-1)/3 + 362/6. Let f = 754 - 677.6. Let k = f + -77.4. Which is smaller: q or k?
k
Suppose 4*g + 2*h - 7 - 953 = 0, 0 = 5*g + 5*h - 1190. Which is smaller: 240 or g?
240
Let n = 174 - 170. Let w be n*(-60)/(-5)*1. Is 48 < w?
False
Suppose -2 = -4*o - k, -o + 3*k - k = 4. Suppose 4*v - 430 = -c, 2*v = c + 4*c + 204. Let f = v - 116. Which is smaller: o or f?
f
Let v = -1424.135 + 1430. Let a = 5.8 - v. Let r = -12.935 + a. Is -1 not equal to r?
True
Let l(m) = -m**3 - 7*m**2 + 30*m + 2. Let b be l(-10). Let z be (b + 1)*(6 + (-560)/24). Which is greater: z or -54?
z
Let u = -2051.9 + 2054.9. Is u <= 2356?
True
Suppose -34 = 5*q - 9*s, 4 = -q - 0*q - s. Does q = -112/19?
False
Let r(o) be the first derivative of -o**4/4 + 2*o**3/3 + 3*o**2/2 + 8*o - 87. Let s be r(6). Is -118 at least s?
True
Let s be (-5 - 0)/(2/8). Let d be (-2 + 1 + 4)*2/(-6). Let r be 8/s + ((-28)/(-20) - d). Which is smaller: r or 14/9?
14/9
Let u(m) = 194*m + 590. Let r be u(-3). Which is bigger: -37 or r?
r
Let g = 83263 + -83234. Suppose 3*w - 101 = a, -12 = -5*w - 4*a + 162. Which is greater: w or g?
w
Let s = -4642 + 4781. Do s and 122 have different