 = 73/14 - 11/2. Which is smaller: h or 1?
h
Let f = -5649 - -39646/7. Let w = -15 + f. Which is greater: w or 0.2?
0.2
Let w(f) = -f**2 + 1. Let z be w(0). Let s be ((-3)/18)/(14/18). Which is greater: s or z?
z
Suppose 3*j = -3*j + 6. Which is greater: 15/7 or j?
15/7
Let o = 1 + -0.96. Let t = o + -3.04. Let z = -4 - t. Is z > 1?
False
Let z = -1185827/904410 - -1/20098. Let x = -1/45 + z. Is -2 >= x?
False
Let t = 10.9 - 9.1. Which is greater: t or -1/2?
t
Let k(m) = -2*m**3 - 2*m**2 - 2*m - 5. Let p be k(-2). Is p > 9?
False
Let g be -1 - (-700)/(-7 - -3). Let v be 3/4 + 116/g. Is v at most 1?
True
Let q be ((2 - 2)/2)/3. Let r be q*((-2)/(-1) - 3). Let g(s) = s + 2. Let h be g(-2). Is h != r?
False
Let l = -17 + 17. Let c(a) = -a**3 + a**2 + 5. Let h be c(l). Which is smaller: h or 7?
h
Let f(p) = 2*p**3 - p**2 + p. Let t be f(1). Let i = 16 - 13. Do t and i have the same value?
False
Suppose 1 - 17 = -2*m. Let o = m - 4. Suppose -b + 5*b + o = 0. Which is bigger: b or 1/6?
1/6
Let c = -0.08 + 0.18. Let x = 68 - 26. Let i be 2/(-3) - (-40)/x. Is i >= c?
True
Suppose f + 2 = -1. Let m = f + -2. Do -6 and m have the same value?
False
Let q = -128 - -127. Which is greater: -3/2 or q?
q
Let s(p) = -2*p**2 - p - 2. Let m be s(5). Let z be m/30 - (-4)/10. Is -1 greater than or equal to z?
True
Let j(g) = -11*g - 2. Let v be j(-2). Are 19 and v non-equal?
True
Let c be (-8 + 9)/((-3)/9). Which is greater: -18/7 or c?
-18/7
Let k = 23 - 4. Let m = k + -19. Which is greater: 1/6 or m?
1/6
Let i = -113 - -114. Are i and -2/337 non-equal?
True
Let v = -2 - -4. Suppose -2*f + f = v. Which is smaller: f or 2?
f
Let v = -2/541 + 633/24886. Which is smaller: v or 0?
0
Let z be 46/(-40) + (-11 - -9). Let n = z + 767/180. Is n < -0.1?
False
Let r be (-4)/(-14) - 9/7. Is r != -4?
True
Suppose -2 = 3*p + 1. Let s = 2.3 + -2. Let w = 0.2 - s. Which is bigger: p or w?
w
Let k = 13 + -25/2. Is 4/11 greater than k?
False
Let m = -0.14 + -5.06. Let u = -5 - m. Is u at least 0.1?
True
Let y(u) = -6*u + 4*u + 0*u + u + 3. Let g be y(6). Is g less than or equal to -1?
True
Let y be (-4)/(2/6*-2). Is y smaller than 6?
False
Let m = -498 + 61256/123. Which is greater: m or -1?
m
Let g = 339/5 - 68. Let n be (-4)/(-14) + 4/(-14). Let w = -1 - n. Which is smaller: w or g?
w
Suppose 13*y - 16*y = 0. Does 0 = y?
True
Let i(s) = s + 7. Let v be i(-6). Let l(q) = 4 - q - v + 2. Let f be l(6). Does -1 = f?
True
Let c(y) = -2*y. Let v be c(-5). Suppose -u - 5*q = 21, 4*u + 4*q + v + 10 = 0. Is u at least as big as -1/10?
False
Let y = -0.3 + -0.2. Let d = y - -0.5. Let q = -13/70 + -1/10. Is q less than or equal to d?
True
Suppose u = 4*x + 3, -5*u + 15 = x - 6*x. Let t = -4 + u. Are -2/7 and t equal?
False
Let c(h) = h**2 - h - 3. Let l be c(3). Let f = l - -4. Which is smaller: f or 6?
6
Suppose 3*b + 5*v + 0*v - 23 = 0, 4*b + 4*v = 28. Let y be -3 + 2/(b/9). Do y and 2/5 have the same value?
False
Let k = 536 - 5892/11. Let i = -111 - -110. Is k at least as big as i?
True
Suppose -p = p. Let i(b) = -3*b**3 - b**2. Let u be i(2). Let x be (2/u)/((-1)/8). Which is bigger: p or x?
x
Suppose z + 21 = a, -2*a + 2*z = -6*a + 114. Let b = -27 + a. Which is smaller: 2/49 or b?
b
Let u = 403 + -6047/15. Are u and 1 unequal?
True
Let o be (-1 - -4)/(0 - -1). Suppose -o*q = -k - 9, 3*k - 3*q + q = -6. Which is greater: k or -2/45?
k
Let o(f) = f**2 - 6*f - 14. Let s be o(7). Which is smaller: s or -6?
s
Let x be (-27 + 26)/((-1)/16). Does 0.1 = x?
False
Let f(z) = -239*z - 1. Let m be f(1). Let a = m + 4082/17. Which is smaller: a or -1?
-1
Let k = 100 - 901/9. Suppose 0 = -r - 4*r - 5. Which is bigger: r or k?
k
Let g = -4314/7 - -52511/63. Let b(q) = 3*q**2 + 3*q + 1. Let n be b(-9). Let j = n - g. Is j at most as big as -1?
False
Suppose 4*i - 20 = -0*i. Suppose 6*p = 2*p - i*n - 5, 3*p + 4*n = -4. Let w(v) = -v**2 - 3*v. Let m be w(-3). Is m at least as big as p?
True
Let z be (0/(-1))/(-2 + 1). Let u be 2 - (2 + -4 + (-4 - -9)). Is z greater than u?
True
Suppose -3*f - 5*j = -j + 18, 2*f + 2*j + 10 = 0. Suppose 4*q = 2*q - 2. Is q >= f?
True
Let t = 35845/18238 - 9/829. Let o = 5/11 - t. Are -1 and o unequal?
True
Let y = -2.3 + 2.2. Which is bigger: y or -2.5?
y
Suppose 6*c - 4 = 4*c. Does -0.1 = c?
False
Suppose 5*y = -2*m - 0*y + 3, 4*m + 3*y = -29. Which is bigger: -23/2 or m?
m
Let l be 15/(-10)*(-100)/6. Let g be -1*l + (1 - -2). Are g and -21 unequal?
True
Let v be -3 + 4*(-12)/(-16). Which is smaller: v or -12/11?
-12/11
Let h = 45 - 47.3. Let r = -2.4 - h. Is r equal to 0?
False
Let p = 0 + -6. Let a be 58/p - (-12)/18. Is a >= -9?
True
Let z(w) = 11*w**3 - w**2. Let v be z(1). Let o be (1/(-2))/(v/4). Let g(q) = -q**2 - 2*q + 1. Let k be g(-2). Which is smaller: o or k?
o
Let h = 0.95 - -0.05. Suppose 4*d = 4 + 4. Let f = -2 + d. Is f at most h?
True
Let d(r) = -r**3 - 5*r**2 + 7*r + 2. Suppose -16 = -5*c - 46. Let l be d(c). Is l > -4?
False
Suppose q + 0*q = 0. Suppose -j + q*j + 5 = -3*w, -4*w = 5*j - 6. Which is smaller: w or 0?
w
Suppose 2*q = -2*k + 2, -2 = -k - 3*q - 1. Do k and 1/18 have the same value?
False
Let h = 0.08 + -0.08. Let f = 41.5 - 41. Is h at most as big as f?
True
Let q be (-1)/(-1)*-10*7. Let g = -143/2 - q. Which is bigger: g or -1?
-1
Let s = 5588/3 + -1897. Let j = -34 - s. Suppose 2*o + 0*o = -i - 8, 5*o = -20. Is i != j?
True
Let k = -1 - -1. Suppose -4*d + 2*r + 36 + 66 = k, 5*r = -15. Suppose -5*x = -x + d. Are -5 and x equal?
False
Let c = 37 - 631/17. Let r be 9 - 13 - (-5)/(180/152). Which is bigger: c or r?
r
Suppose 4*r + 2*t = -46, 3*t + 4 = 4*r + 35. Let d be 3/r + 2/4. Which is smaller: 1 or d?
d
Let f = -7 + 11. Suppose 0 = -a + g - 2, -f = -2*g + 6*g. Suppose 2*s + 8 = -3*h, 2*s - s = 4*h + 7. Which is greater: a or h?
h
Let l = -0.06 + 0.86. Let m = l - 0.5. Which is bigger: 2 or m?
2
Suppose 0 = 2*u - 0*u + 2. Let z be (2/(-9))/((-1)/u). Does 1/4 = z?
False
Suppose -3*d = -5 - 43. Is d < 18?
True
Suppose 0 = 2*f + 3 - 1. Let n be (-1)/2*(1 + f). Let m be (-14)/4 + 2 + 1. Which is greater: n or m?
n
Suppose 5*w - 2 - 3 = 0. Does 3/2 = w?
False
Let c be -13*(-3)/(-21) - -2. Let o(v) = v**2 + 4*v + 2. Let b be -3*(-1)/2*-2. Let a be o(b). Is c greater than or equal to a?
True
Let w be 1239/(-63) - (-2)/3. Does -19 = w?
True
Let b(c) = c**3 - 4*c**2 - 3*c. Let z be b(5). Suppose 0 = 3*l - 5 - z. Suppose 3 = l*t - 2. Is t < 1/4?
False
Let m be 21/14 + (-2)/4. Which is greater: 2/323 or m?
m
Let u = 1.6 - 2. Let m = -0.05 + -0.05. Is m at most u?
False
Let c = 625/7 - 89. Is c less than 0?
False
Let q = -22/15 + 1847/1290. Let o = q + -151/602. Let d = -7 - -8. Which is greater: o or d?
d
Let p = 33 - -2. Suppose 180 = 4*k - 4*h, -2*k = -3*k - h + p. Let f be 3/(-5) + (-96)/k. Which is smaller: -7/3 or f?
f
Let o be 48/15 + (-1)/5. Suppose 0 = -v - 5, -3*t + 3 = -v - 2. Are o and t unequal?
True
Let n = -14 + 10. Let g be (-12)/(-9)*(-6)/n. Let x be (3 - 9)/(21/(-2) - -3). Is x >= g?
False
Let k(v) = 0 + 0 - 2*v + 3*v - 1. Let f be k(5). Suppose -8 = -2*n - f. Are 2 and n equal?
True
Let m(a) = -a**2 + 3*a - 2. Let i be m(2). Suppose -3 = -s - i*s. Let f = s - 4. Is -2 at most as big as f?
True
Let x(p) be the third derivative of -p**6/120 + p**5/30 - p**3/6 - p**2. Let s be x(2). Which is greater: 1 or s?
1
Let p = -1027/7 - -147. Let l be (-6)/(-8) + 3/12. Is l less than p?
False
Suppose 0 = 4*p + 17 - 85. Let w be p/(-3) + (-3)/9. Let h be 1/w - 14/(-12). Is 1/3 < h?
True
Let h = -1510/3 - -496. Is -6 at least as big as h?
True
Let q(p) = -p - 16. Let f be q(-18). Let j(h) = -h**2 + 4*h + 1. Let n be j(4). Which is greater: f or n?
f
Let w be ((-7)/49)/(2/(28/(-2))). Let l = -308365/1672 + -1889/88. Let t = 206 + l. Is w at least as big as t?
True
Let h(o) = o**2 - 5*o - 2. Let z be h(6). Suppose 0 = z*x - 9*x. Let g = 953/4 - 237. Which is bigger: x or g?
g
Let y be 0/(-1) - (-2)/5. Suppose -4*o - 8 = 24. Let g = -9 - o. Is g less than y?
True
Let c = -22676/3 - -6077783/804. Let q be (-4 + 0)*(2 + (-1611)/804). Let y = c - q. Is y at least 0?
True
Let x be -6 + 3 - (-30)/8. Which is bigger: 2 or x?
2
Suppose 0 = -2*t - 2*t + 12. Suppose -t = -g - 2*g + o, 0 = -5*o. Which is bigger: g or 2/5?
g
Let q = 0.009 - -0.491. Ar