- 0.15. Let q = 0.05 + r. Which is greater: q or 0.1?
0.1
Let r(h) = h**3 + 7*h**2 + 7*h + 4. Let w(p) = -p**2 + 7*p - 9. Let l be w(6). Let b be (l/6)/(2/24). Let g be r(b). Is -3/4 at most as big as g?
False
Let q = -12 - -20. Let m be (-2)/q + 1/4. Is m smaller than 1/10?
True
Let m = 5 - 2. Suppose m = 3*x - 3. Let f = 71 + -279/4. Which is smaller: f or x?
f
Let i(u) = -2*u - 18. Let q be i(8). Is -2/3 greater than q?
True
Let y = 21147 - 6365217/301. Let m = -8/43 - y. Which is smaller: 0 or m?
m
Let o = 1/2 - 1/6. Which is smaller: 9 or o?
o
Suppose 4*r + x + x + 34 = 0, 5*x - 58 = 3*r. Does r = -13?
False
Suppose -2*r = 2*r. Suppose 0 = 2*q - r*q + 8. Let z be (-1)/3*(-11 - -26). Is q smaller than z?
False
Suppose 2*i = -4, -2*i + 1 = r + 5. Suppose -1 = -u - r. Is -2/7 at most u?
True
Let t(j) = 2*j - 3. Let b be t(3). Suppose -2*l + 5*f = -6 - 1, -5*f - 8 = -b*l. Which is smaller: -2/23 or l?
-2/23
Let w = -11 - -15. Let t = -4 + w. Let b = 1 - t. Is -2 < b?
True
Let v be (-3)/60*37 - -2. Which is bigger: -1 or v?
v
Let o = 9 - 13. Let a = -4.2 - o. Let m = -14/15 + 3/5. Which is smaller: m or a?
m
Let f = -3 - -3. Let s(q) = -q**2 - 2*q + 4. Let i be s(-3). Let r be (-2)/(i*-6)*3. Are r and f nonequal?
True
Let n be 1 + -5 - (-5 + 100/96). Is -1/2 less than or equal to n?
True
Let q(d) = d**2 + 3*d + 2. Let v = -8 - -6. Let b be q(v). Suppose 5*s - 5*z = b, 2*z + 7 + 1 = 0. Is 0 <= s?
False
Let n(m) = -m**2 + 44*m - 195. Let f be n(5). Let g be ((-1 + -1)*-1)/7. Is f not equal to g?
True
Let y be (-416)/132 - 14/77. Which is smaller: y or -2?
y
Let c(l) = 8*l + 5. Let g be c(-2). Let h = 0.01 - 0.11. Which is smaller: h or g?
g
Suppose -2*r - 1 = r - 2*k, 0 = 3*r - 5*k + 16. Suppose 5*z = -0*s - r*s - 15, s = -z - 3. Is -0.6 smaller than s?
True
Suppose f = -5*t - 0*f + 3, -15 = -2*t - 5*f. Suppose 2*p + 2*p = 4. Suppose 2*i + 3 = -p. Which is smaller: t or i?
i
Let d = -97/5 + 19. Is 0.2 < d?
False
Suppose 85 = 74*g - 91*g. Let v = 0 - 6. Is g at least v?
True
Let u = -6 - -4. Let q be 2/((-27)/15 - 1/5). Which is greater: u or q?
q
Let k(o) = -2*o**2 - 6*o - 2. Let y be k(-4). Let r be ((-4)/y)/((-4)/4). Let p = 0 + 1. Which is greater: r or p?
p
Let o = 85 - 82. Let j(m) = -3*m + 2. Let b be j(2). Let a be 1/b + 17/4. Do a and o have the same value?
False
Let p = 123 - 122. Which is smaller: 14/5 or p?
p
Let a = -1.1 + -4.9. Let n = -14 - -10. Let m = n - a. Which is greater: -0.1 or m?
m
Let a be 9/(-21) + ((-6)/(-7))/2. Is a > 1/3?
False
Suppose -5*a = 11 - 76. Is a <= 14?
True
Let w = 0 + 5. Suppose 8*a - 3*a + w = 0. Let l(z) = -z - 4. Let y be l(-3). Is a bigger than y?
False
Let o be (-9 - -11)*6/4. Suppose -4*x + 8 = 2*n, 4*n + 36 = -0*x + 5*x. Which is smaller: o or x?
o
Let c be 3/((-162)/12) + 28/45. Are c and 2 nonequal?
True
Let k be (-6)/(-4)*(-16)/(-12). Let i be 188/6*k + 0. Let w = i - 64. Which is smaller: w or 0?
w
Let n = -4782126/13 + 367684. Let s = 172 + n. Suppose x = 4 - 3. Which is smaller: x or s?
s
Let y = -12 + 27. Let s = -10 + y. Which is greater: 4 or s?
s
Suppose 5*f - 3 = o + 2, -2*f - 15 = 3*o. Suppose f*q = q. Suppose -4*s - 12 = -5*i, 4*i = 3*i - s - 3. Are i and q unequal?
False
Let f = -2.2 + -1. Let j = 3 + f. Is j > -2/5?
True
Suppose p = 3*h - 2*h - 5, 5*p + 4*h = 20. Is p greater than -0.06?
True
Let d be 1*(-1 - 0) + (-24)/120. Let c be 2 + 1/((-2)/8). Which is smaller: d or c?
c
Let g be (0 - -3)*4/(-102). Suppose p = -3*p + 8. Suppose 1 = -3*m + p*m. Is m > g?
False
Let r(s) = -2*s + 1 + s**2 + 5*s + 0 + s. Let x be r(-4). Is 3/14 at most as big as x?
True
Suppose 2*g + 6 = 2*n - 2, -10 = -5*n + 3*g. Let a be 2/1 - (n - -2). Is 3/8 bigger than a?
False
Let j = -19.22 - -19. Let v = 2.24 + j. Let a = -0.02 + v. Does a = -2?
False
Let d be (-1 + (3 - 2))/(-3). Is -1/42 at least as big as d?
False
Let h be (-6)/(-24)*64/(-10). Which is bigger: 2/3 or h?
2/3
Let a(h) = h**2 - h. Let m(v) = v**3 + 4*v**2 - 5*v - 1. Suppose -7*j + 3*j - 16 = 0. Let f(k) = j*a(k) + m(k). Let g be f(0). Which is greater: -1/5 or g?
-1/5
Let b be 2 - 28/4 - -4. Which is smaller: 2 or b?
b
Suppose -5*w + 0 = -4*q + 3, 5*w - 25 = 0. Let n = q - 8. Let c be (0 - 0) + 4 + n. Is 3 != c?
False
Let c be 1*-3*(-7 - -6). Which is smaller: 2 or c?
2
Suppose 2*i + 4 = -2*i. Suppose 22 = -2*f - 0*f. Let t be (-2)/f + 51/(-99). Is i < t?
True
Let z = -12.4 + 11.4. Is z smaller than -31?
False
Let w be (-5)/((-15)/(-12)) + 0. Suppose l + 28 = 2*d + 6*l, l + 8 = 3*d. Let p = d + w. Which is smaller: 2 or p?
p
Suppose -4*o - 16 = -2*j, -3*j - 3 = -o + j. Let q(a) = -a**2 - 10*a - 6. Let i be q(-9). Let t = o + i. Is -3/5 greater than or equal to t?
True
Let n be 6/(5/((-20)/(-6))). Let d be (-1)/4 + 13/n. Suppose -3*w + 0*w - 6 = -5*a, 0 = -5*w - d*a - 10. Is 1/4 greater than w?
True
Let k = -1 - -1. Suppose -10 - 1 = 11*p. Which is smaller: p or k?
p
Let q(w) = w**3 - 10*w**2 + 8*w + 5. Let d be q(9). Is -5 > d?
False
Let i = 1.02 + -0.02. Let a = 0 + i. Is a greater than or equal to -2/3?
True
Let z = 0 + -1. Let j = 0.7 + z. Let g = -2.61 + 2.71. Which is smaller: g or j?
j
Let n = -11 - -30. Suppose -5*l + n = -3*h, -h + l - 5*l = -22. Suppose 0 = -f - 3 + h. Is f at most 0?
True
Let t be 2 - -1*(4 - 2). Suppose -3*g = -3*y + 2*g + 34, g + 5 = 0. Suppose -2*q + 20 = y*q. Are t and q equal?
True
Let f(s) = s - 10. Let p be f(9). Which is greater: p or -11/5?
p
Let x = 197/1035 - -2/207. Let y(n) = n**2 - 7*n + 7. Let q be y(6). Suppose 2*h = 5*g - q, -5*h = -15 + 5. Which is greater: g or x?
g
Let h(j) = -4*j. Let i be h(-1). Suppose 3*k = 2*x + 10, -k + 5 = -i*x - 15. Suppose k = -6*r + 3*r. Which is greater: -3 or r?
r
Let h(b) = -b**3 + 6*b**2 - 6*b + 4. Let y be h(5). Is -7/3 at most as big as y?
True
Suppose -2*b + 7 = 39. Let x be (b/20)/((-8)/(-20)). Which is bigger: x or -1?
-1
Let q(l) = -l**3 - 2*l**2 + 2*l + 1. Let a be q(-3). Suppose -n + 18 = -2*x + 3*n, 0 = -3*x - a*n + 3. Let z = -5 + 2. Is z < x?
False
Let m(o) = -o - 17. Let y be m(-9). Let u = y + 9. Which is smaller: -2/7 or u?
-2/7
Let k = 36560738839 + -7568098084717/207. Let c = k - -121472. Let n = -48/23 - c. Which is bigger: -1 or n?
n
Let k be 0*3/(-12) + -1. Which is smaller: 2/113 or k?
k
Let q = 2.2 + -14.2. Does q = 2/7?
False
Let v = 0.85 - 1.28. Is -2/3 equal to v?
False
Let i = 78061/26 - 3002. Let w = 235/78 - i. Which is smaller: w or 3?
w
Let q = -8 - -27. Is 20 not equal to q?
True
Suppose -6*o = -o - 35. Let i(x) = -x**2 + 8*x + 34. Let q be i(10). Let f = q - o. Which is bigger: f or 6?
f
Let v(x) = x**2 - 9*x + 15. Let m be v(7). Which is smaller: m or -1/26?
-1/26
Let u = 24 + -17. Which is greater: 8 or u?
8
Let t = 9 + -4. Let q = -5.1 + t. Which is smaller: q or -1/7?
-1/7
Let j = -23 - -20. Let p = -1.3 + 0.3. Which is bigger: p or j?
p
Let g = 18 - 23. Which is smaller: g or -4?
g
Let d(p) = 2*p**2 + 4*p - 1. Let q be d(-2). Let a = 23 - -17. Let g = 202/5 - a. Does g = q?
False
Let t be (7/2)/((-3)/(-6)). Which is bigger: t or 25/4?
t
Let h = -8 - -13. Let w = 6 - h. Does w = 1?
True
Let p be 2 - (3 - (1 + 4)). Suppose -s = -w + 5, -2*w + 5 = p*s + 25. Let r be (-4)/(-6) - (-20)/(-21). Which is bigger: w or r?
w
Suppose 0 = x + 5*k + 15, x + 4*x + 3*k + 9 = 0. Let y(h) = 3*h + 3. Let b be y(-2). Let c = -4 - b. Is x < c?
False
Let p be (-2)/12 + (-2 - (-6)/36). Does p = -2/3?
False
Let a(y) be the first derivative of -y**3/3 - 2*y**2 - 3*y - 1. Let n be a(-4). Which is smaller: -1 or n?
n
Let b(t) = t**3 + 8*t**2 + t + 9. Let k be b(-8). Let r be k - (-2 - 12/(-4)). Which is greater: -1/14 or r?
r
Let z(g) = -g**3 + 3*g**2 + 5*g - 1. Let h be z(4). Let q be h/(9/(-3) + 8). Let w(b) = -b - 4. Let x be w(-4). Which is greater: q or x?
q
Suppose -3*a = -4*a + 1. Is a equal to 5/19?
False
Let j = 10 - 5. Is j <= 5?
True
Let f(z) = -2*z - 12. Let g be f(-3). Which is smaller: g or -5?
g
Suppose 4*i = 2*d - 10, -i - i = -4*d + 14. Suppose -d*w - 2*w = 20. Let v = -7 + 2. Is w less than v?
False
Let a(g) = -3*g - 21. Let d(b) = -2*b - 11. Let l(o) = -3*a(o) + 5*d(o). Let p be l(6). Suppose s + 18 = -p*y + 5*s, -2*y - 3 = -s. Which is smaller: y or -2/7?
-2/7
Suppose y = a + 7, 2 = y + a - 1. Suppose 4*g - 22 = -2. Let x = y - g. 