 Let j be c(-3). Let a be w(j). Which is bigger: a or -1?
-1
Let d(o) = 3 - 8*o - o - 5*o. Let r be d(6). Let v = -245/3 - r. Which is smaller: -1 or v?
-1
Suppose -5*k + 15 = -10. Let s be 4*(k/(-6))/5. Let d = -9 + 7. Which is smaller: s or d?
d
Let h(n) = -n**3 + n**2 + n + 10. Let m be h(0). Let f = m + -12. Is -6/5 >= f?
True
Let a(k) = -k**3 + 12*k**2 + 2. Let f be a(12). Suppose -2*u + f - 4 = 0. Let o be -5*(4/55)/1. Is o at most as big as u?
False
Let x be (0 - 1)*0 + -1. Let z = -0.7 - 0.3. Let d = z - -0.8. Do x and d have the same value?
False
Let h(m) = -m**3 + 7*m**2 - 3*m + 9. Let d be h(7). Let z be 9/d*6/9. Let c = 0.2 + -0.3. Which is bigger: c or z?
c
Let c be (-1)/(-1 - 1/(-6)). Suppose 10*w = 15*w. Which is smaller: c or w?
w
Let c = -0.16 + 0.05. Which is smaller: -0.1 or c?
c
Suppose -3*l - 4*h + 4 = -8, 0 = -l + 2*h - 6. Let r(t) = -t**2 - t + t**3 + 5 + 2*t - 6 + 0*t. Let q be r(0). Is q < l?
True
Let k(y) = -y**3 + 11*y**2 + 13*y - 18. Let j be k(12). Which is smaller: j or -1?
j
Let s be -1 - (14 - (-6)/(-3)). Which is smaller: -14 or s?
-14
Suppose 2*g + 2*g = 0. Which is bigger: -0.1 or g?
g
Let v(q) = q**2 - 8*q - 7. Let z be v(9). Suppose 15 = 3*u - 6. Suppose -4*o - 11 = d + u, -o = 3*d - 1. Does d = z?
True
Let o = 205/3 - 197/3. Is 3 > o?
True
Let u(t) = 2*t**3 + t**2 - t. Let s be u(1). Suppose 0 = -3*y + s*y - 8. Let w(v) = v + 6. Let r be w(y). Which is bigger: -1/2 or r?
-1/2
Let g = 1 - -2. Suppose 2*u - 4*w - 8 = 0, w - 3 = g*u - 2*w. Which is smaller: u or -5?
u
Suppose -2*x = 3*x - 60. Suppose x = 3*j, 17 + 11 = -2*n + j. Let z = 9 + n. Is -3 at least z?
True
Let f(s) = 630*s**2 - s + 3. Let l be f(3). Let z = l + -17227/3. Let g = z + 73. Which is bigger: g or 2?
2
Let z = 24 + -23.8. Let j be 122/20 - 3 - 3. Is j equal to z?
False
Let a = 14 - 14. Let m be (-3)/7*-4 - 1. Is m at least as big as a?
True
Suppose -13 - 12 = -5*w. Let b = 3 - w. Let x be 1/3 + (-68)/12 + 4. Is x < b?
False
Let b(y) = -y**2 + 7*y - 3. Let r = 6 + -1. Let l be b(r). Which is smaller: l or 6?
6
Suppose -8*s + 4*s = 4. Which is bigger: s or 0.3?
0.3
Suppose -2*h = u + 21, 5*u = -2*h - 86 - 59. Is u greater than or equal to -30?
False
Let y be (-4)/(-6) - (-22)/(-6). Is y >= -1?
False
Let t(f) = f + 1. Let k be t(-3). Is k <= 2/11?
True
Let u = -0.28 + 0.08. Is -2 != u?
True
Let f be 6/(-27) + 29/9. Suppose 2*a - h + 2*h - 2 = 0, 0 = f*a + 4*h - 8. Suppose 4*n - 15 = -n. Which is smaller: a or n?
a
Let k be 1 - (0 + (-2)/(-4)). Let r be ((-22)/(-6))/((-2)/(-6)). Suppose -r + 1 = 5*h. Which is bigger: k or h?
k
Let m = -1 - 0. Let v be (45/(-27))/(m/3). Is v at least 4?
True
Let w = 1/19 - -16/57. Is w at least as big as 1?
False
Let b = -2.2 - -2.6. Which is smaller: b or -0.3?
-0.3
Let v be (-3 - -3)/3 + 3. Suppose -2*r - 2*j = j, r - v*j = 0. Suppose r*p + 2 = -2*p. Which is smaller: 0 or p?
p
Let a be 45/(-6)*(-16)/12. Let q = a - 7. Which is smaller: 6 or q?
q
Let d be ((-156)/80)/(43/(-8) + 5). Is d at least 6?
False
Let y = -2 - -20. Suppose -y = -k - k. Suppose -2*n + 1 - k = 0, n = -4*u. Is 4/7 not equal to u?
True
Let a be (-4)/14 + 10/35. Let z(o) = o**2. Let d(k) = -k**2 + k + 1. Let q be d(0). Let v be z(q). Is v smaller than a?
False
Let p be 1*(-28 - 2/(-1)). Let l be ((-3)/(-2))/(12/202). Let o = l + p. Which is smaller: o or 0?
o
Let g be (7 - 9) + (1 - 0). Does g = -3?
False
Suppose 0 = -z - 2*z + 6. Let x(p) = 4 - 3*p**2 - p + 3*p**2 - 6*p**z + 2*p - p**3. Let r be x(-6). Is -6/11 greater than or equal to r?
True
Let i = 37 + -41. Which is smaller: -3 or i?
i
Let a = 2 + -7. Let q(v) = v**2 + 6*v + 6. Let h be q(a). Is h greater than -1/13?
True
Let w = -44.93 + 45. Let z = 353 - 355.93. Let a = w - z. Is a < 0?
False
Let w = 0.1 + 0. Let a = -0.3 - -0.4. Let q = a + -0.2. Which is smaller: w or q?
q
Let p be 2*-6*(-30)/(-9). Let t be p/70 - 174/14. Is -13 bigger than t?
False
Let r = 24 - 21. Which is smaller: r or -4?
-4
Suppose 3*c + 11 = -1. Let y = -2 + c. Is y bigger than -6?
False
Let t be ((-16)/(-24))/(4/66). Are 0 and t equal?
False
Let w be (-68)/52 - (0 - 1). Let z = w - -29/52. Which is smaller: z or -1?
-1
Let f be 9/1*14/(-21). Are -8 and f equal?
False
Let i be (6/2)/(12/(-16)). Let p be (-1)/(1*i/(-2)). Which is bigger: -1 or p?
p
Let b = -0.2 - -0.3. Let f = -2 + 4. Let z be (f/(-4))/(2/4). Are z and b unequal?
True
Suppose 0 = -y + 5 + 14. Suppose -y = v - 40. Is 22 >= v?
True
Let c(a) = -a**3 + a - 1. Let z(n) = 4*n**3 - 6*n**2 + n + 9. Let u(h) = -3*c(h) - z(h). Let x be u(5). Is -3 != x?
True
Suppose -3*m = 2*m + 5. Let f = 149 - 144. Is f at least m?
True
Let s be 295/20 - (-2)/8. Let m be 2*((-9)/s + 1). Which is bigger: 2 or m?
2
Suppose -3*f = 13*f - 16. Do f and 3 have different values?
True
Let n(x) = x**3 - 5*x**2 + 4*x + 5. Let h be n(4). Suppose -h*v + 4*y - 1 = 0, 0*y = -v - y - 2. Which is smaller: 1/3 or v?
v
Let f = 0 - 0.1. Suppose 0 = -2*u - 0 + 6. Is f less than u?
True
Let k = 63/2 + -1319/42. Which is smaller: -1 or k?
-1
Suppose -6*m = -11*m - 5. Which is smaller: -2/5 or m?
m
Suppose 5*p + 24 = 2*k, 5*k - 5*p - 60 = -3*p. Which is smaller: 10 or k?
10
Let f(q) = -q**2 + 7*q. Let j(c) = -c**2 + 4*c. Let n be j(2). Suppose -3*y = n*v - 33, 5*y - 3*v - 3 - 23 = 0. Let b be f(y). Which is greater: b or -1/4?
b
Let b = 0.9 - 1. Let i = 0.1 + b. Let a = i - -0.1. Do 1 and a have different values?
True
Suppose -3*l + 9 = 3*q, -2*l = -2*q + 3*q - 7. Let f be (1/(-1))/(l/(-8)). Let t = f + -2. Which is smaller: 1/3 or t?
t
Let x = 13 - 13. Let g = 6 - 4. Which is smaller: g or x?
x
Let n = -0.06 + 3.06. Is -1 < n?
True
Let f = 40 + -278/7. Suppose -9 = 3*q, q - 4 = 2*w - 7. Is w bigger than f?
False
Let g(f) = 2*f**3 - 2*f**2 - 3*f + 3. Let l be g(2). Suppose 41 = l*w - 14. Let q = -12 + w. Is q greater than or equal to 1/9?
False
Let d be 2 + 14/(0 - 1). Let k be d/66 + (-72)/(-154). Let m = -65/28 - -18/7. Which is bigger: k or m?
k
Let m = -16 - -29. Is m smaller than 11?
False
Suppose -3*i = 2 + 7. Let n be ((-2)/(-4))/(3/(-30)). Which is smaller: i or n?
n
Let s(z) = -z**2 + 14*z - 12. Let v be s(13). Which is smaller: v or 3?
v
Let x = -19/210 + 4/21. Suppose 2*f + 2*f - 4 = 0. Which is greater: x or f?
f
Let r be (3/3 - 2)*-6. Let t be 6*3/r*1. Suppose -5*k = -3*v - 8, -5*k = 2*v + t*v. Which is smaller: -2 or v?
-2
Let q(l) = l**2 + 6*l + 9. Let y be q(-5). Suppose -3*o + 7 = y. Which is smaller: o or -2/25?
-2/25
Let p = -0.33 - -0.03. Let c = p + 0.1. Let n = 0.1 + -0.1. Which is smaller: c or n?
c
Suppose 2*r + 3*y = 8, 0 = -5*y + 16 - 6. Let h be -14*r/(-2) + -2. Suppose -d = 5, h*d + 25 = 4*b + b. Is -3 at least b?
False
Let p(w) = 2*w**2 - 15*w + 18. Let r be p(5). Is 0.2 less than or equal to r?
False
Let y be 1/(-20)*25/(-10). Suppose 0 = -5*b + 25, -r + 5*r + 3*b - 11 = 0. Which is greater: y or r?
y
Let u be (-4 - 76/(-16))*-28. Which is smaller: -19 or u?
u
Let j = -41/61 + 1/183. Which is greater: j or -2?
j
Let p = -39 - -38. Let w = 8 + -11. Which is bigger: p or w?
p
Let i = -13.175 + -0.025. Let f = i + 13. Which is smaller: 1 or f?
f
Let j be (-38)/(-171) + (-4)/18. Which is smaller: -1/13 or j?
-1/13
Let b(f) = 3*f + 1. Let o be b(1). Which is bigger: o or -1?
o
Let f = -17/40 + -7/40. Let d(w) = -w**3 + 5*w**2 + 8*w - 7. Let n be d(6). Suppose g = n*g + 4. Which is smaller: g or f?
g
Suppose -j - 9 = 2*k - 1, 2*k = 4*j - 8. Suppose 4*u + 0*u = 36. Suppose 4*l = v + 2 + 5, -3*v = u. Which is bigger: l or j?
l
Let t = -141 + 4941/35. Is 1 <= t?
False
Suppose 3*c + 4*m = 2*m - 5, 5*m = -4*c - 9. Let h = 5 - 3. Are h and c equal?
False
Suppose 3*t - 10 = -2*t. Let h be ((-4)/48)/(t + 12). Let y = 323/2184 - h. Do y and 0 have different values?
True
Let u = -0.5 + 0.3. Let l = 21 + -18.8. Let z = -2.1 + l. Does z = u?
False
Let m = -84 + 86. Is -2/5 bigger than m?
False
Let a(l) = -2*l - 2*l**2 - 2 + 5*l**2 - 2*l**2 + l**2. Let h be a(-2). Let x be ((-4)/10)/((-2)/h). Is 2 at most as big as x?
True
Let k be (-1215)/300 - (-4)/1. Which is greater: 1 or k?
1
Suppose 0*m - 10 = -2*m. Suppose m*w - 10 = 10. Let l = w + -4. Which is smaller: l or 2/3?
l
Let u be 12/8*(12/(-5))/(-3). Let z(h) = h - 2. Let c be z(2). Is c less than or equal to u?
True
Supp