d y nonequal?
True
Let u = 0.01 + -9.01. Which is bigger: u or -0.2?
-0.2
Let k be -2 + -1 + (-8)/(-4). Is -5/4 at least k?
False
Let k = -653 + 649.857. Let z = -0.043 - k. Let r = 3 - z. Do r and -3 have different values?
True
Let z = -32 - -20. Let m be (-129)/(-15) + z/(-30). Which is greater: 8 or m?
m
Let g be (0/2)/((-6)/3). Let i = 12915/13 - 993. Is g > i?
False
Suppose -6*q + q - 2*n - 30 = 0, -q - 13 = -n. Is -7 greater than q?
True
Let n = 369 - 1839/5. Let i = n - 4/5. Is i greater than or equal to -1?
True
Let x be 2/(-3) - 51/(-9). Suppose x*v - 10 = -5*d, -3*d + 6 = 3*v + 2*v. Are 5 and v nonequal?
True
Suppose 2*c = -2*c + 372. Let x = 17 - c. Let m = 685/9 + x. Do m and 1/2 have the same value?
False
Suppose 0 = 4*t - 5*b - 1, t - 3*b - 1 = 1. Which is bigger: t or 2/35?
2/35
Let r be 6 + -3 + 0 + -6. Let h(c) = -c**3 - 3*c**2 - c - 3. Let b be h(r). Is 2/3 greater than b?
True
Let d = -2 + 0. Let o = 0 - d. Let r(x) = x**3 + 4*x**2 - 7. Let w be r(-3). Is o less than w?
False
Let c = 6.91 + 0.09. Let q = 1.9 - 0.9. Is c <= q?
False
Let y(l) = 7*l. Let k be y(-2). Is k at most -15?
False
Let i be -2*3/(-18)*-3. Let w be 3/(i/4 + 1). Let d = -5/2 + w. Is d smaller than 2?
True
Let o be ((-278)/(-24))/((-1)/(-4)). Let n = 46 - o. Suppose -a = -0 - 1. Does a = n?
False
Let l(u) = u**3 + 17*u**2 - 18*u - 1. Let g be l(-18). Let t be (-4)/(-10) + (-14)/10. Is g bigger than t?
False
Let p = 10/161 + -1297/2737. Let w = p + 99/323. Which is smaller: 1 or w?
w
Let m(v) = 3*v**2 - v - 1. Let c be m(-1). Suppose 4 = -c*n + 1. Let w be n/(15/(-9) - -2). Is w at most -2?
True
Let i(f) = 3*f**3. Let v(y) = y**2 - 4*y - 6. Let p be v(5). Let h be i(p). Let k = 1 + h. Does k = -1?
False
Let c = 1001782 - 1511822. Let f = c - -210646652/413. Let h = -2/59 + f. Which is greater: h or 1?
1
Let d = -12.2 + 8.2. Is -4 >= d?
True
Suppose 3*x + 2*d - 24 = 0, 2*x + 2*d = -0*x + 18. Let p(u) = -2*u + 5. Let t be p(x). Let h = 4 + t. Is -2 != h?
True
Let x = -9 - -8. Let y(m) = m - 2. Let j be y(0). Which is bigger: j or x?
x
Suppose 0 = -2*f - f + 3. Let d be 62/(-148) - 4/(-8). Let c = d + -49/148. Which is greater: c or f?
f
Let a = -8 + 9. Let h = -0.15 + -0.15. Is h at most as big as a?
True
Let i = -2.14 + 0.14. Let d = -0.7 + -0.3. Let b = d - i. Is 0.1 < b?
True
Suppose -5*f + 10 + 10 = 0. Suppose -f*k = 3*z - 16, -7 = k - 5*z + 12. Let d = -2/159 + -151/636. Is k less than d?
False
Let i be 2/8 + (-1)/36. Let b = 65 - 66. Is i bigger than b?
True
Suppose 6*k + s - 115 = k, -69 = -3*k + 4*s. Which is smaller: k or 22?
22
Suppose 3*m - 35 = 5*c, 5*c - 2*m = -0*m - 40. Let f be (1/(-5))/((-32)/c). Which is bigger: f or -1?
f
Let b = -14 + 22. Suppose -u - b = -3*u. Let a be (-150)/(-264) - 3/u. Is -2/7 at least a?
False
Let y be 0 - (-2)/(-2) - 0. Let r(h) = h**3 + 15*h**2 - h - 19. Let t be r(-15). Let d = t - y. Which is bigger: d or -4?
d
Let r(p) = p - 9. Let k be r(14). Let t be (-2 + k/2)*0. Does t = 0?
True
Let l = -4 - -18/5. Let o(h) = h**2 + h - 4. Let c be o(2). Which is smaller: l or c?
l
Let k = -12 + 16. Suppose -8*l = -k*l. Do l and -1/2 have the same value?
False
Suppose 20 = -2*m + 14. Let i be 3/(-3)*8 + 2. Let c(a) = 2*a + 8. Let b be c(i). Do m and b have the same value?
False
Suppose m = 5*m + 8. Let u be 3 - m/(0 - 1). Let o = 9/2 - 77/18. Which is greater: u or o?
u
Let h be (-3*4/12)/(-1). Which is smaller: 1/10 or h?
1/10
Let v = 3/20 + 1/20. Is 1 less than or equal to v?
False
Let z = 2908 + -343147/118. Which is greater: 1 or z?
1
Let w = -155/2 + 79. Let o(t) = -t**3 + 5*t**2 + 8*t - 9. Suppose 4*g + 18 = 7*g. Let y be o(g). Which is bigger: y or w?
y
Let f = 10.15 - 0.15. Let n = -11 + f. Does -2 = n?
False
Let c be (5/10)/((-3)/(-36)*-2). Let p = -7 + 10. Let f = -5 + p. Which is greater: c or f?
f
Let o be (1 - 3) + (-7)/(-3). Let p be 2 - (-3 - (-55)/10). Is p at most o?
True
Let i be -5*(-5)/(50/12). Suppose 4*k = 19 + 1. Is k >= i?
False
Let z = -63/100 + 3/4. Is -1 at most z?
True
Suppose 3*p + 6 = 0, 47 = x + 3*p - 8. Which is smaller: x or 2?
2
Let q = -65399/6 + 10925. Let z = -68/3 + q. Which is smaller: z or 3?
z
Let n be ((-2)/(-8))/(1/4). Suppose 2*j - 1 = n. Is j at most as big as -1/3?
False
Let o = 26 + -28. Which is greater: o or -1?
-1
Suppose 0 = b + b + 2. Let n = b + 4. Which is greater: 1/2 or n?
n
Suppose -4*o + 2*o = 0. Let t be (0/(-8))/(1 + o). Let x be (3/(30/(-8)))/(-2). Which is bigger: x or t?
x
Suppose 4*k - k - 27 = 0. Let a be (30/k - 1)*3. Suppose 4*i + 4*q + 1 = -a, -4*i + 5*q = -19. Which is smaller: i or -4?
-4
Let u = 7.15 + -0.15. Let h = -7.06 + u. Let r = -3.06 - h. Which is smaller: -0.1 or r?
r
Let l = -95/6 - -33/2. Which is smaller: l or 0?
0
Let b = 0.3 - -0.7. Let q be 2/4 - 27/30. Let x = 0 + q. Is b < x?
False
Let b be (-2)/2*-1*3. Let a be (3 - b)*(-2)/4. Let f = 0 + 1. Which is smaller: f or a?
a
Let w be (-4)/(-6) + (-8)/(-6). Suppose -3*f - 2*q + 235 = 0, 5*f + w*q - 210 - 183 = 0. Let n = 235/3 - f. Are n and 0 unequal?
True
Let d = 3 - 2. Let p be 29/(-10)*48/(-378). Let t = p + 2/63. Which is smaller: t or d?
t
Suppose -6 = -3*l + 5*l. Let w be (3*-3)/l + 0. Do w and 0.2 have different values?
True
Let c be (-6)/(-4)*8/28. Suppose -8*j + 5*j = 0. Is c bigger than j?
True
Let r be (4/(-10))/(12/(-10)). Let l(m) = m - 12. Let v be l(0). Let o be 1*(-2 + v/(-7)). Which is bigger: r or o?
r
Let v(d) be the third derivative of -d**5/60 + 4*d**3/3 - 5*d**2. Let m be v(-5). Is m bigger than -16?
False
Let o = -34/35 + 4/7. Which is greater: o or -1?
o
Suppose -5*f + f = -2*c + 20, -4*f - 10 = -c. Let g = c + -10. Let r be (-15)/(-12)*1 + g. Which is smaller: 2 or r?
r
Let s be (-1 - 0)*(5 + 2). Which is greater: -6 or s?
-6
Let q = 112 - 103. Are q and 66/7 equal?
False
Let n(d) = -d + 22. Let x be n(12). Suppose -h + 2*h = 9. Which is smaller: x or h?
h
Suppose -8 = 3*i + 10. Let m be (i - 13)/((-2)/(-1)). Is m greater than or equal to -11?
True
Let b = -8 + 4. Let y = -18 - -14.1. Let q = y - b. Is q != 1/2?
True
Let v = -2 + 3. Let l = 0.27 + -2.17. Let a = l + 2. Is a >= v?
False
Let x = -8.89 - -9. Let p = x - 0.31. Do p and 6 have the same value?
False
Let g be (-8)/(-20) - (-54)/15. Suppose b - 5 = -g*b. Which is smaller: -1 or b?
-1
Let g = -0.46 - -0.66. Is -0.4 bigger than g?
False
Let p(y) = y + y - y - 2*y + 10. Let o be p(10). Is o at most as big as -2?
False
Let b = 2 + -11. Is 5 > b?
True
Let b = -2 + 3. Suppose -4*f + 7*f = 0. Suppose f = 2*o - 7*o - 10. Which is greater: o or b?
b
Let o = -0.14 - -6.14. Let i = o + -6.4. Let s = -0.2 - i. Which is greater: 2 or s?
2
Let d = 1.98 - -0.02. Suppose 4*t - f = 7*t - 7, -4*f + 18 = 2*t. Which is greater: t or d?
d
Let k be 4 + (2 - 5) + 0. Which is greater: 3/4 or k?
k
Let c(a) = a**2 + 7*a + 6. Let m be c(-5). Let v = m - -5. Does -2 = v?
False
Let u = -23 - -17. Suppose a = 5*a + 24. Is a < u?
False
Let z = 2.1 - 2.1. Which is bigger: z or 16?
16
Let o(m) = -m**3 - 3*m**2 - 2*m. Let q be o(-2). Is 3/4 >= q?
True
Let x = 2 - 6. Let u = -7 - x. Let o = 4 + u. Is 1 greater than or equal to o?
True
Let m(b) = -b**3 + 2*b**2 - b. Let t be m(6). Let f be 2/t*173 - -2. Let r = 2/75 - f. Is 0 > r?
False
Let m = -11 + 13. Suppose -16 = r + 3*i, -m*r - i - 10 = -3. Is r at most -5?
False
Suppose 4 = m, u - 3*m + 16 = -3*u. Suppose 4*l = 4, 0 = -2*g - 3*l - 39 - 6. Let w be ((-1)/(-22))/(6/g). Which is bigger: u or w?
w
Let m(s) = -s - 2. Let j be m(4). Let b be (j/4)/((-6)/16). Is b bigger than 4?
False
Let m = 25/12 + -7/4. Suppose 9*l = 4*l. Is l greater than or equal to m?
False
Let h = 8.64 + -0.14. Is 0 less than h?
True
Suppose 2*l + 22 = -3*k + 5*k, -38 = -3*k + 4*l. Suppose -3*f - 3 = -k*f. Let n(x) = -x + 1. Let p be n(f). Which is smaller: -1/3 or p?
-1/3
Let g(h) = h**3 - 6*h**2 + h - 2. Let j be g(5). Let s be 1/(j/26) + 1. Is s bigger than -3/4?
True
Let f(m) = m + 15. Let q be f(0). Let p be 2/5 - 11/q. Let r = -0.085 - 0.015. Is r smaller than p?
False
Let k = 69 + -70. Do k and -2/45 have the same value?
False
Let n = 0.3 - 3.3. Let b = -3.1 - n. Let c = 1 + -2. Which is bigger: c or b?
b
Let g = -0.6 + 0.5. Let z = -2 - 2. Is z at least g?
False
Suppose -55*l - 5 = -50*l. Let s be ((-1)/3)/(2/