et d be ((-10868)/(-594) + -18)/((-168)/(-20)). Which is greater: -1 or d?
d
Suppose 5*r = -12 - 3. Let i be r/2*28/(-56). Is i > 81?
False
Let z = -57.03 - -50. Let i = z + 0.03. Let m = -44542/21 + 222752/105. Which is smaller: i or m?
i
Let m = 1901 - 70339/37. Suppose 5*z + 5*v = -10, 5*z = -v - 8 - 10. Let r be (2/z)/(2/(-4)). Is m less than r?
True
Let j(l) = 8*l + 159. Suppose 5*o = -4*m - 55, 3*m + 4*o = 7*m + 100. Let t be j(m). Let p be (2/(-140))/(6/7). Does t = p?
False
Let i be (614/658 + -1)/(60/(-105)). Which is greater: 0.05 or i?
i
Let t = 884 + -602. Let n = t + -257.9. Let q = -24 + n. Is q less than 0.4?
True
Suppose 3 = -f + g, 3*g = f - g - 3. Let u = -9 - f. Let j be (-10 - u)*1/(-6). Which is smaller: -3 or j?
-3
Let c be 3 - (-539 + 4)/(-5). Let y = c - -92. Let i be 4/10*44/y. Are -2 and i nonequal?
True
Let f(m) = -m**2 + 5*m - 4. Let v = 19 - 15. Let t be f(v). Let i be 15/(-30)*-4*(-1)/404. Which is bigger: i or t?
t
Let u(i) = i**3 + 23*i**2 + 65*i - 3. Let f be u(-20). Is f at least as big as -90?
False
Let w(u) = 103*u - 102. Let o be w(1). Which is smaller: o or 24/1603?
24/1603
Let h = 40/9 + -5. Suppose -26 = 7*m - 187. Let a = 22 - m. Is a >= h?
False
Let x = 85310 - 13905529/163. Suppose -2*c = -0*c. Which is smaller: x or c?
c
Let b = 212 + -210. Let w = -149 - -752/5. Does b = w?
False
Let l = -153 + 207. Suppose -l = -25*a + 721. Is 29 >= a?
False
Let w = -1353/7 - -193. Suppose 0 = -g - 5*o - 188, -4*g - g + 3*o = 828. Let h be (2/(-36))/(12/g). Which is bigger: w or h?
h
Suppose 3*z - 136 = -5*j, 4*j - 119 = -2*z - 9. Let i = j - -49. Which is smaller: 2/3 or i?
2/3
Let w(g) = g**3 - 6*g**2 + 60*g - 307. Let d be w(12). Is d equal to 1275?
False
Let a(f) = 29*f - 3. Let y be a(-6). Let q(h) = 19*h**3 - 4*h**2 - 104*h - 217. Let l be q(-2). Is l < y?
False
Let i(j) = -j + 6. Let h be i(-6). Let m(f) = -2*f**3 - 11*f**2 - 21*f. Let a be m(-4). Suppose 14 = q - 3*y, -y - 2*y = -3*q + a. Is h <= q?
False
Let s = 23485 - 23516. Is s not equal to -2/11?
True
Let a = -3747 + 3748. Which is smaller: a or -12/1081?
-12/1081
Let q = -128.49 - -0.49. Let s = q + 128.1. Is s smaller than 1.9?
True
Let w(f) = f**2 - 36*f + 14. Let t be w(36). Suppose q = 3*g + 2*q - 52, -3*g = 5*q - 68. Is g at least as big as t?
True
Let c = 106 + -118. Let v be 1028/c*6/219 + 3. Let y = 1/73 + v. Which is smaller: 11 or y?
y
Suppose 3935 = 23*a - 21*a - 5*h, a + h - 1971 = 0. Is 1971 greater than or equal to a?
True
Let c = 0.00422 - -11273.99578. Does 2/5 = c?
False
Let m(a) = 8*a - 25. Let v be m(5). Suppose 0 = 5*c + 4*w + 280, -2*c + 5*w - 97 - v = 0. Let g be (-1)/(-7) + 1184/c. Is g greater than 0?
False
Let c be (-1)/11 + (-8)/(-44) + 1032/4983. Is 0 > c?
False
Let c = -650 - -1486. Suppose -7*p = -3*p - c. Let g = p - 2301/11. Are -1/4 and g nonequal?
True
Let m = -385 - -394. Suppose -z + 12 = m. Let x = 6.4 + -6. Is x greater than or equal to z?
False
Let t = 325.93 - 307.93. Is 213 smaller than t?
False
Let k = -29/21 - -5/3. Let f = 12.57 - 11.9. Let q = f - 1.37. Which is smaller: q or k?
q
Let a be (-20)/35 - (-92)/14. Let y be ((-6)/(-8)*-3)/(a/(-24)). Let w be y/14*210/(-72). Is -2 bigger than w?
False
Let a be ((-1)/(-5))/(12/50). Let n = 41/51 - a. Suppose -9*g + 6 = 4*t - 12*g, 10 = t - 5*g. Is t smaller than n?
False
Let o = -15332 + 15299. Let w = 8 + -38. Which is greater: o or w?
w
Let x be (-7)/(-28) + (-19)/(-4). Suppose 5*p - 202 = -c, x*p = 4*c + c + 190. Suppose 0 = 7*d - 2*d - s + 46, 5*s = -5*d - p. Which is bigger: d or 3?
3
Suppose -x - 42 = -4*y, 0*x = 5*x - 10. Let r = 37 + -63. Let j be (-1)/(4/r) - 9/(-6). Are j and y nonequal?
True
Let r = 25445 - 25393. Is r <= 108?
True
Let i = 3.7 - 2.4. Suppose 15*s = 46 - 16. Suppose -4*r + s = 5*x + 26, -4*x = -4*r + 12. Which is greater: r or i?
i
Suppose -2*a + 8*t = 3*t + 34, -4*a - 4*t - 68 = 0. Do -179/11 and a have different values?
True
Suppose -2*p - 4*l + 38 = 0, 6*l - 3*l - 67 = -5*p. Let o = p - 9. Let j be o + 1 + 80/(-24). Is j >= -0.019?
False
Suppose -18*h + 20*h - 4*j = 3976, 3*h = 2*j + 5984. Is h less than 0.1?
False
Let u(m) = 471*m + 6 + m**2 + 38 - 486*m. Let b be u(6). Is -46/5 greater than b?
True
Let f be (-15)/(-6) + -1093*6/84. Is -75 <= f?
False
Let g = -190 - -199. Let a be -6*2/358*3/g. Which is bigger: a or 1?
1
Let l = -1635.05 + 1635. Let c = -28 - -23. Which is bigger: c or l?
l
Let c be (3 - (-1 + 2))*10. Let w = c - 81/4. Is w less than -11?
False
Let h = 747/7 + -38027/357. Suppose 45 - 53 = -8*s. Which is greater: s or h?
s
Let d = 3.06177 - 0.06177. Is 669 > d?
True
Let b = 61 + -49. Let y(c) = 2*c + 6*c + c + b + 2*c. Let t be y(-3). Which is greater: t or -19?
-19
Suppose 0 = -270*c - 6*c + 276. Is c >= -2/29179?
True
Let u(t) = -t**3 + 27*t**2 - 74*t + 49. Let x be u(24). Are 20/557 and x equal?
False
Let k be 5/2 + (-632805)/7110. Let b = k + 1/474. Is -87 < b?
True
Let l be (5457/238)/(15/(-10)). Which is smaller: l or 9?
l
Suppose -5*h = -j + 83, -4*j - 2*h - 514 = -736. Which is smaller: 49 or j?
49
Let v = 34 - -12. Let o be 20349/(-570) + (9/(-30) - 0). Let n = v + o. Is n equal to 9?
False
Let s = 3105 + -3168. Which is smaller: s or -14?
s
Let g = -14344 + 14790. Does g = 458?
False
Let o = -363 - -412. Let u(b) = 2*b**3 - 99*b**2 + 47*b + 94. Let t be u(o). Which is smaller: t or -0.3?
t
Suppose 13*g + 8 + 44 = 0. Let n be (116/348)/(3/(6282/g)). Are -175 and n non-equal?
True
Let h = -114358316/117 + 977414. Let f = -41429/2574 - -177/11. Let z = f - h. Which is smaller: z or 7?
7
Let o(m) = -m**3 + 9*m**2 - 13*m - 9. Let q be o(7). Let d be (q/4)/(12/(-8) - -2). Let b = 1/49 + -127/1421. Is b smaller than d?
False
Let k be (-53)/(1325/(-24360)) + (5 - (0 - -5)). Which is smaller: k or 975?
k
Let l = 2060 - 5922. Which is bigger: l or -2/3?
-2/3
Suppose -60*x + 224 = -4*x. Suppose 3*g + 19 = 5*v, 2*v + 5*g = g - 8. Suppose -3*s + 0*z - 4*z = -18, -x*s = v*z - 14. Do 7/5 and s have the same value?
False
Let i be (-5)/(-10)*(4552 - -52). Is 2302 bigger than i?
False
Let c be ((-2)/(-16))/((-2)/844). Suppose 0 = 5*w + 2*o - 0*o - 259, 3*o = -3*w + 150. Let k = w + c. Is k smaller than -2/43?
False
Suppose -3*h = 34 - 43. Suppose -h*v - 5*z + 65 = -27, 3*v - 83 = 4*z. Let g = v - 48. Which is smaller: g or -16?
g
Let f(v) = 14*v - 25*v + 8*v - v**2 + 2. Let o be f(-3). Suppose -139 = 5*j - o*l + 3, -l + 86 = -3*j. Is -30 greater than j?
False
Let p = 1957541/2129390 - -2/34345. Do p and 0 have the same value?
False
Suppose -105*f + 132 = -117*f. Let y be (-2)/f + (-42595)/(-165) + 6. Which is smaller: 264 or y?
264
Suppose -1298 = 2*k + 28*s - 29*s, -5*s = 2*k + 1334. Which is smaller: -647 or k?
k
Suppose -16*l - 107*l - 67351 = -5236. Which is bigger: -503 or l?
-503
Let x be ((-7)/21)/((-1)/(-111)). Let u = x + 35. Let r be 3 - (u - (1 + 1)). Is r bigger than 0.1?
True
Let b(s) = -5*s**2 + 74*s + 16. Let o be b(16). Is o at most as big as 23/2?
True
Suppose 16*p + 1210 = 1802. Which is greater: 179/5 or p?
p
Let u = -20 - -21. Let s = -123.51 + 123. Let l = s - -0.55. Is u less than l?
False
Suppose 5*p - 610 - 255 = 0. Let v = p + -173. Does 2/1955 = v?
False
Suppose -803 = -z + h, -468 = -2*z + 3*h + 1141. Let m = z + -545. Let b = 19127/75 - m. Is -1 at most b?
True
Let w = -121.3608 + 0.1008. Let o = -121 - w. Let c = o + -1.26. Which is greater: 3 or c?
3
Let z be -3 + 10/4 - (-5 - (-153131)/34030). Which is smaller: z or 0?
0
Suppose 0 = -2*k + 2*q + 110, 3*k - 186 = -4*q - 0*q. Let t = 110 - 106. Suppose 3*r + 3*p = p + k, 49 = t*r - 3*p. Which is greater: r or 13?
r
Let o be (2 + 84/(-8))/((-1)/2). Suppose 0 = 2*k - 4*y - 35 - o, -2*y - 46 = -2*k. Let z = 738 - 738.1. Which is smaller: z or k?
z
Let j = -131619/8 - -16455. Which is greater: -138 or j?
j
Suppose 0 = 8045*p - 8039*p - 6. Are p and -3090 equal?
False
Let u = 1296 + -1302. Is -179/38 != u?
True
Let i be 5/4 + 108/(-432). Which is greater: -2851 or i?
i
Let j = -35106.058 + 35242. Let l = 136 - j. Does l = -0.2?
False
Let q = -4.551 - 0.149. Let w = q + 4.7. Which is smaller: 9 or w?
w
Suppose -15*m - 2924 = 811. Let k = -420 - m. Is -172 at most k?
True
Suppose -g - 334 = -5*t, -t - 5*g + 20 + 26 = 0. Which is smaller: t or 31?
3