 x(m). Let i be l(-7). Is i bigger than 7?
False
Let x = -127/22 + 9/2. Is 0 != x?
True
Let d = -167/3 + 55. Which is smaller: d or 0?
d
Let h = -1 - -1. Let i be 36/24 - (-1)/(-2). Which is smaller: h or i?
h
Let y = -132175/33 + 4005. Let t = -49/198 - y. Does t = 1?
False
Let o be 4/(-26) + 350/(-91). Which is bigger: 2/5 or o?
2/5
Let h = -16 - -11. Which is smaller: -4 or h?
h
Let x(j) = j - 1. Let b be x(-6). Which is smaller: -8 or b?
-8
Let d(l) = l**3 - 5*l**2 - 5*l - 5. Let s be d(6). Let h = -10 - -18. Let r be (-3)/(-4) - (-2)/h. Is s less than r?
False
Let x = 3 - 34. Let n be (-2)/8 + x/4. Let y(h) = -h - 9. Let r be y(n). Which is smaller: -1/7 or r?
r
Let g be 4/(-2)*(-1)/(-2). Let d = 1 + g. Let s be 6/135*(d + 5). Is s at least as big as -1?
True
Let h = -218669/8 - -27300. Let i = 34 + h. Is 1 not equal to i?
True
Let q = -43 + 47.1. Let w = q + -0.1. Let j = w - 4.2. Do j and 2/3 have the same value?
False
Let p = -6 - -1. Let v = p + 9. Which is greater: v or 2/5?
v
Suppose -2*s + 35 + 25 = 0. Let f = -42 + s. Do -12 and f have different values?
False
Suppose -b - 2*q - 7 = 0, b + b - 3*q - 21 = 0. Let z(o) = -o + 10. Let k be z(7). Is k less than b?
False
Let x = 4 + -3. Let b = -80/561 + -2/51. Which is greater: x or b?
x
Let p = 20 - 44. Let i be (-6)/15 + p/(-110). Let w(a) = 3*a - 25. Let h be w(8). Which is greater: i or h?
i
Let f(z) = -2*z - 10. Let y be f(-7). Suppose -a + 0*v = v - 1, y*v + 12 = 4*a. Let o = 3 - 4. Is a at least as big as o?
True
Suppose -3*c - 4*u + 20 = 0, -2*c - 1 - 19 = -4*u. Which is bigger: c or 0.1?
0.1
Suppose 6*w = w. Is w at most -1/18?
False
Let x(u) = u**3 - 5*u**2 + 5*u - 3. Let m be x(4). Let f(v) = -2*v**3 - 5*v**2 + 4*v + 3. Let d be f(-3). Is m equal to d?
False
Let o = -140 + 140. Which is smaller: o or -3/79?
-3/79
Let l = -16 + 15.9. Which is greater: -5/9 or l?
l
Let f = 32.5 + -1.5. Which is greater: f or -1/2?
f
Suppose 0 = -3*z - 2*m + 8, 0*z - 4*z + 3*m = -5. Let y = 33781/6 - 5615. Let n = y - 27/2. Are z and n non-equal?
True
Suppose 2 = -5*s - 3. Which is greater: 0 or s?
0
Let j(d) = -d - 13. Let z be j(-14). Let i be 6/(-15) + (-6)/(-40). Which is greater: i or z?
z
Let d = -2 - -2. Let m = 0.05 - d. Let p = 0.05 - m. Which is greater: p or 1/2?
1/2
Let g(f) = -f**3 + 13*f**2 - 14*f + 17. Let w be g(12). Let d(p) = -p**3 - 8*p**2 - 8*p - 5. Let i be d(w). Is i != 0.2?
True
Let n be (21 - 22)/(1/(-43)). Is 44 not equal to n?
True
Let l be 16/10 + 6/15 + -3. Is l greater than or equal to -1/2?
False
Let w = -107 - -109. Is 2 at least as big as w?
True
Let c = 28.1 + -28. Which is bigger: 38 or c?
38
Let w be ((-1)/(-4))/(1/(-58)) + -2. Which is smaller: 0.2 or w?
w
Let i = 4 + -23.1. Let k = 18 + i. Let p = 0.1 + k. Is p >= 0?
False
Suppose 0 = 4*s - 12 + 4. Suppose -3*a - 2*i + 1 = 3*i, -2*i - s = 0. Suppose 0*m + 2*m + a*x - 2 = 0, 0 = 4*x - 8. Is m less than -2/11?
True
Let z = 0.92 + -1.12. Does 2/5 = z?
False
Suppose 25 = 5*d - 5*m, 7*d - 29 = 2*d + m. Let w be (4/21)/(d/(-7)). Is w != -1/4?
True
Let b = 1/1964 - -151225/5892. Let v = b - 82/3. Are 1 and v unequal?
True
Let j = 97.1 - 91. Let l = -6.06 + 0.06. Let z = j + l. Are z and 1/5 non-equal?
True
Let c = -0.38 - -2.38. Is c at least as big as 0.4?
True
Suppose 3 = f + 2, 5*f - 7 = -y. Let l be (2/4)/(2/(-12)). Let n be y/l*(-3)/(-1). Which is greater: n or -3?
n
Suppose -2*k = 0, 0 = 5*w + 3*k - 6*k - 5. Let x = 3374/5 - 33247/40. Let q = x + 156. Are q and w non-equal?
True
Let t = -2/257 - -3863/1028. Which is greater: 3 or t?
t
Let t = -3 + 3.1. Let n = 9.92 + -10. Let a = n + 0.28. Is t > a?
False
Let z = 1 + -0.98. Let h = 0.06 + -0.16. Do h and z have different values?
True
Let t = 3 - 6. Let p be (-15)/63*t + -1. Suppose -3 + 2 = n. Which is smaller: p or n?
n
Let y = 11 + -5. Let z be ((-3)/y)/(15/6). Let b be (0/3 + 2)/(-2). Is z < b?
False
Let a(j) = -j**3 + 3*j**2 + 4*j + 5. Let x be a(4). Let t(y) = y - 7. Let l be t(x). Let g(w) = w**3 + 3*w**2 + w + 2. Let r be g(-3). Which is bigger: r or l?
r
Let m be (-20 + 19)*(-3 - (2 + -4)). Let i = 5298/25 + -212. Which is greater: m or i?
m
Suppose 1 = z, -2*b - 3*z - 19 = 2*z. Let o = b + 13. Let a be (-12)/(-45) - 4/(-10). Are a and o nonequal?
True
Let z be (-4 + 11)/((-1)/(-2)). Is 14 equal to z?
True
Let l(a) = -a**2 + 6*a + 13. Let j be l(7). Let z be 1*(-3)/j*-34. Do z and 17 have different values?
False
Let u(o) = 2*o + 1. Let m be u(-5). Is -8 at least m?
True
Let j = -3.8 - -3.7. Let u = -0.1 - -0.1. Let v = u + j. Which is smaller: 2/9 or v?
v
Let j = -7 - -5. Which is greater: j or 0.7?
0.7
Let v = -26 + 27. Is v greater than -6?
True
Let a = -6 + 8. Let l(v) = 2*v**2 + 4*v - 2*v**2 - a + v**2. Let p be l(-4). Do 0.1 and p have the same value?
False
Let a = -5 + 8. Let l = a + -4. Do 10 and l have the same value?
False
Let g be 6*(6/(-4) + 2). Let m(d) = d - 5. Let z be m(g). Let o = -3 + 2.9. Is o at most z?
False
Let d = -2/773 - 9254/8503. Does -2 = d?
False
Let n be 6*(4 - (-8)/(-12)). Let p be 1/(n/16 - 1). Is p <= 9/2?
True
Let p be (-12)/48*(-52)/(-5). Let i = p + 257/95. Which is bigger: 1 or i?
1
Let p = -63 - -43. Let u = 20 + p. Which is smaller: u or -10?
-10
Let k be (-104)/18 - 6/27. Let t(u) = u**3 + 4*u**2 + 4*u - 7. Let n be t(k). Let q = -513/5 - n. Is -1 > q?
False
Let q(h) = -h - 10. Let x be q(-8). Let y = x + -2. Which is greater: -5 or y?
y
Let z be (5/3)/((-1)/3). Let a(t) = -t - 4. Let k be a(z). Which is bigger: -1 or k?
k
Suppose s - 3 - 3 = 0. Let g(h) = h - 5. Let u be g(s). Let d be 2/6*(-1)/1. Which is greater: u or d?
u
Suppose 14 = -4*f - 2*q, 4*f - 8 = 2*f - 4*q. Which is smaller: -4 or f?
f
Let g(q) = q + 4. Let b be g(0). Suppose 3*p + b*l + 29 = -0*l, -3*p - l = 14. Is -4 < p?
True
Let f = 49 - 51.3. Let m = -2.4 - f. Which is bigger: 0.03 or m?
0.03
Suppose 5*u - 4*m + 2*m = -42, -5*u - 5*m = 35. Suppose -3*c = -2*c - y + 9, 3*y + 21 = -3*c. Is c equal to u?
True
Let q = -424/21 - -61/3. Let k = 11 + -15. Let u(a) = a + 5. Let s be u(k). Is q equal to s?
False
Let k be -5*(0 + (-6)/(-15)). Which is smaller: -6/7 or k?
k
Let l be (66/8)/((-5)/40). Is -65 less than l?
False
Let r = -5 - -6. Is r less than or equal to -17?
False
Suppose -7 = 4*q + 13. Let d = 4 + q. Which is smaller: 0 or d?
d
Let p = 0 - 11. Let b = -7 - p. Let t = b - 5. Which is smaller: -0.1 or t?
t
Suppose -2*j - 3*j + 35 = 0. Let k = 4 - j. Let w be (-4)/(-16) + k/(-4). Which is greater: -1/4 or w?
w
Let t(o) = -o + 2. Let n be t(0). Let z be (0 + -1)*(2 + -4). Is z at most n?
True
Let k(b) = -4 - b + 0*b + 2*b. Let h be k(6). Let j(w) = w**2 - 3*w + 2. Let x be j(h). Which is smaller: -3/4 or x?
-3/4
Let r = 29 - 117/4. Suppose -5*o + 45 = 5*j, -o = -0*o - 5*j - 3. Suppose -o*n + 4*n = 0. Which is smaller: n or r?
r
Suppose 5*t - 3*t + 30 = 0. Let r be t/(-20) + 39/(-20). Is r greater than -1?
False
Suppose g = -g + 10. Suppose 0*f - 10 = g*q - 2*f, -4*f + 20 = -4*q. Is -2/13 < q?
True
Let a = 0 + -0.1. Let f = 152 + -911/6. Is f > a?
True
Let l = 0.4 - 3.4. Let h = l + 3. Let z = 0.1 - h. Which is smaller: z or 3/2?
z
Let m be 2/(0 + 4/6). Suppose a = -2*b, -4*a - 4*b + 9 + 3 = 0. Let q be 2 + 4/a - m. Which is greater: q or 1?
1
Let i = -307169/5 + 126859997/2065. Let x = -6/59 - i. Let q(j) = j - 4. Let c be q(5). Which is smaller: x or c?
x
Let c(r) = 2*r + 3. Let f be c(-5). Let g be (-4)/14 + 19/f. Which is bigger: -2 or g?
-2
Suppose -14 = 4*b - 3*q, -b + 0*q + 2*q = 1. Which is greater: -7 or b?
b
Let o(i) = i**2 + 3*i. Let c be o(-3). Suppose 2*a = 3*f + 4*a, 0 = -4*f - 2*a. Suppose -4*d + d = f. Is d less than or equal to c?
True
Let u = 1632 + -161570/99. Which is smaller: u or 0?
u
Let f(k) = -4 - k**3 + k + 4*k - 5*k. Let w be f(0). Suppose -5*d + 0*t - 2*t - 5 = 0, -3*d = 5*t - 16. Which is greater: w or d?
d
Let i = -12 + 19. Suppose -10*y - 6 = -i*y. Which is smaller: 2 or y?
y
Let c = 11 + -9. Which is bigger: -1/6 or c?
c
Let o = -36 + 36. Let c be 1*(1 - 0 - 0). Is c less than o?
False
Let p = 3096 + -411770/133. Which is smaller: p or 1?
p
Let g(k) = -2*k**2 - 7*k + 10. Let a be g(-11). Let f = a + 615/4. Which is smaller: 0 or f?
f
Let v be 78/26*(-2)/38. Which is greater: 0 or v?
0
Let q be 2/3*24/6. Let 