s w smaller than s?
True
Let o be 57/114 - (-1)/(96/(-58)). Let t = 105 + -1681/16. Let w = t + o. Is -1/5 != w?
True
Let v = -11 - -15. Suppose -16 = v*i + 3*q, -2*i + 4*q = i - 13. Let l be ((-2)/(-12) - 0/(-8))*8/62. Is l greater than or equal to i?
True
Let o = -208 + 182. Let p be (2/(-3) + -2)*(-117)/o. Is p greater than or equal to 4/9?
False
Let u = -8 - -13. Suppose -3*y + u*m + 51 = 0, 6 = 2*y + 5*m - 28. Let k be (-12)/(-14)*(y/3 + -1). Which is smaller: 2 or k?
2
Suppose 185*x - 541*x - 12092 = 4996. Suppose -3*m - 3*h = 9, 0 = 3*h - 4*h - 5. Suppose g - t = m*g + 51, 215 = -5*g + 3*t. Which is smaller: g or x?
x
Let p = -49.7 - 1.3. Let w = p - -50.9. Let v = -95 - -160. Which is smaller: v or w?
w
Let z = 29 - -110. Suppose -49*s + 3941 = -2968. Do s and z have the same value?
False
Let j = -4.1 + -138.9. Let o = -245 - j. Let m = o - -84. Is -1 greater than m?
True
Let s = 7.98 + -520.98. Let l = s - -515. Which is bigger: l or -44?
l
Let n be (2 + 64/(-20))*400/1040. Let k = -5 - -5.6. Which is smaller: k or n?
n
Let k = -107 - -186. Let q = 80 - k. Which is greater: 0.22 or q?
q
Let c(m) = -m**2 - 17*m - 10. Let z be c(-18). Let h(i) = -i**3 - 6*i**2 - 3*i + 4. Let l be h(-4). Let s be (l - -18)/((-2)/29). Which is smaller: z or s?
s
Suppose -10 = 5*k - 5. Let s be (-1 + 6/4)/(37/(-4070)). Let h be ((-2)/13)/(s/(-495)). Which is smaller: k or h?
h
Let s = -14028 - -14028.0785. Which is bigger: s or -0.7?
s
Let v = -21.937 - -138.937. Is 0.37 equal to v?
False
Suppose 0 = 776*n - 782*n - 48. Is n >= -4?
False
Suppose 5*p - 60 = -5*v, 5*v - 1 + 13 = p. Suppose 0 = -p*a + a + 11. Which is smaller: 4/135 or a?
4/135
Let h = -416.07 - -395. Let p = h + 21. Let a = 3.81 - 0.81. Is p smaller than a?
True
Suppose 8*q = 13*q - 5*z + 15, 5*q - 2*z = -3. Let s be 3/(-105) - (4 - 4). Which is smaller: s or q?
s
Let c = -404 - -590. Let g = 187 - c. Is 2/43 at least as big as g?
False
Let q = -38 - -116/3. Let t = -0.29212 + 0.05212. Which is bigger: t or q?
q
Suppose -9*h + 4509 = -2*l, 4*l - 2*h = 3*h - 9031. Is -2260 <= l?
True
Let p = -12349 - -12348. Which is smaller: p or -1/3371?
p
Let x be (-72520)/(-8890) - (9 - (2 + -1)). Which is greater: 0.1 or x?
x
Let u = 13 - 18. Let m be (-6)/9 + (-2)/(-3). Let s be m/(0 + 1) + (-2)/(-5). Is u greater than s?
False
Let n = -794 - -1098.3. Is n smaller than 2/3?
False
Let y be ((-3352)/(-7))/(-4) + (-465)/(-651). Are y and 0 nonequal?
True
Let v = -235 + 244.2. Let r = -33.2 + 27. Let o = r + v. Which is smaller: 9 or o?
o
Let h be 135/6*(-10823)/(-395). Is 0 at most as big as h?
True
Suppose -5*r + 5*y = 50, 5*r + y + 41 = -3*y. Let i(k) = -k**2 - 11*k - 22. Let h be i(r). Let t be h/(-14) + (-396)/1435. Is t != 1?
True
Let a = -114/229 - 186983/2061. Is -90 <= a?
False
Let q = -10/40129 + 189881/923007129. Which is greater: 0 or q?
0
Let v be (-120)/150*(4 - (-61)/(-14)). Is -1.73 >= v?
False
Let y be (-2)/(-119)*(-7 - -6). Suppose -21*n + 22*n + 5 = -2*o, -o - 2*n - 7 = 0. Which is bigger: y or o?
y
Let i = 43 - 21. Suppose 25 = 3*l + i. Suppose 4 = 5*f - l. Do 2/9 and f have the same value?
False
Let z be (-3 + 1)*(207/18 + 5). Which is smaller: z or -25?
z
Let p be 27/15*(-956832)/312. Let n = p + 5520. Is -1 >= n?
False
Let n be 21 + -16 + (768/(-40))/(21/(-10)). Suppose i = -4*y + 5*i + 32, -3 = -y + 2*i. Which is smaller: n or y?
y
Let l = 1.58 + 1.37. Let g = -3.25 + l. Let w = -137/25 - -27/5. Which is smaller: w or g?
g
Let n(h) be the first derivative of -h**4/4 + 37*h**3/3 - 69*h**2/2 - 33*h + 50. Let v be n(35). Let y be 16/27*(-3)/(-2). Which is smaller: y or v?
y
Let u(x) = -2*x**2 + 18*x - 36. Let z be u(5). Let q be (1 + z)*6/(-30). Which is smaller: q or 19?
q
Let g = -5699 - -4899. Is -802 <= g?
True
Suppose -t - t + 7514 = -19*t. Which is bigger: t or -433?
-433
Suppose -92 = u + 3158. Let p = u - -497248/153. Is -1 < p?
True
Let f be (1*12/(-15))/((-16)/(-120)). Let k(d) = -3*d - 15. Let x be k(-5). Suppose x = 5*j - 7*j - 16. Is f bigger than j?
True
Let t = 157822820342/7 - 46556574255784/2065. Let u = t - 560652. Let g = u - -1/59. Is -2 <= g?
True
Let t = 77.65 - 3.65. Is -8 <= t?
True
Suppose -25*x = -89*x. Let v be -2 - (0 - 3/4). Which is greater: x or v?
x
Let w = -66 + 76. Let y(b) = -b**3 + 11*b**2 - 12*b + 16. Let c be y(w). Let a be (6/5)/(-1)*(-6)/c. Is a at most as big as 0?
True
Suppose -2*z = -2*f - 0*z - 32, -3*z = 3*f + 48. Let n = f + 19. Let l = -96/31 + n. Is -1 greater than l?
False
Let y(z) = -2*z**2 - 197*z - 2282. Let k be y(-91). Which is smaller: -2/21 or k?
k
Let m be (-42)/14 + (-7008)/(-2292). Is m bigger than 1?
False
Let n be ((-81954)/26)/(-1) + ((-775)/(-65) - 12). Is n >= 3152?
True
Suppose 3*w + 3*z = w - 318, w = -4*z - 154. Let c be (1/2)/(8/(-2592)). Are c and w unequal?
False
Let l = -2245 - -2247. Is l less than or equal to -0.002?
False
Let z(h) = -h**2 - 23*h + 46. Let t be z(-17). Suppose t = 2*c + 116. Is c < 20?
True
Let u = -27818 + 26663. Which is smaller: u or 3/5?
u
Suppose -4*w = -h + 3*h - 352, 2*h = -4. Suppose -5*u - w = 3*m, 0*m + 49 = -3*m + 5*u. Let x = -25 + 2. Is x <= m?
True
Let s = -17/339 + 10753/160347. Which is smaller: -1 or s?
-1
Let z(b) be the first derivative of -2*b**3/3 + 53*b**2/2 - 23*b - 318. Let t be z(24). Which is smaller: 96 or t?
96
Suppose 0 = -g - 2*t + 68, 5*t - 227 - 103 = -5*g. Let u be 474/8 + (-1)/4. Let s = g - u. Is 5 equal to s?
True
Let i = 36 - -222. Let d = i + -258. Which is bigger: -25/3 or d?
d
Let h = 1105 + -1104. Is h <= -149/3?
False
Let w be (-1)/((-28)/44) + 12/126. Let k = 2 - 1. Which is smaller: k or w?
k
Let f = 23 + 0. Let d = 3 + f. Let o be d/(-38) + -3 - -4. Is o < -1?
False
Let c be 8056/159*6/8. Which is smaller: 37 or c?
37
Suppose g = -g - 18. Let m be 14/((-4312)/2359) - ((-3)/4 + 2). Is m smaller than g?
False
Suppose 4*s - 23 + 17 = 2*n, -2*s + 4*n + 6 = 0. Which is bigger: s or -136?
s
Suppose -4100 = -78*g - 746. Is -9 less than g?
True
Let p = -0.878 + 85.878. Let n = p - -386. Which is greater: n or -1?
n
Let o = 7 - -31. Let s = o + -75. Let l = -37 - s. Which is smaller: -1/3 or l?
-1/3
Let d = -390 + 386.5. Which is smaller: 0.1 or d?
d
Let h(f) = f**2 + 15*f + 50. Let g be h(-5). Which is bigger: g or 81/170?
81/170
Let h be (-3165)/40*2*347/7. Let z = h - -32793/4. Let r = z + -353. Do 5 and r have different values?
True
Let x(o) = 5*o + 33. Let i(l) = -3*l - 16. Let p(s) = 7*i(s) + 4*x(s). Let w be p(12). Suppose w*k = 7*k - 1. Are -2 and k nonequal?
True
Let b = -1590 - -2640. Which is smaller: b or -3?
-3
Suppose b - 6 + 22 = 0. Suppose -2*v + 3*g + 249 = 0, 0*v - v = -3*g - 126. Let m = 107 - v. Is m bigger than b?
False
Suppose -k + 2*g + 0 = -3, 5*g + 10 = 5*k. Let l be (45/(-20) + 3)*16*15/(-522). Is k > l?
True
Let a = 1977/148 + -4/37. Is a at most 14?
True
Let t = -2967.2 + 2917.2. Are t and 28/9 unequal?
True
Suppose -71*q = -10*q - 26*q + 35*q. Is 7/1117 at least q?
True
Let k(n) = -n**3 - 29*n**2 - 26*n + 59. Let w be k(-28). Suppose w*r + 4 - 13 = -2*z, 3*z + r = 3. Which is smaller: 21/17 or z?
z
Let m = 2.7 - -15.3. Let a = -4/207 - -215/414. Which is greater: a or m?
m
Let p be -7 - 1100/(-140) - (-594)/(-203). Let r(j) = -j**2 + 13*j - 3. Let d be r(13). Which is smaller: p or d?
d
Let a be 24 - (-4)/(-2) - 2. Suppose -4*v = -8, 0*p + p + 2*v - a = 0. Which is greater: p or 114/7?
114/7
Let t be (124/(-341))/(18/(-16137)). Are t and 312 equal?
False
Let g(v) = -v**3 - 35*v**2 - 8*v - 326. Let r be g(-23). Which is bigger: -6491 or r?
r
Let x(p) = -3*p**3 + 54*p**2 + 3*p - 54. Let i be x(18). Which is smaller: 33/1027 or i?
i
Let m = 17.99309 - -0.00691. Let q(w) = -2*w**3 - 2*w**2 - 2*w + 2. Let n be q(3). Let c = n - -230/3. Is m at least c?
True
Let a = -6688 - -6688. Which is bigger: a or -11/45?
a
Suppose -4*g + 4 = 52. Let r be 48/g + 401/84. Let h = r - 3/28. Is 0 not equal to h?
True
Let v = -90730 + 90708. Let d = -1 + 1.1. Is d not equal to v?
True
Suppose 0*a - 2*a - 4*d = -2372, 4*d + 3508 = 3*a. Let z be 4 - (-2 - 53409/a). Let j = z - 411/8. Is j less than 0?
False
Suppose 0*k - 28 = -4*c - 4*k, c + 4*k - 22 = 0. Suppose -c*q - q = 48. Let m be (5/(-10))/(-3 + 103/34). Which is smaller: m or q?
m
Let h be (-103)