 11*n. Which is smaller: 2/119 or n?
n
Let w be (-5862)/66 - (1 - 0). Let o = 90 + w. Is o at most as big as 1?
True
Suppose -5*o = -0*o + 30. Suppose -22 = 4*s - 34. Suppose s*y + 5 + 10 = 0. Is o less than or equal to y?
True
Let g = -234/395 - 67593/79. Let h = -859 - g. Let k = -2 - h. Which is bigger: k or 1?
1
Let l be ((-4)/21)/((-242)/(-49) - 5). Which is greater: 2 or l?
l
Suppose 15*y - 6 = 18*y. Let m(s) = -s. Let u be m(y). Is 6/5 != u?
True
Let l(n) = -2*n + 1. Let h be l(3). Let u = -12 + -4. Let v be 8/(2 + u/4). Which is greater: v or h?
v
Let m = 21.66 + 0.34. Let c = 0.16 + 0.84. Is m >= c?
True
Let a = -0.172 + 0.072. Let m = -11 - -167/15. Is m smaller than a?
False
Let u be ((-9)/(-6))/((-3)/108). Let n = u + 63. Let i be 64/6 - 4/6. Is n less than or equal to i?
True
Let c(l) = 32*l**3. Let n be c(1). Suppose -4*x + x + 24 = 0. Let t be (-13)/(-12) + x/n. Which is smaller: t or 0?
0
Let v = -184580/105927 + 2/3417. Is -1 < v?
False
Let y = 83 + -75. Let j = 46 - 34. Which is greater: j or y?
j
Suppose 7*c - 13*c = -276. Suppose 2*d + 0*z - c = -4*z, 0 = -5*d + 4*z + 101. Is 19 less than d?
True
Let v(j) = -3*j - 3. Let s be v(6). Let x = s - -127/6. Let i be (12/56)/((-3)/6). Does x = i?
False
Suppose -2*v = -5*p - v + 29, 3*v + 22 = 2*p. Suppose 2*b - 18 = 4*n, -p = 3*b + n + n. Let t = -5573/19 - -293. Is t greater than b?
False
Let c = -63 + 181. Let f = 121 - c. Is -1 equal to f?
False
Let h(v) = -v**2 + 11*v - 10 + 3*v - 6*v. Let o be h(4). Let m be (-9)/o*(-16)/(-42). Is m at most as big as -1?
False
Let r = -24 + 25. Do -22 and r have the same value?
False
Let w be 18/45 - 219/(-15). Let v = -56 + w. Which is greater: v or -40?
-40
Suppose 4*o - 4 = 0, -2*z - 4*o = 3*z + 41. Let r be (-1)/(-2)*(3 + z). Which is smaller: r or -2?
r
Suppose 4*h - 1 = 7, -2*y - 4*h + 160 = 0. Suppose 0 = 3*v - 2*t + y, -t - 4*t + 64 = -3*v. Let f be -2 + 2/v*-26. Is 0 at least f?
True
Let n be ((-3)/1)/(3/(-4)). Let i = 252 - 246. Suppose t + i = n*t. Is t less than or equal to 5/3?
False
Let q(f) = -8*f**3 - f - 2. Suppose d - 4 + 5 = 0. Let h be q(d). Suppose 0 = -2*s - 4*n + 2 - 4, -20 = -4*s - 2*n. Is h != s?
False
Let x = 0.6 + -0.5. Let a = x + 0. Is a greater than or equal to 1/2?
False
Let w = 0 - -0.15. Let k = 0.07 - w. Let z = 20 + -20. Which is bigger: k or z?
z
Let y(x) = -3*x - 19. Let m = 20 + -25. Let g be y(m). Which is greater: g or -6?
g
Let a = -4787/6 + 798. Which is smaller: 10 or a?
a
Let w = -4036/5 + 818. Suppose -89*o + 1431 = 363. Is w smaller than o?
True
Suppose 0 = -3*v + i - 701, 5*v + 2*i + 3*i + 1195 = 0. Do v and -234 have the same value?
False
Suppose 4*d = -5*f, 3*d - 3*f = 5*d. Let k = -16 - -6. Let a be ((-8)/k)/((-12)/(-20)). Which is smaller: d or a?
d
Let m(r) = 3*r**3 - 2*r**2 - r. Let a be m(3). Let p be a/(-26) - (0 + 0). Which is smaller: -2 or p?
p
Let c = -780 - -776. Which is smaller: 9/5 or c?
c
Let b = -7.22 - -7.22. Is 9/91 > b?
True
Let y be 2/(-11) - 208/(-1628). Let g(n) = n + 3. Let l be g(-4). Let o be 2/(-1) + l + 3. Which is smaller: y or o?
y
Let n = -52 + 50.22. Let l = 1.88 + n. Let j = -212/7 - -216/7. Which is bigger: l or j?
j
Let c = 43 + -38. Suppose -3*q - 5 = c*a, 2*a - a = -3*q - 13. Do 14/5 and a have the same value?
False
Let p = -48 - -48.06. Which is greater: -22 or p?
p
Suppose 92 + 16 = 4*c. Suppose c = 2*u + 5. Let x be ((-2)/(-2))/(u + -10). Is x <= -2?
False
Let h(w) = 3*w**2 + 4*w + 2. Let r(p) = -p**2 - 7*p - 12. Let m be r(-5). Let c be h(m). Which is greater: c or 7?
7
Let s = -51476/1161 - -5/1161. Let k = s + 44. Is -38 < k?
True
Let q(a) = a - 1. Let y be q(4). Suppose y*n = 7*n - 4. Let f be 1/5*1 + 0. Which is smaller: n or f?
f
Let f(n) = 30*n**3 + 1. Let y be f(1). Which is smaller: y or -3?
-3
Let k be 4/(-42)*5/(-11 - 4). Let h = k + 4/21. Which is greater: 0 or h?
h
Suppose 4*v = -4*r - 4, 5*r - v - 1 = -0*r. Let f be (2/(-6)*r)/1. Which is smaller: f or -8/9?
-8/9
Let l(v) be the second derivative of -v**5/20 + 2*v**4/3 - v**3 - 3*v**2 + v. Let d be l(7). Let g = 2434 - 36509/15. Which is greater: d or g?
d
Let q = -4429/28 - -639/4. Let j(r) = 10*r - 39. Let i be j(4). Which is smaller: q or i?
i
Let p = -1212 + 1212. Are p and 10/9 equal?
False
Let n(k) = k**2 - 7*k + 2. Let o be n(6). Suppose -2*x + 3*x - 3 = 0. Let l be x/(-15)*(18 - 5). Is l at least as big as o?
True
Let g = 0.9 + -1. Let b = -92 + 136. Let a = b - 57. Which is bigger: a or g?
g
Let l(y) = -24*y**3 + y**2 - 2*y - 2. Let z be l(-1). Let j = z - 172/7. Which is smaller: -1 or j?
-1
Let n = 63.1 + -63. Is 2/19 >= n?
True
Let l(o) = o**2 - o + 2. Let k be l(2). Let q = -12 - -15. Suppose q*n = 13 + 2. Which is greater: n or k?
n
Let h = 9036 - 19662337/2176. Which is bigger: 0 or h?
0
Let u = 664/7 + -35178/371. Let l be (-2)/8 + 46/(-8) - (-448 + 441). Is u at least l?
False
Let b = -235158/71 - -3312. Which is smaller: 1 or b?
b
Let m be (18/(-8))/(39/(-10504)). Let u be -18 + 23 - m/122. Which is greater: -1 or u?
u
Let r = 1.88 + -2.08. Which is smaller: 1/46 or r?
r
Let b(j) = -j - 5. Let h be b(-4). Let m be ((-5)/(-2))/(-5) + (-2324)/(-4872). Which is bigger: h or m?
m
Suppose 20*u + 16*u = -22*u. Which is smaller: 3/1222 or u?
u
Let n = -6/4711 - -1983385/42399. Let h = 8983/45 + n. Let v = -242 + h. Is v at least as big as 4?
True
Let j = 0.0243 + -11.6243. Is j at most as big as 0.3?
True
Suppose 2*d + 1685 = -3*n, 2*n - 13*d + 1128 = -12*d. Is n smaller than -562?
True
Let c = 18 + -16. Suppose 0 = 2*r + c*r, -3*d = 5*r + 6. Suppose -8 = 4*j - l, 2*l - 4 = 2*j + 6*l. Is j smaller than d?
False
Suppose 0 = 3*n - 8*n - w + 21, -4*n + 3*w + 32 = 0. Let t(l) = -16*l**2 + 0*l - l**3 - 6 - 4 - 5*l + 4*l. Let c be t(-16). Which is bigger: c or n?
c
Let p = 5252059/11346 + -28392/61. Let c = -4/93 - p. Suppose -6*g = -162 + 144. Which is smaller: g or c?
c
Suppose -4*o + 2 = -6. Let m(s) = s**2 - 3*s + 2. Let q be m(o). Suppose 0 = -3*x - 4*l - 1, -3*x - 2*x - l - 13 = q. Which is smaller: x or -4?
-4
Let c be ((-6930)/(-75))/(14/35). Is c < 232?
True
Let m = 0.43 - 0.13. Let r = m - 0.43. Let p = 1.87 - r. Do 0 and p have different values?
True
Let h(v) = -v**2 + 6*v + 2. Let g be h(6). Let k be 6/4 - 26/39. Are g and k nonequal?
True
Let j = 1046 + -1048. Is j <= -43/26?
True
Let q be 8/3 - 2/(-6). Let c(v) = -2*v - 5. Let m(o) = o - 7. Let g be m(3). Let l be c(g). Is l less than q?
False
Let g be ((-87)/(-6))/((-14)/(-84)). Which is greater: 0.13 or g?
g
Let r(l) = -l**3 - 6*l**2 + 9*l - 3. Let h be r(2). Let a = h - -52/3. Which is greater: a or 13?
13
Let f be (2 - 48/20)/(160/(-50)). Is 0 less than f?
True
Suppose -3*h + 4*l = 99 + 143, -2*l = -h - 80. Let i(q) = -q**3 - 83. Let o be i(0). Is o smaller than h?
True
Let i(k) be the first derivative of -k**4/4 + 2*k**3 - 3*k**2/2 - 6*k - 4. Let z be i(5). Let a = 137 + -134. Which is bigger: a or z?
z
Let c = 206 - 217.9. Let b = -12 - c. Let w = 1.1 + -1.4. Is w at least b?
False
Let c = -201 - -207. Which is smaller: -1.4 or c?
-1.4
Let k = -106 + 105. Which is greater: -27/23 or k?
k
Let p be (-122 - 6) + ((-12)/4 - -2). Let m = p + 121. Is m equal to -6?
False
Suppose -5*d + 2*i + 12 = -12, -5*i = -3*d + 22. Suppose 0 = -d*p - 8 - 12. Let t be ((-6)/(-10))/(1/p). Which is smaller: -2 or t?
t
Let m = 37 + -6. Let f = 31 - m. Does -14 = f?
False
Let q = -0.9002 - -0.867. Which is greater: -1/4 or q?
q
Let l = -0.52 + -3.58. Which is smaller: l or -3?
l
Let c = -28.8 - -28.9. Is c >= -68?
True
Suppose 12 + 13 = 5*q, 8 = -3*u + q. Is u != 0.287?
True
Suppose -4*r + 22 = 5*q, -2*q + 4*r = -4*q + 16. Suppose q*w = -4*s - 6, -4*s + 0*w + 15 = -5*w. Is 18 greater than s?
True
Let p(y) = -9*y**2 + y + 7. Let w(c) = 10*c**2 - 7. Let k(v) = 4*p(v) + 3*w(v). Let u be k(-2). Is -25 != u?
False
Let q = -249.0322 - -0.0322. Which is greater: 0 or q?
0
Let j(n) = -8*n + 83. Let f be j(7). Are 23 and f equal?
False
Let h = 16 - 115. Let i = -100 - h. Does -4 = i?
False
Suppose -2*q + 5*k - 9 - 3 = 0, -2*q + 3*k = 4. Which is bigger: q or 57/13?
57/13
Suppose -2*h - 10 = p, 0*p = -p + 2*h + 10. Let w = 823 + -835. Which is bigger: w or p?
p
Suppose d + 15 = -o, -5*o - 49 = 4*d - d. Suppose 14*g + 8 = 10*g. Let v be (-14 - (3 