 2 = 3*b. Let w = c - g. Which is bigger: w or -2/7?
-2/7
Let d be 1 + -3 - -1*1. Let k be d + -1 + (-3 - -6). Is k less than 1?
False
Let m be (-15)/(-10)*10/9. Is m at most -0.1?
False
Let j = -198 - -184. Is -0.1 at most j?
False
Let d = 93 + -86.3. Let p = 6 - d. Let w = p + 0.6. Is w <= 1/2?
True
Let i = -67 - -66. Is i less than -8/13?
True
Let y be -11 + (-4 + 10)/2. Let p be (y/(-3))/((-8)/(-36)). Which is smaller: p or 11?
11
Let f = 4 - -3. Let i be (1/2)/(136/32 - 6). Which is smaller: f or i?
i
Suppose 2*q + u = -2*u - 10, 0 = -2*q + 4*u + 18. Suppose -3*g + 5 = -q. Let t = -0.01 - -0.11. Are g and t non-equal?
True
Suppose 5*o + 4*g = 28, 3*o + 2 - 4 = 5*g. Suppose -4*f + 2*w - o = -0*f, 0 = w. Is f <= 2/5?
True
Let p = -4 - -5. Suppose 2*i + p - 3 = 0. Is 1/7 <= i?
True
Suppose 14*n = 15*n. Is -5/7 not equal to n?
True
Let a = -701/4 - -3397/20. Which is smaller: a or -6?
-6
Let w = -7 - -11. Let z = 89 + -86. Are w and z equal?
False
Let x = -1 - -2. Let t be (-3)/1 + (-128)/(-44). Which is bigger: x or t?
x
Let m = -12 + 14. Suppose v + 3 - 11 = 0. Suppose -3*w = w - 3*y + 12, -3*w = -m*y + v. Is w <= 1?
True
Let k = 1.5 - 0.8. Let g = 2.71 + -0.01. Let q = g - k. Which is smaller: -0.1 or q?
-0.1
Let g be (3/6)/((-2)/60). Let m be 6/g + (-36)/10. Is -4 < m?
False
Let w be 1 - (2 + (2 - 2)). Which is bigger: 4/11 or w?
4/11
Let o = -34 + 35. Let n = -1 - 1. Is n greater than o?
False
Let c be (-6)/(-4)*64/144. Which is smaller: c or 30?
c
Let o be (-8)/12*192*1. Let y be ((-9)/4)/((-24)/o). Is y > -12?
False
Let d(k) = -2 - 4*k + 2*k + 3*k + k. Let p be d(5). Suppose 5*a + 20 = 5*b, 2*a = -2*b + 5*b - p. Is b < -1/4?
False
Let r = 0.147 + -0.047. Does -2/3 = r?
False
Let y be 2/4*26 - 0. Suppose -5*j - y = -33. Let c = -11 - -16. Which is smaller: c or j?
j
Let k = 3 - -1. Let s = k + -4. Is 1/26 <= s?
False
Let f be (-8)/(-84)*(-1590)/(-2). Let u = 76 - f. Is 0.1 at least as big as u?
False
Let p be (0 - 1) + 9910/45. Let s = p + -219. Which is greater: 2 or s?
2
Let k = 0.3 + -0.3. Let j = k - -1.4. Let y = -0.4 + j. Which is greater: y or -1/3?
y
Let s = 48 + -49. Is -2/29 greater than s?
True
Let k = -9.9 - -10. Is -5 at least k?
False
Let n be -1 - -1*1/2. Let b = 9 + -9.1. Let j = b + -0.9. Is n < j?
False
Let m = -0.2 - -2.2. Suppose 3*w = 2*w. Suppose 0 = -x - 5*g + 16, 0*g - 2*g + 6 = w. Are x and m non-equal?
True
Suppose 6*q = 8*q. Is q > 13?
False
Let a(d) = -d + 8. Let i be a(8). Which is bigger: i or -9/8?
i
Let n = -14 - -5. Is -9 at most as big as n?
True
Suppose 3*k = -k. Which is bigger: -0.1 or k?
k
Let q = 2 + -4. Let j be 3/q + (-2)/(-4). Let i = -0.3 - -0.5. Which is smaller: i or j?
j
Let k = 1 + -1. Suppose -3*h + 3 = -w, 2*h + 2*w - 4 + 2 = 0. Suppose -4*s = 4*c + 4, -2*c = s - 0 + h. Is c != k?
False
Suppose 6*k = 3*k. Suppose 0 = 3*p + m + 2 - 4, k = 3*p + 3*m - 12. Which is greater: -3 or p?
p
Let f(w) = 103*w**3 - w**2 - 2*w - 2. Let l be f(-1). Is l not equal to -104?
False
Let j = -11 + 15. Let p = j + -2. Suppose a - t = 4, p*t = 4*a - 5*a + 1. Does 3 = a?
True
Suppose 1 + 1 = -3*l + h, -l = 3*h + 4. Is l smaller than 2?
True
Let l = 24 + -17. Let p = l + -7.1. Are 2/9 and p equal?
False
Let c = -15.4 + 15.8. Let l = -0.1 - 0. Is l at least as big as c?
False
Let j = -21320/33 + 646. Which is greater: 0 or j?
0
Suppose -4*s + 8*s = 0. Which is smaller: 1/2 or s?
s
Let j be -23 + 3/(-7 - -4). Is j <= -24?
True
Let d be 3*(3 + 11/(-3)). Which is greater: 2 or d?
2
Suppose 3*v - 28 = -4*l, -v + 2*l - 3 = 1. Is 5 smaller than v?
False
Let j = 15.5 + -16. Which is bigger: j or 2/11?
2/11
Suppose -p - 3*i - 29 = 0, 0 = 4*p + 2*i + 3*i + 95. Let m = p - -23. Do m and 3 have the same value?
True
Let a = -15 + 65/4. Which is smaller: 0 or a?
0
Suppose 0 = 3*f - 4 + 1. Let o be ((-1)/2 + 0)*f. Suppose -4*r + 0*r = 8. Is r greater than or equal to o?
False
Let v = -151 + 1662/11. Let d be 66/54 - (-4)/(-18). Is v less than d?
True
Suppose 2*v + 13 = 5*w, -v + 5*w - 19 = -0*v. Let i be ((-1226)/3)/(34/v). Let q = i - -72. Is q at least as big as 1?
False
Let r be -4*1*(0 - -1). Let z be -1 - (-5)/((-15)/(-9)). Let v = -5 + z. Which is greater: r or v?
v
Let p = 554/5 + -12173/110. Let z = p - -15/11. Is z greater than 3?
False
Let d = -12.6 + -2.4. Let y = -13 - d. Is 5 greater than y?
True
Let v be (-21)/7*1/(-3). Let z be (v - 0) + (-20)/(-2). Let m = 6 - z. Do m and -5 have different values?
False
Let m = 0 - -3. Let h be (2/(-3))/((-8)/12). Which is bigger: h or m?
m
Let g be -1 - (249/(-117) - 1). Let p = 6/13 - g. Let i = 6 + -8. Which is greater: p or i?
p
Suppose 4*h + 40 = -0*h. Let z = 1 + h. Let m be z/(-6) + (-2)/(-4). Is m <= 1?
False
Let t = -67/77 - -8/11. Is t at most as big as 3?
True
Let t be (-12)/4*(-11)/3. Suppose 5*o = -3*f - t, 0 = -3*o - 0*o + 3*f + 3. Is 1 <= o?
False
Let u = -5 - -5.6. Let y = -0.4 - u. Does 7 = y?
False
Let n(c) = -c + 5*c - c + 0*c. Let r be n(1). Suppose -2*v - 3*v + 5*o + 20 = 0, 0 = -o - 3. Which is smaller: v or r?
v
Suppose 9*d = 2*d + 84. Which is greater: 10 or d?
d
Let d = 0.146 + -0.126. Which is smaller: d or 5?
d
Let s(n) = n**2 + 18*n - 8. Let r be s(-19). Is -2 > r?
False
Let m be (46/75)/((-20)/210). Let r = -32/5 - m. Which is smaller: r or 1?
r
Let o = 10.1 + -10. Is -1 bigger than o?
False
Let c = 28 + -13. Suppose -12 = -r + 4*v, 2*v + c = 4*r - 3*v. Suppose 2*w + 2 = -r. Which is greater: w or 1/2?
1/2
Let w(x) = x**3 + x**2 + x + 1. Let u be w(0). Let b be (u - (-9)/(-6))*-2. Is b > 3?
False
Let f(k) = k**2 + 18*k + 4. Let d be f(-18). Is d < 4?
False
Let o = -1/63 - 95/1953. Is -1 at most as big as o?
True
Suppose -2*m - 2*k - k - 16 = 0, -m - 7 = k. Let r(p) = -p - 9. Let d be r(m). Which is smaller: d or -3?
d
Let p be 79/9 + (-4)/(-18). Let l = p - 11. Which is greater: l or -3?
l
Let y = -169 + 1181/7. Let t(o) = 2*o**2 - 5*o + 3. Let w be t(3). Let u(x) = -x + 6. Let b be u(w). Which is greater: b or y?
b
Let z = 1.8 + -1.91. Let n = -0.01 - z. Which is bigger: n or -4/13?
n
Let o(m) = m**2 - m - 3. Let b be o(-2). Is b not equal to 0.03?
True
Let j be 9/3 + -2 + -1. Suppose 5*m - 10 = j, 2*m - 13 + 1 = 4*b. Which is bigger: b or -4?
b
Let o(d) = -2*d**2 + 4*d - 4. Let l be o(3). Is -10 <= l?
True
Let r(s) = -8*s**2 + s. Let f be r(2). Let o be ((-4)/(-12))/((-2)/f). Let j = o + -4. Which is bigger: 1/5 or j?
j
Let u be (1/6)/((-3)/(-18)). Which is greater: 1/20 or u?
u
Let m = -5.12 + 0.12. Let j = 4 + m. Is -1 greater than or equal to j?
True
Suppose -3*z - 280 = -13*z. Which is smaller: 29 or z?
z
Let s = -18/35 + -2/7. Let j be 1*(-3 - 1*-2). Is s at most j?
False
Suppose 274 = -z - z. Let p = z + 551/4. Which is greater: p or 2?
2
Let m be ((-98)/(-3))/(-7) - (-4)/6. Let j = -4 + -1. Which is smaller: j or m?
j
Let h = 103 + -101. Suppose 2*d + 0 = -2. Let g be d*(0 - (-1 + 2)). Which is smaller: g or h?
g
Let n be ((-6)/(-4))/((-1)/2). Are n and 0.2 equal?
False
Let f(m) = 3*m - 2. Let r be (-2)/(2/6*3). Let c be f(r). Let x be (-13)/9 - c/(-36). Is x at most as big as -2?
False
Suppose d - 2 - 1 = 0. Let y = 11 + -6. Is d greater than y?
False
Let o = 4 - 8. Let q be o + -3 - (0 + 1). Let l = -10 - q. Is l != -1?
True
Let h(l) = -7 + 6 + 5*l - 4*l. Let g be h(1). Let p = 0 + 0. Is p less than or equal to g?
True
Suppose 4*k = 5*q - q - 4, q = -k - 7. Which is smaller: -2 or q?
q
Suppose 0 = -u - 0*u - 1. Let y = -0.7 + 0.6. Let a = y + -0.2. Which is smaller: u or a?
u
Let x(s) = -s**3 + 8*s**2 - 7*s - 4. Let p be x(7). Let l be p/(-32) + 210/(-16). Is l smaller than -12?
True
Let a = -87 - -82.1. Let x = a + 5. Let t = 7 - 4. Which is smaller: x or t?
x
Let z = 0.9 + -0.2. Is z at most as big as 0.2?
False
Let m be (-2)/10 + (-13)/(260/(-504)). Do m and 26 have the same value?
False
Let k = 7.87 - -0.13. Let p = k - 8.1. Are p and 0 equal?
False
Suppose 0 = -2*d + 5*b + 10, -3*d + 5*d - 2 = 3*b. Let u(x) = -x - 5. Let c be u(d). Suppose 0 = 4*t - z + 23, c*z = 2*t - 2*z + 16. Are -4 and t non-equal?
True
Let g be 4/(1 - 2) + (-1 - 6). Suppose -8*p + 5*v - 35 = -3*p, -3*v + 33 = -4*p. Is p equal to g?
False
Let k = -0.05 - -0.15. Suppose -f + 31 = 3*n + 4*f, -4*n + 3*f - 7 = 0. Let r be n - (4/(-3))/(-2). Which is bigger: k or