t c = -1/7 + 0. Let q = -5 - -5. Let f = q - -1. Is f less than or equal to c?
False
Let b be (52/(-91))/((-2)/7). Let v be (1/((-1)/b))/5. Which is smaller: v or 6?
v
Let q(m) = 12*m**3 - 2*m - 1. Let o be q(-1). Let i(u) = -u - 9. Let l be i(o). Suppose 5*b + l*a = 6*a + 5, -5 = -5*b - 3*a. Is 1 less than b?
False
Suppose -4*b = -17 - 7. Suppose 2*h = -4*g + 4, -5*h + b = -4*g + 24. Which is greater: 4/7 or g?
g
Let b = -2 + -3. Is b equal to -5?
True
Let f = -42 - -15. Is f less than -25?
True
Let f be (6/4)/(9/(-60)). Let w(k) = k**3 + 11*k**2 + 9*k - 5. Let u be w(f). Is 2/5 at least as big as u?
False
Let m be (2/3)/(46/12). Is -2/5 < m?
True
Let k(m) be the third derivative of -m**4/24 + m**3 - 2*m**2. Let t be k(3). Is t <= 1?
False
Suppose -2*m - 24 = -5*m. Suppose 0 = -0*j - 2*j + m. Suppose -2*s - j = 2*s. Is -1 bigger than s?
False
Let i(x) = -x**2. Let m be i(-1). Which is smaller: 2/9 or m?
m
Let t be 16/(-1)*(-3)/6. Let h = 11 - t. Suppose 2*p = h*r + 5, -p - p - 2*r = 10. Which is greater: -1 or p?
-1
Let k = 2 - 0. Is 1 <= k?
True
Let u(f) = -3*f - 19. Let w be u(-7). Let v = 15 + -11. Which is smaller: v or w?
w
Let y = -27.1 - -35. Let i = y - 8. Are 2/5 and i non-equal?
True
Suppose 8*f - 13 = 67. Is 10 < f?
False
Let v(l) = 3*l - 3. Let w be v(3). Suppose 3*c - 6 - w = 0. Suppose -s + 14 = 2*p, 3*s + 0*s = -5*p + 37. Does p = c?
False
Suppose -h + 0 = 3. Let c(t) = -t - 6. Let v be c(-7). Let g be (12/(-9))/(v/3). Which is smaller: h or g?
g
Let s be (-2 + 5)/((4 - 3)*-1). Is -13/3 bigger than s?
False
Let z = -11 - -14. Which is greater: z or -3/5?
z
Let l = 0.01 - -7.99. Let n = l - 8.1. Which is greater: -3/2 or n?
n
Let d = 32 - 31. Let i = 2530/441 - 52/9. Which is smaller: i or d?
i
Suppose -14 = 10*x - 44. Is 13/6 smaller than x?
True
Let l(w) = w**2 - 2*w - 1. Let o be l(2). Is -1 != o?
False
Let i = -0.7 - -0.8. Let c = i + 3.9. Do c and 2/7 have the same value?
False
Let j(a) = -4*a**2 - 4*a - 2. Let x be j(-2). Let q be (-26)/x + 0 - 2. Which is smaller: q or 1?
q
Suppose 12*f = 7*f + 260. Suppose 2*i + 3*d - d + 36 = 0, 3*i = -4*d - f. Which is smaller: i or -19?
i
Let b(v) = v - 17. Let s be b(21). Is 4 at least s?
True
Suppose 80 + 0 = -4*x. Let m be 5/x - (-51)/12. Suppose 6 = 3*k - 6. Are k and m nonequal?
False
Suppose 3*w = 2*w + 1. Let c be (-2)/12*3*-6. Let b(j) = -j**2 + 4*j - 3. Let m be b(c). Is w at most as big as m?
False
Let w = -118 - -9559/81. Which is smaller: -1 or w?
-1
Suppose 3*g = 3*r + 6, -3*g - 5*r + 14 + 8 = 0. Suppose -9*x = -5*x - g. Which is smaller: 4/7 or x?
4/7
Let o(d) = -3*d + 20. Let t be o(6). Which is smaller: t or -4?
-4
Let v be ((-1)/((-4)/16))/2. Suppose 0*g + 4*g - 8 = -5*r, g - v = 0. Which is greater: 12/11 or r?
12/11
Let u(w) = -2*w**3 + w + 1. Let s be u(-2). Let y = 22 - s. Let k = y - 7. Is k <= 2/7?
True
Suppose 4*g - 95 = -g. Which is bigger: g or 18?
g
Let c = 0.1 - -5.9. Let f = -6.1 + c. Is 0.1 bigger than f?
True
Let u(c) = c**3 - 10*c**2 - 10*c - 6. Let z be u(11). Let g(j) = j**2 - 7*j + 4. Let b be g(z). Which is smaller: -5 or b?
b
Let h(w) = w**2 + 7*w + 6. Let k be h(-8). Let g(u) = -u**3 + 15*u**2 - 15*u + 14. Let l be g(k). Which is bigger: l or 5/6?
5/6
Let z(n) = n**2 - 9*n + 5. Let x be z(5). Which is greater: x or 1?
1
Let w(k) = -k - 4. Let s be w(-7). Suppose 2*f + 3 = -4*a + 7, -3*a + s = -5*f. Is a greater than 2?
False
Let w = 0.1 - 0.1. Let z = -0.3 - w. Do -2/9 and z have the same value?
False
Let a = -1.98 - -2. Let r = a - 0.22. Do -0.2 and r have different values?
False
Let y(k) = k + 3. Let c be y(-8). Which is smaller: c or -1?
c
Suppose -4*q - 3 = -7. Let i be (-6)/(-12) - 146/(-444). Let j = i - 6/37. Which is bigger: j or q?
q
Let t be (2 - 2)/((-1)/1). Let w be (-2)/(-16) + 11/(-1496). Which is smaller: w or t?
t
Suppose 9*b = 12*b. Suppose -p = -b*p + 1. Which is smaller: p or 0.03?
p
Let f(p) = -3 - 8*p - 10*p**2 + 9*p**2 + 10. Let a be f(-10). Is a smaller than -14?
False
Suppose 3*l = -w - 0*w + 19, 30 = 2*w + 4*l. Which is smaller: 11/2 or w?
11/2
Let r = -60 + 54. Is r > -52/7?
True
Suppose 5*c = 4*s - 3, -4*c = -0*s + 3*s - 10. Let u be (-7)/c*2/(-4). Suppose -3 = -h + 4*h + 3*q, -5*q - 33 = -2*h. Is u < h?
True
Suppose 31 = 4*w + 3*o, -3*o = -7*w + 2*w + 5. Which is smaller: 3 or w?
3
Suppose 3*q - 2 = 7. Suppose -f + 11 = -3*r, -5*r = -4*f + 36 - 6. Are f and q unequal?
True
Let y = 0.13 + 0.07. Are y and 3 non-equal?
True
Let b = 3 - 10. Let k = b + 11. Let p = k + -7. Is -4 less than or equal to p?
True
Suppose 0 = -q - 3*q. Let g = q + 2. Suppose 2 + g = -4*b. Which is greater: b or 2/5?
2/5
Let f(x) = 4*x**2 - 3*x. Let a be f(2). Suppose w = -2*r - 2, -3*w + 8*w = a. Is 0.1 >= r?
True
Suppose 0 = -4*m - 12 - 0, 4*m + 42 = 2*d. Let b = d + -21. Let i be (b/9)/((-2)/5). Do 3 and i have the same value?
False
Let l = -3 - -3. Let r = l + -4. Is r smaller than 2/3?
True
Let c be -3*(-1)/1 - 1. Let a be (-4)/6 - c/3. Which is bigger: a or -2?
a
Suppose -g - 5*l + 1 = -15, 2*l - 1 = 5*g. Is 12/11 greater than g?
True
Let x be (-6)/(-10)*(-4)/(-6). Which is smaller: x or 4.4?
x
Let g = 2140 + -17095/8. Let o = g + -841/264. Which is greater: o or 1?
1
Let a = -70 + 123. Which is smaller: 54 or a?
a
Let n = 0.95 - 1. Let z = 1.05 + n. Suppose o + 2 = -3. Which is greater: z or o?
z
Suppose -2*n = -0*a - a - 5, 5*n - 3*a = 14. Let t = -113 + 567/5. Is t at most as big as n?
True
Let o be (-1)/(-3)*1*33. Let z = o - 12. Suppose -2*k = 4, -6 = 4*r - 2*k + 5*k. Does z = r?
False
Let t = -4/113 - 150/2147. Suppose -3*d = 2*f, -2*f = f - d. Which is greater: f or t?
f
Let f(p) = p**2 + 17*p - 49. Let k be f(-17). Is -49 smaller than k?
False
Let u(s) = s. Let a be u(-3). Which is greater: a or 1/2?
1/2
Let t = -0.82 - 0.18. Which is greater: t or 2?
2
Let o = 51150/7 - 542154/77. Let h = -266 + o. Which is smaller: 1 or h?
h
Let l(k) = k**2 + 6*k - 8. Let y be l(-7). Let z be (-1)/((-3)/(-72)*y). Let j be -2 + 1 - (-15)/z. Is 0 at most as big as j?
False
Suppose -2 = 2*x + 2*a + 4, 1 = -5*x + 2*a. Let z = x - -2. Which is bigger: z or -0.1?
z
Let m = -24 - -21. Is -9 at most as big as m?
True
Let s be 36/(-8)*((-8)/3 - -2). Is 2 less than or equal to s?
True
Let b = 9.5 + 23.5. Is -1 at most b?
True
Let v = -168 - -8906/53. Is v >= 1?
False
Let c(q) = q - 2. Let l(b) = -b**3 + 3*b - 2. Let g be l(2). Let s be 1/(3/g + 1). Let n be c(s). Are n and 1 unequal?
True
Suppose 3*l = 7*l - 112. Let y be 2/(-8) + 91/l. Is y less than or equal to 1?
False
Let r(j) = 2*j**2 + j - 1. Let c be r(-2). Which is greater: 4 or c?
c
Let f be 5 - (-29)/(-16) - 4. Is -1 <= f?
True
Let y be (0 - 2) + 264/143. Let q = -11 + 15. Which is greater: q or y?
q
Let h(g) = g**3 - 8*g**2 - 2*g + 16. Let f be h(8). Which is bigger: f or -1/93?
f
Let z(d) = 3*d**2 + 11*d - 10. Let b(p) = -2*p**2 - 7*p + 7. Let g(w) = -7*b(w) - 5*z(w). Let l be g(-7). Let j be l/(-2)*2/6. Is j != 3?
True
Let f = 2 - -3. Let v = -8 + f. Is -3 less than v?
False
Let y = -135 - -111. Do -24 and y have different values?
False
Suppose -4*y = -35 - 9. Let x be 9 - (-2)/(-2 - 0). Let a = y - x. Is 3 less than or equal to a?
True
Let g(l) = -l**2 + 2. Let h be g(0). Suppose 3*q - x + 4*x = -6, q + 5*x - 2 = 0. Let z be q*((-1)/(-3))/(-1). Which is smaller: h or z?
z
Let n(j) = 7*j + 10. Let u be n(-6). Let z be 14/(-49) + u/35. Is z >= 1/4?
False
Suppose p + 30 = 4*f, 4*f - 2*p - 22 = 6. Let a = -6 + f. Is a < 2?
False
Let i = 9 + -11. Let m be i/8 + (-2)/(-8). Which is smaller: m or 5/3?
m
Let g = 1541/2 + -807. Let z = g - -361/10. Is -4 at least z?
False
Suppose v + 2*l + 4 = 5*v, 4*l = 0. Let i be 0/(-2)*2/(-2). Do i and v have the same value?
False
Let h be (-68)/130 - 2/5. Do -1 and h have the same value?
False
Let j be 515/(30/6) + -4. Is j at most as big as 98?
False
Let m(k) = -k**2 + 2. Suppose 6 = 2*z - 5*z. Let t be m(z). Which is smaller: t or -2/3?
t
Suppose 0 = 3*q + q + 32. Is q at least -9?
True
Let n(g) = -2*g**3 - 8 + g**3 + 5 - g. Let k be n(0). Let p(t) = -t**2 - t + 3. Let d be p(k). Is d smaller than 1?
True
Let k(r) = r - 1. Let a(o) = 2*o - 10. Let t(h) = a(h) - 4*k(h). Let b be t(-6). Which is bigger: 5 or b?
b
Let q = 5 - 1. Suppose 2*p - 12 = -2*x, -5*p - 6