equal?
True
Let k = 28 + -28. Is k > -42?
True
Let t = 11 + -14. Let j be (-16)/(-66)*t/2. Is j greater than 1?
False
Suppose b = -182 + 55. Is -128 > b?
False
Let j = 157/5 + -31. Is j greater than -0.2?
True
Suppose -4*o = -16*o - 168. Which is smaller: o or -51/4?
o
Let s(k) = -k**3 - 4*k**2 - 2. Let w be s(-4). Let f be 0/(w*(-3)/6). Let i(t) = -t - 12. Let o be i(-12). Is f > o?
False
Suppose -2*r + 109 = 5*f + 30, 6 = 3*r. Is 15 >= f?
True
Let j be (48/(-32))/(6/74). Is j greater than -18?
False
Let x = -343/3 - -115. Let j = 1 + -0.8. Let n = 0.1 - j. Is n < x?
True
Let f be (-1)/(-2)*(1 - -13). Let m = f + -11. Suppose -6 = 2*g, 3 = -5*y + 7*g - 3*g. Is m greater than or equal to y?
False
Suppose -g - 4*g = 2*t - 50, 2*g - 38 = -2*t. Is 15 at most t?
True
Let b(r) = -r**3 + 2*r**2 - r. Let f be b(2). Let a(p) = p**2 - 4*p + 1. Let h(i) = -i**2 + 9*i - 5. Let u be h(8). Let t be a(u). Is f >= t?
True
Suppose -5*f = -0*f - 105. Let p = 12 + -3. Let x be f/4 + p/12. Which is smaller: 5 or x?
5
Let g = -5 - -3. Let z = g + 1. Let l = 2 + -1.9. Are z and l equal?
False
Let r = -24 + 98. Is 73 != r?
True
Let h be (-14 - -2)*(-1)/(-2). Let i(g) = -3*g + 4. Let x be i(6). Let t be x/6 + h/(-3). Are 1 and t nonequal?
True
Let d = -234 - -433. Let p = 1793/9 - d. Suppose -3*w - 5*g - 28 = 0, g + 2*g = 5*w - 10. Does p = w?
False
Suppose -4*o = -0*o - n - 29, -45 = -5*o + 3*n. Suppose -5*s - 2*k = 0, 2*s - 2*k - 16 = -o*k. Is s bigger than -1?
False
Let x = -1.98 - 0.02. Let k = 1 + x. Is 0.2 bigger than k?
True
Let u = 13 - 9. Suppose 0 = 5*z - 5, -u*j + 2*z - 18 = 12. Is -6 <= j?
False
Suppose -8*p = -4*p. Suppose p = -7*o + 3*o. Suppose -1 = -j - o. Which is bigger: 0 or j?
j
Let w be -3 + ((-12)/24)/((-2)/12). Which is smaller: -3/31 or w?
-3/31
Suppose 0 = -4*t + 2*t + 5*t. Is t != -2/91?
True
Let t be 154/(-16) - (-15)/(-40). Is t at most -9?
True
Suppose 3*a + 10*r = 5*r, -3*a = -5*r. Suppose 3*w - 2*w = a. Which is greater: w or 6/11?
6/11
Let z = 0.9 - -1.1. Is -0.8 > z?
False
Suppose 4*o + 36 = 4. Let s = o + 1. Let z(a) = a. Let k be z(-6). Is k not equal to s?
True
Let q = -1 + 0.7. Let b = 4 - 3.6. Let f = b + q. Which is smaller: f or 0?
0
Let f(p) = 2*p**2 - 3*p - 4. Let q be f(3). Let y be (1532/(-8))/(28/(-8)). Let l = 55 - y. Which is smaller: l or q?
l
Let f(v) = v**3 + v - 1. Let m be f(1). Let o = m - -4. Suppose -4*h + 2*i = -2 - 10, o*h - i = 12. Which is bigger: 1 or h?
h
Let g be (-2)/4 - (-7)/2. Let t be 32/g + 4/(-6). Let v be 2/5 - 2/t. Is v greater than or equal to 0?
True
Let y be 3/2*(-460)/(-30). Do 24 and y have the same value?
False
Suppose -5*t = -2*t - p - 152, 4*p - 106 = -2*t. Which is bigger: t or 52?
52
Suppose -5*s + 3*z = 4*z + 83, -15 = 5*z. Which is smaller: -10 or s?
s
Suppose -2*t + 12 = -0*t. Let j = t + -6. Which is greater: 2 or j?
2
Suppose -2*h - 231 = -5*i, 0 = -6*i + i + 3*h + 234. Which is greater: 46 or i?
46
Let g = 0.31 + -15.31. Is g at least 0.1?
False
Let a = 2/219 - 1372/6351. Is a < -1?
False
Let k = 7.9 + -8. Which is smaller: 0 or k?
k
Let m(r) = 32*r**2 - r - 1. Let k be m(-1). Let t = -4 + k. Suppose 4*d + 2*g = t, -4*g + 20 = 3*d - 6. Do d and 7 have the same value?
False
Suppose -2*d = 3*d - 5. Suppose -4*r = 4*k + 8, 0 = 3*k - r + 5 + d. Which is smaller: k or -4/3?
k
Let g = -1215 + 10921/9. Is g greater than -2?
True
Let m be (-171884)/(-156) + 4/(-26). Let c = -313973/285 + m. Let t = c - 196/855. Which is smaller: 0 or t?
t
Suppose -3*w + 0*w - 21 = 0. Which is smaller: -0.1 or w?
w
Let c(s) = -s - 2 + 8 - 2. Let d be c(4). Let g be 2 + 0 + 48/(-26). Which is greater: g or d?
g
Let u be (-3)/(-3) - (-4 - -2). Suppose -1 = l - u. Suppose -c + 16 = -3*n - 3, -2 = l*c + 2*n. Which is smaller: c or 6?
c
Let b(d) = d - 4. Let r be b(0). Let m be 13/(-2) - (-10)/20. Is m >= r?
False
Let r = -5/12 + -1/3. Suppose o + 6 = -3*v, v = -2*v + 5*o + 12. Which is smaller: r or v?
v
Let k = 47 + -48. Suppose 39 = 5*b - l, 3*b + b = 4*l + 28. Which is smaller: b or k?
k
Let m be (-2)/12 + 2/6. Suppose 0 = 2*x - 6*x + 12. Suppose -2*d = -x*d. Which is greater: d or m?
m
Let y be -16*(-3)/3 - 3. Which is greater: 11 or y?
y
Let v(m) = -3*m - 10*m**2 + 2*m**3 + 3*m**2 - m**3 + 10*m. Let n be v(6). Let s be 3/n*3/(-6). Which is greater: 1 or s?
1
Let m be (-8)/30 - (-16)/(-40). Is m at most as big as 0?
True
Let k = -0.2 - -1.2. Let d = 8 + -5. Let u = 3.2 - d. Which is smaller: k or u?
u
Suppose -3*p = -9 - 0. Suppose v - 17 = 5*j + 12, -j = -3*v + 17. Is p not equal to v?
True
Let q be (-1)/((-2)/1)*(-36)/639. Which is greater: -1 or q?
q
Let t = 832/3 - 283. Let r = t + 253/45. Is -1 less than r?
True
Let s = 8 + -6. Is 16/5 less than s?
False
Let o(i) = i**2 + i + 5. Let d be o(0). Suppose -1 = 5*x - 21. Is d less than x?
False
Let i = -2 + 3. Let a be (i + 16/(-12))*0. Which is smaller: 2/7 or a?
a
Let g = 63/4 + -16. Which is smaller: 0 or g?
g
Suppose 3*g = 5*g - 2. Let d = 26/21 + -4/7. Which is smaller: d or g?
d
Let w = 6 + -3. Let m be 1/(-2)*(-2 - -2). Suppose 5*n - 4*k + 20 = -m*n, -w*k = 15. Is n greater than 1/2?
False
Suppose 8 - 17 = -3*k, 0 = -s + k + 177. Let v be (-32)/s - 2/9. Let d = -4/7 + 1/14. Which is smaller: d or v?
d
Suppose -5*v = -3*p - 20, 2*v + 5*p - p - 8 = 0. Suppose -4*c + 12 = -c. Suppose 2*r - r = c. Is r bigger than v?
False
Let i = 1.18 - 0.08. Let z = i + -1. Is -0.1 > z?
False
Suppose s - 2*s + 6 = 0. Let p = s + -7. Let w = 14/45 + 4/45. Which is bigger: w or p?
w
Let g = -620983/85 - -36959/5. Let y = 86 - g. Which is smaller: 0 or y?
y
Let r = 2.5 - 2. Let p = -0.5 + r. Let o = 0.2 - p. Is 1 greater than o?
True
Let u be (-4)/24 - 25/(-24). Is u at most as big as -1?
False
Let u = 24 - 23. Let v be (442/(-109))/(-2) + -2. Let n = v + -463/981. Which is smaller: n or u?
n
Suppose 0 = 5*j - 5*i + 40, -j + 8 = 3*i - 0. Let m be ((-36)/54)/(j/30). Which is bigger: -2 or m?
m
Let b = -0.1 + 5. Let t = b + -5. Is 2 at least t?
True
Let k = -33 + 230/7. Let n(o) = -2*o**2 - 2*o - 1. Let a be n(-1). Which is greater: k or a?
k
Let m = 0.1 + -0.3. Suppose -4*y - 1 + 9 = 0. Let k be (0 + 1)*y/(-6). Which is bigger: k or m?
m
Let s = -51 - -96. Let z(k) = k**2 + 4*k + 5. Let j be z(-4). Suppose j*v = 2*m - s, 55 = -5*v + 3*m + m. Is -7 smaller than v?
False
Let t(d) = -4*d**2 - 2*d + 9. Let w(r) = 2*r**2 + r - 5. Let z(n) = -4*t(n) - 7*w(n). Let v be z(1). Let l = 35 - 35. Which is greater: l or v?
v
Let a be (2/(-12) - 0)*(-567)/(-14). Which is smaller: a or -6?
a
Let p = -4/107 - 186/749. Suppose 0 = i - 4*i. Let r be i + -1*(-3 + 2). Is p at most r?
True
Suppose 4*y - 3 = 2*y - a, 25 = 5*y - a. Suppose 6*p - 4 = y*p, -4*p + 8 = -2*u. Which is smaller: u or 1/3?
u
Suppose -2*m - 3 = 3*j - 2, -2*j + 2*m - 4 = 0. Let o be (j + 1)/(-1) - 0. Let l = 3 + -4. Which is greater: o or l?
o
Suppose a + 54 = 3*a. Let v be 2/(-12)*a/2. Suppose 2*o = 2*y - 8, -2*y = -4*o - 3*y - 1. Is v greater than o?
False
Let y = -15 - 46. Which is smaller: y or -63?
-63
Suppose -3*x - 140 = -7*x. Which is greater: 33 or x?
x
Let m(a) = -27*a**2 + 6*a + 7. Let x be m(-1). Is x less than -26?
False
Let o = 0.7 - 1.7. Let r be (1 - 2/4)*-8. Let z be (-1)/r*4/(-3). Are o and z nonequal?
True
Suppose 11*v + 99 - 539 = 0. Is 118/3 < v?
True
Let s be (2/5)/(2/(-10)). Let q(v) = v**3 + 2*v**2 - v - 3. Let j be q(-3). Let c = -10 - j. Which is smaller: s or c?
s
Suppose 0 = -b + 5*z - 1, 7*z - 9 = 2*b + 4*z. Is -6 > b?
False
Suppose 3*d = -5*y + 58, 27 - 116 = -4*d + 5*y. Is 22 at least as big as d?
True
Let s = -14.9 - -15. Let p = -0.04 - s. Is -1 smaller than p?
True
Suppose 0 = 3*j - 4 - 5. Suppose -3*g - 4*b + 5 = 0, 4*g + g = -j*b + 1. Is -1 greater than g?
False
Suppose 0 = -y - 2*y + 12. Let n(l) = l**2 - 2*l - 3. Let z be n(y). Let s(p) = -p**3 - 6*p**2 + 7*p + 5. Let d be s(-7). Is d less than or equal to z?
True
Let u be 0 + (0 + -3)/15. Suppose -2*t - 2 = 0, -5*w + 2*w + t = 2. Which is bigger: u or w?
u
Suppose -13 = 4*o - 193. Is o > -1/4?
True
Let s = -16 - -21. Is 5 less than or equal to s?
True
Let u = 150 - 753/5. Is -2 at most u?
True
Let k = 17 - 3. Which is smaller: k or -2/3?
-2/3
Suppose 3*g + 2*g + 10 = 0. Let a be (g/(-78))/((-3)/(-18)). Do 0 and a have different 