 2.409 + 1001.591. Is 2 at least i?
False
Let g = 0.13 - 1.43. Let c = g - -1.2. Let l(w) = -2*w**2 - 19*w + 10. Let i be l(-10). Which is smaller: c or i?
c
Let i(v) = v**2 - 8*v - 39. Let p be i(-4). Suppose -21 + 3 = -p*h. Let d be h - 34/(-3)*(-45)/150. Is -2 less than d?
True
Let x = -36 - -33.6. Let l = 0.92 + x. Let a = l + 0.48. Which is smaller: 27 or a?
a
Let j(b) = 31*b + 34. Let f be j(-6). Suppose 0 = 2*z + 5*s + 321, 4*z + 600 = -0*s + 4*s. Is z bigger than f?
False
Let f be ((-188)/(-282) + 3304/(-5001))/(4/1). Is f at least 1?
False
Let p = 211 + -13. Let s = p - 185. Is s equal to 6?
False
Let v(f) = f**3 + 2*f**2 - 3*f + 8. Let k be v(5). Let j be (14/(-6))/(4/k). Let c be 4/(-14) - 1694/j. Are c and 1/2 non-equal?
True
Let r = -782 + 782. Let t(b) = -b**3 - 4*b**2 + 4*b - 5. Suppose -3*s - 1 = 14. Let w be t(s). Is w greater than or equal to r?
True
Let j be 2 + (-2 - (-884)/177) + -5. Is j <= 1?
True
Let m = -2339/5 + 466. Let j(v) = -v**2 + 7*v - 11. Let k be j(3). Which is smaller: k or m?
m
Suppose -98 = -4*u + 2*u. Let b = u - 110. Let a = -63 - b. Which is smaller: 2/9 or a?
a
Let t = 1200.1 - 1200.04031. Do -1 and t have the same value?
False
Let q = -233/20 + 18181/1540. Which is smaller: -1 or q?
-1
Let o = 2765 - 2766. Which is smaller: o or -1/363?
o
Suppose -4*w = -g - 299, 2*w - 139*g - 146 = -135*g. Is 74 at least as big as w?
False
Suppose -45*z - u + 156 = -47*z, -5*z + 3*u = 390. Suppose 4*p - 388 = 5*a, 0 = 5*p - 5 - 5. Which is greater: z or a?
a
Let p = 8.7862 + -8.86. Let c = p - 0.2262. Which is smaller: c or -3/4?
-3/4
Let g(a) = a**2 + 7*a + 3. Let o be (6/(-5))/((-2)/(-10)). Let t be g(o). Let c be 1 + 1 + 1120/(-280). Is t equal to c?
False
Let b = -0.63861 - -0.08861. Is -0.1 less than or equal to b?
False
Let q = 1334 + -1690. Are -0.4 and q nonequal?
True
Let z be (((-18)/(-10))/(48/80))/(5 - -1). Do z and 25205 have different values?
True
Suppose 2*s = 2, -2166 = 5*b - 9*b - 2*s. Is 549 < b?
False
Let r = 1897476324323/11475 + -165357414. Let a = 2/459 - r. Let v = 701.9 - 702. Which is smaller: a or v?
v
Let b be (0 - 5) + 12870/1287. Let r be (-416)/(-1140) - (-4)/(-10). Is r equal to b?
False
Let r = -192 + 713. Let n = r + -523. Which is greater: 0 or n?
0
Let r = -0.1725 + 0.2725. Let i = 63 - 72.1. Which is bigger: r or i?
r
Let v = 278 + -258. Let g be ((-44)/(-70))/(6*(-3)/(-540)). Is g smaller than v?
True
Let t = -96480467/1463 + 65947. Is t less than 1?
True
Suppose 48 = 4*f + 8*f. Suppose 38 + 74 = -f*b - 5*y, -3*b - 5*y - 84 = 0. Is -28 at most b?
True
Let v = 13683469 - 259865627/19. Let o = -6329 + v. Is o at most as big as 2?
True
Suppose 3*q = 5*t - 53, -q + 2*t = 23 - 7. Let z(r) = 27*r - 118. Let u be z(4). Which is bigger: u or q?
u
Let d(n) = n**2 + 12*n + 6. Let y be d(-8). Suppose 0 = -2*i - f + 60, -39 = -i - 4*f - 2. Let h be 26 + -23 - (i + 2 + -2). Is h less than y?
False
Let o = -1 + 3. Suppose -12*i = 49 - 61. Suppose -3*u = -i - o. Which is greater: u or -3?
u
Let i be (-256)/88 + 590/649. Let b(c) = -c**3 - c**2 + 5. Let g be b(0). Suppose -5*a + 10 = 0, 0 = -g*j + 4*a - 0 - 23. Does i = j?
False
Let t be (14/70 - (-2)/30)/((-32)/24). Is -2668 bigger than t?
False
Let x(a) = -2139*a - 27506. Let k be x(-13). Let m = 965 + -664. Is k > m?
False
Let a = 633841/278 + -2280. Let p = a - 333/15290. Do -0.4 and p have the same value?
False
Suppose 3*o + 3*z = -2*o + 8, -3*z = -o - 2. Let u be -1 - (0 + o/(-8)). Let n be ((-24)/(-3 - 5))/(3/(-2)). Which is smaller: n or u?
n
Suppose 3 = 8*z + 11. Suppose -h = b - 30, 4*b - 26 = -h + 82. Let a be (8/b)/1 + 0. Is z < a?
True
Let b be (-1 - (-28)/24)*162/62. Which is bigger: b or -1?
b
Let p = -15.35 + -1.65. Let h = 17.1 + p. Which is bigger: h or -31?
h
Let n(c) = 154*c + 3014. Let u be n(-22). Is u bigger than -2245/6?
True
Let s = -2456.5 + 2477.5. Does s = -33?
False
Suppose -5*x - 40 = -3*z - 3*x, 0 = -3*z + 5*x + 46. Let u(t) = -4*t - z - 5*t - 3 + 14. Let l be u(-6). Which is bigger: 51 or l?
l
Let b = -38168477129/292 + 130713750. Let a = b + 851/4. Is 1 at most a?
False
Suppose -4770 = -180*n - 2250. Suppose 2*x + 23 = u, -4*x = 7 + 1. Which is greater: n or u?
u
Let h = -0.8615 + 0.8615. Is 339 != h?
True
Let g(y) = -2*y + 7 + 3*y**2 + 4*y + 2*y - 2*y**2 - 10*y. Let b be g(4). Which is smaller: 1/415 or b?
b
Suppose -5*x + 7*w - 11 = 3*w, -1 = 2*x - 5*w. Let d be (-51533)/(-138040) + x/8. Which is smaller: 0 or d?
d
Let v be 30/(-198) + (-1)/(22/4). Is -1/18 != v?
True
Let t = -4391489506 + 1497500497464/341. Let k = t + -7554. Is 0 < k?
True
Let o be (1/(-2))/((-39)/6). Let c(k) = -4*k - 4. Let u be c(-4). Let l be (-6)/u*4/7. Which is greater: l or o?
o
Let y = -3199.9 - -3200. Which is greater: 458 or y?
458
Suppose 1052979 = 330*i - 243077 - 451294. Is 5295 at most i?
True
Suppose -u = -30*u + 58. Let l be u + 6 + (-12 - -3). Let b(h) = -71*h**2. Let k be b(-1). Which is greater: k or l?
l
Let y = -2 - -179. Let c = 176.89 - y. Is 2/5 at most as big as c?
False
Let y = 19423/77 + -1788/7. Let r = -39 + 37. Which is smaller: y or r?
y
Suppose 8 = 2*i, -462*z - 520 = -465*z - i. Is z smaller than 859/5?
False
Suppose -5*c + 14*c = 2034. Let g = 220 - c. Which is smaller: g or -16?
-16
Let q = -7835.6 - -7835. Which is smaller: -3/128 or q?
q
Suppose -5*j = 4*d - j - 32, 0 = d - 3*j - 4. Suppose d*g - 431 = 248. Which is smaller: g or 96?
96
Suppose -5678 + 1044 = -2*g. Are 2317 and g nonequal?
False
Let z = 722 + 794. Is 1515 >= z?
False
Let u = 38 + -34. Suppose -u*w - 3 = -27. Let v be -2 - (-3)/(w/14). Is 5 < v?
False
Suppose o + 2*o = 5*w - 20, -2*o + 5*w - 20 = 0. Suppose -2*h = -o*h - 66. Suppose 0 = 20*f + 48*f - 0*f - 2176. Is h less than f?
False
Let m(c) be the third derivative of -c**4/6 + 25*c**3/3 - 10*c**2. Let t be m(17). Let h be ((-39)/182)/(t/(-8)). Are -1 and h non-equal?
True
Let l(d) = -7*d**2 + 8*d - 2. Let q be l(3). Let z = -10 - 28. Which is smaller: q or z?
q
Let t be (-1)/(1 + -1 - (-2)/6). Let k be 8845/(-4408) - t/((-6)/(-4)). Is -1 equal to k?
False
Let l = -870/19 + 16286/437. Do -8 and l have the same value?
False
Let h = -2 + 2.26. Let t = 158.95 + -160. Let x = -2.05 - t. Which is greater: h or x?
h
Let b be 9129/34*4/(-3). Let l = 541 + b. Is 183 at least as big as l?
True
Suppose b = -m + 10, -3*m = -5*b + 2*m. Let v(s) = -4*s**2 - 25*s + 0*s**2 + 9*s + b*s**2 - 37. Let r be v(18). Is r >= 0?
False
Suppose -37*p + 588 - 588 = -5*p. Which is smaller: p or 11306?
p
Let s(l) = l**2 - 7*l + 6. Let z be s(5). Let n = -83519/807911 + -2/27859. Which is greater: z or n?
n
Let w(l) = l + 4. Let f be w(0). Suppose 5*j + f = -6. Let n be j/3*(-3)/(-2). Is n > -6/29?
False
Let v(n) = 3*n**3 + 28*n**2 + 9*n + 2. Let h be v(-9). Suppose -25 = -h*u + 33. Is 1 less than or equal to u?
True
Let w = -92 + 97. Suppose 0 = -w*g - 2*q + 71, -2*q - 6 = q. Which is bigger: 20 or g?
20
Let k = -5096 - -5079. Let z = 2.7 + -0.7. Does z = k?
False
Suppose -2*y = -7 - 83. Let u = 48 - y. Let n be ((1 + u)/(-492))/(3/(-27)). Which is smaller: n or -1?
-1
Let v = 58 - 87. Let j(c) = -c**2 + 131. Let t be j(-21). Let w = t - -281. Are v and w equal?
True
Let q(d) = -23*d**2 - 21*d - 10. Let r(p) = -4*p**2 - 4*p - 2. Let g(t) = 4*q(t) - 22*r(t). Let b be g(-3). Is -45 at least b?
False
Let d = 905 - 937.7. Let n = d + 32.4. Which is greater: n or 1/154?
1/154
Suppose 2*n - 10*v - 762 = -15*v, 0 = 2*n - 2*v - 804. Is n bigger than 396?
False
Let w = 6558 - 6162. Which is bigger: w or 9?
w
Let k(r) = 2*r**2 - 6*r - 79. Let i be k(13). Suppose -27 = 11*w - i. Which is greater: w or 12?
w
Suppose -376*l - 94 = -374*l - 3*o, -3*o = 3*l + 111. Which is smaller: l or -24?
l
Let a = 114 - 120. Let k = 0.1 + -0.23. Let i = k + 0.23. Is i smaller than a?
False
Let p be 0 - ((-6)/5 - -2). Let j = 325.013 + -0.013. Let r = j - 325.8. Is p bigger than r?
False
Suppose 58*a - 9*a - 642 = -58*a. Let k = -27 - -38. Is a smaller than k?
True
Let z = -0.4661 - -462.2561. Let j = -462 + z. Is j <= 3/5?
True
Let o be (-4 + (-3 - -5))*4 + (-10476)/(-1404). Which is smaller: -2 or o?
-2
Let x = -3081 - -3083. Is x bigger than 89?
False
Suppose 4*t - 8 = 0, 3*f - 5*t - 47 - 3 = 0. Suppose 18*w = f*w + 2. Are w and 9 equal?
