Let z(g) = -g**2 - g. Let y(r) = -8*r**2 + 2*r - 5. Let i(s) = y(s) - 5*z(s). Let v be i(5). Is f bigger than v?
False
Suppose 21*u - 22*u = 7. Let x be ((-1)/86)/(9 + u). Is x not equal to 1?
True
Let o = -281/13 + 21757/1027. Let z = 1848/4661 + o. Which is smaller: 0 or z?
z
Suppose -2*h + 36 = 3*h - 2*d, 4*h - 2*d - 28 = 0. Suppose 10*m - 8*m = h. Suppose -5*q - m*i = 42, -3*i = -5*q - 53 - 3. Is q at most as big as -9?
True
Suppose -20*n = -17*n - 21. Let u(y) = 3*y - 6*y + 3 - 5*y + y**2 + 1. Let g be u(n). Is 0 at most g?
False
Suppose 6*f - 283 = f + 722. Which is bigger: 3810/19 or f?
f
Let r = -41153 - -453344/11. Let s = r + -60. Is 0 equal to s?
False
Suppose -4*j = -4*d + 52, -2*j + 58 = d + 4*d. Suppose -6*s + d = -7*s. Let l be s/10*(-140)/(-42). Is l >= -10?
True
Let r = 21 - 45. Let p = r - -23. Let f be (1/(4/68))/p. Is f greater than -17?
False
Let i(t) = 0 - 4 + 8 + t. Let y be i(-3). Let d be -2*4*((-14)/(-6) - y). Which is smaller: -11 or d?
-11
Let o = -43 - -47. Let w(d) = -d + 6. Let k be w(o). Suppose 0 = k*h - 7*h + 3*z, -4*z = 0. Do 0.03 and h have the same value?
False
Let k be -28*(-36)/62370*5/2. Is k at most as big as -1?
False
Let l = 146 + -142. Suppose -x + l*z = 22, 0 = -x + 6*x + 2*z. Which is smaller: 16 or x?
x
Let y be (-7)/(-35) - 109/(-30) - 2. Suppose q = -5*n + 1, 0*q - 3 = 4*n - 3*q. Let i be n + (1 - 0) - (-3 - -2). Is y at least i?
False
Let z = 4 - 3. Let f be (12112/(-64))/((-598)/(-8)). Let a = f + 60/23. Is z less than or equal to a?
False
Let c = 65 - 64. Let q be (4/(-24))/(c/(-57)). Let i(b) = 2*b**2 + 12*b + 11. Let d be i(-6). Is q != d?
True
Let k = -54417/169 + 322. Suppose 9*a - 10*a - 1 = 0. Which is greater: a or k?
k
Let l = -1.27 + 0.54. Let r be 1200/1575 - (-9)/(-21). Which is bigger: l or r?
r
Let v be (-2022)/((-12)/(-90) + 0). Let j be (-2)/(-5) + 6156/v. Does -1 = j?
False
Suppose 0 = 7*l - 1 - 13. Suppose 0 = l*z, -5*c + 2 = -5*z + 7. Is 2/871 >= c?
True
Let k = -839 + 843.897. Let m = -0.103 - k. Which is smaller: m or 0.53?
m
Suppose 5*f + 12 = p, 4*f + 36 = p + 5*f. Let z be 15/(-100)*p/(-60). Let q(d) = -2*d**3 + 2*d**2 - 1. Let t be q(1). Is z at least as big as t?
True
Let a = 2.11 + 14.29. Let u = a - 16.5. Suppose -4*i - 11 = 1. Which is smaller: u or i?
i
Let u = 188 + -199. Which is bigger: -58 or u?
u
Let g(x) = -4254*x + 51047. Let i be g(12). Suppose 5*w - 86 = 5*u + 2*w, -5*w + 90 = -5*u. Is i at most u?
False
Let j = 5426 + -4435. Which is smaller: 994 or j?
j
Let g be (72/(-15)*-16)/(2/25). Suppose 3*y + 4*r - 576 = 0, 5*y - 2*r = -6*r + g. Is 192 >= y?
True
Let x = -2088 + 2311. Which is greater: 212 or x?
x
Let o(x) = 6 + 5*x**2 - 6 - 2*x**2 - 2 - 16*x. Let w be o(5). Let q(i) = -i**2 - 2*i + 23. Let p be q(w). Which is bigger: p or 2/3?
2/3
Let f be (9/(-27))/((-1)/(-9)). Let r be (-5)/f - 1 - (-4912)/48. Let j = 121 - r. Which is bigger: 16 or j?
j
Suppose 2884 = 2*c - 6*q - 1088, 4*c = -2*q + 7846. Which is greater: c or 1967?
1967
Let j = 0.08778 + 81.93222. Let y = j + -2.02. Does -1 = y?
False
Suppose -11*d + 30 + 14 = 0. Let r be (3 - (15 - d)) + 9. Let b = 5 - 19. Which is smaller: b or r?
b
Suppose 0*j - 3*j = 0. Suppose j = 5*y - 10 - 5. Let r be y - 4 - (-39)/33. Which is smaller: r or -1?
-1
Let r = 13/11223 + -98561/65710665. Is 0 equal to r?
False
Suppose -i + 2*i - 3*j = 16, i - 24 = 5*j. Suppose -7 = g + 8*l - 4*l, i*g + 123 = 3*l. Is g < -129/5?
True
Let w(a) = -237*a**2 - 1196*a + 19. Let u be w(-5). Are 2170/29 and u equal?
False
Let x be (-415)/(-10) - (-6)/(-4). Suppose -x = -5*k - 5*d, -3*d + 0*d + 9 = 0. Suppose -k*u + 2*y = -158, -3*y + 0*y + 48 = 2*u. Is u equal to 30?
True
Suppose 3*l = -4*u + 1, 5*l - 2 = 2*u - 9. Let r be ((-5)/(1780/(-16)))/(-2). Is l less than or equal to r?
True
Let m = -34.77 + -105.23. Which is smaller: m or -1/11?
m
Let w(o) = -17*o - 83. Let g be w(-5). Suppose 22*k - 13 = -3*i + 26*k, -g*i - k = 6. Is 3 bigger than i?
True
Let f be (-4 - -5)/((-274)/4). Suppose 16*y = 543 - 527. Is y at least f?
True
Suppose 0 = -6*o - 113 + 131. Suppose -o*d = 378 - 243. Which is smaller: d or -47?
-47
Let i = 42 + -35. Suppose -i = -4*w - 27, 0 = -5*u - 2*w. Suppose -y - 4*j - 62 = 0, -u*y - 5*j = 49 + 90. Are y and -81 nonequal?
True
Let j = 824.9 - 825. Is -1585 at most j?
True
Suppose 102*j + 670 = -42*j + 10*j. Suppose c + 0*s = 3*s - 20, -5*c = -s + 44. Let b be ((-2)/(c/9))/(j/(-20)). Do b and 10 have the same value?
False
Let c be (-2388)/(-152) - (-26 - -28). Let x be ((-54)/(-4) - -1) + -1. Let q = x - c. Is 1 > q?
True
Suppose 0 = 5*d - 2*r - 2287, d - 106*r = -108*r + 443. Which is greater: 456 or d?
456
Let i = 1537459/65 + -23652. Which is smaller: i or 1?
1
Suppose 5*w - 46 = -4*c + 37, 3*c + 5*w = 56. Suppose c*f - 17 = -44. Which is smaller: 12/31 or f?
f
Let c = -54766.66 - -54767. Let z(i) = 51*i**2. Let r be z(-1). Let o = r + -203/4. Are c and o nonequal?
True
Let c = 4.08 - 4.16. Which is greater: -95 or c?
c
Let a(q) = -225*q + 2503. Let k be a(12). Do k and -208 have the same value?
False
Let x = -6771 - -6770.0682. Let n = 0.0682 - x. Is n at most 2.42?
True
Let h(r) = -7*r - 43. Let q be h(-6). Let d be (q + 11)*2/4*1. Let j = 16 - 9. Which is greater: j or d?
j
Let a = -0.222 + 5.222. Let x = a - 3. Is 1/213 >= x?
False
Let q = 650/37 + -976987/55611. Are 1/3 and q unequal?
True
Let n = -4.46 + -249.54. Let t = n + 259. Which is greater: t or 3/10?
t
Let v(f) = -f**3 + 2*f**2 + 11*f - 7. Let d be v(4). Suppose 5*z = p - 6, 5*p = p - d*z + 99. Let u = -108/5 + p. Which is smaller: u or 2/5?
u
Suppose 0 = 33*c - 7*c - 427 + 3469. Is -13 at least c?
True
Let u = 6107/13 + -470. Let p = 38 + -38. Is p at least as big as u?
True
Let m be (3 - 1)*(-51041)/(-86). Which is greater: 1185 or m?
m
Let j(h) be the third derivative of 11*h**4/24 + 5*h**3/2 + 37*h**2. Let n be j(-4). Let c = 187/6 + n. Which is greater: c or 2?
c
Let g(w) = -w**3 + 134*w - 2. Let a be g(11). Suppose 8*p - 619 = 509. Is p > a?
False
Let d = -0.35 - -0.45. Let u = -29.9 - -11.9. Is u at most d?
True
Let s be (-6)/(-3802) + 20/(-70) - (-6)/21. Do 1 and s have different values?
True
Let d be (-4008)/1000 + -19 + 23. Is 1 smaller than d?
False
Let p be (-3)/(-12) + 447/(-1404). Let g = -92625 + 92625. Which is greater: p or g?
g
Let r = 35 - 32. Suppose -5*x = -25, 5*x - 19 - r = -g. Let z(m) = 25*m + 221. Let b be z(-9). Do g and b have the same value?
False
Let y = -20721/3316 + -1/829. Let u = -93/20 - y. Which is smaller: u or 2/3?
2/3
Let a be (-268)/(-335)*(117/66 + -2). Which is smaller: a or 0.113?
a
Let q = -177 + 297. Suppose 4*v - 508 = 2*o, v - 3*o = 2*v - q. Let x be (-12)/42 + 8/v. Is -1 at least as big as x?
False
Suppose 10 = 2*a - 28. Suppose 12 - a = -w. Which is smaller: 3 or w?
3
Let w be (6/9*-2)/((-2)/3). Let a be w/(-5) + (-390)/(-600). Let m = -25 - -8. Is a less than m?
False
Let x(h) = -41*h**3 + 7*h**2 - 47*h + 99. Let l be x(2). Suppose -4*z + 0*z = 1180. Is l > z?
False
Let b be 3*((-4 - -2) + (-70)/(-21)). Let n be (44/(-77))/(b/14). Let q be 0/7 - (n + 2 - 3). Is 8/3 less than q?
True
Let a(b) = 2*b**2 + 15*b + 16. Let m be a(-6). Let n be (-3)/(-4)*(-224)/133. Which is smaller: n or m?
m
Let z = 11788 + -12009. Which is bigger: z or -1109/5?
z
Let n(p) = 2*p**2 + 117*p - 60. Let b be n(-59). Let z = -34.8 + 5.8. Let h = -70 - z. Which is smaller: b or h?
h
Suppose -344*d - 43192 = 37236 + 16236. Suppose -549 = 5*g + 851. Is d smaller than g?
True
Let v = 24.9536 - -0.0464. Let i = v + -25.19. Let r be 3*(38/18 - 2). Is i <= r?
True
Let k be (-52652)/35 - 294/343. Which is greater: k or -1506?
k
Let b = -1100237/11 + 99863. Which is bigger: -160 or b?
b
Let m = 27 - 50. Let o = -6 - -29. Let t = m + o. Which is bigger: -0.09 or t?
t
Let m be (-2)/10 - 137/5*(68 - 71). Is 77 != m?
True
Let h = 1981.14 - 1982.14. Let m = 46.51 - 46. Is m less than h?
False
Let a(v) = -2*v**3 - v**2 + 4*v + 7. Let q be a(-2). Suppose 6*z + q = 65. Suppose -z*u = u + 110. Is -1/5 not equal to u?
True
Let h be 474/4*((1 - (-637)/(-39)) + 6). Which is greater: h or -1105?
-1105
Let a(g) = 3*g - 20. Let y be a(7). Let r be 4/(-2) + (7 - y) + 2. Let w be ((-11)/(-20))/(r/48). Which is bigger: 4 or w?
w
Let o(g) = g**2 