h**2 + 6*h + 3. Let f be y(7). Which is smaller: f or 1/7?
f
Suppose 2*u + 3 = q, 3*q + 2*q - 3*u - 15 = 0. Suppose -q*b + 3*f + f - 26 = 0, -b - f = -3. Are -4/3 and b equal?
False
Let i = -134 - -1609/12. Is 1 less than or equal to i?
False
Suppose 2*s = -0*s. Suppose s = -5*y + 2*y - 3*r - 3, 3 = 5*y - 3*r. Let z = -152/3 + 50. Which is bigger: y or z?
y
Suppose -3*q - 3*m - 9 = -0*q, -4*m = 0. Let a be (0 + q/(-18))*-5. Suppose 9 = -3*o, -4*o = b - 6*o - 5. Which is smaller: a or b?
b
Let o = -1.5 - -1.4. Which is bigger: -22 or o?
o
Suppose 5*p - 7*p + 2*w = 0, 0 = 3*p - 5*w. Let y = 6 - p. Is 6 at most y?
True
Let w(u) = -u**2 + 7*u. Let i be w(8). Which is smaller: -6 or i?
i
Let v(o) = -o + 2. Let c(l) = -1. Let t(s) = 6*c(s) + v(s). Let h = -5 + 0. Let q be t(h). Is q at most as big as 1/4?
False
Suppose 208 = 10*q - 6*q. Suppose 5*p + 14 = -3*o + q, 5*o = p + 26. Which is smaller: 7 or o?
o
Suppose -4*n + 24 + 32 = 0. Is n less than 14?
False
Let d be 2/(-6)*(-5)/2. Let v be -7 + (-8)/4*-1 - -6. Is v at least as big as d?
True
Let y(u) = -2*u**2 + 11*u + 8. Let n(z) = -z**2 + 6*z + 4. Let d(w) = -7*n(w) + 4*y(w). Let m be d(3). Is 1 at least as big as m?
True
Let j(i) = -i - 1. Suppose -1 = -3*v - 10. Let o be j(v). Let b be o + (0 - -6)/(-3). Is b > 1/6?
False
Let c = -0.1 - -0.1. Let g = -53 + 105/2. Which is smaller: c or g?
g
Suppose 2*b + 5 = 3*b + 4*d, 2*b + 5*d - 7 = 0. Which is smaller: b or 0?
0
Let q = 11 - 5. Suppose -z + 0 = -f - 2, 0 = 3*z - q. Suppose -2*g - 4*y - 4 = 4, 0 = -3*y - 6. Is g smaller than f?
False
Let d = 171.3 + -183. Let l = -11 - d. Let p = -1.7 + l. Which is smaller: 0 or p?
p
Let x = 2.51 - 0.11. Let h = 0.4 - x. Let w = h - -5. Are w and 0 non-equal?
True
Suppose -4*y + 22 = -14. Let n = y - 10. Let l be 4/(-30) - (-2)/6. Is l less than n?
False
Let h be 84/108 + 2/9. Is -6 > h?
False
Let b = 69 + -66. Let k be (1 + (0 - 0))*-1. Which is greater: b or k?
b
Let z be (0 - -2)*1/(-13). Which is smaller: 1 or z?
z
Let a = 12.9 - 0.9. Let o = -7 + a. Is o greater than 2/7?
True
Let l = -5.08 + 0.08. Let c = -23 - -18.1. Let p = l - c. Is p at most as big as -2?
False
Let i = -2.6 + 2.7. Is 0.09 greater than or equal to i?
False
Suppose -5*x + 0*w = -3*w - 57, -3*w = 12. Let q be (1/(-4))/(x/(-12)). Let c = -0.1 - -1.1. Which is smaller: c or q?
q
Suppose -4*z = -5*g + 2*g + 8, z - 3 = 2*g. Let k be (-2)/g*12/18. Which is greater: -4 or k?
k
Let t(p) = p**2 - 7*p + 4. Let q be t(6). Let j be 1/q - 4/(-40). Suppose -7 + 5 = 2*i. Which is smaller: i or j?
i
Let a(l) = l + 4*l - 9 - 4*l - 2*l. Let m be a(-12). Is 4 bigger than m?
True
Let g = 30 - 62. Which is smaller: -31 or g?
g
Let s = -26/21 - -4/3. Is 0 at most s?
True
Let y(x) = x**2 - 17*x + 20. Let c be y(16). Suppose 0 = c*l + 2*l - 12. Are l and -2/3 non-equal?
True
Let o(d) = -d**2 - 3*d + 6. Let r be o(-4). Let a = r - 6. Which is bigger: a or -5?
a
Suppose z + 2*z = 0. Suppose -5*h = -3 - 32. Let l be (-4)/(-14) + (-30)/h. Which is bigger: l or z?
z
Let y = -8 - -7. Is -2/17 < y?
False
Let v be (4/(-5))/((-16)/(-40)). Let d be v/(-10)*(-210)/(-18). Is 2 equal to d?
False
Let h = -8027/452 + 71/4. Which is bigger: h or 1?
1
Suppose -2*c = -5*c. Let w be 1*((-36)/15 + 2). Which is smaller: c or w?
w
Let m = 105 + -103. Which is greater: -13/8 or m?
m
Let f be 46/(-11) - (11 + -15). Which is smaller: 0 or f?
f
Suppose 14 = 3*g - x, x - 1 = g - 7. Suppose -2*k - 4*b = 24, 18 = -0*k + k - g*b. Which is smaller: -1 or k?
k
Suppose -5*o + o = 0. Suppose -2*l = 3*l. Let q = o + l. Is q > 0?
False
Suppose 0 = -2*a + 2*p - 4*p - 22, 40 = -4*a - 3*p. Let m(j) = -j**3 - 6*j**2 + 2*j + 5. Let v be m(-6). Is a >= v?
True
Let c(j) = -10*j + 3. Let o(r) = -5*r + 2. Let v(d) = -2*c(d) + 5*o(d). Let z be v(3). Which is smaller: -12 or z?
-12
Let v = 0.2 + -2.2. Let y = 0.4 + -0.35. Let t = y - 0.05. Is t < v?
False
Let v = -235 - -233. Let d = 0.2 + 0.8. Let i = -1 + d. Which is smaller: i or v?
v
Let x = 0.1 - 0.1. Let b = -2.5 + -16.5. Let j = b - -19.2. Is x <= j?
True
Let d = -11 + 18. Let g = d - 3. Let x = g - 23/6. Which is bigger: x or 0?
x
Let i = 0.02 - -8.88. Let g = -0.06 - 8.94. Let h = g + i. Which is smaller: 3/4 or h?
h
Let i be 3/(((-6)/(-4))/(-1)). Let u be (-4)/(-10) - (-69)/15. Suppose -k - u = -3. Is i less than or equal to k?
True
Let w = -7 + 17. Is -0.2 bigger than w?
False
Let m be (5/10)/((-1)/18). Is -6 < m?
False
Let s = 13.07 - 13. Let r = s - -0.03. Is r bigger than 1?
False
Let w = 0 - -3. Suppose -w*d - 4*n = 20, -4*n = 4*d - 0*n + 20. Let k(s) = -s**3 + s**2 - s. Let a be k(0). Is a at most d?
True
Suppose 4*c + 12*c + 32 = 0. Which is smaller: c or -22/7?
-22/7
Let d = -0.01 + 0.06. Let f = d - -0.05. Is f greater than 0.1?
False
Let p be 10*2/8*-2. Is p smaller than 5/6?
True
Let r = -45 + 51. Are 8 and r unequal?
True
Suppose j = -40 - 5. Which is smaller: -44 or j?
j
Suppose -3*d + 9 = -0*z + 4*z, 2*z - 9 = 3*d. Let w = -2 + 2.2. Let o = w + -0.3. Is d at least o?
False
Suppose -12 = 4*v - 2*o + 5*o, -3*v - 8 = 2*o. Which is bigger: 2/11 or v?
2/11
Suppose t = -1 - 1. Suppose -8 - 4 = -4*l. Suppose 2*n = 5*v + n + 15, -v - 4*n - l = 0. Do v and t have different values?
True
Let d = 0.68 - 0.66. Is d at most as big as 2/5?
True
Let i(l) = 42*l**3 + l - 1. Let b be i(1). Let c be -4*(3/b)/1. Is -2 greater than c?
False
Let o(v) = -v**3 - 8*v**2 + 1. Let c be o(-8). Let h be (c/(-2))/((-1)/2). Let j be 3 + (-2)/h + 3. Is j > 4?
False
Let g(s) = 3*s - 10. Let x be g(27). Which is smaller: x or 69?
69
Let z = -4039 - -52537/13. Is 1 less than or equal to z?
True
Suppose 0 = 4*h - 3*x + 2 - 3, -x + 1 = -2*h. Let g = h + 3. Which is greater: g or 2?
2
Let i(j) = -j**2 - 7*j + 9. Let q be i(-8). Which is bigger: 6/5 or q?
6/5
Let c = -3 + 3.1. Let r be 3 - (44/16 - 0). Is c smaller than r?
True
Let j(x) = 5*x**2 - x + 11. Let t be j(-8). Suppose -t = -3*n + b, -2*b = 4*n - 4*b - 452. Let z = n + -567/5. Is -1 at most as big as z?
True
Let j(p) = p**2 + 6*p. Suppose 0 = 5*d + 2*x + 32, -5*x = 4*d - d + 23. Let k be j(d). Let h(r) = r - 6. Let t be h(4). Which is bigger: t or k?
k
Suppose -n + 3*f = -5*n + 37, 2*n = -3*f + 17. Let p(y) = -y**2 + 11*y - 15. Let v be p(n). Let a = -4 - v. Is a >= -1?
True
Let v = 1631/362 + -1/181. Is -0.1 at most as big as v?
True
Let t be (2 - 2 - 2) + 86. Let b = -503/6 + t. Suppose -2*d - 3*d = 0. Which is smaller: d or b?
d
Let l = -181 - -533/3. Is l smaller than -2?
True
Let q(m) = -m**2 - 5*m + 2. Let w be q(-3). Let h be (3/(-9))/(w/(-6)). Which is smaller: 0 or h?
0
Let t = 2 - 3. Suppose 2*y = y + 12. Suppose -w - y = 2*w. Is t smaller than w?
False
Let i = -2.1 + 1.1. Let g = 0.26 - 0.2. Do g and i have different values?
True
Suppose 2*t - 45 - 15 = 0. Let v = 28 - t. Is v < -4/3?
True
Let y(k) = k + 1. Let b be y(5). Let j = b - 6. Do j and 2/7 have the same value?
False
Suppose k = 4*g - 10, 2*g = -2*k - 0*g. Let q(b) = b**3 + 2*b**2 - b - 1. Let w be q(k). Is w bigger than 0?
True
Suppose 4*v = 3*v + t - 7, 4*v = -2*t - 4. Which is smaller: v or -5?
-5
Let c = 1.03 + -0.03. Let z = c + -2. Let s = 7 - 6. Does s = z?
False
Let g(l) = 2*l - 14. Let t be g(10). Let p = t + -1. Which is greater: p or 4?
p
Let r = -9 - -24. Does r = 16?
False
Let g = -0.56 + 0.7. Let y = -5.86 - g. Let k = y + 5. Which is greater: 2/7 or k?
2/7
Let s(p) = -3*p**3 - 2*p**2 + 1. Let j be s(-1). Let o be (-40)/(-32)*j/30. Let r be 1/3 - 3/9. Which is smaller: o or r?
r
Let g(x) = x**2 - 2*x - 7. Let k be g(5). Suppose 0 = -4*i - 5*s - 16, -4*i + 0*s + k = -s. Let m be ((-3)/(-2))/((-3)/i). Is m bigger than -2?
True
Suppose 0 = -3*b - d + 16, 4*b + 8 = 5*b + 3*d. Let l(j) = -5 + j + 0*j + 1. Let n be l(b). Which is smaller: 2/9 or n?
2/9
Let t be 1 - 1*(-1 - 1). Suppose 2*z - t*z = 0. Which is smaller: 3 or z?
z
Let m be (((-148)/3)/2)/(10/15). Which is greater: -39 or m?
m
Let v be 1 - (-59)/3*1. Let h = -21 + v. Let w(u) = -u**2 - 10*u - 1. Let g be w(-10). Which is bigger: h or g?
h
Suppose 4 + 48 = 4*u. Let p = u + -18. Suppose -2*r = -r + 6. Are r and p non-equal?
True
Suppose -4*c - g = -9, 5*g = 3*c - 4 + 3. Suppose 3*n - c*n + 3 = 0. Let w be 1/n*(4 + -3). Which is smaller: -0.2 or w?
w
Let s = 16 + -19.