(-12)). Let u = s + 857/246. Let f = u + -4. Is f != -3?
True
Let c = 5 + -4.93. Let s = c - 4.07. Let x = s - -5. Which is bigger: x or 0?
x
Let y = 46/255 - -1/51. Which is smaller: 1 or y?
y
Let n = -109/2 - -57. Let p = -5.8 - -6. Is p less than n?
True
Suppose 2*f + x + 0*x = 144, 2*f - 138 = 2*x. Which is smaller: 72 or f?
f
Let n = 1 - 2. Let p(j) = -j**2 - 4*j - 4. Let g be p(-3). Are g and n nonequal?
False
Let g be ((-24)/(-9))/((-4)/(-18)). Let a = 6 - g. Is a equal to -6?
True
Suppose 0 = 25*n - 29*n - 8. Suppose 2*z + 3*z = -15. Which is smaller: n or z?
z
Let o be (-7 - -5) + 4/(-2). Let b be 6/15*(-2)/o. Is b > 4?
False
Let i(o) = o**3 + 11*o**2 - 17*o - 15. Let c be i(-12). Suppose 0*j + c = -5*j. Is 0 <= j?
False
Suppose -4*i + p = -2*p - 71, -p = -5*i + 86. Which is smaller: i or 16?
16
Let s = -8 - -12. Suppose 3*i - s*f - 7 - 5 = 0, -f - 3 = -i. Which is greater: -1 or i?
i
Let y(p) = -2*p**3 + 10*p**2 + 5*p + 7. Let z be y(5). Which is smaller: 31 or z?
31
Let n(d) = -d**2 + 12*d + 7. Let g be n(12). Which is smaller: g or 4?
4
Let t = -1 - -5. Let w be (-3)/6 + 30/t. Is w less than or equal to 6?
False
Let f(b) = 5*b + 3. Let i(x) = 4*x + 2. Let j(o) = 5*f(o) - 6*i(o). Let r be (-16)/3 - (-2)/(-3). Let s be j(r). Is -3 greater than or equal to s?
True
Suppose -u - 2*u + i + 9 = 0, 0 = 3*u + 2*i - 18. Suppose c = u, -5*b + 2*c + 7 = 5*c. Is 2/9 bigger than b?
True
Let x = -54 - -54. Is x != -7?
True
Let g = -5/92 - -787/92. Is g < 0?
False
Let k be (1 + (-6)/10)*-7. Let r be ((-2)/20)/((-2)/(-52)). Let u = k - r. Which is greater: 1 or u?
1
Suppose -5*d + d + s - 23 = 0, 2*s - 18 = 4*d. Let n = -0.27 - -0.38. Let u = 0.01 - n. Which is smaller: d or u?
d
Suppose -2*j + 4*j = 6. Let o be 5/10*(-1 + j). Which is greater: o or 0?
o
Let o = -4 + 9. Let b = -9 + o. Let v = b + 3.8. Which is bigger: -2 or v?
v
Suppose -5*o + 5*n - 4 = -24, -3*o + 4*n = -16. Which is smaller: o or -1?
-1
Let g = 0.02 - -1.98. Let a = 8 - g. Which is smaller: -1/2 or a?
-1/2
Let r(p) = p**3 + 2*p**2 + 3*p + 2. Let v be r(0). Which is smaller: 4 or v?
v
Suppose -6*v = -v - 15. Suppose -4*k = -v*k - 3. Which is smaller: k or -1?
-1
Let h(y) = -y**3 - 4*y**2 - y - 4. Let k = 1 + -1. Suppose -d - 12 = -k*d + 4*v, 10 = -5*v. Let u be h(d). Is 0 at most u?
True
Let a be 6/3 - (0 + -1). Suppose -2 = 4*f + 2. Let r be (f/(-1))/(4/4). Is r > a?
False
Suppose 2*z = -f + 30 + 95, z = 4*f - 473. Let q = f + -1311/11. Which is bigger: 0 or q?
0
Suppose -3*h - 13 = 5. Let k be ((-1)/h)/((-1)/(-14)). Are k and 2 nonequal?
True
Let i be 2*(-2 + (-90)/4). Let o(v) = -6*v**2 + v + 1. Let q be o(1). Let r be (-91)/i + q/2. Is r at least as big as 0?
False
Let m(f) = -f**3 + 3*f**2 + f + 4. Let b be m(5). Is -41 less than b?
False
Let v(p) = -p**2 + p. Let a be v(2). Which is smaller: 0 or a?
a
Let g(a) = 2*a**3 - 3*a**2 + 5*a - 1. Let l(h) = 5*h**3 - 9*h**2 + 14*h - 3. Let w(j) = -8*g(j) + 3*l(j). Let d be w(-3). Does d = -5?
False
Let v be 5/(-10)*4*(2 + -3). Which is smaller: v or 6?
v
Let m be (-3)/9 - (-670)/210. Which is smaller: m or 3?
m
Let m be (-6)/(-14) + (-8)/(-112). Which is smaller: m or 5?
m
Let b(q) = 3*q**2 + q. Let z be b(3). Let r be 1/(-5)*z/18. Which is smaller: -2/3 or r?
-2/3
Suppose 0 = -z - 1 + 3. Suppose -a = 2*a + n - 2, -4*a + 4*n + 24 = 0. Let p = a - 1. Does p = z?
False
Let x be (-4)/((-2)/(1/1)). Let m be ((-2)/(-4))/(2/4). Is m equal to x?
False
Let g be (-4)/(-14) - 2/7. Suppose 1 = -5*t + x, 3*x - 5 + 2 = g. Let m be (-12)/(-10)*(-4)/8. Is t > m?
True
Let j(h) = h**3 + 7*h**2 + 6*h + 2. Let q be j(-6). Suppose i - 2*b = q*b, 2*i = -3*b + 11. Let p be i/2*(-9)/(-6). Which is smaller: p or 2?
2
Let c = -27 + 16. Are c and -9 non-equal?
True
Let z be 12/(-10)*(-10)/(-3). Which is smaller: -6 or z?
-6
Let l = 0.06 - 6.16. Let o = 6 + l. Let d be (1/4)/(2/3). Which is smaller: o or d?
o
Let k = 24 + -25. Which is greater: k or -1/15?
-1/15
Let o be 2 + 48/(-44) + -3 + 1. Is -1 at least as big as o?
True
Let y be (1 - 2)*3/8. Let v = y + -1/8. Which is bigger: -1 or v?
v
Suppose 0 = -4*o + x - 8, o + 0*o - x + 2 = 0. Suppose 9 + 0 = -u. Let j(z) = -z**3 - 9*z**2 - z - 9. Let q be j(u). Are o and q equal?
False
Let g = -6 - -7. Let u = g + -1.4. Which is smaller: u or 0?
u
Suppose -g + 5 = -2*i, -2*g + 5*i + 12 = g. Let s = 18749/6 + -3108. Let n = s + -17. Which is bigger: g or n?
n
Let f = 126 - 207. Is f <= -81?
True
Let t = 0.01 + 0.09. Let k = 8 - 8. Does t = k?
False
Let g(z) = z**2 + 8*z + 8. Let m be g(-6). Let k be -7 - (-1 - 1) - -1. Is k at least as big as m?
True
Let a = 152.2 - 152. Which is smaller: a or -81?
-81
Let g = -0.39 + 0.3. Which is greater: 1/2 or g?
1/2
Let b = -0.6 + 0.8. Let r = 39/116 + 12/29. Is b greater than or equal to r?
False
Let l be -2*27/(-12)*-2. Is l greater than -9?
False
Let u(t) = t**2 - 6*t + 5. Let r be u(4). Do -3 and r have different values?
False
Let i be -1 - (1 - 1 - 2). Suppose 2*t + 3 = 3*t + l, 0 = 4*l - 4. Is t bigger than i?
True
Let c(i) = -i**3 + 2*i**2 - 4*i + 2. Let l be c(2). Let t = -12 - l. Let w(u) = u. Let v be w(t). Is v less than 2/7?
True
Let k = -135/2 + 1223/18. Let h(n) = -2*n. Let v(p) = -p. Let m(t) = 6*h(t) - 11*v(t). Let z be m(1). Which is smaller: z or k?
z
Let q(p) = 2*p - 13. Let f be q(8). Which is smaller: 2 or f?
2
Let c(p) = -4*p - 29. Let g be c(-5). Which is bigger: g or -26/3?
-26/3
Let g = 43/3 + -14. Let w = -2 - -5. Suppose -p - 5*o + 20 = 0, -4*p + 2*o = -w + 11. Do g and p have the same value?
False
Let n = -3.5 + 3.4. Is -0.003 != n?
True
Let n = -176 - -330. Is n <= 154?
True
Suppose 7 = -4*r + 3. Suppose 0*a = -a - 3. Which is bigger: r or a?
r
Let l = 5 + -8. Suppose -3*g = -7*g - 12. Let y = g - l. Which is greater: -1/4 or y?
y
Suppose 0 = l + 1 - 2. Let d(n) = n**2 + 3*n + 3. Let h be d(-2). Let z be 3/(-4) - h/4. Is l smaller than z?
False
Let n(g) = -g**2 + 10*g + 11. Suppose 3*l + 8 = 41. Let m be n(l). Does 2/5 = m?
False
Let d = 20 - 22. Which is smaller: 0.4 or d?
d
Let f = -7.7 - -8. Let v = -0.6 + f. Which is smaller: 1/4 or v?
v
Let d = -1 - -1. Suppose 4*b = -5*q + 27, -b - q + 2*q = d. Is 4 greater than b?
True
Let m = 11.99 + -12. Let o = 0.09 - m. Is o greater than or equal to -1?
True
Suppose p - 35 = -5*u, 5*p - 39 = -4*u + 10. Suppose 2*a = 54 - 10. Let h be 7/a + u/33. Which is bigger: 2 or h?
2
Let r(d) = -3*d + 7. Let l be r(3). Is -1 less than or equal to l?
False
Let f(t) be the first derivative of t**2/2 - 10*t - 6. Let i be f(8). Is i greater than -2?
False
Suppose 0 = 4*h - 4. Let i be ((-2)/(-21))/((-1)/3). Which is bigger: i or h?
h
Let b = 1 - 0. Suppose -2*f - 4*w + 8 = 0, -4 + 0 = f + 4*w. Let x be f/(-8) - b/(-2). Which is bigger: -2/9 or x?
-2/9
Let k(y) = 6*y - 3*y - 2*y. Let d be k(-3). Which is greater: -1 or d?
-1
Let v = 4 - 6. Let b be (v - -5) + -1*6. Let j = -6 - b. Which is greater: j or -1?
-1
Suppose -p = -0*p - 2*o, -7 = -5*p + 3*o. Let z(r) = -2*r**2 + 2*r. Let i be z(p). Is -5 at most i?
True
Let b = 370 - 7028/19. Which is smaller: b or 0?
0
Let b be (21 + -1)*(-2)/28. Suppose 0 = 441*u - 438*u + 3. Is u greater than b?
True
Suppose -5 = a - 11. Suppose -a = 3*q - 5*q. Which is smaller: q or 0?
0
Let v = -62/15 - -4. Which is greater: v or 2?
2
Suppose -116*q + 120*q = 32. Which is greater: q or 5?
q
Let d be ((-24)/(-42))/(-4)*2. Suppose 3*k = -k. Does k = d?
False
Suppose c - 5*l - 1 = 4, 5*c + 2*l = 25. Let p(f) = -f + 5. Let w be p(c). Which is bigger: w or 4/3?
4/3
Let l(n) = n + 12. Let f be l(-13). Is 2/5 not equal to f?
True
Let z = -4 + 7. Suppose -5 = -4*v + z. Is v bigger than 2?
False
Let o = -42 + 35. Is o > -19/3?
False
Let m = -1/2 + -1/6. Let g(x) = x - 4. Let t be g(3). Let d = t + 0. Do d and m have the same value?
False
Let l be (5/50)/(2/5). Is 1 at most as big as l?
False
Let s = -3 - -2. Let r = 4 - 3. Suppose -r - 2 = -3*y. Do s and y have different values?
True
Let z = -0.01 - 0.04. Let q = -3.05 - z. Let i = q - -3.4. Which is greater: -1 or i?
i
Let k be 0 + 1*4/(-24). Which is smaller: -1 or k?
-1
Let w = 40 + -39. Let t = 1 + 0. Is t greater than w?
False
Let k be (14063/(-35))/7 - (-2)/5. Is k > -56?
False
Let f = 0.43 + -0.21. Let i = -1.17 + f. Let m = i - 0.05. 