e p(55). Are v and 230 equal?
False
Let l be (-987)/(-1269) - (-36911)/9. Which is bigger: l or 4099?
l
Let x = -47737 + 478217/10. Does x = 86?
False
Let s be -4 + (-2)/(2/(-9)). Suppose 3*v - 3*g - 3 = 0, 0*v = -v + 4*g - s. Let p be 7 - 4 - (2 - -1). Are v and p non-equal?
True
Let c be ((-108)/(-2))/(3441/(-296)). Is c greater than or equal to -4?
False
Let o = 75275/30732 - -64/591. Let x = o + -3/52. Which is greater: 3 or x?
3
Suppose -j = -2*o - 3*o - 29, o + 87 = 3*j. Let k = -42 + 51. Let n = -8 + k. Which is smaller: n or j?
n
Let j = -3698 - -48088/13. Is j greater than or equal to -1.3?
True
Let p(m) = -m**2 + 16*m - 40. Suppose 55 = 3*u - s, 3*u - 2*s + 0*s - 59 = 0. Let o be p(u). Let g = 75 + o. Is g less than 19?
True
Let p(h) = h**3 - 6*h**2 - 18*h + 14. Let s be p(8). Let m be ((-20)/8)/(5/s). Which is greater: m or 13?
13
Let h(p) = -162*p - 537. Let m be h(11). Is -2318 not equal to m?
True
Let w = 3689 + -3691.2. Is w equal to -2/3?
False
Let z be ((-33)/143)/(2 + 298/(-148)). Suppose -52*q + 24*q = -504. Is q greater than z?
True
Suppose 4*x = 0, 13*z - 14*z + 5*x = -649. Let v = z - 30501/47. Let t(r) = -2*r**2 + 2*r - 1. Let j be t(1). Is v <= j?
False
Let a = -17830 - -891461/50. Which is bigger: -1 or a?
a
Let c = 2128 - 49766/23. Which is smaller: -36 or c?
-36
Let n = 9197 - 9195. Do -5/19 and n have different values?
True
Let h = -1.5 - 1.7. Suppose 0 = n - 1, -f + 2*n = 51 - 54. Is h bigger than f?
False
Let f be 24/22 - 101/1111. Do f and 12/1777 have the same value?
False
Let a(h) = -h**2 - 30*h + 140. Let c(w) = -14*w + 70. Let r(f) = 3*a(f) - 5*c(f). Let u be r(8). Are -282 and u equal?
True
Let p be 146/(-78) - 1/(-3). Let f be 18/(-10)*54/1701*-14 - (-5)/(-25). Which is greater: p or f?
f
Let d(n) = 185*n**2 - 204*n - 812. Let q be d(-4). Which is smaller: q or -1?
-1
Let f = 68 - 62. Suppose 4*i + 0*u + 8 = 4*u, -3*u = -2*i - f. Which is bigger: 24/23 or i?
24/23
Let u be (-1 - 28/(-12))*(-1008)/952. Which is smaller: 2/17 or u?
u
Let s = -10616 + 912971/86. Is -1/6 at most s?
True
Let g be 2/(-6) - (-129)/333. Suppose 2*a - 175 = 3*i, -2*i + 171 - 1 = 2*a. Let x = -87 + a. Which is smaller: g or x?
x
Let j(t) = 2*t**2 + 8*t + 20. Let g be j(-6). Let i be (-16)/40 - g/(-10). Let p = -1 - i. Is p at least -3?
False
Suppose 4*s + 22 = -2*z, 3*z + 9 = -z - s. Let t(m) = -23*m**3 + 2*m**2 + 2*m + 1. Let g be t(z). Suppose 8*u - g = 14*u. Is -4 at least u?
True
Let x = 11282 + -11283. Which is smaller: 2/14315 or x?
x
Let p = 21062356 + -1063317. Let y = p + -1859929597/93. Let g = y + 204. Do 1 and g have the same value?
False
Let z = 26727/34063 + -3/1481. Is z less than or equal to -14?
False
Let l = 28/205 + 10739/82. Let r = l - 109013/830. Does 0 = r?
False
Let c = 1.457 + -0.067. Let o = c - 1.35. Is o at least -3?
True
Let v(y) = -y**3 - 4*y**2 + 8*y + 11. Let d be v(-1). Let c(u) = 3*u**2 - 2*u - 1. Let w be c(-1). Suppose -w + d = 2*s. Is s less than or equal to -3?
False
Let p be (-4 + 1 - -2) + 23. Let q be p/33 - (-7)/3. Suppose -5*k + 3*z - 10 = 0, 4*k + 4*z + q = -5. Which is smaller: k or -7/5?
k
Let r be ((-22)/(-8))/(-11)*(-16)/(-39). Suppose -2*y + 10 = 8. Which is bigger: y or r?
y
Let h = -84 + 162. Let r = -74 + h. Suppose -u = -2*m - 1, -3*m + m + r*u = 10. Is m at most as big as 11/5?
True
Let i = -76 + 55. Let s(g) = 2*g**2 + 30*g + 90. Let w be s(i). Do 341 and w have different values?
True
Suppose 9 = -3*f + 24. Let g be f/10*18961/(-11). Let m = 862 + g. Is m != 0?
True
Let r(x) = -x**3 - 125*x**2 - 150*x - 3185. Let u be r(-124). Which is smaller: u or 525/13?
u
Let t = -36 + 36. Suppose 696 = 3*g + 4*f - 310, 2*f - 338 = -g. Suppose -g = x - 334. Which is smaller: t or x?
t
Suppose -10*u - 10 = -12*u. Suppose 6*h - u = -131. Which is greater: h or -142/7?
-142/7
Let b be (5/((-50)/4))/(1/145). Is b at most -862/15?
True
Let k = 9561 + -9562. Is k smaller than 10/119?
True
Suppose x = 10*x. Suppose -10*m - 73 + 13 = x. Which is smaller: -7 or m?
-7
Let y = 4179 + -4154. Is y greater than -0.2?
True
Let t = -0.069 + 0.709. Let x = -0.572 + t. Let u = x + 5.932. Is 0.1 != u?
True
Let r = 1/4097 - 24629/192559. Let n be (1 - (-3)/(-6))*(-10 + 30 + -20). Are r and n equal?
False
Suppose 5*j = -5*c - 3970, -5*j + 4*j = 2*c + 791. Are -797 and j unequal?
False
Suppose -145 = -5*n - 135. Suppose 20 = 4*s, 3*u + n*s + 2*s - 26 = 0. Which is smaller: u or 1.6?
1.6
Suppose 3*u + s = 4 - 1, 4 = 4*u + 2*s. Let f be 7509/(-1503) + -3 + 8. Which is smaller: f or u?
f
Let q be 3 + 1*(1 - 327). Let v = q + 3871/12. Let s = v - -3/4. Which is greater: s or 15?
15
Suppose o + 2*f = 1312, 4*o - 5*f = -o + 6485. Which is smaller: 1298 or o?
1298
Let m = 3.519 + -3.819. Is -1/313 at most m?
False
Let g(l) = -13*l**2 + 1. Let s = 3 - 4. Let a be g(s). Let b be (2 + 126/(-45))/((-2)/(-35)). Which is bigger: b or a?
a
Suppose 5*u = -5*q + 270, u - 3*q - 9 = 61. Suppose 4*r = 7*r - 5*f - u, -54 = -3*r + 3*f. Suppose -757*w + 759*w - 34 = 0. Is w at most r?
False
Let o = -61/28 + -11/7. Let v = -719/24 - -30. Let h = v - -5/24. Is o <= h?
True
Suppose 3509 = -579*u + 260*u. Let c be 4/18 - (-4)/63. Which is greater: c or u?
c
Let s be (-38392)/798 + (-13)/39. Let z = 345/7 + s. Which is smaller: z or 1?
z
Let p = 248622 + -104669814/421. Does 0 = p?
False
Let r(g) = 19 - 5 + 11 + 2*g. Let u = 29 + -43. Let k be r(u). Which is bigger: -2 or k?
-2
Let m = -40 - -50. Let w(a) = -a**2 + 8*a + 16. Let g be w(m). Let k = -134 - -131. Which is smaller: k or g?
g
Let k = 35066 + -33835. Is k > 1241?
False
Let r(u) = u**3 + 61*u**2 - 2632*u - 21. Let n be r(29). Which is smaller: 2/9 or n?
n
Let w = -3.1 - -3. Let y = -0.6 - w. Let c = -204894 + 204903. Which is bigger: c or y?
c
Let f be (1/1*36/72)/((-2)/14388). Is f at least -3600?
True
Let o(q) = -13*q**2 + 4*q - 2. Let s be o(2). Let r(a) = -207*a + 3261. Let v be r(16). Is v less than or equal to s?
True
Let u be (24/40)/((-2)/(-110)). Suppose -l + 2*l + u = -4*o, 0 = 4*o + 4*l + 36. Let y be (o - 9)*(2 - 3). Do 18 and y have different values?
True
Let t be (-60)/(-5) - 7 - -401. Let m be (t/(-147) + 3)/((-5)/(-18)). Which is smaller: m or -1?
-1
Let w = 162 - 127. Let s be ((-84)/w)/((-816)/(-410) + -2). Do 245 and s have the same value?
False
Let u(i) = -i**2 + 54*i - 197. Let c be u(43). Let m = c + -278. Is m greater than or equal to -77?
True
Let o(p) = p**3 + 15*p**2 + 32*p - 20. Let y be o(-9). Let t = 709/4 - y. Suppose 2*k = d + 2*d + 4, 5*k - 10 = -d. Which is bigger: d or t?
d
Suppose 3*j - 55 = 4*q - 177, 4*j - 5*q + 162 = 0. Let z = -23 - 19. Let p = z - j. Is -4 <= p?
True
Suppose 1154*j - 1153*j = 4. Let g be 0/(8/(-8 + j)*-1). Is g equal to 3/133?
False
Suppose 0 = -6*q + 225 - 105. Is 129 greater than q?
True
Let c(p) be the first derivative of p**4/4 - 2*p**3/3 - 3*p**2/2 - p + 170. Let k(j) = -j - 1. Let u be k(-4). Let h be c(u). Does h = -5?
False
Suppose 15*u = -5*u + 20. Let f(p) = p**3 - 15*p**2 + 19*p - 38. Let g be f(12). Are g and u non-equal?
True
Suppose -16 = q - 5*n - 188, -550 = -3*q - 2*n. Let j = q - 213. Is j at least as big as -29?
False
Let t(l) = -l - 11. Let p be t(-12). Let i be 1/(56/(-52) + p). Are i and -14 unequal?
True
Let c = -1826/13 - -23294308/165841. Is 0 less than c?
True
Suppose -3*z = -2*b - 167, z - 470*b + 471*b = 39. Let o(q) = -q + 51. Let l be o(0). Is l bigger than z?
True
Suppose -3*z + i - 185 = 198, -4*i - 260 = 2*z. Let y = -1406/11 - z. Which is smaller: 1 or y?
y
Let q = -26308/5 + 235052/45. Is 6 < q?
False
Let f = -5183 - -4781. Is f at least -4/5?
False
Let d = -64 - 91. Suppose -40*c = 15*t - 10*t + 185, 4*t - 4*c + 688 = 0. Is d <= t?
False
Suppose 173 = 5*r + 3. Let p = -31 + r. Suppose 2*c + p*a = 12, 4*c + 1 = a - 3. Which is bigger: c or -4/51?
c
Let k = 1262.906 - 1264. Let i = k - 0.406. Which is smaller: -2 or i?
-2
Let o = -79.901 + -0.099. Let l = 61 + o. Are l and 4 nonequal?
True
Let l = 0.1095 + -0.1495. Let n = 28 + -16. Which is bigger: n or l?
n
Let s be (-1162)/(-4) + 7/(-14). Suppose f + 3 = 2*f. Let q be -1*(f + (-866)/s). Which is greater: 0 or q?
0
Suppose 301*z + 30 = 306*z. Let n be 5705/3780 - z/4. Which is greater: n or 2/7?
2/7
Let v = -1076 + 1076.949. Let w = v