ual to -0.2?
True
Let q be 3/(-5) - (-424)/40. Let b = q + -10. Let a be (b/(9/3))/(-3). Which is greater: a or -1/2?
a
Let o = -86 + 89. Let q be (-12)/(-162)*o - 407/1872. Which is smaller: 1 or q?
q
Let g(q) = -q**3 + 7*q**2 - 4*q + 6. Let o be g(6). Let z be 24/(-16) - o/(-4). Suppose v + 4 = z. Are -2/13 and v equal?
False
Let o = -5.6 + 5.8. Let w = 11 + -11.2. Let t = w + 8.2. Which is greater: o or t?
t
Suppose -c + 75 = -3*z - 66, 2*c - 4*z - 276 = 0. Suppose -c = -2*m + 4*m. Let x be 3/9 + 4/m. Which is bigger: -1 or x?
x
Let h be -7 + 12 + 0 + -3. Suppose -h*a + 6 = 5*d, -5*d = 4*a - 5 - 17. Which is smaller: a or 7?
7
Suppose 5*g = -4*j - 307, g - 3*g = -4*j + 134. Let v be (5 + 116/(-16))/((-2)/(-56)). Is v at least g?
True
Let d be (-8 - -4)*(-1)/2. Let y be (-3)/((3/d)/(-1)). Let w be -5 - 44/(-8) - (-1)/(-4). Is w less than or equal to y?
True
Suppose q - 2 = -4. Is q equal to 14?
False
Let k(o) = 110 + 6*o + 90 - 134. Let b be k(-11). Are b and -10/23 equal?
False
Let l(q) = q**2 - 2*q + 3. Let d be 0/(7/((-28)/8)). Let w be 2 + d + 4 + -2. Let g be l(w). Which is bigger: 10 or g?
g
Suppose 0 = -4*x - 5*x + 495. Suppose -9*r - x = -14*r. Which is smaller: r or 9?
9
Let d = 2/429 - 461/6864. Suppose 4*h = -6 - 26. Let w = h - -7. Are w and d non-equal?
True
Let a(d) be the first derivative of -2*d**3/3 + d**2/2 - 41. Let v = 1 - 0. Let z be a(v). Which is greater: 0 or z?
0
Let a = -17/42 - -4/21. Which is smaller: a or 6/13?
a
Let r = -15.1 + 16. Let m = -2.1 + 2. Which is greater: r or m?
r
Let i(p) = p**2 - 6*p - 11. Let y be i(8). Suppose y*v + 0*b + 13 = -4*b, -3*b - 3 = -3*v. Is -7/3 less than v?
True
Suppose -2*q + 8*j = 3*j, -j = -2*q + 8. Suppose 0 = -3*v - 5*i + 40, -25 + q = -5*v + i. Which is greater: v or 7?
7
Let f = -20 + 41. Let c be ((-280)/f)/(4/(-6)). Which is bigger: 21 or c?
21
Let r = 0.27 + -0.47. Let w be (-17)/119 + (69/63 - 1). Which is greater: r or w?
w
Suppose 0 = -3*d - 639 + 639. Are -2/31 and d non-equal?
True
Let y = 0.15 - -0.09. Let n = 0.16 - y. Let q = 0.58 + n. Is 0.1 greater than q?
False
Let v(f) = -f**3 + 6*f**2 + f + 2. Let d be v(6). Suppose 4 = -2*n - 4, 4*j + 3*n + d = 0. Is 2/3 at least as big as j?
False
Suppose -2*h = -0*h + 6. Suppose -5*s + 2*s = 0. Suppose s*i = i + 1. Is i greater than h?
True
Suppose 0*q = -3*q + 126. Let s be 1/(-7) - (-468)/q. Let b be 0/s*(1 - 0). Which is smaller: 1/4 or b?
b
Let q be (69/9)/(-18 + 1). Let i = q + 1/3. Let g = -0.8 + 0.9. Which is bigger: i or g?
g
Suppose -5*q - 2*j = -417, 63 = q + 3*j - 10. Let t = 84 - q. Which is bigger: -3/4 or t?
-3/4
Let r be 11/(484/33) + (-7585)/9900. Which is bigger: -1 or r?
r
Let t = -23 + 29. Which is bigger: t or 1?
t
Let j be ((-4)/(-10))/(6/60). Let l be 1/((-2)/30*-3). Suppose -l*a + 0*a = -20. Does j = a?
True
Let s be 3/(18/48) + (-2)/1. Let c(u) = u**3 + 12*u**2 + 11*u + 5. Let g be c(-11). Are g and s nonequal?
True
Let c(x) = -x**2 - 9*x - 16. Let g be c(-5). Is 34/7 < g?
False
Let c(f) = -15*f + 181. Let g be c(12). Is -2/401 less than or equal to g?
True
Let c = -9 + 22. Suppose -n + 0*k - c = -2*k, -17 = -n - 4*k. Let i = 2 + n. Which is greater: 2/9 or i?
2/9
Suppose 5*z + 381 = 3*u - 0*u, 4*u - 476 = -4*z. Is u bigger than 123?
False
Let g = -28 + 16. Let c = -18045 + 18037. Which is greater: c or g?
c
Let v be 15/(-75) + (-18)/(-15). Let t be 26/10 + 4/10. Is t at most v?
False
Let f = 34.3 + -32.9. Which is greater: f or 7?
7
Suppose 1 = 3*a - 5. Suppose 0*k + 2*k + a = 0. Let g be k/2*(-3)/(-6). Which is greater: -1 or g?
g
Suppose -60 - 24 = p. Let r be -3*(p/189)/((-124)/(-6)). Let j = 3 - 2. Is j less than r?
False
Suppose -5*h = -5*v + 30 + 170, 2*h = -2*v - 88. Is -42 at most h?
True
Suppose -1264 = -5*g + 2*f, -5*g - 5*f - 493 = -7*g. Which is greater: g or 253?
g
Let g = -33 - -69. Let d be 2/8 - 29/g. Are -2 and d equal?
False
Let m = -37 - -35. Let z be (m + 4/2)/2. Is z at least 5/6?
False
Let p(j) be the third derivative of -j**4/24 + 5*j**3/3 + 5*j**2. Let k be p(7). Suppose m + k = -0. Which is bigger: -4 or m?
m
Suppose -4*z = 3*j - 10, 3*j + 26 = 7*z - 2*z. Suppose p + z = -3*u + 4*u, -2*u + 8 = 5*p. Is p greater than or equal to -5/19?
True
Let v = -152 + 1671/11. Let n be ((0/(-8))/(6/2*1))/(-6). Is n less than v?
False
Let m(a) = a + 4. Let q be m(-3). Let r be (-3 + (-332252)/(-110740))*-410. Let w = r + 18/113. Are q and w unequal?
True
Let q = 0.799 + 0.301. Which is greater: 23 or q?
23
Let g = 48 - 56. Let s = 9/14 - 1/7. Which is greater: g or s?
s
Suppose 234*b - 242*b = -144. Is b at most as big as -2/3?
False
Let f be (-96)/(-837) - (-23)/(-207). Which is smaller: -1 or f?
-1
Let r = -102 - -138. Is r equal to 37?
False
Let l be 92/(-161) + (-1)/((-21)/54). Which is smaller: l or 79?
l
Let f = 14 - 18. Let u = f - -12. Let d = -23 - -22.9. Is u not equal to d?
True
Let x = -69 - -80. Let u = -0.009 + 6.009. Is x >= u?
True
Let m = 8.71 - -0.29. Let f = -10 + m. Which is bigger: f or -23?
f
Let q(o) = 10*o**2 + 17*o + 442. Let l be q(-11). Is l >= 1467?
False
Let c = 1888/9 + -210. Let g = c + -1/9. Suppose 6*d = 8*d - 2. Which is smaller: g or d?
g
Let s = 43475/6 - 19816/3. Let m = s + -93517/146. Is 0 > m?
True
Let f be 0*(4 - 7/2). Let i = -2834/3 - -953. Let n = 17/2 - i. Do f and n have the same value?
False
Let k = -5 + 3. Let w = -152 - -151.97. Which is bigger: k or w?
w
Let s = 0.1 - 0.1. Let f = -0.04 + s. Let h = 0.0254 + 0.1746. Is h != f?
True
Let j = -24 + 23. Are j and 109 non-equal?
True
Let m = -599/15 + 40. Suppose 5*k + 29 = 46*f - 42*f, 2*k + 2*f - 10 = 0. Which is greater: k or m?
m
Let f be (-4)/(-9)*414/4508. Which is smaller: f or -1?
-1
Let s = -1040 - -15592/15. Let w(y) = y + 7. Let l be w(-9). Which is smaller: l or s?
l
Suppose 52*f = 56*f - 96. Which is smaller: f or 26?
f
Let j be 1 + 5/(-4) + (-1304)/(-2912). Which is greater: j or 1?
1
Let k(v) = -v - 17. Let q be k(-16). Let u(j) = 2*j - 5. Let s be u(6). Let p be (0 - -2)/((-7)/s). Which is greater: q or p?
q
Suppose -6*i + 2 + 10 = 0. Suppose i*w + w - l = 2, -8 = 5*w + 4*l. Is w >= -3/5?
True
Let a(n) = 5*n**2 - 10*n + 7. Let l(c) = 14*c**2 - 29*c + 21. Let t(q) = 11*a(q) - 4*l(q). Let w be t(7). Which is smaller: w or -15?
-15
Let i be (-9)/(-63) - (-2754)/(-21). Let l = -114 - i. Is 17 greater than or equal to l?
True
Suppose 0 = j + j - 2. Let g = 231 - 4159/18. Which is smaller: g or j?
g
Let k be 899/(-93) + (10 - 1). Which is greater: 1.37 or k?
1.37
Let f be (-9 - 65/(-15))*-42. Which is bigger: f or 198?
198
Suppose 0 = 5*z - 4*z - 36. Let t be (-338)/(-18) - (-8)/z. Which is smaller: t or 18?
18
Let t(n) = n**3 + 12*n**2 + 10*n - 14. Let a be t(-11). Let x be 5 + -3 + a/1. Which is bigger: x or 3?
3
Let n = 330 + -303. Suppose 21*s + 28 = 22*s. Which is greater: n or s?
s
Suppose 2*l + 8 = -0*l. Let b(t) = 2*t**2 - 15*t + 9. Let f be b(7). Suppose 9 = -f*y - 1. Is y <= l?
True
Suppose -4*z + 170 = 3*l - 3*z, 0 = -2*l + 3*z + 117. Let k be (-76 - -82)*2/((-4)/(-19)). Are k and l unequal?
False
Let g = -19.969 + -0.031. Let i = g - -20.1. Let f be (-744)/(-30) + 2/10. Which is greater: f or i?
f
Let s = 92 - 53. Are 2 and s equal?
False
Let w be 8/10 - 0 - 3033/(-15). Which is smaller: 204 or w?
w
Let n(r) = 5*r**2 + 20*r + 6. Let y be n(-4). Suppose -y*p + 3 - 33 = 0. Which is greater: -1/6 or p?
-1/6
Suppose 0 = -3*m + 4*v - 174, 7 - 22 = -5*v. Which is bigger: m or -14?
-14
Let j = 0.05 - 1.75. Let a = -4.7 - j. Which is bigger: -4 or a?
a
Suppose 5*a + 2*w = 12, 0 = -2*w - 54 + 46. Suppose 0*c + 16 = 4*c. Are c and a non-equal?
False
Suppose 2*k + 2*s = s - 5, -11 = 3*k + 5*s. Let x(j) = -j**3 + 2*j**2 - 2*j + 11. Let i be x(0). Which is smaller: i or k?
k
Suppose -4*m - 4*y - 89 + 25 = 0, 3*y = 0. Which is smaller: -1/3 or m?
m
Suppose 2*q + 1860 = 8*q. Suppose 7*w = -3*w - q. Are w and -30 non-equal?
True
Suppose -2 + 6 = -2*y, 0 = 5*g - 5*y - 80. Suppose c + 88 = 9*c. Let u(q) = -q**3 + 12*q**2 - 11*q + 13. Let k be u(c). Is g smaller than k?
False
Let a be 9/(-12) + 603/780. Which is smaller: -1 or a?
-1
Let s(c) = 4*c**2 + 5 - 4*c**2 - 2*c**2 - 1 - 12*c. Let t be s(-6). Suppose -7 = -3*v - 1. Is v greater than or equal to t?
False
Let z be (-12)/(-32)*5*(-20