e g and m nonequal?
True
Let x be (-5)/(-2)*(-4)/10. Which is bigger: 1/8 or x?
1/8
Let h = -38 + 43.1. Let q = -5.04 - -0.04. Let y = q + h. Which is smaller: y or 1?
y
Let b be (-20)/6*18/15. Let y be (b/6)/((-2)/3). Let r = 3 - y. Is r bigger than 2?
False
Let r = 0 - -4. Which is bigger: r or 0?
r
Let k = -1 - 5. Let u = 10 + -3. Let s = k + u. Which is smaller: s or 2?
s
Suppose -4*y = 2*y - 48. Is y < 9?
True
Let a be (-4)/(-10) - (-4)/(-10). Let x be ((-12)/(-10))/2 + a. Let t be ((-1)/2)/(2/(-8)). Is x less than or equal to t?
True
Let w = 0.14 - 0.24. Which is smaller: w or -1/9?
-1/9
Suppose 0 = 3*c + a + 479, -a = 2*c - 4*c - 326. Is c not equal to -161?
False
Suppose 5*h + 10 = 5*w, -2*w + 6 = -5*h - 7. Is w greater than or equal to -5/16?
False
Let p = -33.98 + 35. Let r = 0.02 - p. Are -0.01 and r unequal?
True
Let i be (-6)/3*(-1 + -3). Let c be 19/(-21) + i/24. Is -1 at least as big as c?
False
Let u(s) = -s - 7. Let w = 0 - -2. Let x be ((-2)/w)/(1/7). Let v be u(x). Are 2 and v nonequal?
True
Let s = 502/225 + -28/25. Let h = 4/3 - s. Which is greater: h or 1?
1
Let c be ((-3)/(-4))/(18/(-132)). Which is smaller: -5 or c?
c
Let s = -4 - -7. Let n(y) = -y**3 + 4*y**2 - 5*y + 3. Let f be n(s). Is -2 <= f?
False
Suppose 0*v - 3*v + 6 = 0, -2*n - 3*v + 6 = 0. Which is greater: -1/10 or n?
n
Suppose -3*y + 7 = 2*b, 4*y - 1 = 2*b + 13. Suppose -2*z + 5 = 3*z. Which is bigger: y or z?
y
Suppose 0 = -32*s + 26*s + 540. Is 90 less than or equal to s?
True
Let t = -4.549 + 4.6. Are t and -0.1 non-equal?
True
Let a = -0.012 + 0.012. Which is smaller: a or -21?
-21
Suppose 0 = -4*h - 618 + 78. Let l be h/12 + (-3)/(-12). Which is greater: l or -12?
l
Let p = -16/95 - -55/304. Let f = 113/560 + p. Which is smaller: f or -1?
-1
Let s = 33/10 - 9/5. Suppose 11 = -o + 2*o + 2*z, 20 = 4*z. Which is greater: o or s?
s
Let n = 45 - 44.7. Which is smaller: 0.6 or n?
n
Let b be (2 + -2)/(-1) - -5. Let c(a) = -12 + b + 4*a - 5*a. Let l be c(-7). Is l less than 1/2?
True
Let r = 82 + -159/2. Let b(h) = h**2 - 6*h. Let p be b(5). Let u(f) = f**2 + 6*f + 7. Let w be u(p). Are w and r unequal?
True
Suppose -36*g = -39*g - 3. Is -2/17 less than or equal to g?
False
Suppose -3*d = -0*q + q + 3, -3*q = 5*d + 1. Suppose -1 = -o + q. Suppose -3*p + o*v + 6 = 0, 5*p = 2*v + 17 - 7. Is p at most as big as 1?
False
Let r = 37/93 + -2/31. Which is smaller: -2/7 or r?
-2/7
Let i = -0.364 + -0.036. Is -16 not equal to i?
True
Suppose -3*y + 2*u = -12 - 44, y + u = 22. Suppose -y = -3*v - 2*v. Let h = -5 + v. Is h <= -2/15?
True
Let g(s) = 2 + 3*s**2 - 6*s + 4*s + 0*s + 5*s. Let z be g(-1). Is 2 >= z?
True
Suppose g = -5*q + 33, -4*q - g + 9 = -6*g. Let c = q - 7. Let r be 1 + ((-40)/(-7))/(-4). Which is bigger: c or r?
r
Let l(t) = 9*t**2 - 2*t - 1. Suppose -1 = 5*k - a + 3, 4*k - 2*a + 2 = 0. Let g be l(k). Let z be (3/(-30))/((-4)/g). Is 0.1 smaller than z?
True
Let r = 2 - 7. Is -5 bigger than r?
False
Let z = -152/5 + 30. Is z >= -1?
True
Let u be 378/12 - (-1)/2. Is u >= 32?
True
Let r = 30 + -29. Which is smaller: 2 or r?
r
Let d be (0/(-2))/2 + 5. Suppose 0 = 3*p - d + 2. Let r be -3 + 2*(-6)/(-4). Which is greater: r or p?
p
Let u be (3 - 3/(-6))*-2. Which is greater: u or -9?
u
Suppose -p + 0*p + 2*x = 8, 5*x - 21 = 3*p. Let z be -2*p/(6 + -2). Suppose 3*a = 4*a + z. Is a less than 7?
True
Let a(m) = -m**2 - m. Let t(f) = -6*f**3 - 4*f**2 - 4*f + 1. Let l(q) = 4*a(q) - t(q). Let s be l(1). Let h = s - 3. Which is smaller: h or -0.1?
-0.1
Let b be ((-3)/(-4))/((-7)/14). Is b > 5/2?
False
Let g = 15 - 11. Suppose -4*j + 3*j - 5*h = -24, 4*j + g = 5*h. Let s be (-3 - -4)/(2/j). Is 4 != s?
True
Suppose -2*h - 5*d = -0*h - 4, 0 = d. Let i(z) = -z + 2. Let f be i(h). Let l = 2 + -1. Which is greater: f or l?
l
Let i = -4.5 + 1.5. Is i less than -3/2?
True
Let c be (-3)/6*0/(-1). Suppose -5*q - 4*t + 9*t - 35 = c, -2*t = -q - 12. Let d = -2/3 - -1/6. Which is smaller: q or d?
q
Let v = 288 - 10654/37. Let p = -61/444 + v. Let f(b) = b - 6. Let w be f(5). Which is bigger: w or p?
p
Let m be (9/15)/((-6)/(-30)). Suppose -3*z - 5 = 4. Let d = z + m. Which is smaller: d or 4/5?
d
Let a be 0/(-3 + 0 - -1). Let z be ((-1)/1)/(a - 1). Which is smaller: 5/4 or z?
z
Suppose 2*q = 2 + 4. Suppose 4*p = 2*l - 6, -5*l + p + 6 = -0*p. Is l < q?
True
Let l be ((-2)/8)/((-75)/(-72)). Is l greater than or equal to -1?
True
Let p(t) = 3*t**2 - 6*t. Let v be p(7). Let y be (-110)/v + (-2)/7. Are 0 and y unequal?
True
Let u = 1.81 - 0.21. Let t = 1.7 - u. Which is bigger: t or 1?
1
Let m(x) = -2*x + 2*x - x**3 + 6*x + 5*x**2. Let f be m(6). Which is greater: f or 2/33?
2/33
Let b(v) = -v - 9. Suppose 0 = -2*i - 2*i + 4. Let c be (1 - i)/2 - 8. Let g be b(c). Which is bigger: g or 1/4?
1/4
Let v = -56.4 - -56. Is -1/3 at least v?
True
Let v = 5.89 - -0.11. Let b = -6.4 + v. Let k = 2.4 + b. Do k and 0.1 have different values?
True
Let h be (-11687)/(-78) + (-1)/2. Let a = -197 - -348. Let u = h - a. Which is greater: -1 or u?
-1
Let x(z) = z**3 - 4*z**2 + 3*z + 4. Let g be x(3). Suppose 6 = -7*y + 4*y - 4*o, -2*o = 6. Suppose -g*p = -2*p - y. Are 1/8 and p unequal?
True
Let d = 16.9 - 17. Which is bigger: d or -7/6?
d
Suppose 2*b = 5*f - 8, 3*f + 2*f - 4 = b. Let x = 4 + b. Is 0 at least as big as x?
True
Let s be 3*5/2*2. Suppose t + 3*a - s = 0, -43 + 18 = 3*t - 5*a. Is t bigger than 2?
False
Let v be (-9)/(-6)*44/(-6). Let z = v - -11. Is z at most 1/4?
True
Suppose 3*g - 4*g + 4*q = -17, -25 = -5*g + 5*q. Let r = -0.5 + -0.5. Which is smaller: g or r?
r
Suppose 0 = 3*k - 4*k - 1. Is -2 at least as big as k?
False
Let i = -5 + 2. Is i less than or equal to 0.1?
True
Let n be (0 - (1 - -1))/(-1). Let z(m) = m + 1. Let i be z(-4). Let p = i + n. Are p and -1 equal?
True
Let q(y) = -2*y - 41. Let z be q(-16). Which is smaller: z or -8?
z
Let d(f) = 5*f + 12. Let y be d(3). Which is bigger: y or 26?
y
Let o be 9 - (0 + 0) - -1. Suppose -5*m = 15, -2*y + 0*y = -2*m - o. Let v be 4/6 - (-20)/(-21). Which is greater: y or v?
y
Suppose -12 = 3*p, 7*k + 8 = 3*k - 5*p. Is -3 less than or equal to k?
True
Let w = 16/89 + 1006/1335. Let l = 11/60 - w. Is -1 >= l?
False
Let s = 42 - 41. Is s <= 2/13?
False
Let w = -0.01 + 0.06. Let r = w - -0.55. Let b = -0.4 + r. Is -0.1 <= b?
True
Let s be (-3)/(-18) - (-62)/(-12). Do s and -4 have the same value?
False
Let y = 0 + 0. Suppose 2*f = -y*f. Is f at least -3/4?
True
Let p = -6 - -7. Let c = p - 0. Which is smaller: 2/25 or c?
2/25
Let c(w) = 3*w - 7. Let q be c(6). Let k be 9/(-11) + (-2)/q. Which is bigger: -6/7 or k?
-6/7
Suppose 5*m - 3*n = 13, -5*n = -3*m - 0 + 11. Let r = 4 - 4. Suppose r = 5*y + m*q + 6, 0*q + q = -y. Are y and -2 equal?
True
Suppose 6*z = 3*z + 2*k + 34, 0 = 3*z + 2*k - 14. Let b be (-570)/z - (-6)/(-8). Let n be b/(-154) - 8/28. Which is bigger: n or -1?
n
Suppose -8 - 8 = 4*v. Is -11 <= v?
True
Let y be (-633)/9 + 2 + -5. Let j = 3298/45 + y. Which is greater: 0 or j?
0
Suppose 71 = 2*q + 11. Let d be 8*(q/(-4))/(-5). Suppose -i = 2*i - d. Is 4 greater than i?
False
Suppose -2*z = -3*z. Let a(d) = d**3 - d. Let i be a(z). Is i bigger than 1?
False
Suppose -1 = r - 4*h - 0, -4*r - h + 13 = 0. Suppose 32 = -5*o + 4*n, -2*o - 12 = -2*n - 0*n. Let l be 3 - 7*(-4)/o. Is l at most as big as r?
True
Let p(x) = x**2 - 5*x - 5. Let s be p(-2). Let w(h) = 3*h**2 + 3*h. Let u be w(-3). Suppose -4*j - 9 = -i, j - u = -2*i - 0*j. Is i at least as big as s?
True
Let i = -64 - -63. Is i less than -0.019?
True
Let q = -2.9 - -3. Let t = 0.9 + q. Let o = t + -1. Are 0 and o non-equal?
False
Let r(y) be the second derivative of -y**4/12 - 5*y**3/2 - 6*y**2 - 4*y. Let c be r(-14). Let q be 2/3 + 10/(-6). Is c equal to q?
False
Let q = -32 - -29. Which is bigger: q or -5?
q
Let q be (-45)/108 + 2/(-6). Is -2 less than q?
True
Let k be (-1 - (4 - 18))/1. Is k less than or equal to 13?
True
Suppose -5*z = -3*l - 23, 2*z = -3*z - 3*l + 47. Is z >= 11?
False
Let k = 0.2 - -0.8. Let z = -63.7 + 66.73. Let q = z - 0.03. Is q at least as big as k?
True
Suppose 56 = -x - 3*x. Let d be 4/x - 24/14. Let i be -5 + (6 - (-6)/(-2)). Does d = i?
True
Let s(d) = 4*d + 28. Let z be s(-7). Which is smaller: 16/11 or z?
z
Let g(i) = 4*i**2 - 7*i + 8