4*n - i*x = -27 + 5. Is -2 smaller than n?
False
Suppose -3*c - a = 1, 2*c = -3*c - 2*a - 1. Which is bigger: c or -10/9?
c
Let j(c) = c**3 + 12*c**2 + 12*c + 13. Let f be j(-11). Suppose w + f*w - 6 = 0. Let a be (5 - w)*4/(-6). Is a at least as big as -3?
True
Let r = 0.1 - -0.2. Let m = r - 3.4. Let h = -3 - m. Is -0.02 greater than or equal to h?
False
Let n = -5/132 + -53/924. Is 0 at least n?
True
Let o = 22727/4 - 5650. Let d = 31 - o. Let i be 1/(((-3)/9)/(-1)). Which is smaller: d or i?
d
Suppose -4*j + 5*v = -24, 4*j - 5*v - 23 = j. Is j less than or equal to 3?
True
Suppose 0*n + n = 0. Suppose -6*h + 4*h + 12 = n. Suppose -4*u + u + h = 0. Is 2 smaller than u?
False
Let d be (-22)/(-3) + (-15 - -8)/21. Is d smaller than 9?
True
Let b = 0 - 0. Let i be (93/(-9))/((-4)/(-84)). Let d = i - -1955/9. Is d less than or equal to b?
False
Let y = -12 + 115/9. Is y at least as big as 0?
True
Let y = -18 - -13. Let i(p) = p**2 + 8*p + 7. Let h be i(y). Is -8 greater than h?
False
Let r = -45/26 - -3/13. Is -4/3 at most as big as r?
False
Suppose 0 = -3*q + 5*q + 6. Let m(c) = 3*c + 1. Let j be m(-1). Is j < q?
False
Let k(u) = -u**2 - 12*u - 13. Let l be k(-12). Let d = 10 + l. Suppose -3*w - 5 = -4*v - 14, 0 = -2*w - 2*v - 8. Is w at most as big as d?
False
Let f(b) = b**2 - 2*b - 1. Let a be f(3). Suppose -h - 3 = -a*h. Let l be ((-3)/(-9)*h)/(-1). Do l and -2 have the same value?
False
Let t(s) = -s**2 - 6*s + 6. Let x be t(-6). Suppose 5 = -p, 4*z - p - p = x. Let v = 2 + -3. Are v and z equal?
True
Let w(d) = -d**3 - 6*d**2. Let v be w(-6). Suppose -7*h + 11*h = v. Is 3 at least h?
True
Let f(v) = -v**3 + 6*v**2 - 6. Let q be f(6). Let z be 90/91 - q/39. Is z less than or equal to 1?
False
Let g = 31 - 48. Is g < -19?
False
Let k = -54 - -74.8. Let h = -0.2 - k. Is 1/3 > h?
True
Let n(y) = 0 + 5 + y**2 + 2*y - y**2 - y**2. Let i be n(4). Is i less than or equal to -2?
True
Suppose 0 = -7*y + 2*y - 3*i - 5, 0 = -3*y + 3*i - 3. Let g = 1 + y. Suppose 3 = 5*w + 3*k, 4*k - 5 = 2*w - k. Is w >= g?
True
Let t(g) = -g**2 + 7*g + 9. Let i be t(8). Suppose -5 = -4*b - i. Does b = 1?
True
Let i = 16151/858 - 633/22. Let m = i - -10. Is 0 less than or equal to m?
True
Let d be (-9)/12*4/6. Let w be (-6)/(-3) - 0/2. Is d less than w?
True
Let z = -6 + 9. Suppose -25 = 5*y + 4*p, y + z*p = -p - 21. Let i be -4*(-3 + y + 3). Are 4 and i nonequal?
False
Let m = -14.9 - 3.1. Let j = -18.1 - m. Let d = -0.3 - -0.2. Is j greater than or equal to d?
True
Suppose -2*k - 14 = -3*f + f, -2*f = -3*k - 19. Let m be 42/9 + 6/(-9). Suppose 3*g + y - 10 = 0, -3*g + 14 = m*y - 2*y. Are g and f non-equal?
False
Let c be (9/2)/((-11)/(176/156)). Which is bigger: c or -2/9?
-2/9
Suppose -2*h + 4*q = 3*h + 124, 3*h - 2*q = -74. Let y = h + 215/9. Which is smaller: 1 or y?
y
Let g(v) = 48*v - 1. Let h be g(-1). Is h > -48?
False
Let c = 65 - 50. Do 15 and c have the same value?
True
Suppose 0 = p - 6 - 0. Suppose 4 = 5*m - p. Let w = 4 - m. Is 3 at most w?
False
Let n be 2/(3/(39/2)). Suppose 4*b - 2*l + 25 + n = 0, 2*b = -4*l + 6. Let t = 12 - 18. Is b less than or equal to t?
True
Suppose 2*b = b - 2. Let d be 3 + 0 + b - 1. Suppose -4*y - y + 10 = d. Do y and 2 have the same value?
True
Let k = -24 - -40. Do 15 and k have the same value?
False
Let a = -2/115 - 208/1265. Suppose 0 = 5*f - 5 - 0. Let i be 1 - (f - 1/(-1)). Which is greater: i or a?
a
Let l be -1 - 0 - (-15 - -11). Suppose -o - 2*o + 9 = 0. Are l and o equal?
True
Let t be -4 - (3 - 7 - -2). Let r be (0 + 0)/(t - -4). Suppose -4*h - 26 + 10 = 0, r = 3*y + 3*h + 24. Which is smaller: 0.1 or y?
y
Suppose 0 = -2*l + f + 32, -2*f = 11 - 3. Suppose 0 = 3*b + 4*o + 2 + 13, b - l = 5*o. Let c(n) = -2*n**2 + 2*n + 2. Let p be c(2). Which is smaller: p or b?
p
Suppose -2*r - 28 = 2*r + 4*g, 2*r - g = 1. Is 2 >= r?
True
Let m = 71.9 - 72. Is 8 less than m?
False
Suppose -2*x = r + 2*r + 14, -5*x = -3*r - 7. Which is smaller: -9 or x?
-9
Let d(o) = 9*o**2 - 2*o - 3. Let a be d(-2). Is 36 at most a?
True
Suppose -4*j = j - u + 18, 4*j - 2*u = -12. Suppose p + 2 - 1 = 0. Which is greater: j or p?
p
Let y be 2/(-7) - 134/(-322). Which is greater: -1 or y?
y
Let x be -1 - 0 - (0 + -5). Suppose 4*a + 3 = x*j - 1, -5 = -5*j + 2*a. Which is bigger: j or 2/25?
j
Let f(q) = q**3 + 6*q**2 + 9*q + 19. Let t be f(-5). Which is bigger: t or 1/23?
1/23
Suppose -b - 3*b = -4. Is b less than 3?
True
Let s be 2 + 2 - (3 + -1). Suppose s = 4*a - h, -3*a + 2*h + 3 = -1. Suppose 2 = -2*v - a. Is v at least as big as 0?
False
Let b be -3 - (189/(-6))/7. Suppose -11 = -f + 2*g, 4*f = -g + 5 + 3. Is b less than f?
True
Let q be (8/(-3) - -3)/(2/6). Let u be -26*1/(-24) - 1. Is q != u?
True
Suppose -4*p = p - p. Suppose 0 = -3*l - 2 - 4. Is p at least l?
True
Let y(r) = r**2 + 6*r + 3. Let u be y(-6). Suppose u = 3*s - 6*s + 3*l, l = 5. Suppose 3*d = -d - s. Which is smaller: 0 or d?
d
Let p(c) = -c**3 + 2*c**2 + 4*c - 2. Let q be 6/(3 + 0 + -1). Let s be p(q). Which is smaller: 0 or s?
0
Let h(l) = l**3 - 5*l**2 + l - 3. Let r be h(5). Let n(c) = 3*c + 0*c - 4 + 3 - c**2. Let k be n(r). Does k = 1?
True
Let l(n) = -n**3 - 4*n**2 + 6*n + 4. Let j be l(-5). Let q be (-1)/(-4) + 462/(-24). Which is smaller: j or q?
q
Let h be (0 - -2)*(-15)/(-150). Let s(u) = -u**2 - 2*u - 1. Let g be s(-2). Does g = h?
False
Let l = 53 - 56. Which is bigger: -24/11 or l?
-24/11
Let k(t) = t - 1. Let m be k(3). Let o be 8/m*3/18. Which is smaller: 0.3 or o?
0.3
Let s = -49 + 50. Is 38 greater than s?
True
Let f = -93 - -81. Let g(m) = -m**2 + 8. Let p be g(0). Let w be f/(-5)*(-2)/p. Is -2 bigger than w?
False
Let l(k) = k + 1. Let m = 25 - 25. Let s be l(m). Is s bigger than 3/17?
True
Let g(a) = -a + 3. Let q be g(6). Let i be q*(-2 + 7/3). Which is smaller: i or -4/7?
i
Let a be 4/1 + (0 - -1). Suppose -5*k = 2*b + 12, 6 = -a*k - 4*b - 8. Let h be (k/2)/(-2 + 1). Does h = 0?
False
Let j be -3 + (-3 - 1)*-1. Which is smaller: -64 or j?
-64
Suppose -5*q - 2*z = -21, -3*q + 7*q + 5*z - 10 = 0. Let m(x) = -x**2 - 13*x + 19. Let k be m(-14). Is q less than k?
False
Suppose -3*z - 5*h - 7 = -80, -4*z + 2*h = -80. Suppose -5*p - f - 4 - 6 = 0, -p = 4*f + z. Let t = 4 - 4. Is p bigger than t?
False
Let n = -8 - -6. Let x = 1.5 + n. Do -1 and x have different values?
True
Suppose 2*d = -2*z + 14, 2*d = -4*z - 3*d + 32. Suppose -z*b + 12 = -0*b. Which is bigger: -1 or b?
b
Let g = 51 - 27. Let f be g/10 - (-2)/(-5). Is f equal to -0.1?
False
Let g = -20.976 - 0.024. Let d = -0.269 - -0.369. Which is smaller: d or g?
g
Let x be (54/(-3))/(2 - 1). Let b be 1/4 - x/(-8). Which is smaller: b or -1?
b
Let n be -7 - -4 - 37/(-14). Are n and 1 unequal?
True
Let o(q) = 1 - 3 + 10 + 2*q - q**3 - 4*q**2. Let j be o(-4). Is j <= 3/14?
True
Suppose -6*q + 2*q - 11 = -5*g, 4*q + 2*g - 10 = 0. Let n(a) = a**3 - 4*a**2 - 4. Let j be n(4). Let u be (-2)/j*(-8 + 8). Is u at most q?
True
Let y = 2 - -12. Let o = -15 + y. Is o equal to -1.2?
False
Suppose -z + 4*a = -8, 3*z + 0*z = -a - 15. Let v = z + 4. Let p = -4/7 - -6/35. Which is smaller: p or v?
p
Suppose -5*y - 4 + 19 = 0. Suppose -2*r + 13 = -y*b, 4*b + 0*b - r + 24 = 0. Is b > -7?
False
Let j be (4 - 0)/(1/2). Let y be (-2)/j - (-2 + 2). Which is bigger: y or 2/3?
2/3
Let h = 1 - -3. Suppose -2*k = 2*c - 20, -2*k - c + 15 = -0*c. Let t = h - k. Which is smaller: 3/7 or t?
t
Suppose 5*c - 10 = 5*s, 3*c + 3*s - 7*s = 9. Let x be -478*(-1 - 34/(-32)). Let r = x + 30. Which is smaller: c or r?
c
Suppose -3*a + 21 - 57 = 0. Let o = 12 + a. Let d = 0.1 - 0.4. Which is smaller: o or d?
d
Let z(f) = f**2 + 3*f + 2. Let h be z(-4). Which is smaller: h or 4?
4
Let h be (7/(-2))/((-162)/12). Let z = 239/297 - h. Is 2 less than z?
False
Let o = 15 + -27. Let u = o - -12. Let k = 3 + -5. Which is smaller: u or k?
k
Let h be ((-14)/8 + 2)*-4. Is -2/21 at least h?
True
Let p be 9*(-2 - 20/(-6)). Let d(o) = -o**3 + 4*o**2 + 5*o + 5. Let f be d(5). Let w be f*(p/5 - 2). Are 0 and w unequal?
True
Let z be (-20)/(-3)*(-9)/(-54). Which is smaller: z or 0?
0
Suppose 0 = 4*s + 20, 9*i - 7*i + 5*s + 39 = 0. Let t(m) = 3*m - 5. Let v be t(7). Let b = v + -22. Is b at most as big as i?
False
Let o(h) = -h**2 - 3*h. Let c be o(-3). Let f = 1