 2 + -12. Let g(m) = -m - 9. Let k be g(c). Is 4 less than k?
False
Suppose 2*f + 63 = a + 9, 2*f + 3*a + 62 = 0. Let x be (-8)/20 + f/5. Which is greater: -7 or x?
x
Let t = 90 + -89.53. Is 1/3 greater than or equal to t?
False
Suppose 2*b - 6*b = 20. Suppose -13 = 2*j - 15. Do b and j have the same value?
False
Let h be ((-2)/8)/(6/8). Let c = -0.3 - -3.3. Let o = 2 - c. Is o <= h?
True
Let m be 8/(-2) - (1 - 4). Which is greater: 6 or m?
6
Let c = -1/12 - -55/84. Let y = -531 - -531. Are y and c nonequal?
True
Let r be (-4)/(-6) - (-88)/(-33). Are -1 and r equal?
False
Suppose -7*y = 225 - 36. Are -27 and y unequal?
False
Let t = -4 + 4. Let q be (-7 + 8)*(1 - t). Is q at most 1/7?
False
Let v = 0.1 + 0. Let c = -22 + 16. Let t = 5 + c. Is v greater than or equal to t?
True
Suppose m + 2*m + 9 = 0. Let y be (-1 - 0) + 21/(-7). Is m < y?
False
Suppose -5*v + 6 = -3*g, 1 = 2*v + 5*g + 11. Is v greater than -1?
True
Let n(b) = b**2 - 9. Let o be n(-3). Let r(j) = 2*j - 1. Let m be r(-2). Let g = -7 - m. Is o at most as big as g?
False
Let l(c) = -c**3 + 4*c**2 - 3*c + 1. Let r be l(2). Suppose 0 = -g + y + 2*y - 4, 4 = -g + y. Let z be (-42)/(-18) + g/(-6). Is z > r?
False
Let g be 32/3*9/(-6). Let s be 5*((-2)/8 - 3). Let i = g - s. Is -1 >= i?
False
Let i = -2.8 - -3. Which is bigger: i or 0?
i
Let r be (-48)/(-9) - (3 + -1). Let q(s) = -s. Let m be q(-3). Is r > m?
True
Let a(n) = -n - 5. Let l be a(-5). Let o be -2 + (38/(-22))/(-1). Is l < o?
False
Suppose -4*y = -3*y + 4. Which is bigger: -5 or y?
y
Let v(u) = u**2 - 51. Let a be v(0). Let z be -3 + 6 - a/(-15). Let s = -0.3 - 0.7. Are z and s non-equal?
True
Suppose -7*j + 28 + 0 = 0. Which is smaller: -0.8 or j?
-0.8
Suppose 6*i + 1 = 2*i - 3*d, 5*d = -3*i + 13. Let j(c) = c**2 - 4*c - 5. Let r be j(4). Which is smaller: r or i?
r
Let c(j) be the second derivative of 7/2*j**2 + 0 + j + 1/6*j**3. Let k be c(-7). Are 1 and k unequal?
True
Suppose -3*d - 4*y = -0*d + 3, -3*d = -5*y + 30. Let h be d/2 - 2/4. Is h smaller than -1?
True
Suppose 5*l + 200 = -5*f, -5*f + 10*f = -2*l - 68. Let s = l + 177/4. Let n be 2 - -4*1/(-2). Is s >= n?
True
Suppose 31*r - 12*r = -836. Which is bigger: 1 or r?
1
Let p = 2 + -2. Let m(r) be the third derivative of r**6/120 + r**5/20 + r**4/24 + r**2. Let n be m(-2). Which is smaller: p or n?
p
Let n(h) = -h**2 + h. Let p be n(2). Let y = p + 1. Let u(x) = -x**3 + x**2 - 2. Let w be u(0). Which is smaller: w or y?
w
Suppose 3*b = 2*a + 22, a - 5*b = -2 - 2. Let p be (-2)/(-6) + a/(-3). Suppose -4*h = 3*v - 20, -32 + 7 = 5*v - p*h. Which is smaller: -1 or v?
-1
Suppose 0 = -3*k + k. Let r(l) = l**2 + l. Let c be r(k). Suppose 2*x + 2 - 6 = 4*q, 4*x + 4*q + 4 = 0. Is c less than x?
False
Suppose 5*w = -53 - 27. Let k be (w/(-20))/(2/(-15)). Let z be 4/(-22) + 84/(-22). Which is smaller: z or k?
k
Let p be ((-5)/8)/(7/(-1052)). Let s = p - 94. Is -1 greater than s?
False
Let o = -0.3 - -0.2. Let i = -6.85 - 0.15. Is o less than or equal to i?
False
Let o(s) = -2*s**2 + 6*s + 2. Let b be o(-5). Let j = 391/5 + b. Let p = -0.5 - -0.6. Is j != p?
True
Let h = 0 + 0.1. Let m(v) = v**2 - 5*v + 2. Let o be m(5). Is h at most as big as o?
True
Let v(n) = 2*n**2 + 4*n - 3. Let u be v(-3). Is u at most as big as 0.09?
False
Suppose -4*l = t + 12, -4*l + 4*t = -6 - 2. Let b be l/5 - (-39)/(-15). Suppose -m = 2*h + 6, -m - 1 = 3*h + 7. Which is smaller: m or b?
b
Let o = 0 - 0.5. Let y = 12.4 - 13. Let b = y - o. Is 0.3 < b?
False
Let p(z) = -z**3 - z**2 + 2. Let x be p(-2). Let u be 3 + (-357)/x + -2. Let l = u - -57. Which is bigger: -1 or l?
-1
Let f be 428/(-534) - (-30)/45. Let v = -175/1958 - f. Are v and -1 unequal?
True
Let u = 14 + -14. Is u != -1/4?
True
Suppose -40 = -3*j - 4. Let t = j - 4. Which is bigger: t or 7?
t
Let t be (-6)/24 - (-2)/(-24). Let s be (-10)/15*3/2. Is t > s?
True
Let m be 2/5 + (-2)/5. Let o = -17.34 + 3.34. Is m >= o?
True
Suppose -2*m - 266 = 5*m. Is m smaller than -38?
False
Let i = -9/5608 - -477247/353304. Let h = -369 + 2594/7. Let r = i - h. Is r bigger than -0.2?
False
Let j = -2 + 3. Let b be (-111)/44 + 2 + 7/28. Do b and j have different values?
True
Let a = 1.26 + -1.1. Let g = a + 0.04. Let k = -1076/7 + 154. Which is smaller: k or g?
g
Let r be -2 - (-12)/3 - -3. Suppose -3 - 2 = -r*t. Let d be 0 - t/7*-2. Which is bigger: 0.3 or d?
0.3
Let u = 1 - -2. Let k = -5 + u. Is 0 greater than k?
True
Let g = 1.2 - 1. Let j = 0.1 - g. Is j less than or equal to 0.2?
True
Let j(g) = g**3 + 4*g**2 - 7*g - 6. Let i(n) = 25*n. Let f be i(1). Suppose 0 = 3*p - 10 + f. Let m be j(p). Are m and 5 nonequal?
True
Suppose 4 = -2*d, 2*g = 15*d - 10*d + 10. Let f(l) = -l**3 - 4*l**2 + 5*l + 2. Let q be f(-5). Let u be 1/((q/2)/1). Is g at least u?
False
Suppose -4*s = z - 25, 0 = -3*s + 4*z + 33. Let y = s + -3. Which is bigger: y or 3?
y
Let x = 3.4 - 18.4. Let r = -7 - x. Which is smaller: r or 0?
0
Let q = 6 + -2. Suppose -20 + q = -f. Let y be (-86)/72 + 12/f. Is y bigger than -1?
True
Let j = -14 + 26. Is j at least as big as 13?
False
Let f(o) = o**2 - 5*o + 3. Let n be f(4). Is 14 >= n?
True
Let z be (3 - -1)/(4 + -722). Which is bigger: z or 0?
0
Suppose 9 = -w + 2*w. Suppose -j = -3*a + 3, -2*a - 4*j - 11 = -w*j. Are -0.1 and a unequal?
True
Let t(a) = -a**3 + 5*a**2 - 3*a - 1. Let f be t(3). Let h(g) = -g + 27. Let y be h(f). Which is greater: 18 or y?
y
Let r = -166/15 - -52/5. Let l be (-16 + 17)*(1 - 1). Which is smaller: l or r?
r
Suppose -3*l = 4*z - 3 - 3, -5*l = 4*z - 2. Let s be ((-28)/24)/(z/(-9)). Which is smaller: s or 4?
s
Let c = 1.79 - 0.79. Do c and -3/29 have different values?
True
Let g = 1/317 + 3161/2853. Is 1/2 <= g?
True
Suppose -8 = -4*a - 4*k, -4*k + 8 + 14 = -3*a. Let f = -4 - a. Suppose 0 = 2*s + 4, -4 + 2 = -h + s. Which is greater: f or h?
h
Suppose -5*r - 50 = -3*r. Which is smaller: 0 or r?
r
Let u(q) = q + 6. Let m be (-4)/(-5)*(0 - 5). Let y be u(m). Which is bigger: y or 0.3?
y
Let m be (0 + 0)/4 + 2. Which is bigger: m or 7?
7
Let j(l) be the third derivative of -l**4/24 + 2*l**3/3 - 2*l**2. Let k be j(3). Which is smaller: 1/2 or k?
1/2
Let v = 21 - 15. Suppose t = -0*t + 6. Is v smaller than t?
False
Let b = -1 + 1. Let q = -32 - -33. Which is bigger: q or b?
q
Suppose -5*p = -2*w + 7, 11 + 0 = -2*w - p. Let f = 8 + w. Are f and 3 non-equal?
True
Let t be 43/2*(-8)/2. Let a = t - -43. Let d = a + 128/3. Is d >= 0?
False
Let t = -23.5 - -23. Is t equal to -0.4?
False
Let f = -280 + 146. Let c = f + 22. Let i = -558/5 - c. Which is greater: i or 1?
1
Let d be ((-4)/(-6))/((-2)/(-12)). Let g be 6/(-45) - 32/(-15). Let t = g + 1. Which is bigger: d or t?
d
Let y = -1919/3 - -632. Let p = -7 - y. Which is bigger: 1 or p?
1
Let j = -68/13 + 1373/260. Let z be -1 - 5/((-25)/6). Let p = j + z. Is 2 at most as big as p?
False
Let a = 104 + -72. Which is bigger: 31 or a?
a
Let r = 23.2 + -23. Which is smaller: -5 or r?
-5
Suppose -11*s + 16 = -7*s. Suppose -4*c = -0 - s. Suppose 5*q - 25 = -v + 6*v, 0 = 3*v + 3*q + 9. Is v at least as big as c?
False
Let k = 0.2 - 0.3. Let m = -9 - -7. Let q = 1 - m. Which is greater: q or k?
q
Suppose -3*t + 9 = 3*d, 4*d = 2*t - 3 + 21. Let i = 0 + t. Let f be 22/10 + (-12)/4. Which is smaller: i or f?
i
Suppose -s - 9 = -10. Let m = 6 + -4. Which is bigger: s or m?
m
Let a(d) = d**2 + 5*d - 2. Let c be a(-5). Let b = c - 2. Is b less than -4?
False
Let a = 4 - 4. Let o = a + 2. Which is smaller: o or -2/7?
-2/7
Suppose -5*m = -f - 11, 2*m + 10 = 5*f - 4. Suppose 2*g - 6 = 2*d, f*g - 14 = g - 2*d. Suppose -g + 12 = -4*i. Are -3 and i unequal?
True
Suppose 5*a - 25 = 4*t, 0*a - 4*a = 3*t + 11. Suppose 3*h - 4*g - g - 31 = 0, 5*h - 5 = -g. Are a and h non-equal?
True
Let j be (-9)/(-8)*4/6. Let v(m) = -m**3 - 5*m**2 + 1. Let x be v(-5). Is x at least as big as j?
True
Let s be (-4 + -2)/(3/(-2)). Let d = s + -5. Which is smaller: d or 3/7?
d
Let g = 19 + -19. Is g at least -2/23?
True
Suppose 6 = a - 4*a. Let t be (-12 + 24)*a/(-4). Which is greater: t or 5?
t
Let k = -12 + 17. Suppose 0 = -k*s + 4 + 1. Which is smaller: 0 or s?
0
Let s = -3 - -8. Which is smaller: 2/7 or s?
2/7
Suppose 0*l + 5*l = 5*w - 40, 4*w = -4*l. Let s = 5 - 0. Suppose 4*m - 1 = -3*t + 3, 5*t = -s*