Let p be w(-9). Let g be 2/(3/p*-3). Let q = -440 - -440.4. Is q >= g?
True
Suppose -15*c + 25*c + 410 = 0. Let j(a) = -3*a - 9. Let s be j(-3). Suppose t + 127 = 4*h - 7*h, 4*h + t + 168 = s. Is h bigger than c?
False
Let b be ((-16)/(-32))/((-435)/10). Is b > 0.09?
False
Suppose -5 = 7*j - 26. Suppose j*o + 221 = -148. Which is bigger: o or -122?
-122
Let v = -340.1 - -299. Let t = v + 41.2. Is 0.325 at least as big as t?
True
Let v(o) = 2*o - 32. Let q be v(17). Suppose -4*t - d = -149, q*t + t - 128 = -4*d. Suppose s + 20 - 6 = -n, 0 = 3*n + 5*s + t. Which is smaller: n or -16?
n
Let p(v) = 277*v + 1453. Let n be p(-5). Is 56 at most n?
True
Suppose -4*p + 12 = 4, 0 = r - 5*p + 10. Suppose z - 1 + 4 = r, 0 = -2*k - 3*z - 1. Suppose 0 = 3*j + 12, k*d + 0*d = -2*j - 8. Is d <= -5/6?
False
Let b(m) = -m**3 + 8*m**2 - 16*m + 43. Let c be b(7). Let f be (-15)/c - (-3)/(-4). Which is bigger: f or 10/11?
10/11
Let p be (-1564)/(-1146) + (-4)/3. Let u = -330 - -329. Is p > u?
True
Let j = -147 + 150. Suppose 0 = 5*s - 4*l - 15, -3*l - 18 = j*s - 0*l. Which is bigger: s or 2/51?
2/51
Suppose 6*o + 56*o - 1344 = -34*o. Let z = -120/7 + 17. Does z = o?
False
Let q = -12793/13 + 979. Is -6 less than q?
True
Let s(v) = v**2 + 25*v + 114. Let b be s(-19). Suppose -10 = -n - b*t - t, 10 = 2*t. Which is smaller: n or -24?
-24
Let m be (-12595)/9372 + (-4)/(-3). Do m and -1 have different values?
True
Let b(y) = -3*y**2 - 30*y - 1. Let v be b(-10). Let i be 0 + 224/63 + v. Is 4 >= i?
True
Suppose 0 = 41*o + 99 + 65. Let g(j) = 3*j + 9. Let a be g(o). Which is greater: -39/16 or a?
-39/16
Let a(g) = 8*g**2 - 3*g - 104. Let q = 509 - 518. Let j be a(q). Which is greater: j or 572?
572
Suppose -4*k + 0 = 3*i + 7, -4*i + 3*k = -24. Suppose -6*u + i*u = -2*y - 3, 0 = y. Let a be u + (156/(-27) - -5). Which is greater: 2/15 or a?
a
Let d = -60590 + 60592. Let n be 41/(-3) - (-2)/(-6). Let b be 4/n - (-43)/28. Is b equal to d?
False
Let s be (-13)/3 + (-31766)/(-42). Which is bigger: 749 or s?
s
Let b(g) = 8*g - 3. Let i(x) = -9*x + 2. Let t(z) = 3*b(z) + 4*i(z). Let d be t(1). Let r(w) = w**3 + 14*w**2 + 12*w - 14. Let f be r(d). Is -1/2 >= f?
True
Let c be (-51)/3*(-2)/(1 - -1). Suppose -13*u + 2*a = -c*u + 188, u - 53 = -2*a. Is u greater than or equal to 45?
True
Let p be 2*(-178 + 2)/(-4). Let l = -93 + p. Let y be (-2 + (-32)/(-15))/((-28)/l). Is y < -1?
False
Let a = 18999 + -18961. Let p = -33 - -73. Is a at least p?
False
Let j = 1441 + -1411. Suppose -130 = -24*r + 19*r. Which is smaller: j or r?
r
Let d = -21.9 - -21. Let c(q) = -q**2 + 7*q - 14. Let n be c(3). Let v be (-1)/n*6/(0 + -3). Which is bigger: d or v?
d
Let w be (-474)/(-27) - (-18)/(-81). Let x = 17 - w. Let d = 2.217 + -2.2. Which is bigger: d or x?
d
Let k = -48.75 - 1.25. Let v = -44 - k. Is 2 at most v?
True
Let a be -10 + 1 + (3 - -8). Which is bigger: -88/17 or a?
a
Let u be (28/4 + -2)*128/(-10). Let i = 235/3 + -78. Which is smaller: i or u?
u
Let r be (2/(-4))/(6 - 35784/5968) + 5. Suppose 0 = 5*v, 2*v + 396 + 194 = -5*c. Which is smaller: r or c?
r
Let r(q) = -q**2 + 6*q + 39. Let m = -300 + 296. Let a be r(m). Is 6/119 at least as big as a?
True
Let o = 30976 - 30976. Is 3/1229 smaller than o?
False
Let h = 16/17 - 684/799. Suppose -5*f - 34 = -44. Which is greater: f or h?
f
Let o(h) = -h**3 - 60*h**2 + 195*h + 748. Let a be o(-61). Which is smaller: a or -7429?
-7429
Let b be 6/9 - 95/129. Let p be -11 + 9 + 148/172 + 1. Let c = b - p. Which is smaller: c or 0?
0
Let j(r) = -r**3 + 9*r**2 + 22*r + 1. Suppose -2*x + 2*h + 30 = 0, x + 0*h - 4*h - 27 = 0. Let f be j(x). Let l = 27/68 - -6/17. Is l at least as big as f?
False
Let j(s) = 2*s - 2. Let d(x) = -2*x + 1. Let w(g) = -5*d(g) - 4*j(g). Let n be w(-2). Let c = 217981 - 7411355/34. Is n bigger than c?
False
Let t(m) = -4*m + 37. Let o be t(8). Suppose -o*h = 85 + 190. Let z = h + 67. Are 14 and z nonequal?
True
Let o be (27/(-12) + (-6)/((-24)/5))/(-1). Is 2/13609 at least as big as o?
False
Let j be (0 + 2)/(-1)*2/(-4). Let m be 1*(-4 + 2) + 6. Suppose 0 = 3*a - 5*d + j - 9, 3*a - m*d - 4 = 0. Is a equal to -3?
False
Let n = -221871245152/1391 + 159504864. Let f = n + -93513649/23647. Let b = 3941 + f. Is b != 0?
True
Let y = -0.7 - -0.636. Let c = -7.936 + y. Let h = -4.9 - -5. Is c not equal to h?
True
Suppose 3*b - 2 = -w + 1, w = 3*b - 3. Suppose i - 22 = -w*i + 4*d, 5*i + 4*d = -10. Let o = i - 9. Is -7 < o?
False
Let f = -619/2 - -301. Let p = 321 + -769. Let z = p + 448. Which is bigger: f or z?
z
Let p = 74 - 74. Let i be (-3048)/6192 + ((-2)/(-4) - p). Does i = -1?
False
Let t = 2026 + -2026. Let a be (3 - (3 + 0))/(-1). Suppose -2*w - w - 54 = a. Which is bigger: t or w?
t
Let j = -7448 - -7447. Which is smaller: -170.62 or j?
-170.62
Suppose -1 - 24 = 5*x. Let h(b) be the second derivative of -b**5/20 - 13*b**4/6 + b**3/6 + 11*b**2 + 62*b. Let q be h(-26). Is x != q?
True
Suppose 0 = 26*b - 32*b - 3600. Let x be (4 - (-184)/(-44)) + b/(-2937). Is x less than -1?
False
Let x be 3/11 + (1059240/176)/15. Which is smaller: x or 401?
401
Let h be 4058/8 - 2/8. Let p = 506 - h. Which is bigger: p or -481?
p
Let k(j) = j**3 - 25*j**2 + 154*j - 193. Let s be k(17). Which is smaller: s or 112?
112
Suppose 4*z - 4*r = -68, -z + 2*r = 4*r + 2. Let b be (8 - 2) + -3 + 0. Suppose b*q + 45 = 3*d, 9 = -2*q - 2*d - 9. Are q and z unequal?
False
Let t = -200901/287 - -700. Is 2/5 greater than or equal to t?
True
Let y be 1180/28 + (-1)/7. Let x = y - 119. Let s = 77 + x. Which is smaller: 2/129 or s?
s
Let p be 100/(-5)*(9/(-6) + 1). Let d = 4828/19 + -254. Is d < p?
True
Let x(h) = -h**2 - 8*h + 25. Let p be x(-10). Which is bigger: p or 1319/4?
1319/4
Let j = -211 + 217. Suppose -8 = -2*a + 4*m, 2*a - 4*m + j = -7*m. Which is greater: a or 25?
25
Let u = -140.08 + 139.08. Is 8.6 at least as big as u?
True
Let u = 7.2 + 93.8. Let g = u + -62. Let k = 43 - g. Is 0.2 less than k?
True
Let n(o) = -o**2 - 15*o + 64. Let g be n(-19). Let y be -1 + 0/(g/(-4)) + -7. Is y less than -5?
True
Let v(j) = -j**2 - 7*j + 16. Let c(o) = o**3 + 15*o**2 + 16*o + 21. Let b be c(-14). Let f be v(b). Is 19 smaller than f?
False
Let r = 10734 - 10733. Is r <= 542.5?
True
Suppose 5*z = -2*x + 24, 0*x - 2*x + 5*z = -4. Let t(c) = 5*c**2 - 2*c + 1. Let h be t(1). Suppose -x*v + 18 = -h*v. Is 7 at most as big as v?
False
Let z = -2/703 + 757/18981. Let l(w) = -7*w**3 + 3*w**2 - w. Let i be l(2). Let u = i + 47. Which is smaller: u or z?
z
Let q(b) = -49*b + 295. Let n be q(6). Let s be 5/(120/18)*(-8)/179. Do n and s have the same value?
False
Let g = -671 - -673. Let m be ((7*-23)/(-1))/1. Let n = m - 487/3. Is g > n?
True
Let g = 0.1577 - 693.1577. Let b = -692.9977 - g. Which is smaller: -2/7 or b?
-2/7
Let l be (4/(-24))/((-28)/7*5/(-80)). Which is smaller: l or -0.421?
l
Let b = 4.5873 + -4.563. Is -3/7 >= b?
False
Let c(q) = q**2 - 24*q + 37. Let j be c(22). Let z be ((7/(-7))/(j/(-2)))/2. Which is bigger: z or -0.2?
z
Let f(o) = 110*o + 2. Let r be f(-1). Let b = r - -126. Is 5 equal to b?
False
Let p be 2462/(-8421) - 50/(-175). Is 0 >= p?
True
Let j = 1.5 + -1.7. Let o = -323 + 323.24. Let w = -0.51 + o. Which is smaller: j or w?
w
Let n = 10470 + -10470. Is 0.2594 less than n?
False
Let w be -3 + ((-4)/(-6))/(((-148)/(-24))/37). Is w <= 1/270?
False
Let y be (-46)/4 - (98 - 109). Which is bigger: y or 1/18?
1/18
Let w be 243/738 - (8 - (-6 + 576/42)). Which is greater: w or -1?
w
Let n = -65 - -73. Suppose 153 = -n*o + 153. Which is smaller: 4/27 or o?
o
Let r = -13459 - -19606. Is 0 at most r?
True
Let i = 924.2 + -1107. Let s = i - -183. Which is bigger: s or 58?
58
Let x be 9792/80 - (-4)/(-10). Which is smaller: x or 5?
5
Let h(s) = s**2 - 3*s - 72. Let o be h(25). Suppose 16*i - o = 178. Does i = 41?
True
Let z be (-152431)/(-96404) + (-4)/14. Which is smaller: 1 or z?
1
Let o = -10600 - -9975. Are o and -628 equal?
False
Let r be 6 + 165/(-99)*(-52)/(-10). Let l(n) = -n**3 + 6*n**2 - 3*n - 7. Let i be l(5). Suppose -i*w = w + 8. Which is smaller: r or w?
r
Suppose 9*o = 3*s + 4*o - 1071, s - 357 = 2*o. Let y = 421 - s. Which is greater: y or 61?
y
Let k be (-36)/(-27)*(-6)/(-4). Let v = k + -2. Suppose 4*b = 2*u - 2, 4*u - 3*b + 15