equal?
False
Let i be (-1 + 0 + 2)*5. Let h(o) = o**2 + 8*o - 16. Let v be h(2). Does v = i?
False
Suppose -3*g + 6 = -4*g. Suppose -3*x - 4*i - 28 = -5*x, 2*i = -5*x + 70. Let k = x + -21. Is g smaller than k?
False
Let v = 3.044 - 0.044. Which is greater: v or -1.2?
v
Let x = -13 - -8. Let o be (-9)/x - 3 - -2. Is 2 bigger than o?
True
Let f = 8 - 4. Let a be (f/16)/((-22)/(-8)). Which is smaller: a or -1?
-1
Let z(w) = w**2 - 9*w + 11. Let p be (-22)/(-3) - 8/(-12). Let j be z(p). Suppose 3*g = -0*g + j. Do g and 1 have different values?
False
Let u = -206 + 5357/26. Which is smaller: u or 0?
0
Let v = 0.25 + -0.53. Let u = 0.02 - v. Is u <= 0.2?
False
Let n = 233 - 135. Is 0.1 less than or equal to n?
True
Let x = -98 + 90. Is -0.05 >= x?
True
Let k(l) = 3*l - 51. Let x be k(17). Suppose 20 = -4*p, 5*o + p - 6*p = 20. Which is smaller: o or x?
o
Let o(b) = -b - 3. Let f(u) = -6*u - 15. Let z(d) = -2*f(d) + 11*o(d). Let w be z(7). Is w greater than 5?
False
Let g(p) = p**2. Let m = 2 + -4. Let t be g(m). Suppose -2*f + t = -0*f. Which is smaller: 1 or f?
1
Let w = -1.5 - -1.4. Does w = -0.5?
False
Let p = -59 + 58.9. Which is smaller: p or -0.4?
-0.4
Let u be (1 - (1 + -2))/(-25). Let f be 1 + 0 + (-15)/(-5). Suppose -f*b = -3*d - 0*b + 4, -5*b = 5*d + 5. Is d != u?
True
Suppose a - 6 = 4*a - w, -a = 4*w - 11. Let f be a - (-3 + 5) - -3. Suppose -11 + f = 4*x - 5*h, x - 2*h = -5. Is x less than -2?
False
Let t be 4/10 - 4/10. Let r = -93 - -94. Is t greater than r?
False
Let v = -0.94 - 0.06. Let l = 0.01 - 0.31. Is l greater than v?
True
Suppose -4*j - 270 = 2*j. Let n = 406/9 + j. Is -1 != n?
True
Let m = -7.2 - -7.48. Is 0.2 less than m?
True
Let s be (1/3)/(6/(-4)). Let t be 9/27*3/1. Is t bigger than s?
True
Let t(i) = -i + 3. Let d be t(5). Is d not equal to -2?
False
Let l(h) = 2*h + 1. Let s(m) = -2*m - 4. Let n be s(-2). Let q be l(n). Let i = -0.8 - -3.8. Are q and i non-equal?
True
Let i = -7 + 4. Suppose 0 = -5*b + 3*b + 2. Let v be ((-1)/(-3))/(b/i). Is -1 > v?
False
Let w = -323/2015 + 1/155. Suppose 2*i - 2 = 4*i. Is w at most i?
False
Suppose -k = 2, 4*r + 2*k - 12 = -0*k. Suppose -2*p + 2 = r. Which is smaller: p or -3?
-3
Let l be (-5)/(-10) + (-1)/((-72)/(-20)). Do l and 0.2 have the same value?
False
Let s = 483 + -489. Let d = 15 - 22. Is s greater than d?
True
Let r(u) = -u**3 - 3*u**2 - 10. Let a be r(-4). Suppose y = 5*h - 14, 5*y - h = 33 - 7. Is a greater than or equal to y?
True
Let o be 0 - 1/((-3)/(-60)). Let y be 58/8 - (-5)/o. Is 7 bigger than y?
False
Let h = 7.8 - 8. Which is bigger: h or -3?
h
Suppose -2*g - 87 = -g + 5*p, -4*g + 5*p - 223 = 0. Let n be g/(-108) - 3/6. Let w = -18 - -18. Which is smaller: n or w?
w
Let n(b) = -b + 1. Let p be n(1). Let h = 260 - 264. Which is smaller: h or p?
h
Suppose 3*i = -5*f - 21, 4*i = -2*f + f - 11. Is i greater than or equal to -1/2?
False
Let a = -4/5 - -7/15. Suppose -4*f + 9*f = -60. Let q be -4 - 2*f/8. Is q >= a?
False
Let u = -73 - -68. Which is smaller: -15/4 or u?
u
Suppose n = 2*n + 1. Suppose q - 2 = -0*q. Suppose -v + 0 - q = 0. Are n and v equal?
False
Let f(y) = y**3 + 4*y**2 + 9*y + 9. Let i be f(-2). Which is smaller: i or -1/34?
i
Let u be 1 - -3 - 18/6. Let a = 0.2 + -0.5. Let g = a - -0.3. Which is greater: u or g?
u
Let q be 1/((-3)/21)*-27. Let t = q + -2836/15. Is t at least 0?
False
Let i be (-2)/(3 - (3 + 6)). Does 0 = i?
False
Let f be 6/8 - 201/12. Let h be 4/6*(-2)/f. Which is smaller: 0 or h?
0
Suppose 6*x - 12 = 2*x + 2*w, w = -3*x + 4. Let i be 2/8 + x/(-4). Is 1 at most as big as i?
False
Let z be 1*3/2 + -1. Let r = -351/4 + 88. Do z and r have different values?
True
Suppose -10*u - 10 = -5*u. Let y(r) = 2 - 1 + r**2 + r**3 - r + 0*r**3. Let q be y(u). Is -2 greater than q?
False
Suppose m = 0, -s + m + 10 = 6*m. Suppose 0 = 3*t + 2*t + s. Is 7 > t?
True
Let k be ((-684)/133)/6 + 46/70. Suppose -2*c = 3*a, 5*a + 0*c = 2*c. Which is smaller: a or k?
k
Let y(z) = 23*z**2 + z. Let q be y(1). Let u be (-5)/(15/q) - -1. Is u less than -7?
False
Let p = 61 - 64. Which is bigger: -2 or p?
-2
Let s = -14 + 48. Let v be (-2)/s*(-1 + 0). Is -1 at least v?
False
Let n be (4/(-7))/((-8)/56). Are n and -3 equal?
False
Let i = -8 - -17. Let g = i - 9. Let p be (-2)/(-3)*(-3)/(-10). Which is bigger: g or p?
p
Suppose 5*f + 305 = -345. Let b = f - -86. Let a be b/90 + 3/5. Are a and 1/2 non-equal?
True
Let l = 793 + -747.95. Let s = l + -47. Let x = 0.05 - s. Which is greater: 0 or x?
x
Let i(v) = v**2 - 2*v - 4. Suppose 0 = -2*j + 4*j + 2. Let t be (j + 0)*8/(-2). Let n be i(t). Is 4 bigger than n?
False
Let m(k) = k**2 + 3*k - 4. Let o be m(-4). Suppose 4*i + 27 = -3*c, o = c - 3*i + 8 + 1. Which is smaller: c or -10?
-10
Suppose 3 = 3*b, -w + 0*b + 8 = 4*b. Which is greater: w or 3?
w
Let m(u) = -u - 4. Let d be m(6). Is -10 >= d?
True
Let l = -351/8 + 87/2. Is l at least 0?
False
Let j(d) = 64*d + 2. Let q be j(5). Let p = q + -4184/13. Is -1 <= p?
True
Let s = -86 - -432/5. Which is bigger: 0 or s?
s
Let s = -23.2 - -4.2. Let u = s - -22. Which is smaller: u or 0.2?
0.2
Let n(c) = -c**2 - 7*c - 11. Let x be n(-5). Are 3/7 and x non-equal?
True
Let p = -12 + 14. Which is smaller: 0.2 or p?
0.2
Let r = -5.8 + 6. Which is greater: r or -1/3?
r
Suppose 3*l = -3*g + 132, 0*l - 4*l + 4*g = -144. Let d be 5/20 + (-26)/l. Let j = 44 - 45. Which is smaller: j or d?
j
Let v = 0.5 - 0.2. Let l = 0 - -1. Which is smaller: v or l?
v
Suppose 0 = -5*l + 6 - 26. Let k be (-3080)/(-18) - l/6. Let o = -172 + k. Which is smaller: 1 or o?
o
Let x be 3/7*(-2 - -1). Let b(t) = -t**2 + 6*t + 4. Let y(m) = -2*m**2 + 12*m + 9. Let q(d) = -7*b(d) + 3*y(d). Let c be q(6). Do c and x have the same value?
False
Let u(t) = t - 2. Let x be u(1). Let i be (-1 + 0)*(x + -1). Is 2 equal to i?
True
Let v be (5 + -4)/(3 - -24). Which is greater: v or 1?
1
Suppose -5*w - 2*t = 0, w - 2 = 3*t + 15. Do w and 4/5 have the same value?
False
Let h = -15767/216 - -73. Is h greater than or equal to 0?
True
Let v = 427 + -428. Let j = 0.1 - 0.1. Is j > v?
True
Let v(h) = 6*h + 7. Let m(b) = 5*b + 6. Let p(o) = 7*m(o) - 6*v(o). Let r be p(-1). Is 1 smaller than r?
False
Let x(w) = -6*w**2 - w + 8. Let d(b) = -5*b**2 - b + 7. Let j(v) = -5*d(v) + 4*x(v). Let p be j(0). Let y be p/(-2 - 1) + 6. Is 7 at most as big as y?
True
Let k(x) = -2*x**3 + 0*x + 1 + 4*x**2 + x**3 - x - 3*x. Let p be k(3). Let z = -7 + 4. Is p greater than z?
True
Let l be (-197)/(-13) + 10/(-65). Is l < 16?
True
Suppose 4*v + 4*a = -28, v - a = -0*v + 3. Is v >= -3?
True
Let v = 683/3 - 225. Which is smaller: 3 or v?
v
Suppose -3*d + 5*z + 22 = 0, 6*d - 4*z = 5*d + 12. Suppose -2 = -d*t + 6. Suppose 5*x + 4*b - 1 = 0, -b - b - t = 0. Is -0.1 >= x?
False
Let d(x) = -x - 1. Let f(m) = -m**2 + 4*m - 1. Let z be f(4). Let g be d(z). Let r = 0 - g. Is 2/9 at least r?
True
Suppose 0 = 6*q - 10*q. Let g = 3025/21 + -144. Which is smaller: g or q?
q
Let d = 0.06 - -2.94. Let v(g) = g**3 - 7*g**2 - 4. Let j be v(7). Let w be j/2 + (-2)/(-2). Is d < w?
False
Suppose -21*h = -12 - 240. Is h not equal to 10?
True
Let i be 9/6 + (-142)/4. Let v = 12 + i. Is v smaller than -21?
True
Let g(v) = -2*v**3 - v**2 + 3*v + 1. Suppose 0 = t + 2. Let i be g(t). Suppose 4*x = -15 + i. Which is smaller: x or -3?
-3
Suppose -4*l - 19 = -283. Let j = -661/10 + l. Is 0 bigger than j?
True
Suppose -2*o - 5*u - 39 = 0, -5*o - 15 = -3*u + 5. Let v = 1 - 4. Which is greater: v or o?
v
Let o(j) = -2*j**3 + j**2. Let m be o(-1). Let i be ((-4)/(-6))/((-1)/3). Let a = m + i. Are a and 1/3 equal?
False
Let h(i) = 2*i + 17. Let w be h(-5). Which is bigger: 5 or w?
w
Suppose -5*r = 67 - 82. Which is smaller: r or 8?
r
Let w(f) = f + 6. Let r be w(-3). Suppose r*n - 16 = -2*m, 2*n = 3*m - 16 + 5. Suppose 0 = -3*a + n*a. Are a and -2/15 non-equal?
True
Let h = -35 - -39.1. Let r = -0.9 - h. Is r at most -0.2?
True
Let j(y) = -y + 5. Let g be j(6). Suppose -3*q - 8 = w, 3*q = -5*w + 6 + 2. Suppose 2*t = k + 6*t - 18, w*k + 13 = t. Is g greater than k?
True
Suppose 4*i - 28 = 3*a + a, -5*a = 4*i - 10. Suppose -i*k - 4 = 1. Which is smaller: k or 1?
k
Let r = 3.4 - 1.4. Is r smaller than -2/7?
False
Let l be 8/12 - 5/(-15). Which is bigger: 0.3 or l?
l
Let c