363. Let c = 324 - l. Is p at least as big as c?
False
Suppose 0 = 35*n - 23*n. Suppose -34*u + 30*u = n. Which is bigger: u or 1/65?
1/65
Let d(f) = f**2 - 8*f - 16. Let u be d(-7). Let x = -90 + u. Let i be 1/x - (-7 + (-75)/(-12)). Which is bigger: i or -5?
i
Let q = -4284 + 4274. Is q greater than -2/433?
False
Let r be 0 - (24 - (-1 - 0)). Let m = -2.076 - -11.806. Let b = 9.73 - m. Is b bigger than r?
True
Suppose -q = -4*a - 0*q - 9, 5*a + 5*q = 20. Let t be 18/(-162)*(-2 - 3). Let z = -4/9 + t. Is z at most a?
False
Let g = -1/1694 + 26/121. Is -64 smaller than g?
True
Let l(r) = 36*r + 2001. Let k be l(-51). Which is greater: k or -6?
k
Let m = -163 + 1. Let l = -183 + 258. Let o = m + l. Which is smaller: -88 or o?
-88
Let n be ((-2443)/(-357) + -7)*2565/(-150). Is n >= 4?
False
Suppose -5*w + 1511 - 146 = 0. Suppose 70*n = 49*n + w. Is 13 less than n?
False
Let p be (-127 + 7)*(-52)/91. Which is greater: 70 or p?
70
Suppose -f = -2*x - 3*x + 27, x = 4*f + 13. Let w = 1521 + -1514. Suppose 4*v + 5*z = -19, v - z - w = x*v. Is 1/42 bigger than v?
True
Let j = -5 + 21. Let x = -10289 + 10312. Which is greater: j or x?
x
Let t be (-111)/189*15/4. Let s = t + 71/12. Are s and -2 unequal?
True
Let l = 44198/19 + -224393398/96463. Is -1 less than l?
True
Let v = 1273 - 823. Suppose -15*p = -21*p - v. Which is greater: -76 or p?
p
Let p = -0.4893 - -0.0563. Let q = p + 157.433. Which is smaller: q or -1/3?
-1/3
Let k be -7*((-1972)/(-38) + (-48)/(-456)). Let p = k + 383. Let m be 284/14 - (-2)/(-7). Which is greater: m or p?
m
Let f = 21.886 - 22.086. Which is bigger: f or 9.62?
9.62
Suppose 0*n + 5236 = -7*n. Let w = n - -47871/64. Which is smaller: w or -1?
-1
Let d(y) = -y**3 - 18*y**2 + 39*y - 8. Let g be d(-20). Let l be 3*(4/g)/((-1)/17). Is 0 not equal to l?
True
Let n = 480 - 207. Let y = n + -269. Is -2 at most as big as y?
True
Let v = 69438/23345 - 104/35. Let y = v - -16651/8004. Which is greater: 3 or y?
3
Let i(d) = -1 + 2*d - d**2 + 4 + 0*d. Let u be i(3). Let x be ((-96)/(-432))/(150/18 - 6). Which is greater: u or x?
x
Let q be 4 + -5 - 178/(-52). Let h = 14/13 + q. Let x be ((-10)/6*-3)/(53/53). Is h at least x?
False
Let x be ((-64)/(-1))/(2 - 12/9). Let p be 12/8*x/(-558). Are -1/4 and p unequal?
True
Suppose 6*j + 424 = -416. Let n = 119 + j. Let s(l) = 19*l**3 - 2*l**2 - l - 1. Let g be s(-1). Is n at least as big as g?
True
Let g = -15821 + 142757/9. Suppose -1983*m - 108 = -1986*m - 3*w, 3*m = -5*w + 98. Which is smaller: m or g?
g
Suppose -c - 12 = 18. Let a be 6/c*(-7 - 3). Suppose 0 = -2*w + a*y + 4, -5*w + 0*y + 4 = -3*y. Which is bigger: -1/25 or w?
-1/25
Let u be (-1995)/(-190)*(-40)/14. Let p be ((-13)/((-3380)/(-48)))/((-6)/u). Do -5/2 and p have different values?
True
Let w(k) = 56*k + 767. Let v be w(-20). Is v bigger than -355?
True
Let i = -698 - -699. Which is greater: 6052 or i?
6052
Let f = -1.077 - -0.986. Let b = 298.9 - 266. Let g = b + -33. Is g > f?
False
Let b(w) = w**3 + 13*w**2 - 258*w + 2. Let f be b(16). Is f at least 3298?
True
Let w = -7 - -7.8. Let n = -0.229 + 65.329. Let p = 65 - n. Which is greater: w or p?
w
Let f be (-20539)/92 + (-1)/(-4). Let i = f + 201. Is i < -23?
False
Suppose -34 = -5*d + 16. Let z(l) = -l**3 + 11*l**2 - 8*l - 2. Let x be z(d). Let a(i) = i**2 - 2*i + 2. Let u be a(5). Are u and x nonequal?
True
Suppose -182*w = -178*w - 236. Suppose -w*o - 1 = -58*o. Which is bigger: o or 1/221?
1/221
Let o(g) = 301*g + 109. Let v be o(-25). Let k = -1549941/209 - v. Are 1 and k non-equal?
True
Let h = -327 + 329. Suppose h + 37 = -39*l. Is l at least -3/14?
False
Let v be (0 - 15/20) + (-4605)/4. Let c be (-6)/(-27) - (-328)/v. Is -0.01 at most as big as c?
False
Let q(n) = -n + 84. Let o be q(8). Let l be (o/(-304))/(1 - (-421)/(-12)). Is l at most as big as 0?
False
Let v = -337855 + 28381477/84. Let t = v - 119/6. Which is bigger: t or 1?
1
Let y = -4207/15052 + 15/53. Which is smaller: y or 0.2?
y
Let d be 6/(-11) + (-3045)/165. Let t = -123 - d. Are t and -105 nonequal?
True
Suppose -2*g + 96 - 64 = 4*s, 5*s - g - 33 = 0. Suppose -26*a + s + 19 = 0. Which is greater: a or 2/145?
a
Let t be ((-6)/12)/((-4)/(-144)). Let r be -10 - -2*t/(-6). Is r at least as big as -25?
True
Let q(c) = 20*c**2 - 17*c**2 - 3 - 2*c**2. Let l be q(2). Suppose -5*k + 35 = 4*g - 0*g, 0 = 5*k - 3*g. Which is bigger: k or l?
k
Let h be 1 + 20 + 16/(-2). Let b be 1/(-3) + 120/9. Let w be (b - h) + (-5)/1. Is w greater than -6?
True
Suppose 0 = -q - u - 1, -5*u + 10*u = q - 17. Suppose -31 + 299 = q*v. Suppose -v + 22 = -f. Do 113 and f have the same value?
False
Let j be -30 - -42 - ((-32)/(-4) + 1). Is -550 at least j?
False
Suppose -88*y = -5594 - 5230 + 792. Is y bigger than 459/4?
False
Let u be (-165)/(-175)*(-85)/51. Let g = -2 + 0. Which is smaller: g or u?
g
Let w be 6/(-12)*2*4*-1. Let c be (5/w)/((-38)/24*-3). Let i = c - 34/57. Is 4.5 greater than or equal to i?
True
Let b = -655665158/214491 + 58080/19. Is b > 0?
False
Suppose -15 + 1 = -2*w. Let j be (-5635)/(-25) - 2/5. Let r be (5/(j/(-132)))/((-4)/10). Is r smaller than w?
False
Let i = 12/133 + -29/399. Suppose 4*m - 43 = 4*z - 23, 0 = -4*m + 2*z + 18. Suppose -2*h - 5*w = -3, m*h - w + 3 + 2 = 0. Is i less than or equal to h?
False
Let d be 36/(-396) + 13/143. Let p = -10839/160 - -337/5. Which is greater: d or p?
d
Let d = -19821.94 - -19822. Is -798 less than d?
True
Let n be 5/((-30)/(-4)) + -4 + (-251604)/27. Is n bigger than -9322?
False
Let q = 185.48 + -185.48. Which is smaller: q or 107?
q
Let g be 6*(-1)/(-2)*29. Suppose 4*d + g = 15. Which is smaller: d or -1?
d
Let a = -61.82 - -151.9. Let h = 121 - a. Let n = 31 - h. Do n and -1/5 have different values?
True
Let l = -3 - -3. Suppose 0 = 6*y - 40 + 112. Let a be (y/9)/((-5)/((-25)/15)). Is a at most as big as l?
True
Let y be (-85)/(-45) + -2 + (-2132)/90. Does y = -23?
False
Let y = 461/26 + -25591/1326. Let r = -3045/3247 - -43/573. Let h = r - y. Which is smaller: -2/5 or h?
-2/5
Let p = 10419 + -7902. Which is smaller: p or -1?
-1
Let n = -1/972 + 977/4860. Suppose -20 = 15*v - 5. Which is smaller: v or n?
v
Let f = 1 + -2. Let h = -19411/1131 + 668/39. Which is smaller: h or f?
f
Let n = -39961/20 - -1998. Is n >= 0.26?
False
Suppose 0 = r + 6*b - 3*b - 66, -r - 5*b + 74 = 0. Suppose -5*s + 15 = -5*u, 7*u - 2*u = -4*s - 24. Let n be 10/s*(99/2)/(-9). Which is smaller: n or r?
r
Let l = -26.2 + 10.2. Let z = l - -6. Let d = -0.1 + 0.2. Which is bigger: d or z?
d
Suppose -4*m = -9*m - 3*r, -r = -m. Suppose -2*k + 2*i + 122 = m, 5*i = 2*k - 0*k - 119. Do 61 and k have the same value?
False
Let r be 1/(-2)*3*(-729984)/576. Which is smaller: r or 9506/5?
r
Let r = -0.384 - -0.31. Let h = r - -0.014. Let c be (-4)/10*10/16*3. Which is smaller: h or c?
c
Suppose 5*q = 10, 4*k + 334 = 4*q - 78. Is -106 smaller than k?
True
Let w be -3*55/15 - -4. Let b be (-4)/w - (-134)/(-14). Suppose 6*h - 14*h - 88 = 0. Is b at most h?
False
Let o = 0.023026 - -0.011974. Let q be ((-6)/(-5))/(6/(-20)). Which is smaller: q or o?
q
Suppose -7*u + z = -2*u - 64, 2*u + z = 20. Suppose d = -3*d + u. Let i be (-2*d - -3)*2. Is -8 greater than i?
False
Suppose 208 = -76*x - 28*x. Is x equal to -83/41?
False
Let u be (-24)/(-18) - 11/(-3). Let r(z) = 3*z. Let i be r(-1). Let t be 2/i*(-6 + 6/2). Which is smaller: t or u?
t
Let m(f) = -f**3 + 6*f**2 - 5*f - 7. Let n be m(5). Let b = 50917.92 + -50013. Let y = b - 905. Is n > y?
False
Let c = 322.562 - 322.5. Is c less than or equal to 0.12?
True
Let f be -1 + (-42)/(-15) + -1. Let y be (-5)/150 - (-2 - (-3)/6). Let t = y - f. Is t less than -1?
False
Let c be (-146)/(-1825) - (-10)/(-125). Suppose -s = -17 + 1. Suppose -o - s = -4*o - b, 0 = -3*o - 3*b + 24. Which is smaller: c or o?
c
Suppose 15*t + 17210 = -1255. Is t less than or equal to -1231?
True
Let d be 24*(-228)/90 + 7. Let j = d + 1847/35. Is j at most 0?
True
Let v = 20.39 + -18.39. Is 22/201 less than v?
True
Let z = -3.934 + -0.066. Let i = 7.3 + -2.5. Let s = i - 4.78. Are z and s nonequal?
True
Let d be -51 + (32/4)/(-2). Let p be 10/d - (-162)/770. Let x = p + -8/35. Is -1/2 less than x?
True
Let l be (-4344)/(-4) - (-93 - -112). Is l >= 1062?
True
Let l be ((24/(-15))/4)/