ch is bigger: 1 or t?
1
Let t(n) = -4*n - 1. Let r be t(1). Let b be (-22)/4 + 2/4. Is r > b?
False
Let z be (4/6)/((-8)/(-12)). Suppose b - 2*a - 12 = 0, -4*a + 21 = b - 9*a. Let v be (2/b)/(7/12). Which is smaller: z or v?
v
Let j(h) be the first derivative of h**2/2 - 6*h - 2. Let c be j(5). Suppose 0 = 4*p - 4 + 8. Is p != c?
False
Let s be (-3)/((-108)/(-52)) - -1. Let y = -31/4 - -163/20. Which is bigger: y or s?
y
Let h(t) = -t**2 + 3*t + 4. Let r be h(4). Which is bigger: r or -1/6?
r
Suppose 10*s - 15*s - 25 = 0. Let b = s - -5. Which is bigger: b or -3/7?
b
Let s(j) be the first derivative of j**2/2 + 11*j + 5. Let l be s(-10). Which is bigger: 1/5 or l?
l
Let l be 1/2 + (-3)/(-18). Is l at least 0.06?
True
Suppose -24 = -12*j + 6*j. Let n(x) = -x**2 + 6*x - 4. Let a be n(4). Is j bigger than a?
False
Let i = -20 - -22. Suppose 5*r + 50 = a + 4*a, 0 = 3*a + i*r - 55. Which is bigger: 16 or a?
16
Let q be 4/12*(-3)/30. Which is smaller: 0 or q?
q
Let q = -4 + 6. Let h be 8/12 - 7/(-3). Suppose -2 = -4*o + h*o. Are o and q unequal?
False
Suppose -9*r - 6 = -10*r. Which is greater: r or -2?
r
Let w = -9.2 - -6.2. Are w and 1.3 nonequal?
True
Let o = 51 - 52. Let k be (-1 + (-1)/(-2))*2. Is o greater than or equal to k?
True
Let u = -96 - -95. Does u = 3/94?
False
Let x = -5545/204 - -163/6. Which is bigger: x or 1?
1
Suppose 2*x + 3*t + 6 + 6 = 0, -2*x - 5*t - 20 = 0. Let q be 1/(-2) - (-9)/(-7). Let l = q + 169/126. Which is greater: x or l?
x
Let u(j) = -j**2 - 7*j - 7. Let t be u(-5). Which is bigger: t or -1?
t
Let q = 32 - -31. Let k be 4/(-14) + (-3)/q. Which is bigger: k or 1?
1
Let x be (72/20)/9 - 156/415. Is -1 equal to x?
False
Suppose 0*z - 3*z - 5*v = 18, 5*v = 4*z - 11. Is -30/19 < z?
True
Let v(d) = -d**3 + 3*d**2 + d - 3. Let j be 1*(-9)/(-6)*2. Let f be v(j). Let i = -4/39 - -38/117. Which is greater: i or f?
i
Suppose 8 - 35 = 3*h. Let i be (0/h)/(2/2). Is 1/10 < i?
False
Let f = -3 - -5. Let u be 0/((0 - f)/2). Suppose -2*x + i + i + 6 = u, -3*x + 5*i + 17 = 0. Is -4/3 at most as big as x?
True
Let f(o) = -o**3 - 5*o**2 + 7*o + 6. Let z be f(-6). Let w(m) = m**2 + 4*m - 5. Let t be w(-4). Let p = -4 - t. Which is bigger: p or z?
p
Suppose -w - 20 = -2*d + 3*w, d - 22 = 5*w. Suppose -2*y + 0 = -d. Let l be y/((189/12)/7). Which is greater: 0 or l?
l
Suppose 0 = -5*u + u. Which is bigger: -7/19 or u?
u
Let f = 145/3 - 48. Suppose h - 72 = -2*h. Suppose 5*n = 5*s - 20, -n = -s + 4*n + h. Which is bigger: s or f?
f
Let y = -4/17 - 9/34. Suppose -2*k + 11 = -3*p - k, 5*p + 5 = -k. Is p > y?
False
Let u be ((-8)/464)/(2/4). Is 0 less than or equal to u?
False
Let n = -5.6 + 4. Is n < -1?
True
Let q be 0 + (0 - 24)/2. Let v be (20/(-6))/(q/18). Which is bigger: v or 2?
v
Let g be 3 - 5 - (1 + -15). Suppose 0 = 3*v + t - g, -2*v - 5*t = 2 - 23. Suppose 2*u = -v*u - 40. Which is smaller: u or -7?
u
Suppose 3*f = f + 6. Let m(y) = -y + 4. Let a be m(f). Which is greater: a or 1/2?
a
Let d(z) = z**2 + 7*z - 8. Let l be d(-8). Let x = 13764 - 178128/13. Let t = 62 - x. Is l greater than or equal to t?
False
Let u(k) = k**2 - 6*k - 7. Let s be 14/(4 + -2*1). Let c be u(s). Let q be 1 - (-2)/(-10)*3. Is q != c?
True
Let n be 4/(-14) + (-6)/(-21). Suppose n*k = -k. Do k and -1 have the same value?
False
Let y = 23/3 + -109/15. Suppose -r + 3*v = 0, 0 = -4*r - v + 5*v. Suppose r = -0*c + 2*c. Which is smaller: y or c?
c
Let p(u) = -u - 1. Let a be p(-5). Let y = 42/11 - -15/22. Which is bigger: a or y?
y
Let g(d) = d**2 + 6*d - 7. Let q be g(-7). Which is smaller: q or 10/9?
q
Suppose -4*l + 42 = 6. Let g = -10 + l. Are -2/5 and g unequal?
True
Let x = 68/585 + 2/117. Does x = -1?
False
Let f = 3 + -3. Let c(y) = -y**2 - y + 1. Let j be c(f). Let u be j/5 - 44/20. Are u and -2 nonequal?
False
Let q be (0 - 3/(-1))*(6 + -5). Suppose 4*n - 5 - 7 = 0. Are n and q nonequal?
False
Let b(n) = -2*n - 28. Let y be b(-10). Which is smaller: y or -16?
-16
Let r = -83 + 165/2. Let v = -17.3 + 18. Is v > r?
True
Suppose -3*i - 4*h - 16 = -0*i, 2*i + 4*h + 16 = 0. Which is smaller: 4/3 or i?
i
Let x(m) = 4*m + 1. Let q be x(-1). Let s = q + 6. Let c be 1/s + (-12)/9. Is 0 at least as big as c?
True
Let w = -6557 - -44906/7. Let o = w - -141. Is o at least 0?
False
Let h(x) be the third derivative of x**6/120 + x**5/6 - 4*x**3/3 + 4*x**2. Let q be h(-10). Let j = q + 8. Which is bigger: j or -2?
j
Let s = 2 - -9. Let i = -39 + 38. Which is greater: s or i?
s
Let p = 153 + -1375/9. Which is smaller: p or -1?
-1
Suppose -4*n + 2 = -2. Let l = 3.97 - -0.03. Let b = -2 + l. Is b at least n?
True
Let b = 1/4 - 1/10. Which is bigger: 0 or b?
b
Let f(l) = -l. Let c be f(0). Let m = c - 0. Let k be 24/(-16) + -2 + 3. Which is smaller: k or m?
k
Suppose -n = 1 + 4. Let c = -3 - n. Which is greater: 4 or c?
4
Suppose -56 = -4*r + 8*r. Which is smaller: r or 0?
r
Let v be 3 - 3/(-6)*2. Let o(p) = -p**3 + 3*p**2 + 4*p + 2. Let n be o(v). Suppose n + 1 = 3*t. Is -4 greater than t?
False
Let s = -10 + 9. Let u(y) = y. Let i be u(4). Suppose 5 - i = 5*a - 3*x, -5 = a + 2*x. Does s = a?
True
Let w be 38/(-171) - 4/(-18). Which is bigger: 7/9 or w?
7/9
Let t = 1 + -4. Let h(i) = -i**2 - 13*i + 5. Let o be h(-13). Suppose -2*z - o = 3*z + 3*u, -12 = -2*z - 4*u. Is t > z?
True
Suppose -p - 2*n + 0*n = 13, 5*n = -20. Let k = 6 + p. Do -1 and k have different values?
True
Let q = 78 + -469/6. Which is smaller: 0 or q?
q
Let r(c) = 2*c**2 + 6*c - 5. Let y = -5 - 0. Let o be r(y). Suppose 2*v - 5 = v, -5*m - 4*v + o = 0. Which is smaller: -2 or m?
-2
Let c = 2 - 0. Suppose -c*q = -3*q. Suppose -4*t + a = 5, -2*t = -0*t - 5*a - 11. Which is greater: t or q?
q
Let m = 149 - 133. Is m equal to 17?
False
Let m = -26 - -30. Is 4 less than m?
False
Let c(w) = w**3 - 12*w**2 + 12*w - 7. Let x be c(11). Suppose b - 5 = -x*b. Let t = 19/4 + -5. Is t >= b?
False
Let h be 6 + 0 + (1 - 0). Let x = 8 - h. Is x greater than or equal to 1?
True
Let p be (-8)/(-12) + 424/(-6). Let t be 3 - (p + (3 - 3)). Let q = 366/5 - t. Which is bigger: q or -1?
q
Let a be 21/18 - 2 - -1. Let z = 1/3 + a. Suppose 0 = 4*j - 2*j. Is z > j?
True
Let t = 0.5 - 2.5. Is t >= -2?
True
Let t = -53/2 - -27. Which is smaller: t or 2?
t
Suppose -n - 30 = 4*n - o, 2*o - 10 = 0. Let i = -17 + 12. Is n at most as big as i?
True
Let g(n) = -n**3 - 6*n**2 - n - 8. Let a be g(-6). Let r be ((-6)/a)/((-27)/(-6)). Which is smaller: -5 or r?
-5
Let g be 12/(-30) + (-308)/5. Is g <= -63?
False
Suppose 0 = -4*k - n - 37, 2*n - 4*n = 3*k + 34. Is -8 less than k?
False
Let g(x) = -x + 3. Let u be g(-6). Which is bigger: u or 8?
u
Let c be (2 - 0)*10/4. Suppose 4 + 6 = 5*w. Suppose w*m = m - c. Which is smaller: m or -6?
-6
Let s = 78 + -58. Which is bigger: s or -2?
s
Let l be 1*(5 - (11 + -5)). Let v be (1 + -2)/(2/(-10)). Let t = v - 3. Is t greater than or equal to l?
True
Let h = -25 + 31. Which is smaller: h or 2?
2
Let d(m) = 3*m**3 + 3*m**2 + 2*m + 1. Let u(i) = -13*i**3 - 13*i**2 - 9*i - 3. Let c(s) = 9*d(s) + 2*u(s). Let l be c(0). Is 2 > l?
False
Let t = -3/25 - -33/25. Which is greater: t or 1?
t
Let n = 16.9 + -17.1. Let p = 3 - 2. Which is smaller: p or n?
n
Let h = 3 - 3.1. Let l = -0.03 - -0.03. Let x = h + l. Which is smaller: x or -2?
-2
Let a = -0.5 + -20.5. Let s = a - -20.1. Let r = 3.9 + s. Is -0.1 bigger than r?
False
Let d(a) = 4*a - 6. Let c be d(5). Let z be (c/49)/((-30)/(-14)). Is z != -1?
True
Let k = 2/15 + -23/60. Let l(x) = 2*x**2 + 26*x - 8. Let a be l(-13). Is a not equal to k?
True
Let s = -1 - -1.1. Let o = 12 - 12.3. Let k = o + 0.5. Does k = s?
False
Let c = 0.9 - 2.9. Which is bigger: c or -1/2?
-1/2
Let i = -1.46 + 0.54. Let c = i + 1. Let o = 0.02 + c. Which is smaller: 0 or o?
0
Let i = 0.9 - 2.9. Let f = 1 - 2. Let l = f + 1.2. Is l <= i?
False
Let b = -1 + 0. Let o(d) = d. Let v be o(-3). Let x be v/(-9) + 3/45. Which is smaller: x or b?
b
Suppose 1 = 2*o - y, 2*o + 2*y + 2 = 4*o. Suppose 5*q - m - 20 = -o*m, 30 = 5*q - 3*m. Which is greater: 5 or q?
5
Let n(w) = -w**3 - 8*w**2 - 10*w - 9. Let v be n(-7). Suppose 3*s - 8*s - 20 = 5*k, 0 = -2*k + 3*s + v. Suppose -3 = 3*u + 3. Is k at most u?
False
Let n(s) = s**3 + 12*s**2 - 2*s - 19. Let x be n(-12). Let r = 19 - 12. Which i