alse
Let n be 9 + 0 + 1 + -5. Suppose 0 = -0*t - 5*t + n. Is 1 not equal to t?
False
Let z = -2592/481 - -69/13. Which is smaller: z or -1?
-1
Let p = 130 + -1431/11. Is 2/7 greater than or equal to p?
True
Let y be 4/(1 + 2/(-3)). Which is smaller: y or 13?
y
Let a(p) = p - 6. Let t be a(6). Suppose 5*n = 64 + 26. Let w be (-27)/n*2/6. Is t >= w?
True
Let i = 125 - 68. Let o = -229/4 + i. Is o < -1/5?
True
Let q(i) = -i + 3. Let y be q(6). Let a be y + 4 + (-4)/3. Is -1/3 != a?
False
Let b(h) = -20*h**3 + 3*h + 3. Let m be b(-1). Which is smaller: 23 or m?
m
Let b be (2/(-2))/(5/20). Let x be (-2)/6*b/10. Which is greater: 1 or x?
1
Let v = -1.94 - 0.06. Let r(m) = 2*m**2 + 3*m + 2. Let a be r(-2). Suppose 2*n = 2*c + a, 3*n + c + 3*c + 15 = 0. Which is smaller: n or v?
v
Suppose -942 = -4*m - 298. Which is smaller: m or 162?
m
Suppose -2 = -v + 2. Let x be 2*((-14)/v)/(-7). Suppose 4*z - z = 0. Which is greater: z or x?
x
Let z be ((-8)/210)/((-2)/5). Suppose 2*h + 3 = d + 2, 5*d = 2*h + 5. Suppose 2*u - 3*u = h. Which is smaller: z or u?
u
Let v = -36 - -42. Which is bigger: v or 1?
v
Let z(i) = i + 3. Let v be z(-8). Which is smaller: -9/2 or v?
v
Let m = 8 + -22. Let c = m + 15. Is 3/4 equal to c?
False
Suppose 0 = 4*f - 4*d, -d + 2*d = 1. Let l = 354 + -2474/7. Which is greater: f or l?
f
Let y = 34327/5949 - -5/661. Let p = y - 50/9. Let u(i) = i. Let c be u(-1). Which is smaller: c or p?
c
Let f(i) = -i**2 - 5*i - 7. Let l be f(-6). Which is greater: -14 or l?
l
Let g be 1/(-4) - 2/(-8). Suppose -5*p + 5*z - 20 = 0, -2 = -5*p + 3*z - 16. Let m be 1*(p - g)/(-1). Which is bigger: -3/11 or m?
m
Let s(m) = -1 + 3*m - 2*m + 1 - 1. Let t be s(1). Suppose t = 2*h - 0 - 2. Which is smaller: h or -1?
-1
Let f = -1.003 - -0.003. Is 0.17 at least f?
True
Suppose 0*f = -f - 2. Which is smaller: f or 0?
f
Suppose -h - 2*h = -48. Let n = 29 - h. Let c = 38/3 - n. Which is smaller: c or -1?
-1
Let h be ((-4)/5)/((-2)/5). Which is greater: h or 3?
3
Let f = 81 + -81. Which is smaller: f or -28?
-28
Suppose -y + 2 = -0. Let t = y - 1. Let j = -128/1001 + -2/77. Do j and t have the same value?
False
Let j = 5.1 + -0.6. Let l = -4 + j. Does l = 0?
False
Let i(o) = 6*o - 1. Let s(h) = -5*h + 1. Let f(c) = -4*i(c) - 5*s(c). Let k be f(4). Let a be -1*1 - -2 - -1. Which is smaller: k or a?
a
Let f(n) = -n**3 + 5*n**2 + 5*n + 13. Let z be f(6). Let p = 1 + z. Which is bigger: 0.1 or p?
p
Let y(j) be the third derivative of -j**4/24 + j**3 - j**2. Let c = 19 + -13. Let f be y(c). Is -2 greater than f?
False
Let y = -18 - -13. Is y smaller than -13/3?
True
Suppose -2*c + 4*t = -14, 4*c = 3*t + 2*t + 40. Let h be (-4)/(-3)*c/(-10). Do 0.1 and h have different values?
True
Suppose s - 42 = -4*a - 17, -2*a + 30 = 4*s. Suppose 0 = b + 4*b - s. Which is smaller: b or 0?
0
Let a = 23/2 - 11. Suppose -4*z - 1 = -5*z. Which is greater: a or z?
z
Let p be 0/(-1) - (-13)/(-39). Which is smaller: 1 or p?
p
Let f(s) = s**3 + 3*s**2 + 4. Let v be f(-3). Suppose 0*o + v = o. Suppose -o*b - b = 25. Is -5 >= b?
True
Let r = -2.3 + 2. Let a = -8 - -8.2. Let l = r + a. Are 1/2 and l unequal?
True
Let b(r) = -r**3. Let p be b(0). Is 2/9 > p?
True
Let i = -10 + 8. Suppose m + 2*y = 5*y - 10, 3*y - 8 = -m. Let f be (m - 6/(-8))*3. Is i at most f?
True
Let g = -1 + 2. Let q(h) = -h. Let i be q(-4). Let p be i/(-14) - (-4)/14. Which is smaller: g or p?
p
Let c = -16 - -16. Which is greater: c or 3/11?
3/11
Suppose 4*i - 73 = 55. Let m = -65/2 + i. Is -2/5 greater than m?
True
Let b(t) = t - 1. Let p(w) = w. Let g(z) = 3*b(z) - 5*p(z). Let n be g(-4). Let u be (46/50 - 1)*n. Is u less than 2/9?
True
Let y be 0 - -2 - 2 - 0. Let n(a) = -a**3 + 6*a**2 - 2. Let z be n(6). Let k = z + y. Which is bigger: -1 or k?
-1
Let k = -42 - -42.15. Let u = 250/7 - 36. Which is bigger: k or u?
k
Let o = 3.2 + -3. Let t = o + -0.2. Let n = t + -0.2. Which is bigger: 2/5 or n?
2/5
Let z = 17/21 + -5/21. Is z smaller than 0?
False
Let d = -788/285 - -50/19. Suppose 2*g + f - 3 = 0, -g + 2*g + 5*f = 24. Which is smaller: d or g?
g
Suppose 0*m - 10 = -2*m. Let k be (-2)/m + 48/(-30). Let j be k/(3/9*-8). Is -0.2 not equal to j?
True
Let l(m) = m**2 - 5*m - 57. Let u be l(12). Do u and 26 have the same value?
False
Let g = 514 + -19531/38. Which is bigger: g or -1?
g
Let r be (1*10)/(2/4). Suppose -4*s = -3*x + 35, 3*x = 5*s - 8 + 48. Suppose -6*o + 3*o + x = -5*z, 0 = -4*o + r. Which is smaller: 1 or z?
1
Suppose -b - 6 = 5*w + 6, 4*w + 2*b = -12. Let m be (3/(-6))/(w/(-4)). Let u be 2 + (-1 - (-2 - m)). Is u >= 1?
True
Let c(q) = -q**2 + q - 56. Let a be c(0). Let t be (-128)/a - (-2)/(-7). Which is greater: t or 3/7?
t
Suppose 0 = c - 1. Let n be 15/(-48) - 3/(-12). Let b = 11/48 + n. Is b not equal to c?
True
Suppose r + 3 - 1 = 0. Let l = -6 - -4. Let f be (-3)/(-6) + 1 + l. Which is greater: r or f?
f
Let x be 11*(-3)/(-24) - 1. Are -1 and x nonequal?
True
Let l(n) = -2*n - 1. Let g be l(3). Let r be (g - -3) + (4 - 2). Which is smaller: r or -1?
r
Let o(v) = 3*v + 1 + 0*v - 7*v + 5*v**2 - v**3. Let d be o(4). Is 1/4 != d?
True
Suppose -30 = -5*w - 0*w. Suppose 4*c + 4*n = 7*n + 7, -2*n = -2*c + 6. Let s be ((-20)/8)/(1/c). Which is smaller: s or w?
s
Let h be 10/(-35) + 2/7. Let c be 0 - ((-506)/(-8) - 1). Let k = c + 63. Is k != h?
True
Let p(w) = w - 7. Let b be p(5). Let h = b - 0. Is h at least -2?
True
Let o be 687/(-1113) - 15/(-35). Let d be 16/106*138/(-68). Let y = d - o. Which is bigger: y or 2/3?
2/3
Suppose -3*g + 18 = -3*q + 6*q, -2*q - g + 9 = 0. Suppose -d - 9 + q = 2*u, -5*d = -5*u - 15. Let a = -1.4 + 0.4. Is a bigger than d?
False
Let n be 4 + ((-8)/(-36) - 4). Which is smaller: 8 or n?
n
Let z(k) = k**2 - 5*k + 5. Suppose -2*m + 3*w + 1 + 1 = 0, 5*m - 28 = -4*w. Let n be z(m). Which is smaller: n or 2?
n
Let b = -7 + 6.971. Let p = b + -3.871. Let o = 4 + p. Is 2/3 >= o?
True
Suppose 15 + 10 = 5*g. Suppose 0 = -5*l + g. Is 2/9 less than l?
True
Let o be (2/12)/(-1)*3. Are 0 and o non-equal?
True
Let s(t) = t**2 - 4*t + 4. Let q be s(3). Which is greater: q or 4/25?
q
Suppose 2 + 10 = 4*p. Which is smaller: p or 11/4?
11/4
Let z be 2284/4368 - (-2)/(-6). Let k = -1/28 + z. Suppose 0 = 4*g + 2*s - 2, -s + 6*s = -2*g - 3. Is k less than or equal to g?
True
Let m = -0.22 - -0.1. Which is bigger: 0.1 or m?
0.1
Let l(x) = -x**2 - 6*x + 5. Let u be l(-7). Let h be -1 + u/(1 - -1). Which is greater: h or -2/3?
-2/3
Let t = 12 - 7. Suppose -5*v + t = 10. Let s = 5/2 + -9/4. Which is smaller: v or s?
v
Let r = 22.83 + 0.17. Let j = r - 21. Is j != 1/18?
True
Let s = -86.001 - -86. Is s greater than -2?
True
Let z(y) = y**3 - 7*y**2 + 4*y + 7. Let o be z(6). Let g be (3 - 2) + (-1 - 5). Is o > g?
False
Suppose 3*f = 2*b + 44, -4*b - 8 - 8 = 0. Let h(v) = -v**3 - 17*v**2 + v + 28. Let g be h(-17). Is f less than g?
False
Let b = -53 - -52. Suppose 0 = 5*g - 9 + 34. Which is bigger: b or g?
b
Let y = 68 + -44. Let o = -23 + y. Is o > -1.3?
True
Let t = 1 + 6. Suppose p - 3*m = 3*p - 8, -3*m = p - t. Which is smaller: -1/3 or p?
-1/3
Suppose m = -0*m + 1. Let q = m + 0. Which is smaller: q or -1/3?
-1/3
Let t be -2 + 4 + -2 - -10. Suppose -g + t = g. Suppose -3*p + 4*p = -4*m - 7, -3*p = -4*m + g. Which is smaller: -2 or m?
-2
Let c = 64 + -67. Which is smaller: c or -7/3?
c
Let s = 3/158 + 193/237. Let c = s - 1/2. Suppose t - 5 = -4*t. Which is smaller: c or t?
c
Let v = 1.61 - 0.11. Which is bigger: v or 2?
2
Let a(h) = -h**3 + 3*h**2 - h + 3. Let q be a(3). Suppose q*x - x = 0. Suppose 2*o + o = x. Is -1 less than o?
True
Let u be 1*(64/(-62) + 1). Are u and -1 unequal?
True
Let r be 69/24 + 6/(-4). Which is greater: r or 2?
2
Let z be 485/25 - 4/10. Is z at most 19?
True
Let w(f) = -f - 8. Let k be w(-7). Which is smaller: -1/2 or k?
k
Let o = 10 - 11. Which is bigger: o or 0?
0
Suppose -3*o + 5 - 2 = 0. Let l be 1*o/2*2. Which is greater: l or -3/7?
l
Let h = -30 - -20. Let o = -10 - h. Is o <= 4?
True
Let c be 1*(-3 - 3) + 1. Let m be 1/c + (-7)/(-21). Which is greater: 1 or m?
1
Suppose -70 = 5*g - 0*g. Let r = -10 - g. Is r greater than 3?
True
Let p = 19 - 12. Is p at most as big as 10?
True
Suppose 3*a + a + 4 = 0. Is a at least -1/21?
False
Suppose -2*a = 2, -a = 5*k - 5*a - 