e 20*h - 7*h + 13 = 0. Let a be -2*((-4)/2 + 4). Which is smaller: a or h?
a
Let u(f) = 4*f**3 - f**2 + f - 1. Let k be u(1). Suppose 0 = k*a + a + 4. Does a = 2/19?
False
Let z(s) = 6*s**2 + 50*s - 8. Let b(q) = -2*q**2 - 17*q + 3. Let n(w) = -8*b(w) - 3*z(w). Let u be n(-6). Is u at most as big as 14?
True
Let j be (1 + -31)*(4/10 - -2). Are -72 and j nonequal?
False
Suppose -s + 5*h + 19 = 0, 4*s - 14 = -4*h + 14. Suppose -4*z = -s*z. Which is greater: 1/5 or z?
1/5
Suppose -5*w - 3 = -8*w. Do w and 3/65 have different values?
True
Suppose -3*f = 3*x - 30, 3*f + 27 + 13 = 2*x. Suppose 0*l + 2 = l + 2*w, -2*w + x = 3*l. Which is smaller: 5 or l?
5
Let s = -196 - -5293/27. Is s greater than 1?
False
Let h = 37/63 - 10/21. Let c = 3337/18 - 743/4. Let n = c + h. Which is smaller: n or 1?
n
Let k = 20 - 12. Let n = -5 + k. Let g be 5/n + 8/(-12). Is g at least 2/3?
True
Suppose 5*m - 7*m = -2. Let v(t) = t**3 - t. Let i be v(m). Is 2/23 greater than i?
True
Let s = 0.1 + 0.9. Let t = -3 + 6. Let z = 4 - t. Is s equal to z?
True
Let b = -9530 + 524164/55. Let a = b + -4/55. Let u(i) = 5*i - 16. Let v be u(3). Is a not equal to v?
True
Let p = 8.1 + -13. Let q = p + 5. Let k = -1 + -1. Which is greater: k or q?
q
Suppose 3*y - 4*y - 44 = -5*u, 5*y - 14 = -u. Let q be (-5)/(15/u) - -2. Which is bigger: 0 or q?
0
Suppose -2*f - 53 = -3*f + 4*t, 0 = -5*f + 5*t + 205. Which is smaller: f or 36?
36
Suppose r - 10 = 2*x, 5*x = 2*r - 14 - 11. Let w be (-2)/(-70)*-2*-5. Which is bigger: r or w?
w
Let v = -14.8 + -7.4. Let m = v + 22. Is m less than or equal to 12?
True
Let j = -2 + 3. Let y = -1.3 + j. Let u = 28 + -30. Is u greater than or equal to y?
False
Let g be 67/(-1) + 4/4. Let v be 21/g + (-2)/(-4). Is v smaller than -1?
False
Let p = 96 + -95. Which is smaller: 13/2 or p?
p
Let s(v) = -2*v - 3. Let w be s(-2). Is w greater than 0?
True
Let m(t) = -2*t - 8. Let k be m(-6). Let a be 5/20 + 15/k. Suppose 6 = a*q - 7*q. Is q at most as big as -2?
True
Let u be (-30)/(-24) - 2/4 - 0. Which is greater: 0 or u?
u
Let t = 0.1 + 0.9. Let b = -1.1 + t. Let w = -41/90 + 1/18. Which is greater: w or b?
b
Let r = -1/80 - -971/880. Which is smaller: r or 0?
0
Let z(g) = g**2 - 2*g + 1. Let r be z(2). Let q be (-4)/18 + (-8)/(-90). Which is bigger: q or r?
r
Suppose 4*m = 3*i + 7, -2*i + m = -m + 2. Suppose -2*a + c + 9 = -0*a, 5*c = -15. Is i <= a?
True
Suppose -3*j = -2*j + 2. Let k be (j/(-42))/(6/18). Which is bigger: 1 or k?
1
Suppose 13*q - 12*q = -5. Is -5 smaller than q?
False
Suppose 0 = -4*b - 8, -5*b + 0*b = h + 13. Suppose -3*c = -54 - 9. Suppose 3*p + c = 9. Is h < p?
False
Let d = -0.05 - 4.25. Let f = d - -4. Is 1 < f?
False
Let v(m) = -m**3 + 8. Let b be v(0). Suppose 0 = -b*z + 6*z + 24. Let k be (12/11)/(z/6). Which is greater: k or 2?
2
Let l(n) = n - 7. Let c be l(6). Suppose -5*h - 44 = t - 2, 0 = 5*t + 3*h + 122. Let d be -1 + t/(-8) + c. Do 1 and d have different values?
True
Let f = 6/31 + 20/217. Is f bigger than 2/41?
True
Let r = 5/57 - -79/399. Let f(j) = j**2 - 4*j + 1. Let p be f(5). Suppose -y - 2 = k, y - 2*k = p*y + 7. Is y at least r?
False
Suppose -5*v - 3*a - 22 = 0, 5*v - 2*a + 4*a = -18. Let w be v + 4 - (2 + -2). Which is smaller: -2 or w?
-2
Suppose 4*w - 2*o = -w - 162, 0 = -3*w - 3*o - 114. Which is smaller: w or -33?
w
Let g(a) = -1665*a**2 - a. Let i be g(1). Let l = i + 151604/91. Are l and 0 unequal?
True
Suppose -61 = -5*r - 4*i - 4, 2*r = -5*i + 33. Which is greater: r or 11?
11
Let w(g) = g**3 - g**2 - g + 15. Let k be w(0). Are k and 16 non-equal?
True
Let x(j) = -j + 1. Let n be x(14). Is -14 > n?
False
Suppose -4*r + 18 = 3*s, 4*s - 24 = 2*r + 3*r. Which is greater: s or 7?
7
Let c = 2.35 - 3.76. Let x = c - -1.5. Which is smaller: x or 1?
x
Let p be ((-9)/(36/8))/2. Which is smaller: -1/14 or p?
p
Let h be 1/6*-2*-27. Suppose b + 3*y = -13, h = -3*b - 2*b - y. Is b less than 2/5?
True
Let p = 7 + -8. Are -2 and p unequal?
True
Let h(j) = j**2 + 15*j. Let i be h(-15). Are 14 and i equal?
False
Let k = -31 + 11. Let w be k/(-42) + (-3)/9. Are 0 and w equal?
False
Let o = 6/113 - -743/904. Do 2 and o have the same value?
False
Let s = 38.26 - 42.2. Let n = 0.06 - s. Let d = n - 4.2. Which is smaller: 2/5 or d?
d
Suppose -4 = 4*a - 2*a. Let m be (a + 3)*(0 - 2). Suppose -4*n + 7*b = 2*b + 8, 5*n + b = -10. Are n and m non-equal?
False
Let h = 25226/17 + -16900927/11390. Let m = h + -2/201. Let g = m - 49/120. Is 0 less than or equal to g?
False
Let z be 0 + 21/(-15) + 2. Let y = -7 - -7. Suppose 2*q + y*q = 4. Which is smaller: q or z?
z
Let v = -17/60 + 1/30. Are v and 0.2 equal?
False
Suppose -4*u + 2*i = 4, 2*u + 3*u + 2*i = 13. Let w = u + 3. Let v = -4 + 9. Is v not equal to w?
True
Let k(x) = -x**2 - 12*x - 21. Let p be k(-10). Is p smaller than 1/69?
True
Suppose 0 = 2*g + 3*g - 95. Let v be (-3*(-6)/(-9))/g. Is v smaller than 2?
True
Let s = 0.28 + -0.22. Let y(c) = -c - 1. Let a be y(-2). Is a at least s?
True
Suppose -6*l + 10*l - 116 = 3*w, -2*l - 4*w = -58. Are l and 29 nonequal?
False
Let b = 32 - 35. Which is greater: -13/4 or b?
b
Let o(c) = -c + 1. Let m be o(-2). Let j(w) = 4*w. Let k be j(1). Let l be -1 + k - (-9 - -10). Which is smaller: m or l?
l
Suppose 3*t - 15 = -4*s, -3*t + t + 4*s + 10 = 0. Is 2 at most t?
True
Suppose 4*v - 8*g - 1 = -3*g, -5*v - 10 = -4*g. Let j be (-26)/39*21/2. Which is smaller: v or j?
j
Let q(m) = -8*m**3 - 2*m**2 + 1. Let n be q(1). Is -9 smaller than n?
False
Let d = -2.5 - 0.5. Which is greater: d or 2/5?
2/5
Let w = -1 + 4. Let b = -2.6 + w. Which is greater: b or 4/7?
4/7
Let n(u) = -u**3 + 3*u**2 - 1. Let s be n(1). Let c(o) = 11*o + 1. Let b be c(-2). Let m be 8/b*6/(-8). Which is smaller: m or s?
m
Let k = -13 - -10. Let d(y) = 4*y + 5. Let f be d(k). Which is greater: f or -8?
f
Let d = -91/4 - -23. Suppose 0 = -2*y - 4*o + 16, 0 = -y - y + o + 11. Suppose 0 = y*j - 3*j. Which is bigger: j or d?
d
Let s(i) = -i**2 + 12*i - 9. Let r(l) = 3*l**2 - 2*l + 3. Let z be r(2). Let h be s(z). Suppose -v + 5*g = 4*v - 10, h*g - 14 = -4*v. Is v equal to 2?
False
Let q = 12 + -6. Let c = q - 6. Is c equal to 0.3?
False
Let d be (-17)/(((-144)/15)/(-4)). Let u = d - -22/3. Suppose 0 = -2*a - 0*t - 3*t - 7, a + 2*t + 4 = 0. Are u and a equal?
False
Let h be (9/(-3))/(0 + -1). Let m = h + -3. Suppose -7*j + 2*j - k + 8 = 0, m = j - 3*k + 8. Which is smaller: 2 or j?
j
Let l(b) = b**2 - 9*b + 3. Let c be l(8). Is c bigger than -3?
False
Let r(m) = -m + 7. Let j be r(9). Let s(d) = -2*d - 3. Let l be s(j). Which is bigger: l or -4/5?
l
Suppose 353*l - 348*l = 15. Is 8/5 >= l?
False
Suppose -2*l - p - p = 0, 3*p - 2 = -2*l. Let o be (-63)/12*(2 - l). Let k = o + 15. Is -6 >= k?
True
Let p(k) = k - 17. Let o be p(-4). Is o smaller than -21?
False
Suppose -3*s + 1 = -4*y - 6, -2*y = 3*s - 1. Let h = 0 - y. Is -2/11 > h?
False
Let s be (4/7)/(-6*(-2)/42). Suppose 9 = 4*q - j, 5*q - 4*j = 10 + 15. Suppose 3 = -s*y - q. Does y = -2/7?
False
Suppose 2*a + 7 + 3 = 0. Let n be (-4)/(-16)*2*(0 - 10). Is a smaller than n?
False
Suppose 2*z = z. Let c be -1*(6/10 + z). Let p = 0.1 - 0.1. Is c at most p?
True
Let h = -2 - -3. Which is greater: -22 or h?
h
Let j = -913/3 + 309. Which is greater: 5 or j?
5
Let k = 1 + 3. Which is smaller: k or 2/17?
2/17
Suppose 0 = -20*w + 16*w. Let h = 2 - 1. Let m be 12/(-7) + (h - -1). Which is bigger: m or w?
m
Let k(i) = i - 10. Suppose 2*d + 4*b = 8, -3*d + 67 = -4*b - b. Let z be k(d). Suppose -o = -0*q + 5*q + 6, -q = 3*o - 10. Is o not equal to z?
False
Let t = 3.9 + 0.1. Let n = t - 1. Let m = -4 + n. Is m < 0.3?
True
Let g be (-7720)/(-18)*(-8)/(-220). Let y = g + -174/11. Is y less than or equal to -1?
False
Let b = -0.05 - 8.95. Let l = b - -9.3. Suppose -10 - 12 = 3*p + 5*h, 5*h = -p - 24. Which is greater: p or l?
p
Let s = -14 + 9. Let r = s + 5. Which is smaller: r or 2?
r
Let c be (4/2)/(12/(-18)). Let x = -2 + 3. Is x less than c?
False
Let q = 4 - 4. Suppose 2*v + 8 = 5*z - z, q = v + 3*z - 16. Suppose -40 = -5*l + 5*a, -4*a - 17 = -v*l - 3*a. Do 1 and l have different values?
True
Suppose -v = a - 7, a - 15 - 7 = -4*v. Suppose 0 = 2*d - 3*g + 2, v*d + g - 11 = 1. Suppose i - 3 = -4*o - 0*i, -i - 4 = -3*o. Which is bigger: o o