4407/40. Is n > -1?
True
Suppose 2*u - o - 2 = 7, 0 = -u + 3*o + 2. Let b(l) = l**2 - 6*l - 11. Let t be b(u). Suppose 4*h + 68 = -4*s, 0 = 4*s - 0*s + 2*h + 66. Is s smaller than t?
False
Let j be (-2)/(-9) + 3723/(-16713). Is 0 < j?
False
Let m = -5 - 11. Let s = 6 + m. Let q = s - -9.8. Is q less than or equal to 3?
True
Let n = 64426 - 64468. Let c be 2/6 - 112/3. Which is smaller: n or c?
n
Let u(z) = -z**3 + 33*z**2 - 138*z - 11. Let q be u(5). Is q greater than -5/153?
False
Let p = 76.32 - 80.94. Is -1 greater than p?
True
Let y be (10398/329552)/(-5 + (-68)/(-10)). Let q = y + -1/11496. Is 1 not equal to q?
True
Suppose 21*h = 15*h - 12. Let k be (12 + -4)*1/h. Is -4 greater than or equal to k?
True
Let u be ((-12)/135)/((-3)/(-15)). Let r = 3013/9 + -335. Is u at least as big as r?
False
Let w = -490.2 + 3104.2. Is w bigger than -1?
True
Let c = -365 + 342. Suppose -9 = 5*b + 1. Is c != b?
True
Let h = 179.423 + -0.423. Let w = h - 197. Which is greater: -2/11 or w?
-2/11
Let r = -1130 - -1124.81. Let t = r + 4.89. Let p = 2 - 0. Is p at most t?
False
Let w be 9/(-45)*-15 - -1. Let x = 3 + 3. Let v = -3 + x. Which is smaller: v or w?
v
Let h = -318.5 + -78.5. Which is smaller: 0 or h?
h
Let n be 79028/(-414) + (-30)/27. Is n != 9?
True
Let y be (-12 - -848)/(-1*(1 - 2)). Let b = y - 1316. Let i = b - -8151/17. Is i less than -2?
False
Let a = -2/821 + 825/1642. Which is greater: a or 206?
206
Let b(n) = n**2 - 150*n + 2263. Let w be b(133). Is w smaller than 252/137?
False
Suppose -2 = -15*x - 32. Let r be 7 - (49/x + 3). Suppose -2*n = -4*n + 60. Which is smaller: r or n?
r
Let g = 23283 - 23279. Do 1.149 and g have the same value?
False
Let k = 15243 + -15244. Is 21189 != k?
True
Suppose -32*m = 83149 + 21875. Do m and -3282 have the same value?
True
Let s = -143.19 - -2540.19. Which is greater: s or -2?
s
Suppose 4*x - v = -37, 3*x - 5*v + 24 = -3*v. Let i(g) = -2*g**3 + 29*g**2 - 350*g + 4696. Let d be i(14). Which is smaller: x or d?
x
Suppose 12*j - 10*j = -3*t + 39, 2*j = 5*t - 49. Let x = 58 + -88. Let w = -29 - x. Which is greater: w or t?
t
Let v be (-111)/12 + 1 - (-4)/16. Let i be (-1080)/30*v/22. Which is smaller: 14 or i?
i
Suppose 4*r - 203 + 47 = 0. Let o = r + -41. Let g be 5/((-5)/o) + 80/(-10). Is -7 > g?
False
Suppose 4*p + z = 6*p + 6, 5*p + 17 = 3*z. Let s = -242710183/38 - -6386440. Let u = -670 - s. Which is greater: p or u?
u
Let d = -7088 + 7092. Let v = 5 - 10. Are v and d equal?
False
Suppose 1011 = 2*x + 1183. Suppose 57 = 23*o - 35. Which is smaller: o or x?
x
Let h = 16627/1413 - -5/471. Let w = -2414 + 2425. Which is bigger: h or w?
h
Let k(y) = -y**2 + 71*y - 529. Let n be k(61). Which is smaller: n or 60?
60
Suppose 3*p + 14 = 5*a, 5*p + 64 = -a - 6. Suppose -61 - 51 = 8*k. Which is greater: p or k?
p
Let n be 5 + -4 + ((-6)/80)/((-78)/598). Which is greater: 1 or n?
n
Let i(g) = 2*g**2 + 23*g + 32. Let j = -128 - -118. Let t be i(j). Suppose 0 = -6*o + o. Is o != t?
True
Let p = 118161677/25245 - -14/5049. Which is smaller: p or 4682?
p
Let o = -8864/7 + 1271. Let c = 15469 - 15469. Which is greater: c or o?
o
Suppose 104*j + 19*j = -369. Suppose -n = -6*n + 25. Suppose u - 2*s + 18 = 3*s, 14 = -3*u + n*s. Is j > u?
False
Let v be (-874)/(-3) - 4/(-6). Let m be (458 - 457) + (4340/15 - (-2)/3). Is v less than m?
False
Let z be ((-8)/(-8))/((-5)/((-10)/(-4))). Let t = -5208431/457 + 11397. Which is greater: t or z?
t
Let n = -3066 - -3654. Which is bigger: 586 or n?
n
Let x = 3890 + -3824. Which is bigger: x or 4/3?
x
Let h = -23.98 - 3.52. Let x = -176.5 - h. Which is smaller: -2 or x?
x
Let g = 26.8858 + 0.1142. Let u = 26.953 + 0.047. Let m = u - g. Is m bigger than 49?
False
Let j = 5281 - 3957. Which is smaller: j or -3/4?
-3/4
Let s = -95.4 - -38. Let z = s + 49. Let m = 24.4 + z. Is 0 at most m?
True
Suppose j + 5 = 6*j. Let n = -2203/9 - -2099/18. Let z = n - -128. Which is smaller: z or j?
z
Let n = 92.45 - 92. Let k = n - 1.45. Let m = 11 - 9.5. Which is bigger: k or m?
m
Let k = 23 - 19. Let r(t) = -t**2 + 9*t - 12. Let j be r(k). Suppose 3*o + 100 = j*o. Which is smaller: 21 or o?
o
Let m = -340.4 + 362. Let y = -21.9 + m. Let w = 8.9 - 9. Which is bigger: y or w?
w
Suppose 0 = 2*g - 6*g - 6212. Let n be 4 - 742/7*g/(-41790). Let v = -14/199 + n. Is 1 less than or equal to v?
False
Let o(q) be the first derivative of 7*q**3/3 + 3*q**2 + 3*q + 20. Let h(d) = -1. Let l(b) = -4*h(b) - o(b). Let i be l(-2). Is -0.1 greater than or equal to i?
True
Suppose 4*f - 18*f + 183*f = 10985. Is 79 at least f?
True
Let o = -35016739 + 44156114538/1261. Let i = 25/97 + o. Is 7 less than i?
False
Suppose -2*a = -5*k - 27 - 7, 0 = -5*a - k + 58. Suppose -20*n + 32 = -a*n. Let j be (-2)/((4/(-16))/((-2)/n)). Which is smaller: 20 or j?
j
Let z = -298705 - -298704.74. Let f be (-2)/21*-1473 - 0. Let r = f - 140. Which is smaller: z or r?
z
Let h(o) = -485*o**3 - 21*o**2 + 73*o - 26. Let d be h(3). Is -13091 > d?
False
Let u be -4 + 0 + 3 + -14. Let a = -32 - u. Suppose -4*o + 14 - 82 = 0. Is a greater than or equal to o?
True
Let k be 180/24*(-4)/6 + -244. Let z = 260 + k. Is 11 not equal to z?
False
Let g = -58 + 199. Suppose -13*y = 3*f - 10*y + 87, -4*f + y = g. Which is smaller: f or -101/3?
f
Suppose -45 = -116*c + 125*c. Which is bigger: c or 117?
117
Suppose 945*r = 805*r - 23660. Which is smaller: r or -677/4?
-677/4
Let k = -2/53 + 57/106. Let z = -397 - -439. Are z and k nonequal?
True
Let d(v) = v**2 + 14*v - 350. Let r be d(-27). Is r >= 114/97?
False
Let t = 52289/4046 - -84/289. Let n = -85/14 + t. Suppose -2*h = 3*h - 30. Is n equal to h?
False
Let c(i) be the second derivative of 11*i**3/6 + 121*i**2/2 + 41*i. Let s be c(-5). Is s greater than 64?
True
Let w be 711/(-81) + 6/(-27). Let u(a) = -3*a - 29. Let o be u(w). Is o < 192?
True
Suppose 9*y + 5*t = 4*y + 65, 9 = -3*t. Suppose 2*z = -2*s - 0*z + y, s + 3*z = 12. Let a be (460/(-32) - -2)/(s/(-4)). Which is smaller: a or 7?
7
Let s = -511 + 513.83. Let u = 0.23 - s. Let t = -21068 - -21070. Do t and u have different values?
True
Let i be 108/4152*(36/414 - 136/(-23)). Do i and 0 have different values?
True
Let u = 132 - 131. Let b be (30/(-15))/(u*2) + -1. Which is bigger: b or -18/7?
b
Suppose 13 - 22 = 3*d. Let x be 12/(-248)*(d - 5/(-3)). Is 1 at most as big as x?
False
Let r = 33/454 + 31/1135. Is -271/3 bigger than r?
False
Suppose 0 = 6*g - 16*g - 50260. Let p be g/70 + 2/(-10). Are p and -73 equal?
False
Let z(t) = t**2 - 10*t + 1. Let w be z(5). Let d be 26331/(-54365) - 2/(-5). Let m = -3749/166 - d. Is w < m?
True
Let l = 5232.025 - 5340. Let z = l - 0.025. Which is greater: 2 or z?
2
Suppose -2*u = m + 77, 2*u + 376 = 4*m + 294. Let w = -4234 - -29364/7. Which is smaller: u or w?
w
Let c(t) = t**3 - 17*t**2 - 70*t + 937. Let f be c(18). Are 8/463 and f non-equal?
True
Let y = -1438341/2 + 30237745/42. Let m = y - 776. Let j(c) = -c + 4. Let h be j(3). Is h bigger than m?
True
Let n = 1451/28 + -312/7. Let w(m) = 25*m**3 + 6*m + 21. Let s be w(-2). Let u = s + 197. Do u and n have the same value?
False
Let p(n) = -n**3 + 13*n**2 - 12*n + 5. Let d be p(12). Suppose -d*w = -13*w. Suppose w = -8*u + 13*u. Which is smaller: -12 or u?
-12
Suppose -b = 5*x - 540, 2*x - 4*b - 42 = 152. Let w = x + -103. Let h be 20/4*(-1)/(-5). Do h and w have the same value?
False
Let p be (-1536)/84 + 4/14. Let j be (p/12)/(3/12). Let d be -1*(-2 + j/(-2)). Which is smaller: -4/5 or d?
d
Let p(z) = -19*z - 27. Let q be (-34)/8 + (-6)/8. Let u be p(q). Suppose 168 = -4*v - u. Are -59 and v non-equal?
False
Let d be (-30)/(-63672)*7*8. Let p be -2 - (2 - (-326792)/(-82622)). Let q = d + p. Is q > 0?
False
Suppose 3*o = b - 250, -4*o - 331 = 76*b - 77*b. Which is greater: -161 or o?
o
Let u(j) = -j**2 + 17*j - 59. Let r be u(6). Let h be 3/(-12) + r/84. Is -17 smaller than h?
True
Suppose 71*b + 411*b + 253286 - 934352 = 0. Is b greater than 1412?
True
Let s = -3/10283 + 606817/411320. Which is smaller: s or 1?
1
Suppose 0*m - 190 = -19*m. Suppose -2*b = -m, -3*a = -2*b + 2 + 11. Which is greater: 6/55 or a?
6/55
Let a = 0 - -0.5. Let g = 222.77 - -12.23. Let u = 237 - g. Which is smaller: u or a?
a
Suppose -413 + 7 = -m. Let w be 12/14 + (-348)/m.