 392 = 2760*x. Let q be (1/(-208))/((-3)/3). Does x = q?
False
Let s(g) = g**2 - 13*g + 23. Let z be s(12). Let f = -28 + z. Suppose 2*a = -u - 17, 4*u = -0*u + 2*a - 68. Are f and u non-equal?
False
Let j = 5/2156 + -18379/4206356. Which is greater: -1 or j?
j
Let g = -6.4 - -7.01. Let j = g - 1.61. Let k = -89 - -60. Which is smaller: j or k?
k
Let c(p) = 210*p + 3951. Let x be c(-17). Which is smaller: 378 or x?
378
Suppose 2355 = 13*j - 726. Suppose 2*u - 82 = p + j, 5*u + p - 787 = 0. Is u <= 159?
True
Suppose 3*j - 11 = i, 8*j = -11*i + 10*i. Let u(d) = 9*d**2 + 3. Let f(n) = -27*n**2 - 8. Let t(m) = 3*f(m) + 8*u(m). Let h be t(-1). Is i smaller than h?
False
Let t(g) = -g**3 - 15*g**2 + 3*g + 44. Let h be t(-15). Let s = 938687/23835 - 827/21. Which is bigger: h or s?
s
Suppose 12 = z - 3*l, -3*z + 6*z - l = 4. Let x = 997 - 122630/123. Let u = -1100/861 - x. Is u at least z?
False
Let z be (-44)/28*(-2)/8. Suppose j + 2*k + 7 = -0, 5*k = 4*j - 24. Which is smaller: z or j?
z
Suppose 6*m - 2*m = 0. Let n = -2711986339/280 + 9685679. Let a = n - 94/7. Which is smaller: a or m?
m
Let m = -110753 + 110754. Let i(a) = -3*a**2 - 3*a - 2. Let p be i(-2). Let j be (1/2)/(134/p). Which is greater: j or m?
m
Suppose 0 = -3*s + 161 + 40. Let i = 44 - s. Let p be 4 - ((5 - 2) + 22). Which is smaller: i or p?
i
Let w = -15322/10143 - -232/147. Is 1 greater than or equal to w?
True
Let q be (-200)/(((-16)/4)/(-4)). Which is smaller: q or -209?
-209
Let d(g) be the second derivative of g**6/720 + g**5/20 + 13*g**4/12 - 4*g. Let u(x) be the third derivative of d(x). Let t be u(-6). Which is bigger: -2 or t?
t
Let x = 2033/7350 - 17/150. Is 0.5 at least x?
True
Suppose 83 = 19*p - 316. Suppose 3*w + 17 = -5*j, 5*j = -0*w - 4*w - p. Is -26/5 at least w?
False
Let u = -184.6 - -181. Let z = -3.02 - u. Is z less than -1/3?
False
Let v = -225.11 + -40.89. Let x = -1 - 0. Are x and v non-equal?
True
Suppose 191*l - 15 = 186*l, -4*u - 3*l = -9. Let b be (-9)/94*8/3. Which is smaller: b or u?
b
Let q = 6.904 - 9.402. Is -4 bigger than q?
False
Let l(g) = -34*g - 148. Let j be l(-6). Let b = j - 54. Which is bigger: 8 or b?
8
Let r = -9.92 + 9. Let o = 118793 + -118795. Which is smaller: r or o?
o
Suppose 17*h - 18684 = 11*h. Suppose -16*b - h = 1142. Is -266 greater than or equal to b?
True
Suppose -5*m + 2151 = 2*p, 0*p - 3237 = -3*p - 4*m. Let u(f) = -p + 1087 - 2*f + 3*f. Let v be u(-5). Is -2 less than v?
True
Suppose -243*k + 510 = 267. Which is smaller: -4/20699 or k?
-4/20699
Let n be (6/45*402)/((-14)/(-35)). Let f = n + -83. Which is smaller: 49 or f?
49
Let t be (30/9)/5 + 191086/84. Let g = t + -2200. Which is smaller: g or 76?
g
Let d = 21759 + -27724. Which is smaller: d or -2/11?
d
Let z be (-60)/12*-74*(-1)/183 - -2. Which is smaller: -1 or z?
-1
Let j be 3156 + ((-4)/(-42) - 14762/(-5082)). Which is smaller: 15797/5 or j?
j
Suppose 153*l - 288 = 162*l. Which is smaller: l or -38?
-38
Let m be ((-369)/164)/(12/(-12496)). Let f be (-3)/(-12) + 93626/40. Let p = f - m. Are p and -3 equal?
False
Let a(v) = 4*v**2 - 83*v - 393. Let w be a(-5). Is w bigger than 117?
True
Let h be ((-6)/54)/(-2*(-1)/5358). Is 0 < h?
False
Let w = 286 - 276. Suppose 5*n - 3*f + 6*f = 4, 4*n + w = 2*f. Is 1/627 at least as big as n?
True
Let j(f) = -f**3 + 9*f**2 + 161*f - 15. Let p be j(-9). Is p greater than -67/11?
True
Let j = 82 + -81.56. Let m = -10.94 + j. Let b = -11 - m. Which is greater: -3 or b?
b
Let u be (-176)/40 + 2/5. Let q be (3016/20)/((-8)/(-44)). Let x = q - 832. Is u greater than x?
False
Suppose 4*t = j - 4985, -4*t - 5*j - 6364 + 1385 = 0. Which is smaller: t or -1245?
t
Let u(z) = -z**3 - z**2 + 1. Let l be u(1). Let f be ((-308)/12)/(-1) - 2 - -3. Let b = 267/10 - f. Which is smaller: l or b?
l
Let b = 118.53 + -110.63. Let x = 4 + -7. Let o = 3.1 + x. Which is smaller: o or b?
o
Let w = 963 + -27941/29. Suppose -b = -72 + 36. Suppose -b = -5*l - 41. Is w at most l?
False
Let i = 140 - 34. Let q = 116.4 - i. Let k = q + -9.9. Is k bigger than -2?
True
Let z = 65 - 59. Let b be 3 - ((-2802)/(-1022) - z/(-21)). Let x = 2 + -1. Which is bigger: x or b?
x
Suppose -447 + 462 = 3*i. Suppose -i*z - 1 + 6 = 0. Is z greater than 2/33?
True
Suppose 16*g - 45133 - 4579 = 0. Which is smaller: 15528/5 or g?
15528/5
Let a be ((-30)/25)/(-2)*2055. Which is bigger: 1232 or a?
a
Let n = 0.884 - 0.984. Are -2124 and n nonequal?
True
Suppose g + 1 + 1 = 0. Let f = 458 - 5963/13. Is g at least as big as f?
False
Let c be (8/14)/(27/21 + -1). Suppose 28 = l + g, 2*l - g - 61 = c*g. Suppose 119 - l = 5*p. Is p bigger than 18?
False
Let w = -4976 - -4880. Which is bigger: w or -121?
w
Let r(b) = b**3 + 10*b**2 - 74*b + 15. Let p be r(-15). Is -1/8925 greater than p?
False
Let k = -3213 - -3375. Do k and -4/9 have the same value?
False
Let v = 17 + -18. Let a = 13 - 15. Let q = -13 - a. Which is bigger: v or q?
v
Let l be (-70)/5 - -2 - -4. Let w be (l/(-16))/(87/162). Let y = w - 625/609. Is y at least 0?
False
Suppose 3*g = 6*g - 39. Suppose -5*b + 18 - g = 0. Let o = -278 - -277.92. Which is bigger: b or o?
b
Let a = -1.2 + 18.2. Let f = a - 22. Is f bigger than -0.08?
False
Let z(a) = a + 5. Let t(q) = -6*q**2 - 1. Let w be t(-1). Let s be z(w). Let d = 877649/2 - 438825. Which is smaller: s or d?
s
Let o = -4030 - -4030.88. Let g = 18.9 - 19. Which is smaller: o or g?
g
Suppose 198 = n + 3*k - 7*k, 766 = 4*n - 3*k. Is 189 at most n?
True
Let p be (-876)/876*(1 - -21014). Is -21014 at most p?
False
Let g = 2091.73 - 2093. Which is bigger: -1 or g?
-1
Suppose 5*v + 265 = 14*p - 9*p, 0 = -8*p - 3*v + 413. Is p equal to 562/11?
False
Let l(a) = -a. Let j(z) = -8 - 3 - 10*z + 40 - 4 + z**2. Let w(g) = j(g) - 6*l(g). Let o be w(6). Is o at most 37?
True
Suppose -14998*p = -15008*p - 16451 + 321. Is p > -1614?
True
Let t be 4 + (-4018)/4016 + (-15 - (2 + -14)). Is 1 equal to t?
False
Suppose 0*s - 25*s = 0. Let w be s + ((-6)/3 - -3). Do w and 4/7 have the same value?
False
Let c = -27 - -50. Let j = 245.2 - 218. Let y = -27 + j. Which is smaller: y or c?
y
Let a be (-5)/(105/(-18)) - (2440/35)/2. Is -25 bigger than a?
True
Let r be 2550/(-12)*(180/(-75) - (-5 + 3)). Is r greater than 1096/13?
True
Let y = 147.5 - 153.5. Is 757 not equal to y?
True
Let n = 5262 - 5300. Is n < 2?
True
Suppose 0 = -389*l + 193*l + 187*l + 4338. Is 27 greater than l?
False
Let w = -1176 + 1134. Is -292/7 less than or equal to w?
False
Let v = -168 + 191. Suppose -3*b = -5*b - 5*h + v, -2*b + 3 = h. Let j be ((-16)/(-60))/((-6)/5). Which is smaller: j or b?
b
Let h = 597 + -287. Let q be (16244/h)/(0 - -2). Is 25 bigger than q?
False
Let r be ((-55)/(-200) + (-26)/208)*4/3. Is r smaller than -3731?
False
Let m be (-14702)/(-60) - (-240)/(-288). Let c = m + -244. Which is smaller: 0.6 or c?
c
Suppose -3*t - 5 = 5*o, -66*o + 68*o - 3*t + 2 = 0. Which is bigger: 1/43 or o?
1/43
Let d(p) = -2*p + 8. Let s be d(3). Suppose -3*u - 24 = -5*i, 4*u + 13 = i - s. Let w be 12/(-42)*u/(-30)*2. Is 1 < w?
False
Let q be (6 + -2)/(2/2). Let w be 132/27 - q - 4. Suppose u + 2*f = 4*f - 4, -f = 2*u + 3. Is u != w?
True
Let w = -1398711767 + 352478971099/252. Let y = w - 127369/9. Let v = y - 617/4. Which is smaller: v or 3?
v
Suppose -133*q + 10 = -131*q. Let r be 86/18 + (-2)/(-9). Suppose -15 = q*x + g, -r = -0*g + g. Is 0.01 bigger than x?
True
Let a be 4/(-4) + 4/144*25. Let n = 624 + -624. Is n < a?
False
Let k = 80.85 + -81. Let i = 4.2 + -4.4. Which is greater: k or i?
k
Suppose 8*l = -15 - 41. Let r(d) = -2*d**2 - 15*d - 6. Let t be r(l). Let c = 203 + -2634/13. Which is smaller: c or t?
c
Let v = 29/597 - 199825/597. Let p = -334 - v. Which is smaller: p or 35/3?
p
Let k = 2079/2 + -1060. Let x(t) = -7*t. Let c(r) = 2*r + 1. Let g(p) = 3*c(p) + x(p). Let u be g(23). Which is smaller: u or k?
k
Let h be ((-338)/(-676))/(13549/4). Is h > 1?
False
Let t be (1/2)/((-1)/(-10)). Suppose 9*k - t*k = 28. Let w = -111682/11 - -10160. Is k < w?
True
Let q = -158 + 131. Let z = 27.043 + q. Does z = -0.1?
False
Suppose 0 = 4*g - 5*m + 19973, -2*g + 5*m - 4729 = 5250. Is g bigger than -9991/2?
False
Let r = 0.3998 + -1.3998. Which is smaller: -19.96 or r?
-19.96
Suppose 5*k + 8 = -4*p, 75*k + 4 = -4*p + 71