) = h**2 - 3*h - 6. Let g be s(5). Is o bigger than g?
False
Suppose -5*g + 0 - 5 = 0. Are g and -44/29 unequal?
True
Let f = 5 + -3. Suppose r + 202 = -4*p + 2*p, 0 = -4*r - 3*p - 813. Let h = -203 - r. Is h at least f?
False
Let z = 19 + 3. Let g(v) = -v**2 - 11*v + 263. Let j be g(-22). Which is smaller: z or j?
j
Suppose -6*q = 3*i - 5*q + 17, -i - q = 7. Which is smaller: -3 or i?
i
Let u = -1188/35 - -34. Let x(r) = -7*r - 41. Let i be x(13). Let q = i + 133. Which is smaller: u or q?
u
Let t = 2 - -1. Suppose 20 - 2 = t*k. Suppose -5*s - y = -24, -4*s + 2*y + 25 = -3*y. Which is smaller: k or s?
s
Let o(j) = -2*j - 3 + j**3 + 4*j**2 + 2 + 3*j**2 - j**2. Let m be o(-6). Suppose -3*n + 3*z + m = -z, 10 = n + 5*z. Which is bigger: 4 or n?
n
Suppose -q + 9 = -y + 37, 0 = 5*y + 3*q - 108. Let x = y - 25. Is x less than or equal to -3?
False
Let c = 56 - 341/6. Let a = -8 - -6. Let x = 1 + a. Which is bigger: x or c?
c
Let o be (-15)/(120/(-32)) - 16/2. Is -10 bigger than o?
False
Let r(n) = 3*n + 17. Let h be ((-2 + 1)*-4)/(2/(-3)). Let o be r(h). Which is bigger: -1/8 or o?
-1/8
Let y(j) = -2*j**2 + j + 11. Suppose -3*g - 3*g + 24 = 0. Let i be y(g). Is -18 bigger than i?
False
Let l = -3.7 + 7.7. Let c = l - 3.9. Which is smaller: c or -4/7?
-4/7
Suppose 0 = -g + 8 + 2. Suppose 12*v - g = 7*v. Let n = v + 2. Is 3 less than or equal to n?
True
Let n be (2 - -41)/(10/(-50)). Is -216 not equal to n?
True
Let g(p) be the second derivative of -p**4/12 - 5*p**3/6 + 7*p**2/2 - 11*p. Let b be g(-6). Which is smaller: b or 2/5?
2/5
Let p(y) = y**2 - 11*y - 10. Let u be p(12). Suppose u*l + 3*l = t - 5, -27 = 5*t + l. Let j be t/(-14) - 1/(-7). Is j at least 0?
True
Suppose -73*n + 318 - 26 = 0. Is n >= 60/17?
True
Let w = -0.0227 - 558.9773. Which is greater: -0.1 or w?
-0.1
Let z = 0.44 - 0.04. Let c = z + -0.4. Which is bigger: -1 or c?
c
Suppose 4*m - 150 = 3*t + 2*t, -t - 6 = 4*m. Is -26 equal to t?
True
Suppose -5*x = -15 - 20. Let a be x/(-28) + (-1)/(-4). Let k be 2/(2 + -4 - 0). Is a < k?
False
Let x = -163/2 - -82. Which is smaller: x or 0?
0
Let n = -520918 - -39590359/76. Let m = n - 31/4. Which is greater: 0 or m?
m
Suppose -25*s = 5*i - 23*s + 3148, -4*i - 4*s = 2528. Are -631 and i equal?
False
Let j(z) = -z**2 - 24*z + 91. Let d be j(-27). Suppose 4*s - 3*l = -d, 1 = 3*s + l + l. Which is greater: -1/35 or s?
-1/35
Let x = -31.125921 + 0.066921. Let f = x + 0.059. Which is smaller: -0.1 or f?
f
Suppose 5*k - 5 = 0, 83 = -3*a + 5*k + 30. Let x = a - -23. Is -2 at least as big as x?
False
Suppose 2*h + 3*o = 6 + 30, 3*h - 47 = -o. Let b = h - 5. Let r be b + -3 + (-2 - 0). Is 5 at most r?
True
Suppose -5*d + d = -108. Let j(g) = -g**2 - 3*g + 12. Let w be j(-5). Suppose d = -3*p - w*m, 3*p - m + 6*m + 18 = 0. Is -12 equal to p?
False
Let f be (-1)/(-2) - (-2)/4. Let q(z) be the second derivative of 5*z**3/6 + 12*z**2 + 15*z + 1. Let l be q(-3). Which is bigger: f or l?
l
Let p(t) = -10*t + 10. Let c be p(3). Let a = c + 19. Is -1/17 at most as big as a?
False
Let o be 30/(-4)*32/(-40). Suppose -2*j = j - o. Let r be 41/(-63) - j/(-9). Is -1/3 less than or equal to r?
False
Let n be 4*(2 - 35/20). Let d = n + -8. Suppose w + 2*u + 28 = -3*w, 0 = 5*w + 4*u + 35. Is d <= w?
True
Suppose -3036 = -22*y + 2882. Which is smaller: y or 270?
y
Let z be 11381/(-12122) + 2/(-11). Let a = z + -3097/290. Which is smaller: -12 or a?
-12
Let v = 968 + -45491/47. Which is bigger: v or -1?
v
Let m be 6/(-4)*(2 - 4). Suppose -4*h + m = -13. Let z be (-1)/h - 45/12. Is z at most -4?
True
Suppose -4*w = -2*p + 570, -6*p + 7*p - 1 = 0. Is -143 less than w?
True
Suppose -2*d = -69 + 5. Let o = d + -31. Which is smaller: o or 2/19?
2/19
Let y(m) = -6*m**2 + m. Let g be y(-1). Let u = -7 - g. Which is smaller: -0.2 or u?
-0.2
Let g = 214 + -213. Which is smaller: -16 or g?
-16
Let h = -32.027 + 0.027. Let z = h - -10. Let m = -16 + 15. Is z at least as big as m?
False
Let n = 21441 + -158774. Let u = 27878699/203 + n. Let g = 6/29 - u. Is g >= 0?
False
Let n = -5 + 8. Let t be n + (-1 - -1)/5. Is 1 at most as big as t?
True
Let g = 515/26 + -55/52. Let y = -381/20 + g. Let c = 3 - 2. Which is smaller: c or y?
y
Suppose -49*p - 6 = -43*p. Are p and -1/3349 nonequal?
True
Let s(b) = -30*b. Let w be s(-1). Suppose -5*k + 138 = 7*l - 10*l, -3*k = -2*l - 82. Is k greater than or equal to w?
True
Let y be (2/5)/(517/33 + -15). Suppose 2*j + 2*j = 0. Is y bigger than j?
True
Let y = -6 + 12. Suppose y*q - 3*q = 0. Let c be (-24)/52 + q/5. Is c equal to 1?
False
Let a be -4 - -1 - -6 - (43 - 356). Does 316 = a?
True
Suppose 5*z = -4*u + 6, z + 4 = 3*u - 10. Let s = -4/27 + -11/108. Let b = s + -1/4. Which is bigger: z or b?
b
Suppose m - 5*m = -y - 10, -4*y = -m + 10. Let s be 5/m*(-8)/10. Which is smaller: 2 or s?
s
Suppose -3*g = -0*p + 2*p + 22, 26 = -4*g - 2*p. Let o be (-3)/(-2)*(-96)/g. Let l = o - 107/3. Are 2 and l non-equal?
True
Let t = 13.27 + -11.7. Let g = t - 0.17. Let f = g - 1.5. Is -0.07 >= f?
True
Let c = -7523 + 52495/7. Let q = c - -615/28. Is q less than -3?
False
Let y = 3328 + -2438. Is 890 bigger than y?
False
Let p = 265 - -252. Is 516 less than or equal to p?
True
Let x = 1484 + -1465. Which is smaller: 20 or x?
x
Suppose -11*z = -7*z - 116. Suppose 4*f + z + 11 = 0. Which is smaller: -9 or f?
f
Let i(m) = -15*m**3 + 2*m**2 - 2*m - 1. Let u be i(2). Let s = 821/7 + u. Let g be 37/(-5) - 4/(-10). Is s at least g?
True
Let f(b) = -b**2 - 9*b + 12. Let m be f(-10). Suppose -2*n = -3*n - 5, -m*n - 10 = 4*x. Suppose x = 4*r + r. Are r and -1/13 equal?
False
Let k = 269 - 427. Is -160 < k?
True
Let u be (-238)/(-10) + (-12)/15 + 1. Are 24 and u non-equal?
False
Let g = -93 + 186. Is g equal to 0.1?
False
Suppose 0 = 5*q - 12 + 2. Suppose -5 = 4*p + 5*y, -5 = -q*p + 3*y + 2*y. Let a = 133/15 + -46/5. Is a greater than or equal to p?
False
Let l be (-3)/(-6)*(-2)/25. Let z(k) = k**3 - 12*k**2 - k + 12. Let g be z(12). Which is greater: l or g?
g
Let r(o) be the first derivative of -o**4/4 - 8*o**3/3 + o**2 - 4*o + 10. Let u be r(-8). Let g be (-24)/u*(-25)/10. Is -3 bigger than g?
False
Let p(k) = -k + 7. Suppose d - 5*f - 20 - 11 = 0, 2*d = -f + 7. Let w be p(d). Which is bigger: -0.1 or w?
w
Let p = 19/2 + -10. Let l = 76.4 - 89. Let a = -13 - l. Is p bigger than a?
False
Let s(j) = j**3 - 3*j**2 - 7*j + 7. Let a be s(4). Let r = a + 4. Which is smaller: 1/23 or r?
r
Let n be (12/3)/(0 - 204/(-134848)). Let r = 2644 - n. Which is smaller: -1 or r?
-1
Let i(m) = m**2 + 3*m + 6. Let x be i(-5). Suppose 5*d + 5*f + 10 = 0, 0 = 2*d - 0*d - 2*f - x. Suppose -d*y + 2 + 10 = 0. Which is smaller: y or -1?
-1
Suppose -2*m - 4*r - 2 = 0, 7 = -m - 3*r + 5. Is m bigger than 4/175?
True
Suppose x + 2*h + h = 2, 0 = 2*x + h + 1. Let b be 24/(-40) - (-632)/1070. Which is smaller: b or x?
x
Suppose -6*k + 14*k - 64 = 0. Are 6 and k unequal?
True
Suppose -2*h - 2*b - 246 = 0, -h = 3*h - b + 482. Is -121 != h?
False
Let w = -26 + 26. Suppose -r - 24 + 2 = w. Let s be (r/(-24))/11*3. Are s and 2.1 nonequal?
True
Suppose 2*z = 3*h + 5, 2*z + 4 - 2 = -4*h. Let p = -367/426 - -2/71. Which is bigger: p or h?
p
Let w = 7/48 - 481/2640. Let h be 2/(-4)*(-3 - -5). Is w greater than or equal to h?
True
Suppose -2678 = 2*y + 4*z, -2*y + 5*z = -6*y - 5362. Which is greater: y or -1344?
y
Suppose -5*d = -d - 32. Let y be 15/(-12) - (-2)/d. Let i = 4043/14 + -289. Which is greater: y or i?
i
Suppose 5*f = -3*u - 2887, 0 = -4*f + 24*u - 25*u - 2311. Is -578 at least f?
True
Suppose 3*k - 4*m - 1 = 37, 0 = -2*k + 2*m + 24. Suppose -3*s + s = -k. Let n be ((-12)/s)/(-1) + -2. Which is bigger: 0 or n?
n
Suppose d + 2 + 5 = 0. Let m(i) = 3*i + 18. Let c be ((-10)/6 - 1)/(20/60). Let b be m(c). Which is smaller: b or d?
d
Suppose 9256 + 8114 = -15*u. Is u smaller than -1157?
True
Suppose -6*m - 5 = -5. Is -66 greater than m?
False
Let s be (13 + (-314)/4)/(1/(-6)). Which is greater: 396 or s?
396
Let s = -330 + 9568/29. Let q(d) = -d**2 + 4*d + 6. Let z be q(5). Which is smaller: s or z?
s
Let h be -1*1 + (-946)/99 + 11. Which is bigger: h or 0.2?
h
Let m(g) = g**3 + 5*g**2 + 4*g - 2. Let t be m(-4). Let n be (t/6)/((-1)/3). Which is smaller: 2/169 or n?
2/169
Let p = -34 - -62.