l
Let o = -31358/19 + 1651. Let v = o + -5/19. Which is greater: 0 or v?
v
Let z(y) = -654*y - 3304. Let o be z(-6). Which is bigger: 4335/7 or o?
o
Let t be 3/((-318)/(-52)) - 39/78. Suppose -296*v + 297*v = 0. Is v greater than t?
True
Let x be ((-6)/200)/((-171)/12 - -14). Is -11 equal to x?
False
Suppose 0 = 4*z - 0*z + 5*f + 39, -z + 5*f = -9. Let u be 6/9*(-9)/z. Let w = 245 - 3187/13. Does u = w?
False
Suppose -512 = -563*j + 567*j - c, 5*c - 625 = 5*j. Let r be ((-1)/2 + 0)*258. Does j = r?
True
Suppose 4*s + 5*p + 103 = 0, 0*s - 28 = s + 2*p. Let h be 7 + 7861/(-385) + 4/s. Which is greater: h or -15?
h
Let v = 13/7 - 114/35. Suppose 2*s = 4*o - 233 + 29, 186 = -2*s - 5*o. Let h = s + 97. Which is greater: h or v?
h
Let r be (1 - 1/3)/(-2). Let d = -23465 + 45365/2. Let k = -790 - d. Are r and k nonequal?
True
Let s = 3619 + -3442. Is s at least 2?
True
Let q = 2/5199 - -3215/5157408. Let g = q + -9983/62496. Which is greater: g or -1/3?
g
Let j(k) = -13*k - 3. Let s be j(-6). Let o = -70 + s. Suppose 0 = -t - 3, o*t - 15 = 3*g. Is g at most as big as -10?
True
Let i = -35 - -35.24. Let c = -1.76 - i. Is 4/19 bigger than c?
True
Let c be (0 - (-4)/6) + 418/(-627). Is -2/3473 > c?
False
Let i = -2047 + 2047. Is i less than 1/13353?
True
Let p(j) = 50*j**2 - 10*j + 18. Let w be p(4). Suppose w + 1412 = 15*d. Which is greater: 0 or d?
d
Let a = -27 - -28. Let d(z) = z**2 - 1. Let g be d(a). Suppose 5*s - 16 - 9 = g, -3*w = -4*s + 23. Is w greater than 4/13?
False
Let s(w) = -4 + 3*w**2 - 14*w + 31 - 33 + 2*w. Let y be s(-4). Is 1 less than or equal to y?
True
Let j = -4459 - -4453. Is j >= -410/67?
True
Let t = -2246 - 8088. Let b = 547684/53 + t. Which is smaller: -1 or b?
-1
Let i = -9/550 - -3187/161150. Suppose -2*j + 3 = j. Is j < i?
False
Let k(w) = -9*w**3 + 8*w**2 + 229*w - 669. Let t be k(3). Let n = 3636 - 7579/2. Is t greater than n?
True
Let h = 43 - 26. Suppose h*f - 8 = -8. Let r be ((-8)/350)/((-12)/(-14)). Is f smaller than r?
False
Suppose -12 = h + 93. Let d be 36/h + 54/(-189). Which is bigger: d or -2?
d
Let i be (1/2 - (-80)/(-96))*-9. Let t be ((-4)/6)/(i + 380/(-6)). Suppose -10 = -5*s - 5. Which is greater: t or s?
s
Let u = -4493/3 + 1498. Which is bigger: -2129/7 or u?
u
Let f = -3287.2 + 3282.2. Is 0.023 at least f?
True
Let x = 99.5 + 18.5. Let a = x - 115. Which is bigger: a or 0.2?
a
Let t = 27905 - 194762/7. Which is smaller: t or 81?
81
Suppose -695 - 169 = -36*b + 1260. Is b bigger than 60?
False
Let r(d) = 16*d + 113. Let b be r(-6). Suppose 5*h - 19*t = -b*t - 1, -2*h + 5*t + 8 = 0. Which is bigger: 1/25 or h?
1/25
Let g = 34 + -71. Let c(t) = -85 + 182 - 79 + 8*t. Let r be c(-7). Which is smaller: g or r?
r
Let j = -6 - 3. Let v(r) = -r**2 - 11*r - 14. Let z be v(j). Let o be -1*(1/z)/(-1). Is o at most -0.5?
False
Let q = -1153.38 - -1186. Let y = 0.62 - q. Is y equal to -1/2?
False
Let y = 138725 + -138741. Let w = 6.4 - -0.6. Is w at most as big as y?
False
Let g be (25 - -1)/((-10438)/(-35919)). Is 89 > g?
False
Let v = -26513/17556 + -5/399. Which is smaller: v or -1?
v
Let g = 233 - -871. Let x = 1115 - g. Suppose -7*l = -3*l - 32. Is l != x?
True
Let y be (3 - 1)*(6 - 135/18). Is -1/433 bigger than y?
True
Let q(t) = 29*t**2 - 15*t + 22. Let d be q(2). Let p be -5 - (2*(-130)/d + -2). Is p greater than 0?
False
Let v = -14431 - -14432. Is v at most 4961?
True
Let h be 1/(4/(3 - -1))*-5. Let p = -146 - -145.97. Which is smaller: p or h?
h
Suppose 38*f - 35*f - 357 = 3*p, -5*p = -2*f + 262. Let m(d) = 3*d**2 + 7*d. Let j be m(5). Is f greater than j?
True
Let y be (-2 - 2) + (70 - 4). Let l = -61 + y. Are l and 12/23 equal?
False
Let t = 34 + -47. Let n = 787 - 703. Suppose n*m + 342 - 90 = 0. Is m at least t?
True
Suppose 2*i = 29 + 9. Suppose -2*l + 5*g = 4 + i, -2*g + 10 = 0. Let a be (-66)/4*(-37)/(12987/104). Is a at least as big as l?
True
Let m = 8852/11745 + 2/405. Do m and 1 have the same value?
False
Suppose 0 = 49*w - 296 - 19500. Which is smaller: w or 407?
w
Let m(h) = -2*h - 2. Let r(p) = 5*p + 7. Let c(x) = -11*m(x) - 4*r(x). Let y be (-238)/(-1309) + (106/22 - 2). Let l be c(y). Is -1/5 less than l?
True
Let l be 5/2*(-30)/(-525). Suppose 4*b = -b - 3*y + 83, -y + 1 = 0. Let v be (-2)/(-5)*(-20)/b. Is l at most as big as v?
False
Let q(g) = g**3 + 8*g**2 + 5*g + 1. Let y be q(-5). Let x be 3*(164/(-6) - -8). Let b = x + y. Which is greater: b or -6?
-6
Let d be 3/(-43)*2/(-9). Let t be 4/7 + 1 + 33/77. Suppose 4 = -5*s + 11*j - 12*j, 0 = -4*s - t*j - 8. Which is smaller: d or s?
s
Let d(f) = f**2 + 17*f - 7. Let u be d(16). Suppose 8*z = u - 89. Suppose 4*c = -z - 74. Is -32 bigger than c?
False
Let y = -1303 + 1102. Suppose x - 395 = 2*z, 429 + 586 = -5*z - 3*x. Is z at least y?
True
Let q = 133 + -137. Let r be 1/q - (1578/24 - 4). Is r at most as big as -61?
True
Let i = 17617 + -17605. Suppose -3*g = f - 19 + 5, 22 = 2*f + 4*g. Is f bigger than i?
False
Let r = -49 - -53. Suppose -r*m - 67 = 5*y, -8*y = m - 9*y + 19. Let d be ((-27)/m*4/9)/1. Is d smaller than 7?
True
Let x be ((30/(-125))/(-2))/(9/(-6)). Suppose 2*h = -2*h + 132. Suppose h*l = 32*l. Which is smaller: l or x?
x
Let v be 5/((-145)/(-20) + -6). Let d be ((-54)/135)/(v/(-5)). Let q(x) = x**2 - 5*x - 4. Let t be q(6). Which is smaller: d or t?
d
Let r be (2*(-2989)/35)/(2/(-10)). Let b be (1 + r/4)*18/972. Let n = b - 38/9. Is n at least as big as 2.5?
False
Let z = 66 + -503. Let k be 25737/z + 4/(-38). Is k < -57?
True
Let k(x) be the third derivative of -x**6/120 + 11*x**5/60 + 7*x**4/4 + 4*x**3/3 + 16*x**2 + 2*x. Let p be k(14). Do 14 and p have different values?
True
Let z = 51232 - 51251. Let d = 0.17 - 10.17. Which is greater: z or d?
d
Suppose 48*y - 40 = 43*y. Suppose 0 = -2*x - 6*x + y. Is x < -2/1509?
False
Let x be (20/6)/((-2)/(-87)). Let l = 291/2 - x. Suppose 3*r - 5*z + 3 = 10, -2*r = 3*z + 27. Which is bigger: r or l?
l
Let q be (54 + -52)*33/534. Is q less than 0?
False
Let r(l) = 509*l + 200. Let y be r(-1). Is -312 at least y?
False
Suppose 0 = 8*o - 17*o + 189. Let v = o - -558. Is v greater than 1?
True
Let z = 4713 - 4714. Which is greater: -2/2603 or z?
-2/2603
Let d be 1/2*-1198 + -1 + 6. Let t = -13658/23 - d. Which is smaller: t or 0?
0
Let s be (57672/(-16))/(1/(-4)*-2). Let i be 4/18 - (-1845)/s. Do i and -1 have the same value?
False
Let g = 3050/67 - 32637916/716967. Which is smaller: 1 or g?
g
Let t = 337.2 - 337. Let u(v) = 8*v**2 - 5*v + 5. Let z be u(3). Let a = z - 1489/24. Is a bigger than t?
False
Suppose -14*y - 202 = -370. Let f = -77.81 - -78. Is y at most as big as f?
False
Let g = -30511 - -30524. Which is smaller: 337/28 or g?
337/28
Let l = -833.9 + 833.9. Which is greater: l or -1/8116?
l
Let o(b) = -b - 19. Let u be o(-13). Let i be (14/4 + u)*(0 + -2). Suppose 22*d = 27*d - i. Is d less than or equal to -1/60?
False
Let k be (15/6)/((-385)/(-72842)). Do k and 3308/7 have the same value?
False
Let v be ((-4)/(-2656)*-12)/(6/16). Let x = v - -3822/82751. Is x greater than or equal to -1?
True
Let v = -9604059/19 + 505479. Suppose -4*b + 6 = -2. Let d = -1 + b. Which is smaller: v or d?
d
Let s(r) = 14*r**2 - r + 3. Let z = -94 - -92. Let y be s(z). Let w = -26.6 + 26.6. Is y greater than or equal to w?
True
Let c(v) be the first derivative of v**2/2 + 5*v + 23. Let t be c(0). Suppose -t = 4*g + 11. Which is smaller: g or -36/13?
g
Let z be 4/(-5)*(-8190)/(3 + 23). Which is smaller: 242 or z?
242
Let x = 66 + -64. Suppose 0 = -5*z + 2*p + p + 819, x*z = -4*p + 338. Which is smaller: 164 or z?
164
Let q be 4520/14 + (-2088)/(-1827). Which is greater: 317 or q?
q
Let r be ((-4)/(-2))/((-18)/(-108)). Suppose 8*h + r*h - 3*h = 0. Are -0.96 and h equal?
False
Let d be -3 + 1 - (-1)/1. Let s(k) = -114*k - 44. Let h be s(3). Let q be (14/49)/(h/(-14)). Which is smaller: d or q?
d
Let n be (-8)/(-10) + (4/8)/((-25)/(-10)). Do -3/259 and n have the same value?
False
Let t = 6528 + -104449/16. Which is bigger: t or -601?
t
Suppose 5*s = -l + 14, 5*s - 3*s + 5*l - 24 = 0. Suppose 0 = v + 2*w - 22, -7*w - 17 = -s*v - 2*w. Suppose v - 12 = 4*d. Is -8 > d?
False
Let l be (-2)/3*(-5654 + 263). Are 3594 and l unequal?
False
Suppose 0 = 3*l - 9, 0 = -q + 3*q + 2*l + 28. Let t = 215 