64 = 4*q. Let w = -70703 - -1414421/20. Let t = q - w. Which is smaller: -1 or t?
-1
Suppose 0 = 7*g - 55*g + 48. Is g != 34/259?
True
Let b = 2/33 + 161/66. Let c(f) be the second derivative of f**4/12 + 23*f**3/6 + 91*f**2/2 - 8*f - 3. Let s be c(-18). Is b less than s?
False
Let o be -2*(-2)/(-4) + 2 + -2. Let g be ((-256)/(-252) + o)*3/2. Suppose 5*a = 3*h + a + 9, -h + 10 = 3*a. Which is smaller: h or g?
g
Let p = 2/124023395 + -10062638153483/9797848205. Let j = -1027 - p. Let t be ((0 + 0)/8)/(-8 + 7). Which is bigger: j or t?
j
Let f be 16/18 + (-138)/(-1242). Which is smaller: f or -6/3085?
-6/3085
Let f be 306 - 4/(28/(-35)). Suppose -2*z = -3*v - 467, 5*z - 6*z + f = -2*v. Which is smaller: v or -154?
v
Let u(w) = -2*w**2 + 7*w - 31. Let t be u(18). Which is bigger: t or -552?
-552
Suppose 9*p - 4*p + 2*y - 30 = 0, y = 2*p - 12. Suppose -3*m + p = -4*m. Which is smaller: m or -5?
m
Let a = 21975 + -21981. Are -544/79 and a equal?
False
Let r = -65.567 - -65.467. Let g be (-98)/4 - 2/2. Let m = -24 - g. Which is greater: m or r?
m
Let y(g) = -g**2 + 9*g + 3. Let o be -6*4/(-6) + 5. Let d be y(o). Let b be d + (-142)/42 + 6/9. Is -3/7 not equal to b?
True
Let t = 109 + -40. Let d = t - 65. Let q be (20/15)/(d/(-6)) - -3. Which is bigger: 1/16 or q?
q
Let r(s) = s**2 + 3*s + 4. Let c be r(-1). Let u be (20/102)/(c*(-5)/60). Is u > 1?
False
Let a(q) = -q**3 - 31*q**2 + 144*q + 37. Let n be a(-35). Let m = -190 - -88. Which is smaller: m or n?
n
Suppose -2*x - 2*c - 10080 = 0, 76*c = -4*x + 79*c - 20132. Are -10073/2 and x nonequal?
True
Suppose -10*x = 2609 - 3469. Which is bigger: x or 597/7?
x
Let d be 16/96 + 10*2/24. Is d smaller than 14/729?
False
Suppose 3*g + 811 = -3*h + 4*h, 15 = 5*g. Let l = h - 811. Which is smaller: l or 7?
7
Let n be ((-8)/(-961))/((-27)/(-81)). Which is greater: n or -1?
n
Let f be -10*(-2 - 1968/(-40)). Let t = f + 276. Does t = -197?
False
Suppose -23*a - 2251 - 1268 = 0. Which is greater: -151 or a?
-151
Let o be -6 + 21 + -13 + 47/1. Is 50 bigger than o?
True
Let u(k) = -19*k + 1279. Let i be u(70). Are i and 0.46 unequal?
True
Let g = -18737.889 + 18845. Let b = g + -107. Let o = b - -72.889. Which is greater: -1 or o?
o
Let u = -75588 - -680347/9. Let o be (-27)/(-4) - 1/(-4). Is u >= o?
False
Let c = -10551 + 8605. Is c greater than or equal to -1946?
True
Let s = -4029 + 4029.4. Are s and 62.3 equal?
False
Let g be (-152)/(-228) - 3/((-18)/8). Suppose -2*j - g*i = -330, -15*i = -j - 14*i + 173. Is 170 at most as big as j?
False
Suppose 4*m + 12 = 0, -3*k + 2*m - 8 = 16. Let h be (2 - (-14)/k)*5. Suppose -10 = -5*i, -3*i - 4 = -h*q - 5*i. Which is bigger: 2/39 or q?
2/39
Suppose j = 2, 4*o + 39 = 5*j - 7. Let h be (6/(-45))/((0 - (-2)/(-820))*-6). Which is smaller: h or o?
h
Let o(g) = 2*g - 4. Let j be o(5). Let p(v) = 3*v**2 - 15*v + 5. Let u be p(j). Let h(t) = -3*t**2 + 38*t - 32. Let d be h(11). Is d bigger than u?
False
Let y = -110.244 - -0.244. Let c = -109.5 - y. Let j = 0.3 + -1.3. Which is smaller: j or c?
j
Suppose 0*z - 374 = 2*z. Let v(j) = -2*j**2 + 68*j - 747. Let u be v(20). Is u at least as big as z?
True
Let i = -6 - -12. Let l = i + -6.1. Let d = 695/52 + -138/13. Which is smaller: l or d?
l
Let f = 48 + -49.7. Let g = 2.7 + f. Let p = g + -1.08. Which is greater: -3 or p?
p
Let k be (-2436)/(-913) + (-5796)/(-5313). Is k <= 4?
True
Let s(d) = -3*d**3 + d**2 + d - 2. Let q be (-180)/54 - (-2)/6. Let b be s(q). Which is bigger: 0 or b?
b
Let b be 28/(-98) - 1/((-7)/947). Let a be (3/b)/((-27)/54). Suppose -3*y = -y - 2. Which is smaller: a or y?
a
Let c be (3*-1 - (18/6 + -7))*-1. Which is smaller: 1/67 or c?
c
Let c = 14 - -62. Let g = 77 - c. Is g equal to 4?
False
Let f be 50/(-80)*(((-376)/60 - -2) + 4). Which is smaller: 164/9 or f?
f
Let a be (-6357)/(-2) + (-117)/78 + -1. Are 3176 and a unequal?
False
Let n = -13556985 - -197105004998/14539. Let m = n - -2/217. Is m smaller than -1?
False
Suppose b + 0*b + 3*m - 26 = 0, -15 = -3*m. Let r(z) = 6*z - 129. Let y be r(22). Let d be (y + (-20)/12)*15/2. Is d > b?
False
Let h = 23 - -15.4. Let m = 24.4 - h. Which is bigger: m or 3?
3
Suppose 3*w - m + 13 = 3*m, 4*w = -m + 8. Let b = 4.5 + -33.5. Let h = 26.2 + b. Is w greater than h?
True
Let h(i) = -70*i**2 - 313*i + 52. Let p be h(-3). Let k be ((-76)/(-12))/((-1)/(-57)). Is k smaller than p?
False
Let d be (5/(-3))/((-75)/90). Suppose -55*j = -56*j - d. Is 36 at most j?
False
Suppose 5*s + 38 = -22. Let y be s/(-3) - 4/2. Let q be 3*-5*y/(-1410). Which is smaller: 1 or q?
q
Suppose -3*n = 3*u + 270, 2*n - 95 = 3*u - 255. Let v(p) = p**3 - 23*p**2 - 45*p - 77. Let s be v(25). Let q = s + n. Is -38 bigger than q?
False
Let p = 12 - 9. Suppose -15 = -5*m + p*r, -5*m - r - 5 = -0*r. Let t be (5 - 18/(-6)) + -1 + m. Is t < -1?
False
Let m = 8304 + -8303.973. Let z = 240 + -239.827. Let f = z + m. Is f greater than -0.4?
True
Let o = -195 + 149.5. Let k = o - -46. Let m = -0.2 - 0.8. Is k greater than or equal to m?
True
Let k = 33/65 - 1224/2795. Let d = -3874 - -3875. Is k <= d?
True
Let m = 9691 - 2624. Which is smaller: 1 or m?
1
Let v(a) be the third derivative of -a**6/120 + 2*a**4/3 - a**3/6 + 28*a**2 + 2. Let w be v(0). Which is bigger: w or -82?
w
Let b = -53.011 - -52.8. Let r = b + 0.311. Let k = -8/5 + 37/20. Is k < r?
False
Let h = 129693/4 + -32423. Which is greater: -2015 or h?
h
Let v be (69/(-92))/((-19)/20 + (-4)/(-20)). Is -5/1249 equal to v?
False
Suppose -5*m + 5*h = 15, 3*m + 37 = -3*h - h. Let g(t) = -2*t**3 - 26*t**2 - 121*t - 16. Let c be g(m). Are 243 and c equal?
True
Suppose 4*o + 485 = d, 3*o - 2305 = -2302. Does 499 = d?
False
Let g(b) = b**3 + 18*b**2 + 16*b - 13. Let x be g(-17). Suppose -c = -4, c - 216 = x*w - 4*c. Which is bigger: w or -48?
-48
Let l = 3937.42 + 166.58. Is l at most as big as -3/4?
False
Let l = -322 - -332. Suppose 5*a + 22 = -23. Let r = 11 + a. Which is smaller: r or l?
r
Let i(k) = 5*k**2 - 2*k - 1. Let m be i(-1). Suppose 5*y = -5, m = -3*g + 5*y - 7. Suppose -4*r = 5*u + 6 - 8, 0 = -2*r + u - 20. Is r >= g?
False
Let t = 0.051 + -0.254. Let v = t + 0.303. Is -8 <= v?
True
Let j = 34 + -104/3. Let d = -327 - -252. Let b = d - -117. Which is greater: b or j?
b
Let z be (3 - 0) + (-364)/84*295. Is z not equal to -1275?
True
Suppose 2*f + 4 = -t, t - 2*f = -3*f. Let y = 3 - t. Let j = 220/13 - 1955/104. Which is smaller: y or j?
j
Let w = -3 + 1. Suppose 3*q + 7*q = -240. Let x be 5/((-40)/q) + (-19)/3. Do x and w have different values?
True
Suppose 356 - 354 = -j. Let s(b) = -22*b - 45. Let f be s(j). Suppose 0 = -2*o + 3*o + 1. Is f less than o?
False
Suppose -2*z = -5*p + 35, 3*z + 0*p - 4*p = -49. Suppose 4*i - 7*i = -r + 38, 16 = -2*i + 3*r. Which is smaller: z or i?
z
Let w = 268 + -270. Let a be 1 - -1 - (w - 284/20). Which is bigger: 18 or a?
a
Let c(u) = 7*u - 69. Let k be (1*-1)/((-6)/(90 - 0)). Let j be c(k). Is j at most as big as 104/3?
False
Let n = -11.09 - -0.09. Let r = n + 8. Let o = -23 - -18. Which is bigger: r or o?
r
Let j be 9 - (16 - (-72)/(-9)). Suppose 4*g = -0*g + 176. Is g less than or equal to j?
False
Let x be 6/15 - 44/60*6. Let w(m) = m**2 + 8*m + 13. Let i be w(x). Let g(b) = b - 1. Let d be g(-1). Which is greater: i or d?
d
Suppose 4*z - 12 = z. Suppose 27*q - 3*q - 311 = -23. Suppose z*h - 12 = 3*t, -12*t - q = -9*t. Does h = -4/19?
False
Suppose -5*w + 37 = i + i, 2*i - 5*w - 7 = 0. Let m = 14 - i. Let k = -90 - -90. Is k at least as big as m?
False
Suppose 544 = 2*t - 0*t. Suppose -2*c = 2*c + t. Let r = c + 70. Is r < -9/5?
False
Let n = -553 + 395. Let f = n + 140. Which is smaller: f or 1?
f
Let t be (-31 - -49)*(-18)/44 + 7. Is 15 > t?
True
Let l = 6825 - 6836. Are 137 and l non-equal?
True
Let i(g) be the first derivative of -7*g + 7 - 1/4*g**4 + 2*g**3 - 3/2*g**2. Let n be i(5). Is 5 smaller than n?
False
Let a = 8.89 + -9. Let l = -853.89 - -855. Let t = a + l. Does 15 = t?
False
Let o = 289 - 288. Let y be (-15)/25 - 6/(-10). Let u = y + -3/8. Is u bigger than o?
False
Let f = -8.7232 + -0.5238. Let r = -9.3 - f. Let b = r + 0.153. Is 3 greater than or equal to b?
True
Let f(s) = s**2 - 9*s - 8. Let u be f(10). Suppose 3*y + 2 = -r, -2*y - u*r = -6*r - 22. Let x = 16 + -15.4. Whi