50. Is 0 smaller than g?
True
Let i = 40 - 83. Let t = -93 - i. Let c = -6 - t. Is 1/3 less than or equal to c?
True
Let a = -3/199 + 6337/50745. Are 1 and a equal?
False
Let l(v) = -12 - v + 9 - 3 - 4. Let p be l(-6). Let h = 211/2 - 109. Which is smaller: h or p?
p
Let h be 124/(-5)*5/2. Let g = 100 + -162. Is h equal to g?
True
Let n(w) = -12*w**3 + 55*w**2 - 8*w + 2. Let k be n(2). Which is greater: k or 891/8?
891/8
Let y be (-28)/(-190)*(956/1195 + 1426/(-1720)). Is 0 less than or equal to y?
False
Let s(k) = 6*k - 86. Let g be s(15). Suppose 0 = -3*d - 8 + 2, -2*v + g*d + 60 = 0. Is v at most as big as 26?
True
Suppose 7*m + 128 = 6*m - d, 3*m - 4*d = -356. Let c = m - -350. Are -0.1 and c non-equal?
True
Let c be (3/(-2))/((-78)/52). Let b(v) = 3*v**3 + 4*v - 5. Let x be b(c). Let n(w) = -w**3 + 9*w**2 + 3*w - 13. Let u be n(9). Which is greater: x or u?
u
Let y = -128 - -188. Let a = -55 + y. Is 11 greater than or equal to a?
True
Suppose -3*o = -139*o - 136. Which is bigger: o or -3/1295?
-3/1295
Let f = 25.19 + -26. Let h = 0.93 + f. Let a = -2.38 - h. Is a greater than 0?
False
Let r = 3620/19 + -14074/171. Which is smaller: 109 or r?
r
Suppose -29*q - 26*q = -594953 + 64698. Which is smaller: q or 9643?
q
Let m = 168 - 254. Let z be m - ((-4)/(-6) - 7/(-3)). Which is smaller: -87 or z?
z
Let n = -0.85 + 60.85. Let a = n - 58. Which is bigger: a or 3?
3
Let u = -34835/17 + 2050. Let l(g) = g**3 - 28*g**2 - 7*g + 196. Let t be l(28). Which is bigger: u or t?
u
Suppose -2*j = -14*j + 13 + 11. Are j and -6748 equal?
False
Let g = 26.353 + -27.353. Let k = 5.2 - 5. Which is greater: k or g?
k
Let z be -18 - -1 - (566 - 573). Let q = 0.1 - -0.4. Which is smaller: z or q?
z
Let z = -55/121632 + -3/2896. Is z < 0?
True
Let q = 2225 - 33389/15. Suppose 9*a - 14*a = 0. Suppose 3*h + a*h = -4*p + 5, p = -5*h - 3. Which is smaller: q or h?
h
Let g(m) = 8*m + 32. Let r be g(-4). Suppose -82 = -3*j - 2*i, 5*j + 5*i = -r*i + 145. Suppose -25*v = -j*v + 17. Which is greater: v or -12?
-12
Suppose -3*p + 3*k = 5*k - 98, -k - 56 = -2*p. Suppose 0 = 2*x + 22 - p, -3*g + 2*x - 728 = 0. Which is smaller: 2/7 or g?
g
Let z = 381 + -394. Which is smaller: z or -37?
-37
Let u = -269 - -267. Let g be u*(-2 + (-6)/(-4) + 1). Is g less than 3/484?
True
Let g be 267/(-33) - -8 - 6715/(-1265). Do g and 4 have the same value?
False
Let k be 15/4*133216/(-276). Which is greater: k or -1812?
k
Let m be 33/(-231)*(-9)/17. Let t = m + -772/11781. Which is bigger: 1 or t?
1
Let r = 11639 + -11639. Let a be 1985/7175 - 0/(-1). Let x = -9/41 + a. Which is greater: r or x?
x
Suppose -3*g = -5*u - 3711, -3*g - 5032 = 5*u - 1363. Is 6 >= u?
True
Let o be (-5)/((-45)/5019) - (-550)/(-50). Which is greater: 546 or o?
o
Let s be 177/(-413) + (-410)/(-1022). Let w = -0.169 - 0.131. Are w and s equal?
False
Let y(s) = 2*s - 4. Let k be y(4). Suppose 0*n = -g - 2*n + 16, -k*n = 3*g - 44. Suppose l - g = 9. Is l smaller than -1/2?
False
Let k = -13.5 + 24.3. Let h = k - 5.8. Let b = 0.05 - -0.05. Which is bigger: b or h?
h
Let j = -2 + 6. Let t(u) = -u**2 + 27*u - 60. Let r be t(19). Let o = 96 - r. Is o < j?
False
Let g be (-1 + (-24)/(-40))/(9/(-15885)). Are g and 711 unequal?
True
Suppose 3*d = 5*n - 261, d + 48 = n - d. Let f be (-30 - 5 - -9)*1*-2. Is n smaller than f?
False
Let q(d) = 6*d - 11. Let x be q(2). Let a be x/1 + 6/(-15) - 2. Is 3/11 > a?
True
Suppose -3*q - 3 = 3*r - 0*r, -3*r = q + 7. Suppose 0 = q*w - 9 - 1. Suppose -10*h = w*c - 13*h + 8, -5*c = -5*h + 10. Is c < 10/41?
True
Let g(o) = o**3 + 42*o**2 + 18*o + 217. Let r be g(-41). Is 1160 <= r?
True
Suppose 117 = 3*r - a + 1288, 0 = r + 4*a + 412. Let o be -3 - (-1316)/r*2/(-1). Which is smaller: o or 3?
3
Let w = -13732 - -19018824/1385. Which is smaller: w or 1?
w
Let s = -1345117/8365 - -5/1673. Which is greater: s or -162?
s
Let o(v) be the first derivative of v**4/4 - 5*v**3/3 + 5*v**2/2 - v + 39. Let t be o(4). Is 28/17 at least t?
False
Let y be (2 + 6/4)/((-4)/8). Which is bigger: y or -78?
y
Let s = -22 + 13. Let y = -44 - -55. Let z be y + s/(-4 + 7). Is z less than 10?
True
Let b(k) = -k**2 + 5*k + 23. Let a be b(8). Let n be -32*(-5 - (a + -5)). Which is smaller: -30 or n?
n
Suppose -423*g + 2256 = -447*g. Are -91 and g non-equal?
True
Let v = -3.188 + 3.118. Is -11/3 bigger than v?
False
Let h = 304 - 287. Suppose 4106 = h*f - 246. Is 256 >= f?
True
Suppose -y - y = y + p, 4*y = p. Is y greater than 6/107?
False
Let w = -196198/27 - -7264. Which is greater: -3 or w?
w
Let o = -2911.8 - -2905.8. Are o and -872 equal?
False
Let k(z) be the third derivative of z**5/60 + z**4/4 - 28*z**3/3 - 9*z**2. Let v be k(5). Let j be (3/195)/v + (1 - 1). Which is greater: 1 or j?
1
Let y(a) = -26*a + 13. Let s be y(-6). Let g = s - 121. Suppose -c + 8 = g. Are c and -40 nonequal?
False
Let u = 0.1558 - -0.0142. Are -0.8 and u non-equal?
True
Suppose -135*i - 1020 = -152*i. Which is greater: 51 or i?
i
Suppose 32*z - 20 = 36*z + 5*c, -z + c = -4. Do -2/323 and z have different values?
True
Let t be (24/(-40))/((-14)/(-14910)). Is -639 != t?
False
Let u(r) = 4*r**3 + 40*r**2 - 6*r - 14. Let w be u(-10). Suppose w = -5*k - 3*j, 0 = -5*k - 2*j - 19 - 30. Which is smaller: -2 or k?
k
Let v be 2/(-4) - (-3)/4. Suppose 17*d + 461 = 14*d - 5*w, -d = -4*w + 182. Which is smaller: v or d?
d
Suppose -3 = -w - 10. Let u(g) = -g**2 - 12*g - 25. Let r be u(w). Let t be 3*(-2)/r - 104/10. Is -12 >= t?
False
Let z = 211 + -206. Let g = -0.53 + 0.61. Are g and z equal?
False
Let j = -20973 + 21024. Which is greater: -26 or j?
j
Suppose 90902 - 9142 = 35*t. Are t and 1 equal?
False
Let d(y) = y**3 - 2*y**2 + 3*y - 18. Let z be d(3). Let a be 2*65/128 - 1. Which is smaller: z or a?
z
Let x(y) = -15*y + 211. Let k be x(14). Is k < 1/1166?
False
Let x = -28.75 - -32. Let c = x - 8.25. Let i be (-1)/(2*6/8). Which is bigger: i or c?
i
Let c = -39.5 - 157.5. Let p = c - -207. Is 1 at least as big as p?
False
Suppose 0 = g - 2*g - 48. Let b be 9/30*(-3820)/(-24). Let y = g + b. Is -13 not equal to y?
True
Let f(d) = -d**2 + 6*d + 12. Let z be 3/6*((-6 - 2) + 0). Let l be f(z). Is l smaller than -1?
True
Let n = 861 - 1118. Let p = 258 + n. Let x = -263/105 - -13/5. Is x greater than or equal to p?
False
Let n be 18 - (1686/(-6) + 20). Are n and -24 equal?
False
Let n be 2/8 - 15/(-4). Suppose -n*h + 2*h - 4 = 0. Let m be h*1/(-8) + (-5)/(-220). Is 1 < m?
False
Let j = 13.4 - 15.17. Let o = j - -2.97. Which is smaller: o or 1/3?
1/3
Let t(c) = c**3 - 2*c**2 - 5*c - 13. Let w be t(5). Let y be w/(-8) - (6 + (-6 - 2)). Is -3 at most y?
True
Suppose -2*r - 8 = 2*r. Let x(f) be the second derivative of f**3/2 - 2*f**2 - 11*f + 19. Let y be x(r). Do y and -10 have different values?
False
Suppose 1 = -2*p + 4*d + 29, p = 5*d + 26. Let v be 5 + (3 - p) + -132. Which is bigger: v or -131?
v
Let k(o) = 5*o - 56. Let m(f) be the second derivative of -f**5/20 - f**3/6 + 11*f**2/2 - 11*f. Let c be m(0). Let d be k(c). Does d = 1/12?
False
Let x(n) be the third derivative of n**5/60 - n**4/24 - 18*n**2. Let m(y) = -y**2 + 21*y + 7. Let a(j) = m(j) + 2*x(j). Let r be a(-18). Are r and -10 equal?
False
Let s = 0.11345 - 0.14545. Let k be (2/(-6))/((-14)/(-12)). Which is smaller: k or s?
k
Suppose -2 - 1 = 3*v. Suppose 179*y + 178530 = 1669*y + 1215*y. Which is smaller: v or y?
v
Suppose 3*u - 2*t = -6, 2*u - 7*t = -8*t - 4. Let v be 1 - u/(-20) - (-69)/115. Let o = -11 - -11. Are o and v unequal?
True
Let y be -6 + (-3464)/(-3) + 10/(-15). Do y and 1148 have the same value?
True
Let w(n) = 2*n**2 - 37*n + 161. Let d(o) = 13*o - 135. Let m be d(11). Let b be w(m). Is b at most as big as 16?
True
Let v = -51.1 - 3.9. Let c = -0.06862 - -52.06862. Let l = c + v. Which is bigger: 18 or l?
18
Let v(k) = 7*k - 21. Let b be v(3). Suppose 19*i - 8*i - 275 = b. Is 4 greater than i?
False
Let g = -58.19 - -58.29. Is g at most -2/1277?
False
Let w(b) = b**2 - 7*b - 29. Let s be 22*1/2 - 1*-1. Let k be w(s). Let r be k/3 - (-4)/(-12). Which is smaller: r or 12?
r
Let x be (9048/(-9040) - -1)/(6/168). Which is bigger: -1 or x?
x
Let g be ((-10)/12 - -1)/(4510/(-13827)). Let c = -9/20 - g. Which is smaller: -1 or c?
-1
Let z = 289.81 - 9.81. Is 11 at most 