o(-5). Is r less than 6/7?
False
Let f = -124 - -135. Let i = 80/7 - -1/14. Is f bigger than i?
False
Let p = 12 - 8. Let g = 21 - 11. Suppose 5*h = k - 0*h + g, 2*h - p = -4*k. Which is bigger: -2/9 or k?
k
Let b = 55 - 65. Let l be 2/(-6) - 635/75. Which is smaller: l or b?
b
Suppose 7 = 4*i - 41. Let j = 12 - i. Which is smaller: -3/32 or j?
-3/32
Let c be (-4)/16 + 1/4. Suppose c*o - o + 3 = 0. Suppose -3*i - 52 = 5*x, -2*i = -0*i + o*x + 33. Which is smaller: 0.1 or i?
i
Let m = -38 + -12. Let j = m - -58. Which is bigger: j or -2/5?
j
Suppose 4*a - 420 + 2224 = 0. Let p = 101937930625/225999367 + 2/6108091. Let v = a + p. Is v <= -1?
False
Suppose 253 + 311 = -r. Let k be (-2 + 5)/9 + 164/r. Let z(i) = -i**3 + 2*i**2 + 3*i. Let j be z(3). Is j smaller than k?
True
Suppose -4*n = -16*n + 324. Is n at least 25?
True
Let i be 9/15 - (95/(-325))/(-1). Is i at least 0?
True
Suppose -2*z - 9 = 5*l, 3*z - 4*l = 7*z. Let c = -19 - 5. Let h be c/(-14) + (-4)/(-14). Which is smaller: h or z?
h
Suppose 20*b = -31*b + 21420. Is b > 418?
True
Let w be -7 - -50 - (2 + 0). Suppose 3*o - o - w = s, -67 = -3*o - 4*s. Suppose b = 4*m + o, -4*b - 2 = m - 1. Does 4/9 = b?
False
Let z be 4/6 + (-80)/12. Let u = z + 7. Let o = 104 - 937/9. Is u <= o?
False
Let k(p) = p**2 - 4*p - 22. Let g be k(8). Let b = -12 + g. Suppose 3*l + 2 = 5. Is l bigger than b?
True
Let c be (1 - (-22)/(-2)) + -4. Let y(d) = -d - 8. Let m be y(c). Which is smaller: 4 or m?
4
Let z be ((-6)/(-22))/((-6)/(-892)). Let n = z + -40. Suppose -396*b - 399*b = -801*b. Is b at least n?
False
Suppose -i - 4402 + 1182 = 0. Let g be -4*((-8)/14 + (-1945)/i). Which is bigger: g or -1?
g
Suppose 0 = 2*q - 5*x + 16, 3*q - 30 + 4 = -5*x. Let m be (2/(-6))/(2/(-12)). Is m greater than or equal to q?
True
Suppose 0 = 5*z - 4*v - 42, -2*v - 9 = v. Let x be ((-3)/24*-36)/(2/8). Let q be 4/z + 6/x. Which is bigger: 3 or q?
3
Let o = -521 - -3791/7. Let b = 13673/665 - o. Which is smaller: -1 or b?
-1
Let r = -52 + 43. Let c = 3 + r. Is 1/7 less than or equal to c?
False
Let s(k) = -8*k**3 - 2*k**2 - k. Let z be s(-1). Suppose -z*p = -4*p. Suppose 5*w + w + 6 = p. Is 2/41 not equal to w?
True
Let n(j) = j**2 - 6*j + 9. Let x be n(5). Suppose -6*p = -x*p. Is p bigger than -1/9?
True
Let t be 4*1*((-24)/54)/4. Which is smaller: 1 or t?
t
Suppose -86 = -4*v - n - n, -2*n = -5*v + 94. Let s be ((-8)/20)/((-4)/v). Is 3/2 <= s?
True
Suppose 0 = -5*x + 2*o + 3, -x - 3*o = 21 - 8. Let p(v) = -v**3 - 7*v**2 - 5*v + 4. Let u be p(-6). Let a be 1/(7/u + -2). Which is greater: x or a?
a
Let h be (6/15)/((-18)/(-50)). Let i be (-5)/210*(-582)/(-9). Let j = i + h. Is 0 < j?
False
Let f = -3.575 - 0.025. Let t = 0.4 - f. Which is smaller: t or 2?
2
Suppose -2*r + r - 8 = 0. Let h be 7/4*(3 - -5). Suppose 0 = k + k + h. Is k not equal to r?
True
Let q = -195.1 + 195. Which is bigger: q or 23/6?
23/6
Let t(h) = h + 5 - 22 + 9. Let b be 3 + 3 + 2 + -1. Let d be t(b). Which is smaller: 3 or d?
d
Let u = 0.09 - 16.09. Let c = 14.8 + u. Let v = 1.5 + c. Which is smaller: 1 or v?
v
Let l(a) = 71*a**2 + 5*a + 5. Let v be l(-1). Is v < 71?
False
Let c(o) = -5*o**3 + 30*o**2 - 2*o - 11. Let b be c(6). Let l(m) = 3*m**3 + m**2 + m. Let u be l(-2). Which is smaller: u or b?
b
Suppose 5*a - 114 + 544 = -3*y, 3*y + 454 = a. Let f = y + 126. Is -25 smaller than f?
True
Let h = -22 + 17. Let g be 306/(-16) - h/40. Which is bigger: g or -20?
g
Let c(g) = g + 2. Let a be c(-2). Let i(j) = j**2 - 8*j + 5. Let d be i(8). Suppose a*f - 3*f = -3*h + 6, 30 = d*f + 5*h. Which is smaller: 3 or f?
f
Suppose -4*i - 4*r - r + 24 = 0, 4*r + 12 = 2*i. Let s = i + -4. Suppose -1 = m - s. Is 1 at least as big as m?
True
Let m be ((357/15)/17)/(2/10). Which is greater: 47/6 or m?
47/6
Suppose 18 = 4*j - 18. Let s = j + -2. Let d(p) = p**2 - 8*p + 6. Let m be d(s). Which is greater: 1/14 or m?
1/14
Let d = -0.9 - -0.6. Let p = 0.6 + -21.6. Let c = p - -23. Which is bigger: d or c?
c
Let c be (-1295)/15 - (4 - (-14)/(-3)). Which is smaller: c or -87?
-87
Let g be (-1)/((-3)/(-18))*20/5. Which is greater: g or -306/13?
-306/13
Let g = 1190324/329 + -3618. Is 0 equal to g?
False
Suppose 4*q + 3*u = 751, 3*q = -2*q - 3*u + 941. Let f be q/28 - (-24)/(-84). Is 8 less than f?
False
Let u = -5.85 + -0.15. Let b = -19 - -19.05. Let f = 0.15 - b. Is u at least as big as f?
False
Let s = -435 + 441. Which is bigger: -2/73 or s?
s
Let z = -9/247 + -86917/741. Which is greater: -116 or z?
-116
Let z = -108 - -320/3. Do 0 and z have different values?
True
Let f be (-3 - (6 + -3))/(-2). Suppose -5*o + f - 18 = 0. Let h be -2 + 3 + o/5. Which is greater: 2/9 or h?
h
Let l = -1 + 2. Let c(u) = -u**3 - 23*u**2 - 45*u + 12. Let o be c(-21). Let k = o + -74. Is l smaller than k?
False
Let p = -11.04 - -11. Let h = p + 0.1. Which is smaller: h or 0.1?
h
Suppose -2*z = -2*l + 20, 0 = z - 3*l + 10. Let y(d) = 25*d - 402. Let v be y(16). Which is smaller: z or v?
z
Suppose 18*l + 40 = 10*l. Is -5 < l?
False
Suppose 2*x - 49 = -a, a = -x + 2*a + 23. Which is smaller: 185/8 or x?
185/8
Let b(x) = -55*x**3 - 6*x + 7. Let f be b(2). Is f equal to -445?
True
Let m(k) = -k**2 - k + 1. Let a(s) = 2*s**2 + 2*s - 2. Let u(t) = -a(t) - m(t). Let c be u(-2). Let o be (-13)/(-10) - 2 - c. Which is smaller: o or 1?
o
Let l be 98528/(-16424) - -3 - -3. Which is smaller: l or 1?
l
Suppose -59*p + 49 = -69. Do p and 2 have the same value?
True
Suppose 2*o = 4 + 34. Let m = -26 + o. Let i = 4 + -8. Is i equal to m?
False
Let p be (8/(-14))/((1680/98)/12). Are -1/138 and p equal?
False
Let o(l) be the first derivative of l**3/3 + l**2 - 4*l + 188. Suppose 1 + 7 = 4*g. Let i be o(g). Which is greater: i or -0.1?
i
Suppose 0 = -3*c + 28 - 37, 3*j - 5*c = 30. Suppose -4 - 12 = -4*t. Are j and t nonequal?
True
Suppose -8*t - 48 + 152 = 0. Suppose 2*h - 13 = -t. Which is smaller: 3/110 or h?
h
Let i be (-5 - -2) + -1 + 2. Let q(t) = t + 5. Let p be q(-5). Do p and i have the same value?
False
Suppose 4 = 2*l + 3*n, -3*l + n + 25 = -4*n. Let d = 24 + l. Does 29 = d?
True
Suppose 0 = -2*c + u - 37, 0*u = 2*c + 4*u + 32. Let i(f) = -f**2 - 5*f. Let j be i(-7). Are c and j unequal?
True
Let d = 1.37 + -56.27. Let l = -55 - d. Which is smaller: l or -1?
-1
Let u = -330 + 305. Let i(k) = -k**3 + 3*k**2 + 5*k + 1. Let w be i(5). Which is greater: w or u?
w
Suppose 5*o = 2*x - 122, 4*x + 0*o - o - 244 = 0. Is 429/7 greater than or equal to x?
True
Let j = -0.17 + 65.17. Let t = j + -72. Which is bigger: -1/3 or t?
-1/3
Let k(v) = -v + 3. Let d be k(8). Suppose -i + 0*i + 4*o - 2 = 0, 0 = 5*i - o + 10. Let q be (-74)/(-10) - i/d. Are 7 and q nonequal?
False
Suppose 0 = 37*x - 165 - 131. Which is smaller: x or 2/15?
2/15
Let s(o) = 2*o**2 - 11*o + 11. Let l be s(5). Let t = 11 + -1. Suppose 5*h - t = 30. Is l >= h?
False
Let t = 1363/4 - 343. Suppose -4 + 2 = -n. Suppose 5*z - 4*z + f = -n, 5*f = 0. Which is smaller: t or z?
t
Let u be -1 + 2 + 3/6. Let v = 0.5472 - -0.0528. Which is greater: u or v?
u
Let o = 22 - 14. Suppose -c - 4*u = -1 + 7, c - 18 = 2*u. Let p be 65/c + (-2)/(-4). Which is bigger: o or p?
o
Let y be (-8)/(3/2 + -1). Let q = 27/2 + y. Let o = -0.0483 - 0.0517. Is o <= q?
False
Let a(g) = -2*g**3 + 8*g**2 + 11*g - 23. Let x be a(7). Let y = 11759/49 + x. Do 1 and y have different values?
True
Suppose -2*v - 12*z + 9*z + 4 = 0, 0 = -4*z. Which is greater: v or 127?
127
Suppose 2*z - 2*o - 4 = 0, o = -3*z - 7 + 33. Suppose -b = -3*l - 4, l = -4*b + 4*l + z. Which is smaller: b or 0?
0
Let z(p) = 2*p**2 - 32*p + 103. Let x be z(13). Is 1 equal to x?
False
Let u = 9.34 + -9.24. Let p = -77/10 - -8. Which is smaller: u or p?
u
Let d = 6.43 + -1.23. Let r = d + -6.2. Is r greater than 2/7?
False
Let x = -1.3 + 0.5. Let a = x - -11.8. Let p = 14 - a. Which is greater: p or -3?
p
Let o = 0.0023 - -22.0977. Let h = o + -22. Is h smaller than 4?
True
Let t = 1202 + -1285.9. Let q = 84 + t. Let g = 3.7 - -1.3. Which is greater: g or q?
g
Suppose 3*d - 193 = 4*n, -209 = -8*d + 5*d - 4*n. Which is smaller: 69 or d?
d
Let r = -4/421 - -1975/74938. Which is greater: r or -1?
r
Suppose 3*c - 4630 = -5*a, -2*a - a + 2*c + 2759 = 0. Let o be 39/a*(-4)/(-6). Suppose -3*t - 7 = -10. Which is smaller: 