7). Let b = g + -25. Is b <= 99?
False
Let p(v) be the first derivative of -18*v**2 + 144*v - 19. Let f be p(10). Does -217 = f?
False
Let i(n) = -246*n**3 + 4*n**2 - 3*n. Let l(q) = -q**2 - q - 2. Let o(s) = i(s) + 3*l(s). Let f be o(-1). Which is bigger: 491/2 or f?
f
Let x = -76 - -317. Suppose -7*a + x = -179. Suppose 3*g = -a + 15. Is g at least as big as -15?
True
Let o = 641 - 643.57. Let h = o + -12.43. Is h smaller than 5?
True
Let m = -2300 + 2303.5. Which is bigger: m or 0.05?
m
Let w(v) = -3*v - 17. Let y be w(-7). Suppose 25 = -3*q + q + 5*o, 4*o + 36 = -y*q. Let i be ((-63)/24)/(q/20). Is 5 >= i?
False
Let v = -348677/1968 + 3842/123. Let k = 146 + v. Which is smaller: 0 or k?
0
Let w = -396863/78 + 5088. Which is bigger: 0 or w?
w
Let o be 22*(-3)/14 + -67 + 74 + -2. Let t = 7 + 1. Let i = -7 + t. Which is smaller: i or o?
o
Suppose -3*v = -v + 6. Let i(n) = n**3 - 429*n**2 + 7790*n + 8. Let m be i(19). Is v less than m?
True
Let w be 42/(-357) - (-4)/(204/57). Which is bigger: w or 0.0175?
w
Suppose 5*c + 5*j - 7034 = -1109, 0 = -5*c - 2*j + 5937. Is c greater than 1189?
False
Let d be ((-2)/(-14))/(12/(-98)). Let c(q) = q**3 + 4*q**2 + q + 8. Let g be c(-4). Suppose -x - o - g = 2*x, -5*o = -3*x + 20. Is x < d?
False
Let u = -15785 - -15805. Which is greater: 12 or u?
u
Let p = 137.2 - 136.84. Which is smaller: p or -0.1?
-0.1
Let w be ((-1)/4)/(595/(-170)). Which is smaller: w or 1.02?
w
Let i(y) = 2*y**2 + y - 3. Let k be i(-3). Let g = 371 - 327. Suppose 592*w - g = 588*w. Is k <= w?
False
Let w = 0.577 - 0.627. Which is smaller: w or -17.5?
-17.5
Let z(b) = -30*b + 34. Let x be z(5). Let y = 198 + x. Let c = -56 + y. Which is smaller: 25 or c?
25
Let z be ((-27)/(-9) + 1)*(-25)/(-4). Suppose -7776 = -z*h + 9*h. Is h at most 486?
True
Let i be (-1)/1*(-4)/(-10). Let u = -411740/9 + 12805754/279. Let t = u - 150. Are t and i equal?
False
Let s be ((-1252)/20)/((-168)/(-245)). Let w = s + 933/8. Are w and 24 non-equal?
True
Suppose -4*j = 2*w + 220, 3*w + 50 + 170 = -4*j. Suppose 4*f + 2*f - 18 = 0. Suppose 6*b - 3*n = 8*b + 127, -4*b + f*n = 209. Is j greater than b?
True
Let u = 56 + -122. Let y = -135 - u. Let o = y + 65. Do o and 1.5 have the same value?
False
Suppose -18*u = -40*u - 27*u - 3*u. Which is bigger: u or -32/343?
u
Let s = 198 + -86527/437. Suppose -1044*h - 397*h - 32 + 14 = -18. Which is greater: h or s?
h
Let u(r) = -r**3 + 821*r + 6 - r**2 - 26 - 769*r. Let x be u(-7). Which is bigger: x or -89?
-89
Let j = -24.222 - -0.322. Let w = j + 22. Let l = w + 1.7. Is 7 < l?
False
Let w(o) = -o**3 + 9*o**2 - 14*o + 4. Let i be (-1 - (1 - 60/16))*4. Let u be w(i). Suppose -3*l + 3*x = 9, x + 15 = u*l + 6*x. Which is smaller: l or -35/3?
-35/3
Let g be 5 + 1862 - 2/((-2)/(-1)). Let d = -11081/6 + g. Which is smaller: 20 or d?
d
Let t = 2335 - 2385.65. Let w = t - 0.35. Let h = w - -49. Is h less than or equal to -9?
False
Let y(i) = 2*i**2 + 314*i + 1254. Let o be y(-4). Suppose -4*k + 93 = -k. Which is smaller: k or o?
o
Suppose 113*q - 108*q = 4*h + 26, 0 = 3*h - 5*q + 17. Which is smaller: h or -305/32?
-305/32
Let x = 391.6675 + -391. Let p = x + -0.0675. Is p > -12?
True
Suppose -14 = -5*n + 2*d, -n + 0*d + 19 = 5*d. Suppose 2*b + 3*b = -20, 4*q = n*b - 100. Let h = 33 + q. Are h and 30/11 non-equal?
True
Let k be 29/(522/(-315))*12/640*6. Which is smaller: -0.4 or k?
k
Suppose -4*a + 218 = 2*j, 2*a + 15 + 74 = j. Let w = -98 + j. Which is smaller: w or 113?
w
Suppose -17*r = -10*r - 133. Let q(s) = -15*s + 260. Let b be q(17). Which is bigger: b or r?
r
Suppose 0 = 35*k + 49*k - 84. Let f be 156/(-7) + 10/35. Is k < f?
False
Let d be 5 + -3*(-30)/(-18). Let x be (-16 + 9)*(-1 - d). Is x less than or equal to 16?
True
Let c = -1508748437/1710 + 882309. Let t be ((-3544)/(-32))/(1 + (-188)/8) - -5. Let z = t - c. Which is greater: z or -1?
z
Let l be ((-4)/(-14))/((-6)/42). Let y be 58/10 - l/10. Let k be y/(30/25) - 4. Is k at least 1/10?
True
Let l = 508.9 - 509.2. Is l smaller than 5.35?
True
Let o = -27 - -27.73. Suppose 0 = -m - 4*r + 2, -1 = 3*m - 2*r + 7. Let a be (2*5/8 - m) + -3. Which is bigger: o or a?
o
Let u = 18 - 13. Suppose -2 = u*i + 6*o - 3*o, 5*o - 4 = -i. Let y be (-22)/12 + (5 - (i + 4)). Is 1 > y?
True
Suppose 16*g = -20*g + 216. Let h(y) = y**2 - 3*y - 19. Let s be h(g). Which is smaller: s or 2/477?
s
Let t = 1.1549 + -0.2549. Which is bigger: 2/87 or t?
t
Suppose 8*i = 12*i - 160. Does 45 = i?
False
Suppose -18*w + 2638 + 1466 = 0. Which is bigger: w or 240?
240
Let c be (-6)/5*(-30)/12. Let a be (5/(-2))/(1/(-2)). Let s(o) = o**3 - 5*o**2 + 5*o - 27. Let w be s(a). Which is smaller: c or w?
w
Suppose 0 = -x + 4*g + 40, 3*x - 8*x = 3*g - 131. Let l be (2 - 3)/(8/1416). Let q = -150 - l. Which is bigger: x or q?
x
Let t(f) = f**3 - 23*f**2 + 34*f + 10. Let i(a) = -2*a**2. Let j(w) = 5*i(w) - t(w). Let p be j(8). Which is smaller: -3 or p?
-3
Suppose 37*t = 12*t + 7900. Suppose -4*m + 5*c = t, -5*m - 106 - 289 = -5*c. Do m and -81 have different values?
True
Let k(l) = -l**3 - 9*l**2 - 2*l - 4. Let s be k(-9). Let b(j) = -j - 16. Let u be b(s). Let y = u + 40. Is 10 not equal to y?
False
Suppose -14*j - 29 + 85 = 0. Suppose r = -j*r + 8*r. Which is bigger: 14/29 or r?
14/29
Let t(o) = 12*o + 4. Let f be t(10). Let x = 876.9 + -875.9. Which is smaller: f or x?
x
Let k(o) = -o**2 - 7*o - 10. Let s(j) = j**2 - 25*j + 112. Let b be s(19). Let y be k(b). Is 1/192 >= y?
True
Let v = 60606946/757 - 80062. Is v >= 2?
False
Let l(a) = 276*a + 3643. Let w be l(-13). Does w = -5?
False
Let z(h) = h**2 - 156*h - 4117. Let b be z(-23). Which is smaller: -35/382 or b?
-35/382
Let s = 69291/4 + -17325. Is s at least 29.1?
False
Let n(f) be the second derivative of -16*f + 11/2*f**2 + 2/3*f**3 + 0. Let k be n(0). Does 11 = k?
True
Let c = -0.1 + 0.2. Suppose -25 - 27 = -4*b - 4*a, -46 = -3*b + 4*a. Suppose -b = 4*o - 3*q, o - q = q - 6. Is c greater than or equal to o?
True
Let l = -15 - 10. Let k be 5/(l/(-420))*1. Let j be (-38)/k - 12/(-72). Which is greater: j or -1?
j
Let r(h) = 13*h**3 + 4*h**2 - 2*h. Let a(o) = -o**2 + 21*o + 1. Let t be a(21). Let f be r(t). Which is smaller: f or 7?
7
Suppose 0 = -2*j - 6*r + 18, 5*j + 607*r - 610*r + 9 = 0. Which is greater: 2/4911 or j?
2/4911
Let g be ((-36)/(-30))/(897/(-230)). Is -2/711 at most as big as g?
False
Let n = -674 - -668. Suppose 28 = 10*g - 72. Which is smaller: g or n?
n
Let c = 66/29 - -943/261. Let u = 2536/423 - c. Which is smaller: u or -1?
-1
Let c(w) = 425*w - 410. Let a be c(1). Which is smaller: 180/13 or a?
180/13
Let i be (-35)/(-4 - 3)*-27. Let c = -115 - i. Does c = 21?
False
Let h(c) = -c**3 + 12*c**2 + c - 3. Let l be h(12). Suppose 6*u - 9 - l = 0. Suppose u*y = 5*y - 0*y. Is -1/12 at least y?
False
Let z(x) = -x + 15. Let s be z(7). Let j be (-36)/(-3)*(s + -2). Suppose -59*c + j = -61*c. Is c not equal to -36?
False
Let p = 18.4 - 18.552. Let t = -0.848 + p. Which is smaller: 1/17 or t?
t
Let m = 2721.9 - 2722. Which is smaller: -833 or m?
-833
Suppose -54 = -4*y + 2*f, -5*y + 5*f - 10013 = -10088. Let l = 0 + 3. Which is smaller: y or l?
l
Let v be 11/(77/1344) + -9 + 2. Are 557/3 and v nonequal?
True
Let l be ((-5)/25)/((-2)/70). Suppose 3*k = -2*f + 1, 0 = -5*f - l*k + 2*k. Let h be (f/(-2))/((-33)/18). Are h and -1 non-equal?
True
Let c(v) be the second derivative of v**5/20 + v**4/3 - v**3 - v**2/2 - 2*v. Let r be c(-5). Suppose -r*x = -5*x + 31. Which is greater: 32 or x?
32
Let q = 175 + -176. Let x be q/(2/(-6) - (-8632)/39). Is 0 >= x?
True
Suppose 116*z + s = 111*z - 35, 5*s + 21 = -3*z. Let t(u) = 2*u + 11. Let a(j) = -6*j - 32. Let o(v) = -5*a(v) - 16*t(v). Let b be o(z). Is 11 greater than b?
True
Let f(b) = 5*b - 1. Let w be f(1). Suppose w*s + 5*q = s - 26, -q = 5*s + 58. Let i be (8/s)/(4/(-186)). Is i bigger than 31?
False
Let v = 21.3 - 5.3. Let o be (332/(-6))/((-28)/(-54)). Let t = o + 107. Which is bigger: t or v?
v
Let g = -2 - -4. Let z(x) = 7*x**3 - 2*x**2 + 6*x + 2. Let h be z(-3). Let m = h + 227. Is g < m?
True
Let w be 28/(-46) - (-4)/6. Let v = 5.961 + -3.961. Is v greater than or equal to w?
True
Let q = -17.1 - -17. Let t = 10 - -98. Suppose 10*n + 242 + t = 0. Is n less than or equal to q?
