3 - 63*z**2 + 8*z - 244. Let i be f(63). Are i and 261 unequal?
True
Let w = 26 - 21. Suppose -f + 33 = -w*i + 5, 2*i - 2 = -4*f. Which is greater: -9/2 or i?
-9/2
Let s(q) = -q**2 + 7*q + 4. Let p be s(7). Suppose 3*o = p*o + 9. Let b be (0 - (-2)/(-3))*12. Is o at least b?
False
Let j be 155/93*(-2)/(-65). Suppose -2 = -3*r + r. Is r smaller than j?
False
Suppose -3*j + 25 = h, j + 4*j - 70 = 4*h. Is j less than 0?
False
Let d be 5 + 2 + -89 + 5. Which is greater: -76 or d?
-76
Let q(d) = d**3 - 12*d**2 - 14*d + 17. Let o be q(13). Suppose o*x = -5*m + 57, -2*x + 3*x - 9 = -3*m. Is x less than or equal to 18?
True
Let w = 0.04 - 1.04. Let h = 78.41 - 78. Let p = 0.11 - h. Which is greater: p or w?
p
Suppose 3*j - 2*f = 116, -4*j = 5*f - 75 - 95. Which is bigger: 46 or j?
46
Let g = -3 - -7. Suppose -r + 4*w - 22 = 0, -r + 10*w - 13*w + 13 = 0. Is g > r?
True
Let l = -0.018 - -1.018. Let q(a) = -2*a - 5. Suppose 28 = 3*o - 10*o. Let i be q(o). Is i >= l?
True
Let m = -2 - -37. Suppose m = 10*g - 3*g. Let z be (g/10 - 0)*0. Do z and -0.1 have different values?
True
Let s be (8/14)/2*(-42)/(-36). Let u = -4.3 - 0.7. Let r = -1 - u. Which is greater: s or r?
r
Suppose 2*w + 92 = -3*i, 0 = 2*w + 3*w - 2*i + 268. Is -51 less than w?
False
Let b = -17 - -33. Suppose l + 16 - 4 = d, -4*d + b = 0. Is -7 smaller than l?
False
Suppose -4*b + 3*w - 1707 = -2*w, 0 = 3*w - 9. Let o = -869/2 - b. Are o and -11 unequal?
True
Let h(o) = -12*o + 1. Let n(x) = -x. Let r be n(1). Let w be h(r). Is w greater than 12?
True
Let o = -15 - -9. Let z = 5 + o. Let b = -1.42 + 1.31. Is z greater than or equal to b?
False
Suppose 5*q - 711 = -4*c, 21*q - 142 = 20*q - c. Which is bigger: 139 or q?
q
Suppose 5*d - 5*c - 52 - 28 = 0, 5*d - 74 = 2*c. Suppose 19*j = d*j. Suppose j = 3*g - 2*f + 3 - 4, -g + 3*f = -12. Is 1/3 greater than or equal to g?
True
Let j = -13 + -71. Let s = 83.75 + j. Which is smaller: s or 1?
s
Let q be (-8 - -4) + 1/((-1656)/(-9092)). Let c be ((-1)/(-27))/(46/12). Let a = q + c. Which is smaller: a or 2?
a
Let m = 2.9 - -10.1. Let g = 3 - m. Let w be ((-3)/(-4))/((-54)/16). Which is bigger: w or g?
w
Let q = -2.23 + 2.2. Is q >= -4/3?
True
Let g be ((-55)/15)/(32/(-6) + 5). Let t = 0.01 + -0.11. Is t less than or equal to g?
True
Let s = 485 + -484. Do 28 and s have the same value?
False
Let p be 2 - (2 + (-12)/(-32)). Suppose 0*a = -3*a - 12. Let i be 8/(-12)*6/a. Is i at least as big as p?
True
Suppose 11 + 29 = 8*b. Suppose -b*k - 115 = 55. Are -1 and k equal?
False
Suppose 4 - 11 = -5*d + i, -4*d - 3*i = -17. Suppose -d*k = 2*k - 24. Let p = -2 + 7. Which is bigger: k or p?
k
Suppose -6*v + 30 - 120 = 0. Let f be v/(-30) - (-1)/(-4)*-2. Let a = -2/21 + 3/7. Which is greater: f or a?
f
Let v = 1360 - 1359. Is v equal to 2/623?
False
Let c = -116 - -64. Let q = 51.8 + c. Is q less than -0.4?
False
Let c(i) = i**3 + 21*i**2 - 22*i + 8. Let d be c(-22). Let p be (172/d - -1)/(4/8). Which is smaller: p or 46?
p
Suppose 2*w - p + 2*p = -266, 4*w = 3*p - 522. Is -137 greater than w?
False
Let d(v) = 2*v**2 + 13*v - 1. Let u be d(-8). Suppose 5*y = u + 12. Which is greater: 6 or y?
y
Let x = 3 + -2. Let c = 4 - x. Let d be (2 + -3)/(-2 + c). Are d and -1/4 nonequal?
True
Let p(f) = f**2 - f + 1. Let u(x) = -2*x + 18. Let y be u(9). Let k be p(y). Is 2 greater than or equal to k?
True
Let i = 1267 - 1266. Is i equal to -421?
False
Let r = 1360 + -1380. Do 1 and r have the same value?
False
Let n be (-18)/27*1/2*0. Which is smaller: n or 3/122?
n
Suppose 4*r = -3*r + 1344. Suppose 173 + r = 5*f. Which is greater: f or 0?
f
Let z(x) = x**2 - 1. Suppose 2*q = -p - 11, 2*p - 2*q = -p - 49. Let o(n) = -n**3 - 16*n**2 - 15*n + 1. Let k be o(p). Let y be z(k). Which is smaller: y or 3?
y
Suppose 4*v - 107 - 733 = 0. Which is smaller: 1 or v?
1
Suppose 0 = -5*f + 99 + 96. Suppose -x + 5*y = 2*y + 4, -5*x - f = 4*y. Do -40/7 and x have the same value?
False
Suppose -y + 1 - 2 = 0. Let j = -156 + 154. Let h be (j/(-1))/2*y. Which is smaller: -3/10 or h?
h
Let a be 2/1 - (-112)/(-57). Let n = -45 + 45. Which is greater: a or n?
a
Let n = -1/359 + -715/1077. Is n greater than -2?
True
Let u = -7.16 - -6.96. Let h(j) = -j**2 + j - 3. Let k be h(5). Is k at most as big as u?
True
Let g = 2.03 + -0.03. Let i = -35812/3445 + 670/53. Let r = 12/5 - i. Which is smaller: r or g?
r
Let m(w) = -w**2 + 6*w - 3. Let x be m(5). Suppose -x*p = p + 3. Let n = p - -1/2. Is 3 at most n?
False
Let w(d) = 9*d**3 - 3*d**2 + 12*d + 24. Let x be w(5). Which is greater: x or -0.1?
x
Let c = 5 - 3. Suppose 0 = 2*d - 6, 4*b - 30 - 5 = -d. Suppose 5*i + 9 = b*i. Which is bigger: i or c?
i
Let v = -12 - -2. Let d be ((-15)/(-720)*12)/(2/2)*-2. Which is greater: v or d?
d
Let l be 5 + 1 - -4*(-4 - -3). Let f be ((-6)/12)/(l/4). Which is smaller: -7/9 or f?
f
Let v = 11 + -8. Let b(y) = y**2 + 5*y - 15. Let g be b(-7). Let x be g + 11 - (1 - v). Is x at most as big as 12?
True
Suppose 161 - 41 = 15*p. Which is greater: p or 0.52?
p
Let g(u) = 3*u + 3. Let v be g(-2). Let s be (-2)/v - 2 - 152/12. Which is greater: s or -12?
-12
Let a(l) = -l**2 - l + 6. Let w(m) = m**2 + 6*m + 5. Let u be w(-4). Let b be a(u). Which is smaller: b or 2/37?
b
Let g be 4/26 + 2464/208. Which is smaller: g or 104/9?
104/9
Let r(w) = 13*w + 72. Let o be r(-4). Is 37/2 equal to o?
False
Suppose -2*x - 1 = -3. Suppose -5*z + 44 = 4*s, -4*s + 3 = -1. Suppose -4*k - 4 = -z*k. Are x and k unequal?
False
Let j be 110/(-13*(-5)/(-10) + 6). Is j at most as big as -219?
True
Suppose -p = 4*p - 4*b + 3, -3*b + 10 = 4*p. Let z be (-29)/((-609)/14)*42/52. Which is bigger: p or z?
p
Let u = 0 + -0.1. Suppose -5*w + 4*c = 571, 4*c - 21 + 5 = 0. Let y = 107 + w. Which is smaller: y or u?
y
Let p = 1/191 - -1135/2101. Let j(g) = g. Let c be j(2). Let f be -4 + c - (0 + -2). Is p equal to f?
False
Let l(w) = -w**2 + 3*w + 5. Let n be l(4). Suppose -3*k - 3 + n = -f, 2*k = 4*f + 12. Let m be -1*(k + 3)*-2. Are 3/5 and m equal?
False
Let b = -1.1226 + 149.0926. Let g = b + -147. Let u = g - -0.03. Which is smaller: u or -0.05?
-0.05
Suppose -o + 5*m + 2 = -5*o, -4*o = 4*m. Suppose y = o*y, -4*y + 1 = j. Is j smaller than -1?
False
Let d = -512 + 512. Suppose 2*l + n - 1 = 0, -4*n - 7 = -3*l - 0*n. Let q be ((-3)/l - -2)/1. Is q smaller than d?
True
Let p = 40013/14118 + -2/2353. Which is smaller: 3 or p?
p
Suppose 8*w - 40 = 4*w. Suppose l = -l + w. Which is greater: l or 32/7?
l
Suppose 3*q = -5*z - 6, 0 = -5*q - 3 - 7. Suppose -3*i + 18 = 3*k, z = 3*i + i - 12. Suppose -k*l = -l. Which is smaller: l or 0.5?
l
Let b = 220 + -202. Is b < 25?
True
Let a be (12 + -6 - 54) + -2. Which is smaller: -46 or a?
a
Let b be (-1)/45*(-17)/3. Let w = b + 2/27. Let y(g) = g**3 - 11*g**2 - 238*g - 87. Let u be y(22). Which is greater: u or w?
u
Let c be 22/(-77) + 94/(-14). Let s(u) = 2*u + 15. Let v be s(c). Which is smaller: -3/23 or v?
-3/23
Suppose -15*u + 165 = -45. Which is smaller: 29 or u?
u
Let c be (204/(-24))/((-2)/(-4)). Let l = c - -17. Let m be (-2 - 4) + l - -1. Is -3 greater than m?
True
Suppose -464 = -39*c + 31*c. Suppose c*f + 5 = 53*f. Which is bigger: -1/35 or f?
-1/35
Let g = 0 + -0.05. Let j = g - -1.05. Let d be (-7)/56*(-40)/(-6)*-6. Is d greater than or equal to j?
True
Let r = -867/1400 + -1/175. Are r and -2 nonequal?
True
Let y = 0.774 + -0.854. Are 16 and y non-equal?
True
Suppose 0 = -118*a + 114*a + 76. Which is greater: 17 or a?
a
Let x = -181 + 144. Is x < -1?
True
Suppose 5*k + 2*n = 23, 2*k + n = -0*n + 9. Let r be (-1)/5*k/(-2). Let m = 3125 + -3125. Is m <= r?
True
Let h = -34 - -41. Let u = h - 41. Let p be (4/30)/((-2)/6). Which is smaller: u or p?
u
Let s = -681 - -681. Let v be ((-1)/2)/((-13)/72). Let u = -409/143 + v. Is u less than s?
True
Let b = 1281 + -1284. Let g = -0.3 + 0.4. Is g smaller than b?
False
Let i = -391/3 - -131. Are i and 0.67 unequal?
True
Let t = -2 + 7. Suppose k = -4*k + t. Which is smaller: 2 or k?
k
Let z = -162 + 143.8. Let y = -18 - z. Let t = -2 + 2.3. Which is smaller: t or y?
y
Let i = -3920/78679 + 2/1919. Let x(t) = -t**2 + 2*t. Let v be x(2). Is i greater than v?
False
Let l be 588/(-579) - 4 - (-6 - -1). Which is bigger: 0 or l?
0
Let b(v) = v**2 - v + 8. Let n b