ch is smaller: 16 or h?
16
Let t = -9 - -7. Which is smaller: -1 or t?
t
Let k(n) = -n**3 + 10*n**2 + 12*n - 14. Let m be k(11). Which is smaller: -5 or m?
-5
Let b = 5 - 25. Let g = 19 + b. Suppose -4*c = c. Is g bigger than c?
False
Let v(g) = -g**2 + 5*g - 4. Let u be v(4). Let p = -115/2 - -2879/50. Which is smaller: p or u?
u
Let n(x) = -4*x**3 - 8*x + 11. Let l(v) = -v**3 + v**2 + 1. Let q(z) = 5*l(z) - n(z). Let t be q(6). Suppose -h = 2*h + t. Which is bigger: h or -3?
h
Suppose 6 = m + m. Suppose -4*c + m + 17 = 0. Is 5 != c?
False
Let a(w) = -w**2 + 14*w - 1. Let t be a(13). Suppose i - 2*o + 18 = 3*i, -2*i + 22 = o. Which is smaller: t or i?
t
Let y = 24 - 143/6. Let z(m) = -m**2 + 2*m + 2. Let r be z(3). Is y less than r?
False
Let g be 60/(-21) + (-2)/14. Let h be (-38)/(-8) + g - 1. Suppose 4*w - 4 = z + 4, -4*z + 5*w - 10 = 0. Which is greater: h or z?
h
Let o = -4125/26 - -327/2. Let h = 198/65 - o. Which is smaller: h or -2?
-2
Let w = 11 + -18. Let z be (-1)/(-1) - (-4)/w. Is 0 < z?
True
Let o = -0.3 + 0.5. Let j = -8 + 9. Which is smaller: o or j?
o
Let o(n) = -n + 1. Let f be o(9). Let v be 1/4*f/2. Are v and -2/17 unequal?
True
Suppose -36 = -0*t - 5*t + p, 4*p = -4*t + 48. Let x be (-30)/t*1/5. Which is greater: x or 0?
0
Let g be (8/(-3))/((-4)/66). Let d be g/(-63)*3 + 2. Is -0.1 at least d?
False
Let u be 1/(-37)*(-1 - 1). Let x(d) = -3*d - 23. Let m be x(-8). Is m <= u?
False
Let d(h) = h**2 - 4*h + 1. Suppose g + 12 = 4*g. Let n be d(g). Is 1 smaller than n?
False
Let r(t) = -7*t**3 - 2*t**2 + 1. Let c be r(-1). Let f(p) = p**3 - 5*p**2 - 8*p + 2. Let a be f(c). Let h = a - -7. Which is smaller: h or -2?
h
Let o = 1.4 + 2.2. Let z = 0.66 - 0.06. Let n = o - z. Does n = 0?
False
Suppose -12 = -2*x + 5*x. Let n(k) = -k**3 - 4*k**2 - 2*k - 5. Let r be n(x). Suppose 9 = r*i + 3. Which is smaller: 1 or i?
1
Let l be (9*(-4)/(-1704))/((-3)/(-8)). Are 1 and l nonequal?
True
Let r = 13 + -13. Let j = -33.03 - -33. Is j smaller than r?
True
Let r = 25 - 26. Which is smaller: r or 0?
r
Let p = -27 + 27. Is -3 bigger than p?
False
Let f = -89.9 + 82. Let r = -8 - f. Let i = -3.1 + 3. Does i = r?
True
Let y be (1 - 4)*(-60)/(-135). Which is smaller: y or 2?
y
Let s(q) = q**3 + 6*q**2 - 9*q - 7. Let g be s(-7). Which is bigger: g or 8?
8
Let f = 19.9 + -21. Let v = f + 1.3. Let h = -0.8 - 0.2. Which is smaller: v or h?
h
Let r = -4 + 4.3. Suppose 0 = -3*o - 9, 0*u - 36 = 2*u + 4*o. Let s be (2/u)/((-1)/(-2)). Is s at least as big as r?
False
Let i(u) be the first derivative of -1/2*u**2 + 2 - 2*u. Let o be i(-2). Which is smaller: o or -1?
-1
Let y(t) = -4*t - 4. Let l be y(-3). Suppose 6*q + 4 = l*q. Are -3 and q equal?
False
Suppose 64 = -3*c - c + h, -4*c - 52 = 2*h. Which is smaller: -2 or c?
c
Suppose -m + 1 = 1. Suppose l = 6*l + 400. Let y = l + 242/3. Is y less than m?
False
Let m = 3 + -4. Let q be (-1 - m) + -2 + 1. Let d = -1 + -2. Is d equal to q?
False
Let l be -28 - -25 - (-49)/13. Is 1 greater than l?
True
Let j(l) = -l**3 - 7*l**2 - 7*l - 7. Let z be j(-6). Let b = 346/7 + -187/28. Let o = b - 43. Is z != o?
True
Let j = -31 - -30. Which is smaller: 0.5 or j?
j
Let y = 5 - 2. Is y bigger than 2/5?
True
Let t = -191 + 183.1. Let a = 8 + t. Suppose -7 = 3*v - 22. Do v and a have the same value?
False
Let n = 0.18 - 0.08. Are 6 and n equal?
False
Suppose -3*v + 10 = 4. Is v greater than 2?
False
Suppose 3*s - 3*s = 3*s. Which is greater: 2/35 or s?
2/35
Suppose -2*j = 3*g + j, 3*g - j = -12. Let a = g + 4. Is a at least 0?
True
Suppose -4*i - 40 = -4*g, -17 - 13 = -3*g + 2*i. Is 8 != g?
True
Let x = -2.6 - 1.4. Which is bigger: x or -1/4?
-1/4
Suppose 5 + 4 = 3*r. Suppose 0 = -3*m - 4*t + 8, -5*m + 5*t = 7 + r. Let l be (-1)/6*(-3 - -1). Is l not equal to m?
True
Suppose 8 = 11*j - 7*j. Suppose 3*s = 3, -5*f + 0*f + j*s = 37. Let b = -1 + f. Which is smaller: -9 or b?
-9
Let o(w) = -w**2 - 8*w - 9. Let m be o(-6). Let a(s) = s**3 + 7*s**2 + s + 10. Let p be a(-7). Suppose -m*f = p*l - f, -f = 4*l. Is l > 0?
False
Let x(v) = -5*v + 5. Let i be x(-6). Let q = 106/3 - i. Which is bigger: 0 or q?
q
Let z be -4 - 3/(4 + -7). Suppose 3*u + 0*c + 14 = c, 2*c - 10 = 0. Is z > u?
False
Suppose 2*l = 2*f + 1 - 7, 3*f = 2*l + 10. Let k be (-1 + -2)*(l - 2). Suppose 5*z - k*z + 6 = 0. Which is bigger: -4 or z?
z
Let f = -15.8 + 1.8. Let o = f - -21. Which is greater: o or -2?
o
Let k be (-6)/9*(-6 - 0). Let f(c) = -c**3 - 7*c**2 - 8*c + 4. Let p be f(-6). Let d = -11 + p. Which is smaller: k or d?
k
Let h = -41 + 42. Which is smaller: h or 2/27?
2/27
Let u = -5 - -16. Let b = -6 - 9. Let l = b + u. Is l greater than -2?
False
Let d = 0.63 - -0.07. Let x = d + -0.2. Let r = -0.3 + x. Which is bigger: 0 or r?
r
Suppose -7*c = s - 2*c + 20, -5*c = -4*s + 20. Let f(i) = i**2 - 5*i - 1. Let m be f(5). Is s less than or equal to m?
False
Let j be (-19)/9 + 3*8/12. Let x be 0 + (1 + 0 - 1). Which is smaller: j or x?
j
Suppose -5*m - 24 = -2*m. Let u = m - -9. Is 0 less than or equal to u?
True
Suppose 0 = 3*d + d + 12. Suppose 1 = 3*g - 4*g. Which is smaller: g or d?
d
Let f(y) = y**3 - 7*y**2 + 4*y + 7. Let i be f(6). Let p = i + 20. Which is bigger: 14 or p?
p
Let r = -0.09 + 0.19. Let w = 5.8 + -0.8. Is r <= w?
True
Let y be -2*(12/28)/(-3). Do y and 1 have different values?
True
Let d(u) = u**2 + 1. Let n(h) = 2*h**2 + 5*h - 1. Let b(x) = d(x) - n(x). Let l be b(-7). Let j = -8 - l. Are 8/3 and j non-equal?
True
Let x = 9.2 - 9. Let v = -3.3 - -0.3. Which is smaller: x or v?
v
Let z be 10/4*(-1)/(-5). Let w be 2*3/(-4)*2. Let m = w - 1. Which is bigger: z or m?
z
Let y(o) = -3*o**2 - o + 4. Let z(m) = -4*m**2 - 2*m + 5. Let s(l) = -3*y(l) + 2*z(l). Let j be s(3). Let b be (-4)/3 + j/(-6). Is b greater than or equal to 0?
False
Let o(f) = 2*f**3 - 5*f**2 + 2*f + 1. Let c be o(3). Suppose 0 = 2*h - 3*h + 5. Suppose -4*x = -c, x + 2 = h*t + 1. Which is bigger: 2/17 or t?
t
Suppose o = 2*o + 7. Which is smaller: o or 1?
o
Let g = -50 - -55. Is -0.6 bigger than g?
False
Let a = -69/385 - -2/55. Suppose -2*b + 2*s + 4 = -10, 26 = 4*b - 2*s. Let u = 7 - b. Which is smaller: a or u?
a
Let m be ((-2)/(-3))/(550/(-45)). Which is smaller: m or 1?
m
Suppose 3*b + 24 = 2*b. Let u be -3 - 1/(4/b). Is u bigger than 1?
True
Suppose -4*m = -m - 6, -5*m = 2*s + 18. Let r = s - -16. Let b = -3 + 5. Is r at most b?
True
Let j be (-2)/(-9) + 34/9. Suppose -4*f + 0*u - 16 = -j*u, -5*f + 30 = 5*u. Is f at least 1/21?
True
Let o be 0 - -1*(4 - 1). Which is greater: o or 1.5?
o
Let a(g) = 4*g**2 - 1. Let o be a(-1). Suppose 2*n + 1 = o. Is 2 > n?
True
Let x = 5 - 10. Let b(v) = -2*v**3 + 3*v + 2. Let q be b(-2). Suppose f - 4*f - q = 0. Is f <= x?
False
Let i = -205/9 - -23. Suppose 0 = 2*n - 5*n + 9. Suppose w - n + 2 = 0. Does w = i?
False
Suppose 5*i + 123 = -3*o, -i - 10 - 29 = o. Are -35 and o equal?
False
Let c = 39119042/10373 + -86746/23. Let w = c - -6/41. Let a = -509 + 509.1. Is a <= w?
False
Let r be 9/6 - (-2)/(-4). Let i be r*2/(3 - 1). Let s be ((-6)/(-12))/(i/6). Are s and 4 non-equal?
True
Let y = 0.21 + 7.79. Let t = 7.98 - y. Is t at most as big as 0?
True
Let l(z) = 2*z**2 - 1. Let n be l(1). Is 2/35 bigger than n?
False
Let f = 0.248 - 0.018. Which is smaller: -1 or f?
-1
Let y be 12/(-12)*(1 - 2)*-1. Which is smaller: y or 1/120?
y
Let g(u) = -4*u - 1. Let f be g(-1). Suppose -n + 4 = -f*n. Let j be -2 + (-4)/(-2) + n. Which is smaller: j or -1?
j
Let s = 8 + 1. Is s greater than or equal to 8?
True
Suppose 3*z = 9*z. Are z and -6/61 unequal?
True
Suppose 3*i = 4*j - 7*j - 87, -5*i + 80 = -4*j. Which is greater: -27 or j?
j
Let n(c) = -c**3 - 7*c**2 + 7*c - 6. Let s be n(-8). Suppose -s*o = 68 - 0. Let p be -3 - (o/(-12))/(-1). Which is smaller: p or 1?
p
Let c be 1*4*2/20. Which is smaller: c or 79?
c
Let y(n) = 3*n + 10. Let a be y(-7). Which is bigger: -0.2 or a?
-0.2
Let r = 0.044 - 1.124. Let s = r + 1. Which is greater: s or 0?
0
Let h(y) = -7*y**2 + 13*y + 3. Let j(n) = 20*n**2 - 38*n - 10. Let k(w) = 17*h(w) + 6*j(w). Let x be k(8). Is -1/13 <= x?
False
Let x(m) = m**3 - 6*m**2 - 7*m + 6. Let a be x(7). Let h = -4 + a. Is 1 != h?
True
Let c = -1/134 - 261/938. Which is greater: -29 or c?
c
Suppose -2*a + 2*o + 6 = 0, -2*o