y
Let r = 36315/188 + -773/4. Let q(y) = 4*y - 20. Let h be q(5). Is h greater than r?
True
Let w be (23 + -27)*11173/(-78). Let q = w + -573. Does -1 = q?
False
Let m(x) = -23*x**2 + 256*x - 35. Let k be m(11). Which is smaller: k or -105/136?
k
Let i = -111 + 185. Let s = -93 + i. Let k = -0.29 + 0.09. Is k not equal to s?
True
Suppose -147*p = 26*p - 34*p - 417. Let y be (0 + 2)*(-130)/10. Which is smaller: p or y?
y
Let u(g) = 33 + 9*g + 0*g**2 + 7*g + g**2. Let k = -1079 - -1063. Let z be u(k). Are 33 and z equal?
True
Let q = -12141/250 + 8/125. Let y be ((-2254)/138)/(2/6). Let h = y - q. Which is smaller: h or 46?
h
Let p be (-6)/(-2) - 0/(-8). Suppose -p*q - q = -2*k, 2*k = -q + 5. Is q less than -1/138?
False
Let v(q) = -144*q - 127. Let p be v(-1). Is p less than or equal to 1?
False
Let g = -123.449 + 0.449. Let t = -122.95 - g. Which is bigger: 0.4 or t?
0.4
Suppose 50 = 5*d + 165. Let o be (-85)/2 - (-14)/(-4). Let f = d - o. Which is smaller: 24 or f?
f
Let i = -79 - -132. Let f = -27 + i. Let y = f - 56. Which is bigger: -1 or y?
-1
Let w(b) = -b**3 - 23*b**2 - 24*b - 46. Let j be w(-22). Let l be (1/j)/(11/(-1474)). Is l at least as big as 67?
True
Let n be ((-3)/2)/3*0. Let b(s) = s**3 - 63*s**2 - 64*s - 18. Let p be b(64). Let i be -1 + n + 2 + p. Is i != -15?
True
Let d = 211 - 188. Let t be (-10)/(-220)*((-25)/d - -1). Is t greater than or equal to -1/4?
True
Let r = -545 + 2724/5. Let v be (1 - 2)*(0 - 23). Is r at least v?
False
Suppose 2 + 4 = 6*o. Let v be 84 - (-3 + 3) - o. Let g = v - 81. Is g at least 6/13?
True
Suppose 30*h - 414 = -970 - 794. Let j be (46/1)/((-5)/5). Is j smaller than h?
True
Suppose 11*c - 2088 = -339. Suppose -5*q + 103 = -687. Do q and c have different values?
True
Let u be (39284/(-98))/((-6)/21). Is u bigger than 1401?
True
Suppose 4*r = 2*z + 68, z + 4*r + 36 = 5*r. Are z and -498/13 equal?
False
Let k = -53.34 + 41.34. Which is greater: 0.3 or k?
0.3
Let d = -2941 + 2942. Is -597 at most as big as d?
True
Let g(q) = q**3 + 13*q**2 + 2*q + 23. Let l be g(-12). Let i(a) = -20*a - 138. Let k be i(-14). Are l and k unequal?
True
Suppose -m - 3*f + 685 = -997, -f = -3*m + 4976. Is m greater than 1659?
True
Suppose 58*k + 1067 = -615. Is 2 at least as big as k?
True
Let i be ((-34)/(-3))/(3 - (-33)/(-9)). Suppose -251*j - 52 = -250*j - 2*b, 3*b - 18 = 0. Which is smaller: j or i?
j
Let v be (-336)/40*(-15)/(-6). Let b be 1 + -6 + (24/6)/(-4). Let w(j) = 3*j. Let z be w(b). Is v smaller than z?
True
Let y = -139 + 67. Let g = -35 + y. Let j = -74 - g. Is j > 33?
False
Let b = -795 - -841.08. Let k = 0.0435 - -0.0365. Let c = b - k. Is c greater than 1?
True
Let q = -2.83 + 31.83. Let w = q - 28. Which is smaller: 3/23 or w?
3/23
Suppose -830*l = -613*l - 3472. Let m(w) = -w. Let z be m(2). Let v = 17 - z. Is l at least v?
False
Suppose -25*h - 60825 = -158475. Which is smaller: h or 3908?
h
Let q(k) = -k**3 + 6*k**2 + 2. Let t be q(6). Let d be (-47)/((-3)/3) + t. Let u(w) = w**2 + 18*w + 114. Let p be u(-5). Is d smaller than p?
False
Let v(k) = 49*k - 1 - 46*k - k**2 + 44 + 10. Let i be v(-6). Is 8/77 at most i?
False
Let b(m) = -2*m**2 - 6*m + 151. Let w(f) = f**2 + 3*f - 75. Let l(g) = 6*b(g) + 13*w(g). Let n be l(-10). Is n greater than -8?
True
Let i = 26214.31 + -26216. Is i greater than 20?
False
Suppose -3*i + 4337 = 7*v - 9*v, 0 = 4*i - 4. Does -2168 = v?
False
Let u = -938/9 + 625/6. Let v(n) = 4*n**2 - 1. Let h be v(1). Suppose -h*p = p. Which is bigger: u or p?
p
Let j = -9/38 - -211/570. Let q = 4.09 - 8. Let x = q + 3.9. Are j and x nonequal?
True
Let b(n) = 4*n**2 - 11*n + 10. Let g be b(20). Let o be ((-10)/12)/(4/6663). Let c = o + g. Is 3 < c?
False
Suppose -4*j + 395283 = -46*j - 462945. Which is smaller: 1 or j?
j
Suppose -2194 = -33*m + 70*m + 8203. Which is smaller: m or 12?
m
Suppose 0 = -4*n + 2 + 2, 2*x - 4*n - 78 = 0. Let h = 4 - x. Let l = h + 103/3. Is l greater than or equal to -3?
True
Suppose 4*z - 86 - 18 = 0. Suppose 3*a + 4*p - z = 0, 2*p - 3 - 5 = -a. Suppose -3*r - 5*f + 4*f = -1, a = 2*r + 3*f. Do r and 6/19 have the same value?
False
Let q(n) = n**3 - 17*n**2 + n - 14. Let m be q(17). Suppose 104 = -m*p - 301. Let f be -5 + (-8)/(24/p). Is f equal to 41?
False
Let m = -108.69073 - 0.23927. Let v = m + 109. Suppose -p = -2 - 0. Which is smaller: v or p?
v
Let d = -183.08 - -1.08. Let i = 187 - d. Is -1 greater than i?
False
Let d = -1/142 + -631/1136. Suppose 0 = 3*v + 12, -2*v = w + 4*w + 18. Which is smaller: w or d?
w
Let v(m) = 10*m**2 - 4*m + 16. Let c be v(8). Suppose 61*a - 55*a - c = 0. Which is greater: a or 103?
a
Let o = 946 - 945.92. Is o > -11/5?
True
Let z be (1 + -7 - -11)/(2/16) - -7. Is z > -7?
True
Suppose g = -1 + 5. Let l be ((-30)/5)/(-726)*g. Which is bigger: -1 or l?
l
Let s(h) = 2*h**3 + 12*h**2 + 26*h - 6. Let a be s(-5). Let r be a/301 + 2721/(-7). Which is smaller: r or -390?
-390
Let i(j) = 32*j + 163. Let f be i(-10). Let d = f - -196. Is d at most 35?
False
Suppose 85 + 121 - 251 = -15*b. Is b > 109?
False
Let f = -467 + 466.9414. Let n = f - 0.2414. Which is smaller: n or -0.18?
n
Suppose -2*h + 33*a = 28*a + 2572, 6472 = -5*h + 2*a. Is -1296 <= h?
True
Let a be 0 - 1402*(-1)/1. Which is greater: a or 1392?
a
Let a be (-26)/104*(6/1 - 2). Do 1520 and a have different values?
True
Let y(b) = -27*b - 41. Let c be y(0). Let h(l) = l**2 - 5*l. Let n be h(5). Suppose w + 40 = -n. Is c greater than w?
False
Let q = 7 + -4. Let m = -315 + 326. Let l = 16 - m. Is q <= l?
True
Let z be (1202/2 - 2)*(4 + 34 - 31). Do z and 4193 have different values?
False
Let d = 142 + -473. Let y = 312 + d. Which is smaller: y or -23?
-23
Suppose 0 = 157*v - 156*v + 3*o - 95, 2*v - 322 = 5*o. Suppose 5*s - 2*i = -16, -4*s + 2*i - 17 = -i. Which is bigger: s or v?
v
Let z = -1906 + 5209. Which is smaller: z or 3304?
z
Let y = -2 + 42. Let z = 13015 - 12973. Is z greater than or equal to y?
True
Let y = 0.27 + 0.73. Let u = y - 1.1. Let l = 266 + -263. Is l smaller than u?
False
Let g be ((-11)/10)/(4216/155). Is g not equal to -1?
True
Let l = -24019 + 8262543/344. Do l and 1 have different values?
True
Suppose 3*h - 6 = -3*y, -3*h - 5*y = -h + 8. Let l be (-74)/12 + 6 - (-1)/h. Is 2/321 smaller than l?
False
Suppose 0 = -2*t - 5*l - 16, 3*l + 22 = t - 2*l. Let z be 8/6 + t + -3. Let v = -7513/278925 - -1/3719. Is z >= v?
True
Let b(x) = 2*x**2 + 17*x + 48. Let n be b(-10). Let f be ((-1)/6*2)/(n/144). Is -1 smaller than f?
True
Suppose -2*s = 11 - 65. Suppose -3*j + 27 = x, 2*j + j - s = x. Let c(d) = -d + 28. Let r be c(j). Is 19 greater than or equal to r?
True
Let w = -48.2 + 47.646. Let g = 0.8 + w. Let i = 0.036 - g. Which is smaller: i or 0?
i
Let t(m) = -m**3 + 8*m**2 + 30*m - 57. Let y be t(6). Let g = y - 155. Is g at most as big as 41?
True
Let v = -3.64 - 234.36. Let d = v + 240. Which is smaller: 0.41 or d?
0.41
Let w = -227 - -226. Let a be 4/(-9) - ((-88)/36 - w). Do -19 and a have the same value?
False
Let a = 3/667 + -2257/798399. Let q = 2372/13167 + a. Which is bigger: -12 or q?
q
Let h be (-32)/52*-3 + 0 + 2. Let s = 376/91 - h. Which is bigger: -29 or s?
s
Let p be (-44)/(-110) - 44/10. Let k be ((-165)/80*p)/(3/(-2)). Which is smaller: -5 or k?
k
Let f = -1594849/21 + 75929. Which is greater: -15 or f?
-15
Let p be (1031/(-4))/(4 + 266975240/(-66743916)). Let z = p + 40573655. Let o = z + 1/424. Which is smaller: o or -36?
-36
Suppose -2*n - 7092 = 46052. Let q be (-8)/6*(-78)/n. Which is smaller: 0 or q?
q
Let s = -18711 - -18716. Is -886 not equal to s?
True
Let o = 52.7 - -2.44. Let a = o + -1.14. Let r = a + -54.03. Which is bigger: r or -2?
r
Let j(l) be the first derivative of 16*l**3/3 + 11*l**2/2 - 20*l - 112. Let t be j(3). Which is greater: t or 158?
158
Let t = 1180495405/161898 - 1438615/446. Let j = t - 4066. Which is smaller: -1 or j?
-1
Let k = -20 - -20.06. Let b be 10 + (-41)/((-1066)/(-256)). Is k < b?
True
Let t = -0.0547 + 45.0547. Which is greater: t or 9/13?
t
Let d = -4703 - -4704. Is 2263 < d?
False
Let v(f) = -3*f**2 - 161*f - 784. Let j be v(-5). Is j at least -47?
False
Let r = 4/1113 - 9860/266007. Is r greater than or equal to 0?
False
Let v be (-434)/980 + 21/70. Let t(u) = -u + 4. Let y be t(4). L