 0 non-equal?
True
Let m = -2785 + 2784.9. Let t = 7.93 + 0.07. Let w = t + -1. Which is greater: w or m?
w
Let i = 218 - 214. Which is greater: 34 or i?
34
Let r = 1408 + -1408. Is r > 2/49?
False
Let f be -22*((-4)/(-8))/((-1)/(-1)). Let a be (-15)/((-45)/(-2))*21/f. Which is smaller: 2 or a?
a
Suppose 4*c - 6*c + 8 = 0. Suppose 2*u + 0*v - 3*v = 11, c*u - 25 = 3*v. Is 7 greater than or equal to u?
True
Suppose -2*r = 51 - 49. Is r at least -53?
True
Let g = 51/598 - 106319/12558. Is -8 bigger than g?
True
Suppose 0 = 4*g + 20, -4*x + 3*g + 36 = -x. Let d(q) = -q**2 + 20*q + 100. Let v be d(24). Suppose -3 = x*j - v*j. Is j != 2/19?
True
Let w(m) be the third derivative of m**6/30 - m**5/60 - m**4/24 + m**3/6 + 5*m**2. Let s be w(1). Suppose -2*p + 3*p = -s. Is p at least as big as -3?
True
Let d = 5.829 - 3.829. Let z = 13 - 13.18. Let b = 0.88 + z. Is d greater than b?
True
Let m(y) = -6*y**3 - 42*y**2 - y + 6. Let x be m(-6). Which is greater: x or -205?
x
Suppose 2*x + 6*s = 11*s - 29, -2*x = s + 11. Which is smaller: -10 or x?
-10
Suppose -2*c + 1 = -p - 0, 5*p = 5. Let m = -485/42 + 71/6. Which is smaller: c or m?
m
Let x = -1821 - -1744. Do x and -77 have different values?
False
Let s = -0.07 + 1.17. Let u = s + 3.9. Is 2/7 at most u?
True
Let n = -12 + 30. Let y = n - 13. Let z = y + -4.5. Which is smaller: -0.1 or z?
-0.1
Let s be 108/702 + 119/(-13). Is 18 bigger than s?
True
Let w(v) be the first derivative of v**3/3 + 4*v**2 + 8*v + 2. Let x be w(-7). Which is smaller: x or -2?
-2
Let q = -577 - -12109/21. Which is smaller: q or 0?
q
Suppose 0 + 2 = f. Let u = 6641/8 - 829. Which is greater: f or u?
f
Let t(g) = -g**3 + 9*g**2 + 23*g + 4. Let z be t(11). Let j be 2/8 + 4/(-1 - z). Let d = -12017/27 - -445. Is d > j?
False
Let z = -926 - -2609/3. Let u = -57 - z. Which is smaller: u or -2?
-2
Let p be (-7)/(-3)*(-1)/((-20)/4404). Let s = p - 511. Which is smaller: 3 or s?
s
Let t = -16.72 + 16.42. Do -109 and t have different values?
True
Suppose 0 = -4*i - 1 - 3. Suppose -w + 5*t = -24, 2*w - 6 = -4*t - 14. Suppose b = s, -w*s + 2 = s - 4*b. Is i != s?
True
Let w = -19 + 9.9. Let f = w - -9. Which is bigger: 0.9 or f?
0.9
Let r be (4/(56/(-21)))/((-3)/(-8)). Let b(u) = u**2 - 5*u + 4. Let q be b(5). Let o(y) = -y**2 + 4*y - 1. Let k be o(q). Is r less than k?
True
Let w = 3 + 2. Suppose -2*k + 7 - 3 = 2*i, -w = 5*k + 2*i. Which is smaller: k or -4?
-4
Let d(x) be the second derivative of -x**3/3 - 2*x**2 - 2*x. Let y be d(0). Suppose t + 0*t + 2 = 0. Is y at least as big as t?
False
Suppose -5*b = -2*b + 18. Let j be (3/b)/((-2)/(-12)). Let c(h) = h**3 - 6*h**2 + 3*h + 5. Let u be c(5). Do j and u have different values?
True
Let r be (-2 - (-2554)/8) + 28/(-112). Is r != 317?
False
Let q = 1175.4 - 1118.69. Let d = q - 57. Which is smaller: d or 0?
d
Suppose 12*i - 7*i = 0. Suppose y + 2*y - 175 = -4*k, -k - y + 45 = 0. Let p be (-10)/k + 22/(-40). Is i at most p?
False
Let w be 3/(-9) - 1*(-1)/3. Is 5/93 at least as big as w?
True
Let p be 33/22*(-4)/22. Let i = 7 - 6. Suppose 6*h = -5 - i. Does p = h?
False
Let h(q) = q**2. Let k be h(-2). Let a be (-480)/(-56) + 2/((-42)/(-9)). Let o(y) = y**3 - 12*y**2 + 27*y - 1. Let z be o(a). Are z and k nonequal?
True
Let d = 16.8 - 16. Let g = d + 0.2. Is g <= 1?
True
Let n be (6/8)/((-1)/4). Let m be 2/3 + (-13)/n. Let i = m - 5. Which is greater: -6/11 or i?
i
Let d = -123403 + 2347300/19. Let u = d - 139. Which is smaller: u or 0?
0
Let a(o) be the second derivative of -o**4/12 + 11*o**3/6 - 5*o**2/2 - 2*o. Let n be a(10). Suppose -3*c + 6 = 2*q, -q - n*c + 10 = 2*q. Are 3/7 and q nonequal?
True
Let p be (5/370)/(1/(-4)). Let i = 29 + -24. Suppose -2*s - 9 = -i*s, -h - 6 = -2*s. Which is smaller: p or h?
p
Suppose 0 = -13*s - 68 + 237. Are -7 and s non-equal?
True
Let n be (-2)/4 + (-583)/(-22). Let z be 6/10*n/(-1209). Let b = z + -771/310. Does b = -2?
False
Let t = 1895/301 + -3/301. Let c be 5 - (0 - (2 + -1)). Does c = t?
False
Let s = 1.462 + -1.35. Is 1/4 at least as big as s?
True
Let t = 998 - 958.1. Let u = t - 40. Do 34/3 and u have the same value?
False
Let l = -0.86 - -0.96. Let m = -66 - -141. Which is smaller: m or l?
l
Let d(j) = -j**3 + 10*j**2 + 11*j - 4. Let n be d(11). Which is smaller: -8/3 or n?
n
Let t(i) = i**3 - 20*i**2 + 19*i - 24. Let m be t(12). Does -949 = m?
False
Let y(c) = c - 3. Let v be y(15). Let a = v - 19. Is a != -5?
True
Let z(a) = 4*a**2 - 10*a - 4. Let h be z(4). Suppose -2*t - 44 + h = 0. Which is greater: -11 or t?
-11
Let l = -396 + 1978/5. Which is greater: l or -1.4?
l
Let u = 491 + -492. Let k = -520494075/406 + 1282004. Let q = k - -26/29. Is u at most as big as q?
True
Suppose 5*l - 6 = -1, 3*l + 3 = -2*r. Let o be (3/(-9))/(r/18). Suppose -16 = o*b + 6. Is -11 at most as big as b?
True
Let l = 0 + -0.1. Suppose 0*o = -2*n - o - 7, 0 = o - 3. Let q = n - -33. Is l less than or equal to q?
True
Let r(o) = -8*o + 98. Let q be r(8). Which is smaller: q or 30?
30
Let i(g) be the third derivative of -g**5/60 - 5*g**4/24 - g**3/3 - g**2. Let b be i(-2). Let z(v) = -4*v**2 + 8*v + 257. Let x be z(9). Is b < x?
True
Let s = -4.1 + 27.1. Let c = -22.8 + s. Let g = 0.11 - 0.11. Which is smaller: c or g?
g
Let l be (-8)/(-14)*(-952)/(-510). Is l equal to 1?
False
Let i(b) = -b**3 + 2*b**2 + 4 - 6 + 0*b - 2*b. Let m be i(3). Which is smaller: -16 or m?
m
Suppose 61*c = 58*c - 240. Let k = -79 - c. Is 4/17 at least as big as k?
False
Let s = -75 - -78. Suppose -2 = -2*m, -m = u - 3*m + s. Which is smaller: u or -24/19?
-24/19
Suppose 2*s + 24 = 3*m - 30, 2*m - 36 = -5*s. Suppose m = 2*l + 6. Let d be 105/12 + 1/4. Which is smaller: l or d?
l
Let u = -0.0429 + -5.0271. Let o = u - -0.07. Which is smaller: o or 1?
o
Suppose 0*h - h - 5 = -l, -2*h = 4. Suppose -l = 2*j - 13. Suppose 2*d + 0*d - 14 = -4*c, -25 = -5*c + j*d. Which is bigger: 7/2 or c?
c
Let k = -85 - -97. Which is smaller: k or -0.1?
-0.1
Let l be 91/26 - 2/(-4). Suppose l*f + f - 30 = 0. Is 3 > f?
False
Let w be ((-4)/2)/((-36)/(-288)). Is w greater than -23?
True
Let r(j) = -3*j**3 - 2*j**2 - 9*j - 8. Let x = 74 - 77. Let p be r(x). Is 82 at least p?
True
Let h = 3453 + -24261/7. Which is smaller: -12 or h?
h
Let s be (-21)/(-49) + 15/14. Let v be (10/(-4))/((-8)/(-16)). Which is bigger: v or s?
s
Let i(t) = -t**2 - 18*t - 6. Let o be i(-15). Suppose o = 4*w - 65. Let k = 18 - w. Is k bigger than -7?
False
Let c(v) = 5*v**3 + v**2 + v. Let x be c(1). Suppose f - 2*f - 4*y = 14, f - 3*y + x = 0. Which is smaller: f or -19/2?
f
Suppose b + 491 = -197. Let p be 1*2*b/(-32). Is p != 43?
False
Let l = 171.7 - 181. Let r = l + 1.3. Which is bigger: r or 2?
2
Let y = 64.8 + -64.9. Let v be (10 - 1)*(-2)/3. Is y greater than v?
True
Let r be 2 + ((-1353)/(-18) - 1). Let v = 76 - r. Suppose 5*a = 2*a - 3. Which is smaller: v or a?
a
Let m = 0.46 + 11.02. Let z = m + -12. Let w = -0.18 + z. Is 0 bigger than w?
True
Let b be (1*-2 + 1)*(11 - 13). Let u(p) be the third derivative of p**6/120 - p**5/30 + p**4/6 - p**3/2 + p**2. Let q be u(b). Are 5 and q unequal?
False
Suppose 4*c = -7*c - 11. Which is smaller: -2/199 or c?
c
Let v = 91 - 86. Which is smaller: v or -7?
-7
Let q = 26.4 + -29. Let c = q + 2.6. Which is smaller: c or 14?
c
Let c = -11 + 34. Suppose 26*q - c*q + 27 = 0. Which is smaller: q or -10?
-10
Let y = -29.09 - -0.09. Let w = 28 + y. Which is greater: 1.4 or w?
1.4
Let o(i) = i - 1. Let h be o(5). Let p = h + -21/5. Is p less than or equal to 0.1?
True
Suppose 3*z - 15 = -5*i, 5*i - 5*z - 3 - 12 = 0. Suppose 4*x = -b + 3, -i = -3*x - 5*b + 12. Suppose x*o - 8 = -4*o. Which is bigger: 0.1 or o?
o
Let b(y) = 2*y**2 + 2*y + 4. Let r be b(-3). Suppose -4*u - f = -r, u + 0*f = -4*f - 11. Let g be 7*(2/u)/(-2). Which is greater: g or 0?
0
Let q = -34 - -35. Let k = 2.52 - 0.82. Which is greater: q or k?
k
Let i = 0.5 + 1.5. Let s = -1.8 + i. Which is bigger: -0.2 or s?
s
Let c(p) = -2*p - 30. Let d be c(-6). Is d < -96/5?
False
Let l = 1549/64 + 26693/448. Let z = l - 167/2. Is z < 1?
True
Suppose 8*y - 7*y - 5 = 0, -807 = 4*n - 3*y. Is -198 bigger than n?
False
Let s = 985 + -986. Is 7/127 at most s?
False
Suppose -3*a - 123 = 2*l, -l + 113*a - 44 = 111*a. Is -12 at most as big 