False
Let g = -46414/511 - -636/7. Is -0.1 greater than or equal to g?
False
Let j = 16 + -25. Let c be 0/(j/3) - -1. Which is smaller: c or -1/7?
-1/7
Let s = 7/23 - 51/92. Let m = -0.1 - -0.1. Let t = m - 2. Which is bigger: t or s?
s
Suppose 2*l + 2*j - 1 = 3, 3*l = -4*j + 8. Let b(i) = -i**3 - i**2 + 2*i + 1. Let k be b(-1). Let x be k + l - (-5)/5. Which is bigger: x or -4/3?
x
Let s = 6.04 + -0.04. Let k = s + -8. Is -1 not equal to k?
True
Let n = -7/8 + 13/24. Is n greater than -0.7?
True
Let m = -7 - -19. Let u = m - 21. Let k = 5 + u. Which is smaller: 1 or k?
k
Let d = 8 - 5. Suppose d*y - 8*y + 3*h + 268 = 0, -2*y - h + 105 = 0. Let s = y - 268/5. Which is smaller: s or 0?
s
Suppose -13*t + 13 = -0*t. Let k = 2/279 - -827/1395. Which is greater: k or t?
t
Suppose -6*i + i + 3*d - 19 = 0, d - 5 = i. Let v be 0 + 6 + -3 - i. Which is bigger: 6 or v?
6
Let x = 18 + -19. Let o be 5*x*(-10)/(-15). Is -4 less than or equal to o?
True
Let b = 11 + -15. Let x(z) = 3*z - 8. Let t(y) = -7*y + 15. Let k(u) = 2*t(u) + 5*x(u). Let w be k(7). Is w equal to b?
False
Let t(b) = b**3 - 28*b**2 + 27*b. Let i be t(27). Let f be (-4)/3 + 1/3. Which is greater: i or f?
i
Let a = 0 - -2. Suppose -3*j - 2 = d, 0*d = -d + j + 6. Suppose -8 = 4*z, -z - 4*z - a = -d*p. Which is smaller: 1 or p?
p
Let x(s) = 3*s**2 - 1. Let p be x(1). Suppose 2*m - 4 = -2*b + 10, 5*m = b + 5. Is p smaller than m?
False
Suppose u - 2*u = 1. Are -11/8 and u nonequal?
True
Let p(k) = k**2 + 8*k - 9. Let q be p(-9). Suppose q = v + 3*v. Let z = 1 - 0. Does z = v?
False
Suppose 0 = -4*p + 4*b + 20, -3*b + 12 = b. Let i be 10/(-14) - p/28. Which is smaller: i or -4/9?
i
Let s(r) = 2*r - 14. Let d(h) = 3*h - 21. Let g(v) = 5*d(v) - 8*s(v). Let p be g(6). Which is smaller: p or 4?
p
Let f(p) = -p**2 + 8*p + 10. Let n be f(9). Let w be 6*(2/6 - n). Let k be 38/(-9) + 12/54. Is w != k?
False
Let x = 1 + 2. Let l = x + -3.1. Is 1/8 at least l?
True
Let h = 0.098 - -0.102. Let g = -0.1 + 0.3. Is g > h?
False
Let b = 15955/66 - 967/4. Is b greater than or equal to 0?
False
Let w = 17 + -17. Which is smaller: w or 5/7?
w
Let z be 150/1152*4*3/10. Which is smaller: z or 1?
z
Suppose 0*t + 4*b + 20 = -2*t, -2*t - 15 = 3*b. Let l = 4 - t. Suppose -1 - 11 = l*m. Is -3 less than m?
False
Let d be (-10)/15*(-6)/4. Let l = d - 1. Is -1 != l?
True
Let b = 38 + -35.1. Let h = -0.9 + 3.9. Let g = h - b. Is g at most -0.2?
False
Suppose 7 = 4*i - 5*i. Which is bigger: -6 or i?
-6
Let f = -48 - -69. Which is bigger: -2/5 or f?
f
Let d be (3 + (-3 - 0))/(-2). Let b = -3 - -5. Suppose b*t - t = 1. Which is bigger: d or t?
t
Let b(x) = x - 40. Let t(u) = -8. Let r(n) = -2*b(n) + 11*t(n). Let f be r(-7). Let z = f - 5. Which is bigger: z or 2?
2
Let n = -72.85 + 69. Let d = n + -0.15. Is d at least as big as 2?
False
Let x = -703/3 - -11933/51. Which is greater: 1 or x?
1
Suppose -2*k - 34 = -4*k. Suppose 3*b - 5*b + 32 = 0. Which is greater: b or k?
k
Let g(i) = 4*i - 16. Let h be g(4). Let z be (-96)/189 - 4/(-14). Is z >= h?
False
Let p be (4/(-5) + 5/(-25))*11. Is p smaller than -15?
False
Let t = 12 - 11.93. Let o = -59/133 + 3/19. Which is smaller: o or t?
o
Suppose -2*t - 16 = 4*m, 3*m + 8 = 7*m - 4*t. Let z(i) = -i + 7. Let k be z(7). Suppose -4*j - 4*o - 12 = k, -j = 3*o - o + 4. Is j greater than m?
False
Let h be (-2)/(12/74)*-5. Let j = h - 61. Do 0 and j have the same value?
False
Let w = -19 - -27. Is w not equal to 8?
False
Let i be (-1)/5 - 20/(-42). Let j = -2/35 - i. Is -1 less than j?
True
Let n be 5/(-3) + (-6)/(-9). Let p be 30/42 + (-1 - 0). Are n and p unequal?
True
Let p be (0 - -2) + -2 + 0. Which is smaller: -2/9 or p?
-2/9
Let z(b) = b - 4. Let y(x) = -x**3 - 6*x**2 + 6*x - 1. Let v be y(-7). Let t be z(v). Let m be (2 + -2 + 2)/t. Is m greater than 1?
False
Suppose 0 = q + 2*z + 19 + 61, -3*z = 5*q + 372. Let x be 4/q*(-4 - -1). Is 0 smaller than x?
True
Suppose -3*b - 209 = -14*b. Is 21 at least as big as b?
True
Let m = -40 + 37. Let n = 0 - -0.4. Which is greater: n or m?
n
Suppose 2*o + 28 = -4*b, b + 3 = 4*o + 5. Which is smaller: -15 or b?
-15
Suppose 0*v = -2*v. Let z be (-4 - -7)/(v - 1). Which is smaller: -2 or z?
z
Suppose 0*n = -n - y + 4, n - 5*y - 4 = 0. Suppose p - n*a + 25 = a, -5*p = 4*a - 20. Suppose -3*q = -p*q - 3. Are -2/7 and q non-equal?
True
Suppose -3*q = 3*n - 21, -4*n - 2*q + 0*q = -26. Is n at most as big as 7?
True
Suppose 0 = 4*n + 10 + 2. Does n = -10/3?
False
Suppose 0*i + 24 = 3*i. Let n(d) = -d**3 + 8*d**2 + d - 7. Let z be n(i). Does z = 4/5?
False
Let u = 16 - 30. Let y = u + 14.06. Are 0 and y unequal?
True
Let g = -19 + 11. Let a = g - -7.93. Is 0 equal to a?
False
Let u be 8/20 + 88/5. Let s be 2/(-12) + 12/u. Which is greater: 1 or s?
1
Let h be (-20)/(-6)*102/(-105). Let b = -18/7 - h. Is b less than 4?
True
Suppose -60 = -8*t + 3*t + 3*a, 2*t = -a + 24. Is 11 bigger than t?
False
Suppose -20*n + 2*m - 8 = -18*n, 0 = -n + 3*m - 14. Is n bigger than 1/37?
True
Suppose 2*y - 129 = -131. Which is greater: -2/3 or y?
-2/3
Let k be 9/(-3) - (-87)/27. Which is greater: -2/3 or k?
k
Let o = -0.12 + 0.02. Let x(q) = -q**2 - 6*q - 6. Let z be x(-7). Which is smaller: z or o?
z
Let v(l) = -2*l**2 - 23*l - 12. Let h be v(-11). Which is smaller: h or 6/79?
h
Let t = 19/22 + -224/253. Is t not equal to 1?
True
Let c be ((-9)/126)/(3/12). Which is smaller: c or 3?
c
Let v(s) = -2*s - 12. Suppose 2*f = -2*r - 6, 2*f - 4*r = -2*f - 52. Let n be v(f). Are n and 3 unequal?
True
Suppose 5*u - 7 = 8. Let b = u - 3. Is -1 smaller than b?
True
Let m = -633/4 - -159. Suppose -3*v + 24 = 5*l, 0 = -2*l - 2*l - 5*v + 27. Suppose l*u - 4*q = 16, 5*u - u + q = -4. Which is bigger: m or u?
m
Let i(j) = -j**3 + 4*j**2 - j + 5. Let h be i(4). Is -1 less than h?
True
Let q be (-131)/3 - 1/3. Let t be (q/20 - -2) + 0. Let i be -1 - 3/3 - -2. Are t and i nonequal?
True
Suppose 4*x - 6 = 3*x. Let z(g) = g**2 - 3*g - 3. Let b be z(5). Which is smaller: x or b?
x
Suppose 3*l + 4 = x + 7, -5*x = 3*l - 3. Do x and -7 have the same value?
False
Let c be (6/(-9))/(4/6). Let j be 1/(-3) - c/21. Let z be -1 + -1 + (-14)/(-8). Which is smaller: j or z?
j
Let v(j) = j - 1. Let s be v(1). Is -2/55 != s?
True
Let w be (5 + -5 + 1)*-24. Which is greater: -22 or w?
-22
Let c(n) = 2*n - 33. Let y be c(21). Are y and 8 equal?
False
Suppose -3*v - 6 = -0*v. Is -2/3 >= v?
True
Let b(u) = u**3 + 6*u**2 - 10*u - 4. Let o be b(-6). Is 57 > o?
True
Let b = -3/19415 + 1949269/19415. Let d = 489/5 - b. Which is greater: d or -3?
d
Let j(q) = -6*q**3 - q - 1. Let w be j(-1). Let y = -7 + w. Which is smaller: -1/11 or y?
y
Let f(g) = -g**3 + 5*g**2. Let o be f(5). Let p be ((-3)/10)/((-15)/(-4)). Is p <= o?
True
Let t = 69 + -67.99. Let x = 0.01 - t. Is -0.3 at least x?
True
Let j = -21 - -15. Let n = j + 8. Let x(k) = -k**3 - 6*k**2 + 17*k + 9. Let i be x(-8). Which is smaller: i or n?
i
Let m(r) = r**3 + 6*r**2 - 7*r + 5. Let o be m(-7). Suppose 4*y - 4 = -3*p - 2*p, o*y + 3*p + 8 = 0. Is -3 smaller than y?
False
Let z = 15 + -9. Let s = 8 - 3. Is s at most as big as z?
True
Let u = -1 + 1.3. Let q = u + -0.27. Let f = 2.03 - q. Do 0.2 and f have the same value?
False
Let l(u) = -10*u**2 + u - 1. Let d be l(1). Which is bigger: -11 or d?
d
Let o(r) = r**3 + 7*r**2 - r - 7. Let y(z) = -z**3 + 7*z**2 + 8*z - 7. Suppose 0 = n + v - 7 - 0, -v = 2*n - 15. Let d be y(n). Let g be o(d). Is g > 0?
False
Suppose 9*i = 6*i + 2*j - 14, -4*j + 20 = -2*i. Is 12 at most i?
False
Let m = 0.09 + -1.09. Let t = -0.21 + 2.21. Is t at most m?
False
Let x = -88 + 88. Suppose 5*h - 14 = s, 0 = 2*h - 0*h + s. Which is smaller: h or x?
x
Let k be -2 - 17/4*4. Which is bigger: -18 or k?
-18
Let y(r) = r**3 - r. Let i(c) = 46*c**3 - 2*c**2 + 4*c - 1. Let x(a) = i(a) + 6*y(a). Let q be x(-1). Let b = 209/4 + q. Which is smaller: -2 or b?
-2
Let x(g) = g**3 - 4*g**2 - 4*g + 6. Let f be x(5). Which is bigger: -1 or f?
f
Let j(m) = -m**3 + 9*m**2 - 10*m + 7. Let z be j(7). Is z smaller than 35?
False
Let o be (3/(-4))/(35/20). Suppose 0*d = -d. Is o > d?
False
Let n = 2 - 5. Let v = n - -2. Let q be ((-3)/(45/(-6)))/(-1). Is v less than q?
True
Let j = -1.2 - -1.2. Let l = j + -3. Which is greater: l or 2?
2
Let z = -3