133 - -397/3. Let s(d) = -4 + 3 - d**2 + 6*d - 5. Let c be s(5). Is c > o?
False
Let f(r) = -r**3 + 4*r**2 - 4*r + 3. Let w be f(2). Suppose 0 = 4*p - 4*g - 4, 3*p - 2*p = -4*g + 6. Is w >= p?
True
Let u = 121 - 118. Is u at most as big as 5?
True
Let o(d) = 1 + 2 + 3 + 6*d - 5*d. Let g be o(-6). Which is smaller: g or 2/13?
g
Let w(d) = d**3 + 6*d**2 - 2*d - 7. Let q be w(-6). Let x be (q/(-50))/((-2)/15). Let k(r) = r**3 + 4*r**2 - 5*r + 1. Let j be k(-5). Which is greater: j or x?
j
Suppose 9*z = 10*z + 7. Which is smaller: z or 1?
z
Suppose 0 = -k - 0*k. Suppose -5*q + 0*q = k. Let v(p) = -p**3 + p**2 - p + 2. Let t be v(q). Which is bigger: t or 3?
3
Let k = -92.92615 + -0.03385. Let r = 97 + k. Let c = r + -0.04. Which is bigger: 0 or c?
c
Let o be 16/14*(-7)/(-2). Suppose o*s - 1 = 3. Which is smaller: s or 4/9?
4/9
Let r be 2/(-12) - (-34)/(-12). Let i(c) = -2*c - 4. Let f be i(-3). Let b = f + r. Is -3 less than b?
True
Let p be 1*4*6/(-8). Let h be (-4)/6*(-1)/p. Let m be (-3*(-4)/(-6))/2. Does h = m?
False
Let o = 2483 - 54635/22. Which is smaller: o or -1?
-1
Let a be 1 + -3*3/(-9). Let p be a*1/(-28)*-6. Which is smaller: 1 or p?
p
Suppose 1 = 4*p - 7. Suppose 3*j + 7*i - 7 = p*i, 0 = -j - 4*i. Suppose l + l - 2 = j*t, -3*l = -3*t - 6. Which is smaller: l or 5/2?
5/2
Let r = 169 - 2363/14. Which is bigger: 1 or r?
1
Let l = -4 + 15. Suppose -2*o + 4*y = -14, -5*o + l = y - 5*y. Is o at most -1?
True
Let v(r) = 4*r + 17. Let g be v(-4). Which is bigger: 12/7 or g?
12/7
Let w = -139 - -175. Is 1 less than w?
True
Suppose -10 = -w - 0*w - 5*j, 2*w + j + 25 = 0. Which is smaller: w or -12?
w
Let h = 0.74 - 0.8. Does h = -2/5?
False
Suppose 4*n - 70 = -n - 5*j, 5*j = 2*n - 14. Suppose -4 = -s + m, -5*m - n = 2*s + s. Let o be (-2)/9 - (-146)/90. Which is smaller: s or o?
s
Let n(p) = -p**3 + p**2 + p. Let t be n(-1). Are -1/4 and t equal?
False
Let y = 4 - 4. Let h = y + 0.4. Let p = -0.3 + h. Which is bigger: p or 2?
2
Let f(c) = -c - 2. Let z be 5/(-4 - (3 + -6)). Let m be f(z). Which is bigger: m or 2?
m
Let c(o) = -o**3 - 10*o**2 - 10*o - 6. Let y be c(-9). Do y and -1 have different values?
True
Suppose 10 = -2*s - 3*s. Suppose -t - 5 = -3. Is s greater than or equal to t?
True
Suppose -11 - 5 = -4*z + n, -2*n - 8 = 0. Let t(a) = a**3 + 6*a**2 - 3*a + 1. Let b be t(-6). Suppose 4*l + 2*u - 17 = 3*u, -3*u = 2*l - b. Is z less than l?
True
Let c = 0.02 + -3.02. Let w = c + 4. Is w bigger than -1/4?
True
Let n = -0.47 - -18.87. Let y = 19 - n. Is y > 0?
True
Let a(v) = -v + 8. Let d be a(-6). Suppose 3*t + 2*b = t - d, 0 = -5*t + 5*b - 65. Let o = t - -39/4. Which is smaller: o or 0?
o
Let l be (-26)/(-12) + (-4)/(-12). Let n = -1 + l. Do 3 and n have the same value?
False
Let d = -5 - -24/5. Let l = 54 + -54. Which is smaller: d or l?
d
Suppose 0 = 2*n + 2*k + 6, -3*n - 4*k + 5 - 15 = 0. Let q be -2 + n/4*0. Let i = 49/4 + -13. Which is smaller: i or q?
q
Suppose -6 = -2*h + 2. Is 1 bigger than h?
False
Let o = -0.07 - -0.37. Let u = 6 - 6.5. Let r = u + o. Which is bigger: r or 0?
0
Let r = 27 + -20. Let s = -14 + 13.9. Which is smaller: r or s?
s
Suppose -4 = 3*b - 10. Let i = b - 2. Let f = i - 2. Is -4/3 greater than or equal to f?
True
Let d = -0.11 - -0.11. Is -6 < d?
True
Let c = 1 + 2. Suppose -2*l = -5*k - 4 - 2, k + c = l. Let u be 4/10 + 8/(-30). Do u and k have different values?
True
Let s = -73 + 74. Which is smaller: 15 or s?
s
Suppose 0 = -h + 2*k - 3, 5*h + 6*k - 5*k = 7. Let j be (-3 + 4)/(h/1). Suppose 5*f = 4*n + 13, 4*f + 8*n + 6 = 3*n. Is j less than f?
False
Let o = 3 + 1. Suppose 0 = z - o*z + y - 6, -y + 12 = -5*z. Is -3 at least z?
True
Let o(j) = -j**2 + 18*j - 20. Let z be o(16). Which is smaller: 10 or z?
10
Let y = 11 - 8. Suppose y*q - 1 = 2*q. Which is smaller: q or -3/7?
-3/7
Let d(t) = -t**3 - 8*t**2 - 7*t + 3. Let m be ((-5)/(-10))/(2/(-28)). Let i be d(m). Suppose -l + 8 = 7. Which is greater: l or i?
i
Suppose p + 12 = 5*s, s = -s + 4. Let u(o) = -o**2 - 2*o + 1. Let r be u(p). Let f(t) = t**2 + 2*t - 3. Let g be f(-3). Is r greater than g?
True
Suppose -2*t - 237 = -159. Is t < -40?
False
Let l be ((-4)/(-6))/((-2)/3). Which is greater: l or 0?
0
Let o = -2 + 3. Let c be (-4)/(-6) - (-13)/(-13). Which is bigger: c or o?
o
Let a = -35 - -36. Which is greater: a or -1?
a
Let h(a) = -a**3 - 8*a**2 - 8*a - 5. Let d be h(-7). Suppose -d*u - 4 = 2*u. Is u at most as big as -1/4?
True
Suppose -3*w = -w. Let v(d) = -d**2 + 3*d + 1. Let t be v(3). Let m be (t/3)/(2/(-3)). Is m <= w?
True
Let a(i) = i**3 - 6*i**2 - 8*i + 6. Let y be 94/14 + (-6)/(-21). Let o be a(y). Which is greater: o or -2/9?
-2/9
Let s = 7.7 - 7.6. Is 11 not equal to s?
True
Suppose 5*r + 0*p - p = -2, 3*p + 12 = -3*r. Let f = 1 + r. Suppose f*q = q - 4. Do 0.1 and q have the same value?
False
Let c(u) = -u + 1. Let g be c(-1). Let f be (-3 + 5)*g/(-4). Which is greater: f or -1/5?
-1/5
Let g = -1243/45 + 137/5. Let d = 1 + 3. Suppose d*y + 6 - 2 = 0. Is g equal to y?
False
Suppose -2*w - 14 = 5*z, -2*z - 11 = -3*w + 2*w. Suppose -9 + 0 = -d. Let q = d - 13. Do z and q have the same value?
True
Let g(w) = -w**3 + 3*w**2 - 5*w + 2. Let z be g(3). Is z less than -13?
False
Let f = 4 + -3. Suppose -5*n - 4 = 1. Let x be (0 - n)/f - 3. Is x >= -2?
True
Suppose 3*v - k = -12, 4*v - v + 3 = -2*k. Which is greater: v or -11/3?
v
Suppose 2*v = 7 - 1. Let y = -3 + v. Let j = -0.3 + -0.7. Which is bigger: j or y?
y
Suppose 3*o = 3 + 3. Let q be 69/15 - (-4)/10. Suppose -y + 3 = -4*b + q, 3 = b + y. Which is bigger: b or o?
o
Let d = -3 + 0. Let v(t) = -6*t**3 - 10*t**2 - 4*t - 3. Let m(a) = 5*a**3 + 9*a**2 + 3*a + 2. Let i(y) = -5*m(y) - 4*v(y). Let c be i(-5). Is c smaller than d?
False
Let i be 74 + 0*(0 - 1). Let n = 1037/18 - -1457/90. Let t = i - n. Which is bigger: t or 0?
t
Let r be (6/63)/(1/6). Suppose 4 + 14 = -g. Let q be (-1)/3 - 42/g. Does r = q?
False
Let n = 597/1547 + -3/91. Which is greater: n or 0?
n
Suppose 6*l + 39 = 63. Is l equal to 7?
False
Suppose 3*j = 4 + 2. Let r(s) = -s + 1. Let q be r(j). Is q not equal to 1/3?
True
Let u(x) = -x. Let v be 2/4*(6 - 0). Let k be u(v). Let r = 100 - 102. Which is bigger: r or k?
r
Let g = -0.33 + 3.33. Is -1/9 at least as big as g?
False
Suppose -8 + 33 = 5*z. Suppose 0*j - z*j + 45 = 0. Which is bigger: 8 or j?
j
Suppose 0 = 5*w - 0*w + 30. Let q be w/(-21) + 26/56. Suppose -a + 2 = 2. Is q smaller than a?
False
Let z be (234 + 2)*(-1)/(-4). Is 58 > z?
False
Let y be -1 - 0 - 0 - 1. Let r(q) = q**3 - 4*q + 4. Let b be r(3). Let p = b + -21. Is p bigger than y?
False
Let x = -0.057 - 6.043. Let r = -6 - x. Is 2/9 smaller than r?
False
Let a be 1/3 - (-62)/(-6). Let l = 32 - a. Let n be (-16)/l + (-10)/(-15). Are -1 and n nonequal?
True
Let t = -15 + 14. Which is greater: -6/17 or t?
-6/17
Suppose 0 = m + 3*m. Let u = -0.12 + 0.12. Are m and u equal?
True
Suppose -6*r - 241 = 335. Are r and -95 unequal?
True
Let x(y) = 2*y + 1. Let o be x(1). Suppose -o*j + 1 - 4 = 0. Is 2/13 >= j?
True
Suppose 4*c + 30 = 5*f, -f + 4*c + 27 = -c. Let g = f + -1. Let m be (0 - 2 - 1)/g. Which is smaller: -2 or m?
m
Let s be 4/(-14)*(-63)/(-27). Let v = -0.3 - -0.2. Which is bigger: s or v?
v
Let r = 6.5 + 1.5. Let o = r - 11. Do o and 0 have the same value?
False
Let p(c) = -9*c - 8. Let w be p(-6). Let i = w + -229/5. Which is bigger: 1 or i?
1
Let p = -193/11 + 23/22. Which is bigger: -17 or p?
p
Let r = 6/115 - -8/23. Which is smaller: r or 1.1?
r
Let r = 8 - 8. Does r = -1?
False
Let a(z) = -z**2 + 8*z - 3. Let u be a(3). Let s = 11 - u. Which is smaller: 2/7 or s?
s
Suppose -4*v + 34 = -2*v. Let i = v - 6. Do 11 and i have different values?
False
Let h be (-2 - -1)/((-1)/21). Let z be 6/h - 18/14. Let w = -6/5 + 17/10. Which is smaller: z or w?
z
Let k = 341/84 - 9005/1932. Let u = 2005/414 + -43/9. Let n = u - k. Is n smaller than 1?
True
Let g = -5 - -4. Let k = -2 - g. Which is greater: k or 7?
7
Let w be 4 + 0 + 0 + -4. Is w at most 5?
True
Let l = 342/7 - 49. Is l less than or equal to -3?
False
Let u = 4.9 - -41. Let y = u + -49. Let f = 3 + y. Do f and -2 have different values?
True
Suppose -30 = -7*y + 2*y. Suppose 0 = 3*u - 6*u + y. Let r be 2 + 2 - (u - 0). Are 2 and r equal?
True
Let