**3 - 5*n**2 + 6*n + 4. Let y be g(-6). Suppose -2*h + 3*h - 5*l = -4, -2*l = 2*h - y. Is h less than r?
False
Let c be ((-22)/3)/(2/(-3)). Let o be 12/(-8) + c/2. Let s = -3 - o. Is -7 greater than s?
False
Let h = 39 - 38. Are 26/15 and h nonequal?
True
Let j = -15.39 - -15. Let u = 0.59 + j. Which is smaller: 4/7 or u?
u
Suppose -245*o - 208 = -247*o. Is o != 102?
True
Let z be 2/(2735/(-545) - -5). Let f = 109 + z. Which is greater: f or -1/38?
f
Let a = -21 - -25. Suppose 5*r - 56 = -a*q + 14, q = -4*r + 12. Let z be (-1 + 26/q)*-2. Is -5 != z?
True
Let t be (55/22)/((-2)/4). Let j be (-10)/t + (0 - 2). Suppose v - 3*v - 4 = -4*p, -v - 4*p + 16 = j. Is 5 equal to v?
False
Let n = 0.25 + -2.25. Is n != -0.84?
True
Let h = -1111 + 1111.92. Which is greater: h or -9?
h
Suppose -4*k = -2*m + 136, 159 = 4*k - 9*k - 3*m. Which is smaller: -3 or k?
k
Let w be 2/5 - 51/15. Let x = 0 - w. Let m(t) = t**2 - 4*t + 2. Let u be m(x). Is 0.4 greater than or equal to u?
True
Let c be 4/(-14) + 94/(-112). Suppose 0 = -4*t + 3*n - 56, -4*n + 6*n + 36 = -4*t. Let s = 10 + t. Which is greater: c or s?
s
Let g be 3 + -21 + 20/5. Let s(v) = -v**3 - 15*v**2 - 16*v - 21. Let w be s(g). Suppose 5*i - 25 = -0*i. Is w <= i?
False
Suppose 3 = -m + 4*n, 5*m - 1 = -n + 5. Let o be -3 + 2 - m*-1. Is o < 2/135?
True
Let g(o) = o**3 + 4*o**2 + o - 4. Let k be g(-3). Let s(f) = -f**3 + f**2 + 13*f + 9. Let y be s(-3). Which is bigger: y or k?
y
Suppose 0 = -5*h + 7*b - 3*b + 17, -h - b - 2 = 0. Let v = -9 + h. Suppose 5*j = 10, 61*z - 56*z + j + 38 = 0. Do z and v have the same value?
True
Suppose 2*m - x - 3 = 4*x, 1 = m - 2*x. Suppose -4 = 4*b - 8. Let h be m/(b + 1 + -1). Which is smaller: 0 or h?
h
Let l be 4/10*(-59 + -6). Let x be 12/(1 + 2) + 112/l. Which is smaller: -0.1 or x?
x
Let j = -0.9 + 1. Let f = 303 - 303.9. Which is bigger: j or f?
j
Let s be (125/(-40) + 3)*2. Is s at most as big as 76?
True
Let b be (-11 + (-5617)/(-511))/(-1). Which is greater: 1 or b?
1
Suppose -z + 27 = 5*h, -2 + 18 = -2*z + 4*h. Suppose -4*p + f = -3*f + 52, -z*f + 6 = 0. Which is smaller: -8 or p?
p
Let w(r) = r**2 + 11*r + 15. Let l be w(-8). Are l and -10 non-equal?
True
Suppose -3*i + 493 = 2233. Let q be 878/i + 33/22. Which is smaller: q or 1?
q
Let b be ((-5384)/2968)/(3*-1). Let o = -25/42 + b. Which is bigger: o or 0?
o
Let c(j) = j**3 - 7*j**2. Let o be c(7). Let y = -10.3 - -10. Is y at least as big as o?
False
Let q(n) be the third derivative of -n**6/120 - n**4/24 - 13*n**3/2 - 11*n**2. Let x be q(0). Let u be 2/(4 + x/6). Which is greater: u or -2?
u
Let i(p) = -p**2 - 7*p - 4. Suppose -20 = 3*t - 5. Let y be i(t). Suppose 7*x - 32 = 3*x. Are y and x non-equal?
True
Let h be 7 + (-492)/20 - -7. Is h bigger than -2?
False
Let u be (-157245)/141876 + (-2)/(-8). Let t = 2/1689 + u. Which is smaller: t or 2?
t
Let x be ((-4)/(-5))/((-2)/10). Let v(f) = f**2 + 3*f - 5. Let p be v(x). Suppose 2*z - 4*z = 0. Which is bigger: z or p?
z
Let u = 1590/13 + -195596/1599. Is 0 >= u?
True
Let f = 3088 - 3088.0949. Which is greater: 0 or f?
0
Suppose 71 = 3*n - 94. Let v be 2/(-5) + (-33)/n. Which is greater: v or 2/33?
2/33
Let v = -915/7 - -131. Let a(c) = -c - 6. Let n be a(-8). Suppose 1 = -h + n*h. Which is bigger: v or h?
h
Let l(p) = p**3 + 8*p**2 + 8*p + 5. Let k be l(-7). Let j be (-3)/(k/(4/3)). Suppose 2*v - j = r - 5, 3*r - 15 = 0. Is v at least as big as -1/23?
True
Let x(n) = -n**2 - n + 6. Let p be x(0). Let m be p/21 - 8/28. Let o = -3 + 1. Which is smaller: m or o?
o
Let c = 4410 + -6436. Let q = c - -18272/9. Which is bigger: 4 or q?
q
Let d be ((-6)/8)/((-2)/(-32)). Let c = 12 - 22. Which is smaller: d or c?
d
Let m = 0.05 - 3.05. Let c = m + 2.84. Let r = 0.16 + c. Which is smaller: -9 or r?
-9
Let g = 3615/3454 - 2/1727. Are 1 and g unequal?
True
Let n = -940 + 956. Which is smaller: 52/3 or n?
n
Let d = 0.09 - 0.18. Let u = -38 - -38.18. Let m = d + u. Is m less than or equal to 1/4?
True
Let m = 2.2 + -1.6. Which is greater: 40 or m?
40
Let h be -4 - 5/20*0. Are -10 and h equal?
False
Suppose g + 69 = 5*m, -m + 4*g + 10 = -0*g. Suppose -9 + m = -5*b. Is b at least as big as -3/4?
False
Let f(v) = -12*v + 30. Let a be f(3). Which is greater: -3 or a?
-3
Let x = 20 + -16. Suppose -c + 5*h - 9 = 0, -x*c + 0*c - 2 = -3*h. Let l = 3 - -2. Which is bigger: c or l?
l
Suppose 0 = -4*a + 4*b + 28, 14 = 2*a - 4*b - 8. Suppose 4 = -a*j - j. Let h = -67/5 + 196/15. Which is smaller: j or h?
j
Let p = -12.13 + 0.13. Let u = p + 12. Let m = 0.2 + u. Is -1 not equal to m?
True
Let h be (-15 - 3)/(-6) + 62/(-7). Is h > -5?
False
Let g(u) = -3*u - 22. Let p be g(17). Let y = p + 77. Is 19/6 at least y?
False
Let h = 940/3 + -356. Which is bigger: -44 or h?
h
Let d be 394820/775*(-1150)/(-42). Let k = -97677/7 + d. Let p = k - -3/31. Which is greater: p or -5?
p
Let h be (2*(-4)/24)/((-60)/1512). Which is smaller: h or 9?
h
Let u be 94/10 - (-4)/(-10). Let d(i) be the third derivative of i**5/60 + i**4/3 + i**3/3 + 17*i**2. Let c be d(-9). Which is smaller: u or c?
u
Let a(y) = y**2 - y - 3. Let j be a(4). Let m(z) = -z - j + z - z. Let q be m(0). Which is smaller: q or -8?
q
Suppose -4*y - 19 - 9 = 2*o, 0 = -y. Let c be (-14)/28*8/o. Is -1 less than c?
True
Suppose -4*z = -6*k + k + 13, 3*z + 5*k - 34 = 0. Let u be (7/5*5)/(1 - 0). Suppose -u*x + 4*x = z. Is x != -3?
True
Let c = -931 + 761. Which is greater: 5 or c?
5
Let u = 77 + -72. Let a(l) = -l**2 - 4*l + 20. Let n be a(u). Are -26 and n non-equal?
True
Let k be (-2 - 3/(-6))*(-8)/12. Let s be -21*k/(-18) - -4. Is s equal to 5?
False
Suppose -5*j - 18 = -2*t, 5*t - 5*j = 9 + 6. Let f be (t + -1)*(-4)/8. Let r be (-100)/595 + (1 - 5/7). Which is smaller: f or r?
r
Let g = -8.3 + 9. Let h = -57 + 92. Let f = h - 34.8. Which is smaller: f or g?
f
Let l be 2/(-15)*(-15)/12. Which is smaller: -1 or l?
-1
Let n = -71 + 71.3. Let u = 0.69 + 0.01. Let g = u - n. Which is smaller: 1/2 or g?
g
Suppose 2*p - k + 1075 = 0, -4*k + 9*k + 2185 = -4*p. Which is smaller: -539 or p?
p
Let h = -12469/2 - -6050. Let w(j) = 46*j - 6. Let n be w(-4). Let f = h - n. Which is smaller: f or 5?
5
Let a(g) be the third derivative of g**6/120 + 2*g**5/15 - 5*g**4/12 + g**3/3 - g**2 + 6. Let z be a(-9). Is 13 less than z?
False
Let d(u) = -u + 25. Let z be d(-17). Let j = z + -32. Which is greater: 0.3 or j?
j
Suppose -112 = 20*k - 72. Which is smaller: k or -48?
-48
Let m(g) = 0 - 3 - 153*g + 154*g. Let r be m(9). Is r at most as big as 5?
False
Suppose -3*v = -6*v + 3. Let m be (10/(-70))/(v/(-5)). Is m bigger than 2?
False
Let p(x) = 4*x + 27. Let i be p(-3). Let a be 1/3 - 50/i. Is -3 > a?
False
Let d = 21 - 13. Suppose 2*r = -m - m - d, 3*r - m = 0. Let k be (-3)/10 - r/(-5). Is -5 greater than k?
False
Let b(f) = f**3 - 4*f**2 - 2*f + 9. Suppose 0 = 4*d - 3*t - 16, -3*d - 4*t + 4 + 8 = 0. Let g be b(d). Which is smaller: g or -14?
-14
Let r be 1387/511 - (-6)/(-2). Let n = -3 - -3. Is r < n?
True
Suppose 2*p - 52 = -2*i, 4*i - 13 = -p + 19. Suppose 16*g - 20*g = p. Let f = 2 + g. Which is bigger: 0 or f?
0
Let u = -676 - -673. Which is bigger: u or -8?
u
Let l be (-1 - 3/(-6)) + -2. Let f = l + 129/50. Which is bigger: f or 0?
f
Let s = 178 - 174. Is 2 < s?
True
Let m = 18 - 18. Let q be ((-12)/51)/4*1. Do q and m have the same value?
False
Suppose -4*t - 3 = 4*l - 7*l, 4*l = -3*t + 4. Is -2/873 at most t?
True
Let w be (1431/(-396))/(-1) - (-2 - -5). Is w smaller than 1?
True
Let h = -4 - 1. Let o be 54 + h + -3 + 0. Let z be 10/o*(-4)/10. Do z and -1 have different values?
True
Let v be (-3 + 4)*9/(-12). Let g be ((-4)/(-10))/((-24)/15). Is g at least v?
True
Suppose 27 = 117*m - 108*m. Let n be (-2)/(-10) + -1 + 1. Which is smaller: n or m?
n
Let c = 45 + -48.8. Let a = 0.052 + -0.052. Which is greater: a or c?
a
Let t(a) = -11*a - 75. Let p be t(-6). Is p greater than or equal to -85/9?
True
Let o(n) = 2*n**2 + 13*n - 10. Let x(i) = i**2 + 1. Let v(f) = -o(f) + 3*x(f). Let d be v(12). Which is smaller: 13 or d?
d
Suppose -59*a = -60*a + 254. Does a = 255?
False
Let o be ((-2402)/(-2406) - 1)*(-129)/43. Is o bigger than 0?
True
Let b = 120 + -114. Let f = 5.72 - -0.38. Let c = f - b. Is -1 at least as big as c?
False
Let u = -23 - 15.