on-equal?
False
Let p = -2 + 0. Let t be -1*(2 + (-7 - -5)). Which is smaller: t or p?
p
Suppose -f + 3*f - b - 183 = 0, -3*f - b = -277. Is f bigger than 92?
False
Let p be (1/4)/(25/(-40)). Let u be 1/(-3 - (-32)/10). Let q = -5 + u. Is q greater than p?
True
Suppose -c = -4*c + 5*i - 41, i - 32 = 4*c. Let x be c/(-36) - ((-5)/(-20))/1. Is x < 1/2?
True
Let q = -203 + 274. Is 70 greater than or equal to q?
False
Suppose 4*j + 16 = -4*y, -2 = -10*y + 6*y + 2*j. Which is smaller: y or -1/511?
y
Let v = 81.74 - 2.64. Let j = 79 - v. Which is bigger: j or 9?
9
Suppose -k - 4 = -n - 6*k, -4 = -n + 5*k. Suppose -31 = -n*f - 7. Let j(c) = -c**3 + 7*c**2 - 8*c + 6. Let x be j(f). Is -6 >= x?
True
Suppose 3*m - 9 = -5*y, y + 2*m + 19 = 6*y. Let b be (y - 3 - 0)/(-1). Suppose 0 = -b*c + 3*c. Which is greater: 1/2 or c?
1/2
Let q = 1661/5 - 5742087/17285. Which is smaller: 0 or q?
q
Let i(p) = -6*p**2 - 4*p**3 - 2*p + 3*p**3 - 3*p. Let m be i(-5). Let b = 1098 - 1097. Is m < b?
True
Suppose 895 = -5*x - 4*v + v, x + 196 = -4*v. Let c be 2/(-11) + (-76)/x. Let l = -0.09 - 0.03. Is l > c?
False
Let n = 593 + -56333/95. Let h = 277 + -277. Is h at most n?
True
Suppose -5*b = -5*r - 775, 6*b - 3*b = -4*r - 599. Is -153 <= r?
True
Let z = -0.5 + 0.37. Let g = -111.17 + 112. Let m = g + z. Which is smaller: m or 0?
0
Let o = 1782 - 1774. Which is smaller: o or -0.079?
-0.079
Let n = 0.078 + -2.078. Is n bigger than -4.4?
True
Suppose -i = 23*i + 408. Is i > -63/4?
False
Let h be (-2)/(-6)*0 - 0. Suppose -3*z + 73 = 4*s, h = -4*s - z - z + 70. Let k = 15 - s. Which is smaller: -12/7 or k?
-12/7
Let r = 0.02 - 0.1. Let v be (-8)/(-12) - (-497)/(-12). Let n = v - -41. Do n and r have the same value?
False
Suppose -2*n = 2*n + 12, 0 = -2*l + 4*n + 20. Suppose -z - 177 = 5*f, -2*f - 115 + 31 = -l*z. Is f at least as big as -37?
True
Let m = -28.8 - -31.8. Which is greater: m or 0.09?
m
Let c = -9 + 9. Suppose -52 = -5*w - 3*l, c = 4*w - 3*w + 4*l - 24. Which is smaller: 9 or w?
w
Let l = 7 - 2. Suppose -4*y = l*y + 72. Is -8 greater than y?
False
Let n = 53 - 52. Let w be (-1 + 0)*(n + -2). Let g be ((-2)/(-15))/(2/(-6)). Which is bigger: w or g?
w
Let x = -77608/8503 - -28/773. Which is greater: -9 or x?
-9
Let i(v) = -v**3 + v + 1. Let s(d) = d**3 + 8*d**2 - 9*d - 5. Let y(k) = -2*i(k) - s(k). Let z be y(7). Is 5 at most z?
False
Suppose v + 4 = -v. Let w = -55510/1301 - -2/3903. Let k = w + 42. Are k and v equal?
False
Let z = -66 - -45. Let w = z - -21.11. Let o = 0.11 - w. Which is greater: o or -2/31?
o
Let v = 270 + -158. Let j = -112.1 + v. Let h be 384/(-21) - (-4)/14. Which is smaller: j or h?
h
Suppose -5*l = 60 + 55. Let d = l + 22. Is 3 greater than d?
True
Suppose -291 = -20*h - 651. Which is bigger: 6 or h?
6
Let y be (3/39*-3)/(27/(-34)). Let r = y - 6116/20241. Is r at most 1?
True
Let u(t) = -4*t + t**3 - 2*t**2 + 5*t**2 + 2*t. Let j be u(-3). Let q = j - 9. Do q and -2 have different values?
True
Let y = -433/5 - -260223/3005. Let o = y - 8408/1803. Let t(l) = l + 1. Let g be t(-5). Which is smaller: o or g?
o
Let p = 0.3 - 0.3. Suppose z - 15 = 2*m + 9, 50 = -3*m + 5*z. Let l be 18/(-45)*m/6. Which is greater: p or l?
l
Let r = 32909/138 + -477/2. Which is smaller: r or -0.3?
-0.3
Let t be 17/17*(2 - -1)/3. Is t < 3/640?
False
Suppose -m = -12*m - 22. Let y be 5/(-80)*18*m/3. Which is smaller: -1 or y?
-1
Let z be 1 + (-111)/12 + (-4)/(-16). Let a be 0/z + (-1 - -4). Which is smaller: 7/4 or a?
7/4
Let q = -1432/20959 - -239328481/3646866. Let j = 5/87 - q. Is -67 less than j?
True
Let c(z) = -5*z + 12 + z + 4*z - z. Let m be c(9). Suppose -m*y = -5*y + 4. Is y != 2?
False
Let v be (-115)/23*(-2 + 1)/(-6). Which is smaller: v or 2/27?
v
Suppose -5*q + 39 = d, -3*q + 5*q = d - 4. Suppose 2*a = -p + 25, -5*p + 80 = -a + 2*a. Are d and p unequal?
True
Let i = -95 + 18. Let t = i - -47. Which is greater: 0 or t?
0
Suppose -103 = 5*c + 3*k - 40, -c + k = 11. Let x be 4/8*c/1. Let q = -0.9 + 1. Which is greater: x or q?
q
Let i be ((-1562)/(-4389))/(6/(-4)). Let z = 2/133 + i. Which is smaller: z or -2?
-2
Suppose 5*y + q - 135 = 0, -2*y + 3*q + 41 = 6*q. Let v be y/13 - 8/4. Is -0.2 > v?
False
Let z be ((-174)/(-5))/(420/(-400)). Which is greater: -34 or z?
z
Suppose 6 = 3*s - 3. Suppose 13 = -2*n - 5*v - 7, 0 = -n + s*v + 12. Suppose n*l = -l. Which is smaller: 2/15 or l?
l
Let l = -3 + 3. Let y(z) = 4*z - 12. Let m be y(l). Which is bigger: -13 or m?
m
Let c(w) = 0 - 27*w + w**2 + 4 + 31*w. Let n be c(-2). Is n greater than 4/45?
False
Suppose -555 = -5*y + 3*i, 4*y + 0*i = -4*i + 412. Is 108 smaller than y?
False
Let h = -202 - -194. Let y be h/(-16)*0/(-1 + 3). Let i = -1 - 1. Which is smaller: y or i?
i
Let p(b) = 47*b - 537. Let i be p(11). Is i <= -38?
False
Let x(u) = 32*u - u**3 - 3*u**2 - 64*u + 30*u + 1. Let b be x(-2). Let z = b + 5. Is z smaller than 6?
False
Let h be ((-39168)/30)/2 + 4/5. Are h and -653 nonequal?
True
Let j = -141.2 + 140.2. Is j at least 59?
False
Let u(f) = 5*f**2 + f - 3. Let w be u(2). Suppose 3*l = -2*i - w + 5, 2*i = -4*l - 18. Let h(s) = -s. Let m be h(-1). Which is bigger: i or m?
m
Let r be ((-36)/(-32))/(-1*27/1908). Which is smaller: -80 or r?
-80
Let b = 56 - 54. Is b <= -0.7?
False
Let p(r) be the second derivative of r**5/20 + 7*r**4/12 + 7*r**3/6 + 7*r**2/2 + 2*r. Let b be p(-6). Suppose -4*v = 30 - 18. Which is smaller: b or v?
v
Let q be ((-57)/15 + -5)*5. Which is smaller: -43 or q?
q
Let z = 40 - 99. Is 2 greater than z?
True
Suppose -2*p - 7 = -3*y - 14, 5*y + 20 = -5*p. Let m = -127/3 + 42. Is p != m?
True
Let p = -613 + 612.7. Which is greater: p or -84?
p
Suppose -3*i - 9 = 3*p + 6, 2*i + 6 = 2*p. Is p != 5/52?
True
Let d = -6.86 - 0.14. Suppose 0 = -22*c + 195 + 201 - 418. Are d and c non-equal?
True
Let n(w) = -w**3 + 3*w - 7. Let p be n(-4). Is 183/4 less than or equal to p?
False
Let k = 23 + 7. Let i = k - 28. Let d(a) = 5*a. Let g be d(1). Which is greater: g or i?
g
Let w = -152 + -135. Is w not equal to -288?
True
Let s be (-475)/20 + 18/24. Which is smaller: s or -68/3?
s
Let m = -12 + 14. Let n be (m - 6/(-4))*2. Let l be 9/(-12)*-4 + n. Are 9 and l equal?
False
Suppose -3*d = 2*y, -y - 3*y + 2*d = 0. Let j be (3/(3 - y))/(-1). Let r be 301/(-140) - 2/(-5). Is j <= r?
False
Suppose 0 = -5*u + 3*h + 3, -u = 8*h - 3*h + 5. Suppose u*w = -6*w + 24. Let b(t) = -t**2 + 8*t + 12. Let s be b(9). Which is bigger: w or s?
w
Let p = 2 - 2. Let q = -1 - p. Let b = -1/27396 - 54787/136980. Is q > b?
False
Suppose 0 = l - 2 - 6. Let j be -2*l/10 + 2. Let u = 1364 - 12278/9. Is j at most as big as u?
False
Suppose 9 - 1 = -5*n + 2*u, -5*n - 2*u + 8 = 0. Suppose -6*r + 7*r + 18 = n. Is -17 <= r?
False
Suppose 0*t - 4*t = -20. Let v be ((96/56)/((-4)/(-14)))/1. Let g = v - t. Is 3 < g?
False
Suppose -4*a = 3*q + 46 - 247, 5*q - 5*a - 300 = 0. Is q bigger than 64?
False
Let y be (-7)/9 + (-2)/9. Let f be (31/62)/(5/(-14)). Which is bigger: y or f?
y
Let g(u) = -u**3 + 5*u**2 + u - 1. Let t be -8*(18/(-4) + 4). Let r be g(t). Is r at least as big as 19?
True
Suppose 55 + 37 = 4*u. Which is greater: 19 or u?
u
Let j(l) = 3*l**2 - 3*l. Let g be j(7). Let u = -137 + g. Suppose 1 - 12 = w. Are w and u unequal?
False
Suppose -10*z - 309 = 911. Which is smaller: z or -121?
z
Let s be -6 + (-5 - -1) + 1. Is -96/11 at least as big as s?
True
Let d be ((-12)/(-2))/((-129)/2). Are 0 and d nonequal?
True
Let w(j) = j - 9. Let y be w(8). Suppose 0 = x + 2 - 3. Let o be x/2 + (-21)/98. Which is greater: o or y?
o
Let x(d) = 65*d**3 + d**2 - 5*d + 3. Let o be x(1). Is 65 not equal to o?
True
Let v(z) = z**3 + 7*z**2 + 9*z + 22. Let w be v(-6). Let n be (w - 0)/(2 + 1*-4). Which is bigger: n or -1?
-1
Let h(b) = -11 + 2 + 6*b - 6*b**2 + b**3 - 15*b. Let a be h(7). Let w(r) = r**3 - 9*r**2 + 7*r - 14. Let k be w(8). Is a less than k?
True
Let z = -1626 + 1663. Is 12 < z?
True
Let a = 970 + -2756/3. Is a at most as big as 50?
False
Let w = 15 + -2. Let t = w - 14. Let q be -3 + -1*(-13)/7. Are t and q equal?
False
Let f be 56 + 95 + (-11)/1. Is 142 != f?
True
Let k be -10*(-6)/12 + (-1 - 12). Are k and 2 nonequal?
True
Let v(n) = -3*n**2 - 1 - n + 7*n**2 - 3*n**2 - n**3. Let x(h) = -3*h**3 - h**2 + 2*h - 9. Let i(