-1)/(-5). Are o and 0.2 non-equal?
True
Suppose 2*h = 3*h - 3. Suppose -38 = -12*w - 2. Is w less than or equal to h?
True
Let o = 0.21 + -0.15. Let g = 0.07 - o. Are g and -1/4 unequal?
True
Let z be (-84)/9 - (-4)/12. Let k = 13 + z. Is 2 at least k?
False
Suppose -2*j + 2 = -j - 4*h, -5*j + 10 = -4*h. Suppose 0 = -5*f - j*a - 9, 2 = f + 2*a + 7. Which is greater: f or 4/9?
4/9
Let f be (-2 + 0 - -3) + -3. Let p be 5/20 + f/72. Is -0.2 at most as big as p?
True
Let l be (-4)/10 - 4/(-10). Let j be ((-4)/5)/((-4)/(-70)). Let y be (-2)/(-7) - (-4)/j. Is l equal to y?
True
Suppose 49*m + 20 = 47*m. Is -9 > m?
True
Let t = 19 + -21. Let n be 5/t*12/15. Is n >= -2/9?
False
Let u(i) = i - 8. Suppose 2*l - 7*l + 4*s = -4, -4*l = s - 20. Let o be u(l). Is o > -3?
False
Suppose -3*y = -2*i - 13, 28 = 3*i + y + 4*y. Suppose -n + i = -0*n. Let a = 15/4 - 7/2. Which is smaller: n or a?
a
Let n = -4 - 0. Let l = n + 4. Which is smaller: 1/4 or l?
l
Suppose 3*q + 2*v = 15, -5*q + 4*v - 5*v + 18 = 0. Let c(n) = -n**3 + 2*n**2 - 2*n + 1. Let f be c(2). Let a be 3/f*q/(-18). Do a and 1 have the same value?
False
Let j be (-1 + -19)*(6 - 4). Let l = j + 70. Let r be 2 + 2 + (-124)/l. Is 0 at least r?
True
Suppose 0 = -4*g - 3*z - 6, 3*g - 10 = -0*z + 5*z. Suppose -4*c = -9 + 13. Let s be c/((189/6)/(-7)). Which is greater: s or g?
s
Let y be (0 - -9)*(7 - 8). Is -8 smaller than y?
False
Suppose 1 + 3 = 4*h, -3*h = -5*t + 27. Let y = t - 6. Which is bigger: y or -1/7?
y
Let u be 3 + (-1 + 1219)/3. Let v = 2038/5 - u. Is 0 at least v?
True
Let q be 38/9 - (-8)/(-36). Suppose 5*d = w + q, 2*d + w + 3*w - 6 = 0. Which is smaller: d or -3/7?
-3/7
Let z(v) be the first derivative of -v**4/2 + 2*v**3/3 + 2*v - 2. Let a be z(2). Let n be 9/a*8/(-3). Which is greater: n or 2?
n
Suppose 2*t - 7*t - 25 = 0, -1 = 4*w + t. Suppose -4*u + 5*x = 24, 5*u + 30 = -2*x + 5*x. Let o be (0 - 1)/(u*1). Which is bigger: w or o?
w
Let g be (-4)/(-8)*(-1 - -23). Is 10 not equal to g?
True
Let y be (1 - 1)/(4 + 0). Do y and -2/7 have the same value?
False
Let w = -0.12 - -0.02. Let p = 2.1 + w. Which is greater: p or 2/11?
p
Let j = -16.5 - -0.5. Let n = j + 15. Is 6 less than n?
False
Let f be ((-2)/(-21))/((-1)/(-3)). Is f at least 0?
True
Suppose -5 = -n - 0. Suppose -n*d + 38 = 4*k, -d + 10 = 2*k - 3*d. Which is greater: -1/3 or k?
k
Let g = 11 - 15. Let c = -3 - g. Are c and 0.01 equal?
False
Let y = 2.63 + -1.5. Let x = 0.13 - y. Which is greater: x or -0.3?
-0.3
Let i = 177 + -2123/12. Let u = i - 7/12. Let a = 6.2 - 6. Which is smaller: a or u?
u
Let c be ((-24)/(-75))/4*(5 - 0). Is c greater than or equal to 0.4?
True
Suppose 0 = 2*f + 4, -f + 18 = 2*w - 4*f. Suppose -w*m = -5*m. Do -2 and m have different values?
True
Let t = -179 - -1613/9. Suppose -u - 12 = -13. Which is bigger: u or t?
u
Let y(j) = j**3 - j**2. Let o be y(2). Suppose h + 3*m = -0*h - 13, -o*m = -4*h + 28. Let t be h*(9/(-6) + 0). Are -3 and t nonequal?
False
Let n = 1.4 - -1.6. Is n at least as big as 3?
True
Let n = -34 - -30. Is n <= -4?
True
Suppose 0 = b - 1. Let q be (0 + b - 9)/(-2). Let l = 8 - q. Which is greater: l or 3?
l
Let x be 2 - -1*(-3 + 1). Let h(v) = v**3 + 4*v**2 - 5*v - 2. Let p be h(-4). Let t be (p/4)/(x + 3). Is 3 at most t?
False
Let y = -12 - -12. Which is bigger: y or 5?
5
Let o = 0.34 + 0.06. Let n = 0.3 - o. Let l = 0.8 - 1. Is n at most l?
False
Let r = -0.1 - -0.1. Let b = -0.09 + -0.01. Let p = r + b. Is 1 <= p?
False
Let r be 15/2*(-2)/3. Let y be 1/r + (-4)/20. Which is greater: -2 or y?
y
Let m = -245 - -1718/7. Let o = 0 + 0. Is m bigger than o?
True
Let a = 0.18 + -0.28. Which is smaller: -0.6 or a?
-0.6
Let q = 41/4 - 67/8. Which is smaller: q or 1?
1
Let a = -6 + 13. Let k be 5*1 + a + -9. Is 3 != k?
False
Let c = 59/2 - 29. Let x = -3.6 - -3. Let w = 3.4 - x. Is w equal to c?
False
Let q = 0 + -2. Let n be 1088/112 - 2/(-7). Suppose 6*c - c = n. Which is greater: q or c?
c
Let r = 43 + -43.04. Which is smaller: -1/6 or r?
-1/6
Suppose -4*a + 3*a - 11 = 0. Which is smaller: a or -9?
a
Suppose f + 5*q = -6, -5*q - 6 = 5*f - 4*q. Let a(z) = -2*z - 1 + 1 - z**2. Let i be a(-2). Are f and i equal?
False
Suppose 5*l + l = 0. Is l at most 6/17?
True
Suppose -2*s - 12 = 5*c, -3*s = -2*c - 6*s - 7. Let f(t) = 3*t**2 + 2*t - 2. Let a be f(c). Let p be ((-16)/(-12))/((-2)/a). Is -3 bigger than p?
True
Let p = 58 + -39. Which is bigger: 18 or p?
p
Suppose 4*r = 4*n, 5*r - 3*n = -4*n + 18. Is 4 at least r?
True
Let k = -1.4 + -0.6. Let i = 19 + -15. Which is smaller: k or i?
k
Let f(m) = m**2 + 11*m + 12. Let g be f(-8). Is -13 greater than or equal to g?
False
Let p = 14 - 23. Let i = -4 - p. Let a = -4.8 + i. Which is bigger: a or -1?
a
Let c be (2 - 8/3)*3. Let i be (-3 - 51/(-15))*-3. Is c greater than i?
False
Let z(k) = -k**2 + 3*k + 11. Let j be z(5). Which is greater: j or -3?
j
Suppose 0 - 20 = -5*n. Is n >= 36/11?
True
Suppose -17*c = -10*c - 154. Is 23 at most c?
False
Let r be 6/4 + (-3)/6. Let u be (-4)/(-3) - (-3)/(-2). Which is greater: r or u?
r
Suppose 2*c - 6 = 2. Let z(u) = u**2 + u - 2. Let a be z(2). Is c >= a?
True
Let a be (2 - 1)*(1 - 0). Let d be a/3 + 20/(-6). Suppose 0 = 4*t + t - p + 1, -5 = -3*t + 2*p. Which is bigger: t or d?
t
Let y(a) be the third derivative of -a**6/120 + a**5/6 + a**4/24 - a**3 - 4*a**2. Let j be y(10). Let t = 5 + -1. Is t > j?
False
Let s = -11.5 + 8.5. Is s smaller than 8?
True
Suppose -2*f + 6 = -32. Which is smaller: f or 18?
18
Let p(x) = x - 1. Let s be p(4). Let d(n) = n**2 - 1. Let y(r) = -r**3 - 10*r**2 - 6*r + 3. Let w(i) = s*d(i) + y(i). Let q be w(-6). Which is bigger: -1 or q?
q
Let v(r) = -2*r**2 - 49*r - 22. Let m be v(-24). Suppose -11 - 5 = -4*n. Suppose 5*x = g - 6, -n*x + 1 = -g + 6*g. Which is bigger: m or g?
m
Suppose 0 = -5*n, 4*m + 3*n - 2*n = 12. Suppose m*j - 6 = 3. Suppose -r = -j*r + 8. Which is bigger: 2 or r?
r
Let j be 12*((-4)/(-16) + 1). Is j equal to 16?
False
Suppose 28 = -4*f - 0*f. Let b(u) = u**2 + 8*u + 9. Let o be b(f). Let l be o/(2 - -2)*2. Which is greater: l or -1/5?
l
Let z = 0.8 + -0.4. Let b = -1 - -1.5. Let l = b - z. Which is bigger: l or 1?
1
Let d be (7 - (-20)/(-4))/((-16)/2). Let s be (-4)/((-1 + 3)/(-1)). Suppose 0 = s*p + 2*p. Which is smaller: p or d?
d
Suppose 4*k = -2*v + 16, -6*v = -4*k - v + 30. Suppose -3*h + k + 7 = 4*g, -4*h - 12 = -4*g. Let w = -2 + 3. Is w less than or equal to h?
False
Let z be (-2)/4 - 108/8. Is -15 at most as big as z?
True
Let c be 52/14*519 + 0. Let q = c + -1923. Let a = 111/28 - q. Is a > -2?
True
Suppose -5*h - 1 = 2*t, 8 = 2*h + 5*t - 0. Are -1/45 and h nonequal?
True
Let v = -60 + 64. Suppose -2*h + 4 = -6. Is v != h?
True
Let c(o) = 2*o**2 + 15*o + 6. Let m be c(-7). Let h be (-7 - -12) + (m - 0). Which is smaller: h or 3?
3
Let m(f) = f**2 + 6*f + 4. Let q be m(-4). Let u be (-1 - 8/q)*-1. Which is greater: u or 3/11?
3/11
Let s be (6 - 10)/(-1 + 0). Suppose -3 = -s*l + 1. Which is greater: 1/4 or l?
l
Suppose -5*i + 2*d = 33, 0*i = -i - 2*d + 3. Which is smaller: i or -1?
i
Suppose 0 = -0*j - 5*j - 60. Let z be (-506)/(-12) - (-2)/j. Let r be (-7)/6*(-6)/z. Which is smaller: -1 or r?
-1
Let y = -0.36 - -0.16. Which is smaller: -7/3 or y?
-7/3
Let p = 3 + -3. Let z = 0.05 + 2.95. Let y = z - 0. Is p at least y?
False
Let j = 0.2 - -0.8. Let i = -75 - -75.8. Let b = i - j. Is 2 greater than or equal to b?
True
Let t = 3 + -5. Suppose 13*f - 17*f - 12 = 0. Which is greater: t or f?
t
Suppose 5*k - 4*k - 11 = -2*y, -2*k - 18 = -4*y. Is 3 < k?
False
Suppose -24 = i - 5*i. Suppose 24 = -3*p + i. Let j = p - -5. Which is smaller: -1/9 or j?
j
Suppose 4*i = 3*c - 287, 5*i + 1 = 4*c - 359. Let l be 4/(-10) - i/70. Which is smaller: l or 1?
l
Let r be (-2 - 2)/(-1 - -3). Let k be 20 - (-3 - (-1 + r)). Suppose -6*l = -l + k. Which is bigger: l or -3?
-3
Let l be 9/((-4)/(-4))*-1. Let c = -12 - l. Which is greater: c or -4?
c
Let p = -1.4 - -1.2. Which is bigger: -0.34 or p?
p
Let b be 3 + (-15 - -4 - -4). Which is smaller: -9 or b?
-9
Let s(g) = -7*g**2 - 3*g + 1. Let v be s(2). Let f be 3/(36/v)*-4. Let p = f - 97/9. Which is smaller: p or 1?
p
Let v = -563 + 568. Let c(l) = l**2 + 5*l. Let t be c(-6). Is t > v?
True
Let j be (-2)/(-7) - (-7