?
u
Let d be ((-5)/15)/((-1)/(18/(-21))). Is d at most as big as 0.96?
True
Let y = 1020/79 - 58347/3950. Which is bigger: y or -2?
y
Let v(s) = 29*s + 723. Let g be v(-23). Suppose 55*n - g = 62*n. Let o(h) = 3*h**2 + 2*h + 1. Let r be o(-2). Which is smaller: n or r?
n
Let y be (0 - 5) + (-104)/(-8). Let t be ((-2*(-2)/y)/1)/(-89). Which is smaller: t or 0?
t
Let h(t) = -t**2 + 9*t + 544. Let u be h(44). Which is greater: u or -995?
-995
Suppose -2*z = 5*a + 1440, z + 145 - 1585 = 5*a. Let d = 289 + a. Is d < -0.2?
False
Let h(p) = -28*p**2 + p + 6. Let q = 102 - 104. Let k be h(q). Let w be (k/(-48) + (-3)/(-4))/3. Which is smaller: w or 2/3?
2/3
Let n = 4264 + -4312. Let m be 241*((-76)/(-20) - 4). Which is greater: m or n?
n
Let b = 186 + -180. Let o be 7 - (b + 5/7). Let v be -1 - (0 + -1)*0. Which is smaller: o or v?
v
Let i = -7039/54 + 261/2. Let p(k) = -2*k**2 - 14*k + 7. Let b be p(-7). Suppose -b*q + 53 = 46. Which is smaller: q or i?
i
Let u = 324.78 - -250.22. Is -0.6 at most u?
True
Suppose 2*j + 3 = 6*j - r, -3*r = 11*j + 9. Which is bigger: -6/487 or j?
j
Suppose -5 + 6 = y, 151 = -4*l - y. Let r = 29/10 - 1207/30. Is r bigger than l?
True
Let i(j) = -j - 8. Let f be i(-6). Let d = 14015/11 - 1277. Which is greater: d or f?
f
Let s = 0.1445 - 5.3025. Let t = s + -0.742. Which is bigger: t or -6?
t
Suppose 15 = -3*f + 5*u - 7, 5 = u. Let v be (f - 1) + 1/3. Let x = -1010 - -1055. Is v at least x?
False
Let d(h) = -h + 16. Let o be d(11). Let m be 3/o + 1104/(-40). Let p = 66 + -91. Is p != m?
True
Let x = 335 + -320.8. Let m = x - -37.8. Which is smaller: m or -2?
-2
Suppose 0 = -8*m + 130 + 14. Suppose -478 = m*l - 2458. Let d be ((-47)/45 - -1)*l/66. Is -1 <= d?
True
Let s = -3490 + 3567. Which is greater: s or 52?
s
Let f(w) = -w**2 - 7*w - 10. Let h be f(-5). Let t be 15/38*636/795. Which is smaller: h or t?
h
Let g be 12 + (-6205)/51 + 10/6. Let f be (-2)/9 - (-952)/(-9). Is f greater than g?
True
Let g = -13591 - -12960.1. Let u = g + 631. Is u >= -2/177?
True
Suppose 2*d + 2*l + 586 - 210 = 0, -2*l + 919 = -5*d. Is d >= 15/2?
False
Let w = 5061 + 2283. Which is smaller: 7345 or w?
w
Suppose 9*c - 4*c - 5*r = -5, -4*c - 5*r + 32 = 0. Suppose c = -2*o - o. Let t = 23718 + -1968596/83. Which is bigger: t or o?
t
Suppose 0 = -m - 2*g - 5, 6*m - 5*g = m - 70. Let w = -14 - 6. Let o be (165/w - 3) + 1/4. Are m and o unequal?
False
Let k = -32 - -70. Let u = 42 + -68. Let l = k + u. Which is smaller: 4 or l?
4
Let f be 27*2/8*-12. Let b be ((-1)/(-116))/((-948)/(-27492)). Is b at most as big as f?
False
Let l be 4 + (-3 - -8) + -4. Suppose 3*g = 4*k + 62, 0 = l*k + 21 + 4. Is -2 greater than or equal to g?
False
Let o be 687/(-9) - 2/(-6). Let c be 126/(-63) - 72/1. Is o > c?
False
Let x = 38 - 17. Let s be ((-158)/10)/(x/(-105)). Suppose j = -3*l - s, -4*l - 7 + 23 = 0. Is -91 at least j?
True
Let y(g) = -4*g - 85. Let n be y(-6). Let x = n - -65. Which is smaller: x or 2?
2
Let s(r) be the second derivative of r**4/12 - 5*r**3/6 - r**2 + 5*r. Let z be s(5). Let o = 4084 - 20433/5. Which is smaller: o or z?
o
Let v be ((-6)/9 + 1)*(-4 - -19). Suppose 2*y = -3 + v. Let i be y*(36/33)/(-4). Is -0.3 <= i?
True
Let s(n) = n**3 - 14*n**2 - 33*n + 29. Suppose -3*g - 4 + 52 = 0. Let p be s(g). Which is greater: p or -11?
p
Let w = 247 - 134. Let n = -46.42 - -159.32. Let g = w - n. Which is greater: g or 0?
g
Let k = -6.912 - -7.112. Which is smaller: -1/391 or k?
-1/391
Suppose 3*x + 4702 = 5*h, -3*h - 3*x + 242 = -2584. Is 940 smaller than h?
True
Let m(q) = -2*q - 17. Let f be m(-9). Let n be 67*(-4 + f + -2). Let v = -9047/27 - n. Which is greater: v or 2?
2
Let i = -24578 + 24608. Let l = 57 + -29. Is l bigger than i?
False
Suppose 0 = -3*u - 4*v + 26, u + 13 = 2*v + v. Suppose 0 = -u*f - 2*f - 16. Are -20 and f nonequal?
True
Let h = 503 - -30. Let k = h - 532.8. Which is greater: 64 or k?
64
Suppose 0 = 2*l + 28 - 62. Suppose -l*w + 19*w = -2. Is 2/27 > w?
True
Let o = 2.89 - 700.89. Let x = o - -694. Let f be 2 + ((-1)/1 - -9). Is x <= f?
True
Let x = -1285/4 - -263417/820. Let n = x - -416/615. Which is smaller: -21 or n?
-21
Suppose 1092*d + 20 = 1097*d. Let p be d + (10 - -146)*(-2)/(-6). Suppose 2*f = -4*s + 114, 0 = -3*f - 2*s + 72 + 99. Which is bigger: f or p?
f
Let f = -8594.7 + 8713. Are 1/2 and f equal?
False
Suppose -10222*a + 7392 = -10278*a. Suppose 5*n + 532 + 148 = -5*k, 3*k + 384 = 5*n. Which is smaller: a or k?
k
Let d = -139 + 106.2. Let m = 32.74 + d. Are m and -11 nonequal?
True
Let q = -425 - -398. Let y = 27.2 + q. Which is bigger: 62 or y?
62
Let y = 30545 + -30563. Which is smaller: y or 670/3?
y
Suppose 5*t = 5*f, -3*t + 14 = 3*f - 16. Suppose 10 = -4*h + 2*s, 0 = t*h + s - 4*s + 14. Let i(r) = r - 4. Let p be i(h). Is p at least -5?
True
Let y = -895 + 975. Let j be 1 + (-6)/15*-5. Suppose j*s - 108 - 132 = 0. Are y and s non-equal?
False
Let t = -1112 - -1193. Is t < 80?
False
Let w be ((-18)/30)/((-3)/360). Suppose 253*k = 244*k - w. Which is greater: -16 or k?
k
Let z(p) = -p + 14. Suppose -4*n + 355 = 115. Suppose -3*o + 3*u + 22 = -23, 4*o = 2*u + n. Let b be z(o). Which is bigger: b or 1/10?
1/10
Let a be (-8 - -344) + -2 - -1. Let z be 329 + (0 + 12)/2. Are z and a equal?
True
Let p be (13 - (-48)/(-6)) + 0. Suppose p*d - 20 = 5*f, f = 3*d + 2*f. Are d and -315 non-equal?
True
Let q(o) = o**3 + 10*o**2 + 14*o - 7. Let f be q(-8). Suppose -f*h = -5*h - 28. Suppose 2*t = 5*t - 3, 0 = -4*c + 3*t - h. Which is smaller: c or -9/11?
c
Let b be (-2)/(-5)*-30*(-40)/96. Let u be -6 + 3 + 11688/(-5847) + b. Does -1 = u?
False
Let h be (-1 + 7)*(-38)/114. Let r be h - 10/(40/(-12)). Which is smaller: 28/15 or r?
r
Let p = 202.8 + -32.8. Let b = 247 - p. Let h = b + -66. Which is bigger: h or -1/4?
h
Let x = 15/10453 - -302972/114983. Suppose -o - 3*d - 6 = -4*o, o + 5*d = 8. Which is smaller: x or o?
x
Let n be 5 - ((1842/(-4))/(-3))/(5/(-110)). Which is greater: n or 3383?
3383
Let j(a) = a**3 - 8*a**2 - 9*a - 1. Let n be j(9). Let r = 976 - 27339/28. Is r < n?
False
Let o = -6816383/68 - -100243. Which is greater: 2 or o?
o
Let n = 270 + -223. Let c = 8.7 - 54.7. Let o = n + c. Which is smaller: o or -4/5?
-4/5
Suppose 0*u + 2*w + 2640 = u, 0 = 2*u - w - 5265. Let n be u/70 + (-4)/7. Which is greater: 109/3 or n?
n
Let h = -0.7323 + 13.7323. Is 1.29 at least as big as h?
False
Let s(o) = -o**2 + 11*o - 25. Let j be s(8). Let u be j - (-2 + (31 - -2)). Let l = 23 + u. Which is bigger: l or -2?
-2
Let g be (-2)/(-4)*(6846 + 58 - (-11 - -1)). Is -1 <= g?
True
Let l be (13 - 4) + 13/((-5642)/3904). Is 1 greater than or equal to l?
True
Let c be 4 - ((-156)/(-91) - -2). Is c less than -2/191?
False
Let w = -37 - -37. Let s = 1066 + -1100. Which is greater: w or s?
w
Let n = 153 + -154. Suppose -58 - 186 = -2*d. Let w = d - 977/8. Is w at least as big as n?
True
Let r = 2320 + -2319. Is r less than 11/259?
False
Let f be (-1 - 0)*4 + 2. Let v be 0/((-32)/(-8)) - (f + 10). Is v != -2/9?
True
Suppose -74*g = -78*g - 80. Let y = -0.03 + -0.07. Let d = y - -1.1. Which is smaller: d or g?
g
Let v(c) = c**3 + 34*c**2 - 77*c - 20. Let m be -19*(-85)/(-45) + (-2)/18. Let k be v(m). Is 161 at least as big as k?
True
Suppose 0 = -l - 3*l. Let n(g) = g**3 + 23*g**2 - 74*g + 78. Let c be n(-26). Let j be (-240)/(-561) - c/221. Which is bigger: l or j?
j
Suppose -2*h - t + 6*t + 70 = 0, -5*t = 0. Suppose -5*v = -4*i + h, i + 75 = -5*v - 3*i. Which is greater: -47/4 or v?
v
Let r = 2 - -46. Suppose -r = 2*x - 58. Let n be 3*1/5*x/3. Is n greater than or equal to -42/13?
True
Let r(u) = 19*u + 128. Let k be (4/56 + 3/7)*-12. Let c be r(k). Is c at least 15?
False
Suppose -b = 4*i - 17, -4*i + 26 = 2*b - 0. Let t be b*(3 + -1 - 47/21). Which is greater: -1 or t?
-1
Suppose -2*j - 8 = -3*x, -3*x - 2*x = 4*j + 16. Suppose x = 3*f - 2*k - 233, 2*f + 6*k = k + 187. Is f bigger than 80?
True
Suppose 4*a + 110 = -18. Suppose -2*r = y + 63, -65*r - y + 175 = -70*r. Which is smaller: r or a?
r
Suppose -20*g - 24*g = -9284. Let h = 333 - g. Which is greater: h or 123?
123
Suppose 5*x = -k - 68, 3*x = -0*x + k - 36. Let n be 1*-24 - 1 - (x - -14). Let j be (-2358)/(-13806) - (-4)/n. Is j less than -1?
False
Let g be (-1)/(-4) + 