4 - 2/q. Which is smaller: v or 1/4?
v
Let q be 210/(-12) + (-3)/(-2). Is q bigger than -16?
False
Let b = -3192877/10 - -318974. Let t = b + 314. Is 0 greater than t?
False
Let x = 5 - -1. Let c be ((-2)/(x - 4))/1. Do 1/3 and c have the same value?
False
Suppose -3*m + 7*m - 12 = 0. Suppose -5*i - y = -m*i + 8, -4*i - 18 = y. Which is greater: i or -3?
-3
Let l(d) = d**3 - 7*d**2 + 6*d + 2. Let b be l(6). Suppose b*f = f - y + 1, y = -4*f - 5. Is -2 != f?
False
Let s = -4 - -3. Let i = -26 + 16. Let b be i/(-5) + 20/(-9). Is s < b?
True
Let w = 37 - 27. Are 11 and w unequal?
True
Let v = 19479/4 - 4996. Let a = -127 - v. Is a at most -1?
False
Let r(d) = 2*d**2 + 8*d + 4. Let j be r(-6). Let s be (-21)/j*4/(-6). Is s smaller than 1?
True
Let m(y) = -4 + 2 - 4*y**2 + y + 7*y**2 + 4 - y**3. Let a be m(3). Is a <= 7?
True
Let q = 4 + -3. Let j = 117 + -133. Are q and j equal?
False
Suppose 3*b - i = 24, 32 = 4*b - 3*i - i. Let n be (2 + -2)/(b/4). Which is smaller: n or 1/5?
n
Let b be (-3)/9*3 + 1. Which is greater: 2/69 or b?
2/69
Let y be -13 - ((-4)/4 - -1). Let p = 14 + y. Which is smaller: p or 2/25?
2/25
Let g = -21 + 20. Is g <= 0.01?
True
Let p be 2 - (-1 + 10/2). Suppose -2*o + 1 = -5*q - 0, 4*o + 4 = 4*q. Is o >= p?
True
Let x be (0 + 0)/(-3 - -4). Let n(f) = f**3 + 6*f**2 + 5*f - 2. Let t be n(-5). Is x at least t?
True
Let t(p) = -3*p - 9. Let y(q) = -q. Let m(h) = -t(h) + 2*y(h). Let u be m(-12). Is u <= -3?
True
Suppose -y - 4*l = 31, -3*y - 79 = -3*l + l. Let f be (-6)/y + (-8)/198. Suppose -4*o - k - 1 = 0, 0*k = -2*o + k + 7. Which is bigger: o or f?
o
Let f = -4.15 - -4. Let d = f - -0.3. Let j = d + -0.05. Which is smaller: 0 or j?
0
Suppose -8 = -2*o + o. Suppose l = -l + o. Let v = l + -2. Is 1 greater than or equal to v?
False
Let s be 8/(-16)*(10 + 0). Let f be 4*s/(-4) - -1. Is 4 at most f?
True
Let j be 4/6 + (-2)/(-6). Which is smaller: -1 or j?
-1
Let f(i) = -i**2 - 15*i - 1. Let o be 4 - 0 - 19/1. Let z be f(o). Does z = -5?
False
Let t = -91 + 353/4. Let y be 2/36*(-2706)/(-44). Let x = y + t. Is 0.1 < x?
True
Suppose 3*k - 4*a = -24, 5*k = -5*a - 31 - 9. Let r be k/(-6)*(-3)/(-2). Suppose -r*q - 1 = -q. Which is greater: 2/7 or q?
2/7
Let r = 3 + -3.3. Let y = 0.1 + r. Let b = 31 + -61/2. Which is bigger: b or y?
b
Let i = 0.09 - 3.09. Let l = i - 0. Is l at least as big as 0.1?
False
Suppose -3*u + 4*k + 24 = -0*u, 0 = 3*u - k - 15. Suppose -5*i = -3*q + 6, -u*q + 8 = 5*i - 0. Which is smaller: i or 2/23?
i
Suppose -2*v - 3*p - 5 = 0, 4*v - 5*p = -v. Which is smaller: 2/39 or v?
v
Let y = -1216/1435 + -2/205. Let s = -11/21 - y. Which is smaller: 0 or s?
0
Let p = 3 + 9. Let d be ((-2)/8)/((-3)/p). Let n be 1*((-27)/(-21) - d). Which is smaller: 2/11 or n?
2/11
Let f(a) = -a**2 - 3*a - 2. Let z be f(-4). Let v be 8/(-6)*9/z. Let w = -1 - -1.2. Do v and w have different values?
True
Let k(z) = z + 7. Let o be k(-3). Let m = 4 - o. Which is bigger: -2/11 or m?
m
Let z = -8 + 8.05. Let f = z + -0.05. Which is smaller: f or -2/7?
-2/7
Let n(q) = -q**3. Suppose -4*y + 2 = -2*y. Let p be n(y). Let g = -2 + 2. Is p at most as big as g?
True
Suppose -2*y + 2*n = 4*n, n = y - 4. Let u(h) = 4*h**3 - 2*h**2 + 4*h**2 - 3*h**3 + y*h - 3*h. Let l be u(-2). Are l and 2 unequal?
False
Suppose 5*z = 5*k + 65, -72 = -6*z + z - 2*k. Are 16 and z unequal?
True
Let k(n) = n**2 - 5*n + 3. Let j be k(2). Let h = 0 - j. Suppose 5 = h*a + 2*a. Which is greater: -2/5 or a?
a
Let t be -1 - 1/(1 - 0). Let h be (4/(-20)*-2)/((-4)/15). Which is greater: t or h?
h
Let f(x) = 19*x**2 + x - 2. Let m be f(1). Suppose 7*v + m = 4*v. Is -3 at most v?
False
Let o be (-2)/((-33)/(-9) - 3). Is -2 at most o?
False
Let u = -48 + 48. Is u <= -1/104?
False
Let q(z) = 3*z**2 + 7*z - 3. Let f(d) = 5*d**2 + 10*d - 4. Let b(i) = -5*f(i) + 7*q(i). Let s be b(-1). Let v be 16/(-24)*(-3)/s. Is -2 smaller than v?
True
Let j = -2 - -2. Suppose -15 = -5*r - 0. Suppose -r*i + 2*i = 0. Is i less than j?
False
Let x = -0.4 - -0.24. Let b = x + 0.86. Which is bigger: 2/3 or b?
b
Let l(v) = v**3 - 2*v**2 - 3*v - 3. Let g be l(4). Suppose -4*t + 9 = -t, 4*t = -5*u + g. Let a be (-14)/30 + 2/6. Which is smaller: a or u?
a
Let t = 17 + -7. Let u = 10 - t. Which is smaller: u or 1/8?
u
Let w = 15 + -16. Is -5 < w?
True
Let o = 1 + -5. Let u = 1 + o. Let s = 4 + u. Which is smaller: 2/9 or s?
2/9
Let q be -2 - (-1 + -4 + 2). Let o(y) = 2*y**2 + 2*y - 2. Let j be o(-2). Let x = q - j. Which is smaller: x or 0.1?
x
Let m = -6 - -6. Suppose -19 = -5*y + 16. Let f be (-2)/(-4)*(-4)/y. Which is bigger: f or m?
m
Let l(x) = -x**3 + 6*x**2 - 6*x. Let r be l(5). Let p = r + 2. Which is smaller: -4 or p?
-4
Let k(m) = m**2 - 3*m - 3. Let t be k(4). Suppose 0 = g - t, 2*p = -2*p - g - 3. Which is smaller: 0 or p?
p
Let p(g) = -g - 6. Let m be p(-3). Let c(d) = 3*d**2 + 2*d - 1. Let x be c(1). Suppose 1 = z + x. Is z >= m?
True
Suppose -5 = -7*i + 12*i. Let p be (-4)/(-12) - (-12)/(-9). Do i and p have different values?
False
Let u be 8/12 + (-8)/(-6). Suppose -u*l - s + 10 = 3*s, -4*s + 16 = 4*l. Which is smaller: l or 1?
1
Let s(z) = 5*z**2 - 5*z + 5. Let y(r) = -4 - 5*r**2 - 1 - r**2 + 5*r. Let f(m) = -7*s(m) - 6*y(m). Let w be f(-6). Is w >= 1?
True
Suppose c - 1 = -2. Let x be ((-2)/4*0)/c. Let h = -21 - -20.9. Is x not equal to h?
True
Let s(u) = 2*u - 7. Let x be s(7). Which is smaller: 2 or x?
2
Suppose -2*s + 2 = -5*p + 10, 0 = 4*p - 8. Which is smaller: s or -10?
-10
Let m = 1 - 0.9. Let b be (-376)/(-658) - (-13)/(-56)*3. Which is smaller: b or m?
b
Let v be 8/(-4) - -3 - -9. Is 10 greater than or equal to v?
True
Let q(v) = -2*v - 5. Let f be q(0). Let m be (f/10)/((-10)/4). Suppose 0 = -0*l + l. Which is bigger: l or m?
m
Let q = -4 - -3. Let i = 0.03 + 0.05. Let c = 0.18 - i. Is q at most as big as c?
True
Let i = 23 - 14. Let h = 1 + 0. Suppose 0 = 2*g + n + h, -i = -3*n + 6. Are g and -4 non-equal?
True
Suppose h - u = -6*u - 12, 0 = -4*h + 3*u - 2. Let j be (h/6)/(10/(-30)). Do j and 7 have the same value?
False
Suppose -3*i - 163 = q, -4*i - 284 = -2*q - 80. Let f be 3/(-7) + i/7. Is -8 not equal to f?
False
Let o = -3 - -6. Let r = 126 - 127. Which is smaller: r or o?
r
Suppose 0 = -3*z + 5*z. Which is greater: z or -4?
z
Let i be 18/(-30) - (-624)/1065. Which is greater: -1 or i?
i
Let d = -31 + 31.1. Let v = -2.324 - -0.024. Which is smaller: d or v?
v
Let k be -3 + (2 - (-7 + 2)). Is 20/7 greater than or equal to k?
False
Let i be 130/308 + (20/(-14))/5. Is i > -1?
True
Let l be 21/2*(-2 + 0). Let k = l + 13. Which is bigger: -9 or k?
k
Let j be -3 - (-88)/32 - (-110)/(-72). Is -2 at least j?
False
Let p = 71/165 + -1/33. Which is smaller: 3 or p?
p
Let d(l) = -l**2 - l + 10. Let t(v) = v - 4. Let w be t(4). Let z be d(w). Let y be 18/z - (-2 + 3). Which is bigger: y or 0?
y
Let f(j) = -j**3 + 4*j**2 + 2. Suppose z + 125 = -3*o, 0*z = -2*o - 2*z - 82. Let a be o/(-9) - 2/3. Let h be f(a). Are h and 2 non-equal?
False
Let b = -0.2 - 0.8. Let v = 314219/5208 + -1/1736. Let r = v + -61. Which is bigger: r or b?
r
Let o be (-70)/4 + -1*2/4. Is -20 smaller than o?
True
Suppose 11 = 4*x - 5*b + 41, 2*x - 4*b + 12 = 0. Let w be (-3)/(-18) + 3/x. Which is greater: w or -1?
w
Let d = -3.5 + -0.5. Let u = -1 - d. Let p = -6 + u. Which is smaller: 0.2 or p?
p
Let d(q) = -q**3 - 10*q**2 - 8*q + 13. Let k be 1/((-2)/36*2). Let v be d(k). Suppose 0 = -j + 2*z + v, 0 = 3*j + 6*z - 4*z + 4. Is j less than -2/15?
False
Let v(a) = a**3 + 5*a**2 - 8*a - 11. Let o be v(-6). Is o less than -1/11?
False
Let c(h) = -112*h**2 + 2*h - 1. Let p be c(2). Let j = p + 262. Let q = 919/5 + j. Is q greater than 0?
True
Let i be (0/2)/(-1) + 8. Is i at most -2?
False
Suppose -4*b + 5*b = -4. Suppose -3*d - 6 = -5*p - 18, p = 3*d. Which is greater: p or b?
p
Let q = 14 - 18. Is -4 at least q?
True
Let w = -0.6 + 1. Let t = -0.6 - w. Let i = t - -2. Which is smaller: i or -0.1?
-0.1
Suppose 3*q + 7 = w, q - w = -0*q - 1. Is 0 != q?
True
Suppose -a = 4*a + 5. Let k be 14 - 12 - (-56)/(-22). Which is greater: k or a?
k
Let m = 123 + -118. Which is bigger: m or -1/4?
m
Let d(w) = w**3 + 9*w**2 + 5*w - 2. Let j be d(-8). Suppose -j = 3*b - 7. Which is smaller: -1 or b?
b
Let a be (28/8 + -4)*2. W