e (10/4)/((-2)/(-172)). Is t >= k?
False
Let m = 3.1 + -25. Let o = m - -114.9. Let t = 21 - 20.9. Which is smaller: t or o?
t
Let m(l) = -2*l**2 + 6*l - 1. Let q be m(4). Which is greater: 38 or q?
38
Let k = 0.129103 - -264.816897. Let x = k + -264. Let l = 0.054 + x. Is -1/6 < l?
True
Let q = -8093 - -8087. Which is bigger: q or 99/2?
99/2
Suppose -13 = -7*w - 41. Let m be (w/654)/(-49 + 48). Is 1 less than m?
False
Let v be 2170/527 + (-2)/17. Suppose j - 85 = v*k, -4*j + 408 = 4*k - 3*k. Which is smaller: 100 or j?
100
Let v = -18335/7308 + 71/28. Let n = 1541/18531 - v. Is 0 > n?
False
Let t = 59 + -46. Suppose 1 = -14*v + t*v. Let r be (-168)/39 + (-3 - -7). Is r > v?
True
Let i(y) = -y + y**3 - 7*y + y**2 + 3*y + 3. Let o be i(-4). Let t(b) = -2*b**3 - 16*b**2 + 22*b + 12. Let a be t(-9). Which is smaller: o or a?
o
Let i be (7 + -7)/7 + -389. Which is smaller: -394 or i?
-394
Let y be (-85)/(5/10*2). Let a be y/(-16)*674/95. Let p = a - 299/8. Do p and 0 have the same value?
False
Let y(w) = -w - 4. Let m be y(-6). Suppose 4*l + m*v - 48 + 12 = 0, -27 = -3*l - 4*v. Let b = 8 + 1. Is b at most as big as l?
True
Suppose -5*w = -1217 - 653. Let g be (-3)/(-2) + ((-1275)/w - -2). Is g > 1.1?
False
Let j = 19135 + -18978. Is j smaller than 165?
True
Let q = 4008 + -4053. Which is smaller: -58 or q?
-58
Let l = -19.73 - -19.6. Suppose -3*o + m + 3*m = -18, -4*o - 3*m = 1. Are o and l non-equal?
True
Let h be (-1892)/308 - (-3 + -1*1). Suppose -507*c + 30 = -517*c. Does h = c?
False
Let w = 1 + -1. Let s be (-17220)/(-18)*(-12)/(-8). Let b be 15*(7161/s - 5). Is b greater than or equal to w?
False
Let w(n) = -944*n - 1355. Let r be w(-19). Which is greater: 16582 or r?
16582
Let s(q) = 46*q - 13. Let i be s(11). Is 494 smaller than i?
False
Let i(l) = 73*l + 2. Let f(y) = -74*y - 2. Let w(u) = -6*f(u) - 7*i(u). Let j be w(-1). Suppose 3*g = 8*g - j. Is g not equal to 16?
True
Let g be (-6)/(-3) + (-77872)/38874. Which is greater: 11 or g?
11
Let w = -110 + 107.9. Let p = 0.0553 + -3.0553. Do p and w have different values?
True
Let j = -92.54 - -94. Let x = -0.36 + j. Let n = x + -1. Which is smaller: n or -1.3?
-1.3
Let x = 2043 + -2042.93. Which is smaller: x or -203?
-203
Suppose 4*i = -5*q + 13, -3 = -q + 5*i - 12. Let o(k) = 7*k**2 - 4*k - 2. Let j be o(2). Suppose -2*s + 2*c = 2*s - 20, 2*s - j = -c. Is s smaller than q?
False
Let h = -216.5 - 5.5. Let q = -221 - h. Let b = 0.042 - 20.042. Is q > b?
True
Suppose 0 = -548*v + 536*v + 12. Which is bigger: v or -14/2069?
v
Let t(f) = 2*f**2 + 19. Let r be t(0). Suppose m - 79 = 5*c - r, -m = 5*c + 70. Let s = 102 + -116. Do s and c have the same value?
False
Let v be 12/(-423)*65/20. Let c = v - -55157/282. Let h = c + -191. Do h and 6 have different values?
True
Let r be (-80)/(-38) + 4/(-2). Suppose 8 = -4*y, c + c + 2*y + 4 = 0. Suppose z + 4*z + 4*u - 4 = 0, z - 3*u + 3 = c. Is r less than z?
False
Suppose 3*t = 3*o + 1125, -7*o + 3*t = -6*o + 387. Which is smaller: -371 or o?
-371
Suppose -112*m + 106*m + 108 = 0. Which is smaller: m or 29?
m
Let r be -185*245/(-7553) + 2 + -8. Is r at most as big as -1?
False
Let p = -54152959096/6603 + 8201266. Let q = 4/213 + p. Which is bigger: 1 or q?
1
Let w be 46*9*2/4. Let g be (12/(-7))/(40726/5096 + -8). Which is smaller: w or g?
w
Suppose a = 5*a + 7*v - 587, 579 = 4*a - v. Suppose 0 = -0*q - 3*q. Which is smaller: q or a?
q
Let l = -8555/2 - -4200. Is l less than -79?
False
Let t = -2721/9499 - -1/1357. Do t and 16222 have different values?
True
Suppose 4*o + 4*c + 13 = o, -o + 5 = -c. Which is smaller: o or 2/10241?
2/10241
Let b = -0.00869 - 147.93131. Let c = 148 + b. Does -14 = c?
False
Let w = -5926 + 6678. Do w and -4 have the same value?
False
Let u = -0.213 + 0.074. Let x = u + 4.639. Is 2/3 > x?
False
Suppose 2*a + q = -2331, -4*a + a - 5*q = 3493. Let r = -127096/109 - a. Suppose 0 = -4*p - 0 - 4. Is r less than or equal to p?
False
Let z be -10 + -4 + 8 + 7. Is z > 2/32261?
True
Let i(g) = 2*g + 15. Let l be i(-8). Suppose 2*o - 2*q - 1296 = 0, -3*o = -4*q - 479 - 1463. Let m be (o/(-94) - -5) + 2. Are m and l equal?
False
Let h = -191 - -206. Suppose -2*c + h*g - 496 = 13*g, 4*g + 1032 = -4*c. Is -254 <= c?
True
Let z = 1015 - 934. Is z >= 573/7?
False
Suppose -40*z + 8 = -2*k - 39*z, k + 13 = 2*z. Which is bigger: k or 2/59985?
2/59985
Let c(f) be the third derivative of -f**6/20 + f**5/60 + f**4/12 - 9*f**2. Let y be c(-1). Suppose 0 = b - y*b + 16. Do 4 and b have the same value?
True
Let l be (-47728)/(-1413)*(9/(-6) - -3). Suppose -4*d = 4*b - 7*b + 162, 0 = -4*b + 3*d + 209. Which is smaller: b or l?
b
Let s be 19/(-4) - (20 + -24). Let o(u) = -u**2 + 4*u + 5. Let t be (-10)/5*15/(-6). Let i be o(t). Does s = i?
False
Suppose d + 5*z - 409 = 0, -4*d + 1654 = -8*z + 10*z. Let m = 1284 + -871. Is m bigger than d?
False
Let u(g) be the third derivative of g**5/60 - 19*g**4/24 - 5*g**3/2 + 5*g**2. Let r be u(20). Suppose 0*j + r*j + 5*z + 170 = 0, -5*z = 4*j + 131. Is -39 <= j?
True
Let n = 5096178174 - 6364846249535932/1248945. Let t = 8/1571 + n. Is t at most 0?
True
Suppose o - 8 + 1 = 0. Suppose j - 2*j = -5*a + o, j - 4*a = -5. Let b be 7/21*j*-2. Is b greater than or equal to -2/3?
False
Let o = 2705 - 165011/61. Let l = -5 + 5. Is o at least as big as l?
False
Let m = -5 - -9. Let w be 69/10*(-10)/4*m. Let g = -70 - w. Which is smaller: -2/99 or g?
g
Let n = 23 - 23. Let t be 0 - (7 - 4) - -9. Let l be 1*t/195*5. Which is smaller: n or l?
n
Let h be (132/(-24) + 11)*(-2)/(-155). Is 0 >= h?
False
Let i(v) = -3*v**2 + 32*v - 5. Suppose 0 = 2*f - 6 - 26. Let j be i(f). Is -260 greater than j?
True
Suppose 0 = -5*j + j + 2*r + 22, 0 = 2*j - 3*r - 13. Suppose -4*p - j*b + 4*b = -66, 2*b - 36 = -2*p. Is p >= 16?
True
Let x be 712/(-6) + 5/(-15). Let r = x - -121. Let n be (r*-3)/(29 + 6). Which is smaller: n or 1?
n
Suppose -3*k = -k + 2. Let p = 1527839/259 + -5899. Which is greater: k or p?
p
Let z = -1654 + 1651. Is z not equal to 47/4?
True
Let g = 96 - 196. Let c = -97 - g. Is c at least as big as 2/11?
True
Let d = 52 + -51. Let h be 81/6 + d/(-2 - 0). Let a be 9/(-15) + (-8)/(640/(-1128)). Is h <= a?
True
Suppose 4*t = -5*i + 34, 65*t - 66 = -5*i + 69*t. Suppose 0 = 13*o - 11*o - i. Which is smaller: 56/9 or o?
o
Let r be (-39 + 51)/(1 + (-1 - -1)). Suppose -r*i = -234 + 6. Which is bigger: i or 21?
21
Let p be (-11)/(-66) - (-5)/(-6). Let f be 468/63 - (-8)/14. Is p at most as big as f?
True
Let l(b) = 8*b + 7. Let m be l(1). Let k be (-1)/(3/m) + (-468)/(-99). Is -1 <= k?
True
Let u(q) be the second derivative of 2*q**3 - 73*q**2/2 + 64*q. Let t be u(6). Are t and 2/1789 equal?
False
Suppose 6*d = 9*d - 21. Let m(x) = -2*x**3 - 50*x**2 - 45*x + 82. Let c be m(-24). Which is smaller: d or c?
d
Suppose 0 = -15*q + 519 + 321. Let z = -49 + q. Let c = -7 - z. Is -14 at least as big as c?
True
Let m = -143 + 296. Let b be (-357)/m + ((-14)/6 - -2). Is 2/9 less than b?
False
Suppose -2*k + 0 = -6. Let q = -0.0269 - -1628.0269. Let b = q + -1627.93. Is b at most k?
True
Suppose 41*d + 35*d - 46 = 30. Let x be (-4)/26*(-74)/(-4). Is x bigger than d?
False
Suppose 0 = -3*q, 2*i - i - 2*q - q = 31. Is i < -38?
False
Let f be (0 - -2) + 9751/(-3577). Is f smaller than -1?
False
Let n be -3*(618/(-36) - 3/(-2)). Is -20 not equal to n?
True
Let u = -2127 + 2126. Suppose 5*k + 757 = -2*c + 6*c, 2*c = -4*k - 616. Let f be (2 - (-1 + 2))/k. Which is smaller: u or f?
u
Let t be (-12)/9*(-3)/(-1). Suppose 0 = -14*m - 27*m + 12628. Let x be m/(-99) + 0/(-2). Is x at most t?
False
Let w(n) = -4*n**2 + 13*n + 6. Let x(j) = 5*j**2 - 13*j - 6. Let i(z) = 3*w(z) + 2*x(z). Let s be i(6). Suppose -3*a - 6 + s = 0. Which is smaller: a or -0.07?
-0.07
Let x = -26 - -6. Let k = 42.8245 - 42.8645. Which is smaller: k or x?
x
Let p be (-105)/33 + 3 - 342805/55 - -6. Is p > -6227?
False
Let t = -3868352/109 - -35490. Do 2 and t have different values?
True
Suppose 5*k - 9*k + 52 = 0. Suppose -2*f + k - 9 = 0. Let g be -1 - -1 - (6 + -8 + f). Which is bigger: g or 12/17?
12/17
Let w = -50.7 + 46. Let r = 5 + w. Suppose 19*f = -4*b + 22*f + 72, -5*b = -4*f - 90. Is r at least b?
False
Suppose 3*h - 259943 = -259943. Let r be (1/(-3))/((-209)/(-3