Let a be (-6)/(-15) + 33/q. Which is bigger: a or -1?
a
Suppose 5*j - n - 20 = 0, 1 = -j + 3*n + 19. Let a be (-22)/3*(-2)/(-4). Let w = j + a. Which is smaller: -1 or w?
-1
Let c = -2 - -2.1. Let r = 0.4 - 0.4. Let b = r + c. Which is greater: 0 or b?
b
Let b = -2.5 - -2.6. Is b bigger than -0.4?
True
Suppose 5 = -3*w + w + 5*t, -8 = 2*w - 2*t. Is w bigger than -5?
False
Let q(c) = c**2 + 3*c + 2. Let o be q(3). Let b = 17 - o. Is b != -9/4?
True
Let a be (-38)/(-72) - 2/(-9). Suppose j - 4*j = 0. Which is smaller: a or j?
j
Suppose 0*o + 1 = o. Let z be (-13)/6 + o/(-6). Which is smaller: z or -1?
z
Let c(u) be the first derivative of -u**3/3 - u**2 + 2*u - 1. Let h be c(-3). Is h greater than -3?
True
Let y = 5.7 + -5.9. Is y less than -2/7?
False
Suppose 0 = 2*u - 3*u. Suppose r = -u*r. Is 2/25 > r?
True
Let o = -155 - -154. Is 14.5 greater than or equal to o?
True
Let o = 1 + -4. Let a be 99/55*(-5)/6. Are o and a equal?
False
Let z = 7 + -3. Suppose -2*c + z*c = 6. Suppose c*y - 2 - 7 = 0. Which is bigger: 0 or y?
y
Suppose -3*r + 4*r - 2 = 0. Suppose 3*w + 3 = 4*w. Let z = -1 + w. Is r greater than or equal to z?
True
Let p be ((-28)/6)/(28/(-42)). Is p greater than 3?
True
Let a be 0 - (44/12 + -4). Which is smaller: a or 17?
a
Let x = -9.8 - -10. Is x greater than or equal to -3/10?
True
Let l be (-3)/9 - 10/6. Let c = l - 0. Let g be 2*(c + 23/11). Is 1 at least g?
True
Let k = -8 + 12. Let s be 2/k - (-27)/6. Let m = s + -3. Which is bigger: m or 3?
3
Let z = -279 + 105. Let m = z - -867/5. Is m at least 1?
False
Let a be -13 + 14 - (-5 + 2). Does 2 = a?
False
Let d be (-4)/(-6) - (-8)/(-12). Let h be d + (-3 - (-36)/10). Is 0 <= h?
True
Let a(n) = -n**2 - 4*n - 11. Let u be a(-7). Are u and -32 non-equal?
False
Let s be 4/(-22) - 94/(-33). Let n = s + -43/15. Which is smaller: 1 or n?
n
Let d(i) = 2*i - 4. Let b be d(8). Suppose -s = 2*s + b. Is -4 at most s?
True
Let r be 5/(-171)*8/(-20). Is r != -1?
True
Suppose -5*q + 4*z = -1, 5*q + 1 = 2*q + 4*z. Let i(g) = -g**2 - 3*g + 4. Let x be i(-4). Is x greater than q?
False
Let k be 21/(-27) - -1 - (-679)/63. Which is smaller: k or 1?
1
Suppose -f - 2*f = 0. Let a = 1/43 + -277/817. Which is smaller: a or f?
a
Let q be 232/330 - (-14)/(-21). Let r be ((-3)/(-2) + -1)*2. Which is greater: r or q?
r
Suppose -11 = -k - 0*k. Let p = 7 - k. Let b be (-3)/5 - (-34)/(-10). Is b at least p?
True
Let m = -46 - -45. Are 54 and m equal?
False
Let l = -35/3 - -11. Let r = 22 + -9. Let b = 13 - r. Which is smaller: l or b?
l
Let o be (-2)/6 + ((-696)/(-198) - 5). Is o >= 2/3?
False
Suppose 7*c - c + 12 = 0. Does c = -5/8?
False
Let j = -13 + 6. Let c be (-1 + 2)*j/(-7). Do 1 and c have different values?
False
Suppose 0*i - 4*b = 2*i - 66, 3*b - 33 = -i. Suppose -4*j = -31 - i. Let d be j/(-10) + (-20)/50. Are 0 and d unequal?
True
Let g(a) = a**3 + 2*a**2 - a + 2. Let w be g(0). Which is bigger: 8/15 or w?
w
Let u = -717.07 + 712. Let y = -0.07 - u. Let p = y + -5.2. Is -1 at least p?
False
Let d = 12.9 - 13. Let j = 0.05 + -2.05. Is j greater than or equal to d?
False
Let b be (1/23)/(3/9). Is b at least 1?
False
Let i(y) = 2*y**2 - 3*y + 1. Suppose 0 = -2*m + 6 - 2. Let h be i(m). Let a be -8*(6/h)/(-2). Is 7 at least a?
False
Let z = -23.1 - -23. Is z at least as big as -3/10?
True
Suppose 0*k - 6 = -3*k. Suppose 11 = 3*b + 4*a - k*a, -a - 1 = -5*b. Are 3 and b equal?
False
Suppose -5*z = 3*a - 1, 4*z - 2*a + 8 = 22. Suppose 5*q = -3*g + 7*g - 26, z*q + 4 = 0. Let n be -2*(10/g + -2). Which is bigger: -2 or n?
n
Let l = 24398/35 - 697. Is l <= 0?
False
Suppose 0*b = 2*b - 2. Let i be (-1 + 1)/(b + 1). Is i != -1/8?
True
Let w(v) = 2*v - 2. Let z be w(6). Let s(j) = j**3 - 13*j**2 + 12*j + 11. Let g be s(12). Is z <= g?
True
Let m = 203 - 3653/18. Let j = -5/9 + m. Let l = -5 - -4. Which is greater: l or j?
j
Suppose 2*u + 9 = -3. Let d = u + 8. Let t = -7 - -10. Is t equal to d?
False
Let a = 8 + 3. Let j = 10.6 - a. Suppose 0*h - g + 3 = 3*h, 4*g = 2*h - 2. Is h >= j?
True
Let i = 0.04 + -0.44. Let d = -0.2 - i. Let r be -5*(1 - (-3)/(-15)). Is d equal to r?
False
Let l = -1256394/119 + 10558. Let q be 21/14 + (58/68 - 2). Let b = l - q. Which is smaller: -0.1 or b?
b
Let d = 0.22 - 0.32. Is d smaller than 1/3?
True
Let x = -4 + -3. Let g(v) = 7*v**2 + 57*v + 2. Let d be g(-8). Do d and x have different values?
True
Let o = 2.06 + -0.06. Let x = 0.1 - -1.9. Let q = x - o. Is q at least -0.2?
True
Suppose -3*u - 16 = -5*t, -u + 2 = -4*t - 6*u. Which is smaller: t or -3?
-3
Let k = -5 - -3. Let x(h) = -7*h**2. Let s be x(-1). Let l = 4 + s. Are k and l non-equal?
True
Let h(n) = -n**2 + 3*n - 18. Let r be h(6). Is -36 at least r?
True
Let s(z) = 7*z**2. Let h be s(1). Let m = -7 - -11. Let t = h - m. Do t and 1 have different values?
True
Suppose -2*i + 5*k - 7 = 0, -2*i + 5*i + 5*k = 27. Suppose u + 6 = i*u. Is 6 less than u?
False
Let n be ((-6)/(-20))/((-24)/16). Which is smaller: n or 0.067?
n
Let k = -67345 - -3030698/45. Let p = k + -40/9. Let b = 0 - 1. Is p less than b?
False
Suppose -5*k - k - 78 = 0. Let i = -24 - k. Are -10 and i equal?
False
Let s be (-12)/(-8)*32/(-12). Let q be -4*1 - (5 + s). Does q = -3?
False
Let v be (-16)/9 + (-2)/9. Let s be v/(-10) - 4/20. Is s at least 0?
True
Let h(t) = t**3 - 1. Let g(q) = -q**3 - 5*q**2 + 6*q - 1. Let f be g(-6). Let s be h(f). Which is smaller: -1 or s?
s
Let c = -232927/36 - -45121/9. Let l = c - -11095/8. Let s = -70 - l. Which is bigger: s or -1?
s
Let l(n) = -n**2 - 7*n - 6. Let z be l(-4). Let a = z + -4. Suppose 2*i = -w + 3, 2*w - 1 = -2*i - w. Is i less than or equal to a?
True
Let t be (7/(-21))/((-5)/(-6)). Let g = -0.4 - -0.7. Is g less than t?
False
Suppose 4*h = -3 - 21. Let a be ((-10)/h + -2)*6. Is a > -3?
True
Suppose 3*k + y - 9 - 5 = 0, 3*y = 2*k - 13. Suppose k*x = -5, -a + 3 = -5*x - 1. Which is greater: -3 or a?
a
Let q = 0.6 - -0.1. Let c = 19.9 + -22. Let l = 2 + c. Is l less than q?
True
Suppose q + 2*q + 5*a + 1 = 0, -2*a = -3*q + 13. Suppose 3*s - 3 = -q*g, -3*g - 18 = -3*s - s. Let z be 3/24*-6 - (1 + -1). Does z = g?
False
Let c be (0 + 1)*(-22 + 6). Let l be 2/((c/38)/(-4)). Are 18 and l non-equal?
True
Let k = 50 - 48. Let p(w) = w. Let q be p(-1). Let b be (2/(-12))/(q/3). Is k at least as big as b?
True
Let d = 119 - 121. Let v be ((-18)/(-20) - 1) + 2. Let c = 2/5 - v. Which is greater: c or d?
c
Let c = 17.2 - 17. Which is bigger: c or -6?
c
Suppose 0 = 2*t - 6, 2*x - 6 = 3*t - 5. Suppose 3*o + u + 4 = 0, -13 = -2*o - x*u + 6. Which is smaller: 2/3 or o?
o
Let r be 1/25*5 - (3 + -1). Let l = -7 + 5. Is l < r?
True
Let x be ((-2)/5)/(21/15). Suppose -6*b = -3*o - 2*b - 20, 4*b = o + 20. Let p = -1 - o. Which is bigger: p or x?
x
Suppose 0 = -2*f + 3*i - 5, 4*f = -0*f + i - 5. Let x be 0/((2 - 5)*(-1 + 2)). Which is greater: x or f?
x
Suppose -10*i = -6*i - 16. Suppose -4 = -2*r + i*r. Is r >= -2?
True
Let i = -6.6 - 1.4. Let s = -6 + -2. Let w = s - i. Which is smaller: 0.2 or w?
w
Let m be -1 + (-15)/(-4) + -3. Are m and 0 unequal?
True
Let s be ((-8)/(-2))/((-2)/11). Let a be (-8)/s*15/(-10). Which is bigger: 0 or a?
0
Suppose v - f - 4 = 2, 4*v + 2*f - 12 = 0. Suppose -12 = 4*h - h - 4*n, -v*h + 3*n - 9 = 0. Which is smaller: h or 1/3?
h
Let t(z) = -10*z**3 + 4*z**2 - 2*z - 2. Let q be t(2). Let k = -215/3 - q. Which is bigger: -2 or k?
k
Let n = 5.59 + -5.3. Let s = n - 0.3. Let a = 0.31 + s. Which is smaller: a or -0.1?
-0.1
Let r = 0 - 1. Let p be ((-45)/(-10) - 4)/2. Is p at most as big as r?
False
Let c = -9 - -16. Is c at least -1/2?
True
Let v(l) = -l**2 - 11*l - 4. Let d be v(-7). Is 24 greater than d?
False
Let t = -56.5 - -57. Which is smaller: t or -3?
-3
Let r be 2/(-33)*(9 - (-6 + 12)). Is r >= -1?
True
Let l = 99.9 + -90. Let j = l + -10. Is j != 1?
True
Let t(m) be the second derivative of m**5/20 - 5*m**4/12 - m**3 + 3*m**2/2 - m. Let f be t(6). Which is smaller: 2 or f?
2
Let f be 3*1257/9 + 1. Let l be 4/20 - 69/f. Is 1 at least l?
True
Let d(w) = w**3 - w - 1. Let n(i) = -23*i**3 - i**2 - 4*i - 4. Let k(c) = 4*d(c) - n(c). Let f be k(1). Let r be (-6)/f*(-24)/(-9). Which is greater: r or -1?
r
Let i(m) = -2 + 0*m**2 - 4*m + 0*m**2 + m**2. Let j be 12/2 + (4 - 6). Let f be i(j)