(1/j). Which is smaller: -11/7 or n?
n
Let m = -159.31 - -5.31. Which is greater: m or -2/5?
-2/5
Let n(j) = -2*j + 31. Let c be n(17). Let z be (2/c)/(-4 - 220/6). Which is bigger: z or -1?
z
Let b(w) = -13 - 7 - 16 - 2*w + 6. Let j be b(-14). Which is smaller: j or -5/3?
j
Let i = 88/19 + -103/19. Is -1 != i?
True
Let y = -1970.63 + 1949. Let q = 0.37 - y. Is -1 smaller than q?
True
Let c be (35 + -41)*4/30. Is -30 at most as big as c?
True
Suppose -n - 2*p = -119, -2*n + 2*p + 163 = -69. Do n and 117 have different values?
False
Let a = -54 - -15. Which is smaller: -0.3 or a?
a
Let t = -4.7 + 5. Let p = t - -1.7. Which is greater: -8 or p?
p
Suppose -r - 18 = -3*v, 4*r + 23 = 4*v - 17. Let m be (-4)/3 - 16/r. Is 0 != m?
True
Let j = -19 + 83. Let a = j + -42. Which is smaller: 24 or a?
a
Let x(j) = 18*j - 1. Let i be x(-1). Let k = 4 + -25. Which is bigger: k or i?
i
Let n be (15/(-10))/(45/(-6)). Let t(i) = 5 + i**2 + i**3 - 2*i**3 - 4 - 2*i**2. Let h be t(-1). Is h <= n?
False
Let r = -1188 + 53462/45. Is 1 greater than r?
True
Let m = -4 + 4. Suppose 164 = 2*d - 4*d. Let i = -165/2 - d. Is m > i?
True
Let n = -28 - -32. Let i = n - 3.8. Do i and 4 have different values?
True
Let d(f) = -10*f**2 - f - 3. Let q(y) = -6*y**2 - 2. Let z(s) = -4*d(s) + 7*q(s). Let l be 2*1/(2 + 0). Let h be z(l). Which is bigger: 6/23 or h?
6/23
Let v = -7.62 - -0.12. Let p = 5 + v. Let d = 1.5 + p. Is -2 <= d?
True
Suppose -5*f - 125 = -135. Let b be (f + 2/1 - 4) + -110. Is -111 bigger than b?
False
Suppose 10*a + 442 = -1128. Which is smaller: a or -158?
-158
Let g = -302 - -301.47. Which is smaller: -0.03 or g?
g
Let v be -2 + 12 + (-2550)/270. Is 1 >= v?
True
Let n be (-36)/(-66) - 2106/4224. Which is greater: n or 1?
1
Let a = 77 + -77.85. Let j = 0.88 + a. Is 0.1 at most j?
False
Let r = -403/2 + 202. Which is greater: 1 or r?
1
Suppose -18 = 3*p + 2*c, 4*c = -0*p + 5*p + 30. Let n = p + 9. Suppose 2*r = 2 + 4. Is r < n?
False
Let y = -17.37 - 40.63. Is 1/2 less than y?
False
Let g = -47.5 + 49.5. Is g >= 0.066?
True
Let j = -6 + 5. Let d be -2 + (j - (-46)/14). Let w = 8/21 + d. Is w at most 1?
True
Let u = 48045310/208117 - 2/29731. Let r(m) = -78*m - 4. Let z be r(-3). Let i = z - u. Do 0 and i have the same value?
False
Let s(n) = 2*n**2 + 10*n - 30. Let a be s(3). Is 31 not equal to a?
True
Suppose -12*k + 5*k - 28 = 0. Let h be (7/(-1) - k)*6/21. Which is greater: h or 0.1?
0.1
Let b(x) = x + 1. Let z(c) = -c - 15. Let g(j) = -2*b(j) - z(j). Let q be g(6). Is 8 less than q?
False
Let d be (116/(-40))/(2*2/(-10)). Which is bigger: 0.3 or d?
d
Suppose 2*a = -2*u + 394, -3*u - 2*a + 257 + 331 = 0. Which is smaller: u or 195?
u
Let b be 1 - ((1 - -1) + -3). Suppose 3*k = 2*k + b*z - 47, 3*k = -4*z - 131. Is -46 at least as big as k?
False
Let k = -1969 + 1973. Let m = 749 - 3723/5. Which is smaller: k or m?
k
Let h(q) = q**3 - q**2 - 13*q + 1. Let f be h(4). Let x = 4516/7 - 648. Is x at least f?
True
Suppose -2*q - 1 = 5*o, -3*o - 7 = 2*q - 4*q. Let z be (q/(-5))/((-28)/(-20)). Let h = 40 - 41. Is z greater than h?
True
Let s(k) = -k**2 + 1. Let f(j) = j**2 + j. Let t(z) = -2*f(z) - s(z). Let y be t(-1). Let x = -2 - -2. Does x = y?
True
Let c be (6/8*6)/((-18)/24). Let r be 25 + ((-1)/(-1))/(-1). Let k be 8/r*c/8. Which is bigger: 0 or k?
0
Let w = -4 - -5. Let r be w + 0 - (-15)/(-21). Let f be (7 - 6) + -1*1. Which is bigger: f or r?
r
Let u be (-3)/12 + (-14)/8 + 6. Suppose 0 = 2*x + 4*p + 56, -7*x + u*x - 99 = p. Which is greater: -33 or x?
-33
Let l = 41 + -28. Let y = l - 8. Suppose 5*s = -2*k - 19, y*k = -0*k + 4*s + 35. Is 5 greater than k?
True
Let w be ((-1)/125)/((-24)/15 - -1). Is w > 0?
True
Suppose 2*p - 64 = -0*p. Suppose 4*b - p = 8*b. Let f be (b/5)/(11/(-55)). Is f > 8?
False
Suppose 23 = -3*u - 73. Let j(m) = -33*m**2 - 5*m + 6. Let r be j(1). Is r > u?
False
Let q = -1342/19 - -11688/95. Is q != -1?
True
Let g = 0.069 + 27.931. Let p = g + -40. Let l = p + 11. Which is smaller: -7/6 or l?
-7/6
Let p = -4 - 5.9. Let w = p + -1.1. Let v = -11 - w. Do v and 1 have different values?
True
Let p be 1140/4 - (-1 - 2). Let s = p + -2301/8. Which is smaller: s or -1?
-1
Let b(u) = -70*u**2 + u + 3. Let m be b(-3). Let q = m + 5031/8. Is q smaller than -2?
False
Let r(q) = -5*q**2 + 16*q + 3. Let j = -8 - -4. Let v(p) = 3*p**2 - 8*p - 2. Let f(u) = j*r(u) - 7*v(u). Let o be f(-7). Is o at most 9?
True
Let f = -0.04 + 0.04. Let z be (-1)/(-3) + 141/(-18). Let n = 7 + z. Is f not equal to n?
True
Let r = 0.1013 - -1.1087. Is -4 greater than r?
False
Suppose 0 = -5*v + 3*x - 25, 3*v - 8*x + 5*x = -21. Let k be v/8 - 5/(-4). Suppose p = -3*l + 13 - 10, 2*p - 2*l - 6 = 0. Which is bigger: p or k?
p
Let a = 33 - 44.6. Let w = -12 - a. Is -3 less than w?
True
Let x = 1301/21 - 471/7. Which is smaller: x or -8?
-8
Let c = 34/3 + -11. Let d = 1 + -3. Let s = d + 2. Is s greater than c?
False
Suppose -4*x + x - 57 = 0. Let f(b) = b**2 - 23*b - 392. Let d be f(-11). Which is bigger: x or d?
d
Let u be (-28)/(-98) - 330/28. Let v be 1 - 8/(-3 + 1). Suppose -r = -g + 13, v*r + 9*g = 4*g - 55. Which is smaller: u or r?
r
Suppose 5*w - 8 = -h, h - 3*w = -2*h + 24. Suppose -5*n - h = 7. Which is greater: n or -8?
n
Suppose -9*g - 6 = -10*g. Let t be g/42 - 6/(-7) - -2. Suppose -2*s + 4 + 0 = 0. Which is smaller: t or s?
s
Let n = -21032/57 - -369. Which is smaller: 0.5 or n?
n
Let o be 55/66*(-172)/20. Which is bigger: -7 or o?
-7
Let k = -1.76 - -2.1. Let l = k + -0.04. Let c = 74.1 - 74. Which is greater: c or l?
l
Let j be (-20)/100 + 1086/(-20). Is -55 less than or equal to j?
True
Suppose 18*y - 5*y + 1222 = 0. Is -95 not equal to y?
True
Suppose -4002 = 46*a - 23*a. Is -345/2 < a?
False
Suppose 0 = -2*s - 6, 9*a - 8*a + 4*s = -11. Which is smaller: a or 1/116?
1/116
Let m be 6/(4/40*1). Suppose 9*f + m = 5*f. Which is bigger: f or -14?
-14
Let f be (-42)/4*(-26)/195. Are 7 and f nonequal?
True
Let s = -2.8 + -0.2. Let q = s + 3.2. Let k = -15/124 + -143/868. Is q smaller than k?
False
Let x = 8053 + -72335/9. Let n = 16 - x. Let l = -32 - -32. Which is bigger: l or n?
n
Let p be 1/(-7 + 5 - (-21)/9). Let n = 8 - 5. Suppose 0*c - n*c = -12. Which is smaller: c or p?
p
Let c(q) = -q**3 - 5*q**2 + q + 10. Let a be c(-5). Let i be (a - 7/(-35))/((-1)/(-5)). Which is greater: i or 23?
i
Let t = 4099/714 - 98/17. Let x be (-1)/((-77)/7) + (1 - (-12)/(-11)). Is t >= x?
False
Suppose 0 = -o - 0*o + 76. Suppose -o = -2*v - 34. Is v at least 20?
True
Let d be (-4)/810*(13 + 235/(-20)). Is d at least 1?
False
Let g(a) = 21*a - 126. Let z be g(6). Which is greater: -2/33 or z?
z
Let r = -727.4 + -202.6. Is r less than or equal to -2?
True
Suppose l - k + 3*k - 1 = 0, 2*k = 0. Is l <= 387?
True
Let k(c) = c**3 - 8*c**2 + 9*c - 6. Let s be k(8). Let w = s + -65. Is w at most -1/44?
False
Suppose -4*k - k + 4*l + 21 = 0, 4*l + 14 = -2*k. Let d be k/(-1 - 3 - -6). Which is greater: d or 0?
d
Let n(x) = 12*x - 14. Let t be n(1). Is t > 10?
False
Let h = -0.38 - -1.31. Let b = 2.63 - 2.7. Let j = b - h. Which is greater: j or 0.4?
0.4
Let r = -1768801/402 - -4400. Which is smaller: r or 0?
r
Suppose 0 = -2*y + s, 0 = 2*y + 7*s - 3*s. Suppose -2*v - 5*f + f + 20 = y, 2*f - 10 = -4*v. Suppose 4*j + j + 35 = v. Which is smaller: j or -8?
-8
Let q be (10/(-4) + 1)*2. Let i = 669/2 + -337. Is i >= q?
True
Let g(h) be the third derivative of 5*h**4/24 - 2*h**3 - 9*h**2. Let x be g(5). Do x and 13 have the same value?
True
Let f be 18 + -23 + (-15)/11. Is -5 equal to f?
False
Suppose 4*r + 553 = 169. Let n = 151 + r. Let m be (((-24)/n)/(-6))/2. Which is smaller: m or -1?
-1
Suppose 27*w + 4758 = 627. Is -155 bigger than w?
False
Suppose 2*c + 1 = -6*o + 235, 4*o + 2*c - 158 = 0. Which is greater: o or 12?
o
Let p be 2306/(-30) + 4/20. Suppose 3*n = -v - 70, 0 = v - 4*n - n + 86. Let h = p - v. Which is greater: 8/5 or h?
8/5
Suppose 24 = 7*w - 11*w. Let f = w + 5. Let r = -5 + -3. Which is smaller: r or f?
r
Let p = 287 - 288. Which is bigger: -1/372 or p?
-1/372
Suppose 13*x + 88 = 16*x - 5*s, 90 = 3*x - 3*s. Which is smaller: 28 or x?
28
Let r(k) = k**3 + 17*k**2 + 28*k - 20. Let w be r(-15). Let i be ((-6)/(-165))/((-22)/w). Is -1 at most i?
True
Let m = 191/3 + -