s + h*s. Suppose 0 = -5*t + 2*t + 18. Are t and s non-equal?
False
Let b(g) = -g**3 - 6*g**2 + 7. Let a be b(-6). Let j(m) = -m**2 + 6*m + 3. Let l be j(a). Let t be (-2)/l + 8/16. Is -0.2 <= t?
True
Suppose -5*f - 2*d = -1556, d + 1707 = 5*f + 145. Which is smaller: f or 314?
f
Suppose 4*c + 21 = 11*c. Suppose c*r - 7*r - 4 = 0. Which is greater: r or 5.4?
5.4
Let d = -267 - -283. Is d > 114/7?
False
Let w = 0.43 - 8.03. Let t = w - -7.7. Let c = -0.2 + 0.3. Is c greater than t?
False
Let b = -203 - -208. Which is greater: b or 18?
18
Let c = 140 + -140. Let v = 15 - -6. Which is smaller: v or c?
c
Let v(q) = q**2 - 21*q + 132. Let a be v(12). Which is smaller: a or 73/3?
a
Let h(f) = -f**2 + 19*f - 19. Let p(k) = -k**3 - 4*k**2 + k - 2. Let n be p(-5). Let m be h(n). Which is bigger: m or -14?
m
Let y = -6/7 + 55/56. Suppose j + 2 = 2*j. Let h = j + -1. Is h at most as big as y?
False
Suppose -560*l = -567*l - 364. Is l at least -50?
False
Let k be 3*(7 - 3 - 3). Let p be 5/(-20)*k*-12. Is 5 greater than p?
False
Suppose 4 + 11 = 3*k. Suppose -k*h - 4*b + 42 = -0*b, 4 = -2*b. Suppose 0 = -3*w - 6, 5*w = 5*g - 3*g - 28. Which is smaller: g or h?
g
Suppose 0 = 3*d - 5 - 4. Suppose 5*w - d*w - 2 = 0. Are w and 5 nonequal?
True
Let m be 1550/(-75) - (-4)/6. Which is bigger: m or -24?
m
Let y(x) = -5*x**2 + 10*x - 10. Let v(z) = -z**2 + z - 1. Let c(a) = -6*v(a) + y(a). Let s be c(-4). Let i be -2*(16/s)/(-1). Which is smaller: -9 or i?
-9
Let a = 31.22 - 28.4. Let t = 0.13 + -0.31. Let h = a - t. Which is smaller: 0 or h?
0
Let w be 7/21*(-4 + 4). Let m be (-104)/18 - (-6)/(-27). Let v = 6 + m. Is w bigger than v?
False
Let p be -6 - 4182/(-36) - (-1)/(-6). Which is greater: p or 112?
112
Let m be ((-3)/(-9))/(2/(-6)). Let t be ((-84)/(-189))/((-22)/(-3)). Which is greater: t or m?
t
Let v = 12.37 + -12. Let n = v + -4.37. Which is smaller: 3 or n?
n
Let c be 2/(-12) + 100/24. Suppose -2*t + c*t - 4 = 0. Suppose 10 = -2*o, -k - t = o + 3. Which is smaller: k or -2?
-2
Let m be (3 + 3 + -5)/(2/(-4)). Let d be 1990/(-665) - m - -1. Is d smaller than 1?
True
Let j(p) = -p - 4. Let x be j(-5). Let t = -1/1048 + 4197/5240. Which is smaller: x or t?
t
Let s = -6384 - -108408/17. Let b = 821/85 + s. Suppose 3*c + 1 = -2. Which is bigger: c or b?
b
Let t be (-1)/(-3)*(-14)/(-21). Which is greater: t or 20?
20
Let k(w) = 5*w**2 + 44*w - 146. Let l(j) = 5 - 18 - 4 + j**2 + 9*j - 12. Let r(a) = -2*k(a) + 11*l(a). Let b be r(-13). Which is smaller: b or 0.04?
b
Let a = 0.3 - 0.2. Let l be 31/(-1)*(-27)/9. Let k = -2419/26 + l. Is k bigger than a?
False
Suppose 4*f = -2*q + 624, 3*q - 42 = -5*f + 889. Is q bigger than 300?
True
Let j be 5 + 292/272 + -6. Which is smaller: 0 or j?
0
Let r be (-4 - 2)*(-1)/2. Let k = r + 0. Let p be -3 + 3 - k/15. Is 1 < p?
False
Let t be 56/(-10) + 6 - (-10384)/(-2421). Let l = t + 1/4035. Which is smaller: l or -3?
l
Suppose 2*r + 8*i - 11*i = -37, 0 = -i + 1. Is -95/6 at least as big as r?
True
Let p = -1.2 - -7.2. Let a = p + 7. Is -1/3 at most a?
True
Let l = 3241329/1595 + -10161/5. Which is bigger: 1 or l?
1
Let z = -80 + 137. Let t = z + -57.2. Is -27 bigger than t?
False
Suppose 14*g - 27*g + 18*g = 0. Is g at most as big as -2/445?
False
Suppose 231*n - 4 = 235*n. Which is greater: n or 2/35?
2/35
Let h = 0.5 - 0.7. Let v = -0.46 - 0.14. Let a = v - -5.6. Is h > a?
False
Let w = -10 - -13. Let o be (-4)/w - (-51)/(-9). Do -7 and o have different values?
False
Suppose 0 = -o + 2*y - 40, -3*o = -6*o - 4*y - 100. Is -37 greater than o?
False
Suppose -19*f = 6*f + 25. Which is bigger: f or -30/13?
f
Let q be 1/(-5)*(47 + -10). Let n = -253 - -245. Is q at least as big as n?
True
Suppose 0 = -2*m - 2*q + 94, 2*m + 3*m - 185 = 5*q. Let h = m - 85/2. Is 6/5 < h?
False
Suppose 87*q = 89*q. Suppose q = 2*i + 2*t - 6*t + 22, 4*i + 4*t = 16. Which is greater: i or 5?
5
Let k(x) = -x**3 - 6*x**2 - 2*x. Let s be k(-5). Let m be (-3)/s - 3/(-10). Suppose -3*w + 4 = -4*h - 4, 10 = -2*w - 5*h. Which is smaller: w or m?
w
Let y(a) = -a**3 - 8*a**2 + 1. Let b be y(-8). Let t = 2 - b. Let g be 0/(-2)*(t + 0). Which is smaller: -2/3 or g?
-2/3
Let s = 1217.3 - 1217. Let o(q) be the first derivative of q**3/3 + 2*q**2 + 2*q + 1. Let h be o(-3). Which is greater: s or h?
s
Suppose -2*i + 7*i - 150 = 0. Suppose -z - i = -4*c, -z - 2*c = -0*z + 6. Is z < -14?
False
Suppose -4*z + 41 = -5*u, -z = 2*z + 4*u + 8. Let v be 25/6 + 1/3. Which is greater: z or v?
v
Let i = -110 + 133. Is 21 equal to i?
False
Let g be -7 + 4 + -15842*1/913. Let z = g + 224/11. Is z <= 0?
False
Suppose 0 = 5*n - 2*n. Suppose -h + 0 - 2 = n. Let s be (21/9 + -2)*3. Is s equal to h?
False
Let o be (-1)/(-4) + 585/(-36). Let v be (o/300)/(6/(-10)*-2). Which is smaller: v or 0?
v
Let z = -0.04 - -1.04. Let q = 0.73 - 38.73. Let x = 38.06 + q. Is x greater than or equal to z?
False
Let r(y) = -y**3 + 4*y**2 + 6*y - 6. Let p be r(5). Suppose 5 = 5*o - 0*o. Let j = o + p. Which is greater: 1 or j?
1
Let o be -2 - (-120)/55 - 156/495. Let l be -2 - (-2 - (3 + 0)). Suppose -l*v + 0*v = 0. Is o equal to v?
False
Let i = -41 - -46. Suppose -3*x - 7 = i*v + 65, -3*v - 47 = -2*x. Which is bigger: 2 or v?
2
Let u be 432/(-60)*(-140)/(-21). Which is smaller: -50 or u?
-50
Let m(i) be the first derivative of -i**4/4 - 16*i**3/3 - 7*i**2 + 16*i + 3. Suppose u - 3*u = 30. Let g be m(u). Is 1/4 greater than g?
False
Let n(x) = 4*x - 25. Let k be n(8). Let m be 5 - (-3 - (-2)/1). Is k < m?
False
Let s = -1.73 - 1.25. Let k = s + -0.02. Let z = 45 - 46. Which is smaller: k or z?
k
Suppose 3*n - 6*n = -2*f + 42, 0 = 3*n + 5*f + 63. Suppose -93 = 3*s + 2*l - 8*l, 4*s + 103 = 5*l. Are s and n nonequal?
True
Let r(l) = 5*l + 6. Let w be r(-6). Let u = w + 24. Which is greater: u or -1/23?
u
Let i = -219119/5418 + 364/9. Is -1 < i?
True
Suppose 4*l - 29 = 2*a + 3*l, -4*a - 4*l = 64. Let g = 161/9 - 43/18. Let r = a + g. Which is bigger: r or 1?
1
Let x(p) = -p**3 - 7*p**2 + 2*p + 14. Let r be x(-7). Suppose r = -0*o - 3*o + 18. Let h(f) = f**2 - 6*f + 8. Let w be h(o). Which is bigger: 2 or w?
w
Let a = 7.86 - 6.66. Is a greater than -0.1?
True
Suppose 0 = -d - 13 + 18. Suppose -4*f = -d*f + 1. Let h = 755/12 + -63. Is h at most as big as f?
True
Let m = 16.8 - 16.942. Let k = -1.042 - m. Which is greater: -3/8 or k?
-3/8
Let v = -724 - -656. Which is greater: -56 or v?
-56
Let q = -93 + 185/2. Let k be ((-4)/10)/((-4)/20). Suppose r = 2*r + k. Which is bigger: q or r?
q
Let o = -7231 - -7212. Let a be ((-21)/2)/(1/2). Which is smaller: a or o?
a
Let q = 0.6 - 2.6. Let o = -423 + 418. Let h = o - q. Which is smaller: h or 0.1?
h
Let z = -84 - -88.9. Which is smaller: z or -1/3?
-1/3
Let j be 10/42 - 2/3. Let o(n) = 7*n + 15. Let t be o(-6). Let q = 27 + t. Which is smaller: q or j?
j
Let s be 2*1*4/10. Suppose -3 = -4*b + 3*x, 0*b = -4*b + 4*x. Let h(v) = -v**2 + 2*v + 4. Let i be h(b). Is s < i?
True
Let s = 79 + -32. Let c = s + -27. Let x be c/6 + (-2)/6. Which is bigger: x or -7?
x
Let f = -103 + 100. Let o = -27.8 + 31. Let q = -1.2 + o. Is q bigger than f?
True
Let a = 524 + -523.9. Which is greater: 58 or a?
58
Let o be -1 - (3 + 1)*-1. Suppose -5*z - 5*c = -o*c - 30, -3*c = -z + 6. Let n = 52 + -46. Is z greater than or equal to n?
True
Let o = 46 - 183/4. Let d be (1400/48 + (-3)/(-18))*(-18)/(-24). Which is smaller: d or o?
o
Let i be 1*6/21 - 0. Let w be (-18)/63 + 10/(-14) + 6. Let r be ((10/(-12))/w)/((-46)/69). Are r and i equal?
False
Let x be 2 + -3 - 33/21. Let t be -2 - (4/12 + 10/6). Is t < x?
True
Let i = 34 + -35. Let h(f) = f + 1. Let s be h(i). Which is bigger: -1/9 or s?
s
Let x be 172/72*-2 + 2/(-9). Let u(k) = k**3 + 4*k**2 - 10*k - 15. Let l be u(x). Do l and 12 have the same value?
False
Suppose -d + 7 - 10 = 0. Let m be -6 - (-1 - -1) - d. Is m < -3?
False
Let b = -2097 + 2087. Is -143/14 at least as big as b?
False
Let x be (-48)/20 + (-1)/((-5)/10). Which is greater: x or 2/267?
2/267
Let v be 3 + 22/(-6) - (-46)/6. Which is greater: 6 or v?
v
Let o = 117 + -116. Suppose -8*b - 7 = o. Do b and -0.01 have the same value?
False
Let a = -7 - -17. Let y = a - 4. Suppose 3*c + 3 = -y. Which is smaller: c or -2?
c
Let t(f) = -f**2 - 30*f - 176. Let n be t(-13). 