367 + -370. Let p = 1 + 2. Is a bigger than p?
False
Let j = -3.95 - 0.05. Let r be ((-4)/(-3))/((-2)/(-6)). Suppose 0 = -u + 4*y + 8, 2*u + 8 = -0*y - r*y. Which is smaller: u or j?
j
Suppose -2*j = -v + 28, -2*j + 7*j - 65 = -5*v. Suppose 2*u + v = 4*k, -4*u - k = -0*k. Which is smaller: u or 0?
u
Let m = -0.1 + 0.1. Suppose 0 = 4*l - 6 - 6. Suppose -u - l = 2*u. Is m greater than u?
True
Let r(l) = -6*l**3 - 6*l**2 - 8. Let o(p) = -p**3 + p - 1. Let x be ((-7)/14)/((-1)/10). Let j(i) = x*o(i) - r(i). Let w be j(-5). Which is smaller: w or 2?
2
Let i = 0.048 - 2.048. Let y = -2.8 - -3. Which is greater: y or i?
y
Let j = 434/333 - 3/37. Which is bigger: 2 or j?
2
Let f be 4/(-3)*(-18)/4. Let z be (-2)/f - (-10)/(-15). Is z greater than -2?
True
Suppose 0 = -4*c, -2*i = 6*c - c - 10. Suppose -3*k = -u - 2*u - 6, 3*k = i*u + 6. Let d = -27/4 + 85/12. Which is greater: u or d?
d
Let n = -142 + 140.54. Let s = n - 0.6. Let f = -0.06 - s. Which is greater: f or -0.1?
f
Let s = 11 + -24. Does 0 = s?
False
Let r be (-4)/(-2)*1 + 0. Suppose -p - 1 = 0, -38 = r*n + 2*n - 2*p. Let u be (-2)/n + (-1)/(-45). Which is smaller: -1 or u?
-1
Suppose -10 = 5*f - 0. Which is greater: 2 or f?
2
Let w(i) = -i**3 - 4*i**2 + 4*i - 6. Let c be w(-5). Let o = -3/244 + -443/3660. Is c smaller than o?
True
Suppose -3*f = -4*l + 2*l + 94, 0 = -2*l + 2*f + 96. Which is smaller: 49 or l?
49
Suppose -5*r = -0*r. Let n = -1 - r. Is -0.7 at most as big as n?
False
Let w = 14 + -12. Suppose 5*q - 5 - 5 = 0. Let a be (2 - q)*w/4. Is a greater than or equal to 2/3?
False
Suppose 2*u = 8 + 2. Suppose 0 = 2*f - 0*b + b + u, -b = -4*f - 13. Is -3 greater than or equal to f?
True
Suppose 0*o + 4*o - 16 = 0. Suppose -5*x = 1 + o. Let z be ((-1)/(-5)*x)/1. Is 1 equal to z?
False
Let a(j) = -j**2 - j - 1. Let d be a(0). Let c be (4/(-11))/(1 - d). Suppose y - 10 = 2*u - 4*u, -4*u = y - 20. Do c and y have the same value?
False
Let p(d) = 2*d - 9. Let x be p(0). Let f be (-8)/(-4) - x/(-6). Is 0 greater than or equal to f?
False
Suppose -2*s - 84 = -8*s. Let a be (-72)/s - -4 - -1. Does 1 = a?
False
Let s(p) = 9*p**2 + 17*p - 8. Let i(k) = -5*k**2 - 9*k + 4. Let a(u) = -11*i(u) - 6*s(u). Let b be a(3). Is b greater than 4?
False
Let r be (-2)/14*(1 + 0)*-4. Suppose o = 4*h - 3, -4*o + 3*o = 4*h - 5. Is r not equal to h?
True
Let i = 1 + -23. Let q = -5603/3 - -1845. Let r = i - q. Which is smaller: -5 or r?
-5
Let y be (-5)/((-10)/(-2))*3/7. Which is smaller: 0.6 or y?
y
Suppose 0 = o - 6*o. Let x = -56 + 393/7. Is o >= x?
False
Let n(k) = -k**2 - k + 4. Let s be n(0). Suppose -s = -a + 3*a. Let d = -2 - a. Is d at least as big as -3/5?
True
Let u(y) = 3*y - 1. Let r(k) = k**2 - 3*k - 3. Let x be r(4). Let l be u(x). Which is bigger: 3 or l?
3
Let m be (-16 + 18)*1/(-45). Is m != 0?
True
Suppose -10 = -5*o + g, -o - o = g - 4. Suppose -o*y - 3*c + 2*c = 8, 5*y - 10 = 5*c. Are -1 and y non-equal?
True
Let i be ((-8)/5)/(8/(-60)). Suppose 2*l = -4*v + 12 + 8, -4*l = v - i. Suppose l*k + 3 = 5*s + 14, -3*k - 5*s - 21 = 0. Is k at most as big as -3?
False
Suppose 0 = 2*x + 2*x + 2*h - 26, -28 = -4*x - 4*h. Which is smaller: 9 or x?
x
Let n = -55 - -55.2. Is n smaller than 21?
True
Let p(l) = 3*l - 11 - 2*l + 0*l. Let f be p(8). Let j(c) = -4*c**3 + 2*c**2 - 2*c + 1. Let y be j(1). Is f less than y?
False
Let u be 2/8 + 14571/84. Let k = u - 174. Is 0 less than k?
False
Let p = 4 - 4.3. Let t = p - -0.2. Which is bigger: -1 or t?
t
Let d(i) = -i**3 + 6*i**2 + 6*i + 4. Let p be d(7). Let s be (-6)/(-4) + p/6. Which is bigger: s or 0.4?
s
Let a = 0.3 + -0.4. Let s = 28 - 27.9. Which is smaller: s or a?
a
Let h = -91/8 + 11. Let l = 19 + -15. Suppose 4*x - 4*t = 0, -4*x = -0*t + l*t + 8. Is h smaller than x?
False
Let w be ((2/(-7))/(-4 + 2))/1. Suppose -2*f - f = 0. Are f and w non-equal?
True
Let b = -96 - -98. Which is smaller: 5 or b?
b
Let u be ((-5)/(-10))/((-4)/8). Which is smaller: 3/50 or u?
u
Let g = 1.96 - -0.04. Let r = 3.077 - 0.077. Which is greater: r or g?
r
Let h(m) = m**3 + 7*m**2. Let x be h(-7). Suppose x*l - 3 = 3*l. Is l equal to -3?
False
Let x = -14 - -12. Let z = 0 - -1. Is z < x?
False
Let v be 2/1 + 631/9. Let m = v - 72. Which is smaller: 0 or m?
0
Let z(g) = g + 16. Let h be z(-11). Let s = -4 + h. Which is bigger: s or 1/3?
s
Suppose 5*k - 4*r = 2*k + 31, -4*k + 28 = -2*r. Let h be 3*k/((-30)/4). Is 1 less than or equal to h?
False
Let c = 11 + -8. Suppose -3*t = -t + 3*x + 9, -5*x - 34 = -c*t. Is 3 smaller than t?
False
Suppose -5*b = 2*i - 9, 2*i - 9 = -b - 4. Which is greater: 4/37 or b?
b
Suppose 2*n + 2*n + 10 = -3*f, -3*f + 3*n = 3. Let o = 3 - 3. Let m be 18/(-9) - (o - -1). Is f at most as big as m?
False
Suppose 0*t = t. Suppose -3*m - 5*g - 13 = t, -m + 3*g = -0*g + 9. Suppose -6 = 2*q, -3*r - r - 4*q - 36 = 0. Is r < m?
False
Let z = -41/172 - 1/86. Let o = -11 - -9. Let a = o + 2.1. Does a = z?
False
Let q = -6 - 0. Let i be (-3)/q*(-4)/(-13). Suppose c = -4 + 3. Is c at least i?
False
Let l be (-50)/325 - (-288)/13. Is 23 at most as big as l?
False
Suppose -4 = d - 1. Let w = d + 3. Let u = w - -1. Is 1/7 < u?
True
Let p = -2/111 + 119/444. Is p less than 0?
False
Let h = 23 + -189. Let z = 1496/9 + h. Let k = 0.3 - -0.7. Is z smaller than k?
True
Let a = -2 - -8. Let f(h) = a*h - 9 + h**3 + 6*h**2 + 3*h**2 + 1. Let o be f(-8). Is 7 not equal to o?
True
Let f(p) = -p**3 + 8*p**2 + 2*p - 11. Let d be f(8). Suppose -v + d*v - 24 = 0. Which is smaller: 7 or v?
v
Suppose 4*a = 2*d + 26, -2*d = 3*a - 0*a - 9. Suppose -48 + 32 = 4*m. Which is smaller: m or d?
m
Let i(z) = -z - 17. Let j be i(-9). Let r = j + 13. Which is bigger: 6 or r?
6
Let y = -132 + 259/2. Which is smaller: y or 2?
y
Let l = 2 - -6. Let d be ((-6)/l)/(1/(-4)). Let p be (-1 + 7)/d - -1. Is 2 at most as big as p?
True
Let u be 0*-9*4/(-72). Suppose -2*f = f + a - 4, 0 = 2*f - a - 1. Let h be (2 - f)/(0 + -1). Which is bigger: h or u?
u
Suppose -i - 10 = -3*i. Is i less than 7?
True
Let o(g) = g**2 + 2*g - 1. Let u be o(1). Suppose 6 + u = -4*a. Let y = -31 - -28. Which is smaller: y or a?
y
Let i = 4 + 11. Do i and 15 have different values?
False
Suppose 5*d = 3*c - 23, -2*c = -4*c + 2. Let l be (d/(-10))/((-2)/10). Let x be (-2)/(-8)*48/(-20). Which is bigger: x or l?
x
Let w = -107 + 120.2. Let o = -13 + w. Which is greater: o or -0.03?
o
Let k = -17/4 - -5. Is 0 bigger than k?
False
Let i = 1019 + -37701/37. Which is smaller: 1 or i?
i
Let g(r) = 9*r - 5. Let d(q) = 4*q - 2. Let p(s) = 5*d(s) - 2*g(s). Let n be p(-7). Let w be n/20 - (-1)/2. Which is smaller: 1 or w?
w
Let j = 270.1 + -259. Let q = 11 - j. Let h = 0.2 - -3.8. Which is bigger: q or h?
h
Let q = -66 - -66. Is q >= -1?
True
Let m = 1 + -2. Is m <= -1?
True
Suppose -30 + 28 = -2*y. Are y and -2/7 unequal?
True
Let n(k) = -k**3 - 2*k**2 - k + 2. Let s be n(-2). Let f(x) = x**3 + 2*x**2 - 3*x - 3. Let q be f(-2). Which is smaller: q or s?
q
Let j be 2 - -9 - (-2 + 3). Let v be (1/3)/(45/j). Which is greater: v or 1?
1
Let g = 6 + -6.01. Let v = 0.19 - g. Let h = v - 0. Is 1/4 smaller than h?
False
Let h = -7 - -7.06. Let t = 0.01 + h. Let b = t - 1.07. Which is bigger: b or 1?
1
Let q be -2 - (-20)/12*3. Suppose q*z = 2*z + 5. Which is smaller: z or 17/3?
z
Let o be 2*(-2)/16*-8. Which is smaller: o or 13/21?
13/21
Let d = -1 + 1. Suppose 2*g = 15 + 9. Suppose 3*t - 5*h + g = d, -t + 3*h - 10 = -2*t. Are t and 2 unequal?
True
Suppose 2*r = 3*z + 56, 4*r - 2*z - 58 = 2*r. Are 34 and r non-equal?
True
Let l = 61 - 60.91. Is -3/7 greater than or equal to l?
False
Let k = -2.5 + 5.5. Which is smaller: k or 10?
k
Suppose -2*o + 35 = -3*n, 5*n + 53 = -0*n + 2*o. Is n not equal to -11?
True
Let t be (-2)/(-1) - (2 + 3). Let l be (t/8)/(9/6). Is l greater than or equal to -1?
True
Let b = 14198/7 + -2032. Which is smaller: -3 or b?
b
Let y(m) = 7*m + 3. Let i be y(4). Suppose 0 = -5*z + 4 + i. Let r be 2/2 + z - 3. Are 6 and r equal?
False
Suppose -38 = 5*o - 3*n + n, -2*o - 4 = 2*n. Let w(m) = m**3 + 5*m**2 - 6*m + 5. Let p be w(o). Is p equal to 3?
False
Let b = 1 - 0.8. Let k = -0.8 - b. Suppose 3 = 5*z + w, z + z = 5*w - 15. Which is bigger: k or z?
z
Suppose -5*m - 18 = -3*m. Let g be (-2)/m - 64/126. Suppose 36*t + 5 = 