
Let x = -3 + 3.1. Which is greater: -4 or x?
x
Let z be 19 - (2 - 5)/(-3). Let k = z + -56/3. Which is smaller: 1/4 or k?
k
Suppose -6*n = -n. Is n smaller than 0?
False
Let i = -25 + 23. Is -7 <= i?
True
Let d = 8.64 - -0.16. Let r = -9 + d. Is r at least 0.2?
False
Let x be ((-11 - -4) + 6)*0. Let l be (-6)/(2 + -1 - 0). Let n be -7*2/l + -2. Do x and n have different values?
True
Let f = 1.45 - 1.46. Which is greater: f or 1/2?
1/2
Let q(g) = 7*g - 1. Let n be q(1). Let x = 6 + -5.9. Let v = x - 0.2. Which is smaller: n or v?
v
Let o(a) = -a**3 - a**2 - a + 3. Let s(n) = -5*n**3 - 5*n**2 - 6*n + 16. Let d(p) = -11*o(p) + 2*s(p). Let z be d(-1). Which is greater: -1/5 or z?
z
Let t = 6975799/17 - 410054. Let q = t - 287. Which is smaller: q or 1?
q
Let u(s) = -s**3 + 12*s**2 + 13*s + 2. Let o be u(13). Let c(b) = -b**2 + 3*b + 4. Let z be c(3). Let h be z/(-10) + 34/10. Is o smaller than h?
True
Suppose 10 = -16*j + 26. Is -2/115 at most as big as j?
True
Let a = 62 - 57. Which is greater: 0.1 or a?
a
Suppose 3*w - 2*m = 0, -2*w - 5*m = -0*w. Suppose 2*r + 2*f = 3*f - 10, -4*f + 25 = -3*r. Let d be r/(-35) - 4/14. Is d less than or equal to w?
True
Suppose 5*l + 0*l + 5*g = -295, -2*g = -2*l - 118. Is l at least -59?
True
Let p = 3 - 3. Is p bigger than -5?
True
Let x(p) = -p - 6. Let i be x(-7). Let s(b) = 10*b + 1. Let v be s(i). Is v greater than or equal to 11?
True
Let l = -12 - -7. Let x = l - -1. Which is bigger: x or 1/4?
1/4
Suppose 11*i - 10*i = 4. Which is greater: 22/7 or i?
i
Suppose 0 = -3*h + 8*h. Suppose 0 = 3*j - 12, -5*o - 3*j - 1 + 13 = 0. Is o not equal to h?
False
Let i = 0.057 - -0.143. Is 38 equal to i?
False
Suppose -6*h = 39 - 15. Do h and -6 have different values?
True
Let h(x) = -x**3 + 2*x**2 - 2*x + 1. Let l be h(2). Let c be (-4)/14 - 162/21. Let a be 18/c - (-2)/8. Which is smaller: l or a?
l
Let m be ((-6)/(-20))/((-12)/(-8)). Is m >= 2?
False
Let h = 641/3 - 219. Which is smaller: h or -4?
h
Suppose -4*g + 3*m = 1, 5*g + 0*g - 19 = -3*m. Suppose 4*q = -2*l - 22, 9 - 1 = 2*l - 2*q. Is g bigger than l?
True
Suppose -y + 5*l + 30 = 11, 2*y + 2*l = -10. Let c = y - 0. Let d = 17/96 + -1/96. Which is smaller: d or c?
c
Let v be 1 + -1 - (-8)/(-10). Let q = 31 + -32. Are v and q unequal?
True
Suppose 0 = 4*b - b + 3. Let a be 54/(-45)*b/4. Do -1 and a have different values?
True
Let h = -12 - -45. Suppose 0 = 5*y + 12 + h. Which is smaller: y or 1?
y
Let w be (108/(-1323))/(6/7). Let n(t) = -t**2 + 6*t - 5. Let o be n(5). Is w less than or equal to o?
True
Let k be 2*(-1)/18*1*1. Is 1/2 at least as big as k?
True
Let f = 23 + -53/2. Do f and -4 have the same value?
False
Let n(s) = s**3 - s**2 + 1. Let w be n(1). Suppose 5*m = -4*j + 48 + 22, -m + j + 23 = 0. Suppose -o - 2*l + m - 7 = 0, -3*l = -12. Which is greater: w or o?
o
Let t(n) = -3*n + 13. Let h be t(5). Which is smaller: h or 0.6?
h
Let f be 1/4 + (-2)/8. Suppose f = -5*q + 7 + 8. Is q equal to 4?
False
Let x(o) = o. Let t(f) = -8*f + 1. Let h(d) = 9*d - 1. Let a(s) = -2*h(s) - 3*t(s). Let y(j) = a(j) - 5*x(j). Let m be y(0). Is m at most as big as 0?
True
Let l = -2.6 + 1.6. Let q = -0.32 + 0.02. Let z = -0.7 + q. Is z at most as big as l?
True
Suppose 2*x - 1 - 9 = 0. Suppose 2*y = 4*f, 5 + 39 = -x*y - f. Let s be (-14)/y - 1/(-4). Is 1/2 at least s?
False
Suppose 0 = 3*f + 2*c - 2, 2*c = 5*f - 0*f - 14. Let h be 0 - 1 - 0/3. Let z be (-3 + 4)*(f + h). Is z > 4/7?
True
Let p(h) = -4*h + 1. Let a(v) = 17*v - 5. Let y(z) = 6*a(z) + 26*p(z). Let n be y(-3). Is 2 >= n?
True
Suppose 3*t = -2*t + 2*z + 21, 0 = -z - 3. Which is smaller: t or 2?
2
Suppose -2*c + 20 = 4*z + z, -5*z = 3*c - 25. Are z and 1 equal?
False
Let f = -41.03 + 0.03. Let m = f + 37.8. Let p = 3 + m. Which is greater: -2/5 or p?
p
Let p be ((-26)/(-24) + -1)*3. Which is greater: 2/3 or p?
2/3
Let v be (-20)/16*(2 - (-22)/(-7)). Is v != 1?
True
Let c be ((-2)/(-3))/((-1588)/(-264) + -6). Is 44 greater than or equal to c?
True
Let z = 31 - 25. Suppose 5*b - z*b = -4. Is 3 at least b?
False
Let t be (-8)/(-28) + (-1)/(-21). Which is bigger: t or 1?
1
Suppose 4*c + 2*m = 12, -4*c - 2*m = c - 13. Let z = -59 - -591/10. Is z less than c?
True
Suppose 12 = -6*j + 2*j. Let a be (-6)/8 - (-5)/(-20). Which is smaller: a or j?
j
Let o be -4 + ((-20)/5 - -7). Is o greater than 7?
False
Let u be (-1)/3 - (-262)/(-312). Let c = u - -5/4. Which is bigger: c or 0?
c
Let q(p) = 0*p + 0*p - 2*p**3 + p**2. Let t be q(1). Which is bigger: 1/3 or t?
1/3
Let h(a) = a**3 + 7*a**2 + 7*a + 3. Let j be h(-6). Let q(t) = 2*t + 1. Let u be q(-3). Let f = j - u. Which is bigger: f or 1?
f
Suppose -5*b + 2*f = -2*b - 6, -6 = -3*b + 4*f. Let m be ((20/(-7))/(-5))/(24/28). Is b greater than m?
True
Suppose -c = -4*s + 13, 3*c - 2*s = 4*c + 1. Let w = -5 - c. Suppose -4*j + 3*g = w, j - 5*g = 2*j. Is -1 > j?
False
Suppose 7*v + 16*v = 138. Let o = 15 - 11. Is o >= v?
False
Let v(m) = -m - 13. Suppose 6*y - 2*y + 35 = -5*w, -y + 4*w = 14. Let a be v(y). Are -4 and a nonequal?
True
Let h(a) = -a**3 + 8*a**2 - 6*a - 8. Let b be h(7). Let l be (8/(-6))/((-6)/117). Let n = 105/4 - l. Which is smaller: n or b?
b
Let h be (-2)/(-4) - (-57)/(-38). Let z = -3.1 + 3. Which is greater: h or z?
z
Suppose -5*f - 5 - 3 = -y, -5*y = 5*f + 50. Is y < -90/11?
False
Let j = -2/287 + -853/1148. Let a be (0 + -6)*3*(-5)/45. Is a <= j?
False
Let m(p) = 1 + p - p - 3*p. Let i be m(2). Let v(w) = -w - 3. Let u be v(i). Is 2 at least as big as u?
True
Suppose a = -0*a - 5*k - 2, 2*k = -5*a - 10. Let j be 10*(5/a + 3). Suppose -2*l + 3 - 15 = 3*p, -2*p = -j*l + 8. Are l and 0 nonequal?
False
Let f(i) = -i**2 - 5*i - 3. Let b be f(-5). Let a = 2 + b. Let l be (0 + 0)*a/2. Is -1 greater than or equal to l?
False
Let a = -1896/155 + 94/31. Is -10 greater than a?
False
Let t = -2 + 1. Suppose 10 = -b + 9. Is t bigger than b?
False
Let m = -0.2 + -0.8. Let b = m - 2. Let g = 2.9 + b. Which is greater: -2/3 or g?
g
Let c = 254/3 - 84. Is c greater than or equal to 0?
True
Suppose 2*d - 4*a + 13 = -7, 5*d - 2*a = -10. Suppose d = -3*t + t + 4. Suppose -5*m + 4*r - 23 = -0*m, 2 = t*m + 4*r. Is 0 not equal to m?
True
Suppose -4*r = -4*y + 12, 2*r = -2*y - 3*y + 8. Suppose 18 = -i - y*i. Let b = 40/7 + i. Are b and -0.1 equal?
False
Suppose j - 10 = 5. Suppose 2*q + q = j. Which is bigger: 6 or q?
6
Let z = -122.9 + 118. Let h = z + 5. Is h less than 1/11?
False
Let v be 3/(12/1) - (-129)/(-228). Which is greater: -1 or v?
v
Let d be 181/60 - (3 - 0). Which is bigger: d or 1?
1
Let o = 5.7 + -5.39. Let t = 4.11 - o. Let k = -4 + t. Is k at least 0?
False
Let f(z) be the first derivative of z**4/4 - z**3 - 5*z**2/2 + 2*z + 4. Let a be f(4). Which is smaller: a or 1/2?
a
Let q(c) be the third derivative of c**4/24 - 5*c**3/6 - 8*c**2. Let f be q(0). Let k be 1 + -2*2 + -1. Which is smaller: f or k?
f
Let t be 0 + (-66)/(-21) - 3. Is t >= 0.4?
False
Let k be 45/7 + -2 + -4. Which is bigger: k or -2?
k
Let j(h) = h**2 - 18*h - 1. Let w be j(18). Do 28 and w have different values?
True
Let k = 414 + -2079/5. Which is bigger: k or -0.1?
-0.1
Let x(f) = f**3 - 4*f**2 + f + 4. Let j be x(4). Suppose 0*b = b - j. Is b <= 7?
False
Let c = 24.2 + -16. Let p = -0.2 + c. Is p at most as big as 0?
False
Let m be (-1)/(-3) - (-4)/(-12). Is 3/13 at most m?
False
Let c(x) = -x**3 + 6*x**2 + 9*x - 9. Let o be c(7). Is 5 not equal to o?
False
Suppose -8 = -2*y - y + p, -4*y + 2*p = -14. Is -2/25 less than y?
True
Let k be (-1)/((-3 + 2)*-16). Is k equal to -1?
False
Let z(i) = i**2 + 1 - 2 + 0. Let f be z(0). Let g be (-1)/10 + (-2)/(-4). Is f != g?
True
Let p = 7.81 - 9.8. Let t = p + -0.01. Let d = t + 3. Is d at most as big as -2/13?
False
Let j = 1 + -4. Let z = -2 + 6. Suppose z = -2*c - 0*c. Is j <= c?
True
Let v be 2/(3 - (1 + -3)). Let b = -11 - -10. Does b = v?
False
Let r = -12 + 6. Let o = -5 - -5. Suppose 10 = -2*g - o. Are r and g nonequal?
True
Suppose 3 = u - 0*u. Suppose u*m - 1 = y - 5, -2*y + 3*m + 5 = 0. Is y != 2/7?
True
Let a = 3 + 0. Suppose 0 = a*o + o. Let v(k) = -k**2 + 6*k - 3. Let m be v(5). Do o and m have the same value?
False
Suppose -q = 3, -o - 3*q + 5*q = -5. Let s be o/6*9/(-10). Which is bigger: s or 0?
s
Suppose 9 = 3*u - 6. Suppose