 be (0 - p/28)*7. Let s(u) = u**2 - 4*u. Let d be s(o). Is d greater than or equal to -1/32?
True
Let s = -16 - -40. Let x = -31.104 - 0.896. Let f = x + s. Does f = -1?
False
Suppose -3*n - 2*n = 25, 4*y - 75 = -n. Suppose -8*p + y*p - 72 = 0. Let r be (4*4/(-24))/(20/p). Which is smaller: -0.06 or r?
r
Suppose m = -1178 + 783. Which is greater: -1979/5 or m?
m
Suppose -22717*n = -22718*n - 274. Is n at least -277?
True
Suppose 11*f - 486 = -2235. Let c = f + 192. Do 2/9 and c have the same value?
False
Let t = -531/7 + 3025/42. Let o be 3/(-6) - (-50)/(-20). Let w be 2 + (-2)/1 + (o - 0). Which is bigger: t or w?
w
Let h = 549.2 - 655. Let j = h - -109. Which is smaller: -1/5 or j?
-1/5
Suppose 37*w - 9*w = -20*w. Is w at least 3/1247?
False
Suppose -16 = -9*r + 17*r. Let f be (r - 50/(-24))/(6/558). Are 1 and f equal?
False
Let m be (8/18)/(((-174)/(-9711))/(-29)). Is m > -718?
False
Let s be (-7)/2*(-480)/84. Let x be (18/81)/(s/6). Let c = -1884 - -1885. Do c and x have different values?
True
Suppose 4*q + 2*s = 36, 2 = 3*s - 4. Let k(y) = 2*y**3 - 18*y**2 + y - 12. Let l be k(q). Is -131 > l?
True
Let g = 9 + -81. Let b be (30/(-9))/(2/g) - -4. Are -2/3 and b non-equal?
True
Suppose 2*a = -2*h - 6, 5*h + 4*a - 3*a + 7 = 0. Let d be (11 + -8)/(-1 + 3 - h). Is d less than -4?
False
Suppose 8*j + 6 = -90. Let v be (-18)/(-24) + (225/j - -1). Let g = 53 + -50. Is v at least g?
False
Let o(c) = -2*c**2 - 16*c + 7. Let p be o(-7). Suppose -4*a + 11*a = -p. Let y be 2/(-66)*a/(-2). Is 1 <= y?
False
Let y = 3261 + -3262. Is -6/1169 >= y?
True
Let l be 936195/(-460602)*(-508564)/(-16560). Let n = -1/5527224 + l. Let u = -187/3 - n. Which is smaller: u or 0?
0
Let s = 496 - 509. Let q(x) = -3*x**2 - 46*x - 58. Let w be q(s). Are w and 159/5 unequal?
True
Let j be (-2)/(-6) + (-33014)/33. Suppose 6*q + 1688 = -14*q - 18292. Let n = j - q. Is -2 > n?
False
Let k be 85/68*-3*(-3792)/9*4. Is k >= 6319?
True
Let c = 166431 - 166689. Let s(l) = -257*l**3 + 2*l - 1. Let b be s(1). Is b less than or equal to c?
False
Let c = 1344240571/960 - 1400251. Let n = c - -1/192. Which is smaller: n or 2/77?
n
Let r = 322 + -324.3. Let i = -0.105 + -2.305. Let z = r - i. Which is bigger: -6 or z?
z
Suppose -4*y = -0*p - p - 93, y + p = 27. Suppose -4*m + y = 4*m. Suppose -m*s - 126 = -10*s. Is 18 at least s?
True
Suppose 0 = 3*k - 15, 38 + 2 = 5*f + k. Suppose 3*n - 2*n = -4*h - f, 4*n - 26 = 2*h. Suppose 0 = 66*j - 150*j + 84. Does n = j?
False
Let o = -13 + 2. Let i = -98 + 98. Suppose 0 = -4*k - 3*y - y - 48, i = -y. Are o and k unequal?
True
Let m = 1611 - 1610.293. Let v = m - -0.293. Which is smaller: -3.14 or v?
-3.14
Suppose 4*a - 49752 = 3*m, -2*m - 4417 = a - 16833. Which is smaller: a or 12431?
12431
Let x = 805 + -28178/35. Let o(m) = -m**3 + 9*m**2 - 6*m - 17. Let q be o(8). Which is greater: q or x?
x
Let z = 2678946040534640/886521 + -3021864164. Let x = z - -6/1957. Which is smaller: -1 or x?
-1
Suppose 10*w - 13*w - 2*o + 7 = 0, 0 = 2*w - o + 7. Let p be -6*w/14 - 492/(-224). Are 4 and p non-equal?
True
Let q be 12/(-66) + (-52020)/55. Is q less than -6621/7?
True
Suppose -71*f - 39*f = -81*f - 4843. Which is greater: f or 131?
f
Let l be 0 + (-4)/(-10) - 2816/440. Let c be 7 - 0 - 18 - l. Is -10 greater than or equal to c?
False
Let a be (-113423653)/6291355 - (-8)/(-20). Let y = -2/25679 + a. Which is smaller: y or -19?
-19
Let j be 3/1 + -5 + (7 - 0). Is j at least as big as 153/31?
True
Suppose -f = -58 + 58. Let z be f - (-5 + -89 + -5). Is 96 < z?
True
Suppose 0 = -35*a + 105*a + 263*a - 5994. Let h(x) = -x + 9. Let l be h(-9). Is a >= l?
True
Let t = 20 - 124. Let k = t - -103. Let a = 1 - 3.5. Which is bigger: k or a?
k
Suppose 0 = -2*r - 23 + 29. Suppose 6*t = v + 2*t - 19, -r*v + 5*t + 29 = 0. Suppose -4*o + 0 - 8 = -4*a, 5 = -v*o + 2*a. Which is greater: -3/5 or o?
-3/5
Suppose -5*a + 48 - 123 = 0. Let f be (-18)/(-21)*(3 - 25/a). Suppose y - 3*v - 15 = 0, 0*y = f*y + v - 8. Which is smaller: y or 1?
1
Suppose 1580 = -5*d + 4*o, 2*o - 1270 = 5*d - d. Let q be 4/14 - d/(-784). Are 0 and q nonequal?
True
Let t = -125 - -43. Let f = t + 83. Let j be (-5 - (-335)/75)*-3. Which is smaller: f or j?
f
Let a(c) = -56*c**2 - 929*c + 405. Let x be a(-17). Let h be -18*(4/(-3))/(-1). Do h and x have different values?
True
Let i = -151253/29028 - -855/164. Let f be 0 + 3/(-9)*-3. Which is smaller: f or i?
i
Let w(j) = -j**2 - 65*j + 67. Let m be w(1). Is m < 8/9?
False
Let m = 11.43 + -18.44. Let h = 7.4 + m. Is h less than or equal to -2/5?
False
Suppose 5*x - 15 = 3*i, -7*i + 6*i - 25 = -5*x. Suppose -29 = x*l + 23*l. Which is smaller: l or 3/145?
l
Let z be 97 - (-5)/(-15)*-3. Suppose z = 10*q + 4*q. Suppose -1 = -q*n + 13. Which is smaller: n or 1/3?
1/3
Let b = 873 - 453. Let i = -630 + b. Which is smaller: 2/7 or i?
i
Let o = -167/63 - -47/9. Let n = -9400/7 + 1340. Let q = n + o. Which is smaller: -0.05 or q?
q
Let s be 6/(-20) - (-2)/(-4). Let o = -200 + 398. Let a = o - 196. Is s at most a?
True
Suppose -15*r + 11*r + 18 = n, 0 = -2*n - 3*r + 11. Let d be 18/(-501) - (n - -2). Is d at least -1?
True
Let w be -2 + 3 + -4 + 2. Let k be 156/(-24) + (-1)/((-4)/6). Let r be (-1)/68 - ((-10)/(-8))/k. Which is smaller: r or w?
w
Let u(a) = 2*a - 94. Let b be u(7). Let c = b - -76. Which is bigger: c or -6?
c
Let i = -1654975.8567 - -1654908. Let o = -1.1133 + i. Let u = -69 - o. Which is smaller: u or -4?
-4
Let k(i) = 6*i + 120. Let b be k(15). Let m = b - 215. Which is smaller: m or -10?
-10
Let a(o) = o**2 + 26*o + 84. Suppose 4*g + 81 = -5*q, 2*g - 5*q + 35 + 28 = 0. Let l be a(g). Is 36 less than or equal to l?
True
Suppose 84*v = 81*v + 5*m - 37, -5*v + m = 25. Let y be ((-3)/(9/v))/(10/3). Which is bigger: 300 or y?
300
Let c(z) = -4*z. Let l be c(1). Let m(n) = n**3 - 6*n**2 - 6*n + 10. Let x be m(7). Suppose -3*v = 4*o + x, 0*v - 6 = o - v. Does l = o?
False
Let b be (-1)/(1/3 + 0). Let z(k) = 22*k**2 - 70*k - 847. Let l(h) = 3*h**2 - 10*h - 121. Let j(i) = 15*l(i) - 2*z(i). Let a be j(17). Is a smaller than b?
False
Let l be ((-28)/70)/(((-1)/(-1))/340). Let c be (-1120)/l - 3 - 3. Which is greater: 3 or c?
3
Let v(x) = x**3 + 4*x**2 - 7*x + 1. Let d be v(-6). Let w = 6697 + -47083/7. Let y = w - d. Which is bigger: y or 0?
0
Suppose -2*s = -5*h - 67, 42*s + 48 = 38*s - 4*h. Let c = 1/3126 - 779/263626. Which is bigger: s or c?
s
Let q = 159825/724 - 883/4. Which is bigger: q or 0.03?
0.03
Suppose -3*c + 11 = 5*z, -2*z - 2*z = -c - 2. Which is smaller: z or 16/1045?
16/1045
Suppose -7*n - t + 269 = -5*n, 2*t = 4*n - 558. Let s = n - 197. Let r be (s/(-8) + -8)/(1/2). Which is smaller: r or -3/7?
r
Let d = -3119/2 - -48319/31. Which is greater: d or 0?
0
Let c be ((-6)/6954)/((-41)/(-123)). Which is bigger: c or 0?
0
Suppose 0 = 4*a - 9*a + 20. Suppose -a*u - 15 + 3 = 0. Which is smaller: 6 or u?
u
Suppose -5*y - 555 = 3*z, -y = 3*z - 0*z + 99. Let v be ((-338)/3 - (-7)/(-21))/(-1 - -2). Which is bigger: v or y?
v
Let v(c) = c**3 + 13*c**2 + 37*c + 5. Let u be v(-5). Is u bigger than -168?
True
Let r be (3345 + 61)*(-3)/6. Which is smaller: -1701 or r?
r
Let r = 127.9641 - -2.0359. Is r bigger than 35?
True
Let w be (-2)/3 + (7*-1 - (-2712424)/429). Which is smaller: 6314 or w?
6314
Let c = -2528.6 + 2325. Let o = c - -203. Which is smaller: o or 0.1?
o
Let v = 33765 + -134813/4. Suppose 2*d - 102 = 4*m - 0*m, -3*d - 5*m = -208. Is v equal to d?
False
Let d be (-4*74695/(-1660))/((-2)/4). Let o = -360 - d. Is o smaller than 0?
True
Let q = -0.22 - 0.04. Let o = 0.56 + q. Is o >= 7?
False
Suppose 28*q = 41*q + 195. Let j be (1 - 66/q) + -8. Which is greater: 5 or j?
5
Let x = 0.11917 + 92.55083. Let t = 92.8 - x. Let f = 0.03 - 2.03. Which is bigger: t or f?
t
Suppose 0 = 42*p - 47*p - 125. Let r(n) = -2*n**2 - 36*n + 55. Let s be r(p). Which is greater: -294 or s?
-294
Let x(o) = -5*o**2 + 191*o + 382. Let f be x(-2). Is -14 at least as big as f?
True
Let f = -0.095 - 90.905. Let u = -117 + 25. Let k = f - u. Which is smaller: k or 53?
k
Suppose -3*r - 32 = -2*y, 5*y = 4*r + 22 + 23. Let h = -204 - -202. Let f be 150/(-18) + h/3. Which is smaller: f or r?
r
Let d = -114 + 116. Suppose 0 = 4*v - 2*v + 4*k + 324, 8 = d*k. Does -169 = v