Let w = s - o. Is 2 at least w?
True
Let g be -3*1*(-2)/3. Let a be 2 + -5 + 0 - g. Let r be ((-4)/30)/(3/a). Which is smaller: -1 or r?
-1
Let y = -13/3 - -149/33. Do y and 1 have the same value?
False
Let x(f) be the second derivative of -f**4/12 - 7*f**3/6 - 3*f**2 - 5*f. Let m be x(-6). Which is greater: 2/17 or m?
2/17
Suppose 32*k - 46*k - 28 = 0. Let o = -453 - -3156/7. Which is greater: o or k?
k
Let c be ((-40)/(-6))/(-1)*99/(-55). Which is bigger: 11 or c?
c
Suppose y = -6*y - 98. Is -12 less than or equal to y?
False
Let d = 0.76 + -0.73. Which is greater: -0.04 or d?
d
Let r = -20/9 - -131/63. Let u(m) = m**2 + 2*m - 2. Suppose 0 = -3*o + 4*z + 11, 5*o - 18 = -5*z - 58. Let f be u(o). Does f = r?
False
Suppose 25 = 5*l - 0*l. Let i be (-2)/11 - 36/165. Which is smaller: i or l?
i
Suppose -p + 14 = 3*g, -2*g + 24 = 2*p - 0*g. Let a = -11 + p. Let y = a + 3. Which is greater: 4 or y?
4
Let t be (-159)/(-15) + 3/(-5). Suppose 0*a + 5*a - t = 0. Let b be (a/(-3))/((-7)/(-3)). Which is smaller: b or 0.1?
b
Let t = -48 - -44. Is -3/4 >= t?
True
Suppose -4*g - 14 = -3*j, -4*j - 2*g + 6 = -20. Let a be (3 + j/3)/1. Which is smaller: a or 9/2?
9/2
Let i = -22/391 - -5116/77027. Which is smaller: 0 or i?
0
Let t be (-3 + (25 - -4))/(-2). Is t < -1?
True
Let h be -1 - 4*4/(-17). Let i be (-8)/20 + (-34)/(-10) - 4. Which is greater: i or h?
h
Let l be 4/30 + 5/(-525)*44. Are -3/2 and l nonequal?
True
Let i = 74 + -79. Is i > -10?
True
Let d = -16 + 15.9. Is 0 equal to d?
False
Let f = 3.92 + 0.08. Let z = f - 3. Let s = -2.23 - -3.23. Is s less than or equal to z?
True
Let g be (-86)/1 - (1 + 0). Let t = g + 53. Let x be t/(-40) - 2/8. Is 0 at most as big as x?
True
Let c be 3 - (-6 + 4 - -6). Which is bigger: c or -1/60?
-1/60
Let q be ((8/5)/2)/(-2). Let y = 0.12 + 2.88. Let x = y + -4. Is x greater than q?
False
Let n = -77/3 + 26. Is 1 equal to n?
False
Let w be -3 + 5 - -1*1. Let r be ((-2)/w)/((-59)/3). Let l = -55/118 - r. Which is greater: 1 or l?
1
Let t be 0 - 4/(-2 + 0). Let l be 120/16*(-4)/(-6). Suppose 3*f - u = t - 20, l*u = 15. Which is bigger: -2/5 or f?
-2/5
Let y = 10 + -7. Suppose x - 5 = y*c, 0 = -x + 6*x + c + 23. Are -7/2 and x equal?
False
Let w = 3.06 + -0.06. Let o = 3 - w. Let b = o - -0.1. Is b equal to 2/3?
False
Let b = -116774644935203/227920 + 512349267. Let y = b - -3/592. Let i = -164/385 - y. Which is bigger: i or 0?
0
Suppose z = 5*z - 8. Which is bigger: z or 2/5?
z
Suppose 5*j - 4 - 8 = 2*a, -2*a + 24 = 4*j. Suppose -2*z = 2*d - d - 10, 4*z - 22 = -3*d. Suppose 2*i - o = -3, -d - a = 5*i - o. Is -4 equal to i?
False
Let c(q) = q**2 + 3*q. Let r be c(-4). Let m = r - 6. Let v be (m - (-5)/2)*-1. Is 2 less than v?
False
Let g = -23 + 24. Is g bigger than -2/7?
True
Let w = 0.7 - 0.8. Let r = -0.3 + 0.54. Let k = r - 0.04. Which is bigger: w or k?
k
Let m = -940 + 7541/8. Is 3 > m?
True
Let o = 1 + -4. Let h be (-2)/(1/(5/6)). Which is smaller: o or h?
o
Let s = -8/83 + 583/1743. Is -1 greater than s?
False
Let d = -19 + 12. Is d <= -0.2?
True
Let v be 1 - ((-1 - 1) + -2). Let c be v + -2 - -1 - 1. Let i = c + -3. Is i not equal to 1?
True
Let a = -40/13 + -6/91. Let s = 14557/420 + -371/12. Let k = s + a. Is k at least 1?
False
Let y be 182/(-84) + (-2)/(-9)*3. Suppose 3*w = -g - 8, 0 = 3*g - w + 3*w + 10. Which is smaller: y or g?
g
Suppose c - 8 = -2*r + 25, -r = -c - 15. Which is bigger: r or 15?
r
Suppose -4*u = -3*u - 21. Let v be u/10 + 4/10. Is v at least 4?
False
Let j be (-2 + 1)/((-1)/4). Suppose -2*w - w - u = -11, -u - j = 0. Suppose -6*q = -11*q - w. Which is smaller: -3 or q?
-3
Let l be 4/(-14) - (-2)/7. Suppose l = r + 2*n - 2, 3*r + 22 = 4*n - 3*n. Is -7 greater than or equal to r?
False
Let r = 39 - 37. Which is bigger: 1 or r?
r
Suppose 3*g + 13 = 2*r, -3*r - g = -0*r + 8. Is r > 6/35?
False
Let s = 0.23 + -0.13. Which is smaller: 6/7 or s?
s
Let u = -2.82 - -3. Let w = -0.02 - 0. Let h = u - w. Is 2 at most as big as h?
False
Suppose 10*b = 9*b. Is b equal to 3?
False
Let v be 28 + 0 - (-1 - -4). Suppose -2*q + 0*f + 5 = -f, v = -3*q - 5*f. Is -1/14 > q?
False
Suppose 2*d - 2*j = -j + 25, -35 = -3*d + 4*j. Is 11 smaller than d?
True
Let v = 2 - 1. Let k = v + -4. Let x = -23 - -70/3. Is x > k?
True
Let s be (1 - 11) + 0 + 1. Let i be (-9)/6*6/s. Which is bigger: 2/7 or i?
i
Let k be (-18)/27*((-1)/2 - -2). Which is bigger: 2/47 or k?
2/47
Let q be ((-3)/(-12))/((-5)/(-4)). Let u = 2 - 1.5. Let b = u + -0.4. Which is bigger: q or b?
q
Let j = 24/385 + -1/11. Do -1 and j have the same value?
False
Suppose -j + 10 = 4*j + 5*t, 0 = 5*j + 3*t - 6. Let i = 4 - 5. Let l be (i + 3 + j)/7. Is l at least as big as -1?
True
Let y = -2177/212 - -41/4. Is y bigger than 1?
False
Suppose i - 22 = 5*r, -6*r = 2*i - r + 16. Suppose -3*z + i*a - 2 = -1, -4*z + 4*a = 0. Let b = -125 + 622/5. Which is bigger: z or b?
b
Let y be (-2 - -2)/(-2 + 1). Let b(w) = w**3 + w**2 + w - 6. Let o be b(y). Let z be 8/(-12)*o/(-10). Do z and 1 have the same value?
False
Let b be 10/(-2) - 8/(-4). Let d = b - -2. Is -1 >= d?
True
Let n be ((-4)/12)/((-16)/6). Let v = -87 - -87. Is v at most as big as n?
True
Let t = -48 + 191/4. Let m be -1 - -2 - (-1 + 2). Which is greater: m or t?
m
Let t = 155 + -1087/7. Which is smaller: 0.1 or t?
t
Let c = -1/979 - -9799/8811. Is c >= 2?
False
Let n(b) = -b**2 + b - 5. Let i = -9 + 9. Let d be n(i). Is -5 equal to d?
True
Suppose -2*i + 27 = -3*j, 3*i - 49 - 11 = -2*j. Let p be -1 - (-4 + 1 + 0). Suppose -l + 3*g + i = 0, -3*l + 15 + 4 = -p*g. Is l bigger than 2?
True
Let k = 1 - -11. Let f = k + -11. Is -1/4 equal to f?
False
Suppose 3 = z + 2*u - 2, 4*z + 7 = u. Suppose 3*b + 2*i + 8 = 5*b, 5*i = -5. Let y be (2/(-10))/(b/9). Which is smaller: y or z?
z
Let n(f) = -f**3 - 4*f**2 - 2*f - 6. Let y be n(-4). Suppose l = -y*c, 0*l = 5*c - l. Let r = 45 + -224/5. Is c at most r?
True
Let p(k) = k**2 + 7*k + 5. Let f be p(-6). Let l be -3*(-2)/6 + 2. Let c be -2*2/42*l. Is c bigger than f?
True
Suppose -3*b - 5*q = 28, -5*b + 5*q = -4 - 16. Let d be (-56)/539 - (-2)/(-11). Which is smaller: d or b?
b
Let v = -16 + 28. Are 11 and v nonequal?
True
Suppose -24 = -5*d + 5*q - q, 3*d + 4*q = 8. Let r(i) = i**2 + i + 1. Let v be r(-3). Suppose 0 = -3*x + 19 - v. Is x not equal to d?
False
Let x = -9 + 10. Let i be 1*5/8 - x. Is 2/3 less than i?
False
Let c(i) = -2*i**3 + i**2 + 9*i - 15. Let a(h) = -h**3 + 5*h - 8. Let p(b) = -7*a(b) + 4*c(b). Let y be p(5). Let z = y + 47/2. Is z at least as big as 0?
False
Let p = 0.053 - 9.053. Which is smaller: p or 0?
p
Let g = 15809/99 + -1564/9. Let m = g + 14. Which is smaller: m or -1?
-1
Suppose 2*t + 4*o - 6 = -20, 2*t = o - 4. Let x = t - -2. Let g be (1 + x)/(4 + -3). Which is smaller: g or 2/3?
g
Suppose -14*w + 9*w = -15. Is 9 at most w?
False
Let b = -0.008 - -1.008. Is b bigger than -1/2?
True
Let b = 10 + -5. Let c = b - 5. Let t = 4 + c. Are 3 and t nonequal?
True
Let o = -48 + 33. Let q be ((-6)/o)/((-32)/(-20)). Is q not equal to -1?
True
Let w be 1 + -44 + 4 - 2. Is -41 at most as big as w?
True
Let w be 6/12 - 29/34. Is 0 at least w?
True
Let h = -0.03 + 8.03. Let u = -4 + h. Let a = u + -4. Do a and 1 have different values?
True
Let j = -5 + 3. Suppose 3*t = -3 - 0. Let k be t/(2 + -1 + 0). Is k at least j?
True
Suppose 4*a = 3*a + 90. Suppose a = -8*y + 5*y. Let u be (-2)/(-8) + y/56. Is -1 at most u?
True
Suppose -112 - 128 = -3*m - 5*o, 3*o = 0. Let j be m/165 - (-4)/(-6). Is j >= 2?
False
Let f(z) = z**3 - z**2 - 3. Let c be f(3). Which is bigger: 55/4 or c?
c
Let t be 2 + -5 + (2 - 3). Let j = t - -11/3. Which is greater: 2/5 or j?
2/5
Suppose -3*l - 11 = -2*s + s, -5*s + 4*l = 0. Let r = s - 0. Let p = -58 - -55. Which is smaller: p or r?
r
Suppose 6 = 3*t - 3. Let y be (-1 + 1/1)/t. Is y bigger than 2?
False
Suppose 3*w = 2*w - 1. Let i = 0.9 + -6.9. Let h = i - -4. Which is greater: w or h?
w
Let t = -59.168 + 56.9. Let u = t + -0.032. Let g = u - 0.7. Which is smaller: -1 or g?
g
Let f = -4 + 6. Suppose 0*s - 8 = 4*s - 4*h, -5*s = h - 14. Suppose -s - f = 4*x. Is x at most as big as 0.2?
True
Suppose -6*g - 2*k + 347 = -3*g, 0 = -5*g - k + 569. Which is smaller: g or 114?
g
Let d(f) = -f**2 - 4 + 4*f**3 - 2*f + f + 3. Let g