532 + -20747/39. Is 1 greater than or equal to s?
True
Suppose 2*s + 20 = 3*o, 2*s + 3*o = -7 - 37. Which is bigger: -17 or s?
s
Suppose 2*v - 19 = 3*j, 5*v + 8 = 3. Do 2/9 and j have the same value?
False
Suppose 7 - 6 = z. Suppose -23 - 7 = -2*x. Let m be (1/6)/(2/x). Are m and z unequal?
True
Let r(u) = u**3 - 9*u**2 + 10*u + 10. Let o be r(8). Suppose 0 = -3*d + 4*l - o, 10 = 2*d - 3*l + 29. Which is smaller: -3 or d?
-3
Let g be 1/(3/(-6)) - -2. Suppose -3*r + 23 + 16 = 0. Let x = 63/5 - r. Are x and g non-equal?
True
Let q = -4 + -8. Let d be 0 + q/(-32)*-2. Let j(x) = x + 4. Let s be j(-4). Is s at most as big as d?
False
Let v = -120 - -602/5. Is v bigger than 1?
False
Suppose -c - 8 = b, -4*c + 2*b = -0*b + 14. Let h(f) = -f**2 - 6*f - 6. Let i be h(-6). Are c and i nonequal?
True
Let f = -0.027 + -0.093. Which is greater: -2/13 or f?
f
Suppose -3*j + 4 = 2*q, -5*j - 6*q + 4 = -2*q. Which is smaller: -6 or j?
-6
Let x = -1.86 + -0.14. Do -1/2 and x have the same value?
False
Let g be (1/(-2))/((-5)/(-10)). Let v = g + 1. Is 6/17 < v?
False
Suppose -2*q + 12 = -2*b - 7*q, 0 = -2*q. Is -22/3 > b?
False
Let o be 1*(2 + -3)/1. Is o equal to -2/369?
False
Let b = -1480 - -1388.3. Let a = 88 + b. Let o = -4 - a. Is o at most as big as 0.1?
True
Let d be (-2)/(-2)*(-1 - 0). Let f be -1 - (-1)/(0 + d). Let o = -177/2 + 88. Is f greater than o?
False
Let z = 23 + -24. Which is bigger: -2 or z?
z
Let b be (-1*(-8)/(-5))/(-2). Let l = -3 - -5. Is l at most as big as b?
False
Let z(v) = 18*v - 3 + 1 - 26*v. Let j be z(-1). Are j and 1 non-equal?
True
Let v be ((6 + 0)/(-2))/(-1). Let j(l) = -l**2 - 10*l + 16. Let h be j(-11). Suppose 0*w + w = -h, 0 = -4*d + 5*w + 33. Which is greater: v or d?
v
Let o be (-9)/(-500)*-2*(-4)/6. Which is bigger: o or -1?
o
Let q(p) = -p - 1. Let m be q(-4). Let k be (13 - m)/1 + 1. Which is smaller: k or 10?
10
Let o(c) = c**3 + 5*c**2 - 5*c. Let h be o(2). Is 19 less than h?
False
Let n be 2/(-4) - 2/(-4). Let u = n - -7. Let p = -0.433 - -0.333. Which is bigger: u or p?
u
Let i be -3 + (-7 - -4 - -33). Is -2/7 bigger than i?
False
Suppose 0 = 5*f - 4*f. Let b be 4 + 6/(-2) + 1. Let j be -1 + 1 + b + -3. Is j bigger than f?
False
Let q = -7 + 10. Suppose -3*d - 3*f - 114 = 0, -q*f = -d + 2*d + 44. Let l be 1/6 + d/30. Which is greater: -4/3 or l?
l
Suppose 8*d = 15*d - 3*d. Let y = -551/6 - -278/3. Which is greater: y or d?
y
Let b = -2 + 1. Suppose s + 2*a + 5 = -0*a, -4*s - 40 = -2*a. Let i = 5 + s. Is i less than or equal to b?
True
Suppose 0 = 5*t - 26 - 4. Is 4 >= t?
False
Let h = -31.2 + 31. Is -4 not equal to h?
True
Let y = -324 - -324.2. Let h = -0.31 + 0.3. Which is smaller: y or h?
h
Let d = 15 - 9. Suppose d*a - 2*a = -16, 5*t - 2*a + 87 = 0. Is -19 >= t?
True
Let b = -56 + 103. Are b and 49 nonequal?
True
Suppose -3*v = -5*v + 8. Suppose -v*w = -0*w. Which is smaller: 0.1 or w?
w
Let c be -1*(0 - 0/1). Is 2/5 < c?
False
Let h(c) = c**3 - 7*c**2 + 6. Let q be h(7). Suppose 5*b = q + 4. Suppose 3*r + b*r = 5. Are r and 0 equal?
False
Let y(z) = -z**2 - 15*z + 36. Let k be y(-16). Is 18 < k?
True
Suppose -2*g = -0*g - 24. Let r be (-18)/(-8) + (-3)/g. Is r greater than or equal to 0?
True
Let p = -23 + 23.4. Let b = p + -2.4. Let q = 101/265 - -1/53. Which is greater: q or b?
q
Let a(q) = q**3 - 9*q**2 - q + 8. Let o be a(9). Which is smaller: -4/3 or o?
-4/3
Let h = 90 - 628/7. Let n be (6/8)/((-6)/24). Let j = n - -1. Which is greater: j or h?
h
Let b(c) = c - 1. Let w be b(3). Which is bigger: w or -1?
w
Let t = -8452 + 1005757/119. Let r = t + 2/17. Is r equal to 1?
False
Let z be (-36)/110*(-4 - 4/(-6)). Which is smaller: z or 1?
1
Let j(q) = -21*q - 103. Let h be j(-5). Suppose 5*k = 3*f + 40, 4*k - 7*k = -4*f - 35. Suppose 4 = k*d - 1. Is d < h?
True
Suppose 4*c = -g - 3, -4*g - 2*c = 3*c + 1. Is 1/29 less than g?
True
Let a = -11 - -6. Let p = 3 + a. Let j = p + 3. Which is smaller: j or -2/7?
-2/7
Let v = -1/19 + 22/57. Suppose 0 = -0*d - 3*d + 3. Which is greater: d or v?
d
Let f = 4 + 4. Suppose f*i + 7 = 9*i. Which is greater: 5 or i?
i
Let v be (-1)/1 + (-388)/(-12). Let u = v - 31. Is 0 >= u?
False
Let i = -20.84 + 21. Which is greater: -2/7 or i?
i
Let k = 2 - 2. Let u = -115/3 - -1946/51. Let f = u - -47/170. Is f at least k?
True
Let p = 65 - 60. Suppose 2*s + 1 = -3. Let c = s + 2. Are c and p nonequal?
True
Let i be 4/(-6) + (-48)/9. Let v(m) = -m**2 + m - 4. Let x be v(2). Do i and x have the same value?
True
Suppose 23*u + 44 = 25*u. Does 22 = u?
True
Suppose -5 - 7 = 2*q. Let p be ((-2)/3)/((-2)/q). Let f be 4/p - (-14)/6. Which is smaller: 2 or f?
f
Let g = 66/5 + -13. Let f(r) = 2*r + 15. Let l be f(-7). Which is greater: g or l?
l
Let p(u) = u**3 - 5*u**2 - 5*u - 5. Let m be p(6). Is m at most as big as -2/13?
False
Let t be (9/18)/((-2)/4). Let l = 8 - 4. Are l and t non-equal?
True
Let f = 0.17 + -0.3. Let w = 0.23 + f. Let d = -4 + 7. Does d = w?
False
Let w be (-10)/16*392/782. Let r = 9/46 + w. Which is smaller: r or -2/3?
-2/3
Let o be 17/4 - (-1)/(-4). Suppose 0 = -2*m + 11 - 1, 3*j + m = -o. Let h be (2/j)/((-4)/(-6)). Is -2 at most as big as h?
True
Suppose 6*y - 4*y + 8 = 0. Let g = 11/3 + y. Is g less than or equal to -0.1?
True
Let r(h) = -10*h**2 + 2*h - 1. Let a be r(1). Let j be (-9)/(-12) - 93/(-4). Suppose -j = 2*n + n. Which is bigger: a or n?
n
Suppose -2*h + 180 = 3*h. Let t be ((-20)/h)/(2/6). Which is smaller: t or -1?
t
Let v(m) = -2 + m - 3 + 4. Let b be v(3). Let l be (-3)/7*(-7)/b. Is l less than or equal to 2?
True
Let g be (-24)/(-15)*30/(-39). Which is smaller: g or 0?
g
Let a = 0.045 - -107.955. Is -1 < a?
True
Let u = 6 - 7. Is u equal to -7/13?
False
Suppose 6 = -2*q + 5*u, 0 = -2*q - 3*q - 2*u + 14. Which is bigger: q or 15/8?
q
Let z = -7.1 + 7. Which is bigger: -6 or z?
z
Let j = 26 + -25. Is 2/31 less than or equal to j?
True
Let o = 1 + -1. Let k = o - 0. Let w be (306/(-170))/(2/(-10)). Do w and k have different values?
True
Suppose -4*r = -83 + 3. Is 21 equal to r?
False
Let q = -0.05 - 0. Let f = -0.55 - -0.7. Let z = q - f. Is z less than -1?
False
Let n be -11 + (-1 - (2 - 3)). Which is smaller: n or -19/2?
n
Let k(d) = d**2 + 18*d - 1. Let y be k(-18). Which is bigger: -1.3 or y?
y
Let l(y) = y**3 - 8*y**2 - 9*y - 6. Let v be l(9). Let m be (-6)/(-1)*1/2. Let t be -2 - (m - 1 - -1). Is t greater than v?
True
Let b = -16 - -11. Let q = 5.3 + b. Let l = 17 + -52/3. Which is smaller: q or l?
l
Suppose 3*s = -0*s - 15. Let w be 1/(2/6)*1. Suppose -6*i - 3 = -w*u - 3*i, u + 14 = -2*i. Is s less than or equal to u?
True
Suppose -4*v + 12 + 0 = 0. Is v smaller than 7/2?
True
Let w be 10/70 + 58/(-14). Let j be ((-1)/(-2))/(w/(-40)). Are j and 4 unequal?
True
Suppose 0 = 2*m, 2*o + 1 - 5 = -2*m. Suppose 3*n - 4 = o*n. Let q = 5 - n. Is 2/3 >= q?
False
Let l(t) = t**3 + 3*t**2 + t + 4. Let n be l(-3). Suppose v + 0*v = 3*j + 29, 0 = v - 4*j - 32. Let r be v/21 - 8/28. Which is smaller: r or n?
r
Let k(y) = 3*y**2 - 8*y + 10. Let a(q) = 2*q**2 - 4*q + 5. Let s(t) = -5*a(t) + 3*k(t). Let z be s(-7). Let d be -1*(-2 - 30/z). Are -1 and d non-equal?
True
Let d be (4/(-16))/((-2)/8). Which is smaller: d or -0.15?
-0.15
Let n(c) = c**2 + 4*c + 2. Let y be n(-3). Let u be 358/(-4) + (-2)/(-4). Let f = u - -799/9. Are f and y nonequal?
True
Let v = -115.5 - -115. Is v greater than or equal to 2?
False
Let j = 201 - 198.97. Let s = 2.1 - j. Is 0.2 greater than or equal to s?
True
Let c = -2.94 + -0.06. Let t = 2 + -3/2. Which is smaller: c or t?
c
Let a be 27/(-18)*1/(-9). Which is smaller: 1 or a?
a
Let l(j) = j - 14. Let d = 8 + 2. Let w be l(d). Let z be w/22 + 158/22. Is 6 greater than or equal to z?
False
Suppose -14 = -3*h - 3*l + 28, 3*h - 2*l = 17. Suppose -f = 10*z - 11*z - 8, -11 = -f + 4*z. Which is bigger: h or f?
h
Suppose -3*n + 9 = 3*l, -4*l - n = l + 1. Let u be l/(-2) + 59/6. Let m = u + -51/5. Is m > -1?
True
Let k(a) = a**2 + a - 2. Let y be k(-3). Let c be ((-2)/y)/(1/2). Let x = 18 - 107/6. Is x < c?
False
Suppose -7*q = -5*q + 12. Let h be 36/q*(-2)/(-4). Is -4 <= h?
True
Suppose 0 = -2*x - 2*x. Suppose -l + 1 + 8 = 0. Suppose x = 3*r - 3*i + 9, 7*i - 4*i = l. Is r < 3/8?
True
Suppose -3*t = -w - 13, -2*w + 26 = -4*w + 4*t. Is w