Is -2/11 bigger than j?
False
Let m = 49 - 35. Let j = m + -16. Which is smaller: j or -1/8?
j
Let w be 6/(-4) + 217/(-2). Let a = 552/5 + w. Which is greater: 0 or a?
a
Let d = 6 - 3. Suppose -2*s + d*s - 12 = 0. Suppose s = -4*l - 0*l. Is l less than or equal to -4?
False
Let g be 0 - (-22)/(1 + 1). Let m be ((-1)/g)/(1/2). Let q be (-2 - -2)*(-1 + (-6)/(-4)). Is q at most m?
False
Let g = 43 - 42. Let w = 0.03 - -5.97. Does w = g?
False
Let r = -105 - -734/7. Let c be (-24)/18*(-6)/(-4). Let p = 2 + c. Is r not equal to p?
True
Let h = 0.03 + -0.07. Let i = h - 0.06. Let d be (-9)/12*(-1)/(-3). Is i smaller than d?
False
Let m(q) = 2*q**2 - 6*q. Let j be m(4). Suppose 10 = -4*x - s, 3*s = -s - j. Let r be 2/x - 8/(-6). Is -1 greater than r?
False
Suppose 2 = -2*j + 4*g, -3*g = 3*j - g - 5. Let c be 6/72*(-6)/(-4). Which is smaller: c or j?
c
Let i = 22 - 38. Let p = 212/13 + i. Which is smaller: p or 1?
p
Let s = -2 + 1.98. Let z = 25.1 + -25. Is s bigger than z?
False
Suppose 0*d - 9*d = -27. Suppose x = 3*x. Let y be (x + (-2)/4)*-8. Is d < y?
True
Suppose 68*i = 63*i - 5. Is i bigger than -9/29?
False
Let g(t) = -t - 2. Let u be g(-6). Suppose -m = m + u. Is -3 less than m?
True
Let c = 8 + 4. Let f be 0/(-2 - c/(-4)). Is -2 >= f?
False
Suppose -x + 0*x = -8. Let u be (-1 - (5 + -3) - -1)*3. Let v = x + u. Is 2 at most v?
True
Let d = -0.4 + 0.2. Let l = 0.7 + -0.4. Let n = d + l. Is n < -1/2?
False
Let l be (8/(-3))/((-3)/9). Let c = l - 6. Is 1 >= c?
False
Suppose 0*g + 2*g = y - 11, -5*g = 4*y + 8. Is y smaller than 3?
False
Let q be (-1)/(-15) + 12/(-18). Which is smaller: q or -1?
-1
Let h = -11 + 22. Let f = h + -3. Does 7 = f?
False
Let z(r) = r**2 - r + 1. Let h be z(0). Let a = 67 - 470/7. Is h less than or equal to a?
False
Let k(d) = -d**3 + 4*d**2 - 5*d + 2. Let x be k(3). Let l be 5/(-20) - (-74)/8. Suppose 0 = -5*q - l - 6. Which is smaller: q or x?
x
Let r be (-2 - 1) + (-51)/3. Let o be 9/r - 4/(-20). Which is smaller: -2/9 or o?
o
Let n = 22 - 15. Suppose -2*b - 5 = -n*b. Is 2 at least b?
True
Let l = -1775/9 + 197. Let d = -4/9 + l. Suppose 4*j = 2*q - 12, -6*q = -2*q - j - 3. Is d at least q?
False
Suppose 6 = x + 5*x. Which is greater: x or 1/130?
x
Let v be (3/(-9))/((-12)/9). Let a be 0/(-1) + 2/(-2). Let x be 1/2 - a/2. Which is bigger: x or v?
x
Let a be (-2 + 3 - 1)*1. Which is greater: 1 or a?
1
Let i = -1.7 + -0.3. Let m = -0.031 - 0.269. Which is greater: i or m?
m
Let l = 34 + -21. Suppose -4*p + 20 = -4*b, 0*b = -2*p - b + l. Let h = p + -10. Which is smaller: -3 or h?
h
Let w = 0.3 - 1.3. Let m = w - -2. Which is greater: -2/3 or m?
m
Let n be (-2)/(-14) - 12/28. Is n smaller than -1?
False
Let p be 115 + -5 + 4 + -4. Which is smaller: p or 111?
p
Let m be (1/4)/((-1235)/(-40)). Is m at most 1?
True
Let f(g) = -g**2 + 2*g + 2. Let v be f(3). Let t(w) = -w**3 - w**2 + 2*w + 2. Let l be t(-2). Suppose b + l = -b. Are v and b unequal?
False
Suppose 0 = -2*g - 5*m + 20, -5*g - m - 2 + 29 = 0. Let x be (-4 + g)/((-1)/(-11)). Are x and 10 nonequal?
True
Let b = -28.8 + 30. Which is smaller: 1/3 or b?
1/3
Suppose 4*k - 32 + 144 = 0. Which is greater: k or -29?
k
Let y(k) = k - 7. Let a be y(5). Suppose -2 = -2*s - 2*d - 2*d, 1 = d. Which is bigger: a or s?
s
Let f be 69/(-45) + (-2)/(-10). Let x be 0/(1*(2 + 0)). Let b(z) = -z - 2. Let w be b(x). Is w at least as big as f?
False
Let s be (8 - 7) + 5/(-4). Let x = -1459 + 4490/3. Let d = x + -38. Which is smaller: s or d?
d
Let x = 18 + -18.2. Let c be 2/1 - (0 + 0). Is c less than x?
False
Let d be (-12)/7 - 4/14. Let j(z) = -z + 3. Let m be j(0). Suppose p = -4*v - 0*v + 1, m*p = 3*v + 18. Is d at most v?
True
Let v = -1 - 1. Let x = 17/20 - 8/5. Are v and x equal?
False
Let g(m) = m**3 + 2*m**2 + m - 2. Suppose -3 = -5*r + 2*h - 19, -1 = 5*r + 3*h. Let f be g(r). Let z = -28 + 25. Which is smaller: z or f?
f
Suppose y + m + 3*m - 12 = 0, 2*y + 9 = 3*m. Let n = 2 - 1. Is y less than n?
True
Suppose 21*i + 640 = 13*i. Is -81 >= i?
False
Let c be (-10)/8 + 1 - (-5)/(-28). Is c <= -2?
False
Let j = -15.1 + 15. Which is greater: j or -1?
j
Let d be -11*6/(-9)*3/(-2). Which is greater: d or -10?
-10
Suppose -3*v + 9 = w + w, 3*v = 2*w + 9. Which is bigger: w or -1?
w
Suppose -3*h - 45 = -3*b, -2*b = 3*b + 2*h - 40. Let g = -17 + b. Which is greater: -6 or g?
-6
Let x = -3 + 3.5. Let k = 0.4 - x. Let m = 0.2 + k. Is -1 at least as big as m?
False
Let c = 0 + -1. Let y = -2339 - -11657/5. Let b = y - -37/5. Which is greater: c or b?
b
Let n(d) = d**3 + 4*d**2 - d + 3. Let a be n(-4). Let r(w) = w - 7. Let i be r(a). Which is smaller: 2/11 or i?
i
Let f be (665/(-685) + 1)*(-4)/8. Which is bigger: -0.1 or f?
f
Let d(v) = v**2 - 8*v - 6. Let i be d(9). Suppose 4*y - 17 = 3*w, -2*w - 2*w = -i*y + 18. Let l be (y/(-3))/(-2)*0. Is 1/2 greater than l?
True
Let f(m) = m + 9. Let t be f(-4). Suppose 0 = -t*h - 4*u + u - 14, -3 = u. Which is greater: 2/13 or h?
2/13
Let a(d) = d - 2. Let o be a(9). Suppose -4*m + m + 18 = 0. Is o less than or equal to m?
False
Suppose -5*h = 0, -3*n + 0*h + h = -3. Suppose -2*d - 5 - 49 = 0. Let u = d - -82/3. Is n less than u?
False
Let b be (-3)/27*50*4/(-10). Which is smaller: 2 or b?
2
Let n = -6.9 - 1.1. Let k = -12 - n. Let m = -2 - -3. Is m >= k?
True
Suppose -a = -2*a + 4*x + 6, -1 = -a - x. Let h be 1/(-9) + a/(-6). Let k be 1/1*(-6)/6. Are k and h nonequal?
True
Let l = -0.27 - 0.03. Let n = 0.3 + l. Let p = 1 + n. Are p and 0 non-equal?
True
Let d(v) = v**3 - 3*v**2 - v + 2. Let u be d(3). Let k = -126/17 - -5527/748. Let s = 3/11 + k. Is s != u?
True
Let o = -161.86 + 158. Let z = o - 0.14. Which is smaller: -2/5 or z?
z
Suppose -19 = 7*h + 2. Are h and -27/11 nonequal?
True
Suppose -5*n + 2*j = -3*j + 5, 2*j - 8 = -n. Suppose -2*o - 2 = n. Which is smaller: o or 0?
o
Suppose 8*g = 3*g + y - 4, -3*g - y + 4 = 0. Suppose 5*c - 5 = -g. Suppose 2*m = m - 5*l - 20, 0 = -m + 3*l + 12. Which is greater: c or m?
c
Let t be (2 + -3 - -1*3) + -3. Let w(a) = a**3 + a**2 - 2*a - 2. Let c be w(-2). Which is bigger: c or t?
t
Let j be 2/((-3)/((-42)/(-4))). Let m be (12/(-21))/((-2)/7). Suppose m*k + 6 = -6. Does j = k?
False
Let v = 0.077 - -0.023. Which is bigger: 1 or v?
1
Suppose -4*k + 18 + 12 = 2*w, -3*w = -k - 31. Suppose 0 = a + 5*c - 20, 0 = -a - c - c + w. Is 6 at least as big as a?
True
Let k(t) = -5*t - 1. Let x(g) = g - 5. Let r be x(4). Let z be k(r). Suppose z*y = -20, -2*w - 14 = -6*w + 2*y. Is 2 smaller than w?
False
Suppose -a + 3*x + x = 1, 5*a - 5*x + 5 = 0. Suppose -5*b + 11 = -34. Let s(v) = -v**2 + 10*v - 9. Let j be s(b). Which is smaller: j or a?
a
Let d = -2.11 - -2.2. Let b = d - 0.09. Which is smaller: -4 or b?
-4
Let l = 12 + 3. Suppose -1 - 14 = 5*h + 2*n, -l = 3*n. Which is greater: 1 or h?
1
Let u(r) = r + 7. Let n be u(-10). Let t be (2 - 2) + n - -2. Let k = -4 + t. Is k less than or equal to -5?
True
Let d = -4.02 - -4. Let n = d + 1.32. Let v = 0.3 - n. Is 0.3 < v?
False
Let v be (-2 + 0)*1 + 9. Let o = 10 - v. Suppose -o*p = -7*p. Are 0 and p unequal?
False
Suppose -6 = -x - x. Suppose 0*b + 4*h = 4*b + 288, -5*h = x*b + 200. Let z be (8/b)/(4/(-10)). Which is smaller: z or -1?
-1
Let k = -417 - -3757/9. Does k = 1?
False
Suppose -5*o + 3*n - 15 = 17, -4*n + 16 = 0. Let v = -40 + 36. Is o smaller than v?
False
Let d be (-10)/4*(1 + 1). Let l(y) be the first derivative of -y**2/2 - y - 4. Let g be l(d). Is g at most 4?
True
Let c be -4 + 2 + (-4)/4. Are c and 1 unequal?
True
Suppose -2*m = -9*m. Let s = 24 + 9. Let k be (-1)/(-3) - 5/s. Is m at most as big as k?
True
Suppose -2 = 6*s - 98. Which is smaller: s or 17?
s
Let t = 11 + -4. Suppose -2*z = -t*z. Is 1/4 at most z?
False
Let l = -28 + 16. Which is smaller: -11 or l?
l
Let h(t) = -t**3 - 13*t**2 - t - 14. Let k be h(-13). Is k at most -3/26?
True
Let n = -4 - -6. Suppose -5*d - 4*b - 35 = b, 2*b + n = 0. Which is greater: d or -5?
-5
Let j be 1 + (0 + 0)/(-1). Let y be ((-4)/210*-7)/((-2)/(-18)). Is y at most j?
False
Let k = -12 - -5. Which is smaller: k or 2?
k
Let h be (-4)/26 + (-259)/91. Is h greater than or equal to -5?
True
Suppose -c - 18 = -5*c + 2*d, c - 6 = d. Is 6 greater than c?
True
Let m(i) = i**2 + 12*i + 3. Let v be m(-12). Suppose 