False
Let r be ((-4)/(-408)*4)/((-8)/6). Is r less than or equal to -1?
False
Let x be -3*1*(-6)/(-27). Which is smaller: -3 or x?
-3
Let t(n) = n**2 - 15*n - 6. Let u be t(15). Is u at most as big as -6?
True
Let w = 285 + -862/3. Which is bigger: w or -1?
-1
Let k = -16 + 20. Suppose a + k*a = 5. Which is bigger: 2/5 or a?
a
Let j = 147 - 146.96. Which is smaller: j or 0.3?
j
Suppose 5*k = 25, -5*o + 5*k - 76 + 406 = 0. Which is greater: o or 69?
o
Let z be (-829)/3135 - (-1)/3. Let u = -2/71 - 32/3905. Let t = z - u. Is t less than -1?
False
Let j = 0.4 - 0.3. Let h = -1.2 + 1.3. Let z = h + j. Which is greater: 0.1 or z?
z
Let y = 694/411 - 3/137. Let l be 1/(-2)*(-12)/2. Which is smaller: y or l?
y
Let v(g) = 3*g**3 - 21*g**2 - 2*g - 5. Let o be v(7). Suppose -x - 4*x - 90 = 0. Is x <= o?
False
Let d(v) = -v**3 - 7*v**2 + 9*v - 6. Let j be d(-8). Which is smaller: j or -2?
j
Let y(v) = 3*v - 20. Let f be y(7). Which is greater: f or -1/4?
f
Let b = -4 + 3. Let j = -1 - b. Let p be 3/(-4) + j + 1. Which is smaller: p or -1?
-1
Let r(c) = -c**3 - 7*c**2 - 7*c - 4. Suppose 6 = -3*u - 12. Let m be r(u). Which is greater: m or 3?
3
Let h(f) = 35*f - 1. Let m be h(-1). Let d = 466/13 + m. Which is bigger: 1/4 or d?
1/4
Let c = 1412/6273 - 2/697. Let z be (3/(-6))/((-1)/2). Let a = 1 - z. Which is greater: a or c?
c
Let b = 94 + -114. Which is smaller: -24 or b?
-24
Let f be (42/(-4))/(-7)*2. Suppose 0 = -d - 1 + f. Suppose 3*a = -2*g - a + 12, -g = -5*a + 15. Is d < g?
False
Let p = -1.9 + 7.9. Let m = 0.3 - 0.3. Is m < p?
True
Let p = 1 + 0. Let r = 1 - p. Is 0 greater than or equal to r?
True
Suppose 25 = 4*b - 15. Are b and 9 non-equal?
True
Suppose -53 = b + 2*j, -j - 251 = 5*b + 2*j. Is -50 smaller than b?
True
Suppose -2*x - 7 = -3*i, 4*i + 0*x = -3*x + 15. Suppose 0 = 5*v - 13 + i. Suppose l = -1 + v. Is 0 at least as big as l?
False
Let q = 141 + -144. Is q bigger than -1.3?
False
Let c be (-76)/5 + (-3)/(-15). Let u be (-19)/(-15) + 9/c. Which is greater: 1 or u?
1
Let q = 2339/2 + -1213. Are q and -43 non-equal?
True
Let u = 0.1 + -0.2. Let t = -0.12 + 6.12. Let j = 6.1 - t. Is j equal to u?
False
Let p = -0.27 - -0.14. Which is smaller: -2/9 or p?
-2/9
Suppose -5*j - 56 = -0*x - 3*x, 5*j - 46 = -3*x. Which is greater: 18 or x?
18
Let l = -2.3 - -0.3. Which is bigger: l or 2/9?
2/9
Suppose -3*x - 4 = x. Let i be (25/10 - 4)/12. Is x != i?
True
Let o be (12/388)/(3/(-2)). Is 1 bigger than o?
True
Let q(c) = -2*c - 2. Let d be q(1). Let i be ((-3)/(-3))/(4/d). Which is smaller: i or 1/4?
i
Suppose -16 = 5*z - 1. Suppose -n = -0*n - 2. Suppose 3*v - 14 = 5*v - 3*a, -a + 10 = -n*v. Which is smaller: z or v?
v
Let m be -4 - (53/(-12) + (-4 - -3)). Which is smaller: m or 2?
m
Let p = -12 - -13. Suppose -4*v - 1 = 3*f, -v + 2*f = 4*f - p. Which is smaller: v or 1/4?
v
Let n(m) = -m**3 + 5*m**2 - 8*m + 7. Let g be n(3). Which is smaller: -3/26 or g?
-3/26
Suppose 4*x + 2*i - 10 = 0, x - 2 + 1 = i. Which is greater: 0 or x?
x
Suppose 0 = 2*g - 0 - 4. Let u be g/12 + (-4)/6. Let r = 0.2 - 1.2. Which is smaller: u or r?
r
Let m be 5/(-20)*4 + 0. Let g = 131/10 + -13. Are m and g equal?
False
Suppose 0 = 4*y - 10 + 2. Are 7/6 and y unequal?
True
Suppose 0 = -v - 2*u + 10, 4*v - u = -0 - 5. Suppose y + 4*f + 0*f = -3, -5 = -4*y + f. Suppose 5*q = 4 + y. Which is smaller: q or v?
v
Suppose -55 + 19 = h. Which is smaller: h or -37?
-37
Let g be 6/(-9) - 57/9. Which is greater: g or -11?
g
Let k be (-6)/(-9)*3*6. Suppose 0 = -3*x + 3*v + k, 4*x - 7 = -0*x - 5*v. Is 2 greater than x?
False
Let f be 98/42*(-1 - 20). Is f <= -48?
True
Let i = 1.77 + -0.27. Are -0.1 and i nonequal?
True
Suppose -13 = -5*g + 2. Suppose -1 = j + g. Which is bigger: j or -5?
j
Let c(s) be the first derivative of s**3/3 + 7*s**2/2 - 7*s + 2. Let i be c(-8). Is i greater than 2?
False
Let h = 0.6 + -0.9. Let k = -59/4 - -15. Does h = k?
False
Let m be -4 - (-4 - -5) - 28. Is m less than -34?
False
Let o = 2 - 2. Is o not equal to 0.14?
True
Let u = 6 + -5.95. Let f = u + 0.35. Is f at least -0.1?
True
Let m(s) = -2*s**3 - 9*s**2 - 5*s - 4. Let c be m(-4). Are c and -4/13 unequal?
True
Let t be (3/(-4))/((-54)/72). Is t at most as big as 1/11?
False
Let i(t) = -t + 1. Let n be i(-2). Suppose n*m - 2*a = 8, -3*m + a = -1 - 3. Which is smaller: -1/6 or m?
-1/6
Suppose -t - 5*l = -43, 6*t = 4*t - 2*l + 54. Let z = 68/3 - t. Is z less than -6?
False
Let r = 1967/15 - 131. Is r less than 0?
False
Let f = -23 + 22. Is f greater than -1?
False
Suppose -f + 0*f + 4*s = -6, 5*s = -3*f - 33. Suppose 0 = 2*x - 2, -a = -2*a - 3*x + 9. Let g = f + a. Which is smaller: 2 or g?
g
Suppose -2*d - 8 = -0*d. Let x be 6/d*(-2)/3. Which is smaller: x or -2/11?
-2/11
Let p = 2 + -3. Let t = 2 + p. Let s = 7 - 4. Do s and t have different values?
True
Let m be (-4 - (-3 + -1))/(-2). Suppose 0 = 7*u - m*u - 21. Let t be (1 - 10/2)/(-1). Is u greater than or equal to t?
False
Let c(r) = r - 21. Let j be c(5). Is -16 greater than j?
False
Suppose -2*q - 4*v + 22 = 0, 3*q + 4*v = -0*q + 25. Suppose q*g + 0*g + 10 = d, -4*g + 3*d - 20 = 0. Are g and 0 non-equal?
True
Suppose 0 = 5*z + 2*d + 4, -4*z - d - 2*d - 6 = 0. Let j = -2 + -17. Let m = -39/2 - j. Which is bigger: m or z?
z
Let w = -4.98 + -0.02. Is 0 at least w?
True
Suppose -65 = -2*u - 63. Is 12/19 at least as big as u?
False
Let b(s) = s**3 + 6*s**2 - 6*s - 9. Let r be b(-7). Let j be 12/(-8)*r/12. Is j bigger than 10/9?
True
Let j = 49 + -52.7. Let g = 0.3 - j. Let z = g + -4. Are 0 and z equal?
True
Let o = 1.3 + -1.1. Which is smaller: o or -1/9?
-1/9
Suppose -4*y + 3*z = 40 + 3, -4*z = 4*y + 8. Which is smaller: y or -2?
y
Let a be (40/30)/(2/6). Suppose -3*o = 4*v - a + 2, -5*o = -2*v + 14. Is 2 at least v?
True
Suppose -y + 21 = -5*t, 2*y + 2*t - 6 = 3*t. Let s be 2*(1 + 1/(-2)). Let x be (s/2)/((-3)/2). Is x less than y?
True
Suppose -3*y = i - 15, -i + 10 = -3*i + 2*y. Let h be (1/28)/((-2)/(-12)). Is h greater than or equal to i?
True
Let w = 1 - -1. Suppose 0*d = w*d + 4. Let s be ((-3)/2)/((-1)/d). Is s less than 0?
True
Suppose 3*a - a - u + 13 = 0, 0 = -a - u - 14. Let o be (-2)/a + (-39)/54. Which is greater: -1 or o?
o
Let l(c) = 1 - 4 + c + 0*c - 4. Let u be l(10). Suppose 0 = 4*s - u*s + 2. Which is smaller: s or -1?
s
Suppose -p - 15 = -4*p. Let x(f) = f**3 - 6*f**2 + 5*f + 5. Let h be x(5). Is p < h?
False
Let b be (1994 + 2)*(-2)/(-36). Let o = -111 + b. Which is smaller: o or 0?
o
Let m = 5 - 3. Is -2/19 >= m?
False
Suppose 25 = -2*p + 3*p. Suppose -p = 5*o, 4*q - 5*q + 5*o + 23 = 0. Let k be (q + 9/3)/1. Is 3/4 less than k?
True
Let q(c) = -c - 9. Let j be q(-14). Suppose -3*a - 2 = 5*k - j, 5*k - 1 = -a. Which is greater: k or -3/13?
k
Let j = 1211/11 + -110. Which is smaller: 1 or j?
j
Let j(d) = d**3 + 6*d**2 - d - 5. Suppose 4*y + 30 = 6. Let r be j(y). Which is greater: r or 1/4?
r
Suppose -6*o - 24 = -3*o. Let c = -7 - o. Is c greater than or equal to 1?
True
Suppose -2*n = 2*n. Let r be (-4 + 5 - 1)/(-1). Is r >= n?
True
Suppose -2*c + c - 23 = 4*u, -2*c - 25 = u. Which is greater: c or -10?
-10
Let u be (-3)/(-1) + (-76)/(-95). Which is bigger: 4 or u?
4
Let z be (-18)/(-180)*1*124. Which is greater: 13 or z?
13
Suppose 2*l - 4*g + 46 = 0, -170 + 38 = 4*l + 2*g. Let a = l + 275/9. Is a < 0?
True
Suppose -4*v = -3*k + 80, -3*k = -4*v + 5*v + 35. Let i = 12 + v. Is i at least as big as -10?
False
Let r(m) = -m + 2. Let i be r(0). Suppose -5 = 3*t - i. Is t greater than -3?
True
Suppose -4*i = -2 - 2. Let s = 9 + -3. Let l = 9 - s. Which is smaller: i or l?
i
Let m(z) = -3*z + 16. Let f be m(4). Which is smaller: f or 1?
1
Let c = 0 - -1. Let q = 7 + -3. Let r be (-2 - -3) + q - 3. Is r equal to c?
False
Let l = 674/325 + -28/13. Is l not equal to -0.3?
True
Let f be (1 + -2*1)*1. Let m = 3 + f. Suppose m*r + c + 3 = 0, 0 = -0*r - 2*r + c + 3. Which is smaller: 1/4 or r?
r
Let j = 18 + -17. Let q = 2 - 2. Let k = q - j. Which is smaller: 2/9 or k?
k
Let o = 7 + -7.02. Let i = -0.08 + o. Is i > -6?
True
Let l = -2/17 + 1/153. Let h(z) = -z - 3. Let k be h(-3). Do k and l have the same value?
False
Let n = -4 + 0. Let r = -3.9 - n. Let d be (3/(-15))/(2/(-5)). Which is smaller: r or d?
r
Let z = -29081/1410 - -7/28