15*d - 5*d + 27 = 0. Is d != -3/6526?
True
Let j = 3.47 - 3.8. Let v = 56.7 - 56.3. Is v > j?
True
Let b be (-34)/(-10)*37/(629/7905). Which is bigger: 1579 or b?
b
Let c = 543 - 3811/7. Suppose -433*o + 1 = -434*o - 1. Are c and o unequal?
True
Let l = 0.08 + -5.08. Let y = -1064.71 + 1065.11. Which is smaller: l or y?
l
Suppose 294 + 205 = 5*m + 3*w, 2*m - 210 = 4*w. Suppose 30*n - 2188 - 902 = 0. Which is bigger: m or n?
n
Suppose 0 = 5*v + k - 783, -175*k - 159 = -v - 174*k. Is v at most as big as 142?
False
Suppose l + 33*h - 34*h = -4, 2*l - 27 = -5*h. Is l <= -1553?
False
Let o(f) = 36*f**3 + 9*f**2 - 20*f - 5. Let g be o(2). Which is smaller: 1/9 or g?
1/9
Let t = -3.00109 + 0.00109. Is -2/499 bigger than t?
True
Let f = -21259/19 - -1117. Let z = f - -1741/969. Which is greater: z or 1?
1
Suppose 10 = 2*u, 3*s - 5*u + 559 = -147. Let q = s - -240. Which is smaller: q or 17?
q
Let r = 309 + -306.12. Let b = r + -2.98. Let h = 2462/9 - 274. Which is bigger: b or h?
b
Let x(n) = -6671*n - 100. Let l be x(-1). Is 6571 at most as big as l?
True
Let n(v) = v**3 + 8*v**2 - 11*v + 1. Let w be n(-9). Let j = -22 + w. Let x = 15/62 + -1003/558. Which is smaller: x or j?
j
Suppose -75*x = -102*x + 63*x + 9504. Which is smaller: -1851/7 or x?
-1851/7
Let c = -6588514/3 - -27342330013/12450. Let m = 13/50 + c. Is m smaller than -1?
False
Let w = 1253 - 1210. Do w and 388/9 have the same value?
False
Let z = -95.62 - 97.78. Which is smaller: z or 0.7?
z
Let p be (-10)/((-5)/(13425/(-15))). Is p at most -1789?
True
Let m = 21 - 11. Suppose 5*h = 15 + m. Suppose 0 = -5*o - 20, -9 = h*c + 2*o - 1. Which is smaller: c or 2/41?
c
Let l = -153/5 + 30. Let j(t) = 14*t + 23. Let v(f) = -2. Let h(c) = j(c) + 5*v(c). Let x be h(-1). Is l greater than x?
True
Let j(p) = -2*p - 44. Let h(x) = 2*x - 37. Let a be h(16). Let q be (-8)/20 + 108/a. Let n be j(q). Which is smaller: n or -6/7?
-6/7
Let s be (-18)/(24/4) - -27. Let j be 16/40 + s/(-110). Is -2 at least as big as j?
False
Suppose 0 = -5*h - 3*y + 2292, 0*h - 5*y + 1372 = 3*h. Is h at most as big as 454?
False
Let m be (196 - 197)/((-1)/2). Is 214 at least as big as m?
True
Let t(f) = -2*f**3 + 15*f**2 - 163*f + 1955. Let g be t(12). Which is bigger: -1296 or g?
-1296
Let s = 1647302/4095 + 496/315. Which is smaller: s or 405?
s
Let w = -21.4 + 19.9. Let r = 3047 + -3065. Which is smaller: w or r?
r
Let s(y) = -5*y**3 + 14*y**2 - 7*y - 49. Let t(n) = 6*n**3 - 15*n**2 + 9*n + 48. Let j(p) = 5*s(p) + 4*t(p). Let h be j(7). Is h equal to 0.1?
False
Let s = 777 + 6. Let o(w) = -w**3 - 7*w**2 - 2*w + 2. Let l be o(-7). Let p be (s/116)/(6/l). Which is greater: 19 or p?
19
Let u be 5/(-6) + 1 - (-179)/6. Let d be ((-2)/3)/((-2)/u). Is -0.2 not equal to d?
True
Suppose -96*a - 2 = -94*a. Let o(c) = -2*c**2 - 2*c - 2. Let g be o(-2). Let k be 3/(g/(-8) - 1). Is a bigger than k?
True
Let a = 1.645 - 164.545. Let x = a - -163. Which is smaller: x or 0.018?
0.018
Let n be ((-15)/(-11522))/(((-1014)/91)/(-13)). Is n greater than -1?
True
Let t(i) = -18*i. Let h be t(6). Let y be (10/18)/((-45)/(-54)). Is h less than or equal to y?
True
Let k = 683 + -699. Let s(n) = 9*n + 152. Let p be s(k). Which is greater: 14 or p?
14
Let r be 2*2/216 + 0. Let k be (0 - 0)/((-444)/(-222)). Is k >= r?
False
Let m be ((-8)/(-12))/((-2)/36). Let h be m/(-6) - 37/15. Let l = 1 + -1. Is h smaller than l?
True
Suppose 15*x - 12*x - 9930 = 0. Let u be (-1 - -5) + -4*x/3280. Which is smaller: u or 0?
u
Suppose 11*t - 30*t - 20*t = 0. Let i be 0 + -3 - (0 + (t - -3)). Is i at most as big as 22?
True
Let l be (15 - (-650)/(-52))*(-4)/5. Is l != -112/183?
True
Let z(a) = a**2 + 28*a - 1740. Let s be z(-58). Which is smaller: -63/139 or s?
-63/139
Suppose 82*m - 87*m = 0. Suppose -q - 2*g + 5 = m, -5*g + 10*g - 15 = 0. Which is smaller: q or -1/30?
q
Suppose 15*j - 4096 = 4889. Is j > 598?
True
Let j(f) = -2*f**3 + 3*f**2 + 5*f + 6. Let u be j(5). Let p = u + -21. Let i be (-4)/(-10) + 143/p. Which is bigger: i or 0?
0
Let c = -1019 - -2281. Suppose -5*n + 4*l = 1287 - 9, -5*n - 4*l - c = 0. Is n greater than -253?
False
Suppose -j = 3*p - 424, -j = 4*j - 11*p - 2094. Are 422 and j unequal?
True
Let o be -2*(-3)/36 - 5780/34635. Let l = -50837/180102 - o. Is -1 less than l?
True
Let d = 0.01527 - -20.71473. Which is smaller: -2/9 or d?
-2/9
Let p be (164/(-80) - -2)*(-2 + 6). Let w = 12 + -23. Which is bigger: w or p?
p
Let b = 0.2107 - 0.0607. Let a = 0 + -0.1. Which is smaller: b or a?
a
Let n = 46.63 + -47. Let t = n + -0.1. Let l = t + 0.47. Which is smaller: -2/41 or l?
-2/41
Let u = 1673 + -1980. Which is smaller: u or -306?
u
Let d = 5206 + -5206. Which is bigger: d or -13/227?
d
Suppose 63*d + 3*q = 62*d - 84, 4*d = 4*q - 336. Is -1074/13 less than or equal to d?
False
Let s = 615.356 - 618. Let l = -0.156 + s. Is -1/4 greater than l?
True
Let x = 3.74 + -2.662. Let l = x - 7.078. Let c = -3 - 0. Is c > l?
True
Let k = 1806 - 1790. Let q(z) = -z - 3. Let x be q(-5). Suppose x*n + k = -u + 5*n, -5*n + 43 = -4*u. Is -0.2 equal to u?
False
Let m = -2129/1734782 + -1/2758. Which is smaller: m or 0?
m
Let t = 431.0281 + -431. Let z = t - 15.0281. Which is smaller: 1/5 or z?
z
Let s = 1/15389 + -134305/15389. Is s greater than -10?
True
Let f be (43/(-43))/(((-44)/360)/(-11)). Is -126 > f?
False
Let d(b) = 4*b + 63. Let c(y) = y**2 + 5*y + 61. Let i(s) = -3*c(s) + 2*d(s). Let v be i(-6). Are -122 and v non-equal?
True
Let t = -5421 + 5421.1. Which is greater: t or 1090?
1090
Suppose 0 = -3*j + 2*t + 5531, -36*j = -34*j + t - 3671. Is j > 1840?
False
Suppose -53*t - 9 = -54*t + 2*h, 4*h + 19 = 3*t. Let y be t + 2/1 + 133/(-45). Which is smaller: y or 0?
0
Let w = 91409313/6377 + -850/911. Let u = -14308 + w. Which is smaller: 25 or u?
25
Let h = 32555 + -35503. Are h and -3 nonequal?
True
Suppose -4*n + 20*i = -116, -i + 8 = -2*n + 12. Is -41/711 at least as big as n?
True
Let g = -198212 - -996708/5. Is 1130 <= g?
False
Let v = -4410.6 - -4413.6. Let f = 11/3 + -4. Which is smaller: f or v?
f
Let x(h) = -31*h + 3. Let c be x(1). Let u be (-4)/12*c/(-6). Let i = -13 - -10. Is u equal to i?
False
Let l = 659 + 131. Let x = -789.7 + l. Is x greater than -0.99?
True
Let d be 6 - 2/(-64)*-8*-36. Let l = 124 - 99. Which is greater: l or d?
l
Let h(f) = 2*f**2 + 33*f + 73. Let o be (-26)/(-182) - 99/7. Let k be h(o). Is k smaller than -7?
False
Let d be 1001/17 - 8/(-68). Let u = 54 - d. Let m be (13/(-13))/(2/6). Which is smaller: m or u?
u
Let f be (-6)/(-3600)*(-2 - (-13)/6). Let k = 689/111600 + f. Is 1 at least k?
True
Let h = -1/108977 + 411388183/871816. Which is greater: 471 or h?
h
Let a be 363/33 - (-2 - -6)/(-2). Suppose a*j - 1584 = -3*j. Which is smaller: 96 or j?
96
Let j be (-22)/(-30) - (-2)/(-6). Suppose 2*c - 2*i + 14 = -2, -4*i + 4 = 3*c. Let o be (1/4)/(c/40*-5). Which is smaller: o or j?
j
Let h = 3542 - 2730. Are h and -1/7 non-equal?
True
Let c = 663 + -664. Let s be 44/10 - (-4)/(-10). Let f = -2 + s. Which is smaller: c or f?
c
Let f = -0.015 - 0.059. Let t = 2427.4 + -2394.326. Let h = t + f. Is h greater than or equal to -1?
True
Let o be (2/(-5))/((-5)/(-1575)*-3). Let d = o - -3. Which is bigger: d or 41?
d
Let p be (-2)/((10/16)/(-5)). Suppose -p*k - 220 = 2052. Is k at least as big as -141?
False
Let r be (((-27978848)/(-12))/4)/81228. Let p = r - 19/13538. Let z = 62/9 - p. Is z != 0?
True
Suppose -u = 2, 0*h - 6 = 4*h + 3*u. Let w(r) = -r**2 - 29*r + 68. Let q be w(-31). Let n be 3/q*3/(-27). Which is smaller: h or n?
n
Let p = -826847/181186598 - -3/82022. Which is bigger: p or -1?
p
Let x = -0.17 - 0.02. Let l be (-1766)/190 + 10 - 4/38. Does x = l?
False
Let h = -1442 + 10091/7. Let g = 2.5 + -2.57. Which is bigger: g or h?
g
Let n be 8/(-28) + 620/14. Suppose -4*r = -4*m + n, 0*r - 5*m - 44 = 4*r. Let l be (-3 + 7 + -2)*-6. Which is smaller: l or r?
l
Let l be 20/(-6)*377520/416. Is -3025 not equal to l?
False
Let q = -11105 + 1444. Which is smaller: q or -0.1?
q
Let i(v) = v**3 - v**2 + 92. Let x be i(0). Suppose 0 = -4*b - 5*q - 62, -2*b + q - x = 3*b. Suppose -304 = 21*w - 2*w. Is b greater than w?
False
Let t = 77626279/381486 - 6308/31. Is -1 at least as big as t?
False
Let j(n) = -n**2 - 44*n - 489