 + 3*f + 5. Let o be r(4). Let v be (0 - 1293/o) + -1. Let y = v + -86. Is -2/5 bigger than y?
True
Let y be (-8)/(-3) - (-4)/(-6). Let u(c) = c**3 - 3*c**2 - c + 4. Let p be u(3). Which is bigger: y or p?
y
Let r = 26 + -28. Are -3/2 and r unequal?
True
Let w be (-9)/27*(-45 - 0). Which is bigger: 13 or w?
w
Let q be (3 - (-2 - -2)) + 0. Let b be 6/2*1*1. Is q greater than b?
False
Let m be (-25 - (1 + -2))/(18/24). Is -33 < m?
True
Let k = 5 + 1. Suppose -5*y - 3*p = -9, y - 3*p - k - 3 = 0. Suppose 0 = -f + 2*v - 3, 8*f + y*v = 5*f + 9. Which is greater: f or 2/21?
f
Let s be (1 - -4)/((-2)/(-6)). Let i = 90 + -75. Is i smaller than s?
False
Suppose o + 4*s = s + 5, -3 = -4*o + 5*s. Suppose 7*h = o*h. Which is bigger: h or 2?
2
Let a = -137/33 - -13/3. Is a at least as big as -5?
True
Suppose -3*p + 12 = 0, -5*f + 49 = -p - 3*p. Is 13 smaller than f?
False
Let k = -17 + 25.2. Let x = 8.4 - -0.6. Let t = x - k. Which is smaller: t or 0?
0
Suppose -3*p + 3 = -x - 5, -p - 2 = -x. Suppose 2*j = n + x, -2*n + 5*j = 2*n + 19. Let z = 1 - 1. Are n and z unequal?
True
Let d(x) = x**3 - 8*x**2 + 8*x - 5. Let j be d(7). Let a be j - (0 + -2 + -6). Suppose 6*u = u - a. Is -2 at least as big as u?
True
Let j = 96 + -64. Suppose -2*b + j = 82. Let c = b + 124/5. Is c less than or equal to 0?
True
Suppose 0 = 11*z - 7*z + 112. Which is bigger: z or -26?
-26
Let f = -1648 + 8331/5. Which is smaller: 19 or f?
f
Suppose -3*i = i. Suppose 3*t - 15 = i, -3*s = -s + 2*t + 70. Let p = 161/4 + s. Which is bigger: p or 1/3?
1/3
Let v(i) = i**3 + 9*i**2 + 8*i. Let t be v(-8). Let d = 1 + -3. Let z be (-6)/d*(-8)/12. Which is greater: z or t?
t
Let g = -0.011 - 0.089. Is -0.15 > g?
False
Let z be (-1)/((-1)/(-3) - 0). Let i = -45.7 + 44.7. Which is greater: z or i?
i
Let q = 0 + -3. Let c be 5 + -2 + q - -1. Which is smaller: c or 1/7?
1/7
Let d = -920/351 - -50/27. Let i = d - -27/52. Which is greater: 1 or i?
1
Let j be 3/63 - (-6)/(-18). Let b = 0.03 + -0.06. Are b and j equal?
False
Let j = 2 + -1. Let m = 3 + 1. Let q = -5 + m. Which is greater: q or j?
j
Let c be ((-2)/(-2) - -2)*14. Suppose c = -v - 5*l + 18, -5*v = -5*l. Let h = v + 6. Is h bigger than 3/4?
True
Let a be -1 - (-1 + -1 + 2). Suppose -9 = -24*q + 33*q. Do q and a have the same value?
True
Let g = -20441/38 - -538. Are g and 1 equal?
False
Let s = -1 - 5. Let m be s/(-39) - (-335)/(-65). Which is smaller: m or -3?
m
Let c = -1285 + 106653/83. Which is smaller: -1 or c?
-1
Let q(x) = -5*x**3 + x**2 - 4*x + 1. Let c be q(2). Do -44 and c have the same value?
False
Let n(o) = o**2 - o - 1 + o - 1. Let f be n(0). Is f greater than -0.5?
False
Let j = 3.9 - 4. Which is greater: 11 or j?
11
Suppose -16 = 5*s - 1. Let a = -8 + 5. Let v be (a/s)/((-2)/6). Which is greater: v or -2/5?
-2/5
Let x(f) = -f**2 - 9*f - 7. Let g be x(-8). Is 1/28 greater than or equal to g?
False
Let n be ((-6)/(-21))/(12/35). Which is bigger: n or 1?
1
Let v(w) = 8*w + 2. Let n be v(6). Let q = -752/15 + n. Are q and 1 unequal?
True
Let g(m) = -m**2 + 2*m - 1. Let y be g(2). Which is smaller: -1/17 or y?
y
Let u be -3 + (3 - (-3)/1). Suppose -5*j + 3*m + 7 = 0, m = -4 + 5. Is j <= u?
True
Suppose -4*l = -6*l - 2. Does 1/3 = l?
False
Let x(k) = -3*k**2 + k + 1. Let y be x(3). Is y at most as big as -23?
True
Let v = 2 + 0. Suppose -3 = v*c - 1. Let w(y) = y**2 - 1. Let r be w(c). Is r not equal to 2/11?
True
Let g = 5/36 - -83/180. Let q(j) = 2*j**2 + 3*j. Suppose 0 = -3*n - n - 8. Let h be q(n). Is g >= h?
False
Let n = 2.4 + -19.4. Let r = n - -16.9. Is r > 5?
False
Let u(d) = -d**3 + 12*d**2 - 11*d + 6. Let a be u(11). Is a bigger than 7?
False
Let a = -10.92 + 11. Let o = a + 0.02. Which is bigger: o or 1?
1
Let p be (-2 - (-2)/1) + 2. Let j(m) = -m + 1. Let a be j(p). Is a greater than or equal to 2/17?
False
Let v = 17 + -67/4. Let z = -5.96 + -0.04. Which is bigger: z or v?
v
Let o = -9.1 + 8.1. Is 48 at least as big as o?
True
Let f(q) = q**2. Let n be f(2). Suppose 4*c - 14 = a, -n*a + c - 13 = a. Let y be (-6)/(-15) - 14/10. Which is smaller: y or a?
a
Let k = -19 - -17. Is k less than 7?
True
Let j be 12/3 - (-4)/(-2). Suppose -4*k - b + 8 = 0, -2*k = j*k - b. Let r = -1 - k. Which is greater: -4/7 or r?
-4/7
Let h be 3/((-3)/6 - 7/(-21)). Is h not equal to -4?
True
Let v(c) = -c + 2. Let h be v(-7). Suppose -17 = 2*b + h. Is b bigger than -14?
True
Suppose 4*u = 3*c - 22 - 10, 5*u + 40 = -2*c. Let o(l) = l**3 + 7*l**2 - 9*l - 9. Let g be o(u). Let r = 2 - g. Which is bigger: 2 or r?
r
Let o(w) = -1 - 5*w**2 + 0*w**2 + 2*w**2 - 8*w + 4*w**2. Let d be o(9). Which is smaller: d or 9?
d
Let n(c) = -c**2 + 6*c + 6. Let x be n(7). Let r be (x + 2)/((-1)/(-2)). Let g = -15 - -14.8. Do r and g have different values?
True
Let k = 3 + -3. Let t = 0.2 + k. Is t >= -1?
True
Let t = -1 + -1. Let b = 1 + t. Which is smaller: b or 0.3?
b
Let j be (-1)/5 + (-126)/245. Let v be (1 - 1/2)*-2. Is v bigger than j?
False
Let f(w) = w**2 - 6*w - 8. Let u = 8 - 1. Let k be f(u). Is -5/4 at least as big as k?
False
Let f be (-1 - -2)*45/(-5). Which is bigger: 4 or f?
4
Suppose -34 = 3*i - 28. Is i bigger than 0.021?
False
Suppose 2*o = -3*z + 26, 0 = 8*o - 3*o + 5*z - 75. Is o < 19?
False
Suppose 2 = 4*v + o + 4, -10 = 5*o. Suppose 2 + 3 = -5*u. Is v smaller than u?
False
Suppose -2 = 2*s - 0. Let c = 1613271/13 - 124279. Let m = 181 + c. Which is smaller: m or s?
s
Let p = -38.93 - -39. Is 0 greater than or equal to p?
False
Let u = -445 + 426. Let o = -2 + 3. Which is bigger: o or u?
o
Let d = 1 + -1. Suppose 0*f + f = d. Let a = -9 + 19/2. Is a at least as big as f?
True
Let f = 275 - 276. Suppose -p = 3 - 5. Which is smaller: p or f?
f
Let j = -5 + 8. Suppose 5*m - j = 7. Let v(t) = t + 6. Let a be v(-5). Are m and a non-equal?
True
Suppose -6*q + q = 70. Let k be (-2)/(-7) - 66/q. Suppose 0 = -r + 6*r - k. Which is greater: -3 or r?
r
Let u be (2/(-10))/(1/(-38)). Let y = u + -36/5. Let i = -35/4 - -9. Which is greater: y or i?
y
Let d be ((-12)/(-2))/((-3)/18). Let z be 0/(-2) - -3 - -1. Let p be 28/d + z/6. Which is greater: 1/4 or p?
1/4
Let k = -4 - -9. Suppose -3*v + 2*s - 2 = 0, -5 = -k*v + s - 6*s. Is -1/16 smaller than v?
True
Let q be (18/(-92))/(9/(-12)). Let n = -53/115 + q. Is 0 equal to n?
False
Let i = -0.2 - 0.2. Let d = i + 0.3. Let k = 4/37 + 38/333. Which is smaller: d or k?
d
Let a = 2177/6 - 365. Is a < -1?
True
Let q = 146 + -1316/9. Is q at least as big as 7?
False
Let n be (20/3 - 0) + 2. Let c = 9 - n. Let l(z) = z**3 + 15*z**2 + 16*z + 29. Let v be l(-14). Which is greater: c or v?
v
Let b be (-12)/(-70)*(-15 - -1). Which is smaller: -1 or b?
b
Let c(n) = n**3 + 5*n**2 + 3*n - 4. Let w be c(-4). Let v(k) = -7*k**3 - 2*k**2 - k. Let l be v(-1). Let d be (l/(-15))/(3/15). Is d bigger than w?
False
Suppose -4*p + 2 = 18. Let t be -1 - (6/p - 0). Are 2 and t nonequal?
True
Let a = 16 - 3. Is a at least 14?
False
Suppose -g - 3 = 1. Let m(c) = -c**3 - 3*c**2 + 4*c + 5. Let x be m(g). Suppose 2*y = -x + 1. Do -1 and y have the same value?
False
Suppose -t + 2 = t. Are -2/5 and t equal?
False
Suppose -2*j + 3*c - 33 = 0, -2*c = -6*j + 2*j - 86. Let h = j - -71/3. Let n = -40 + 40. Which is greater: h or n?
n
Let q = 1 + 0. Suppose -380 = 2*j + 6*x - 2*x, 4*x + 980 = -5*j. Let n be j/(-72) - (1 + 2). Which is smaller: q or n?
n
Suppose 3*d = -2*s - 30, -d - 3*s - 2*s = -3. Is 3 greater than or equal to d?
True
Let n = -2.2 + -7.8. Let d = n + 8. Which is smaller: d or 0.3?
d
Let y(a) = -a**2 + 5*a + 2. Let d(g) = -3*g**2 + 14*g + 5. Let v(h) = -3*d(h) + 8*y(h). Let x be v(1). Let n = 35/4 - 179/20. Which is smaller: x or n?
n
Let p = 82 + -81. Is p smaller than -4/73?
False
Let s be (((-4)/6)/2)/(1/(-3)). Which is smaller: 9 or s?
s
Let m(n) = -n**3 - 10*n**2 - n - 8. Let r be m(-10). Let p = r - 2. Suppose -5*y + 4 = -1. Which is smaller: y or p?
p
Let c(l) = l**2 - 11*l + 17. Let i be c(6). Which is bigger: -14 or i?
i
Let u be (-21)/35*4/6. Let q(t) = t - 4. Let o = 9 + -4. Let s be q(o). Which is smaller: u or s?
u
Let w = 0 + 1. Let p be w/2 + 33/6. Let o be (-4)/p - 48/(-45). Is -1/3 > o?
False
Suppose 0*x - 3*x - 15 = -3*f, -5*f = -2*x - 25. Suppose x = c + 2*c. Is c less than 0?
False
Let j = -3 + 3. S