 + 3/(-12). Is h less than -2/7?
False
Suppose 2*k - 15 = -5*n + 1, n - 17 = -5*k. Suppose 3*s - 4*s = 5*c - 22, n*s = 2*c - 4. Is 1 bigger than s?
False
Let h be (-2)/(-3) + (-56)/12. Let n = h - -4. Is n >= -1/4?
True
Let y = -11 - -17. Suppose 3 = -3*n + y. Is n smaller than -1?
False
Let u = 11 - 10.54. Let j = u + 4.24. Let a = j - 5. Is a less than or equal to 0?
True
Let v be ((-20)/6 - -4)*3. Which is bigger: v or 5/3?
v
Let d(n) = n + 1. Let i be d(-4). Let h be (3/(-1))/(1/i). Is 9 equal to h?
True
Let a = 1.84 + -1.9. Let k = -0.16 - a. Is k equal to -0.3?
False
Suppose 2*a + 3*d - 22 = 4, 2*d + 13 = 3*a. Suppose 3 = 4*b + a. Which is greater: -2/7 or b?
-2/7
Suppose 4*j = 3*j + 2. Let h = j - -2. Suppose -5*y = -h*d - 14, 2*d + 1 = -2*y + 3. Is d equal to 2/5?
False
Let k = 5 + 0. Suppose 0 = y + y + k*f - 5, 4*f - 4 = 4*y. Do y and 4 have different values?
True
Let r be 6/(-9) + -1 + 1. Let b = -1.95 - -1.95. Is r less than b?
True
Let w be -2*(0 + -1) + 1. Let j be (6/16)/(w/(-2)). Let g(t) = -t**2 + 8*t - 6. Let q be g(7). Is j > q?
False
Let s be (-56)/4 - (-2 + 4). Which is greater: -17 or s?
s
Suppose 70 = -5*y - 40. Let n = 21 + y. Which is bigger: -2/23 or n?
-2/23
Let o = -11/12 + 65/84. Let s be (-14)/(-49) - 8/(-70). Which is smaller: o or s?
o
Suppose 0 = 8*b - 13*b + 345. Does b = 69?
True
Let z be 3 - ((-65)/(-4))/5. Which is bigger: -7 or z?
z
Let r = -11 - -7. Suppose 0 = 5*t - 3*p - 29, 3*p - p = 2*t - 14. Let l = t + r. Is 0 bigger than l?
False
Let p = 0.17 - 5.17. Let i = 1 + p. Is i greater than or equal to -0.1?
False
Let d be (6/8)/(70/(-2632)). Let f = 33 + -4. Let s = f + d. Which is greater: 1 or s?
1
Let s = -10/7 + 96/77. Which is smaller: s or -1?
-1
Let t be -3 - (9020/24 - -3). Let l = t + 381. Which is bigger: -1 or l?
l
Let o = 14 - 20. Which is smaller: o or -3?
o
Let y(w) = -w - 1. Let j be y(-7). Suppose f + 3*g = -15, 3*f - j*g = -4*g + 10. Suppose f = -2*l + u - 5, 8*u = 2*l + 3*u + 9. Which is greater: l or -3?
l
Let u(c) = -5*c - 5. Let j be u(-1). Which is smaller: j or -2/3?
-2/3
Let p(x) = x + 9. Let o(s) = s - 3. Let v be o(-4). Let c be p(v). Suppose -y = 2*k + 4, c*k + 2*y + 8 = -0*k. Which is greater: k or 1/6?
1/6
Let k = 14 + -10. Let c = k + -1. Let h be ((-6)/(-8))/(84/32). Which is greater: c or h?
c
Let p = -1422 + 143619/101. Which is smaller: p or -0.1?
-0.1
Let x(n) = -n**3 + 4*n**2 + 5*n - 2. Let j be x(5). Does -5/2 = j?
False
Suppose 3*b = -2*r + 4*r + 25, 4*r = -20. Suppose 6*p + b = p. Is p greater than or equal to 1?
False
Let v = 16 + -9. Let i = -1 - v. Let z = 6 + i. Is z greater than or equal to 0.1?
False
Let c(o) = 9*o**2 - 7*o + 6. Let d(u) = -10*u**2 + 8*u - 7. Let f(q) = 6*c(q) + 5*d(q). Let y be f(1). Does y = 2?
False
Let d(z) = -z. Let y be d(-5). Suppose -3*x + 2 = -5*v - 5, 2*v - y*x = 1. Is v greater than or equal to -1?
False
Let u(p) = 6*p - 1. Let q be u(1). Suppose 6*j - 2*j - 3*z = -4, 1 = -j + q*z. Which is greater: 1/19 or j?
1/19
Let i = 7 - 11. Let g be (57/6 - 3)/(-2). Which is smaller: g or i?
i
Let g be (32/(-6) + 0)*(-6)/14. Which is greater: 2 or g?
g
Let j = -24 - -36. Which is smaller: j or 8?
8
Let c = -7/4 - -23/12. Is c at least -1?
True
Suppose 0 = 3*u + 2*u - 20. Suppose v = -0*v + 4. Suppose -v*p = -0 + u. Which is bigger: p or 0?
0
Let u be (-2 - -3)*2/11. Let l = -12 + 16. Suppose -c + 0*c = 5*o - 5, -o = -l*c - 1. Which is bigger: u or o?
o
Let d = 10 - 6. Suppose -z = -d*z. Is -1 equal to z?
False
Let i = -14 - -12. Is i bigger than -0.07?
False
Let u = 1 + -6. Let y(j) = 4 + 5*j - 1 - 4*j. Let g be y(u). Which is bigger: -4/3 or g?
-4/3
Let x(d) = d - 1 + 3*d**2 + 2*d**3 + 3*d**3 - 4*d**3. Let y be x(-2). Which is smaller: y or -2/9?
-2/9
Let a = -14 - -14. Let o = -1 - -1. Let q = o - a. Which is smaller: q or -1/3?
-1/3
Suppose 18 = 5*q - 3*q. Suppose 4*o = q*o + 25. Let h(t) = -t**2 - 4*t - 4. Let l be h(o). Which is bigger: -8 or l?
-8
Suppose 0 = -4*i + 4, -5 = 2*b - 4*i - i. Is b equal to 2/21?
False
Let x = 0.1 + 0.1. Let g = 0.1 - x. Let u = -33 + 35. Is g greater than u?
False
Suppose 120 = -5*k + 11*k. Does -2 = k?
False
Let u = -10 - -12. Suppose u*o + 24 = -2*o. Let x = o - 0. Which is smaller: x or -5?
x
Let h be ((-1)/3)/(6/18). Let w be h/(0 - 6/10). Which is smaller: 2 or w?
w
Let s(b) = b**2 + b - 1. Let x be 28/16 + 1/4. Let j be s(x). Which is smaller: 4 or j?
4
Let a = -0.5 - 14.5. Is 0 equal to a?
False
Let p = 25 + -21. Let u = 6.01 + -0.01. Let g = p - u. Which is bigger: g or 1?
1
Let f be (-6)/(3/((-27)/3)). Suppose -2*t + 2 = 4*c + f, -5*t = -2*c - 20. Suppose -d - 9 = t*d. Is d > -3/2?
False
Let r = -71 + 72. Which is bigger: 2/3 or r?
r
Let k = 47 - 46.9. Which is smaller: k or -45/7?
-45/7
Let v be (27/4)/(-3 - 236/(-80)). Is -134 >= v?
True
Let k(q) = q**3 - 4*q**2 + 2*q - 6. Let w be k(4). Let a be (-3)/1*(-8 + 7). Is w greater than a?
False
Let x be (-2 + 1)/(2/(-24)). Let w = x + -12. Is w at most as big as 6/5?
True
Suppose -4*h + 8 = 4. Which is bigger: h or 0?
h
Let y be (2 + -3)/((-3)/1 + 4). Let j be ((-1)/5)/(0 - 1). Which is smaller: j or y?
y
Let g be (-2 + 0)*1 - -3. Let r be (-2454)/63 + g/(-3). Let y = r + 39. Is y at most as big as -1?
False
Suppose 3*i - 2 = 1. Let s(b) = 89*b**3 - 1. Let q be s(i). Let p = q - 442/5. Which is greater: 1 or p?
1
Suppose 3 = -2*x + 7. Let u(k) = -x*k + k + k + k. Let p be u(2). Is p at most 0?
False
Let i = -1081/24 + 45. Is i greater than -1/3?
True
Let j be 1956/(-3374) + (-2)/7. Let z = -2/241 - j. Do 0 and z have the same value?
False
Let b = 13 - 12. Let w = b + 0. Are 4 and w non-equal?
True
Let m = 6 + -16. Which is smaller: m or -3?
m
Let q(h) = h**3 - 4*h**2 + 4. Let d be q(4). Suppose d*c = -4*k - 20, -c - 2*c = 12. Which is smaller: -2 or k?
-2
Let f(z) = -z**2 - 8*z + 11. Let q(s) = s. Let g(y) = f(y) - q(y). Let v be g(-10). Which is smaller: v or -2/7?
-2/7
Let p = 44 + -223/5. Suppose 7*v - m = 2*v - 1, 4*v + 3*m - 3 = 0. Which is smaller: v or p?
p
Let r = -11 + 13. Which is smaller: r or 1?
1
Let r = -512/5 + 102. Let w = 23 - 22. Which is greater: r or w?
w
Let m be (6/(-188))/((-18)/24). Are 0 and m equal?
False
Let p(a) = a - 4. Let f be p(9). Suppose -2*l = 2*n + 6, -l - 4*l + f*n + 25 = 0. Which is bigger: -0.7 or l?
l
Let h(t) = -16*t - 8. Let j be h(-8). Suppose -a + 2*a - j = 0. Let f = 475/4 - a. Is f <= 0?
True
Let l be (156/32)/(-3) + 2. Is 0.1 at most as big as l?
True
Let a(r) = 7*r - 2. Let k be a(2). Let w be 242/(-4)*k/(-9). Let j = w - 79. Which is smaller: 3 or j?
j
Let b be (-35)/25 - 3/5. Suppose 3*g = -3*p + 6, 0*p = 2*g - p + 5. Which is smaller: b or g?
b
Let y(j) = -j**3 - 7*j**2 - 7*j - 3. Let q be y(-6). Let v = 5 + -4.92. Let d = v + 0.02. Is q at least as big as d?
True
Let z = 12 - 12.16. Let b = 0.14 + z. Is -1 greater than b?
False
Suppose 2*v = -g + 7*v + 27, 0 = 3*g - 2*v - 16. Suppose 0 = g*h - 5*h. Let s be ((-42)/10)/(-3) - 1. Is s smaller than h?
False
Let q = 4 + -2. Let l = -249/4 - -63. Is q >= l?
True
Let j = -8 - -3. Let y = j + 4. Which is smaller: -2 or y?
-2
Let h = 84/5 - 776/45. Suppose -2*u = -0*u - 4. Suppose -6 = -u*j, 0*q - 5*q - 5*j + 10 = 0. Which is bigger: h or q?
h
Let a = -2.7 - -16.7. Let q = -9 + a. Which is smaller: q or -1/4?
-1/4
Let h be ((-11)/22)/((-2)/16). Which is smaller: -2 or h?
-2
Let a = 4 + 0. Is a smaller than 6?
True
Suppose 5*u = -5*t + 5, -t - 3*t + 5*u = -4. Let v = -893 + 75907/85. Let c = v - 184/595. Which is bigger: c or t?
t
Suppose 4*n = -4*r - 4, 4*n - 4 = 3*r - 1. Is r != -2/339?
True
Let k(u) = -u**3 + u**2 + 3*u + 2. Let i be k(-2). Which is smaller: i or 6?
6
Suppose 0 = 4*b - 2*b - 10. Suppose -h + 6*h + 5*a + b = 0, 4*h + 8 = -5*a. Let m = 5 + -3. Which is smaller: h or m?
m
Let y be 21/(-6) + (-3)/(-6). Which is greater: y or -1?
-1
Let n be ((-5)/6)/((-15)/12). Which is smaller: n or 2/9?
2/9
Let o(k) = k**2 + 9*k + 7. Let p(l) = l**2 + 10*l + 7. Let x be p(-8). Let z be o(x). Is z at least 8?
False
Suppose 3*v = 2 + 4. Let c = 2 + v. Is c bigger than 2?
True
Let w = -134 - -139. Suppose 10 = -3*f - 0*h + 2*h, 5*h - 25 = -f. Which is greater: w or f?
w
Let f be 0 + 2 - 6 - -3. Let b = f - 0. Is -3/4 <= b?
False
Let u = -0.02 + -0.08. Is 2 